SearcharxivSearch

arXiv subjects

Z. Shao

Publications and source records attributed to Z. Shao.

At least 19 recordsLinked to original sources

Extending the Stellar-to-Halo Mass Relation to Dwarf Galaxies with DESI DR1

Constraining the dark matter halos of the smallest galaxies offers fundamental insights into the nature of dark matter and stellar feedback. Using the Dark Energy Spectroscopic Instrument (DESI) Data Release 1, we infer the stellar-to-halo mass relation (SHMR) down to the dwarf scale ($M_\star < 10^9\,M_\odot$), without extrapolation from the higher mass range. Leveraging the unprecedented depth of the DESI Bright Galaxy Survey at $0.01 < z < 0.2$, we construct 12 samples spanning nearly four orders of magnitude in stellar mass, and measure their projected clustering $w_p$, galaxy-galaxy lensing $\Delta\Sigma$, as well as a novel observable: satellite occupation number $N_{\rm sat}$. The addition of $N_{\rm sat}$ enables robust subtraction of satellite contributions to both $w_p$ and $\Delta\Sigma$ across the 12 individual halo occupation distribution analyses, yielding an average halo-to-stellar mass relation (HSMR) of $\log \langle M_h(M_\star) \rangle = 12.06 + 0.58\log(M_\star/10^{11}) + (M_\star/10^{11})^{0.73}$. Combining this HSMR with an observed stellar mass function, we constrain the SHMR across five orders of magnitude in halo mass, with the power-law slope steepening from $0.32 \pm 0.06$ above the Milky Way mass to $2.08 \pm 0.21$ in the dwarf regime. Interestingly, the scatter about the SHMR grows from $0.17 \pm 0.02$ dex at Milky Way-like scales to $0.68_{-0.33}^{+0.21}$ dex for systems comparable to the Large Magellanic Cloud, suggesting that smaller galaxies follow increasingly diverse evolutionary paths. Our work highlights the power of DESI in probing the galaxy-halo connection within the dwarf regime, offering an exciting avenue to bridge the gap between large-scale and near-field cosmologies in the future.

astro-ph.GA

Formal Modeling and Verification of Grover's Algorithm

Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsorted database. Due to the high complexity of quantum mechanics, the correctness of quantum algorithms is difficult to guarantee through traditional simulation methods. By contrast, the fundamental concepts and mathematical structure of Grover's algorithm can be formalized into logical expressions and verified by higher-order logical reasoning. In this paper, we formally model and verify Grover's algorithm in the HOL Light theorem prover. We focus on proving key properties such as the unitarity of its oracle and diffusion operators, the monotonicity of the success probability with respect to the number of iterations, and an exact expression for the optimal iteration count. By analyzing a concrete application to integer factorization, we demonstrate the practicality and prospects of our work.

quant-ph

Electron temperature relations and the direct N, O, Ne, S and Ar abundances of 49959 star-forming galaxies in DESI Data Release 2

We present the largest direct-method abundance catalogue of galaxies to date, containing measurements of 49959 star-forming galaxies at z < 0.96 from DESI Data Release 2. By directly measuring electron temperatures across multiple ionisation zones, we provide constraints on a number of electron temperature relations. Using the temperature measurements, we derive reliable abundances for N, O, Ne, S and Ar and measure the evolution of abundances and abundance ratios of as a function of metallicity and other galaxy properties. Our measurements include direct oxygen abundances for 49507 galaxies, leading to the discovery of the two most metal-poor galaxies in the nearby Universe, with oxygen abundances of 12+log(O/H) = $\rm 12+\log(O/H) = 6.77_{-0.03}^{+0.03}~\rm dex $ (1.2\% $\rm Z_{\odot}$) and $\rm 12+\log(O/H) = 6.81_{-0.04}^{+0.04}~\rm dex$ (1.3\% $\rm Z_{\odot}$). We identify a rare outlier population of 24 galaxies with high N/O ratios at low metallicity, reminiscent of galaxy abundances observed in the early Universe. We find the Ne/O ratio is constant at low metallicity but increases gradually at $\rm 12+log(O/H) > 8.105\pm0.004$ dex. We show that the S/O and Ar/O abundance ratios are strongly correlated, consistent with the expected additional Type Ia enrichment channel for S and Ar. In this work we present an initial survey of the key properties of the sample, with this dataset serving as a foundation for extensive future work on galaxy abundances at low redshift.

astro-ph.GA

Memory in strain-tuned insulator-metal-insulator sequence of transitions after photoexcitation in the Mott material V2O3

Memory effects during metal-insulator transitions in quantum materials reveal complex physics and potential for novel electronics mimicking biological neural systems. Nonetheless, understanding of memory and nonlinearity in sequential non-equilibrium transitions remains elusive as the full chain of transitions can involve features lasting anywhere from femtoseconds to microseconds. Here, we extend time-resolved x-ray Bragg diffraction to the dynamic range of timescales spanning 9 orders of magnitude to fully trace the pathways of photoexcited insulator-metal transition and the following relaxation through non-equilibrium metal-insulator transitions in epitaxial films of V2O3, a promising Mott material. We find 5 orders of magnitude variation in metal-insulator transition time, from nanoseconds to hundreds of microseconds, depending on pre-excitation phase state. We provide a theoretical explanation and simulations based on strain feedback to domain nucleation. The lingering transition is stretched in time by memory of spatial and energy heterogeneity and, contrary to known memory effects in vanadium oxides commonly described by power laws, follows an extremely (factor below 0.2) stretched exponential. The induced dramatic slowdown in the light-driven highly correlated system signifies unusually high heterogeneity of transition barriers similar to biological systems, and demonstrates importance of non-local correlations of structure in evolution of transitional phases in quantum materials.

cond-mat.mtrl-sci

Study of Delay-Calibrated Joint User Activity Detection, Channel Estimation and Data Detection for Asynchronous mMTC Systems

This work considers uplink asynchronous massive machine-type communications, where a large number of low-power and low-cost devices asynchronously transmit short packets to an access point equipped with multiple receive antennas. If orthogonal preambles are employed, massive collisions will occur due to the limited number of orthogonal preambles given the preamble sequence length. To address this problem, we propose a delay-calibrated joint user activity detection, channel estimation, and data detection algorithm, and investigate the benefits of oversampling in estimating continuous-valued time delays at the receiver. The proposed algorithm is based on the expectation-maximization method, which alternately estimates the delays and detects active users and their channels and data by noting that the collided users have different delays. Under the Bayesian inference framework, we develop a computationally efficient iterative algorithm using the approximate message passing principle to resolve the joint user activity detection, channel estimation, and data detection problem. Numerical results demonstrate the effectiveness of the proposed algorithm in terms of the normalized mean-squared errors of channel and data symbols, and the probability of misdetection.

cs.IT

Decentralized and Centralized IDD Schemes for Cell-Free Networks

In this paper, we propose iterative interference cancellation schemes with access points selection (APs-Sel) for cell-free massive multiple-input multiple-output (CF-mMIMO) systems. Closed-form expressions for centralized and decentralized linear minimum mean square error (LMMSE) receive filters with APs-Sel are derived assuming imperfect channel state information (CSI). Furthermore, we develop a list-based detector based on LMMSE receive filters that exploits interference cancellation and the constellation points. A message-passing-based iterative detection and decoding (IDD) scheme that employs low-density parity-check (LDPC) codes is then developed. Moreover, log-likelihood ratio (LLR) refinement strategies based on censoring and a linear combination of local LLRs are proposed to improve the network performance. We compare the cases with centralized and decentralized processing in terms of bit error rate (BER) performance, complexity, and signaling under perfect CSI (PCSI) and imperfect CSI (ICSI) and verify the superiority of the distributed architecture with LLR refinements.

cs.IT

Iterative Detection and Decoding Schemes with LLR Refinements in Cell-Free Massive MIMO Networks

In this paper, we propose low-complexity local detectors and log-likelihood ratio (LLR) refinement techniques for a coded cell-free massive multiple input multiple output (CF- mMIMO) systems, where an iterative detection and decoding (IDD) scheme is applied using parallel interference cancellation (PIC) and access point (AP) selection. In particular, we propose three LLR processing schemes based on the individual processing of the LLRs of each AP, LLR censoring, and a linear combination of LLRs by assuming statistical independence. We derive new closed-form expressions for the local soft minimum mean square error (MMSE)-PIC detector and receive matched filter (RMF). We also examine the system performance as the number of iterations increases. Simulations assess the performance of the proposed techniques against existing approaches.

cs.IT

Spontaneous supercrystal formation during a strain-engineered metal-insulator transition

Mott metal-insulator transitions possess electronic, magnetic, and structural degrees of freedom promising next generation energy-efficient electronics. We report a previously unknown, hierarchically ordered state during a Mott transition and demonstrate correlated switching of functional electronic properties. We elucidate in-situ formation of an intrinsic supercrystal in a Ca2RuO4 thin film. Machine learning-assisted X-ray nanodiffraction together with electron microscopy reveal multi-scale periodic domain formation at and below the film transition temperature (TFilm ~ 200-250 K) and a separate anisotropic spatial structure at and above TFilm. Local resistivity measurements imply an intrinsic coupling of the supercrystal orientation to the material's anisotropic conductivity. Our findings add an additional degree of complexity to the physical understanding of Mott transitions, opening opportunities for designing materials with tunable electronic properties.

cond-mat.mtrl-sci

Roman domination in graphs with minimum degree at least two and some forbidden cycles

Let $G=(V,E)$ be a graph of order $n$ and let $γ_{R}(G)$ and $\partial (G)$ denote the Roman domination number and the differential of $G,$ respectively. In this paper we prove that for any integer $k\geq 0$, if $G$ is a graph of order $n\geq 6k+9$, minimum degree $δ\geq 2,$ which does not contain any induced $\{C_{5},C_{8},\ldots ,C_{3k+2}\}$% -cycles, then $γ_{R}(G)\leq \frac{(4k+8)n}{6k+11}$. This bound is an improvement of the bounds given in [E.W. Chambers, B. Kinnersley, N. Prince, and D.B. West, Extremal problems for Roman domination, SIAM J. Discrete Math. 23 (2009) 1575--1586] when $k=0,$ {and [S. Bermudo, On the differential and Roman domination number of a graph with minimum degree two, Discrete Appl. Math. 232 (2017), 64--72] when }$k=1.$ Moreover, using the Gallai-type result involving the Roman domination number and the differential of graphs established by Bermudo et al. stating that $γ_{R}(G)+\partial (G)=n$, we have $\partial (G)\geq \frac{(2k+3)n}{6k+11},$ thereby settling the conjecture of Bermudo posed in the second paper.

math.CO

Dynamic Oversampling Tecniques for 1-Bit ADCs in Large-Scale MIMO Systems

In this work, we investigate dynamic oversampling techniques for large-scale multiple-antenna systems equipped with low-cost and low-power 1-bit analog-to-digital converters at the base stations. To compensate for the performance loss caused by the coarse quantization, oversampling is applied at the receiver. Unlike existing works that use uniform oversampling, which samples the signal at a constant rate, a novel dynamic oversampling scheme is proposed. The basic idea is to perform time-varying nonuniform oversampling, which selects samples with nonuniform patterns that vary over time. We consider two system design criteria: a design that maximizes the achievable sum rate and another design that minimizes the mean square error of detected symbols. Dynamic oversampling is carried out using a dimension reduction matrix $\mathbfΔ$, which can be computed by the generalized eigenvalue decomposition or by novel submatrix-level feature selection algorithms. Moreover, the proposed scheme is analyzed in terms of convergence, computational complexity and power consumption at the receiver. Simulations show that systems with the proposed dynamic oversampling outperform those with uniform oversampling in terms of computational cost, achievable sum rate and symbol error rate performance.

cs.IT

Study of Channel Estimation Algorithms for Large-Scale Multiple-Antenna Systems using 1-Bit ADCs and Oversampling

Large-scale multiple-antenna systems with large bandwidth are fundamental for future wireless communications, where the base station employs a large antenna array. In this scenario, one problem faced is the large energy consumption as the number of receive antennas scales up. Recently, low-resolution analog-to-digital converters (ADCs) have attracted much attention. Specifically, 1-bit ADCs are suitable for such systems due to their low cost and low energy consumption. This paper considers uplink large-scale multiple-antenna systems with 1-bit ADCs on each receive antenna. We investigate the benefits of using oversampling for channel estimation in terms of the mean square error and symbol error rate performance. In particular, low-resolution aware channel estimators are developed based on the Bussgang decomposition for 1-bit oversampled systems and analytical bounds on the mean square error are also investigated. Numerical results are provided to illustrate the performance of the proposed channel estimation algorithms and the derived theoretical bounds.

cs.IT

Investigation of Channel Estimation Techniques with 1-bit Quantization and Oversampling for Multiple-Antenna Systems

Large-scale multiple-antenna systems have been identified as a promising technology for the next generation of wireless systems. However, by scaling up the number of receive antennas the energy consumption will also increase. One possible solution is to use low-resolution analog-to-digital converters at the receiver. This paper considers large-scale multiple-antenna uplink systems with 1-bit analog-to-digital converters on each receive antenna. Since oversampling can partially compensate for the information loss caused by the coarse quantization, the received signals are firstly oversampled by a factor M. We then propose a low-resolution aware linear minimum mean-squared error channel estimator for 1-bit oversampled systems. Moreover, we characterize analytically the performance of the proposed channel estimator by deriving an upper bound on the Bayesian Cramér-Rao bound. Numerical results are provided to illustrate the performance of the proposed channel estimator.

cs.IT

Study of Channel Estimation with Oversampling for 1-bit Large-Scale MIMO Systems

In this paper, we propose an oversampling based low-resolution aware least squares channel estimator for large-scale multiple-antenna systems with 1-bit analog-to-digital converters on each receive antenna. To mitigate the information loss caused by the coarse quantization, oversampling is applied at the receiver, where the sampling rate is faster than the Nyquist rate. We also characterize analytical performances, in terms of the deterministic Cramér-Rao bounds, on estimating the channel parameters. Based on the correlation of the filtered noise, both the Fisher information for white noise and a lower bound of Fisher information for colored noise are provided. Numerical results are provided to illustrate the mean square error performances of the proposed channel estimator and the corresponding Cramér-Rao bound as a function of the signal-to-noise ratio.

eess.SP

A focus on L dwarfs with trigonometric parallaxes

We report new parallax measurements for ten L and early T type dwarfs, five of which have no previous published values, using observations over 3 years at the robotic Liverpool Telescope. The resulting parallaxes and proper motions have median errors of 2\,mas and 1.5\,mas/year respectively. Their space motions indicate they are all Galactic disk members. We combined this sample with other objects with astrometry from the Liverpool Telescope and with published literature astrometry to construct a sample of 260 L and early T type dwarfs with measured parallaxes, designated the Astrometry Sample. We study the kinematics of the Astrometry Sample, and derived a solar motion of $(U,V,W)_{\bigodot} = (7.9\pm1.7,13.2\pm1.2,7.2\pm1.0)$\,\kms~ with respect to the local standard of rest, in agreement with recent literature. We derive a kinematic age of 1.5-1.7\,Gyr for the Astrometry Sample assuming the age increases monotonically with the total velocity for a given disk sample. This kinematic age is less than half literature values for other low mass dwarf samples. We believe this difference arises for two reasons (1) the sample is mainly composed of mid to late L dwarfs which are expected to be relatively young and (2) the requirement that objects have a measured parallax biases the sample to the brighter examples which tend to be younger.

astro-ph.SR

Study of SIC and RLS Channel Estimation for Large-Scale Antenna Systems with 1-Bit ADCs

We propose a novel low-resolution-aware recursive least squares channel estimation algorithm for uplink multi-user multiple-input multiple-output systems. In order to reduce the energy consumption, 1-bit ADCs are used on each receive antenna. The loss of performance can be recovered by the large-scale antenna arrays at the receiver. The proposed adaptive channel estimator can mitigate the distortions due to the coarse quantization. Moreover, we propose a low-resolution-aware minimum mean square error based successive interference canceler to successively mitigate the multiuser interference. Simulation results show good performance of the system in terms of mean square error and bit error rate.

cs.IT

Study of Iterative Detection and Decoding for Large-Scale MIMO Systems with 1-Bit ADCs

We present a novel iterative detection and decoding scheme for the uplink of large-scale multiuser multiple-antenna systems. In order to reduce the receiver's energy consumption and computational complexity, 1-bit analog-to-digital converters are used in the front-end. The performance loss due to the 1-bit quantization can be mitigated by using large-scale antenna arrays. We propose a linear low-resolution-aware minimum mean square error detector for soft multiuser interference mitigation. Moreover, short block length low-density parity-check codes are considered for avoiding high latency. In the channel decoder, a quasi-uniform quantizer with scaling factors is devised to lower the error floor of LDPC codes. Simulations show good performance of the system in terms of bit error rate as compared to prior work.

cs.IT

The spectral energy distribution of galaxies at z > 2.5: Implications from the Herschel/SPIRE color-color diagram

We use the Herschel SPIRE color-color diagram to study the spectral energy distribution (SED) and the redshift estimation of high-z galaxies. We compiled a sample of 57 galaxies with spectroscopically confirmed redshifts and SPIRE detections in all three bands at $z=2.5-6.4$, and compared their average SPIRE colors with SED templates from local and high-z libraries. We find that local SEDs are inconsistent with high-z observations. The local calibrations of the parameters need to be adjusted to describe the average colors of high-z galaxies. For high-z libraries, the templates with an evolution from z=0 to 3 can well describe the average colors of the observations at high redshift. Using these templates, we defined color cuts to divide the SPIRE color-color diagram into different regions with different mean redshifts. We tested this method and two other color cut methods using a large sample of 783 Herschel-selected galaxies, and find that although these methods can separate the sample into populations with different mean redshifts, the dispersion of redshifts in each population is considerably large. Additional information is needed for better sampling.

astro-ph.GA

Parallaxes of five L Dwarfs with a Robotic Telescope

We report the parallax and proper motion of five L dwarfs obtained with observations from the robotic Liverpool Telescope. Our derived proper motions are consistent with published values and have considerably smaller errors. Based on our spectral type versus absolute magnitude diagram, we do not find any evidence for binaries among our sample, or, at least no comparable mass binaries. Their space velocities locate them within the thin disk and based on the model comparisons they have solar-like abundances. For all five objects, we derived effective temperature, luminosity, radius, gravity and mass from a evolutionary model(CBA00) and our measured parallax; moreover, we derived their effective temperature by integrating observed optical and near-infrared spectra and model spectra (BSH06 or BT-Dusty respectively) at longer wavelengths to obtain bolometric {\bf flux using} the classical Stefan-Boltzmann law: generally the three temperatures for one object derived using two different methods with three models are consistent, while at lower temperature(e.g. for L4) the differences among the three temperatures are slightly larger than that at higher temperature(e.g. for L1).

astro-ph.SR