SearcharxivSearch

arXiv subjects

Hongyu Liu

Publications and source records attributed to Hongyu Liu.

At least 19 recordsLinked to original sources

Identifying unknown time delay and spatially varying coefficients in a reaction-diffusion equation from boundary measurements

This work investigates an inverse problem for a general class of linear reaction-diffusion systems incorporating multiple delayed contributions, namely retarded diffusion, retarded time derivatives, and retarded source terms. The objective is to simultaneously recover the unknown time lag $\tau>0$ and spatially heterogeneous coefficients from boundary flux measurements alone. The recovery strategy exploits the singular temporal behavior generated by an incompatibility between the prescribed initial history and the boundary data. In contrast to prior inverse problems for delay equations, which assume $\tau$ known and are confined to ODE or abstract settings, our approach operates in a parabolic PDE framework with spatially varying coefficients. Once $\tau$ is identified, we establish a Lipschitz stability estimate via a Carleman inequality, in the case of time-independent coefficients $p=p(x)$, $q=q(x)$. This is the first result to simultaneously recover an unknown delay and spatially dependent coefficients in a delayed parabolic PDE from boundary data.

math.AP

Exact high-order GPT cancellation in noncircular multilayers

This paper is concerned with exact high-order generalized polarization tensor (GPT) cancellation in two-dimensional noncircular multilayers with finite positive isotropic coating conductivities. We first prove that, for every admissible cyclically symmetric core--shell geometry, there exists a unique positive coating conductivity for which the structure is weakly neutral to every uniform incident field. For higher orders, we establish locally unique coating conductivities that cancel the complete \(K\)-contracted GPTs (K-CGPTs) block on a broad class of fixed noncircular multilayers with cyclic symmetry. This includes homothetic multilayers generated by strictly star-shaped symmetric domains, without assuming that the geometry is close to concentric disks. We also replace the near-background condition by a small-core condition covering finite, insulating, and perfectly conducting cores. By varying selected interface modes together with the coating conductivities near a radial GPT-vanishing structure, we further construct exact families with neither rotational nor reflection symmetry. For three coatings, the relevant nondegeneracy conditions and an explicit chiral example are rigorously certified. Finally, we show that the resulting cancellation yields enhanced near-cloaking for every entire harmonic incident field. A set of certified numerical examples fully corroborates the theoretical predictions established in this work.

math.AP

Analytical Resource Management for Fine-grained MoE Computation-Communication Overlap

Fine-grained computation--communication overlap in distributed Mixture-of-Experts (MoE) inference allows communication to begin as partial compute results become ready. However, cooperative thread arrays (CTAs) performing computation and communication contend for finite residency capacity on streaming multiprocessors (SMs). Because a resident CTA generally retains its allocated SM resources until completion, CTAs that cannot be co-resident must wait for resources, resulting in wave-like execution. A fixed resource partition cannot adapt to changes in input size, routed expert load, and kernel configuration, potentially causing a communication backlog or reducing expert compute parallelism. We present a wave-quantized analytical model and launch-time resource manager for dependency-coupled overlap pipelines. Using routed-tile counts, kernel occupancy, GPU residency constraints, and split-level readiness dependencies, it selects the communication-CTA count and resource partition before each launch without candidate execution, per-workload profiling, or kernel recompilation. We integrate the method into the public COMET A100 implementation in FLUX. We evaluate three MoE models on four NVIDIA A100 GPUs under several parallelism strategies at the GEMM2+GatherRS operator, complete post-router MoE layer, and complete-model prefill levels. Across 15 real-p90 workloads, the analytical selector achieves 3.22 percent mean regret relative to the measured oracle with a mean solver overhead of 0.157 microseconds. Over COMET, our method achieves geometric-mean speedups of 2.528x at the GEMM2+GatherRS operator, 1.771x at the complete post-router MoE layer, and 1.185x for complete-model prefill, with maxima of 4.218x, 2.584x, and 1.439x, respectively. At every feasible TP=2/EP=2 sequence length of at least 4,096, our implementation outperforms COMET, Megatron core-TE, and FastMoE TP+NCCL.

cs.DC

Superconductivity of Tellurium Polyhydride with Tc above 90K

We report experimental diacovery of superconductivity (SC) in tellurium (Te) polyhydride. The compound was synthesized at high pressure and high temperature conditions using a diamond anvil cell combined with a laser heating system. Subsequent in situ transport measurements at high pressures, performed as a function of temperature and applied magnetic field, revealed a superconducting transition with a critical temperature Tc about 91 K at 263 GPa. The superconducting phase is assigned to TeH4 with characterized face shared TeH12 cage forming quasi molecular H2 units based on synchrotron x-ray diffraction experiments. Analysis of the SC behavior at magnetic fields yielded a Ginzburg Landau (GL) coherence length of approximately 54 angstroms. Tellurium polyhydride thus becomes another chalcogen polyhydride superconductor in addition to the landmark discovery of the first polyhydride high Tc SC SH3.

cond-mat.supr-con

Time-modulated refocusing in inhomogeneous medium

In an inhomogeneous dissipative medium, different rays experience different round-trip attenuation, so an instantaneous time mirror may retrace rays without producing a balanced point focus. We solve this problem for a microlocally selected back-propagating transverse-magnetic component generated by a short pulsating modulation of a thin shell surrounding an inhomogeneous Debye medium with Ohmic conductivity. An exact decomposition of the Maxwell--Debye field isolates the pulse-generated return, and a semiclassical mode reduction yields a scalar returned operator whose principal symbol separates the temporal pulse response, shell modulation, and accumulated material loss. Our analysis shows that geometric distortion and amplitude attenuation are both involved in wave propagation, but the geometric distortion cancels between the outgoing and returning branches, whereas physical attenuation remains. A normalized directional energy, computed from pre-modulation measurements using the known lossless backward propagator, contains the same leading attenuation factor as the returned symbol. Its reciprocal defines a smooth, nonnegative, physically admissible modulation that equalizes the selected source-side gain up to a relative $O(h)$ error without requiring a complete attenuation model. With such a modulation, the field generated by a point source has a focal-scale leading profile independent of directional attenuation, with a unique maximum at the source and coherent return time. In every fixed focal window, the maximum is displaced by at most $O(h^2)$ in space and time, and the spatial half-amplitude area is $O(h^2)$.

math.AP

Global recovery of Lorentzian principal geometry from the hyperbolic Dirichlet-to-Neumann map

We prove that the full Dirichlet-to-Neumann map on a finite time interval globally determines the Lorentzian metric \(\mathbf G_{g,c}=-c(x,t)^2\mathrm{d}t^2+g(x)\) encoded by the principal symbol of the wave operator. The result holds in spatial dimensions \(n\geq3\) for multiplicatively separable wave speeds \(c(x,t)=a(x)b(t)\), provided the accumulated effective time during the experiment exceeds the maximal travel time from the boundary to the interior and back. The data determine both the unknown Riemannian metric \(g(x)\) and the wave speed \(c(x,t)\) throughout the observation cylinder, up to a spatial change of coordinates that fixes the boundary and leaves the measured time unchanged. In particular, the temporal factor \(b\) is not prescribed but is recovered from the same measurements. We also construct several examples demonstrating that the dimensional and visibility conditions for uniqueness are sharp.

math.AP

Detection of a moving point-like scatter by using moving receivers and emitter

We consider an inverse scattering problem for the scalar wave equation in which the point emitter, a point-like scatterer, and multiple receivers are all moving. The goal is to reconstruct the trajectory of a moving point-like scatterer from time-dependent measurements of the scattered field. To this end, we establish a rigorous point-interaction model for the moving scatterer in the time domain, proving well-posedness of the forward scattering problem, including existence, uniqueness and continuous dependence of the scattered field on the scatterer trajectory and scattering parameter. By exploiting the retarded-time structure, we introduce distance functions that connect emission, scattering, and observation processes, and show that they satisfy a coupled system of nonlinear ordinary differential equations determined by the measurement data. Based on this formulation, we propose a reconstruction algorithm that combines initial localization with the solution of the derived ODE system. Numerical experiments demonstrate that the method is accurate and robust with respect to noise, with reconstruction errors remaining stable under moderate perturbations.

math.AP

Derivative-Free Recovery of a Nonlinearity in a Free-Boundary DCIS Model

We investigate an inverse coefficient problem for a multidimensional free-boundary model of ductal carcinoma in situ (DCIS), in which the tumor interface is governed by the nonlinear coupling of nutrient concentration, tissue pressure and curvature, and the unknown nutrient consumption function is recovered from a temporal trace of the nutrient concentration obtained by needle aspiration biopsy. For the forward problem, we establish uniform local well-posedness over an admissible class of consumption functions. The inverse problem is recast as a fixed-point problem: approximating the admissible set by finite-dimensional spaces yields discrete iteration operators, for which we prove the existence of fixed points, and the strong convergence of a subsequence of discrete fixed points to a fixed point of the continuous operator, which solves the inverse problem under a consistency condition. To approximate these fixed points, we develop a homotopy-continuation method combining a linearly convergent Picard iteration with a cubical Sperner search, without differentiating an objective functional or computing an adjoint state. Several numerical experiments on radially symmetric and non-symmetric DCIS models corroborate the theoretical findings.

math.NA

Boundary Spectral Inequalities from Measurable Sets and Heat Observability on $C^{1,1}$ Domains

In this paper, we consider the boundary control problem. For bounded connected $C^{1,1}$ domains, we establish quantitative boundary spectral inequalities for both Dirichlet and Neumann eigenfunctions. Moreover, on the basis of the spectral inequality, we study the boundary control of the solution of the heat equation and get the following observability inequality $\|u(T)\|_{L^2(\Omega)}^2 \leq C\int_{\mathcal J}|\partial_\nu u(x,t)|^2 \, d\sigma \, dt,$ where the observation domain $\mathcal J\subset\partial\Omega\times(0,T)$ is measurable with $|\mathcal J|>0$. The proof of the observability inequality combines quantitative continuation from positive-measure boundary sets with low-frequency spectral concentration. This result shows that boundary observability of solutions to the heat equation can also be achieved in $C^{1,1}$ domains.

math.AP

A Weyl-type law for surface-localized eigenfunctions of the Maxwell transmission problem

This work studies surface-localized transmission eigenfunctions for time-harmonic electromagnetic scattering. Prior results on this phenomenon are mostly qualitative, proving existence without quantifying distribution. Here we provide a quantitative analysis for the Maxwell transmission eigenvalue problem, covering both TE and TM modes. We first establish a Weyl asymptotic law for the full counting function, with cubic growth with respect to the radius $R$. We then prove Weyl-type upper and lower bounds for the counting functions restricted to surface-localized modes, and demonstrate that they share the same growth order three. To our knowledge, this is the first quantitative result of its kind, demonstrating that surface-localized eigenfunctions form a non-negligible fraction of the high-frequency spectrum.

math.AP

Quasianalyticity and geometric rigidity in anisotropic Calder\'on's problem

The anisotropic Calder\'on problem in dimensions $n\ge3$ remains open for general smooth metrics~\cite{Uhlmann2009}. We establish uniqueness results in two complementary regimes. In the first, the identity principle for quasianalytic functions propagates boundary information and yields uniqueness in general geometry, including a partial-boundary 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 uniqueness 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 in general geometry, while symmetry or one-sided order replaces that continuation at $C^\infty$ regularity.

math.AP

Superconducting Hydride Mg2RhH6 Experimentally Achieved at Lower Pressure

Although tremendous progress has been made in recent years in the field of polyhydride superconductors, the realization of high critical temperature superconductivity still relies on formidable high pressures. Searching for superconducting hydrides at lower pressures is of particular importance. Here we report the first experimental synthesis of the Mg2RhH6, which achieves superconductivity under a significantly reduced pressure of 30 GPa. The synthesis of Mg2RhH6 proceeds via a two step process (1) preparation of the Mg2RhH5 precursor containing hydrogen atoms stabilized by covalent bonds, followed by (2) hydrogen supplementation resulting in the filling of electrons into anti bonding orbitals above 30 GPa, which was accompanied by the structural transition from RhH5 square pyramid to RhH6 octahedron. Superconductivity is achieved at 30 GPa with a Tc of 24 K, which is further enhanced to 29 K at 53 GPa, evidenced by a sharp drop of resistivity to zero and characteristic suppression of Tc under applied magnetic fields. Our experiments prove the Mg2RhH6 superconductor to be thermodynamically stable above 30 GPa, making it the first case exhibiting a Tc of approximately 30 K at a readily accessible pressure. This study pioneers a highly promising pathway for the rational design and discovery of high temperature superconductors within phonon mediated BCS framework.

cond-mat.supr-con

Inverse problems for nonlinear Kirchhoff plate equations with multiple unknown parameters

This paper provides a comprehensive treatment of inverse boundary value problems for (nonlinear) Kirchhoff plate equations under diverse general settings. We begin by establishing the global well-posedness of the nonlinear forward equations, which not only underpins the subsequent inverse analysis but also holds independent theoretical significance. The inverse problems are then examined for both passive and active measurement regimes. With a single passive boundary measurement, we establish the stable recovery of the unknown initial data. In the active regime with infinitely many boundary measurements, our results are twofold. For linear equations featuring generic time-dependent potentials-allowing for spatial unboundedness, we demonstrate the simultaneous recovery of both initial data and coefficients. For nonlinear equations, where both the nonlinearity and initial data are unknown, we develop a novel Runge approximation approach, together with carefully constructed geometric optics solutions and higher-order linearization around nonzero solutions, to prove their simultaneous determination. Furthermore, we introduce a delicate cut-off technique that provides an alternative means of addressing the scenario of vanishing initial data. Notably, the methodologies and results developed herein are readily generalizable to other boundary conditions and plate models, including the classical Euler-Bernoulli equation.

math.AP

LiveLight: Real-time Streaming Video Relighting with Interactive Control

We present LiveLight, the first diffusion-based framework for real-time streaming video relighting with interactive 3D lighting control. Achieving this is non-trivial, as it requires overcoming three critical challenges: effectively injecting dynamic 3D lighting into a diffusion model, maintaining high-fidelity generation under an extremely low NFE (Number of Function Evaluations) budget for real-time speed, and facilitating continuous streaming for interactive control. To address these pain points, we propose three key designs. First, for accurate lighting injection, we propose a lightweight adapter that feeds Multi-Plane Light Irradiance (MPLI) conditions-depth-aware irradiance maps encoding 3D lighting geometry-directly into the diffusion backbone. Second, to prevent rendering quality degradation at low NFEs towards real-time distillation, we introduce a geometry-guided feedback branch. This training-time constraint leverages a frozen geometry estimator to enforce depth- and normal-consistent relighting, ensuring geometrically plausible shading without adding inference overhead. Finally, to enable streaming interaction, we develop a progressive rolling-window strategy that maintains a denoising ladder of latent chunks at varying noise levels. By propagating intermediate states, this strategy guarantees temporal coherence and supports arbitrarily long video relighting with per-frame reference refresh. Extensive experiments on real-world and synthetic benchmarks demonstrate that LiveLight achieves state-of-the-art relighting quality while running at real-time speed, significantly outperforming offline baselines in temporal stability, lighting controllability, and user preference. To foster real-time interactive relighting research, we will publicly release our models, training data, and synthetic data generator.

cs.CV

Emergent interweaved CDW unoccupied states in hole-doping LaTe2 with element substitution

Multiple CDW-ordered layered rare-earth tellurides have increasingly emerged as a research hotspot, owing to their unconventional CDW formation, high transition temperature, and confirmed existence of axial Higgs modes. Recently, interweaved CDW in LaTe2 and its element-substituted phase LaTe2-xSbx have been investigated through TEM and ARPES measurements, revealing their distinct origins. Nevertheless, several complex diffraction features observed in TEM patterns remain unelucidated. In this work, we carried out scanning tunneling microscopy (STM) on LaTe1.6Sb0.4 crystals at 9 K. Three interweaved CDW wave vectors, q1=8/11a*, q2=5/11a* and q3=3/11a* were observed, which are induced by hole doping in unoccupied states. The q1 and q3 are theoretically verified to be nesting vectors connecting px- and py- bands. Furthermore, the satellite spots relative to the main Bragg spots p corresponding to a 11-a-superlattice have also been detected. Our findings provide critical insights for further exploring the origin of the interweaved CDW in hole/electron doping materials.

cond-mat.str-el

Localized gradient enhancement near anisotropic electromagnetic scatterers

This work investigates time-harmonic electromagnetic scattering governed by the Maxwell system, where bounded anisotropic scatterers are embedded in a homogeneous electromagnetic background. We focus on the localized enhancement of the gradients of the total electric and magnetic fields in small boundary-attached neighborhoods of finitely many prescribed points near boundaries of anisotropic electromagnetic scatterers. We show that, through a suitable construction of incident electromagnetic waves, the gradients of both the total electric field and the total magnetic field can be made arbitrarily large in these neighborhoods. The main strategy is based on the introduction of auxiliary boundary-attached electromagnetic neighborhoods and the associated electric and magnetic fields, which exhibit strong gradient variation near the prescribed points. Using the approximation property of Maxwell Herglotz wave functions, these auxiliary fields are then approximated by physically admissible incident waves in the neighborhood of the scatterers. Together with the well-posedness and continuous dependence of the anisotropic scattering problem, this implies that the corresponding scattered field can be controlled to be sufficiently weak in the relevant region. Consequently, the total field is dominated by the incident field near the prescribed points and inherits its large-gradient behavior. The result provides a theoretical mechanism for localized gradient enhancement in anisotropic electromagnetic scattering and may have implications for field concentration, high-resolution probing, and sensitivity analysis of electromagnetic responses in complex media.

math.AP

OPSD-V: On-Policy Self-Distillation for Post-Training Few-Step Autoregressive Video Generators

We propose OPSD-V, an on-policy self-distillation paradigm for post-training few-step autoregressive (AR) video diffusion models. Existing few-step AR video generators can produce long videos with low latency, but still suffer from error accumulation and weakened motion dynamics during long autoregressive rollout. OPSD-V reduces long-horizon degradation while preserving the original few-step inference path. The key idea is to introduce real long-video data as temporal context during training and use it to provide dense trajectory-level supervision. Specifically, the student follows the exact inference-time rollout, generating each chunk conditioned on its own previously generated KV cache. In parallel, the teacher is evaluated at the same student-visited denoising states, but uses a cleaner AR-consistent temporal cache in which older history can be replaced by real-video context. This provides dense denoising-level corrective targets under on-policy AR cache dynamics, without changing the sampler, number of denoising steps, or inference-time cache mechanism. We apply OPSD-V to representative few-step AR video models, including Self-Forcing and LongLive. Experiments show consistent improvements in visual quality, motion dynamics, and VBenchLong scores. A user study with 10 participants comparing 20 video pairs shows that OPSD-V is preferred over the base models in 66.0% of overall-preference judgments (82.5% excluding ties).

cs.CV

Inverse Scattering from Conformal Infinity for Totally Geodesic Defects in Hyperbolic Space

We study inverse scattering from conformal infinity for impenetrable topological defects whose interaction surfaces are totally geodesic in hyperbolic space \(\mathbb H^n\), \(n \geq 2\). For a fixed spectral parameter \(\lambda_0 > 0\), the prescribed inputs are boundary labels \(\xi \in \partial_\infty \mathbb H^n\). Each label selects an incoming Helgason mode in the hyperbolic interior. Given a defect \(\mathcal P \Subset \mathbb H^n\), this mode generally fails to satisfy the homogeneous trace condition on the interaction surface and hence generates an outgoing correction. The leading coefficient of this correction at conformal infinity defines the measured far-field pattern. The central question is whether \(\mathcal P\) can be recovered from the far-field patterns corresponding to one or finitely many prescribed boundary labels. This gives a formally determined inverse problem at one fixed spectral parameter. Our first main result establishes the unique determination of totally geodesic defects, an admissible class that includes both bulk components and hypersurface-supported ones. For Dirichlet-type defects, a single boundary label suffices. For Neumann-type defects, \(n+1\) boundary labels are sufficient and in general necessary. These labels are required to satisfy the natural affine-independence condition at conformal infinity. Our second main result provides quantitative stability estimates within the same framework. The hyperbolic Hausdorff distance between two defects is controlled by the discrepancy of their far-field patterns at conformal infinity. The proof combines continuation from conformal infinity with quantitative geodesic reflection across totally geodesic hypersurfaces. Taken together, these results yield a qualitative and quantitative far-field inverse scattering theory at conformal infinity, based on formally determined data.

math.AP