SearcharxivSearch

arXiv subjects

Yuxuan Liao

Publications and source records attributed to Yuxuan Liao.

At least 19 recordsLinked to original sources

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

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

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

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

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

Observation of coherently modulated phonon band and lifetime in superlattice

Similar to the behavior of elementary particles, such as photons and electrons, the interference of phonon waves in artificial periodic nanostructures coherently modulates phonon band structures, serving as the foundation for phonon band engineering. However, direct observation of such coherently modulated phonon band structures remains challenging despite substantial insights from existing literature. Here, utilizing high-resolution inelastic X-ray scattering, we observed coherently modulated phonon band structures with phononic band gaps in a short-period GaAs/AlAs superlattice at 300 K and 500 K. Our findings provide the first direct evidence of phonon coherence at and above room temperatures, signifying a major advancement in the artificial engineering of phonon band structures. Furthermore, our experimental observations and ab initio lattice dynamics revealed that the coherently modulated phonon band structure enhances three-phonon scattering channels, strengthening high-order anharmonic effects such as three-phonon scattering and optical phonon softening. Our observations demonstrate the robustness of phonon coherence at high temperatures, and opens new routes for engineering phonon band structure and high-order phonon-phonon scattering by employing a flexible, bottom-up nanostructuring approach, with extensive applications in phononic metamaterials, microelectronics, and thermoelectrics.

cond-mat.mtrl-sci

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

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

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

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

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

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

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

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

Electrically switchable $2^N$-channel wave-front control with N cascaded polarization-dependent metasurfaces

Metasurfaces with tunable functionalities are greatly desired for modern optical system and various applications. To increase the operating channels of polarization-multiplexed metasurfaces, we proposed a structure of N cascaded dual-channel metasurfaces to achieve 2^N electrically switchable functional channels without intrinsic noise or cross-talk. As proof of principles, we have implemented a 3-layer setup to achieve 8 channels. In success, we have demonstrated two typical functionalities of vortex beam generation with switchable topological charge of l=-3 ~ +4 or l=-1~ -8, and beam steering with the deflecting direction switchable in an 8*1 line or a 4*2 grid. We believe that our proposal would provide a practical way to significantly increase the scalability and extend the functionality of polarization-multiplexed metasurfaces, which are potential for the applications of LiDAR, glasses-free 3D display, OAM (de)multiplexing, and varifocal meta-lens.

physics.optics

On-demand Photonic Ising Machine with Simplified Hamiltonian Calculation by Phase encoding and Intensity Detection

The photonic Ising machine is a new paradigm of optical computing that takes advantage of the unique properties of light wave propagation, parallel processing, and low-loss transmission. Thus, the process of solving combinatorial optimization problems can be accelerated through photonic/optoelectronic devices, but implementing photonic Ising machines that can solve arbitrary large-scale Ising problems with fast speed remains challenging. In this work, we have proposed and demonstrated the Phase Encoding and Intensity Detection Ising Annealer (PEIDIA) capable of solving arbitrary Ising problems on demand. The PEIDIA employs the heuristic algorithm and requires only one step of optical linear transformation with simplified Hamiltonian calculation by encoding the Ising spins on the phase term of the optical field and performing intensity detection during the solving process. As a proof of principle, several 20 and 30-spin Ising problems have been solved with high ground state probability (>0.97/0.85 for the 20/30-spin Ising model).

cs.ET

A Programmable and Reconfigurable Photonic Simulator for Classical XY Models

In this work, we proposed and experimentally demonstrated a photonic simulator for XY models, which is a typical kind of classical spin models. By encoding the XY spins on the phase term of the input light field, the corresponding XY Hamiltonian could be performed on the output light intensities. The simulator is mainly based on a programmable and reconfigurable optical vector-matrix multiplication system, which can map arbitrary XY models within the dimensionality limit. Here, we demonstrated the Berezinskii-Kosterlitz-Thouless transition in a two-dimensional XY model, in which the expectation values of some observables are calculated and consistent with the theory. Besides, we performed the ground state search of two 25-spin XY models with different spin connections and coupling strengths. Our proposal paves a new way to investigate the XY spin system.

physics.optics

Three-dimensional atomic positions and local chemical order of medium- and high-entropy alloys

Medium- and high-entropy alloys (M/HEAs) mix multiple principal elements with near-equiatomic composition and represent a paradigm-shift strategy for designing new materials for metallurgy, catalysis, and other fields. One of the core hypotheses of M/HEAs is lattice distortion. However, experimentally determining the 3D local lattice distortion in M/HEAs remains a challenge. Additionally, the presumed random elemental mixing in M/HEAs has been questioned by atomistic simulations, energy dispersive x-ray spectroscopy (EDS), and electron diffraction, which suggest the existence of local chemical order in M/HEAs. However, the 3D local chemical order has eluded direct experimental observation since the EDS elemental maps integrate the composition of atomic columns along the zone axes, and the diffuse reflections/streaks in electron diffraction of M/HEAs may originate from planar defects. Here, we determine the 3D atomic positions of M/HEA nanocrystals using atomic electron tomography, and quantitatively characterize the local lattice distortion, strain tensor, twin boundaries, dislocation cores, and chemical short-range order (CSRO) with unprecedented 3D detail. We find that the local lattice distortion and strain tensor in the HEAs are larger and more heterogeneous than in the MEAs. We observe CSRO-mediated twinning in the MEAs. that is, twinning occurs in energetically unfavoured CSRO regions but not in energetically favoured CSRO ones. This observation confirms the atomistic simulation results of the bulk CrCoNi MEA and represents the first experimental evidence of correlating local chemical order with structural defects in any material system. We expect that this work will not only expand our fundamental understanding of this important class of materials, but also could provide the foundation for tailoring M/HEA properties through lattice distortion and local chemical order.

cond-mat.mtrl-sci