arXiv ScienceSearch

arXiv subjects

Cheng Guo

Publications and source records attributed to Cheng Guo.

At least 19 recordsLinked to original sources

LUCID: Latent-Skill Unified Control via Imagined Dynamics for Long-Horizon Humanoid Loco-Manipulation

Long-horizon humanoid loco-manipulation requires composing versatile whole-body skills and reliable high-level decision making. Existing methods often coordinate pretrained skills with scripted planners, finite-state machines or task-specific model-free policies, restricting their ability to handle complex task sequences. To address this limitation, we propose \textbf{LUCID}, a hierarchical model-based reinforcement learning framework that plans over reusable skills through imagined rollouts of a learned dynamics model. LUCID first trains a structured latent-conditioned low-level policy via adversarial imitation and then freezes it while jointly learning a high-level policy and macro-dynamics world model. The world model predicts the temporally extended state transitions induced by latent decisions, enabling high-level policy optimization through imagined rollouts. We evaluate our framework across various simulated multi-object rearrangement scenarios. Experimental results show that LUCID improves the full-task success and partial-completion rates compared to prior baseline methods, demonstrating its effectiveness in complex sequential loco-manipulation tasks.

cs.LG

CoCoNav: Conformal Control for Safe Robot Navigation in Crowds

Safe and efficient robot navigation in crowds requires anticipating pedestrian motion despite uncertain and potentially shifting prediction errors. Existing reactive methods can produce oscillatory behavior, while predictive planners often treat forecasts as exact or rely on restrictive error models. Incorporating conservative uncertainty sets as hard constraints can also render model predictive control (MPC) infeasible. We propose \textit{CoCoNav}, a crowd-navigation framework that combines online conformal calibration with runtime-certified planning. A horizon-specific conformal proportional--integral controller adapts trajectory-error bounds to regulate long-run empirical coverage, enabling the framework to respond to changing prediction errors. A \textit{relax-then-verify} planner preserves solver feasibility by generating nominal trajectories with soft-constrained MPC and separately certifying them, together with contingency maneuvers, against the calibrated bounds before execution. Simulations and quadruped experiments show that CoCoNav achieves a favorable balance among collision avoidance, task success, and navigation efficiency relative to the evaluated baselines.

cs.RO

Compound symmetries and double antisymmetry groups in linear time-invariant photonic systems

Symmetry is fundamental to photonic systems. External (spatial) symmetries and internal symmetries---Lorentz reciprocity, energy conservation, and time-reversal symmetry---constrain the electromagnetic response. Photonic systems can also possess compound symmetries that combine external and internal transformations, exemplified by parity-time (PT) symmetry. However, a unified framework for general compound symmetries involving reciprocity, energy conservation, and time reversal remains lacking, leaving their classification and physical implications unexplored. In this paper, we present such a framework for linear photonic systems. We define compound transformations and symmetries, and derive their constraints on electromagnetic fields and scattering matrices. We show that internal, external, and compound symmetries are naturally described by the theory of double antisymmetry groups. This theory classifies linear time-invariant photonic systems into twelve symmetry categories, each imposing characteristic constraints on the electromagnetic response. We illustrate two representative categories with numerical examples of photonic crystal slabs and apply the theory to examine Kirchhoff's law of thermal radiation for a gyrotropic sphere. Our work provides a systematic foundation for analyzing and engineering symmetry in photonic systems.

physics.optics

Zero-Fi: Zero-Shot Wi-Fi-Based Human Activity Recognition via Contrastive Signal-Language Alignment

Wi-Fi-based human activity recognition has advanced substantially, but most existing methods assume a closed set of activities and require labeled Wi-Fi samples for every target class, limiting their ability to recognize unseen activities. We present Zero-Fi, a contrastive signal-language alignment framework for zero-shot Wi-Fi-based human activity recognition. Zero-Fi learns unified representations from complementary Wi-Fi signal features and aligns them with the semantic representations of natural-language activity descriptions in a shared embedding space. This cross-modal alignment enables Zero-Fi to recognize new activity classes without requiring labeled Wi-Fi samples or model adaptation for those classes. Experiments on large-scale public benchmark datasets demonstrate effective zero-shot recognition of held-out activity classes, highlighting the potential of signal-language alignment to extend Wi-Fi sensing beyond predefined activity classes.

cs.CV

mmSimPrior: Learning Simulation Priors for Data-Efficient and Generalizable Real-World Radar-based Human Motion Reconstruction

Millimeter-wave (mmWave) radar enables privacy-preserving and illumination-robust human motion reconstruction, but training generalizable models typically requires costly paired radar-motion recordings. Simulation can scale such supervision, yet even physics-based simulators cannot fully reproduce real-world multipath, clutter, hardware-specific response statistics, or distance-dependent resolution degradation, leaving a sim-to-real gap. We present mmSimPrior, a simulation-pretrained framework that factorizes transferable knowledge into signal, motion, and radar-to-motion mapping priors. To learn transferable signal and motion priors, we pretrain a multimodal radar encoder with a physics-informed domain-randomization curriculum designed to mitigate the sim-to-real gap by approximating real-world propagation- and acquisition-level variations, while a joint-temporal tokenizer learns a discrete prior over plausible human motion. A dual-mode mapping module predicts either motion-code distributions for structurally constrained zero-shot reconstruction or continuous motion parameters for flexible adaptation from limited real data. We further construct a 4.2M-frame, 31K-sequence dataset suite and introduce a No-Overlap Setting that prevents any exact subject-environment-location-motion tuple from appearing in both the adaptation and test sets. Experiments on mmSimPrior-Real and RT-Pose demonstrate consistent gains: with only 24 paired real sequences, mmSimPrior-Reg reduces MPJPE by 24.7-39.0% over the strongest baseline across the three environments, while mmSimPrior-Cls reduces zero-shot MPJPE by 8.5% without fine-tuning.

cs.CV

Surface code logical operations on a superconducting quantum processor

Fault-tolerant quantum computation requires logical operations that manipulate encoded information while preserving quantum error-correction protection. In planar surface-code architectures, code deformation and lattice surgery provide a local, measurement-based route to such operations. Here we experimentally realize key elements of patch-based surface-code logical processing on a 107-qubit superconducting quantum processor. We first implement a reusable primitive layer comprising merge and split, patch expansion and shrinkage, and deformations mediated by domain walls and twist defects. We then compose these primitives to realize logical state routing, the logical controlled-NOT gate, and the single-qubit Hadamard and phase gates, which together form a Clifford-generating set. All operations are implemented on distance-three rotated surface-code patches with multi-round syndrome extraction and neural-network decoding, without post-selection. Our results advance superconducting surface-code experiments from protected logical memory to active, patch-based fault-tolerant logical operations.

quant-ph

WMAttack: Automated Attack Search for Adversarial Evaluation of World-Model Agents

Despite the growing use of world models as decision-making agents, their adversarial robustness remains underexplored due to the lack of dedicated automated evaluation methods. A key obstacle is that attack evaluation must be both accurate and efficient: weak manually tuned attacks can overestimate robustness, while exhaustive hyperparameter search is prohibitively expensive because each candidate requires closed-loop rollouts through learned latent dynamics. We introduce WMAttack, an automated attack-search framework for adversarial evaluation of world-model agents. WMAttack formulates robustness evaluation as a finite-budget search over attack configurations, including attack families, perturbation budgets, optimization steps, restarts, and allocation rules. To improve search accuracy, Self-Correcting Attack Search (SCAS) refines the attack proposal distribution using feedback from reward degradation, action instability, runtime cost, and rollout variability. To improve search efficiency, Representation-Guided Attack Retrieval (RGAR) retrieves effective historical configurations from representation-similar tasks, providing a warm start for unseen environments. We provide a theoretical explanation showing that proposal refinement improves finite-budget search when it shifts probability mass toward high-utility attacks. Across Atari and DeepMind Control tasks, WMAttack consistently discovers stronger attacks than the evaluated baselines, improving normalized reward drop from 0.497 to 1.034 on DreamerV3 Atari and from 0.319 to 0.682 on DMC. Ablations further show that RGAR improves initial candidate quality and SCAS improves final attack utility under fixed evaluation budgets.

cs.LG

Monocular Models are Strong Learners for Multi-View Human Mesh Recovery

Multi-view human mesh recovery (HMR) is broadly deployed in diverse domains where high accuracy and strong generalization are essential. Existing approaches can be broadly grouped into geometry-based and learning-based methods. However, geometry-based methods (e.g., triangulation) rely on cumbersome camera calibration, while learning-based approaches often generalize poorly to unseen camera configurations due to the lack of multi-view training data, limiting their performance in real-world scenarios. To enable calibration-free reconstruction that generalizes to arbitrary camera setups, we propose a training-free framework that leverages pretrained single-view HMR models as strong priors, eliminating the need for multi-view training data. Our method first constructs a robust and consistent multi-view initialization from single-view predictions, and then refines it via test-time optimization guided by multi-view consistency and anatomical constraints. Extensive experiments demonstrate state-of-the-art performance on standard benchmarks, surpassing multi-view models trained with explicit multi-view supervision.

cs.CV

Pricing Discrete and Nonlinear Markets With Semidefinite Relaxations

Nonconvexities in markets with discrete decisions and nonlinear constraints make efficient pricing challenging, often necessitating subsidies. A prime example is the unit commitment (UC) problem in electricity markets, where costly subsidies are commonly required. We propose a new pricing scheme for nonconvex markets with both discreteness and nonlinearity, by convexifying nonconvex structures through a semidefinite programming (SDP) relaxation and deriving prices from the relaxation's dual variables. When the choice set is bounded, we establish strong duality for the SDP, which allows us to extend the envelope theorem to the value function of the relaxation. This extension yields a marginal price signal for demand, which we use as our pricing mechanism. We demonstrate that under certain conditions-for instance, when the relaxation's right hand sides are linear in demand-the resulting lost opportunity cost is bounded by the relaxation's optimality gap. This result highlights the importance of achieving tight relaxations. The proposed framework applies to nonconvex electricity market problems, including for both direct current and alternating current UC. Our numerical experiments indicate that the SDP relaxations are often tight, reinforcing the effectiveness of the proposed pricing scheme. Across a suite of IEEE benchmark instances, the lost opportunity cost under our pricing scheme is, on average, 46% lower than that of the commonly used fixed-binary pricing scheme.

math.OC

Mode Switching Through Exceptional Points Induced by Lasing-Inversion Coupling

The gain-loss coupling in optical cavities induces exceptional points (EPs), where two optical modes coalesce. The large modal overlap near an EP intensifies gain competition, favoring single-mode lasing. Recent studies further revealed self-modulation closer to the EP that transforms the lasing mode into a frequency comb. Such EP-enabled comb formation suggests a previously unaccounted-for mechanism that overcomes the strong gain competition and drives a second mode to threshold. Here, using a Bloch coupled-mode theory derived from first principles, we show that the second threshold arises from dynamical couplings among the population inversion, the lasing field, and a dark cavity mode. The lasing-inversion coupling produces extra EPs, whose spectral structure governs switching among single-mode lasing and frequency combs with different repetition rates. This above-threshold mode-switching mechanism enables new opportunities for tunable photonic systems, including adaptive optical communication links and dual-comb spectroscopy.

physics.optics

A wafer-scale ultrasensitive programmable chiroptical sensor

Chiroptical enantioselective sensing is gaining traction across various applications. However, intrinsic molecular chiroptical responses are weak, and existing amplification approaches add synthesis, manufacturing, or operational complexity that limits sensitivity, scalability, and dynamic control. Here, we present a fundamentally new sensing paradigm merging adsorption-driven chirality induction with wafer-scale optical transduction in a programmable heterostructure containing twisted aligned carbon nanotubes (CNTs) and phase change materials (PCMs). Chiral molecules adsorb onto CNTs to form chiroptically active composites that are macroscopically assembled by alignment and rotational stacking, yielding large ultraviolet circular dichroism (CD). We resolve molecule concentration and handedness in a single device without lithography, hotspot delivery, or differential protocols, achieving sub-$\mu$M sensitivity for CD-silent glucose and chiral amino acids enabled by $>10^5\,\mathrm{M^{-1}}$ adsorption constants. We validate adsorption using molecular dynamics simulations, reproduce experimental results using chiral transfer matrix simulations, and realize sensor programmability by tuning the PCM layer. This platform enables cost-effective in-situ enantiomer monitoring in aqueous environments.

physics.optics

Optimal universal bounds for waves with varied coherence based on supremum and infimum coherence spectra

We establish a majorization-based theory for bounding observables of waves with varied coherence. For any measurement, exact bounds are attained by the maximal and minimal elements in the set of input coherence spectra. The set's supremum and infimum, which may lie outside the set, provide optimal universal bounds: any alternative spectrum yielding universal bounds produces weaker constraints. We present an algorithm to compute the supremum and infimum, and prove that they lie either at singular boundary points or strictly outside the set of coherence spectra.

physics.optics

Probability Distribution for Coherent Transport of Random Waves

We establish a comprehensive probability theory for coherent transport of random waves through arbitrary linear media. The transmissivity distribution for random coherent waves is a fundamental B-spline with knots at the transmission eigenvalues. We analyze the distribution's shape, bounds, moments, and asymptotic behaviors. In the large n limit, the distribution converges to a Gaussian whose mean and variance depend solely on those of the eigenvalues. This result resolves the apparent paradox between bimodal eigenvalue distribution and unimodal transmissivity distribution.

physics.optics

Joint control of coherent transmission, reflection, and absorption

Controlling multiple wave properties simultaneously poses a key challenge in coherent control of wave transport. We present a theory for joint coherent control of transmission, reflection, and absorption in linear systems. We prove that the numerical range provides the mathematical structure governing achievable responses, and reveal non-abelian effects due to non-commutativity between transmission, reflection, and absorption matrices. We provide an algorithm to achieve arbitrary target responses. Our results establish a theoretical foundation for joint coherent control of waves.

physics.optics

SoraNav: Adaptive UAV Task-Centric Navigation via Zeroshot VLM Reasoning

Autonomous navigation under natural language instructions represents a crucial step toward embodied intelligence, enabling complex task execution in environments ranging from industrial facilities to domestic spaces. However, language-driven 3D navigation for Unmanned Aerial Vehicles (UAVs) requires precise spatial reasoning, a capability inherently lacking in current zero-shot Vision-Language Models (VLMs) which often generate ambiguous outputs and cannot guarantee geometric feasibility. Furthermore, existing Vision-Language Navigation (VLN) methods are predominantly tailored for 2.5D ground robots, rendering them unable to generalize to the unconstrained 3D spatial reasoning required for aerial tasks in small-scale, cluttered environments. In this paper, we present SoraNav, a novel framework enabling zero-shot VLM reasoning for UAV task-centric navigation. To address the spatial-semantic gap, we introduce Multi-modal Visual Annotation (MVA), which encodes 3D geometric priors directly into the VLM's 2D visual input. To mitigate hallucinated or infeasible commands, we propose an Adaptive Decision Making (ADM) strategy that validates VLM proposals against exploration history, seamlessly switching to geometry-based exploration to avoid dead-ends and redundant revisits. Deployed on a custom PX4-based micro-UAV, SoraNav demonstrates robust real-world performance. Quantitative results show our approach significantly outperforms state-of-the-art baselines, increasing Success Rate (SR) by 25.7% and navigation efficiency (SPL) by 17.3% in 2.5D scenarios, and achieving improvements of 39.3% (SR) and 24.7% (SPL) in complex 3D scenarios.

cs.RO

Physics-Informed Learning for Human Whole-Body Kinematics Prediction via Sparse IMUs

Accurate and physically feasible human motion prediction is crucial for safe and seamless human-robot collaboration. While recent advancements in human motion capture enable real-time pose estimation, the practical value of many existing approaches is limited by the lack of future predictions and consideration of physical constraints. Conventional motion prediction schemes rely heavily on past poses, which are not always available in real-world scenarios. To address these limitations, we present a physics-informed learning framework that integrates domain knowledge into both training and inference to predict human motion using inertial measurements from only 5 IMUs. We propose a network that accounts for the spatial characteristics of human movements. During training, we incorporate forward and differential kinematics functions as additional loss components to regularize the learned joint predictions. At the inference stage, we refine the prediction from the previous iteration to update a joint state buffer, which is used as extra inputs to the network. Experimental results demonstrate that our approach achieves high accuracy, smooth transitions between motions, and generalizes well to unseen subjects

cs.LG

Generating topological non-diffracting beams using high quality factor nonlocal metasurfaces

Non-diffracting optical beams are essential tools in photonics, enabling robust light transport, super-resolution imaging, and spatiotemporal control. While nonlocal metasurfaces have been proposed for structured-light generation due to their broad angular dispersion and topological characteristics, experimental generation of a non-diffracting beam with nonlocal metasurfaces has not been demonstrated. Here we experimentally realize vortex Bessel beams using a nonlocal metasurface and establish a direct link between non-diffracting-beam generation and photonic band curvature. Depending on the sign of the curvature, the beams exhibit spatially asymmetric non-diffraction, emerging either in front of or behind the metasurface. This asymmetry arises from a radial phase gradient in momentum space, which induces effective space compression or expansion. Furthermore, we demonstrate wavelength-dependent tunability of the beam diameter and propagation distance, and show an order-of-magnitude enhancement in propagation distance compared to conventional Laguerre--Gaussian modes. These results position nonlocal metasurfaces as a compact, tunable platform for spatiotemporally controlled non-diffracting light.

physics.optics

Distributed-HISQ: A Distributed Quantum Control Architecture

The design of a scalable Quantum Control Architecture (QCA) faces two primary challenges. First, the continuous growth in qubit counts has rendered distributed QCA inevitable, yet the nondeterministic latencies inherent in feedback loops demand cycleaccurate synchronization across multiple controllers. Existing synchronization strategies -- whether lock-step or demand-driven -- introduce significant performance penalties. Second, existing quantum instruction set architectures are polarized, being either too abstract or too granular. This lack of a unifying design necessitates recurrent hardware customization for each new control requirement, which limits the system's reconfigurability and impedes the path toward a scalable and unified digital microarchitecture. Addressing these challenges, we propose Distributed-HISQ, featuring: (i) HISQ, A universal instruction set that redefines quantum control with a hardware-agnostic design. By decoupling from quantum operation semantics, HISQ provides a unified language for control sequences, enabling a single microarchitecture to support various control methods and enhancing system reconfigurability. (ii) BISP, a booking-based synchronization protocol that can potentially achieve zero-cycle synchronization overhead. The feasibility and adaptability of Distributed-HISQ are validated through its implementation on a commercial quantum control system targeting superconducting qubits. We performed a comprehensive evaluation using a customized quantum software stack. Our results show that BISP effectively synchronizes multiple control boards, leading to a 22.8% reduction in average program execution time and a $\sim$5$\times$ reduction in infidelity when compared to an existing lock-step synchronization scheme.

quant-ph