arXiv subjects

Xu Zhang

Publications and source records attributed to Xu Zhang.

At least 37 records · Page 2Linked to original sources

arXiv2026

Verifiable constraint qualifications for infinite-dimensional optimization problems and their applications to optimal control problems

This paper employs a finite codimensionality condition to establish an enhanced Fritz John condition for general constrained nonlinear infinite-dimensional optimization problems. In applications, this approach provides a new, unified framework for deriving first-order necessary conditions across a broad class of optimal control problems involving both deterministic and stochastic systems. Compared to existing constraint qualifications, our finite codimensionality condition, which is equivalent to the validity of certain \textit{a priori} estimates, yields a direct and analytically tractable verification method for each application. Furthermore, the core ideas of this method can be further extended to investigate the KKT conditions for infinite-dimensional optimization problems.

math.OC↗

arXiv2026

Relevance-Resolution Transfer via Scale-Decomposable Fractional Diffusion for Multi-Length Cross-Modal Hash Retrieval

Cross-modal hashing enables efficient retrieval by encoding heterogeneous data into compact binary codes. Recent methods exploit fine-grained relations encoded in multi-label training structure, yet none of them constrains how those relations survive as consistent candidate rankings in finite, multi-length Hamming spaces, which we term the relevance resolution bottleneck (RRB). To address the RRB, we propose MultiBit, which transfers relevance resolution from multi-label structure to multi-length Hamming spaces. MultiBit first constructs a scale-decomposable fractional relation teacher from dataset-level label co-occurrence and label specificity, and models dependencies from local to long-range over continuous diffusion scales. It then maps the discretized diffusion scales and their quadrature weights to scale-aware bit subblocks of the maximum-length code, organizes the target code lengths as nested prefixes, and aligns their Hamming candidate rankings with the teacher relations. Experiments on multiple benchmarks demonstrate improved retrieval accuracy. Code is available in the supplementary material.

cs.IR↗

arXiv2026

IChart2Code: Benchmarking Multimodal Large Language Models for Interactive Chart Code Generation

Interactive chart code generation requires models to reproduce a reference chart's appearance and underlying data and correctly implement the state changes triggered by specified user interactions. Existing chart-to-code benchmarks focus on static outputs and lack task representations or evaluation protocols for interaction specification, browser execution, and post-interaction verification. We introduce IChart2Code, a benchmark comprising 377 tasks across 20 chart forms and 13 data families, with 1209 interaction requirements in six families. Each task provides a reference screenshot, task-local data, and natural-language interaction requirements, with executable HTML/JavaScript code as the target output. We further develop a browser-based evaluation protocol with an Executability gate and three rubric-guided dimensions: Data Fidelity, Static Visual Correctness, and Interaction Correctness. The protocol tests runtime viability, consistency with task-local data, fidelity of the initial rendering to the reference screenshot, and interaction-induced state changes in a sandboxed browser. A rubric-guided MLLM judge evaluates task-specific items for the three scored dimensions using the collected browser observations and achieves an overall item-level F1 score of 0.8844 against adjudicated human labels. We also propose TRAIL, a trajectory-guided dual-agent framework for interactive chart code generation. An Inspector derives task-specific inspection checks, executes them in the browser, and uses the resulting trajectories to diagnose failures and produce structured repair feedback. Averaged across four MLLMs, TRAIL improves the four evaluation dimensions over direct prompting by 7.89, 4.98, 3.45, and 4.47 percentage points, respectively.

cs.SE↗

arXiv2026

Weak mixing for dynamical systems with ${\bm{\mathscr M}}_{\bmα}$-shadowing

This paper studies weak mixing for two classes of dynamical systems with the $\mathscr{M}_α$-shadowing property using the generic factor characterization of weak scattering. First, for every $α\in[0,1)$, every $M$-system with the $\mathscr{M}_α$-shadowing property is weakly mixing, thereby answering [P. Oprocha et. al., On partial shadowing of complete pseudo-orbits, J. Math. Anal. Appl., Question~1] negatively. Second, for every $α\in(0,1)$, the $\mathscr{M}_α$-shadowing property implies weak mixing for $E$-systems and, in particular, for dynamical systems whose measure center is the whole space.Finally, an $E$-system with the $\mathscr{M}_{0}$-shadowing property which is not weakly mixing is constructed, showing that the parameter range $α\in(0,1)$ in the $E$-system result is optimal.

math.DS↗

arXiv2026

Three-body unitary determination of the $f_1(1285)$ and $f_1(1420)$ pole positions

We study the $I^G(J^{PC})=0^+(1^{++})$ $K\bar Kπ$ system in an infinite-volume three-body unitary framework, focusing on the pole content of the region of the $f_1(1285)$ and $f_1(1420)$ resonances. The coupled $πa_0$-$K\bar K^*$ amplitude is constructed in the spectator-isobar representation, where the one-particle-exchange interaction required by three-body unitarity automatically incorporates the triangle-singularity mechanism. The short-range three-body interaction is constrained by fitting the $0^+(1^{++})$ component of the BESIII $K^0_SK^0_Sπ^0$ invariant-mass distribution in the $J/ψ\toγ(K^0_SK^0_Sπ^0)$ decay. Analytically continuing the fitted amplitude to the relevant unphysical Riemann sheets, we find two robust poles: \begin{align} \sqrt{s_{f_1(1285)}}&= \left(1277\pm2\pm1\right) -\mathrm{i}\left(12\pm1\pm0\right)\text{MeV}\,,\notag\\ \sqrt{s_{f_1(1420)}}&= \left(1435\pm2\pm7\right) -\mathrm{i}\left(40\pm2\pm1\right)\text{MeV}\,.\notag \end{align} The pole trajectories indicate that the $f_1(1285)$ originates from dressing a bare state introduced in the potential. In contrast, the $f_1(1420)$ is predominantly dynamically generated, and a single-channel analysis traces it to an $S$-wave $K\bar K^*$ quasi-bound state mixed with the nearby bare state, supporting its hadronic-molecule interpretation. We also find an additional pole deeper in the complex plane in the best-fit amplitude on the same Riemann sheet as the $f_1(1285)$. This additional pole is generated by the $P$-wave $πa_0$ contact interaction alone. It has a sizable cutoff and two-body-input dependence, and leaves little visible imprint on the physical lineshape. Finally, we provide a detailed and pedagogical appendix on how three-body cuts affect the solution of the integral equation.

hep-ph↗

arXiv2026

SkillIR: Evolving Scene-Aware Skills for Agentic Image Restoration

This paper studies agentic image restoration, in which multimodal agents coordinate specialized restoration tools to recover images affected by complex degradations. Existing restoration agents often derive complete tool-use plans from the original degraded image or retrieve previously successful trajectories, providing limited support for adapting individual actions to evolving intermediate restoration states. We find that accepted tool executions can change the residual degradation state and, consequently, the applicability of subsequent tools. To address this issue, we propose SkillIR, a skill-guided framework that represents restoration experience as degradation-centered action evidence rather than complete tool-use trajectories. SkillIR consolidates context-dependent action outcomes into scene-aware restoration skills that characterize applicable conditions, expected effects, and attributable failure cases. Instead of prescribing a complete restoration plan, the retrieved skills guide one bounded action at a time within a verified residual-state loop: each tool output is treated as a candidate, committed only after transition verification, and followed by reassessment of the active residual degradations. After each rollout, the resulting evidence is used to create, refine, or patch dynamic skills, enabling accumulated restoration experience to improve decision-making for subsequent inputs. Experiments on synthetic and real-world multi-degradation datasets demonstrate that SkillIR improves restoration quality and enables more reliable and effective tool use.

cs.CV↗

arXiv2026

Quantitative linear approximation for controllability of quasi-linear parabolic equations

This paper studies the relationship between the controllability of a quasi-linear parabolic equation and that of its linear counterpart. Under suitable assumptions, we prove that for sufficiently small initial data both systems are null controllable, and that the differences between their corresponding controls and states satisfy a higher-order error estimate. Unlike standard controllability problems, the controls constructed here not only steer the system to a prescribed target at a given terminal time, but are also designed to ensure that the deviation between the nonlinear and linear dynamics obeys the aforementioned estimate. This method is applicable to general nonlinear partial differential equations, and the approximation order for controllability is optimal.

math.OC↗

arXiv2026

SAM-on-the-Curve: Sharpness-Aware Mode Connectivity for Robust Weight-Space Interpolation

Deep neural networks that are independently trained to similar performance can be connected by low-loss parametric curves in weight space, a phenomenon known as Mode Connectivity (MC). This geometric property underpins practical techniques such as weight averaging, model ensembling, and model merging. We argue that low-loss connectivity is an incomplete geometric criterion: it controls loss only along a one-dimensional trajectory while leaving the surrounding weight-space neighborhood unconstrained, so the optimized curve may traverse sharp ridges that become fragile under distribution shift. We therefore reformulate mode connectivity as a neighborhood-robust path optimization problem, seeking a curve whose entire local neighborhood maintains low loss. We propose Sharp Mode Connectivity (SMC), which applies a first-order sharpness-aware approximation to the resulting minimax functional, enforcing flatness along the entire curve rather than only on it. We derive a practical optimization algorithm for connectivity paths under this sharpness-aware objective. Under severe blur corruptions from CIFAR-10-C, SMC achieves up to 6.09\% absolute accuracy improvement over standard MC. Remarkably, SMC produces negative loss barriers, meaning that models obtained at interior points of the optimized path can outperform the average endpoint loss. These results, validated across ResNet-18, VGG16-BN, and ViT-Tiny on CIFAR-10 and ImageNet-100, establish path-wise flatness as a practical principle for robust weight-space interpolation.

cs.LG↗

arXiv2026

A Structural Relationship Between Crouzeix-Raviart Immersed Finite Elements for Elliptic and Stokes Interface Problems

In this paper, we study the structural relationship between immersed finite element (IFE) spaces for scalar elliptic and Stokes interface problems on unfitted meshes. Although IFE methods have been widely developed for individual partial differential equation models, the algebraic connection between scalar and vector IFE spaces has not been systematically explored. We establish a precise unisolvence relationship between the immersed Crouzeix-Raviart (CR) element for elliptic interface problems and the immersed CR-$P_0$ element for Stokes interface problems in both gradient and stress formulations. By analyzing the block structure of the local IFE matrices, we show that the determinant of the Stokes IFE matrix factorizes in terms of the determinant of the corresponding elliptic IFE matrix. This factorization reveals an intrinsic algebraic link between the two classes of immersed elements and explains the unisolvence of the Stokes IFE spaces through the scalar elliptic case. The same result extends naturally to three dimensions and significantly simplifies the corresponding analysis. Numerical experiments confirm optimal convergence rates for both velocity and pressure in three-dimensional Stokes interface problems.

math.NA↗

arXiv2026

Understanding In-Context Multimodal Jailbreaks via Posterior Reweighting

In-context learning (ICL) jailbreaks reveal a critical vulnerability in multimodal large language models (MLLMs): harmful demonstrations in the prompt can induce unsafe outputs without modifying model parameters. Despite extensive empirical evidence, existing work lacks a principled understanding of why such jailbreaks reliably succeed or how their effectiveness scales with context composition. We propose a posterior reweighting framework that models a safety-aligned MLLM as implicitly operating over competing behavioral modes, and interprets in-context demonstrations as inference-time evidence that dynamically shifts the model's posterior preference between safe and harmful behaviors. This view formalizes jailbreak as a process of evidence accumulation, yielding predictive scaling laws with respect to demonstration count, harmful ratio, adversarial strength, and semantic diversity. Guided by this framework, we introduce a posterior-aware inference-time defense that adaptively injects benign counter-evidence based on estimated risk, effectively suppressing harmful posterior drift while preserving model utility. Compared to existing in-context defenses, our method achieves a significantly improved robustness-utility trade-off under a fixed intervention budget. Together, our results establish posterior reweighting as a unifying and predictive framework for understanding and mitigating ICL jailbreak in MLLMs.

cs.CR↗

arXiv2026

ASTRA: Asynchronous Spatio-Temporal Reconstruction via Trajectory Alignment

Dynamic 3D scene reconstruction has made significant progress with multi-camera systems, often relying on temporally aligned observations across views. However, in real-world scenarios, temporal asynchrony among capturing devices remains a common limitation, leading to severe motion blur and geometric artifacts. Existing asynchronous reconstruction methods typically estimate temporal offsets through photometric supervision, but appearance matching provides weak temporal cues under large offsets and complex motions. We attribute this limitation to two critical issues: texture-induced collapse, where low-textured regions provide nearly vanishing alignment signals, and deformation-induced entanglement, where temporal errors are absorbed into distorted geometry or motion rather than being explicitly corrected. To address these issues, we propose ASTRA (Asynchronous Spatio-Temporal Reconstruction via Trajectory Alignment), a framework that introduces 2D motion trajectories as explicit, texture-robust supervision for asynchronous dynamic reconstruction. Instead of synchronizing cameras solely through rendered color residuals, ASTRA jointly optimizes temporal offsets and dynamic 3D representations by aligning the projected motion of reconstructed 3D points with observed 2D trajectories, while using dynamic and certainty masking to suppress unreliable trajectory constraints. Extensive experiments on different dynamic Gaussian Splatting backbones show that ASTRA preserves high-frequency spatial details and sustains strong robustness even under severe asynchrony with up to 25-frame offsets, achieving approximately 1.4 dB PSNR improvement, reducing temporal-offset MAE by 54.0%, and nearly quadrupling the synchronization success rate.

cs.CV↗

arXiv2026

Communication-Efficient Personalized Federated Learning via Layer-Wise Multi-Threshold Random Sketching

Personalized federated learning (PFL) is a promising paradigm for collaborative learning over distributed devices, where edge nodes collaboratively train personalized models without sharing raw data. Although PFL addresses data heterogeneity by learning client-specific models, it still suffers from substantial uplink and downlink communication costs when exchanging high-dimensional parameters in bandwidth-constrained systems. Recent one-bit methods achieve extreme compression, but they usually rely on a single thresholding rule applied to the whole model. This design has two limitations. First, it overlooks layer-wise differences in parameter distributions and quantization sensitivities. Second, a single threshold provides only coarse binary information and cannot capture fine-grained variations in parameter distributions. To address these issues, we propose a communication-efficient PFL framework via layer-wise multi-threshold random sketching. In the proposed method, each layer is assigned its own set of quantization thresholds, so that the compressed representation can adapt to layer-specific statistics while using multiple intervals to provide a finer low-bit description of sketched parameters. The proposed method supports bidirectional communication using compact low-bit sketches and improves the communication-accuracy tradeoff compared with existing one-bit compression approaches.

cs.LG↗

arXiv2026

Local spectroscopy of loop current order with individual magnetic atoms

Hidden ordered states--characterized by order parameters that elude conventional probes--pose a fundamental challenge for their identification in quantum materials. Recent experiments report evidence for time-reversal symmetry breaking orbital magnetic order and anomalous transport signatures in the $2a\times2a$ charge density wave state of the kagome metal CsV$_3$Sb$_5$ at a temperature $T<30\,$K. Theoretical analyses propose that a time-reversal symmetry breaking loop-current order could exist as the ground state of this charge density wave. However, this microscopic interpretation remains debated and experimentally unverified. In this work, we employ individual magnetic atoms as local quantum sensors to examine the quasiparticle excitations of the charge density wave in CsV$_3$Sb$_5$ with the scanning tunneling microscope. Our spectroscopic measurements show that the magnetic moment of Co induces a spatially localized $dI/dV$ peak inside the spectral gap of the charge density wave near the Fermi energy. Conducting temperature-dependent spectroscopy, we find that this spectral feature emerges at $T<30\,$K. By comparing our experimental observations with results of quantum many-body simulations and realistic tight-binding model calculations, we show that this spectroscopic signature can be naturally interpreted as a local flux defect in a loop current ordered state, arising from the Kondo coupling of the magnetic moment of Co with the loop current electrons. The excellent agreement between our experimental and theoretical results suggests the presence of loop-current order in the $2a\times2a$ charge density wave of CsV$_3$Sb$_5$ at $T<30\,$K. Our results provide a microscopic picture to the observation of time-reversal symmetry breaking orbital magnetism and anomalous transport signatures detected in measurements of the macroscopic material properties.

cond-mat.str-el↗

arXiv2026

Amplitude structure of $3\to 3$ scattering in a Mandelstam variable representation

We construct a dispersive representation of the relativistic $3\to 3$ scattering amplitude for three identical spinless particles in the $S$-wave. The two-particle subenergy, instead of the total energy, is used as the dispersive variable. This choice keeps the physical dispersive contour free of the kinematical cuts that complicate total-energy dispersion relations. By separating discontinuities across the two-particle subenergy cuts from that across the three-body cut, we derive a linear integral equation with one-particle exchange as the driving term. We further show that the solution satisfies three-body unitarity as a consequence of two-body unitarity, analyticity, and crossing symmetry. For pair-wise interactions, this representation can be rewritten into the form used for isobar-spectator scattering. Finally, we give prescriptions for contour deformation and the subtraction of poles in the two-body subsystem amplitudes, which continue the amplitude onto adjacent unphysical Riemann sheets and thus provide direct access to the analytic structure relevant for three-body resonance poles.

hep-ph↗

arXiv2026

Analytic discs and compactness of the $\bar\partial$-Neumann operator

We construct a bounded pseudoconvex complete Reinhardt domain $Ω$ with smooth boundary in $\mathbb{C}^3$ such that the $\bar\partial$-Neumann operator $N_1$ is compact although $bΩ$ contains an analytic disc and thus also fails Catlin's Property $(P)$ and McNeal's Property $(\tilde P)$. This example solves an open problem on compactness of the $\bar\partial$-Neumann operator in the negative.

math.CV↗

arXiv2026

Bilinear correlations in Fluctuating Gaussian States with anti-unitary symmetries

We study bilinear order-parameter correlations in a general class of sign problem-free systems that are described by what we call Fluctuating Gaussian States (FGS) with anti-unitary symmetries, where the weight of each Gaussian measurement in the space-time path integral is positive-definite. Supported by Monte Carlo simulations on fluctuating Gaussian fermionic and bosonic examples, we argue that such systems generally exhibit two types of broken-symmetry phases: a \emph{saddle point phase} and a \emph{non-local contraction phase}, with the competition between the two determined by the stability of the fluctuation saddle point of FGS. Due to the Fermi liquid instability in fermionic FGS with anti-unitary symmetries, we also discuss the possibility of representing fermionic FGS with a particular Projected Entangled-Pair State (PEPS) ansatz, which we argue a certain construction provides an efficient description for the saddle point phase, but not for the non-local contraction phase. Finally, we discuss the potential implication of our result in non-equilibrium systems and stabilizing a target bilinear order.

quant-ph↗

arXiv2026

Strange metal and Fermi arcs from disordering spin stripes

We revisit the effective theory for fluctuating spin stripes coupled to a Fermi surface, and consider the parameter regime where a spin nematic phase intervenes between the spin density wave state and the symmetric state. It is shown that adding potential disorder to this theory, which acts as an unconventional type of random-field disorder, naturally gives rise to a phase diagram containing a quantum critical point that is described by the universal theory of strange metals with spatial disorder in both the magnitude and sign of the electron-boson coupling term [A.A. Patel, H. Guo, I. Esterlis and S. Sachdev, Science 381, 790 (2023)]. One difference compared to the original theory, however, is that at non-zero temperatures the disordered spin-stripe model automatically self-averages over the sign of the coupling. We also study the effects of thermal fluctuations in a phenomenological model for the disordered spin density wave state, and find from Monte Carlo simulations that a short anti-ferromagnetic correlation length (order 4-5 lattice constants) already leads to pronounced Fermi arcs in the electronic spectral weight.

cond-mat.str-el↗

arXiv2026

Infinitely Many Binomial Coefficients of Deficiency One

A binomial coefficient $\binom{n}{k}$ is good if all its prime divisors exceed $k$, and its deficiency is the number of $k$-smooth integers in $(n-k,n]$. A short constructive proof of the existence of infinitely many good binomial coefficients with deficiency exactly one is given, which provides an answer to a problem of Erdős, Lacampagne, and Selfridge.

math.NT↗