arXiv subjects

Yuxuan Liao

Publications and source records attributed to Yuxuan Liao.

At least 19 recordsLinked to original sources

arXiv2026

Classification and asymptotics for the boundary Yamabe equation with an isolated singularity

We classify positive singular solutions of the boundary Yamabe equation on the punctured half-space in every dimension $n\ge3$. Previous symmetry results reduce this problem to a nonlinear PDE in two variables, for which classical phase-plane methods are unavailable. We develop a Hamiltonian method that combines local bifurcation with compactness to prove that every nonstationary cylindrical profile of a singular solution is periodic and uniquely determined, up to translation, by its Hamiltonian energy. At each stationary or periodic profile, the space of solutions of the linearized equation is two-dimensional. Finally, every positive solution in a half-ball with a nonremovable isolated boundary singularity is asymptotic to a unique global singular solution, with an algebraically decaying relative error.

math.AP↗

arXiv2026

A compact six-beam 3D magneto-optical trap based on multifunctional metasurface chips

Magneto-optical traps (MOTs), indispensable to cold-atom-based quantum computing and quantum precision measurement, are increasingly desired in compact and stable form. Particularly, the six-beam 3D-MOT, distinguished by symmetric geometry and superior trapping performance, finds particularly broad applications. Conventional implementations, however, rely on complex and bulky free-space optics, hindering miniaturization, practical assembly, and long-term stability. Here, we demonstrate a compact six-beam 3D-MOT system that employs two multifunctional optical metasurface chips to implement the optical-field functionalities required for cooling and trapping atoms. By combining two metasurface chips and a vacuum cell, a photonic-integrated cell module (PICM) is implemented as the core assembly and the volume is only" 73*73*107 mm^3" . In success, 1.3 * 10^3 Rb atoms are trapped and cooled to the temperature of ~183 μK. It should be noticed that the laser beam is guided to the metasurface through optical fiber, thus such fully fiber-coupled architecture enables straightforward and stable operations. We believe that this work would pave a practical route toward compact and portable 3D-MOT.

physics.optics↗

arXiv2026

An AI-Assisted Formalization of the Poincaré Conjecture

We present an AI-assisted Lean 4 formalization of the Poincaré conjecture. The project began with limited reusable formal infrastructure for the geometric analysis behind the proof. To organize this work, we combined a proof blueprint prepared by mathematicians with explicit milestone statements. These milestones enabled parallel agent work and gave mathematicians clear points to locate blockers and provide effective mathematical guidance. Our analysis identifies the human interventions and organizational choices behind this workflow. The project provides a starting point toward reusable infrastructure for future formalization projects; such infrastructure, once developed, could eventually reduce the cost of verifying mathematical results in geometric analysis.

cs.AI↗

arXiv2026

Observation of coherently modulated thermal phonon band and lifetime in superlattice

Manipulating phonon band structures through wave interference in artificial periodic nanostructures is of fundamental interest and forms the foundation of phonon band engineering. Yet, direct observation of thermal phonon wave interference has remained elusive despite half a century of extensive research. Here, utilizing inelastic x-ray scattering, we directly observed momentum-resolved coherently modulated thermal phonon bands and lifetimes in a short-period GaAs/AlAs superlattice at 300 K. The modulation persists at even 500 K, demonstrating robust coherent thermal phonon transport at high temperatures. Our measurements, combined with ab initio lattice-dynamics calculations, further show that thermal phonon interference expands the three-phonon scattering phase space and strengthens anharmonic effects, highlighting the interplay between phonon band modulation and anharmonicity. Our observations establish nanostructuring as a versatile route for engineering thermal phonon bands and lifetimes at high temperatures across diverse applications.

cond-mat.mtrl-sci↗

arXiv2026

A Simulation-Grounded Agentic VLM Framework for Wildfire Monitoring and Reporting

Effective wildfire monitoring requires relating visual evidence to physical fire dynamics, yet real videos with synchronized physical annotations are scarce and high-fidelity 3D simulation is costly. We present a simulation-grounded vision-language model (VLM) framework that automatically converts 2D wildfire simulations into labeled video episodes. A fixed Blender mapping produces low-detail 3D proxies aligned with simulator terrain, fuel layout, fire activity, and wind cues; controllable video generation supplies richer appearance. The proxies are intermediate representations rather than finely rendered final scenes. Generated videos and simulator labels form reusable multimodal memory for a training-free multi-agent VLM system that retrieves reference episodes, reconciles visual and memory-based predictions, and produces structured wildfire reports. On held-out generated episodes, video memory achieves 51.5% exact four-tag accuracy, compared with 22.6% for direct VLM querying and 16-17% for text-only memory; the complete system achieves 77.3% accuracy on six simulator-derived report fields. Component ablations, cross-generator tests, and three real-UAV evaluations assess retrieval, reporting, generator changes, and observable monitoring tasks. The framework connects automatic simulation-to-proxy conversion with memory-based VLM reasoning under scarce real-world physical annotations.

cs.CV↗

arXiv2026

Recursive Code World Models: Building Complex Worlds through Recursive Scene Programs

Code world models represent worlds as executable programs, but this representation alone does not determine how to construct a complex world. We introduce Recursive Code World Models (RCWM), a framework for reconstructing complex 3D worlds in code from a single reference image. RCWM couples a Recursive Scene Program (RSP) representation with a construction solver that recursively calls itself. An RSP represents the executable world as compositional scene code, while each solver call follows the same complete process: establish the whole, recursively reconstruct unresolved parts, and revisit the whole to refine their composition. This global-local-global recursion gives fine-scale structures their own perception-and-editing loops while preserving scene-wide geometry and relationships. Reference-aligned views propagate a shared camera projection across levels, while parent revisitation addresses boundaries, spatial relations, and shared errors that emerge after local refinement. A vision-language coding agent directly compares reference images with scene renders to guide refinement, recursive descent, and return. Across complex scenes, RCWM outperforms prior code-based image-to-scene reconstruction methods. Ablation studies further support the benefits of recursive construction and suggest that deeper calls can improve finer-scale reconstruction. RCWM provides a recursive construction principle for building complex executable worlds from visual evidence.

cs.CV↗

arXiv2026

Existence of classical solutions to the exterior Dirichlet problem for Hessian quotient equations

This paper studies the exterior Dirichlet problem for Hessian quotient equations with nonconstant right-hand sides. We prove the existence of classical admissible solutions with prescribed asymptotic Hessians and establish convergence of the Hessian at infinity. The main difficulties are obtaining second-order estimates on expanding annuli that are uniform in the outer radius and deriving Hessian convergence under an integral tail condition with no prescribed decay rate. These are resolved through a radius-independent boundary-to-interior estimate and a blow-down argument. We also allow nonradial perturbations of the source. Under stronger pointwise assumptions, we obtain higher-order asymptotic expansions and solutions for every sufficiently large prescribed asymptotic constant.

math.AP↗

arXiv2026

LatentChem: From Textual CoT to Latent Thinking in Chemical Reasoning

Current chemical large language models (LLMs) predominantly rely on explicit Chain-of-Thought (CoT) to solve complex reasoning problems. However, forcing nonverbal tacit chemical logic into discrete natural language imposes a fundamental ``modality mismatch,'' creating an artificial bottleneck for reasoning. We introduce LatentChem, a reasoning interface that decouples chemical logic from linguistic generation, enabling the model to process information via continuous thought vectors and dynamic perception. Our investigation reveals a pivotal emergent behavior: spontaneous internalization, defined here as self-selected under outcome-only optimization. When optimized for task success, the model abandons verbose textual derivations in favor of implicit latent computation, suggesting that it identifies the continuous manifold as a more native substrate for chemical logic. This paradigm shift also proves to be a superior computational strategy: LatentChem achieves a 59.88\% non-tie win rate against the strong CoT baseline on the rigorous ChemCoTBench, while delivering a broad 10.84$\times$ average reduction in reasoning step overhead (5.96$\times$ wall-clock speedup) across all evaluated benchmarks. Our results provide empirical evidence that chemical reasoning is more naturally and effectively realized as continuous latent dynamics rather than discretized linguistic trajectories.

physics.chem-ph↗

arXiv2026

Isolated Singularities of Solutions to the Yamabe Equation with boundary in Dimension 3 and 4

This paper studies the asymptotic behavior of positive solutions to the boundary Yamabe equation near an isolated singularity when the metric is not conformally flat. In dimensions 3 and 4, we establishes the sharp upper bound and, in the non-removable case, the matching lower bound, which also gives a necessary and sufficient condition for removability. Moreover, every solution with a non-removable singularity is shown to be asymptotically cylindrically symmetric, without relying on a global classification of Fowler-type singular solutions. These results aslo extend the flat half-space theory of Caffarelli-Jin-Sire-Xiong (2014) to non-flat boundary geometries and provide boundary analogues of the interior theories developed by Marques (2008) and Xiong-Zhang (2022).

math.AP↗

arXiv2026

MedicalAgentsBench for Complex Medical Reasoning: Comparing Internalized Reasoning Models versus Externalized Agent-based Frameworks

Complex medical reasoning requires integrating heterogeneous clinical evidence across multiple inference steps. Large language models (LLMs) now approach this through two routes: internalized reasoning and externalized agent scaffolding (frameworks that decompose problems collaboratively amongst multiple LLMs). To determine whether these routes are exclusive or complementary, we introduce MedicalAgentsBench, a filtered benchmark of 862 complex clinical questions drawn from the union of eight medical datasets via difficulty-aware curation and contamination screening. Evaluating three internalized reasoning models (DeepSeek-R1, o1-mini, and o3-mini), seven base models, and nine externalized agent-based methods, we find that internalized and externalized approaches each independently improve performance, and that their benefits compound: the highest accuracy is achieved by layering agent workflows onto an internalized reasoning model (i.e., o3-mini + MDAgents with 35.1%). Pareto analysis shows this combination dominates the cost-performance frontier; moreover, lightweight optimization on inexpensive models offers an entry point for resource-constrained settings. Our benchmark is at https://github.com/gersteinlab/MedicalAgentsBench.

cs.CL↗

arXiv2026

Trapping 11,000 Atoms in a Tweezer Array Generated by a Single Metasurface

The scalability of physical qubit numbers is a central challenge toward a universal fault-tolerant quantum computer. The inherent scalability of atom array quantum computers stems from the identical nature of atomic qubits, so the available qubit resource is primarily limited by the number of atoms that can be trapped and controlled. Here, we robustly trap 11,000 individual atoms in a tweezer array, thereby enabling the available qubit resource to reach the tens-of-thousands scale for the first time among all quantum computation platforms. This advance is enabled by a single metasurface, approximately 2 cm in diameter, that generates the entire tweezer array without the need for microscope objectives, thereby maximizing laser-power efficiency. The large aperture ensures a working distance of about 1.5 cm, allowing the metasurface to be placed outside the vacuum cell and avoiding the technical complications of in-vacuum operation. We further characterize the randomly loaded atom array using the statistical theory of percolation phase transitions. This work takes an important first step toward a quantum computer at the 10,000-qubit scale.

quant-ph↗

arXiv2026

Stabilization-Free H(curl) and H(div)-Conforming Virtual Element Method

Standard Virtual Element Method (VEM) requires stabilization terms that significantly affect the numerical computation performance. In this work, we propose a stabilization-free VEM for general order $\mathbf{H}(\operatorname{\mathbf{curl}})$ and $\mathbf{H}(\operatorname{div})$-conforming spaces by constructing novel serendipity projectors and corresponding serendipity spaces with minimum number of DoFs. Our approach handles the full De Rham complex chain in $\mathbb{R}^3$ while preserving essential properties including boundary continuity and commutativity. Since the number of DoFs are minimized, computational overhead is greatly reduced. The optimal approximation properties are rigorously proven and validated through Maxwell eigenvalue problems with numerical experiments.

math.NA↗

arXiv2026

A transformable slender microrobot inspired by nematode parasites for interventional endovascular surgery

Cardiovascular diseases account for around 17.9 million deaths per year globally, the treatment of which is challenging considering the confined space and complex topology of the vascular network and high risks during operations. Robots, although promising, still face the dilemma of possessing versatility or maneuverability after decades of development. Inspired by nematodes, the parasites living, feeding, and moving in the human body's vascular system, this work develops a transformable slender magnetic microrobot. Based on the experiments and analyses, we optimize the fabrication and geometry of the robot and finally create a slender prototype with an aspect ratio larger than 100 (smaller than 200 microns in diameter and longer than 20 mm in length), which possesses uniformly distributed magnetic beads on the body of an ultrathin polymer string and a big bead on the head. This prototype shows great flexibility (largest curvature 0.904 mm-1) and locomotion capability (the maximum speed: 125 mm/s). Moreover, the nematode-inspired robot can pass through sharp turns with a radius of 0.84 mm and holes distributed in three-dimensional (3D) space. We also display the potential application in interventional surgery of the microrobot by navigating it through a narrow blood vessel mold to wrap and transport a drug (95 times heavier than the robot) by deforming the robot's slender body and releasing the drug to the aim position finally. Moreover, the robot also demonstrates the possible applications in embolization by transforming and winding itself into an aneurysms phantom and exhibits its outstanding injectability by being successfully withdrawn and injected through a medical needle (diameter: 1.2 mm) of a syringe.

cs.RO↗

arXiv2026

Three-dimensional imaging of individual carbon atoms

Carbon is fundamental to science and technology due to its diverse bonding configurations, structural versatility, and essential role in defining the mechanical, chemical, electronic, and quantum properties of materials. However, direct three-dimensional (3D) imaging of individual carbon atoms remains a long-standing challenge. Here, we use twisted bilayer graphene (TBG) as a model system and demonstrate ptychographic atomic electron tomography (pAET) for determining the 3D atomic coordinates of individual carbon atoms with a precision of 0.11 angstrom. The resulting 3D atomic model uncovers chiral lattice distortions driven by van der Waals interactions that exhibit meron-like and skyrmion-like structural textures. These findings provide direct insight into the interplay between 3D chiral lattice deformation and electronic properties in moire-engineered carbon systems. Beyond TBG, pAET offers a versatile approach for 3D atomic-scale imaging of carbon-based and other light-element materials that are central to advances in physics, chemistry, materials science, and nanotechnology.

cond-mat.mtrl-sci↗

arXiv2025

Direct Generation of an Array with 78400 Optical Tweezers Using a Single Metasurface

Scalability remains a major challenge in building practical fault-tolerant quantum computers. Currently, the largest number of qubits achieved across leading quantum platforms ranges from hundreds to thousands. In atom arrays, scalability is primarily constrained by the capacity to generate large numbers of optical tweezers, and conventional techniques using acousto-optic deflectors or spatial light modulators struggle to produce arrays much beyond $\sim 10,000$ tweezers. Moreover, these methods require additional microscope objectives to focus the light into micrometer-sized spots, which further complicates system integration and scalability. Here, we demonstrate the experimental generation of an optical tweezer array containing $280\times 280$ spots using a metasurface, nearly an order of magnitude more than most existing systems. The metasurface leverages a large number of subwavelength phase-control pixels to engineer the wavefront of the incident light, enabling both large-scale tweezer generation and direct focusing into micron-scale spots without the need for a microscope. This result shifts the scalability bottleneck for atom arrays from the tweezer generation hardware to the available laser power. Furthermore, the array shows excellent intensity uniformity exceeding $90\%$, making it suitable for homogeneous single-atom loading and paving the way for trapping arrays of more than $10,000$ atoms in the near future.

cond-mat.quant-gas↗

arXiv2025

Multi-channel electrically tunable varifocal metalens with compact multilayer polarization-dependent metasurfaces and liquid crystals

As an essential module of optical systems, varifocal lens usually consists of multiple mechanically moving lenses along the optical axis. The recent development of metasurfaces with tunable functionalities holds the promise of miniaturizing varifocal lens. However, existing varifocal metalenses are hard to combine electrical tunability with scalable number and range of focal lengths, thus limiting the practical applications. Our previous work shows that the electrically tunable channels could be increased to 2N by cascading N polarization-dependent metasurfaces with liquid crystals (LCs). Here, we demonstrated a compact eight-channel electrically tunable varifocal metalens with three single-layer polarization-multiplexed bi-focal metalens and three LC cells. The total thickness of the device is ~6 mm, while the focal lengths could be switched among eight values within the range of 3.6 to 9.6 mm. The scheme is scalable in number and range of focal lengths and readily for further miniaturization. We believe that our proposal would open new possibilities of miniaturized imaging systems, AR/VR displays, LiDAR, etc.

physics.optics↗

arXiv2025

Polarization Decoupling Multi-Port Beam-Splitting Metasurface for Miniaturized Magneto-Optical Trap

In regular magneto-optical trap (MOT) systems, the delivery of six circularly polarized (CP) cooling beams requires complex and bulky optical arrangements including waveplates, mirrors, retroreflectors, etc. To address such technique challenges, we have proposed a beam delivery system for miniaturized MOT entirely based on meta-devices. The key component is a novel multi-port beam-splitting (PD-MPBS) metasurface that relies on both propagation phase and geometric phase. The fabricated samples exhibit high beam-splitting power uniformity (within 4.4%) and polarization purities (91.29%~93.15%). By leveraging such beam-splitting device as well as reflective beam-expanding meta-device, an integrated six-beam delivery system for miniaturized MOT application has been implemented. The experimental results indicate that six expanded beams have been successfully delivered with uniform power (within 9.5%), the desired CP configuration and large overlapping volume (76.2 mm^3). We believe that a miniaturized MOT with the proposed beam delivery system is very promising for portable application of cold atom technology in precision measurement, atomic clock, quantum simulation and computing, etc.

physics.optics↗

arXiv2024

A Printed Microscopic Universal Gradient Interface for Super Stretchable Strain-Insensitive Bioelectronics

Stretchable electronics capable of conforming to nonplanar and dynamic human body surfaces are central for creating implantable and on-skin devices for high-fidelity monitoring of diverse physiological signals. While various strategies have been developed to produce stretchable devices, the signals collected from such devices are often highly sensitive to local strain, resulting in inevitable convolution with surface strain-induced motion artifacts that are difficult to distinguish from intrinsic physiological signals. Here we report all-printed super stretchable strain-insensitive bioelectronics using a unique universal gradient interface (UGI) to bridge the gap between soft biomaterials and stiff electronic materials. Leveraging a versatile aerosol-based multi-materials printing technique that allows precise spatial control over the local stiffnesses with submicron resolution, the UGI enables strain-insensitive electronic devices with negligible resistivity changes under a 180% stretch ratio. We demonstrate various stretchable devices directly printed on the UGI for on-skin health monitoring with high signal quality and near perfect immunity to motion artifacts, including semiconductor-based photodetectors for sensing blood oxygen saturation levels and metal-based temperature sensors. The concept in this work will significantly simplify the fabrication and accelerate the development of a broad range of wearable and implantable bioelectronics for real-time health monitoring and personalized therapeutics.

physics.med-ph↗