arXiv Science⌕ Search

arXiv subjects

Xin Zhang

Publications and source records attributed to Xin Zhang.

At least 19 recordsLinked to original sources
arXiv2026

Simultaneous determination of Hubble constant and cosmic baryon density: Forecasts for the synergy between FRBs and emerging probes

Two of the most pressing challenges in cosmology are the persistent discrepancy in measurements of the Hubble constant, referred to as the Hubble tension, and the deficit of baryons in the local Universe, known as the missing baryon problem. Fast radio bursts (FRBs) provide a unique probe of both the Hubble constant $H_0$ and the cosmic baryon density $Ω_{\rm b}$. However, constraints from FRBs alone suffer from a severe $H_0$-$Ω_{\rm b}$ degeneracy that prevents them from resolving either problem. We show that this degeneracy can be broken by combining FRBs with other emerging probes whose degeneracy directions differ in the $H_0$-$Ω_{\rm b}$ plane. Specifically, we quantify three multi-messenger approaches: FRBs paired with gravitational wave (GW) standard sirens, strong gravitational lensing (SGL) time delays, and 21 cm intensity mapping (IM) surveys. The combinations FRB+GW, FRB+SGL, and FRB+21 cm IM each deliver simultaneous constraints on $H_0$ and $Ω_{\rm b}$ better than (1%, 1.5%) in the $Λ$CDM model, and when dynamical dark energy is introduced, the constraining precision degrades gracefully as model complexity increases. Furthermore, within a model-independent framework, both FRB+GW and FRB+SGL constrain $H_0$ and $Ω_{\rm b}$ to precisions better than (1.5%, 3%). These precision levels are based on nominal observational expectations and would improve significantly under optimistic observational scenarios.

astro-ph.CO↗
arXiv2026

Synergy between CSST and future gravitational-wave detectors: Probing primordial black holes by cross-correlating dark sirens with galaxies

Gravitational-wave (GW) events and galaxies both trace the cosmic matter distribution, but the mergers of astrophysical black holes and primordial black holes (PBHs) are expected to populate different environments and therefore to cluster with different biases. The GW clustering bias is thus a statistical observable that can separate the two populations. We assess how well this can be done by cross-correlating the photometric galaxy survey of the Chinese Space-station Survey Telescope (CSST) with mock GW catalogs from two future detector networks: the third-generation ET2CE network (the Einstein Telescope and two Cosmic Explorer detectors) and the multi-band BDET2CE network, which adds the space-based baseline Decihertz Interferometer Gravitational-Wave Observatory. We find that CSST combined with 10 years of ET2CE observations can reveal a PBH contribution once its fraction in the total merger rate exceeds about $40\%$, while the much sharper sky localization of BDET2CE lowers this threshold to about $20\%$. The improvement comes from recovering the small-scale clustering information that localization errors would otherwise erase. These results show that combining future GW detector networks with CSST galaxy clustering offers a promising and largely independent route to identifying PBHs statistically.

astro-ph.CO↗
arXiv2026

Making Self-Driving Laboratories Auditable:A Unified Framework for Hybrid Actions,Measurements, and Safe Execution

Self-driving laboratories (SDLs) are laboratory systems that couple experimental planning, automated execution, and measurement feedback in a closed loop. Integrating flexible robot control with the typed application programming interfaces (APIs) and continuous measurements exposed by laboratory instruments remains an execution-interface challenge. To address this challenge, we propose a traceable framework comprising four components: LAM (Lab Action Model), OpenSDL, Safe-SDL, and L3-Bench. LAM is a proposed measurement-conditioned policy architecture that extends vision-language-action paradigms to generate both continuous robot trajectories and typed instrument API calls. OpenSDL is an execution substrate with an initial control implementation, designed to map role-level operations to heterogeneous devices, coordinate execution, and record timestamped causal events. The proposed Safe-SDL runtime gate combines pre-dispatch schema and resource checks with signal temporal logic monitoring during execution, including extended waiting periods. L3-Bench (Level-3 Laboratory Benchmark) specifies an episode-level evaluation protocol covering physical outcomes, timing, reproducibility, safety violations, and fault recovery. Together, these components provide an end-to-end design for linking hybrid action generation, monitored device execution, measurement feedback, and experimental evaluation, addressing coordination and traceability challenges in SDL workflows.

cs.RO↗
arXiv2026

WorldArena 2.0: Extending Embodied World Model Benchmarking on Modality, Functionality and Platform

World models have emerged as a central paradigm for embodied intelligence, enabling agents to predict action-conditioned future and reason about environmental dynamics. However, existing embodied world model benchmarks are still largely confined to vision-only prediction, offline embodied applications, and simulator-based evaluation, making them insufficient for assessing increasingly comprehensive world models. In this work, we introduce WorldArena 2.0, an expanded benchmark that systematically broadens embodied world model evaluation along three dimensions: modality, functionality, and platform. Along the modality dimension, WorldArena 2.0 extends evaluation from vision-only to visuotactile modalities, enabling assessment of multimodal perception and prediction. Along the functionality dimension, it extends beyond policy evaluation and planning to assess world models as interactive RL environments for policy optimization. Along the platform dimension, it moves beyond simulator-only evaluation to a diverse suite of simulated and real-world robotic settings across multiple embodiments. Under a standardized protocol, WorldArena 2.0 comprehensively evaluates perceptual quality, interactive utility, and cross-platform performance, providing a comprehensive testbed for tracking progress toward embodied world models. The project page including codes and demos is available at: https://world-arena.ai/.

cs.RO↗
arXiv2026

Projected McKean--Vlasov Dynamics for Entropic Weak Optimal Transport

Unlike classical optimal transport, weak transport costs depend nonlinearly on the conditional law of couplings. This feature is essential in problems involving barycenter, conditional moments, and martingale-type constraints. Meanwhile, such conditional dependence makes ordinary Wasserstein geometry insufficient and calls instead for an adapted Wasserstein viewpoint. In this paper, we investigate the entropy-regularized weak optimal transport via gradient flows in adapted Wasserstein space. We derive, from the formal tangent structure of adapted Wasserstein space and the projection onto the set of couplings with prescribed marginals, a coupled McKean--Vlasov SDE. A novel and subtle term is a projection that, at each $Y$-location, averages a weak-transport force that already depends on the conditional law of $Y$ given $X$, thereby preserving marginals while retaining the nonlinear weak-transport structure. Under mild integrability and regularity assumptions, we prove weak existence and uniqueness in law for this projected McKean--Vlasov equation. We then prove that the flow converges, in the adapted Wasserstein topology, to the unique minimizer of the entropic weak optimal transport problem. We also describe a particle approximation and illustrate the dynamics on optimal transport and martingale optimal transport examples.

math.PR↗
arXiv2026

Change2Task: From Repository Changes to Executable Coding Agent Tasks and Environments

Scaling coding agents requires a continuing supply of executable data for training, benchmarking, and continuous evaluation. Each task must couple a realistic software state with a specification, development tools, and reliable verification. To expand this supply, we present Change2Task, a system grounded in repository history that converts merged pull requests (PRs) into verified tasks on healthy modern revisions of the same repository. It aligns historical evidence with evolved code, reconstructs task states through Patch Reversal, Code Mapping, or Agent Reconstruction, and validates the lifecycle from a healthy base to a task state and a restored state. By deriving multiple tasks grounded in developer evidence from maintained environments, Change2Task provides executable data for coding agent training and evaluation while reducing repeated environment setup, storage, and task construction effort. We evaluate five coding agent task families: Bug Fix, Feature Addition, Test Generation, Application Programming Interface (API) Migration, and Security Repair. Starting from 1,130 source changes eligible for construction, Change2Task achieves 79.6% verified task construction success across these task families. On a matched candidate set, it recovers 29.2% more verified tasks than a construction baseline based on PRs. Historical and reconstructed cases achieve 89.7% aggregate matched outcome agreement under agent evaluation, while reuse of modern bases reduces measured expenditure across the complete pipeline by 10.8%. Four matched studies examine construction stages, semantic review, branch consistency, and resource trade-offs. An industrial deployment further constructs 1,000 tasks from private PR histories and evaluates four models on a fixed 500-task cohort.

cs.SE↗
arXiv2026

UniWorld: A Unified World Model for Real-Time Visual World Simulation

Continuous visual world simulation requires coupling evolving scene geometry with temporally persistent appearance. We present UniWorld, a unified framework that integrates depth trajectories and reference appearance within a shared video generation model. The central design maintains visual and geometric histories on a common timeline. Noise-aligned overlapping continuation places generated history at the prescribed sampling noise level and commits only newly generated latents. Rolling depth latent state preserves the corresponding geometric controls, incrementally reads newly available geometry, and keeps the conditioning fixed within each sampling window. Together, these mechanisms ensure exact preservation of latent history while bounding the active depth state by the window size. We evaluate continuous generation, paired history interventions, and long-horizon behavior across diverse scene categories. The same generator supports estimated, native, and on-demand simulator depth, while cached and incremental execution paths produce bitwise-identical outputs. Appearance changes and geometric control branches operate through the same interface without modifying committed history. The measured steady-state DiT execution path achieves real-time generation throughput, demonstrating the efficiency of UniWorld for continuous visual world simulation. Project page: https://zephipage.github.io/UniWorld.

cs.CV↗
arXiv2026

Light top-flavoured dark matter in dark SMEFT: one-loop matching and phenomenology

We study light top-flavoured dark matter (DM) below the electroweak (EW) scale within the dark Standard Model effective field theory (DSMEFT). We perform the one-loop matching of the DSMEFT onto the dark low-energy effective field theory (DLEFT) at the EW scale for all relevant operators that couple scalar, fermionic or vector DM, as well as axion-like particles, exclusively to third-generation quarks. After QCD evolution to the relevant low-energy scales, we match the DLEFT onto the non-relativistic EFT for DM-nucleus scattering. This EFT chain provides a unified framework for phenomenological studies of rare $B$- and $K$-meson decays with missing energy, direct and indirect detection, and the thermal relic abundance. Interpreting the Belle II excess in $B^+\to K^+ν\barν$ as a decay into DM, we find that only the DSMEFT operators contributing at tree level can accommodate it with $O(1)$ couplings for a new-physics scale of $1\,\mathrm{TeV}$. The decay $B^0\to K^{*0}+\mathrm{inv}$ provides the strongest constraint over large portions of the Belle II-favoured parameter space, while $K^+\toπ^++\mathrm{inv}$ can dominate at low and $B_s\to\mathrm{inv}$, $B^+\toπ^++\mathrm{inv}$ and $Υ(1S)\to\mathrm{inv}$ become important at high DM masses, respectively. Direct-detection searches by CRESST-III and DarkSide-50 are competitive for operators involving scalar quark currents and, depending on the operator, exclude the Belle~II-favoured band for $m_{\mathrm{DM}}\gtrsim1$-$2\,\mathrm{GeV}$. We also perform detailed analyses of the thermal relic abundance and the indirect-detection constraints from the CMB and Fermi-LAT.

hep-ph↗
arXiv2026

Initialization Stability and Convergence of Projected Langevin Dynamics

The entropic regularized optimal transport (EOT) plays a fundamental role in the computation of optimal transport. In \cite{CLP}, the authors proposed a gradient flow approach to EOT, and derived a projected Langevin diffusion that converges in distribution to the solution of EOT when initialized with a coupling between the two given marginals. In this paper, motivated by samplings of optimal couplings for EOT, we analyze the projected Langevin dynamics with arbitrary initial distribution, and prove that its long time behavior is the same as if it was initialized from a coupling.

math.PR↗
arXiv2026

First-order corrections to equatorial periodic orbits around rapidly rotating black holes in dynamical Chern--Simons gravity

We calculate first-order corrections to the energy, radial period, and circumferential turning radii of equatorial periodic orbits around rapidly rotating black holes in dynamical Chern--Simons (dCS) gravity. Using an analytic fit to the metric correction, we match each orbit to a Kerr reference at fixed dimensionless spin, dimensionless specific angular momentum, and rational periodicity. The period correction combines a direct contribution at fixed energy with compensation from the energy adjustment that preserves periodicity. Their competition produces sign changes across orbital families and reference paths. In a two-parameter scan, negative period corrections are dominated by energy compensation for sampled prograde orbits and by the direct contribution for sampled retrograde orbits. We locate $C_T=0$ boundaries, where the coefficient of the first-order fractional period correction vanishes. Circumferential shifts can differ in sign from coordinate shifts. Numerical kludge waveforms at leading quadrupole order and their discrete spectra connect these corrections to phase accumulation and harmonic frequency shifts. At fixed dimensionless orbital parameters and physical mass of the small body, this phase contribution can be reproduced to first order by rescaling the Kerr mass. For the $C_T=0$ orbit examined here, this contribution is suppressed at equal black hole masses, while corrections to the waveform and spectral amplitudes remain nonzero.

gr-qc↗
arXiv2026

Learning the Autoregressive: Direct Score-Difference Estimation with Amortized Future Credit for Video Distillation

Few-step distillation for autoregressive (AR) video generation commonly first initializes an AR student and then refines it with distribution matching distillation (DMD). This refinement process faces two challenges. First, although initialization already yields a reasonably capable student, DMD obtains the refinement direction indirectly by estimating the full student score before forming the teacher-student correction. Second, detached-history training prevents the generator from assigning credit to a current chunk for its influence on subsequent chunks. We introduce Leta, a few-step distillation framework that addresses these challenges with ScoreDelta and FutureCredit. ScoreDelta directly estimates the teacher-student correction from denoising residuals, while FutureCredit learns an auxiliary cross-chunk update signal from vector-Jacobian products (VJPs) of next-chunk teacher residuals. Leta combines these signals into a joint teacher-guided update field in a single forward pass during generator updates. Teacher evaluations and credit VJPs are used only for estimator training. For ScoreDelta, we establish population equivalence to score-difference estimation and a conditional approximation advantage under limited capacity in a fixed-feature linear model. In our controlled experiments, Leta improves over DMD by 0.9 points on VBench and 0.66 on VideoAlign. This advantage persists at a higher generator update frequency (a generator-to-estimator update ratio of G:E=1:1), where Leta improves over DMD by 1.6 on VBench and 0.35 on VideoAlign. Project page: https://scdzx.github.io/Leta/.

cs.CV↗
arXiv2026

Does the Voynich Manuscript Mean Anything? Calibrated Tests Find Little Trace of Language

The Voynich manuscript is a fifteenth-century book in a script that no one can read. One account holds that its text means nothing and that a scribe made it by copying his own words and changing them a little. The other holds that a real language lies hidden behind a cipher. We write each account as a program that fills the pages of the manuscript, fit every program with the same budget, and check it on statistics the fit never saw. The copying process of Timm and Schinner predicts these statistics far better than any cipher with one key. But ciphers that switch keys between the manuscript's two dialects, or that encode only the word classes of a real text, predict them equally well. Word statistics alone cannot decide. We look for a trace of language that needs no decipherment. In 28 texts in 16 languages the same word pairs keep sharing a line. The manuscript shows this pattern at half the strength of the weakest of these texts. A word code keeps the pattern above the manuscript unless its plaintext has a weak pattern or many words are miscopied. Solvers that decipher control texts find no readable text in the manuscript under a letter cipher, a word code or 28 codes with one letter, letter pair or syllable per word. Word codes of abbreviated Latin, the plaintext their fits prefer, show which word follows which more clearly than the manuscript unless two words in five are miscopied. One cipher remains possible, a nomenclator with a second key whose scribe miscopies more than half of the words, and our solvers cannot exclude it in 9 of 16 languages. Most of the structure a solver finds comes from how the end of one word shapes the start of the next, which reflects how tightly glyphs are bound to each other. Planted messages are found reliably only when they are long, each letter always becomes the same word and these words are adjacent, so other messages could hide.

cs.CL↗
arXiv2026

A 140.5$μ$W, 99.8% Accuracy, 96.1dB SNR BioZ IC for Real-Time Cell Analysis with On-Demand Push-Pull Excitation and Continuous-Time $ΔΣ$ T-D Readout

This paper presents a bioimpedance IC combining an on-demand push-pull driver and continuous-time $ΔΣ$ T-D readout to address the trade-off between SNR, accuracy and power consumption. The driver delivers 200$μ$App with $\leq$0.14% THD while consuming 80.3$μ$A. Using a 6MHz clock, the readout achieves 53.6ps effective timing resolution at a 4k$Ω$ load (0.1-4Hz noise integration). The IC achieves 96.1dB peak SNR, 99.8% magnitude accuracy and 0.13$^{\circ}$ phase error at a maximum power consumption of 140.5$μ$W.

eess.SP↗
arXiv2026

New constraints on holographic dark energy with high-redshift galaxy observations from JWST

Observations of high-redshift galaxies from the James Webb Space Telescope (JWST) provide a complementary probe of early structure formation. Meanwhile, DESI results have provided further indications of possible dynamical dark energy, prompting investigations of theoretically motivated dark energy models. In this work, we investigate holographic dark energy (HDE) and interacting holographic dark energy (IHDE) using JWST ultraviolet luminosity function measurements, cosmic microwave background (CMB) observations from Planck and ACT, DESI DR2 baryon acoustic oscillation measurements, and DES-Dovekie type~Ia supernova data. We find that JWST has little impact on the parameter constraints of $Λ$CDM and HDE but produces more pronounced changes in those of IHDE. For CMB+DESI+DES-Dovekie, adding JWST shifts the holographic parameter $c$ from $1.270^{+0.146}_{-0.096}$ to $1.091\pm0.095$ and the interaction parameter $β$ from $0.650^{+0.104}_{-0.034}$ to $0.498^{+0.090}_{-0.061}$, accompanied by an increase in $Ω_{\rm m}$ and a decrease in $S_8$. For the full data combination, $χ^2_{\rm JWST}$ decreases by approximately $7$ for both HDE and IHDE compared with $Λ$CDM, indicating improved fits to the high-redshift galaxy abundances. Our results highlight the complementary role of high-redshift galaxy observations in probing the HDE and IHDE models.

physics.gen-ph↗
arXiv2026

GPU-Accelerated Belief Propagation for Program Analysis

Belief Propagation (BP) is a widely used approximate inference algorithm in probabilistic graphical models (PGMs), but is computationally expensive when applied to large-scale program analysis. Existing GPU-based approaches are unable to support flexible update strategies and have yet to integrate logical constraints with GPU acceleration, leading to challenges in both generality and efficiency. We present FastLBP, a GPU-accelerated BP framework for program analysis. We propose a unified representation for specifying flexible update strategies required in program analysis, along with a dependency analysis algorithm to enable parallel execution. Furthermore, we implement BP with local structures on GPUs by assigning individual threads to message computations and utilizing a memory-efficient representation. Experiments on SmartFL and BINGO show that FastLBP achieves average speedups of $17.42\times$ and $2.82\times$ over CPU-based approaches on SmartFL and BINGO, respectively, and $6.14\times$ over GPU-based approach on SmartFL, while preserving accuracy. Moreover, FastLBP supports update strategies that existing GPU-based approaches cannot support, demonstrating its improved generality for real-world program analysis.

cs.SE↗
arXiv2026

Stochastic Riccati equations with jumps for indefinite linear-quadratic control: A stochastic value-flow approach

This paper studies the nonlinear matrix-valued stochastic Riccati equation with jumps (SRE-J) arising from indefinite stochastic linear-quadratic optimal control problems with random coefficients and Poisson jumps. We demonstrate that the presence of jumps may cause the matrix-valued optimal state process $\mathbf{X}$ to become singular, even under the standard condition. Consequently, the classical representation $P=\mathbf{Y}\mathbf{X}^{-1}$ used in the diffusion case is generally unavailable. To overcome this difficulty, we construct the Riccati process directly from the stochastic value flow under the uniform convexity condition on the cost functional, an approach that requires no invertibility condition on the jump coefficient. We then prove that the SRE-J admits a maximal strongly regular solution, which yields a closed-loop representation of the unique open-loop optimal control. Furthermore, we establish verifiable sufficient conditions for uniform convexity and provide examples of indefinite stochastic linear-quadratic problems with jumps.

math.OC↗
arXiv2026

Continuous-Time Mean-Variance Portfolio Selection Reinforcement Learning Problems for a Markov Regime-Switching System with No-Shorting Constraints

This paper is the first to study the continuous-time mean-variance portfolio selection problem with no-shorting constraints in a Markov regime-switching market using reinforcement learning (RL). The main challenge stems from the interaction between random regime shifts and portfolio non-negativity constraints, which typically causes the coupled Hamilton-Jacobi-Bellman (HJB) equations to lose smoothness across different state regions. Additionally, directly imposing no-shorting constraints on randomized policies disrupts their analytically tractable Gaussian structure, complicating both exploratory modeling and reinforcement learning. To address these challenges, we propose an auxiliary exploratory approach that limits the policy to a Gaussian distribution and applies the no-shorting constraint solely to its mean. We explicitly characterize the optimal policy for this auxiliary problem and demonstrate that, by appropriately selecting the exploration variance, its optimal mean policy exactly matches the optimal policy of the original constrained mean-variance problem. Building upon this analytical framework, we develop a model-free reinforcement learning algorithm that learns the optimal portfolio policy directly from trajectory data. Numerical experiments support the theoretical results and show that the proposed method can effectively recover the optimal no-shorting portfolio in a regime-switching market.

math.OC↗
arXiv2026

Constraints on interacting dark energy with a constant equation of state in light of DESI DR2: The role of the interaction term

Recent DESI baryon acoustic oscillation (BAO) analyses suggest a preference for an evolving dark energy equation of state (EoS) that crosses the phantom divide $w=-1$. Interactions between dark energy and dark matter can also produce an apparent phantom-divide crossing in the effective dark energy EoS. In this work, we investigate interacting dark energy (IDE) models with a constant EoS parameter $w$, using cosmic microwave background (CMB) observations from Planck, ACT, and SPT, DESI DR2 BAO measurements, and type Ia supernova data from PantheonPlus, DES-Dovekie, and DESY5. We consider four typical forms of the interaction term $Q$. Our results show that the IDE models with $Q\proptoρ_{\rm de}$ generally exhibit a stronger preference for nonzero dark-sector interactions. In particular, for the CMB+DESI+DES-Dovekie data, the IDE model with $Q=βH_0ρ_{\rm de}$ yields $β=-2.52^{+0.80}_{-0.54}$ and $w=-1.510^{+0.170}_{-0.120}$, corresponding to deviations from $β=0$ and $w=-1$ at the $3.2σ$ and $3.0σ$ levels, respectively. Interestingly, the effective EoS of the IDE model with $Q=βH_0ρ_{\rm de}$ exhibits a redshift evolution resembling that of the $w_0w_a$CDM model, crossing the phantom divide. Bayesian evidence further indicates that this IDE model is favored over $Λ$CDM and the other three IDE models. Our analysis helps identify which interaction forms better account for current cosmological observations.

astro-ph.CO↗