arXiv Science⌕ Search

arXiv subjects

Ji Wang

Publications and source records attributed to Ji Wang.

At least 19 recordsLinked to original sources
arXiv2026

A Stellar-Type Dependence in the Rocky and Volatile Composition of Small Exoplanets

We investigate the rocky and volatile composition of small exoplanets by modeling the population-level distribution of densities using a mixture framework that links interior structure models to observable quantities. We analyze three complementary samples spanning different stellar environments: the Luque \& Pall\'e M-dwarf sample, the DACE M-dwarf sample, and the DACE FGK sample. We consider a log-normal parameterization, which captures a characteristic core mass fraction (CMF) and the intrinsic dispersion to describe a single rocky population. The single rocky population inference suggests a higher CMF for small planets around FGK stars than those around M stars by $\sim$16\% (7-11 $\sigma$ depending on sample selection). We also consider a power-law parameterization, which probes clustering near compositional boundaries at CMF=0.32. The power-law parameterization provides an alternative interpretation: 89.9\% to 97.0\% of the planets around FGK stars are rocky whereas up to 61.6\% (ranging from 4.1\% to 61.6\%) of planets around M stars are rocky. In addition, we find that volatile mass fractions are highly concentrated. For example, to describe the DACE M-dwarf sample using a mixture of rocky, water-rich, and gas-rich planets, we find that more than 99.5\% gaseous planets have an atmospheric mass fraction (AMF) $\lesssim 0.01\%$, and more than 55.4\% (82.7\%) gaseous planets have a water mass fraction (WMF) $\lesssim 0.1\%$ ($\lesssim 1\%$). These results suggest that while volatile-bearing planets are common, their composition and prevalence depend strongly on stellar environment, and their volatile inventories are tightly constrained by formation and evolutionary processes.

astro-ph.EP↗
arXiv2026

On the Impact of Correlated Noise and Spectral Resolution on the Retrieval Analysis of the Habitable World Observatory

Finding signs of life elsewhere in the universe is the holy grail of the field of exoplanets. Future space missions such as the Habitable World Observatory (HWO) are under development to search for biosignatures in exoplanets. We investigate the impact of correlated noise and spectral resolution on the retrieved biosignature chemical abundances. At the nominal spectral resolving power R=140 for HWO, we show that in 40\% of the simulated runs the retrieved biosignature (H$_2$O and O$_2$) abundances are at least 1-$\sigma$ off the input ground truth. At R=1000, the 1-$\sigma$ inaccuracy rate drops to 10\%. We provide an empirical relationship between the retrieved biosignature abundance uncertainty and the amplitude of the correlated noise. As part of the mitigation plan to reduce the impact of correlated noise on retrieval accuracy at low spectral resolution, we investigate the synergy between the HWO and LIFE space missions that cover ultraviolet, optical, and thermal-infrared wavelengths. After considering clouds and their effect on planet albedo, we find that the two missions are complementary in that (1) more biosignatures (H$_2$O, CO$_2$, O$_2$, and O$_3$) are detectable with a broader wavelength coverage; (2) retrieval uncertainty improves with the joint HWO+LIFE data set; and (3) LIFE is more sensitive to the atmospheric temperature profile, surface pressure, and planet radius. This work provides evidence to support the choice of a medium resolution at R=1000 instead of R=140 for HWO and a quantitative relationship between the retrieved abundance uncertainty and the level of correlated noise at different spectral resolutions.

astro-ph.EP↗
arXiv2026

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

Pointer analysis is a fundamental technique for compiler optimization and program analysis. Flow-sensitive pointer analysis provides high precision but is difficult to scale to large projects. Tailored for rapid iteration scenarios where software evolves continuously, we introduce IncSFS, the first incremental full-sparse flow-sensitive pointer analysis algorithm for C/C++ programs. IncSFS first transforms the value-flow graph into a constraint graph and performs strongly connected component detection to ensure precision. It then propagates increases and decreases in points-to sets in an interleaved manner, supporting code deletion and insertion within a single analysis pass. IncSFS is guaranteed to terminate and compute the least fixed point when the points-to relation remains object-acyclic during analysis. Experiments on six large-scale real-world projects show that IncSFS is precise and efficient, achieving average speedups of 9.60x over full flow-sensitive pointer analysis and 5.84x over the traditional reset-recompute approach. It also improves efficiency by 15.8% over state-of-the-art incremental pointer analysis algorithms that propagate points-to-set changes.

cs.PL↗
arXiv2026

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference

Loop invariant synthesis is a fundamental problem in program verification, yet the inherent undecidability makes it highly challenging. Recent studies have increasingly employed various machine learning techniques to generate loop invariants. However, most of these methods adopt a monolithic approach. Due to the inability to strictly constrain the learning process, learning-based methods struggle to simultaneously consider all necessary conditions and generate complete invariants when tackling complex problems. In fact, a loop invariant is often an ordered sequence of lemmas, rather than a single invariant formula. This motivates us to propose Incremental ICE, a novel learning framework for incremental synthesis. Our framework integrates the incremental philosophy of IC3 into the general invariant learning framework ICE. By defining a lemma-specific learning objective and introducing a counterexample filtering mechanism, we can achieve sound incremental learning. Under this framework, we instantiate a loop invariant synthesis tool, LimICE, which leverages LLMs to generate the ordered sequence of lemmas and incorporates ICE-DT as a fallback mechanism to complement the lemma sequence. Experiments on 367 linear benchmarks and 50 nonlinear benchmarks demonstrate the effectiveness of the proposed approach. LimICE solves 349 (out of 367) linear problems on an average of 15.2 seconds and 47 (out of 50) nonlinear problems on an average of 8.8 seconds. Compared to the state-of-the-art LLM-based baseline, our approach solves 12-24% more instances while running 36-63% faster across linear and nonlinear benchmarks. LimICE also consistently outperforms strong non-LLM baselines and solves at least 86 and 27 additional instances on the linear and nonlinear benchmarks, respectively.

cs.SE↗
arXiv2026

Commissioning and on-sky performance verification of iLocater

iLocater is a high-resolution near-infrared extreme precision radial velocity (EPRV) spectrograph that was deployed to the Large Binocular Telescope (LBT) in June 2026. iLocater operates over $\lambda=966-1312$ nm with a median resolving power of $R=205,000$ as measured in the laboratory. We present the commissioning and initial on-sky verification program using solar and night-time observations at the LBT. First light was achieved on 27 June 2026, and nearly 150 on-sky spectra have now been recorded. Observations include single stars ranging in spectral type from B5 to M6. iLocater uses the LBT AO system, and we have demonstrated its ability to obtain spatially resolved spectra of close ($\theta < 1''$) binary stars.

astro-ph.IM↗
arXiv2026

Toward Anthropomorphic Dialogue: A Closed-Loop Framework for Human-Like Chat Generation, Evaluation, and Preference Alignment

Human-like private chat requires more than fluent response generation: a system must preserve persona, relationship, memory, bounded knowledge, medium-specific timing, and a coherent multi-turn arc. We present AnthroDial, a closed-loop framework that formulates anthropomorphic dialogue as a joint problem of system architecture, executable evaluation, and diagnostic alignment. It combines (1) a role-conditioned scheduled dialogue runtime with persona and scenario cards, long-term memory, virtual time, and single-draft message decisions; (2) an executable benchmark with an L0 validity gate, five per-turn dimensions, and five dialogue-level dimensions; and (3) a post-training pipeline that filters 16,436 scheduled-decision examples for SFT and applies GRPO with a cognitive-diagnostic, ZPD-aware reward. The reward maintains Kalman-filtered capability estimates for each behavioral dimension, upweights dimensions with larger capability deficits, and uses rollout scores as task-level ZPD matches to focus optimization on learnable weak skills. On a benchmark with 55 personas, 50 scenarios, 50 persona-scenario bindings, and 100 role-conditioned cases per model, we evaluate 16 systems spanning frontier baselines, open models, thinking/no-think variants, and SFT/RL ablations. The strongest non-trained baseline reaches 32.00% strict ACC, while Qwen3.6-27B-SFT+RL reaches 39.00% strict ACC and a 98.5 overall score. In the 9B no-think setting, SFT and RL improve strict ACC from 0.00% to 13.00% and 18.37%. These results show that anthropomorphic dialogue benefits when generation, evaluation, and reward shaping share the same behavioral dimensions.

cs.AI↗
arXiv2026

Benchmark Brown Dwarf Systems I: Chemical Abundance Analysis of FGK Stars with Wide-Separation Brown Dwarf Companions Using PEPSI

We present results from a spectroscopic survey of 32 FGK stars hosting brown dwarfs, using high-resolution optical spectra (R = 130,000 and 50,000) obtained with the PEPSI spectrograph on the Large Binocular Telescope. The primary goal of this survey is to determine precise stellar parameters and abundances for 11 elements (C, O, Mg, Si, Ca, Al, Ti, Fe, Y, S, and N) in these systems. We employ spectral synthesis within the BACCHUS framework to derive precise stellar properties and elemental abundance ratios. For our average S/N $>$ 200 data, we achieve a typical error of 42 K in T$_\mathrm{eff}$ and $\sim$0.03 dex for [Fe/H]. We observe a significant dispersion from a solar C/O ratio among the sample of brown dwarf host stars that host primarily wide-orbit brown dwarfs. Using established theoretical chemical frameworks, we discuss the implications of the observed Mg/Si and Ca/Al ratios for cloud properties in the brown dwarf companions. Finally, we evaluate the applicability of the [Y/Mg] stellar clock for our sample and discuss the broader implications of our results. This work provides a timely and uniform abundance analysis of host stars, supporting extended wavelength brown dwarf observations in the era of JWST.

astro-ph.SR↗
arXiv2026

Atmospheric characterization of six ultra-hot Jupiters from $K$-band high-resolution spectroscopy

We present new Keck/KPIC high-resolution spectroscopic detections of three ultra-hot Jupiters (UHJs) in the $K$ band: WASP-189b ($\rm SNR = 7.2$), MASCARA-1b ($\rm SNR = 8.6$), and TOI-1518b ($\rm SNR = 7.1$), as well as a tentative detection of KELT-9b ($\rm SNR = 5.0$). We perform a uniform set of atmospheric retrieval analysis on these objects, as well as previously reported KPIC observations of WASP-33b ($\rm SNR = 11.2$) and KELT-20b ($\rm SNR = 10.5$), We perform atmospheric retrievals for the pressure-temperature ($P-T$) profile, orbital velocity parameters, $v\sin i$, and abundances of CO, H$_2$O, OH, and Fe, with parameterized mixing profiles to account for the expected vertical abundance variations of H$_2$O and OH. We also perform a set of retrievals assuming chemical equilibrium, which are generally in good agreement with the free retrievals. Except for \knb, the retrieved spectra are dominated by CO emission features, with additional weak H$_2$O or OH features consistent with thermal dissociation of H$_2$O. \knb, which is significantly hotter, appears to have very weak molecular features. Dissociation limits our ability to reliably constrain H$_2$O or OH abundances from $K$ band data alone, resulting in poor constraints on the C/O ratio. For all objects, the atmospheric abundances from detected carbon and oxygen species are $1-10\times$ solar. These results highlight the importance of wide spectral coverage for high-resolution retrievals. Additional observations to expand phase and wavelength coverage are needed to better constrain oxygen species and possible spatial inhomogeneities from dissociation.

astro-ph.EP↗
arXiv2026

FedUP: One-Shot Federated Unlearning via Centroid-Guided Plug-in Filters

Federated unlearning (FU) is critical for complying with legal mandates like the right to be forgotten in decentralized systems, yet current methods face a persistent dilemma between non-target knowledge loss and high request latency. To resolve these issues, we propose FedUP, a one-shot federated unlearning framework utilizing lightweight pluggable filters that act as a "knowledge funnel" to screen out target data while preserving original model performance. By freezing original model parameters and training filters at the server side using differentially private (DP)-protected class centroid samples, FedUP bypasses the need for multi-round client-server communication and complex retraining, reducing unlearning latency from minutes to mere seconds. Additionally, the framework's pluggable architecture ensures inherent reversibility, enabling the seamless restoration of forgotten knowledge by simply removing the filters. Extensive experiments on diverse image and text tasks demonstrate that FedUP effectively reduces non-target knowledge loss and achieves superior unlearning precision and efficiency across various scenarios. Code is available at: https://github.com/suows/FedUP-code.

cs.LG↗
arXiv2026

Energy Efficiency Optimization for Rotatable Antenna-Enabled Uplink NOMA Systems

This paper investigates a rotatable antenna (RA)-enabled uplink non-orthogonal multiple access (NOMA) system, where a base station equipped with multiple independently RAs serves both ground and aerial users. Specifically, we formulate an energy efficiency (EE) maximization problem by jointly optimizing receive beamforming, user power allocation, and RA rotation. To make the problem tractable, a new block coordinate descent-based algorithm is developed, in which the receive beamforming is updated via the minimum mean square error criterion, while the power allocation and RA rotation are handled by fractional programming and successive convex approximation. Numerical results demonstrate the EE superiority of the proposed RA-NOMA scheme over several benchmarks.

cs.IT↗
arXiv2026

Switched Event-Triggered Adaptive Control of Reaction-Diffusion PDE-ODE with Neural Operator Implementation

This paper develops a switched event-triggered adaptive boundary control for a class of reaction-diffusion PDE-ODE cascade systems, where the system and input matrices in the ODE as well as the spatially-varying reaction coefficient in the PDE are uncertain. A two-step backstepping transformation is constructed to derive the continuous-time control law. Then a novel dynamic event-triggered control strategy for the PDE-ODE cascade is proposed based on a switched event-triggering mechanism, ensuring global exponential stability of the closed-loop system in place of the exponential convergence commonly achieved with backstepping-based classical dynamic ETC, while inherently excluding Zeno behavior. To address the uncertainties in the PDE-ODE cascade, adaptive update laws are developed, leading to time-varying gain kernels that are adaptively scheduled through the event-triggered control mechanism. Furthermore,to facilitate efficient real-time implementation, deep neural operators (DeepONet) are employed to approximate the backstepping kernels as mappings from the estimated parameters to kernel functions, thereby eliminating the need to repeatedly solve kernel PDEs online. Through a Lyapunov analysis that incorporates the effects of the event-triggering mechanism, parameter adaptation, and kernel approximation errors, we prove the $L^2$ global asymptotic regulation of the resulting closed-loop system. In summary, the key contributions of the paper are threefold: (i) developing an adaptive DeepONet-based framework for reaction-diffusion PDE-ODE cascade systems; (ii) extending the existing adaptive event-triggered control design for reaction-diffusion PDEs to the case with more complex uncertainties; and (iii) generalizing switched dynamic ETC with global exponential stability to PDE-ODE cascades. The effectiveness of the proposed approach is demonstrated through numerical simulations.

math.OC↗
arXiv2026

LER-YOLO: Reliability-Aware Expert Routing for Misaligned RGB-Infrared UAV Detection

Detecting small unmanned aerial vehicles from RGB-infrared remote-sensing pairs remains challenging due to tiny target scale, cluttered backgrounds, and spatial misalignment between heterogeneous sensors. Existing bimodal detectors often align or fuse features without assessing the reliability of local cross-sensor correspondence, allowing mismatch artifacts to propagate into the detection head. To address this issue, we propose LER-YOLO, a reliability-aware sparse mixture-of-experts framework for misaligned RGB-infrared UAV detection. LER-YOLO first introduces an Uncertainty-Aware Target Alignment module that resamples visible features toward the infrared reference and estimates a spatial reliability map. This reliability prior is then used by a Reliability-Guided Sparse MoE Fusion module to adaptively select k experts from RGB-dominant, infrared-dominant, and interactive fusion experts, enabling trustworthy cross-modal interaction while suppressing unreliable fusion. Experiments on the public MBU benchmark under a YOLOv5s-family protocol show that LER-YOLO achieves 89.7+/-0.2% AP50 over three independent seeds, with a best result of 89.9%. Extensive ablations, parameter-matched comparisons, synthetic-shift evaluations, and complexity analysis demonstrate that the gains mainly come from reliability-guided expert routing rather than increased model capacity.

cs.CV↗
arXiv2026

Movable Antenna-Aided Secure LEO Satellite Networks: Joint Antenna Position and Beamforming Optimization

The broadcast characteristics of sixth-generation (6G) low-earth orbit (LEO) satellite communications raise serious security issues. Movable antenna (MA) technology offers a promising physical layer security (PLS) solution by flexibly reconfiguring antenna positions to exploit additional spatial degrees of freedom. However, in highly dense LEO satellite constellations, the legitimate satellite and potential eavesdropping satellites may exhibit small angular separations, which poses significant challenges for the design of secure transmission schemes. To address this challenge, this paper proposes an MA-assisted secure transmission scheme for time-varying LEO satellite communications, where a ground station equipped with an MA array communicates with a serving satellite, while the other visible satellites are regarded as potential eavesdroppers. We maximize the average secrecy rate by jointly optimizing the transmit beamforming and MA positions. An alternating optimization (AO) framework is developed, where semidefinite relaxation is adopted for the beamforming optimization subproblem, while high-accuracy successive convex approximation (SCA) and low-complexity differential evolution (DE) algorithms are proposed for the MA position optimization subproblem. Numerical results demonstrate that the proposed MA-assisted LEO secure transmission scheme consistently achieves superior performance compared to the conventional fixed-position antenna scheme.

cs.IT↗
arXiv2026

Rapid Vibration Suppression and Trajectory Tracking of a Serial Manipulator with Multi-Flexible Links

Flexible robotic manipulators (FRMs) offer advantages in lightweight design and large workspace, but their structural flexibility induces vibrations, accelerates fatigue, degrades tracking performance, and limits operational speed. These challenges are further amplified in multi-link serial manipulators, where increased overall length leads to greater structural flexibility. This article presents a backstepping output-feedback framework for fast vibration suppression and tip tracking of an n-degree-of-freedom serial flexible manipulator robot (nDSFMR), with a DeepONet-based approximation for practical deployment. Each link-joint is modeled as a Timoshenko beam coupled with an ODE and transformed into a canonical hyperbolic PDE with boundary dynamics. A backstepping-based boundary controller at the joint is developed to equivalently inject distributed damping along the beam, enabling rapid vibration suppression and trajectory tracking, only using available boundary measurements. To enable real-time implementation and scalability, a DeepONet neural operator is introduced to approximate the backstepping kernels, significantly reducing computational cost and facilitating fast controller updates under varying operating conditions. Experiments on a two-link flexible manipulator demonstrate faster vibration suppression and convergence of the end-effector to the desired trajectory, compared with a linear quadratic regulator (LQR) with feedforward control.

cs.RO↗
arXiv2026

Performance Analysis of Fluid Antenna-Assisted Over-the-Air Federated Learning Under Spatially Correlated Fading

Fluid antenna (FA) technology has recently emerged as an effective means of exploiting spatial diversity through position-domain reconfigurability. This paper investigates the integration of FA into over-the-air federated learning (OTA-FL) systems with the aim of improving aggregation reliability and user participation under realistic channel conditions. By dynamically selecting antenna positions, FA-equipped users can exploit additional spatial degrees of freedom to realize more favorable channel conditions, thereby increasing the probability of successful contribution to the OTA aggregation process in each communication round. We consider an uplink OTA-FL framework consisting of a single fixed-antenna access point and multiple FA-enabled users operating over spatially correlated fading channels. Unlike existing studies that primarily rely on optimization-based designs or numerical evaluations, we develop a tractable analytical framework that enables a rigorous performance characterization of FA-assisted OTA-FL. In particular, closed-form expressions are derived for the aggregation error outage probability and the expected number of participating users per round. Spatial channel correlation across FA ports is modeled using a copula-based approach, where the Clayton copula is adopted to capture lower-tail dependence relevant to worst-case fading conditions. Numerical results validate the analytical findings and demonstrate that FA-assisted OTA-FL significantly outperforms conventional fixed-antenna schemes in terms of aggregation reliability and participation efficiency, while providing insights under practical system considerations.

eess.SP↗
arXiv2026

Robust Resource Allocation in RIS-Assisted Wireless Networks Integrating NOMA and Over-the-Air Federated Learning

This paper addresses the critical issue of spectrum scarcity and the need to support diverse services, including communication and learning tasks, by presenting a reconfigurable intelligent surface (RIS)-aided wireless network framework that integrates non-orthogonal multiple access (NOMA) with over-the-air federated learning (AirFL). The proposed system leverages the ability of RIS to adaptively shape wireless channels, aiming to enhance overall network performance for both communication and learning through concurrent uplink transmissions. To tackle critical challenges such as co-channel interference, imperfect channel state information (CSI), and successive interference cancellation (SIC), we develop an optimization framework that focuses on minimizing the optimality gap. This joint optimization is formulated as a non-convex problem, complicated by the intricate interactions between NOMA and AirFL users as well as the impact of imperfect CSI and SIC. To overcome these challenges and reduce the optimality gap, we reformulate the optimization problem as a Markov decision process and solve it using a long short-term memory deep deterministic policy gradient (LSTM-DDPG) algorithm, a memory-based approach within deep reinforcement learning (DRL). Simulation results demonstrate that the proposed approach achieves faster convergence, lower variance, and improved robustness under channel uncertainty, outperforming baseline DRL algorithms such as DDPG, soft actor-critic (SAC), and advantage actor-critic (A2C).

eess.SP↗
arXiv2026

Characterizing Earth analogs may require a moderate or high-resolution spectrograph

A primary goal of the Habitable Worlds Observatory (HWO) is to detect and measure the abundance of biosignature molecules, such as water (H2O) and oxygen (O2), in the atmosphere of Earth analogs. This is expected to require deep spectroscopic observations lasting hundreds of hours per planet. In this context, it is essential to optimize the spectral resolution of the spectrograph to both maximize the number of planets that can be studied over the lifetime of the mission, and also to reduce the risks of false detections. The purpose of this work is to provide a framework to explore the spectral resolution design trade-space for HWO. This framework must be valid and comparable across all spectral resolutions from low (R<100) to high resolutions (R>10,000), and account for the spectral correlation of the residual starlight (i.e., speckle noise chromaticity). Leveraging the concept of "template matching", we develop a simulation toolkit based on the Python package EXOSIMS to compute the detection significance of planets and molecules. We then simulate observations of Earth analogs around 164 stars using representative mission parameters to explore the effects of the detector noise and the correlated speckle noise floor. Our findings suggest that a moderate or high resolution spectrograph (R>1,000) will provide higher sensitivity to critical molecules compared to a low resolution spectroscopy mode (e.g., R~140). The correlated speckle noise may also entirely suppress our ability to detect bio-signatures at low spectral resolutions. We conclude that a more comprehensive study combined with detailed models of its stability, and other sources of correlated noise, is necessary to fully explore the trade space of spectral resolution and detectability of key species.

astro-ph.IM↗
arXiv2026

Optimal Stability of KL Divergence under Gaussian Perturbations

We study the problem of characterizing the stability of Kullback-Leibler (KL) divergence under Gaussian perturbations beyond Gaussian families. Existing relaxed triangle inequalities for KL divergence critically rely on the assumption that all involved distributions are Gaussian, which limits their applicability in modern applications such as out-of-distribution (OOD) detection with flow-based generative models. In this paper, we remove this restriction by establishing a sharp stability bound between an arbitrary distribution and Gaussian families under mild moment conditions. Specifically, let $P$ be a distribution with finite second moment, and let $\mathcal{N}_1$ and $\mathcal{N}_2$ be multivariate Gaussian distributions. We show that if $KL(P||\mathcal{N}_1)$ is large and $KL(\mathcal{N}_1||\mathcal{N}_2)$ is at most $\epsilon$, then $KL(P||\mathcal{N}_2) \ge KL(P||\mathcal{N}_1) - O(\sqrt{\epsilon})$. Moreover, we prove that this $\sqrt{\epsilon}$ rate is optimal in general, even within the Gaussian family. This result reveals an intrinsic stability property of KL divergence under Gaussian perturbations, extending classical Gaussian-only relaxed triangle inequalities to general distributions. The result is non-trivial due to the asymmetry of KL divergence and the absence of a triangle inequality in general probability spaces. As an application, we provide a rigorous foundation for KL-based OOD analysis in flow-based models, removing strong Gaussian assumptions used in prior work. More broadly, our result enables KL-based reasoning in non-Gaussian settings arising in deep learning and reinforcement learning.

cs.LG↗