arXiv subjects

Zijian Liu

Publications and source records attributed to Zijian Liu.

At least 19 recordsLinked to original sources

arXiv2026

Physics-informed neural network (PINN) approximations of capillary menisci in polygonal channels

In a zero-gravity cylindrical container, a meniscus can span a square or equilateral-triangular cross-section only at contact angles at or above the respective Concus-Finn critical angles of 45 degrees and 60 degrees. We study strong-form physics-informed neural networks (PINNs) across these thresholds under fixed collocation and optimization budgets. Classical capillary flux balance yields a lower bound on the combined interior and wall residual loss for arbitrary positive sampling densities. In the tested nonexistence regime, several degrees below the critical angles, independently evaluated network losses are 1.6-1.9 times this bound. A polynomial least-squares comparison supports the same geometric interpretation. The PINNs still return smooth graphs with finite axial extent, even though the prescribed equilibrium problem has no spanning graph solution. Their small interior residuals coexist with wall-flux deficits near corners, where adjoining contact-angle conditions demand more flux than a finite-slope graph can supply. Residuals vary on both sides of the critical angle, while the bound tends uniformly to zero at threshold for fixed wall weight. These results give a geometric scale for interpreting the computed loss and locate the incompatibility that a small interior residual can conceal.

physics.flu-dyn↗

arXiv2026

Omni-Woodpecker: Hallucination Correction via Evidence-Prior Rebalancing for Omni LLMs

Recent Omni LLMs (OLLMs) have demonstrated remarkable capabilities in joint audio-visual reasoning, yet cross-modal hallucinations remain a major challenge. Existing mitigation methods mainly operate at the output level, overlooking the entanglement of grounding evidence and learned priors within fused representations. To address this issue, we propose Omni-Woodpecker (OWP), a training-free framework that shifts hallucination mitigation from output-level manipulation to conflict-conditioned representation rebalancing. Specifically, OWP first identifies cross-modal conflicts from complementary modality-specific views. It then employs orthogonal decomposition to separate grounding evidence from competing priors within the hidden states. Finally, OWP adaptively rebalances fused representations by suppressing misleading priors and restoring ignored evidence before decoding. Extensive experiments demonstrate the effectiveness and strong cross-architecture generalization of OWP. Using Qwen2.5-Omni-7B as the backbone, OWP improves performance by 12.9 and 8.6 points on CMM and AVHBench, respectively, while consistently achieving gains of 0.67-2.25 points across four general OLLM reasoning benchmarks. Furthermore, OWP generalizes effectively to VideoLLaMA2-AV, improving performance by 4.6 and 3.9 points on the same benchmarks. Code is publicly available at https://github.com/ZiiJianLiu/Omni-Woodpecker

cs.AI↗

arXiv2026

Three-body corrections to Brownian hard-sphere viscosity

For Brownian hard spheres without hydrodynamic interactions, we obtain a conditional enclosure between 1.8266948 and 1.8267157 for the third-order zero-shear Brownian viscosity coefficient. It applies when the physical three-body correction coincides with the finite-energy weak solution and the remote remainder in the pair adjoint identity vanishes. Kirkwood superposition gives zero because three nonzero pair contributions cancel exactly. An elementary radial identity exposes this cancellation, and a common contact-stress convention allows direct comparison of closure predictions. Although superposition solves the bulk equation, it leaves a shared-contact flux error. Correcting this error defines a unique weak response with positive Dirichlet energy. Explicit symmetric trials yield a variational lower bound and a residual upper bound using the rotational structure of shear and three-sphere geometry. Exact integration and outward interval evaluation enclose the fixed-trial functionals. Under the stated physical conditions, the resulting interval excludes all closure coefficients compared here and supplies a quantitative benchmark for dilute three-body Brownian stress.

cond-mat.soft↗

arXiv2026

Resonant-pair energy return beyond the early Green-Kubo plateau in a quartic chain

Distinguishing rapid local energy exchange from sustained transport matters when thermal conductivity is inferred from finite simulations. In a weakly coupled chain of separable quartic oscillators, we identify a quantitative mechanism that changes an early Green--Kubo plateau: resonant neighbors exchange energy and coherently return it. The pair heat-current integral maps to the classical pendulum trapping response. Quartic homogeneity gives an energy-independent reference period $T_{\rm lib}=7.77ε^{-1/2}$, where $ε$ is the coupling. Without fitted parameters, the leading response predicts a negative first minimum at $0.952T_{\rm lib}$ with depth $-0.74$ times the independent-cell exchange coefficient. Isolated-pair simulations test this reference and resolve finite-coupling corrections. The chain reaches its first minimum on the same time scale, with a shallower minimum and a small later residual. Comparisons with chaotic cells and energy-conserving noise show regimes in which coherent return is absent or interrupted over the measured windows. These finite-time results provide a quantitative reference for separating the early exchange plateau from subsequent correlated dynamics.

cond-mat.stat-mech↗

arXiv2026

Calibrated shape-only recovery of membrane viscosities

Nearby relaxation rates make two membrane viscosities difficult to distinguish from a shape transient. We show how calibrated preparation removes this loss of local sensitivity in a linear Kelvin-Voigt sphere with finite area elasticity and intrinsic membrane dissipation. Two independent releases, with a known signed amplitude ratio and calibrated relative gain and timing, yield normal-displacement records whose fixed linear combination separates the shear and dilatational rates. Their common amplitude remains unknown. For fixed sampling, positive-definite weights, bounded positive rates and nonzero excitation, the amplitude-projected sensitivity has a positive lower bound even at rate coincidence. Without relative calibration, the paired sensitivity decreases linearly with the rate gap; the single tangential-release record decreases quadratically. The calibrated bound is compatible with fixed finite initial energy. A positive local bound also persists with independent ratio calibration of fixed positive precision under a Gaussian error model. Supplied elastic coefficients convert the recovered rates into the two surface viscosities. An unbounded spherical Stokes extension quantifies how bulk dissipation changes the modal patterns and provides a sufficient full-Jacobian criterion for retaining local material sensitivity.

cond-mat.soft↗

arXiv2026

On the Last-Iterate Convergence of Clipped Gradient Methods

In stochastic (strongly) convex optimization, establishing last-iterate convergence guarantees for first-order methods has recently garnered increasing attention, as this not only deepens the theoretical understanding of these algorithms but also aligns more closely with practice. Notably, people have demonstrated that one of the most famous, simple, and popular methods, Stochastic Gradient Descent ($\mathtt{SGD}$), provably achieves last-iterate convergence. However, the existing results may have limited applicability, since they typically rely on strong conditions on the gradient noise (e.g., an exponentially decaying tail) rather than the more realistic heavy-tailed noise. Unfortunately, when faced with heavy-tailed noise, $\mathtt{SGD}$ is known to exhibit undesirable behavior or even fail to converge. To address the challenge of heavy-tailed noise, people have proposed $\mathtt{Clipped}\text{-}\mathtt{SGD}$, an algorithm that combines $\mathtt{SGD}$ with a simple mechanism, gradient clipping. Although $\mathtt{Clipped}\text{-}\mathtt{SGD}$ performs well in practice, its last-iterate convergence property remains highly underexplored. In this work, we prove the first optimal last-iterate rates in high probability for $\mathtt{Clipped}\text{-}\mathtt{SGD}$ under heavy-tailed noise, thereby closing a gap in the literature.

math.OC↗

arXiv2026

Can AI Scientists Coordinate at Runtime?

Multi-agent AI scientists have shown improving performance across a diverse range of tasks. Yet a common approach is design-time agentic orchestration, which typically relies on fixed workflows. In contrast, human scientists coordinate and adjust their division of labor at runtime. We therefore ask: can AI scientists also coordinate at runtime? To this end, we introduce Runtime Agent Coordination (RAC), which selects agents from existing AI-scientist hosts during execution, assigns scoped work contracts, and provides artifact-grounded verification. Verification informs subsequent agents without blocking transitions or discarding artifacts. We conduct a single-seed exploratory evaluation across Agent Laboratory, EvoScientist, and ARK on ResearchClawBench, preserving host models, tools, and permissions under host-calibrated budgets. Four cumulative conditions separate native execution, runtime communication, runtime selection, and the combined addition of contracts and verification. Runtime selection yields the highest observed mean score for each host; adding contracts and verification reduces these means, with host-dependent outcomes relative to native execution. These results motivate runtime coordination while exposing the limits of additional coordination mechanisms under constrained budgets. Code is available at https://github.com/systemind-team/Runtime-AI-Scientist.

cs.MA↗

arXiv2026

ControlTrace: Recovering Control Fields for Hidden-Content Recognition

Spatially conditioned diffusion models can embed words and contours in natural-looking images, but vision-language models (VLMs) may fail to recognize the hidden content. Transformation-based recovery depends on parameter and view selection. To evaluate hidden-content recovery and recognition, we construct FreqBlind, a 6,000-image benchmark spanning contours, real words and non-words across three conditioning strengths. The evaluated transformation-based methods show limited recognition of contour patterns and weakly conditioned hidden content. To address this limitation, we propose ControlTrace to recover the grayscale control field used during generation. An 8.4M-parameter U-Net predicts this field from the carrier image, and a VLM then identifies its content. With Qwen2.5-VL-7B-Instruct, ControlTrace achieves 60.2% open-ended contour recognition accuracy across the three conditioning strengths, exceeding the best of the three evaluated prior methods by 26.9 percentage points. On an A100 GPU, the complete pipeline adds only 7.4 ms (5.3%) to direct VLM inference. Recovered fields have lower pixel errors and higher structural similarity than the evaluated transformation views. Across four evaluated VLMs, ControlTrace retains its overall contour recognition advantage. Recognition remains stable under the tested JPEG compression, Gaussian noise and downsampling. These results support control-field recovery for hidden-content recognition in the evaluated setting.

cs.CV↗

arXiv2026

Design of a combined polarimetric and velocimetric measurement for viscoelastic stress, and its constitutive resolving power

A polarimeter does not report stress. It reports a retardance and an azimuth, and converting those to a stress pair fixes both the calibration that is required and the covariance that the subsequent inference must carry. We set out that observation chain for planar viscoelastic flow, combine it with velocimetry, and ask what the combined measurement can resolve. The calibration constant is fixed by three separately measurable quantities (path length, stress-optic coefficient and wavelength) rather than being fitted. Propagating the polarimetric errors to first order gives a stress covariance that is anisotropic and site dependent even for independent homoscedastic inputs, and whose conditioning degrades as the retardance approaches zero, where the linearization itself stops describing the measurement. Wrapping imposes a separate design bound. Two numerical studies follow, both in ideal calibrated stress coordinates under a prescribed covariance rather than the propagated polarimetric one. Holding the total scalar count fixed and varying the split between velocimetric and optical sites, an unequal allocation favoring optical sites outperforms either pure configuration. We then ask what the measurement resolves between constitutive models compatible with the same velocity data. In self-consistent pressure-driven flow of the finitely extensible nonlinear elastic Peterlin model, at extensibility L^2=50 and 3% noise, the optical channel rejects the velocity-compatible Oldroyd-B family in 78.1% of realizations at the Deborah number De=2, the ratio of the relaxation time to the flow timescale, and in 100% at De=4, while rejecting only about 5% below De=0.3. The resolving power of a design is therefore a strong function of Deborah number and must be quoted with it.

physics.flu-dyn↗

arXiv2026

A closed-form solution for streaming and Lagrangian transport in a deforming circular cavity

Streaming from a deforming cavity wall serves micromixing, pumping and particle handling. We solve it in closed form in a two-dimensional circular cavity, for any azimuthal wall mode $m$, as $\mathrm{Wo}^2 \to 0$. A biharmonic inversion against the Reynolds stress, corrected by the second-order slip a moving wall imposes, gives the Lagrangian mean a tracer follows for a deforming no-slip wall, $ψ_L = -[m(5m+4)a_m^2/(128(m+2)(2m+1))]\,r^{2m}(r^2-1)^2\sin 2mθ$, with a companion form for a shear-free interface. For a single mode the factor $(5m+4)/(m+2)$ relating it to the auxiliary solution $ψ_2$ is the same for every member of the co-phased prescribed-velocity family; at $m=2$ the physical Eulerian mean peaks an order of magnitude above $ψ_2$, with opposite sign. The no-slip cell centers lie at $r^2 = m/(m+2)$, and at large $m$ the peak streamfunction falls as $m^{-2}$, the peak speed as $m^{-1}$. At fixed radial wall-velocity amplitude the ranking over $m$ follows the wall kinematics: an externally driven wall peaks at $m=1$, a wall with zero first-order surface strain at $m=3$. Mode superpositions invert without degenerating, each harmonic carrying its own correction. At finite $\mathrm{Wo}$ the first-order field stays closed form in Bessel functions and the mean flow reduces to quadrature; the construction approaches the $m=2$ Rayleigh limit on a separate tangentially driven boundary problem. An independent finite-element solver, with the closed form withheld, reproduces $ψ_2$ with quadratic mesh convergence.

physics.flu-dyn↗

arXiv2026

Structural identifiability and stress reconstruction from incomplete optical maps with velocimetry

Reconstructing the stress field of a planar viscoelastic flow from optical measurements loses its direct evidence wherever optical coverage is interrupted, and no improvement in optical precision restores an observation that was never made. We characterize what a second, velocity channel adds, and what neither channel can supply. Two calibrated optical components determine the local deviatoric stress pointwise, while velocity constrains spatial stress variation through momentum balance, so the two channels are complementary rather than redundant. The isotropic part of the stress is unobservable to both: the divergence of an isotropic field is a pure gradient, which the Leray projection annihilates, so every representable isotropic mode lies in the joint null space. That accounts for the null space exactly when the optical field is complete, and bounds it from below otherwise, since finite incomplete sampling and aperture zeros can remove further directions. We verify the count directly on three discretizations. In paired synthetic tests with finite measurement apertures, spatially correlated noise and optical stripe dropout, adding velocity reduces the mean whole-domain deviatoric error from 50.40% to 27.82% at 3% reference noise, and the improvement survives shared gaps, inverse-grid refinement at fixed physical sampling, and a constitutively generated stress field. The improvement does not rest on how the regularization parameter is chosen: it holds under both the expected-norm discrepancy rule and generalized cross-validation, and we report each selection with its position in the search interval, which is where the two rules differ.

physics.flu-dyn↗

arXiv2026

Characterizing variation bounding in discrete-time Hankel operators

We investigate the $k$-variation bounding property of the discrete-time Hankel operator, i.e., its invariance under the set of signals with a variation (number of sign changes) of at most $k$. Building on existing sign-consistency criteria, it is shown that this property is equivalent to the external positivity of $k+1$ explicitly realized linear discrete-time systems. Thus, making the property tractable via numerical and analytic certificates. We also derive dominant-pole restrictions for the case of $k=1$. A three-node thermal example illustrates the results and distinguishes variation bounding from variation diminishing.

math.DS↗

arXiv2026

Random Reshuffling Dominates Stochastic Gradient Descent

Stochastic Gradient Descent ($\textsf{SGD}$) is one of the most classical optimization algorithms with favorable theoretical guarantees, yet the practical implementation of $\textsf{SGD}$ differs subtly from its well-known form and is often referred to as Shuffling Stochastic Gradient Descent ($\textsf{Shuffling SGD}$). A particularly popular strategy in $\textsf{Shuffling SGD}$ is Random Reshuffling ($\textsf{RR}$), which has achieved great empirical success across numerous experiments. Despite its strong performance, $\textsf{RR}$ has long been considered a heuristic due to a lack of theoretical support. Over the last decade, people have finally established provable convergence rates for $\textsf{RR}$, thus justifying its observed superiority. However, for smooth convex optimization, two clouds over the convergence theory of $\textsf{RR}$ remain to this day. More precisely, according to the current theory, $\textsf{Shuffling SGD}$ under $\textsf{RR}$ converges only when the stepsize is smaller than a threshold proportional to $1/n$, where $n$ is the number of summands in the objective (or the number of data points). Consequently, the optimally tuned theoretical rate of $\textsf{Shuffling SGD}$ under $\textsf{RR}$ is strictly worse than that of $\textsf{SGD}$ when the number of epochs is smaller than another threshold proportional to $n$. These two restrictions heavily limit the applicability of existing theories and leave a critical mismatch with practice. In this work, for the first time, we prove that $\textsf{RR}$ dominates $\textsf{SGD}$ in smooth convex optimization under any reasonable stepsize after any finite number of epochs, thereby addressing a longstanding open question.

math.OC↗

arXiv2026

ShareLock: A Stealthy Multi-Tool Threshold Poisoning Attack Against MCP

With the rapid evolution of LLM-driven agents, Model Context Protocol (MCP), an open protocol bridging LLMs with external tools, has quickly become foundational to modern agent ecosystems. However, the expanding adoption of MCP has also introduced novel security concerns such as Tool Poisoning Attack (TPA), which exploit LLM-server interactions to inject malicious prompts. Existing poisoning schemes typically adopt a monolithic plaintext embedding paradigm, which fails to withstand manual inspection or automated detectors. Current research still lacks a systematic analysis on multi-tool poisoning, where multiple tools can be exploited cooperatively to disperse detection risk. In this paper, we introduce ShareLock, a multi-tool threshold poisoning framework that utilizes Shamir's threshold scheme to ensure exceptional stealth and fault tolerance. ShareLock distributes the malicious instruction as benign-looking secret shares across multiple tool descriptions, achieving both information-theoretic secrecy and attack robustness against moderate auditing. After a covert reconstruction trigger is planted during server update, the aggregated shares reconstruct the hidden instruction, resulting in critical breaches of system assets or private data. To evaluate the realistic threat of ShareLock, we constructed a comprehensive benchmark encompassing four multi-tool scenarios and conducted extensive experiments across mainstream LLMs on two distinct MCP clients. Our results demonstrate that ShareLock significantly outperforms existing single-tool poisoning strategies in tool description-based detection while maintaining an average attack success rate exceeding 90%.

cs.CR↗

arXiv2026

Adam Converges in Nonsmooth Nonconvex Optimization

Adam is one of the most widely implemented and influential modern optimizers. Why is it effective across different optimization problems in practice? This question arguably lies at the center of the optimization community over the last decade and has motivated a substantial body of work aimed at understanding its convergence behavior. However, existing studies have mainly focused on the convergence rate of Adam in smooth nonconvex optimization, which unfortunately does not adequately capture practical settings, since many real-world problems are nonsmooth, such as those arising in training neural networks. Thus, these studies cannot fully explain the popularity and empirical success of Adam. Recently, an insightful and powerful framework called Online-to-Nonconvex Conversion has opened a new way to analyze Adam for nonsmooth nonconvex optimization. Unfortunately, prior works along this line share two common limitations. First, all of them ignore the important bias-correction term in the original Adam algorithm. Second and more importantly, many of them require extra operations that are not used in Adam, such as a clipping step. Therefore, the convergence guarantee for the original Adam method still remains unclear. In this work, we present the first finite-time analysis for the classical form of Adam, i.e., with the bias-correction step and without further algorithmic modifications, and prove that a randomly scaled learning rate ensures a convergence rate of $1/T^{\frac{2}{13}}$ for nonsmooth nonconvex optimization. Moreover, our result provably applies to the modern heavy-tailed noise regime, which is closer to practice. Interestingly, our theory is established under the parameter choice $β_1=β_2$, aligning with the recent empirical studies.

math.OC↗

arXiv2026

Co-policy: Responsive Human-Robot Co-Creation for Musical Performances

Art has long stood as a pivotal expression of human creativity. Embodied artificial intelligence offers a route for generative models to participate in that creativity through physical action rather than disembodied digital content. In robotic music co-creation, it is challenging to connect semantic musical understanding with real-time and physically executable performance. We present Co-policy, a framework for human-robot musical co-creation that separates semantic intent grounding, constrained musical variation, and visuomotor execution. To ground musical semantics, Co-policy uses pre-inference semantic anchors and a fine-tuned Qwen-vl planner (F-Qwen) to transform speech, live musical seeds, and visual observations into structured co-creation plans. To support low-latency execution, Co-policy introduces a Gaussian-Mixture Visuomotor Policy (GMP), implemented as a conditional mixture-density policy that maps target notes and visual context to multimodal robot actions in a single forward pass. Unlike robotic playback systems that merely reproduce user-specified notes, Co-policy generates complementary musical responses under both musical and physical constraints. Real-robot chime experiments, ablations, and expert evaluation show improved intent alignment, execution accuracy, and response frequency over diffusion-policy and ablated baselines, supporting physically grounded action generation as a key requirement for embodied human-AI co-creation.

cs.RO↗

arXiv2026

Shadow Completion in Celestial OPEs

We argue that celestial OPEs must be supplemented by shadow-basis operators. Although the shadow transform does not introduce new bulk degrees of freedom, it provides a distinct primary state in the boundary celestial theory. From OPE consistency, we show that the ordinary celestial OPE does not close on Mellin-basis exchanges alone. Rather, the same exchanged bulk particle must also appear through its shadow-basis representative. This leads to a shadow-completed OPE, with the shadow OPE coefficient fixed by the ordinary collinear coefficient through the universal shadow factor. We discuss the corresponding boundary Hilbert-space interpretation, extend this argument to gluons and gravitons, and verify the shadow exchange directly in tree-level regular celestial amplitudes, including a scalar $2\rightarrow n$ analysis and an explicit five-point example.

hep-th↗

arXiv2026

HiGR: Industrial-Scale Hierarchical Generative Slate Recommendation Framework in Tencent

Slate recommendation, which presents users with a ranked item list in a single display, is ubiquitous across mainstream online platforms. While recent generative recommendation methods have shown strong potential in modeling item sequences with semantic IDs, directly applying them to industrial-scale slate recommendation faces a fundamental disconnect: entangled SID spaces confound high-level list planning, fine-grained autoregressive decoding over long sequences limits semantic planning efficiency, and token-level objectives misalign with holistic slate quality. In this paper, we propose HiGR, an industrial-scale hierarchical generative framework for slate recommendation that bridges this disconnect through a co-designed pipeline. First, HiGR learns structured SIDs via a Prefix-Contrastive Residual Quantized VAE (PCRQ-VAE). By enforcing high-level prefixes to capture shared semantics, PCRQ-VAE creates a controllable discrete space that acts as a prerequisite for efficient planning. Leveraging this structured space, our Hierarchical Slate Decoder (HSD) shifts autoregressive modeling from entangled token-level decoding to coarse-grained preference embeddings. This design significantly reduces inference latency while allowing explicit global slate structure planning. Finally, this stable planning space enables an ORPO-based listwise alignment mechanism to optimize triple-objective implicit feedback-ranking fidelity, genuine user interest, and diversity. Extensive offline experiments show that HiGR outperforms state-of-the-art baselines by over 10% in offline recommendation quality while achieving a $5\times$ inference speedup. Online A/B tests on Tencent platforms further improve watch time by 1.22% and video plays by 1.73%. HiGR has been deployed on multiple Tencent platform surfaces, serving hundreds of millions of users and proving its industrial-scale applicability.

cs.IR↗