SearcharxivSearch

arXiv subjects

Hai Yu

Publications and source records attributed to Hai Yu.

At least 37 records · Page 2Linked to original sources

Persia: An Open, Hybrid System Scaling Deep Learning-based Recommenders up to 100 Trillion Parameters

Deep learning based models have dominated the current landscape of production recommender systems. Furthermore, recent years have witnessed an exponential growth of the model scale--from Google's 2016 model with 1 billion parameters to the latest Facebook's model with 12 trillion parameters. Significant quality boost has come with each jump of the model capacity, which makes us believe the era of 100 trillion parameters is around the corner. However, the training of such models is challenging even within industrial scale data centers. This difficulty is inherited from the staggering heterogeneity of the training computation--the model's embedding layer could include more than 99.99% of the total model size, which is extremely memory-intensive; while the rest neural network is increasingly computation-intensive. To support the training of such huge models, an efficient distributed training system is in urgent need. In this paper, we resolve this challenge by careful co-design of both the optimization algorithm and the distributed system architecture. Specifically, in order to ensure both the training efficiency and the training accuracy, we design a novel hybrid training algorithm, where the embedding layer and the dense neural network are handled by different synchronization mechanisms; then we build a system called Persia (short for parallel recommendation training system with hybrid acceleration) to support this hybrid training algorithm. Both theoretical demonstration and empirical study up to 100 trillion parameters have conducted to justified the system design and implementation of Persia. We make Persia publicly available (at https://github.com/PersiaML/Persia) so that anyone would be able to easily train a recommender model at the scale of 100 trillion parameters.

cs.LG

Calibrating systematic errors in the distance determination with the luminosity-distance space large scale structure of dark sirens and its potential applications

The cosmological luminosity-distance can be measured from gravitational wave (GW) standard sirens, free of astronomical distance ladders and the associated systematics. However, it may still contain systematics arising from various astrophysical, cosmological and experimental sources. With the large amount of dark standard sirens of upcoming third generation GW experiments, such potential systematic bias can be diagnosed and corrected by statistical tools of the large scale structure of the universe. We estimate that, by cross-correlating the dark siren luminosity-distance space distribution and galaxy redshift space distribution, multiplicative error $m$ in the luminosity distance measurement can be constrained with $1σ$ uncertainty $σ_m\sim 0.1$. This is already able to distinguish some binary black hole origin scenarios unambiguously. Significantly better constraints and therefore more applications may be achieved by more advanced GW experiments.

astro-ph.CO

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward

Android introduces a new permission model that allows apps to request permissions at runtime rather than at the installation time since 6.0 (Marshmallow, API level 23). While this runtime permission model provides users with greater flexibility in controlling an app's access to sensitive data and system features, it brings new challenges to app development. First, as users may grant or revoke permissions at any time while they are using an app, developers need to ensure that the app properly checks and requests required permissions before invoking any permission-protected APIs. Second, Android's permission mechanism keeps evolving and getting customized by device manufacturers. Developers are expected to comprehensively test their apps on different Android versions and device models to make sure permissions are properly requested in all situations. Unfortunately, these requirements are often impractical for developers. In practice, many Android apps suffer from various runtime permission issues (ARP issues). While existing studies have explored ARP issues, the understanding of such issues is still preliminary. To better characterize ARP issues, we performed an empirical study using 135 Stack Overflow posts that discuss ARP issues and 199 real ARP issues archived in popular open-source Android projects on GitHub. Via analyzing the data, we observed 11 types of ARP issues that commonly occur in Android apps. Furthermore, we conducted a field survey and in-depth interviews among practitioners, to gain insights from industrial practices and learn practitioners' requirements of tools that can help combat ARP issues. We hope that our findings can shed light on future research and provide useful guidance to practitioners.

cs.SE

A linear relation between galaxy-lensing cross-correlations to test the cosmological principle model-independently

We discover a linear relation between two sets of galaxy-lensing cross-correlations. This linear relation holds, as long as light follows the geodesic and the metric is Friedmann-Lemaître-Robertson-Walker (FLRW). Violation of the cosmological principle (and equivalently the FLRW metric) will break this linear relation. Therefore it provides a powerful test of the cosmological principle, based on direct observables and relied on no specific cosmological models. We demonstrate that stage IV galaxy surveys and CMB-S4 experiments will be able to test this linear relation stringently and therefore test the cosmological principle robustly.

astro-ph.CO

Hero: On the Chaos When PATH Meets Modules

Ever since its first release in 2009, the Go programming language (Golang) has been well received by software communities. A major reason for its success is the powerful support of library-based development, where a Golang project can be conveniently built on top of other projects by referencing them as libraries. As Golang evolves, it recommends the use of a new library-referencing mode to overcome the limitations of the original one. While these two library modes are incompatible, both are supported by the Golang ecosystem. The heterogeneous use of library-referencing modes across Golang projects has caused numerous dependency management (DM) issues, incurring reference inconsistencies and even build failures. Motivated by the problem, we conducted an empirical study to characterize the DM issues, understand their root causes, and examine their fixing solutions. Based on our findings, we developed \textsc{Hero}, an automated technique to detect DM issues and suggest proper fixing solutions. We applied \textsc{Hero} to 19,000 popular Golang projects. The results showed that \textsc{Hero} achieved a high detection rate of 98.5\% on a DM issue benchmark and found 2,422 new DM issues in 2,356 popular Golang projects. We reported 280 issues, among which 181 (64.6\%) issues have been confirmed, and 160 of them (88.4\%) have been fixed or are under fixing. Almost all the fixes have adopted our fixing suggestions.

cs.SE

Lensing rates of gravitational wave signals displaying beat patterns detectable by DECIGO and B-DECIGO

The coherent nature of gravitational wave emanating from a compact binary system makes it possible to detect some interference patterns in two (or more) signals registered simultaneously by the detector. Gravitational lensing effect can be used to bend trajectories of gravitational waves, which might reach the detector at the same time. Once this happens, a beat pattern may form, and can be used to obtain the luminosity distance of the source, the lens mass, and cosmological parameters such as the Hubble constant. Crucial question is how many such kind of events could be detected. In this work, we study this issue for the future space-borne detectors: DECIGO and its downscale version, B-DECIGO. It is found out that there can be a few tens to a few hundreds of lensed gravitational wave events with the beat pattern observed by DECIGO and B-DECIGO per year, depending on the evolution scenario leading to the formation of double compact objects. In particular, black hole-black hole binaries are dominating population of lensed sources in which beat patterns may reveal. However, DECIGO could also register a considerable amount of lensed signals from binary neutron stars, which might be accompanied by electromagnetic counterparts. Our results suggest that, in the future, lensed gravitational wave signal with the beat pattern could play an important role in cosmology and astrophysics.

gr-qc

Dispersion measures of fast radio burst host galaxies derived from IllustrisTNG simulation

We calculate the dispersion measures (DMs) contributed by host galaxies of fast radio bursts (FRBs). Based on a few host galaxy observations, a large sample of galaxy with similar properties to observed ones has been selected from the IllustrisTNG simulation. They are used to compute the distributions of host galaxy DMs for repeating and non-repeating FRBs. For repeating FRBs, we infer the DM$ _{\mathrm{host}} $ for FRBs like FRB 121102 and FRB 180916 by assuming that the burst sites are tracing the star formation rates in host galaxies. The median DM$_{\mathrm{host}}$ are $35 (1+z)^{1.08}$ and $96(1+z)^{0.83}$ pc cm$^{-3}$ for FRBs like FRB 121102 and FRB 180916, respectively. In another case, the median of DM$_{\mathrm{host}}$ is about $30 - 70$ pc cm$^{-3}$ for non-repeating FRBs in the redshift range $z=0.1-1.5$, assuming that the burst sites are the locations of binary neutron star mergers. In this case, the evolution of the median DM$_{\mathrm{host}}$ can be calculated by $33(1+z)^{0.84}$ pc cm$^{-3}$. The distributions of DM$_{\mathrm{host}}$ of repeating and non-repeating FRBs can be well fitted with the log-normal function. Our results can be used to infer redshifts of non-localized FRBs.

astro-ph.HE

Strong lensing as a giant telescope to localize the host galaxy of gravitational wave event

Standard siren cosmology of gravitational wave (GW) merger events relies on the identification of host galaxies and their redshifts. But this can be highly challenging due to numerous candidates of galaxies in the GW localization area. We point out that the number of candidates can be reduced by orders of magnitude for strongly lensed GW events, due to extra observational constraints. For the next-generation GW detectors like Einstein Telescope (ET), we estimate that this number is usually significantly less than one, as long as the GW localization uncertainty is better than $\sim 10\, \rm deg^2$. This implies that the unique identification of the host galaxy of lensed GW event detected by ET and Cosmic Explorer (CE) is possible. This provides us a promising opportunity to measure the redshift of the GW event and facilitate the standard siren cosmology. We also discuss its potential applications in understanding the evolution process and environment of the GW event.

astro-ph.CO

Will Dependency Conflicts Affect My Program's Semantics?

Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the others, which we refer to as dependency conflicts. This would give rise to semantic conflict (SC) issues, if the library APIs referenced by a project have identical method signatures but inconsistent semantics across the loaded and shadowed versions of libraries. SC issues are difficult for developers to diagnose in practice, since understanding them typically requires domain knowledge. Although adapting the existing test generation technique for dependency conflict issues, Riddle, to detect SC issues is feasible, its effectiveness is greatly compromised. This is mainly because Riddle randomly generates test inputs, while the SC issues typically require specific arguments in the tests to be exposed. To address that, we conducted an empirical study of 75 real SC issues to understand the characteristics of such specific arguments in the test cases that can capture the SC issues. Inspired by our empirical findings, we propose an automated testing technique Sensor, which synthesizes test cases using ingredients from the project under test to trigger inconsistent behaviors of the APIs with the same signatures in conflicting library versions. Our evaluation results show that \textsc{Sensor} is effective and useful: it achieved a $Precision$ of 0.803 and a $Recall$ of 0.760 on open-source projects and a $Precision$ of 0.821 on industrial projects; it detected 150 semantic conflict issues in 29 projects, 81.8\% of which had been confirmed as real bugs.

cs.SE

A New Method to Measure Hubble Parameter $H(z)$ using Fast Radio Bursts

The Hubble parameter $H(z)$ is directly related to the expansion of our Universe. It can be used to study dark energy and constrain cosmology models. In this paper, we propose that $H(z)$ can be measured using fast radio bursts (FRBs) with redshift measurements. We use dispersion measures contributed by the intergalactic medium, which is related to $H(z)$, to measure Hubble parameter. We find that 500 mocked FRBs with dispersion measures and redshift information can accurately measure Hubble parameters using Monte Carlo simulation. The maximum deviation of $H(z)$ from standard $Λ$CDM model is about 6\% at redshift $z= 2.4$. We also test our method using Monte Carlo simulation. Kolmogorov-Smirnov (K-S) test is used to check the simulation. The $p$-value of K-S test is 0.23, which confirms internal consistency of the simulation. In future, more localizations of FRBs make it as an attractive cosmological probe.

astro-ph.CO

Gaussian Processes, Median Statistics, Milky Way Rotation Curves

We use the Iocco et al. (2015) compilation of 2,780 circular velocity measurements to analyze the Milky Way rotation curve. We find that the error bars for individual measurements are non-gaussian, and hence instead derive median statistics binned central circular velocity values and error bars from these data. We use these median statistics central values and error bars to fit the data to simple, few parameter, rotation curve functions. These simple functions are unable to adequately capture the significant small scale spatial structure in these data and so provide poor fits. We introduce and use the Gaussian Processes (GP) method to capture this small scale structure and use it to derive Milky Way rotation curves from the binned median statistics circular velocity data. The GP method rotation curves have significant small-scale spatial structure superimposed on a broad rise to galactocentric radius $R\approx7$ kpc and a decline at larger $R$. We use the GP method median statistics rotation curve to measure the Oort $A$ and $B$ constants and other characteristic rotation curve quantities. We study correlations in the residual circular velocities (relative to the GP method rotation curve). Along with other evidence for azimuthal asymmetry of the Milky Way circular rotation velocity field, we find that larger residual circular velocities seem to favor parts of spiral arms.

astro-ph.GA

Dark matter deficient galaxies in the Illustris flat-$Λ$CDM model structure formation simulation

Surveying dark matter deficient galaxies (those with dark matter mass to stellar mass ratio $M_{\rm dm}/M_{\rm star}<1$) in the Illustris simulation of structure formation in the flat-$Λ$CDM cosmogony, we find $M_{\rm star} \approx 2 \times 10^8\, M_\sun$ galaxies that have properties similar to those ascribed by \citet{vanDokkumetal2018a} to the ultra-diffuse galaxy NGC1052-DF2. The Illustris simulation also contains more luminous dark matter deficient galaxies. Illustris galaxy subhalo 476171 is a particularly interesting outlier, a massive and very compact galaxy with $M_{\rm star} \approx 9 \times 10^{10}\, M_\sun$ and $M_{\rm dm}/M_{\rm star} \approx 0.1$ and a half-stellar-mass radius of $\approx 2$ kpc. If the Illustris simulation and the $Λ$CDM model are accurate, there are a significant number of dark matter deficient galaxies, including massive luminous compact ones. It will be interesting to observationally discover these galaxies, and to also more clearly understand how they formed, as they are likely to provide new insight into and constraints on models of structure formation and the nature of dark matter.

astro-ph.GA

Constraining the Environmental Properties of FRB 131104 Using the Unified Dynamical Afterglow Model

Multi-band observations of the fast radio burst (FRB) 131104 show that this burst may be associated with a gamma-ray transient entitled Swift J0644.5-5111. Follow-up observations for potential X-ray and radio counterparts of FRB 131104/Swift J0644.5-5111 got null results and provided the upper limits of the emission flux at 5.5 GHz, 7.5 GHz, $U$-band, and X-ray band. By assuming this association and using these upper limits, environmental properties (the fraction of energyin a magnetic field $\varepsilon_{\rm B}$ and the number density $n$) of the progenitor system of FRB 131104/Swift J0644.5-5111 were constrained in the context of the standard afterglow model that neglects the non-relativistic effect and jet effect by several groups. In this paper, we adopt a unified afterglow model that takes into account the non-relativistic effect and jet effect and use the upper limits of four bands (5.5 GHz, 7.5 GHz, $U$-band, and X-ray) to obtain more stringent constraints on the parameter space spanned by $\varepsilon_{\rm B}$ and $n$. We thus suggest that FRB 131104/Swift J0644.5-5111 might originate from a black hole-neutron star merger event. Moreover, we calculate multi-band emissions from a kilonova powered by the radioactivity of $r$-process elements synthesized in the ejected neutron-rich material and find that the $U$-band emission from the putative kilonova is significantly lower than the upper limit of the observations.

astro-ph.HE

Hubble Parameter and Baryon Acoustic Oscillation Measurement Constraints on the Hubble Constant, the Deviation from the Spatially-Flat $Λ$cdm Model, The Deceleration-Acceleration Transition Redshift, and Spatial Curvature

We compile a complete collection of reliable Hubble parameter $H(z)$ data to redshift $z \leq 2.36$ and use them with the Gaussian Process method to determine continuous $H(z)$ functions for various data subsets. From these continuous $H(z)$'s, summarizing across the data subsets considered, we find $H_0\sim 67 \pm 4\,\rm km/s/Mpc$, more consistent with the recent lower values determined using a variety of techniques. In most data subsets, we see a cosmological deceleration-acceleration transition at 2$σ$ significance, with the data subsets transition redshifts varying over $0.33<z_{\rm da}<1.0$ at 1$σ$ significance. We find that the flat-$Λ$CDM model is consistent with the $H(z)$ data to a $z$ of 1.5 to 2.0, depending on data subset considered, with 2$σ$ deviations from flat-$Λ$CDM above this redshift range. Using the continuous $H(z)$ with baryon acoustic oscillation distance-redshift observations, we constrain the current spatial curvature density parameter to be $Ω_{K0}=-0.03\pm0.21$, consistent with a flat universe, but the large error bar does not rule out small values of spatial curvature that are now under debate.

astro-ph.CO

GPI-based Secrecy Rate Maximization Beamforming Scheme for Wireless Transmission with AN-aided Directional Modulation

In a directional modulation network, a general power iterative (GPI) based beamforming scheme is proposed to maximize the secrecy rate (SR), where there are two optimization variables required to be optimized. The first one is the useful precoding vector of transmitting confidential messages to the desired user while the second one is the artificial noise (AN) projection matrix of forcing more AN to eavesdroppers. In such a secure network, the paramount problem is how to design or optimize the two optimization variables by different criteria. To maximize the SR (Max-SR), an alternatively iterative structure (AIS) is established between the AN projection matrix and the precoding vector for confidential messages. To choose a good initial value of iteration process of GPI, the proposed Max-SR method can readily double its convergence speed compared to the random choice of initial value. With only four iterations, it may rapidly converge to its rate ceil. From simulation results, it follows that the SR performance of the proposed AIS of GPI-based Max-SR is much better than those of conventional leakage-based and null-space projection methods in the medium and large signal-to-noise ratio (SNR) regions, and its achievable SR performance gain gradually increases as SNR increases.

cs.IT

A Monte Carlo approach to magnetar-powered transients: II. Broad-lined type Ic supernovae not associated with GRBs

Broad-lined type Ic supernovae (SNe Ic-BL) are a subclass of rare core collapse SNe whose energy source is debated in the literature. Recently a series of investigations on SNe Ic-BL with the magnetar (plus 56Ni) model were carried out. Evidence for magnetar formation was found for the well-observed SNe Ic-BL 1998bw and 2002ap. In this paper we systematically study a large sample of SNe Ic-BL not associated with gamma-ray bursts. We use photospheric velocity data determined in a homogeneous way. We find that the magnetar+56Ni model provides a good description of the light curves and velocity evolution of our sample of SNe Ic-BL, although some SNe (not all) can also be described by the pure-magnetar model or by the two-component pure-56Ni model (3 out of 12 are unlikely explained by two-component model). In the magnetar+56Ni model, the amount of 56Ni required to explain their luminosity is significantly reduced, and the derived initial explosion energy is, in general, in accordance with neutrino heating. Some correlations between different physical parameters are evaluated and their implications regarding magnetic field amplification and the total energy reservoir are discussed.

astro-ph.HE

Pilot Optimization and Power Allocation for OFDM-based Full-duplex Relay Networks with IQ-imbalances

In OFDM relay networks with IQ imbalances and full-duplex relay station (RS), how to optimize pilot pattern and power allocation using the criterion of minimizing the sum of mean square errors (Sum-MSE) for the frequency-domain least-squares channel estimator has a heavy impact on self-interference cancellation. Firstly, the design problem of pilot pattern is casted as a convex optimization. From the KKT conditions, the optimal analytical expression is derived given the fixed source power and RS power. Subsequently, an optimal power allocation (OPA) strategy is proposed and presented to further alleviate the effect of Sum-MSE under the total transmit power sum constraint of source node and RS. Simulation results show that the proposed OPA performs better than equal power allocation (EPA) in terms of Sum-MSE, and the Sum-MSE performance gain grows with deviating $ρ$ from the value of $ρ^o$ minimizing the Sum-MSE, where $ρ$ is defined as the average ratio of the residual SI channel at RS to the intended channel from source to RS. For example, the OPA achieves about 5dB SNR gain over EPA by shrinking or stretching $ρ$ with a factor $4$. More importantly, as $ρ$ decreases or increases more, the performance gain becomes more significant.

cs.IT

Statistical Distributions of Optical Flares from Gamma-Ray Bursts

We statistically study gamma-ray burst (GRB) optical flares from the Swift/UVOT catalog. We compile 119 optical flares, including 77 flares with redshift measurements. Some tight correlations among the time scales of optical flares are found. For example, the rise time is correlated with the decay time, and the duration time is correlated with the peak time of optical flares. These two tight correlations indicate that longer rise times are associated with longer decay times of optical flares, and also suggest that broader optical flares peak at later times, which are consistent with the corresponding correlations of X-ray flares. We also study the frequency distributions of optical flare parameters, including the duration time, rise time, decay time, peak time and waiting time. Similar power-law distributions for optical and X-ray flares are found. Our statistic results imply that GRB optical flares and X-ray flares may share the similar physical origin and both of them are possibly related to central engine activities.

astro-ph.HE