arXiv Science⌕ Search

arXiv subjects

Hongyu Liu

Publications and source records attributed to Hongyu Liu.

At least 19 recordsLinked to original sources
arXiv2026

Quantitative Analysis of Second-Harmonic Generation in Plasmonic Nanowires: Symmetry Breaking and a Topological Defect

This paper develops a quantitative theory of second-harmonic generation (SHG) in hollow plasmonic nanowires, distinguishing geometric symmetry breaking from cavity effects. We consider a centrosymmetric material with a concentric circular cavity and a slightly perturbed outer boundary. Relative to the solid nanowire in~\cite{liu2026quantitative}, the cavity introduces a topological defect by changing the cross-section from a disk to a doubly connected domain, whereas the outer-boundary perturbation breaks geometric symmetry. Local inversion-symmetry breaking at the interfaces induces nonlinear surface polarization. Using layer potentials and boundary-perturbation asymptotics, we derive explicit leading- and first-order formulas for the fundamental and second-harmonic fields. For a circular outer boundary, the leading-order second-harmonic field is purely quadrupolar; its amplitude differs from the solid-wire case by $O(γ^2)$ as $γ=r_i/r_e\to0$ and decays as $O(r_e-r_i)$ in the nonresonant thin-shell limit. For perturbations proportional to $\cos(nθ)$, $n\ge3$, the first-order second-harmonic correction contains only modes $n-2$, $n$, and $n+2$, yielding dipolar, quadrupolar, or higher-order radiation for $n=3$, $n=4$, or $n\ge5$, respectively, provided the lowest-order modal coefficient is nonzero. We derive plasmonic resonance conditions at both frequencies and estimate the singular orders of single and simultaneous resonances, including possible higher-order singularities from coincident resonance factors. Thus geometric symmetry determines the multipolar modes, whereas the cavity radius controls their amplitudes and resonant enhancement.

math.AP↗
arXiv2026

RoboCasa-Shift: Stage-Aware Robustness Evaluation of Vision-Language-Action Policies in Long-Horizon Household Manipulation

Vision-language-action (VLA) robustness is commonly summarized by aggregate task success, which obscures how individual executions change under distribution shifts and where failures emerge in long-horizon tasks. We introduce \textbf{RoboCasa-Shift}, a diagnostic robustness benchmark built on RoboCasa365 that combines controlled single-factor shifts, matched clean-perturbed rollouts in which each pair shares the same underlying settings and differs only in the target shift, and simulator-grounded stage-aware diagnostics. We evaluate GR00T N1.5 on four long-horizon tasks that pass a predefined clean-performance gate under four perturbation factors and three calibrated severity levels, including conditions that drive the evaluated policy to complete task failure, totaling 1,040 formal rollouts. Robustness responses vary substantially across factors and tasks, and increasing severity does not always produce monotonic degradation. For example, one camera condition yields $Δ\mathrm{SR}=0$ despite 8 of 80 matched episodes changing outcome. Stage-aware analysis further shows that the same end-to-end degradation can correspond to different execution-depth profiles. Camera $L_2$ and Gaussian blur $L_1$ both yield $Δ\mathrm{SR}=0.188$, yet their first-stage failure rates are 19.0\% and 36.4\%, respectively. Our findings suggest that VLA robustness should be viewed as a multi-dimensional property of execution rather than a single end-to-end performance measure, motivating evaluation protocols that jointly capture outcome degradation, paired outcome sensitivity, and failure progression. The code is publicly available at https://github.com/HaochengWang23/RoboCasa-Shift.

cs.RO↗
arXiv2026

Decoupling Action from Egocentric Observation for World Simulation

Egocentric action transfer aims to decouple the semantic action from egocentric observations and reproduce them in new visual contexts, enabling scalable world simulation, embodied policy learning, and robotic data generation. Existing approaches to transferring actions rely on condition-guided video generation, which converts the observation video into explicit geometric controls (e.g., hand poses or meshes) to drive synthesis. However, these methods introduce geometric estimation errors, making it difficult to preserve physically plausible interactions when transferred to new scenes. Alternatively, motion transfer methods directly extract motion patterns from the observation video, yet motion-level features alone cannot encode rich contact dynamics, frequently leading to severe hand structural collapse and implausible contact layout. To address both limitations, we present EgoACT, a test-time framework for egocentric action transfer that operates directly on the denoising process of video diffusion models without requiring additional geometric estimators. EgoACT uses Velocity-guided Structure Anchoring to stabilize reference-consistent hand-object structure in the early denoising stage, and Sparse Correspondence Calibration to refine reliable local correspondences in the mid-to-late denoising stages. Together, these two components preserve transferable action semantics while improving temporal coherence and interaction realism. We further establish EgoActionBench, a benchmark for evaluating action preservation, visual quality, and hand-object plausibility across diverse egocentric manipulation scenarios. Experiments show that EgoACT generates more coherent and physically plausible interaction videos than strong baselines.

cs.CV↗
arXiv2026

A nonequilibrium-capturing unified gas-kinetic scheme I: discrete orthogonal basis construction and expansion on velocity space

Velocity space discretization is a primary source of computational cost in deterministic methods for multiscale gas flows. A fixed velocity grid often retains redundant kinetic degrees of freedom (DOFs), particularly under near equilibrium conditions. To address this issue, this work develops a nonequilibrium-capturing formulation based on the unified gas kinetic scheme (UGKS), in which the number of kinetic DOFs adapts locally to the degree of nonequilibrium. A discrete orthogonal basis is constructed for numerical implementation, and the velocity distribution function is decomposed into an analytical local equilibrium and a basis expanded nonequilibrium component. The retained, locally adapted DOFs are evolved directly, substantially lowering computational overhead while preserving the discrete conservation of mass, momentum, and energy, as well as accurately capturing nonequilibrium states. The formulation retains the core multiscale coupling of molecular transport and collision inherent to UGKS, providing explicit and implicit schemes for unsteady and steady flows, respectively. Numerical tests across a wide range of flow speeds and rarefaction regimes (from continuum to highly rarefied) demonstrate close agreement with benchmark solutions. For unsteady flows, the explicit scheme achieves speedups of 12.64 to 58.50 over the standard UGKS. In steady state tests, only about $2\%$ of the original kinetic DOFs are required in continuum regions, accelerating each implicit iteration by a factor of 33.87. Even in the most rarefied cases, the scheme captures nonequilibrium behavior using only about $27\%$ of the original DOFs.

physics.comp-ph↗
arXiv2026

Simplifying and Improving On-Policy Distillation for Few-Step Diffusion

Few-step distillation reduces the sampling cost of diffusion and flow models, but existing approaches often require auxiliary score models or specialized architectures. We show that simple on-policy velocity regression already provides a strong foundation for 4-NFE generation. To represent teacher velocity variation within each coarse transition, we introduce Pivot, a training-only residual proxy that separates local corrections from the student's interval-mean prediction. We further repel the student from weaker teacher predictions, providing a lightweight mechanism for avoiding undesirable modes. The resulting framework, Simplified Matching Distillation (SMD), remains entirely regression-based, requires neither online score estimation nor adversarial training, and leaves the deployed generator unchanged. We evaluate SMD on image generation and editing, 3D generation, video synthesis, and joint audio--video generation, scaling to 33 billion parameters. At 4-NFE, SMD outperforms strong few-step baselines and surpasses multi-step teachers on several benchmarks. It also supports cross-model, multi-teacher, and causal-video distillation.

cs.CV↗
arXiv2026

Dynamics as Code: On Model Compression via Dynamic System

The escalating size of pretrained neural networks has rendered model compression a prerequisite for deployment under stringent memory and compute constraints. With the irrational winding as an example, earlier work introduced a dynamic system (DS) paradigm that reconceptualizes compression as compact weight representation: high-dimensional parameters are encoded by the index of a trajectory produced by a dynamic system, from which the vector is recovered during decompression. This mechanism is fundamentally distinct from pruning, quantization, knowledge distillation, and low-rank decomposition. Along this direction, we prove that under a Diophantine condition, a finite trajectory of \(M = O(ε^{-(d+ν)})\) states in the irrational winding constitutes an \(ε\)-net over the \(d\)-dimensional weight space, thereby linking state resolution, decompression error, and compression ratio in a predictable manner. Furthermore, we propose a generalized DS-based model compression framework by unifying four DS families---space-filling curves (Hilbert, Peano, Morton/Z-order, Snake), chaotic systems (Lorenz), congruential and pseudo-random generators (LCG, PCG), and low-discrepancy sequences (Halton). Also, we introduce the KD-tree and coordinate-template acceleration to scale to large models as well as outlier identification to control the error. Experiments on ResNet-18 and Qwen2.5-1.5B/Qwen1.5-7B validate that DS-based compression achieves competitive compression ratios without post-hoc retraining, with controllable decompression error and flexible state-space design, establishing it as a principled and practical compression approach.

cs.LG↗
arXiv2026

Fourier--Laplace Injectivity for Oblique and Polygonal Cylinders in Passive Inverse Problems

We study Fourier--Laplace transforms on null phases arising in passive inverse problems. Densities with codimension-one dependence in oblique cylinders are first considered. Integration in the distinguished direction reduces the data to an entire transform on a real-analytic maximally totally real submanifold. Holomorphic uniqueness then gives injectivity. A fixed transverse polytope swept along a polygonal curve, forming a polygonal cylinder, is next considered. The density is assumed to be polynomial in the material transverse variables on each swept piece. A weighted Brion--Barvinok expansion separates the vertex terms and the successive pieces. The same representation gives a finite-dimensional Lipschitz estimate when the polynomial degree is fixed. We apply these transform results to passive wave and heat equations in arbitrary dimension. The initial state is zero outside the observation domain. Equality of the Laplace-domain boundary data determines the quantity of the initial data divided by the speed squared in the acoustic model and the quantity of the initial data divided by the coefficient of thermal conductivity in the parabolic model. The question of what remains true when only weighted generalized boundary data on a finite interval \([0,T]\) are available is then studied. These data determine the harmonic moments of the quotient up to the weighted terminal residual. This identity gives a Hölder estimate in an oblique cylinder and a Lipschitz estimate in a polygonal cylinder. Finally, a continuous generating curve is approximated by a polygonal curve and a continuous material density by piecewise transverse polynomials. The resulting reconstruction estimate separates measurement noise, density approximation error, geometric error, and the condition number of the finite sampling matrix.

math.AP↗
arXiv2026

Determining Schrodinger Potentials on Riemannian Manifolds

We prove that the Dirichlet-to-Neumann map uniquely determines a smooth real Schrödinger potential on any prescribed compact connected smooth Riemannian manifold of dimension at least three with nonempty smooth boundary. The proof combines local continuation of Green kernels with uniform estimates for the associated integral representations on shrinking spheres. These estimates yield local recovery of the potential, and a continuation argument extends this recovery throughout the manifold.

math.AP↗
arXiv2026

Observable sets for the Schrödinger equation with potential $\lvert x\rvert$

In this paper, we study observable sets for the one-dimensional Schrödinger equation associated with the operator $H=-d^2/dx^2+|x|$ on $L^2(\mathbb R)$. We prove that a measurable set is observable at every positive time if and only if it is thick. For each fixed observation time, the observability constant is uniform over all measurable sets with prescribed thickness parameters. The theorem answers the question concerning the relationship between thick and observable set raised by Gengsheng Wang [12] for this anharmonic oscillator.

math.AP↗
arXiv2026

WorldSonus: Bringing Sound to Worlds

Recent advances in world models have enabled increasingly realistic visual synthesis. However, these generated environments remain largely silent. Bringing sound to world models poses three core challenges: real-time generation to keep pace with interactive video streams, interactive control to respond to mid-stream sound instructions, and spatially aligned stereo to reflect scene geometry and camera motion. To address these demands, we introduce WorldSonus, an interactive video-to-audio framework designed for real-time spatial sound synthesis in world models. For real-time generation, WorldSonus employs a streaming causal autoregressive diffusion architecture that synthesizes audio chunks at a low real-time factor (RTF) of 0.41. For interactive control, we incorporate an audio-centric captioning pipeline with chunk-indexed prompt scheduling, enabling dynamic manipulation of sound events during generation. For spatial alignment, we leverage high-quality stereo supervision curated from diverse stereo and ambisonic data. Extensive experiments demonstrate that while tailored for world models, WorldSonus generalizes effectively to open-domain video-to-audio benchmarks, matching or outperforming state-of-the-art bidirectional models in both acoustic quality and spatial alignment. Project page: https://noizai.github.io/WorldSonus/

cs.SD↗
arXiv2026

Determining $W^{1,n}$ conductivities in Calderón's problem for $n\geq4$

We establish a global uniqueness result at the critical Sobolev regularity for the isotropic Calderón problem in all dimensions $n\ge 4$. More precisely, for every $n\ge4$ and every bounded Lipschitz domain $Ω\subset\mathbb{R}^n$, any real-valued, uniformly elliptic scalar conductivity $γ\in W^{1,n}(Ω)$ is uniquely determined by its full Dirichlet-to-Neumann map. This settles a long-standing open problem in the field. To prove uniqueness at this endpoint, we develop an averaged trace norm method, which combines complex geometrical optics with trace norm estimates averaged over wave orientations.

math.AP↗
arXiv2026

Tomography of reactive Boltzmann kernels from product fluxes

We study the reversible reaction $1+2\rightleftarrows3+4$ in a dilute gas described by a Boltzmann system. We prove that the outgoing flux of one product species determines the forward collision kernel throughout the domain on a prescribed admissible set of relative velocities and outgoing directions. The elastic collision laws are known, and the reverse kernel is fixed by a prescribed reciprocity relation. The measurements use two synchronized incoming packets with fixed relative velocity and a common velocity tending to infinity. Under bounded angularly integrated collision rates, the short transit time allows us to isolate the contribution of one forward reaction, with estimates uniform as the packets concentrate. Suitable tests of the product flux yield the spatial line integrals of the kernel and a Fourier reconstruction, without differentiating the nonlinear boundary map. We also estimate the effects of finite beam speed, packet width, detector resolution, and measurement noise on the recovered line integrals.

math.AP↗
arXiv2026

HelixWorld: A Real-time Interactive Audio-Visual World Model

World simulation is inherently multisensory, demanding synchronized visual and acoustic dynamics in real time. Yet prevailing interactive world models remain strictly silent, focusing exclusively on visual rendering and control while overlooking the acoustic dimension. We present HelixWorld, a real-time interactive audio-visual world model where visual scenes and camera-grounded spatial stereo sound co-evolve natively under user interaction. We curate a high-fidelity spatial audio-visual dataset with true stereo acoustics and metric camera poses, upon which we pre-train a bidirectional teacher conditioned on 6-DoF camera trajectories and user actions. To enable low-latency causal interaction, we distill the teacher into a few-step streaming student via an online trajectory distillation loss, sustaining drift-free joint audio-visual rollouts at 24 FPS on a single GPU. Furthermore, we formalize spatial-acoustic consistency and introduce HelixBench to evaluate whether synthesized sound fields faithfully track dynamic viewpoint motion. Extensive experiments demonstrate that HelixWorld matches state-of-the-art silent world models in visual fidelity and responsiveness, while significantly surpassing existing baselines in camera-aligned spatial-acoustic immersion.

cs.CV↗
arXiv2026

Determining a parabolic-elliptic-elliptic system by boundary observation of its non-negative solutions under chemotaxis background

This paper addresses a profoundly challenging inverse problem that has remained largely unexplored due to its mathematical complexity: the unique identification of all unknown coefficients in a coupled nonlinear system of mixed parabolic-elliptic-elliptic type using only boundary measurements. The system models attraction-repulsion chemotaxis -- an advanced mathematical biology framework for studying sophisticated cellular processes -- yet despite its significant practical importance, the corresponding inverse problem has never been investigated, representing a true frontier in the field. The mixed-type nature of this system introduces significant theoretical difficulties that render conventional methodologies inadequate, demanding fundamental extensions beyond existing techniques developed for simpler, purely parabolic models. Technically, the problem presents formidable obstacles: the coupling between parabolic and elliptic components creates inherent analytical complications, while the nonlinear structure resists standard approaches. From an applied perspective, the biological relevance adds another layer of complexity, as solutions must maintain physical interpretability through non-negativity constraints. Our work provides a complete theoretical framework for this challenging problem, establishing rigorous unique identifiability results that create a one-to-one correspondence between boundary data and the model's parameters. We demonstrate the power of our general theory through a central biological application: the full parameter recovery for an attraction-repulsion chemotaxis model with logistic growth, thus opening new avenues for quantitative analysis in mathematical biology.

math.AP↗
arXiv2026

Quasianalyticity and geometric rigidity in anisotropic Calderón's problem

The anisotropic Calderón problem of determining a smooth Riemannian metric from boundary measurements, up to a boundary-fixing diffeomorphism, remains open in dimensions $n\ge3$~\cite{uhlmann2009electrical}. We establish unique identifiability results in two complementary regimes. In the first, the identity principle for quasianalytic functions propagates boundary information and yields unique identifiability on compact manifolds without a prescribed product structure, including a partial-data consequence; under a prescribed normal geometry, quasianalyticity is needed only in the distinguished direction. In the second, suitable symmetry or one-sided ordering assumptions lead to unique identifiability at $C^\infty$ regularity with full or restricted boundary access. Taken together, the results exhibit a tradeoff among regularity, geometric structure, and boundary access: quasianalyticity supplies continuation when no global product structure is prescribed, while symmetry or one-sided order replaces that continuation at $C^\infty$ regularity.

math.AP↗
arXiv2026

Formation of quasi-singularities of shock and implosion type for compressible Euler flows

This paper investigates a novel quasi-singularity formation phenomenon in the isentropic compressible Euler equations in three dimensions. For any prescribed finite set of points $\{z_j\}_{j=1}^N \subset \mathbb{R}^3$ and an arbitrarily large parameter $M \gg 1$, we explicitly construct real-analytic initial data generated by Herglotz-type wave fields. We prove that the corresponding classical solution $$ (p,v)\in C^1([0,T]\times\mathbb{R}^3;\mathbb{R}\times\mathbb{R}^3), $$ with $$ T = C_0 \, M^{-\frac{3γ+1}{γ-1}}, $$ where $γ> 1$ is the adiabatic index and $C_0 > 0$ is a constant independent of $M$. Throughout the time interval $[0, T]$, the velocity field, its spatial gradient, and the pressure gradient exhibit simultaneous localized amplification at each prescribed point $z_j$. More precisely, each component of the velocity field is bounded below by $M$, each component of the pressure gradient is of size at least $M^{\frac{2γ}{γ-1}}$, and the velocity gradient exhibits a prescribed anisotropic sign pattern with entries of size at least $M$ at every $z_j$. All implicit constants in these estimates are independent of $M$ and depend solely on the fixed physical parameters and the locations $\{z_j\}_{j=1}^N$. This mechanism generates highly localized, shock-like gradient concentrations and implosion-like spatial profiles within the smooth regime. The underlying mechanism relies on the construction of the Herglotz kernel via Helmholtz far-field patterns, together with delicate quantitative energy estimates for the quasilinear hyperbolic system.

math.AP↗
arXiv2026

On an inverse boundary problem in elastodynamics

We study the simultaneous identification of the Lamé parameters $λ$ and $μ$ in three-dimensional static isotropic elasticity. For smooth coefficients, we establish uniqueness from the full Dirichlet-to-Neumann map when $μ$ is axisymmetric, admits a multiplicative or additive separation on a product domain, or is quasianalytic in one fixed direction. These results require neither smallness of $\nablaμ$ nor real analyticity of the coefficients, and impose no corresponding structural condition on $λ$. In the axisymmetric and separated cases, partial boundary data suffice to determine $μ$.

math.AP↗