arXiv subjects

Zhen Zhang

Publications and source records attributed to Zhen Zhang.

At least 127 records · Page 7Linked to original sources

arXiv2026

Reduced Optical Gain Threshold by Carrier Multiplication in Semiconductor Perovskite Nanocrystals

Carrier multiplication (CM) describes a strong charge-carrier interaction process in semiconductor colloidal nanocrystals (NCs), wherein two band-edge excitons are simultaneously created by an absorbed photon with at least twice the bandgap energy (2 Eg). While being fundamentally intriguing, it has been exclusively utilized to enhance the light-to-electricity conversion efficiencies in the photodetector and solar-cell devices. In this report, we have synthesized the core/shell perovskite FAPbI3/NdF3 NCs with a biexciton recombination lifetime of ~3.9 ns, and demonstrated that a CM efficiency of ~25.7% can be achieved under the ~355 nm laser excitation (~2.21 Eg). This CM occurrence leads to a two-fold reduction in the optical gain threshold, as compared to that obtained under the ~640 nm laser excitation (~1.23 Eg). When combined with the single-exciton and zero-threshold optical gain schemes previously developed for semiconductor colloidal NCs, the CM effect introduced here would further mitigate the optical-pumping requirement for the routine operation of continuous-wave lasing.

physics.optics↗

arXiv2026

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators

Data-driven reachability analysis enables safety verification when first-principles models are unavailable. This requires constructing sets of system models consistent with measured trajectories and noise assumptions. Existing approaches rely on zonotopic or box-based approximations, which do not fit the geometry of common noise distributions such as Gaussian disturbances and can lead to significant conservatism, especially in high-dimensional settings. This paper builds on ellipsotope-based representations to introduce mixed-norm uncertainty sets for data-driven reachability. The highest-density region defines the exact minimum-volume noise confidence set, while Constrained Convex Generators (CCG) and their matrix counterpart (CMCG) provide compatible geometric representations at the noise and parameter level. We show that the resulting CMCG coincides with the maximum-likelihood confidence ellipsoid for Gaussian disturbances, while remaining strictly tighter than constrained matrix zonotopes for mixed bounded-Gaussian noise. For non-convex noise distributions such as Gaussian mixtures, a minimum-volume enclosing ellipsoid provides a tractable convex surrogate. We further prove containment of the CMCG times CCG product and bound the conservatism of the Gaussian-Gaussian interaction. Numerical examples demonstrate substantially tighter reachable sets compared to box-based approximations of Gaussian disturbances. These results enable less conservative safety verification and improve the accuracy of uncertainty-aware control design.

eess.SY↗

arXiv2026

PINNs in PDE Constrained Optimal Control Problems: Direct vs Indirect Methods

We study physics-informed neural networks (PINNs) as numerical tools for the optimal control of semilinear partial differential equations. We first recall the classical direct and indirect viewpoints for optimal control of PDEs, and then present two PINN formulations: a direct formulation based on minimizing the objective under the state constraint, and an indirect formulation based on the first-order optimality system. For a class of semilinear parabolic equations, we derive the state equation, the adjoint equation, and the stationarity condition in a form consistent with continuous-time Pontryagin-type optimality conditions. We then specialize the framework to an Allen-Cahn control problem and compare three numerical approaches: (i) a discretize-then-optimize adjoint method, (ii) a direct PINN, and (iii) an indirect PINN. Numerical results show that the PINN parameterization has an implicit regularizing effect, in the sense that it tends to produce smoother control profiles. They also indicate that the indirect PINN more faithfully preserves the PDE contraint and optimality structure and yields a more accurate neural approximation than the direct PINN.

math.OC↗

arXiv2026

Disentangling electronic and phononic contributions to high-temperature superconductivity in X2MH6 hydrides

Understanding the factors that control superconductivity is essential for discovering new superconducting materials using high-throughput elemental substitution. Focusing on the recently predicted ambient-pressure superconducting X2MH6 family, we disentangle the phononic and electronic contributions to Tc to determine how isoelectronic substitution alters superconductivity. While substitution affects both phononic and electronic properties, the electronic contribution plays the dominant role in determining Tc in the X2MH6 family. We show that the electronic contribution is affected by three key factors: the X-H bond distance, the electron localization function networking value of hydrogen, and the hydrogen-projected density of states at the Fermi level. A combined figure of merit derived from these parameters exhibits a robust correlation with Tc across the family. We further show that pressure produces competing effects on superconductivity: it enhances the electronic contribution by shortening X-H bonds, but simultaneously weaken the phononic contribution by increasing phonon frequencies. The net pressure dependence of Tc therefore results from the balance between these opposing tendencies. By disentangling and analyzing the electronic and phononic mechanisms, this work provides comprehensive insight into superconductivity in X2MH6 hydrides and offers practical guidance for designing new high-Tc hydride superconductors.

cond-mat.supr-con↗

arXiv2026

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation

This paper studies deterministic data-driven reachability analysis for dynamical systems with unknown dynamics and nonconvex reachable sets. Existing deterministic data-driven approaches typically employ zonotopic set representations, for which the multiplication between a zonotopic model set and a zonotopic state set cannot be represented algebraically exactly, thereby necessitating over-approximation steps in reachable-set propagation. To remove this structural source of conservatism, we introduce constrained polynomial matrix zonotopes (CPMZs) to represent data-consistent model sets, and show that the multiplication between a CPMZ model set and a constrained polynomial zonotope (CPZ) state set admits an algebraically exact CPZ representation. This property enables set propagation entirely within the CPZ representation, thereby avoiding propagation-induced over-approximation and even retaining the ability to represent nonconvex reachable sets. Moreover, we develop set-theoretic results that enable the intersection of data-consistent model sets as new data become available, yielding the proposed online refinement scheme that progressively tightens the data-consistent model set and, in turn, the resulting reachable set. Beyond linear systems, we extend the proposed framework to polynomial dynamics and develop additional set-theoretic results that enable both model-based and data-driven reachability analysis within the same algebraic representation. By deriving algebraically exact CPZ representations for monomials and their compositions, reachable-set propagation can be carried out directly at the set level without resorting to interval arithmetic or relaxation-based bounding techniques. Numerical examples for both linear and polynomial systems demonstrate a significant reduction in conservatism compared to state-of-the-art deterministic data-driven reachability methods.

eess.SY↗

arXiv2026

Pulsar scintillation studies with LOFAR III. Annual variations in PSR~J0814$+$7429

The interstellar scintillation observed in radio pulsars arises from interference between electromagnetic waves scattered by electron density fluctuations in the turbulent interstellar plasma, providing a critical tool for probing the small-scale structure of the ionized interstellar medium and the pulsar system itself. The primary aim of this work is to study long-term scintillation variations for a bright and nearby pulsar, PSR J0814$+$7429, carried out from 2013 September to 2023 September with the LOw-Frequency ARray (LOFAR) High Band Antennae in the frequency range of 120 - 170 MHz. We derive the basic scintillation parameters, scintillation bandwidth ($Δν_{\rm d}$) and scintillation timescale ($Δτ_{\rm d}$), from the two-dimensional (2D) auto-covariance function of the dynamic spectra that are a 2D matrix of pulse intensity as a function of time and frequency. We present the long-term monitoring of $Δν_{\rm d}$ and $Δτ_{\rm d}$ for PSR J0814$+7429$, which shows a strong annual variation in the time series of the $Δτ_{\rm d}$. From our modeling of the annual variations of scintillation velocities, the scattering screen is anisotropic and located at $0.23\pm0.02$ kpc from the Earth, likely corresponding to the boundary of the Local Bubble.

astro-ph.HE↗

arXiv2026

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data

Data-driven reachability analysis provides guaranteed outer approximations of reachable sets from input-state measurements, yet each propagation step requires a matrix-zonotope multiplication whose cost grows with the horizon length, limiting scalability. We observe that data-driven propagation is inherently step-size sensitive, in the sense that set-valued operators at different discretization resolutions yield non-equivalent reachable sets at the same physical time, a property absent in model-based propagation. Exploiting this multi-resolution structure, we propose Interpolated Reachability Analysis (IRA), which computes a sparse chain of coarse anchor sets sequentially and reconstructs fine-resolution intermediate sets in parallel across coarse intervals. We derive a fully data-driven coarse-noise over-approximation that removes the need for continuous-time system knowledge, prove deterministic outer-approximation guarantees for all interpolated sets, and establish conditional tightness relative to the fine-resolution chain. To replace the remaining matrix-zonotope multiplications in the fine phase, we further develop Transformer-Accelerated IRA (TA-IRA), where an encoder-decoder Transformer is calibrated via split conformal prediction to provide finite-sample pointwise and path-wise coverage certificates. Numerical experiments on a five-dimensional linear system confirm the theoretical guarantees and demonstrate significant computational savings.

eess.SY↗

arXiv2026

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets

This paper presents a data-driven tube-based zonotopic predictive control (DTZPC) framework with nonconvex layered terminal sets. Existing DTZPC schemes with closed-loop guarantees typically rely on a single ellipsoidal terminal set, which can be conservative and thereby limit feasibility. We propose a layered terminal-set design that decouples stability certification, feasibility enlargement, and motion-region screening into three components with distinct roles. First, an offline-designed feedback gain together with a contractive constrained zonotope provides a terminal ingredient for stability certification, while avoiding probabilistic feedback synthesis in high-dimensional DTZPC. Second, we derive a data-driven characterization of the inverse admissible closed-loop model set, avoiding the conservatism of interval-matrix relaxation and inversion. Combined with exact set multiplication, this yields inner and outer approximations of the maximal robust positively invariant (MRPI) set under fixed closed-loop dynamics. The inner approximation serves as a nonconvex terminal set to enlarge feasibility, whereas the outer approximation provides certified motion-region descriptions for fast screening and monitoring. Numerical examples demonstrate tighter inverse-set enclosures and improved feasibility over existing convex-terminal DTZPC schemes.

math.OC↗

arXiv2026

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees

This paper considers output reachability analysis for linear time-invariant systems with unknown state-space matrices and unknown observation map, given only noisy input-output measurements. The Cayley--Hamilton theorem is applied to eliminate the latent state algebraically, producing an autoregressive input-output model whose parameter uncertainty is enclosed in a matrix zonotope. Set-valued propagation of this model yields output reachable sets with deterministic containment guarantees under a bounded aggregated residual assumption. The conservatism inherent in the lifted matrix-zonotope product is then mitigated by a decoder-only Transformer trained on labels obtained through directional contraction of the formal envelope via an exterior non-reachability certificate. Split conformal prediction restores distribution-free coverage at both per-step and trajectory levels without access to the true reachable-set hull. The framework is validated on a five-dimensional system with multiple unknown observation matrices.

eess.SY↗

arXiv2026

GECAM discovery of a peculiar magnetar X-ray burst (MXB 221120) from SGR J1935+2154 associated with a fast radio burst

Fast radio bursts (FRBs) are enigmatic cosmic transients of millisecond duration observed in the radio band. The identification of FRB-associated magnetar X-ray bursts (MXBs) from galactic magnetar SGR J1935+2154 suggests that at least a fraction of FRBs can be produced from magnetar activity. However, the sample size of FRB-associated MXBs is still very small. Here we report a bright and peculiar FRB-associated MXB from SGR J1935+2154 detected by GECAM on November 20, 2022, dubbed MXB 221120. We find that both temporal and spectral properties of MXB 221120 exhibit distinctive features. Its light curve could be generally described by a single FRED function with superposition of several narrow pulses. Interestingly, we identify a possible QPO feature with center frequency of ~18 Hz in this MXB. The time-integrated spectrum is best fitted by a blackbody model with temperature (kT ) of 18.6 keV, rendering it the first thermal spectrum FRB-associated MXB from SGR J1935+2154. Compared to other MXBs with single emission episode, MXB 221120 has longer duration and higher blackbody temperature, making it an outlier in the burst sample. These results indicate that MXB 221120 may be produced by a special mechanism with extreme physical conditions.

astro-ph.HE↗

arXiv2026

When Users Change Their Mind: Evaluating Interruptible Agents in Long-Horizon Web Navigation

As LLM agents transition from short, static problem solving to executing complex, long-horizon tasks in dynamic environments, the ability to handle user interruptions, such as adding requirement or revising goals, during mid-task execution is becoming a core requirement for realistic deployment. However, existing benchmarks largely assume uninterrupted agent behavior or study interruptions only in short, unconstrained language tasks. In this paper, we present the first systematic study of interruptible agents in long-horizon, environmentally grounded web navigation tasks, where actions induce persistent state changes. We formalize three realistic interruption types, including addition, revision, and retraction, and introduce InterruptBench, a benchmark derived from WebArena-Lite that synthesizes high-quality interruption scenarios under strict semantic constraints. Using a unified interruption simulation framework, we evaluate six strong LLM backbones across single- and multi-turn interruption settings, analyzing both their effectiveness in adapting to updated intents and their efficiency in recovering from mid-task changes. Our results show that handling user interruptions effectively and efficiently during long-horizon agentic tasks remains challenging for powerful large-scale LLMs. Code and dataset are available at https://github.com/HenryPengZou/InterruptBench.

cs.CL↗

arXiv2026

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions

Safety-critical control of piecewise affine (PWA) systems under bounded additive disturbances requires guarantees not for individual states but for entire state sets simultaneously: a single control action must steer every state in the set toward a target, even as sets crossing mode boundaries split and evolve under distinct affine dynamics. Certifying such set convergence via neural Lyapunov functions couples the Lipschitz constants of the value function and the policy, yet certified bounds for expressive networks exceed true values by orders of magnitude, creating a certification barrier. We resolve this through a three-stage pipeline that decouples verification from the policy. A value function from Hamilton-Jacobi backward reachability, trained via reinforcement learning, is the Lyapunov candidate. A permutation-invariant Deep Sets controller, distilled via regret minimization, produces a common action. Verification propagates zonotopes through the value network, yielding verified Lyapunov upper bounds over entire sets without bounding the policy Lipschitz constant. On four benchmarks up to dimension six, including systems with per-mode operator norms exceeding unity, the framework certifies set convergence with positive margin on every system. A spectrally constrained local certificate completes the terminal guarantee, and the set-actor is the only tested method to achieve full strict set containment, at constant-time online cost.

eess.SY↗

arXiv2026

Metallic d-wave altermagnetism in WFeB: a platform for electrically switchable perpendicular spin-splitter response

We report the synthesis and magnetic characterization of WFeB and identify it as a metallic d-wave altermagnet representative of a broader TiNiSi-type family. Neutron diffraction, Mössbauer spectroscopy, and magnetometry establish a collinear altermagnetic ordering confirmed by first-principles calculations. The electronic structure shows a nonrelativistic spin splitting of approximately 100 meV, but it also supports a strong spin-splitter transport response. This demonstrates that efficient spin-current generation can occur even with such modest band splitting. Symmetry analysis shows that selected film orientations permit deterministic switching of the Néel vector by current-induced staggered torques, enabling electrical control of a perpendicular spin-splitter response. These results establish WFeB and related TiNiSi-type antiferromagnets as a platform for electrically switchable charge-to-spin conversion driven by altermagnetic symmetry.

cond-mat.mtrl-sci↗

arXiv2026

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

Recent progress in deep research systems has been impressive, but evaluation still lags behind real user needs. Existing benchmarks predominantly assess final reports using fixed rubrics, failing to evaluate the underlying research process. Most also offer limited multimodal coverage, rely on synthetic tasks that do not reflect real-world query complexity, and cannot be refreshed as knowledge evolves. To address these gaps, we introduce MiroEval, a benchmark and evaluation framework for deep research systems. The benchmark comprises 100 tasks (70 text-only, 30 multimodal), all grounded in real user needs and constructed via a dual-path pipeline that supports periodic updates, enabling a live and evolving setting. The proposed evaluation suite assesses deep research systems along three complementary dimensions: adaptive synthesis quality evaluation with task-specific rubrics, agentic factuality verification via active retrieval and reasoning over both web sources and multimodal attachments, and process-centric evaluation audits how the system searches, reasons, and refines throughout its investigation. Evaluation across 13 systems yields three principal findings: the three evaluation dimensions capture complementary aspects of system capability, with each revealing distinct strengths and weaknesses across systems; process quality serves as a reliable predictor of overall outcome while revealing weaknesses invisible to output-level metrics; and multimodal tasks pose substantially greater challenges, with most systems declining by 3 to 10 points. The MiroThinker series achieves the most balanced performance, with MiroThinker-H1 ranking the highest overall in both settings. Human verification and robustness results confirm the reliability of the benchmark and evaluation framework. MiroEval provides a holistic diagnostic tool for the next generation of deep research agents.

cs.AI↗

arXiv2026

Comprehensive Measurement of Spectral Evolution in a GRB Flare: High Time-Resolution Insights into the "Double-Tracking" Phenomenon

The spectral evolution characteristics of the prompt emission in gamma-ray bursts (GRBs) have been extensively studied, but detailed investigations of spectral evolution in a GRB flare remain lacking. In this work, we present the first analysis of spectral parameter evolution in a GRB flare through high time-resolved spectral fitting of the Brightest Flare in GRB 221009A. We find that the $α$-Flux, $E_p$-Flux, and $E_p$-$α$ relationships during both the overall phase and the rise phase of flare can be well described by simple power-law model, showing positive correlations. Therefore, we conclude that Brightest Flare exhibits "Double-tracking" behavior. Since values of $α$ do not exceed the synchrotron "death line" (-2/3), we explain this phenomenon using a magnetic dissipation synchrotron radiation model. In the decay phase of flare, the $E_p$-Flux and $E_p$-$α$ correlations become notably flatter, with their power-law indices decreasing significantly compared to those in the rise phase. This may be due to the fact that the next flare begins to erupt before the Brightest Flare has completely ended, resulting in the combined effects of both two flares. Our study of spectral parameter relations of the Brightest Flare provides new insights into the radiation mechanisms of both GRB prompt emission and flares.

astro-ph.HE↗

arXiv2026

AgentSwing: Adaptive Parallel Context Management Routing for Long-Horizon Web Agents

As large language models (LLMs) evolve into autonomous agents for long-horizon information-seeking, managing finite context capacity has become a critical bottleneck. Existing context management methods typically commit to a single fixed strategy throughout the entire trajectory. Such static designs may work well in some states, but they cannot adapt as the usefulness and reliability of the accumulated context evolve during long-horizon search. To formalize this challenge, we introduce a probabilistic framework that characterizes long-horizon success through two complementary dimensions: search efficiency and terminal precision. Building on this perspective, we propose AgentSwing, a state-aware adaptive parallel context management routing framework. At each trigger point, AgentSwing expands multiple context-managed branches in parallel and uses lookahead routing to select the most promising continuation. Experiments across diverse benchmarks and agent backbones show that AgentSwing consistently outperforms strong static context management methods, often matching or exceeding their performance with up to $3\times$ fewer interaction turns while also improving the ultimate performance ceiling of long-horizon web agents. Beyond the empirical gains, the proposed probabilistic framework provides a principled lens for analyzing and designing future context management strategies for long-horizon agents.

cs.CL↗

arXiv2026

Advanced Control of Electron Beams: Tailoring X-ray Production with Programmable Laser Shaping

Leveraging the full scientific capabilities of next-generation high-repetition-rate free-electron lasers requires programmable control over electron-beam properties at their source. The photoinjector drive laser defines the electron beam's initial six-dimensional phase-space distribution, yet has historically been limited to Gaussian or static flat-top profiles, with most manipulation occurring downstream. Here we demonstrate software-programmable ultraviolet pulse shaping at the LCLS-II photoinjector as a source-level actuator that complements traditional accelerator controls. Using a coupled architecture combining dispersion-controlled nonlinear frequency conversion with spatial-light-modulator spectral shaping, we generate user-defined temporal structures and observe their imprint on electron bunches through high-resolution time-domain diagnostics. Laser-imposed multi-peaked modulation persists through acceleration, magnetic compression, and undulator transport with shot-to-shot repeatability, producing clearly resolved current structure in the compressed beam. Variance-based reconstruction from transverse deflecting cavity measurements reveals structured X-ray emission profiles exhibiting temporal features consistent with the programmed laser waveform. By providing rapid, software-controlled reconfiguration of electron-beam initial conditions, this source-level control approach establishes a programmable upstream actuator for future adaptive optimization and autonomous facility operation at high-repetition-rate light sources.

physics.acc-ph↗

arXiv2026

Conformalized Data-Driven Reachability Analysis with PAC Guarantees

Data-driven reachability analysis computes over-approximations of reachable sets directly from noisy data. Existing deterministic methods require either known noise bounds or system-specific structural parameters such as Lipschitz constants. We propose Conformalized Data-Driven Reachability (CDDR), a framework that provides Probably Approximately Correct (PAC) coverage guarantees through the Learn Then Test (LTT) calibration procedure, requiring only that calibration and test trajectories be independently and identically distributed. CDDR is developed for three settings: linear time-invariant (LTI) systems with unknown process noise distributions, LTI systems with bounded measurement noise, and general nonlinear systems including non-Lipschitz dynamics. Experiments on a 5-dimensional LTI system under Gaussian and heavy-tailed Student-t noise and on a 2-dimensional non-Lipschitz system with fractional damping demonstrate that CDDR achieves valid coverage where deterministic methods do not provide formal guarantees. Under anisotropic noise, a normalized score function reduces the reachable set volume while preserving the PAC guarantee.

eess.SY↗