arXiv Science⌕ Search

arXiv subjects

Yue Xie

Publications and source records attributed to Yue Xie.

At least 19 recordsLinked to original sources

A Stochastic LineseArch Method (SLAM) for Minimizing Expectation Residuals: Weakening Boundedness of Gradient

We establish convergence guarantees for the Stochastic LineseArch Method (SLAM) proposed and analyzed in Wang et al. (arXiv:2512.14979) for nonconvex composite stochastic optimization, retaining the iteration and sample complexity orders of the original analysis assuming neither the boundedness of true gradients nor the Lipschitz continuity of the convex nonsmooth term $r$. ChatGPT was used to assist in developing a key intermediate result. Under uniformly Lipschitz continuous and unbiased sampled gradients with uniformly bounded variance with mini-batch sizes proportional to the iteration budget, SLAM achieves an iteration complexity $\mathcal{O}(ε^{-2})$ and a sample complexity $\mathcal{O}(ε^{-4})$ for obtaining an iterate whose expected proximal-gradient residual norm is at most $ε$.

math.OC↗

Nonsymmorphic Time-Reversal-Doubled Axion Insulators

The axion insulator exhibits a topological magnetoelectric effect characterized by an axion angle $θ=π$, while the time-reversal-doubled axion insulator (T-DAXI) can be viewed as two copies of an axion insulator related by time-reversal symmetry. In this work, we show that a nonsymmorphic topological crystalline insulator with glide (or screw) symmetry can host the nonsymmorphic T-DAXI phase, diagnosed by the nontrivial hourglass (screw) invariant $δ_h=1$ ($δ_s=1$). In this phase, the partial axion angles ($θ^\pm=π$) are quantized by the glide and/or screw symmetry, and the gapped surfaces realize half-quantized quantum spin Hall states. Furthermore, we show that nonsymmorphic T-DAXIs also exhibit the spin-magnetoelectric effect. Namely, an external magnetic field can induce a topological nonlocal spin polarization in real space. When the magnetic field is time-periodic, this leads to an alternating spin current detectable in experiment. Using ab initio calculations, we demonstrate that mixed bismuth monohalides Bi4Br3I and Bi4BrI3 realize the nonsymmorphic T-DAXIs. Our findings not only reveal the symmetry-enforced T-DAXIs in nonsymmorphic topological crystalline insulators, but also demonstrate the spin-magnetoelectric effect as a detectable topological spin response in nonsymmorphic T-DAXIs.

cond-mat.mtrl-sci↗

A Stochastic LineseArch Method (SLAM) for Minimizing Expectation Residuals

Most existing rate and complexity guarantees for stochastic gradient methods in $L$-smooth settings mandates that such sequences be non-adaptive, non-increasing, and upper bounded by $\tfrac{a}{L}$ for $a > 0$. This requires knowledge of $L$ and may preclude larger steps. Motivated by these shortcomings, we present an Armijo-enabled stochastic linesearch framework with common random number (CRN)-enabled stochastic zeroth- and first-order oracles. The resulting steplength sequence is non-monotone and requires neither knowledge of $L$ nor any other problem parameters. We then prove that the expected stationarity residual diminishes at a rate of $\mathcal{O}(1/\sqrt{K})$, where $K$ denotes the iteration budget. Furthermore, the resulting iteration and sample complexities for computing an $ε$-stationary point are $\mathcal{O}(ε^{-2})$ and $\mathcal{O}\left(ε^{-4}\right)$. The proposed method allows for a simple nonsmooth convex component in the objective, addressed through proximal gradient updates. Analogous guarantees are provided in the Polyak-Lojasiewicz (PL) setting and convex regimes. Preliminary numerical experiments are seen to be promising.

math.OC↗

Transferability of Error Bounds and the Kurdyka-Łojasiewicz Property under $C^1$ Partial Smoothness

This work studies how a generalized error bound (GEB) property in the ambient Euclidean space transfers to the active manifold under $C^1$ partial smoothness. The GEB generalizes the standard error bound, which upper bounds the distance to a subset of critical points using first-order stationarity residuals, by allowing the distance to be composed with a gauge function. In the ambient space, these residuals are measured by the subdifferential or the slope of the original function, while on the manifold they are measured by the Riemannian gradient or the slope of the restricted function. We develop complementary geometric and metric analyses to show that the ambient and manifold GEBs are equivalent with the same gauge function. The geometric argument shows that the projection of the subdifferential onto the tangent space coincides with the Riemannian gradient, while the metric approach combines slope estimates, identifiability, and a new uniform linear-growth result for $C^1$ manifolds. We further extend our analysis to establish the analogous equivalence for the Kurdyka--Łojasiewicz (KL) property, with the same desingularizer, and separately characterize their connections with the GEB. Finally, for regularized optimization, we relate subdifferential and proximal error bounds, thereby placing the previously established equivalence between proximal and manifold error bounds for $\ell_1$-regularization within a broader framework.

math.OC↗

AIM-ZO: Activation-Informed Subspace Maintenance for Zeroth-Order LLM Fine-Tuning

Zeroth-order (ZO) optimization offers a memory-efficient alternative for LLM fine-tuning by estimating updates only from forward evaluations of perturbed parameters, without backpropagation or activation storage. However, in billion-parameter LLMs, isotropic perturbations often waste many forward evaluations on weakly informative directions. To make these evaluations more informative, existing ZO methods restrict perturbations to low-dimensional subspaces. Yet the quality of these subspaces is critical: overly compressed or poorly maintained spaces can miss useful update directions. To obtain a high-quality subspace for ZO updates, this paper proposes AIM-ZO, a ZO fine-tuning method based on Activation-Informed Subspace Maintenance. AIM-ZO uses forward activations as local directional information and continuously integrates them into a broad, evolving subspace over training. To access broader gradient-relevant structure while keeping individual perturbations low-dimensional, AIM-ZO activates only a smaller set of shared and sampled directions, decoupling the maintained width from the active width. We evaluate AIM-ZO across 5 LLMs and 11 downstream tasks under matched forward-evaluation budgets; its six-task average exceeds the strongest fully evaluated ZO baseline by 1.26 percentage points on OPT-2.7B and MeZO by 2.85 percentage points on OPT-30B. Our code is available at https://github.com/EkkoXy/AIM-ZO

cs.LG↗

On Tackling High-Dimensional Nonconvex Stochastic Optimization via Stochastic First-Order Methods with Non-smooth Proximal Terms and Variance Reduction

When the nonconvex problem is complicated by stochasticity, the sample complexity of stochastic first-order methods may depend linearly on the problem dimension, which is undesirable for large-scale problems. To alleviate this linear dependence, we adopt non-Euclidean settings and propose two choices of non-smooth proximal terms when taking the stochastic gradient steps. This approach leads to stronger convergence metric, incremental computational overhead, and potentially dimension-insensitive sample complexity. We also consider further acceleration through variance reduction which achieves near optimal sample complexity and, to our best knowledge, is the first such result in the $\ell_1/\ell_\infty$ setting. Since the use of non-smooth proximal terms is unconventional, the convergence analysis deviates much from algorithms in Euclidean settings or employing Bregman divergence, providing tools for analyzing other non-Euclidean choices of distance functions. Efficient resolution of the subproblems in various scenarios is also discussed and simulated. We illustrate the dimension-insensitive property of the proposed methods via preliminary numerical experiments.

math.OC↗

MuJoCable: Reduced-Order Surface-Routed Cable Transmission for Tendon-Driven Robots

Tendon transmissions reduce distal inertia and add compliance, yet routing, slack, and friction govern motion and force transfer. Mainstream rigid-body robotics simulators such as MuJoCo do not jointly resolve moving noncircular contact, unilateral tension, and segment friction. We present MuJoCable, which adds a reduced-order, configuration-dependent cable transmission to MuJoCo. Its routing algorithm jointly optimizes an ordered path across moving analytic and mesh surfaces. A unilateral axial law, directional Capstan propagation, and nodal virtual work map this path to segment tensions and body forces. The warm-started engine plugin applies these forces during simulation and exposes route and load states for design. Pulley benchmarks recover analytical transmission relations with a Capstan-ratio error below 0.5%. On the underactuated 18-joint SpiRobs, MuJoCable reveals friction-driven load growth and proximal redistribution of joint rotation that the native tendon does not represent. Hardware tests on SpiRobs and a tendon-route-coupled finger reproduce observed motion sequences. By making physical threading executable, MuJoCable brings transmission sources of the simulation-to-reality gap into route, cable, and actuator design before fabrication.

cs.RO↗

GeoTrussRover: Morphological Computation with Contact-Semantic Control Primitives

Reconfigurable robots can change their contact geometry when a fixed body cannot negotiate an obstacle. A variable-geometry truss (VGT) distributes this shape change through a load-bearing structure, but coupling it to a mobile base creates a high-dimensional coordination problem. GeoTrussRover combines an electrically actuated VGT, a wheeled base, and contact-semantic morphology planning and control. We solve one source traversal and extract four contact-semantic primitives that describe coordination among 21 members. Physics-constrained projection adapts them to unseen step heights with the same contact topology. When every phase remains feasible, adaptation does not recompute the complete motion. If one phase violates the new physical constraints, only that phase is recomputed. A full-space QP then tracks the adapted motion and corrects member and wheel errors. For transfer from 0.10m to 0.075m, the method reduces objective-function evaluations by 63.7% relative to full recomputation. Contact-phase feasibility analysis covers step heights from 0.10 to 0.46m, or 1.08 to 4.97 wheel radii, with the upper value near the theoretical feasible boundary. The electric prototype traverses 2.11 wheel radii. The resulting low-dimensional representation stores task coordination in a hyper-redundant, load-bearing morphology and reuses it during locomotion.

cs.RO↗

Understanding Evolution Strategies for LLM Reasoning: Broader Reasoning Coverage than GRPO

Evolution Strategies (ES) have recently emerged as a memory-efficient post-training paradigm for LLM reasoning. However, the optimization behavior of ES remains understudied, making it hard to define its advantage scope compared to mainstream post-training paradigms (e.g., Group Relative Policy Optimization (GRPO)). By systematically investigating ES dynamics and mechanisms, this paper first identifies a performance advantage of ES over GRPO, theoretically and empirically showing that ES can lead to broader reasoning coverage, thereby better exploiting the reasoning capabilities of pretrained LLMs. Theoretically, we show that verifier-projected Jensen-Shannon diversity across the ES population is helpful to higher Pass@K performances. Empirically, unlike GRPO, which exhibits entropy collapse, ES improves Pass@1 while attaining higher Pass@K than GRPO. We further develop a sequential GRPO-ES training strategy that combines GRPO's strength in Pass@1 with ES's gains in Pass@K. Second, we find that despite substantial whole-model parameter drift, the task-performance gains of ES are only contributed to a sparse subset of larger-magnitude updates. This functional sparsity suggests that large parameter movement need not imply widespread functional change, and held-out evaluations further show that it does not necessarily lead to catastrophic forgetting. Finally, we study how hyperparameter design affects the effectiveness of ES, demonstrating that ES requires a smaller population size in a larger LLM. These findings position ES as a distinct reasoning post-training paradigm rather than a less effective, memory-efficient alternative to GRPO.

cs.LG↗

Learning latent progression states from spatial heterogeneity in uterine histopathology

Tumor progression is accompanied by changes in architecture, morphology and microenvironmental organization, yet progression-associated heterogeneity is usually compressed into static diagnostic categories in histopathology. Here we present SpaTIE, a uterus-specific computational pathology framework that learns morphology-aware representations and organizes spatial histopathological heterogeneity into progression-associated tumor states. SpaTIE was developed using 10,426 uterine hematoxylin and eosin whole-slide images and evaluated in TCGA-UCEC and TCGA-UCS cohorts. The learned representations formed morphology manifolds, supported diagnostic, molecular and survival-related prediction tasks, and localized attention to informative tumor regions. Beyond supervised prediction, SpaTIE inferred tumor-state axes from cross-sectional morphology without temporal or molecular supervision. These morphology-derived states were spatially coherent and showed associations with clinicopathological variables and survival outcomes, while not simply recapitulating staging or diagnostic labels. Integrative multi-omics analyses linked the inferred states to DNA methylation, somatic copy-number variation, mutation, RNA-seq and RPPA profiles, highlighting molecular programs related to chromatin regulation, copy-number-associated structural variation, receptor tyrosine kinase signaling, cell adhesion, extracellular-matrix remodeling and metabolic adaptation. Progression-guided virtual perturbation further prioritized molecular features coupled to the morphology-derived state organization. Together, these findings suggest that uterine histopathology contains recoverable progression-associated tumor-state information and establish SpaTIE as a framework for connecting spatial morphology with multi-omics-informed tumor-state discovery.

cs.CV↗

Discovery of d-orbital order in Tb2CoAl4Ge2

Orbital order describes a quantum state where occupied orbitals line up in a periodic pattern. While orbital physics plays a fundamental and universal role in strongly correlated electron systems, the existence and particularly the band structure fingerprint of orbital order remain a long-standing mystery. Here, we report the discovery of rare earth 5d-orbital order developed by the surface states of intermetallic compound Tb2CoAl4Ge2. Angle-resolved photoemission spectroscopy reveals characteristic nematic features like Fermi surface deformation and band split. These experimental observations can be described by a ferro-orbital order term in the mean-field Hamiltonian. The structural and magnetic origin of such order is excluded by systematic high-resolution neutron powder diffraction and scanning tunnelling microscopy measurements. Our results provide strong evidence for a pure surface orbital order scenario avoiding complications from structural distortion as in colossal magnetoresistance manganites, magnetic order as in iron-based superconductors, and charge transfer p-orbital order in cuprates.

cond-mat.str-el↗

On the resolution of $\ell_1$-norm minimization via a two-metric adaptive projection method

In this work, we propose an efficient two-metric adaptive projection method for solving the $\ell_1$-norm minimization problem. Our approach is inspired by the two-metric projection method, a simple yet elegant algorithm proposed by Bertsekas for bound/box-constrained optimization problems. The low per-iteration cost of this method, combined with the ability to incorporate Hessian information, makes it particularly attractive for large-scale problems, and our proposed method inherits these advantages. Previous attempts to extend the two-metric projection method to $\ell_1$-norm minimization rely on an intermediate reformulation as a bound-constrained problem, which can lead to numerical instabilities in practice, in sharp contrast to our approach. Our algorithm features a refined partition of the index set, an adaptive projection, and a novel linesearch rule. It can accommodate singular Hessians as well as inexact solutions to the Newton linear system for practical implementation. We show that our method is theoretically sound - it has global convergence. Moreover, it is an active-set method capable of manifold identification: the underlying low-dimensional structure can be identified in a finite number of iterations, after which the algorithm reduces to an unconstrained Newton method on the identified subspace. Under an Error Bound condition, the method attains a locally superlinear convergence rate. Hence, when the solution is sparse, it achieves superfast convergence in terms of iterations while maintaining scalability, making it well-suited for large-scale problems. We conduct extensive numerical experiments to demonstrate the practical advantages of the proposed algorithm over several competitive methods from the literature, particularly in large-scale settings. }

math.OC↗

Evolving Embodied Intelligence: Graph Neural Network--Driven Co-Design of Morphology and Control in Soft Robotics

The intelligent behavior of robots does not emerge solely from control systems, but from the tight coupling between body and brain, a principle known as embodied intelligence. Designing soft robots that leverage this interaction remains a significant challenge, particularly when morphology and control require simultaneous optimization. A significant obstacle in this co-design process is that morphological evolution can disrupt learned control strategies, making it difficult to reuse or adapt existing knowledge. We address this by develop a Graph Neural Network-based approach for the co-design of morphology and controller. Each robot is represented as a graph, with a graph attention network (GAT) encoding node features and a pooled representation passed through a multilayer perceptron (MLP) head to produce actuator commands or value estimates. During evolution, inheritance follows a topology-consistent mapping: shared GAT layers are reused, MLP hidden layers are transferred intact, matched actuator outputs are copied, and unmatched ones are randomly initialized and fine-tuned. This morphology-aware policy class lets the controller adapt when the body mutates. On the benchmark, our GAT-based approach achieves higher final fitness and stronger adaptability to morphological variations compared to traditional MLP-only co-design methods. These results indicate that graph-structured policies provide a more effective interface between evolving morphologies and control for embodied intelligence.

cs.RO↗

Bi-level RL-Heuristic Optimization for Real-world Winter Road Maintenance

Winter road maintenance is critical for ensuring public safety and reducing environmental impacts, yet existing methods struggle to manage large-scale routing problems effectively and mostly reply on human decision. This study presents a novel, scalable bi-level optimization framework, validated on real operational data on UK strategic road networks (M25, M6, A1), including interconnected local road networks in surrounding areas for vehicle traversing, as part of the highway operator's efforts to solve existing planning challenges. At the upper level, a reinforcement learning (RL) agent strategically partitions the road network into manageable clusters and optimally allocates resources from multiple depots. At the lower level, a multi-objective vehicle routing problem (VRP) is solved within each cluster, minimizing the maximum vehicle travel time and total carbon emissions. Unlike existing approaches, our method handles large-scale, real-world networks efficiently, explicitly incorporating vehicle-specific constraints, depot capacities, and road segment requirements. Results demonstrate significant improvements, including balanced workloads, reduced maximum travel times below the targeted two-hour threshold, lower emissions, and substantial cost savings. This study illustrates how advanced AI-driven bi-level optimization can directly enhance operational decision-making in real-world transportation and logistics.

cs.AI↗

Auditory-Tactile Congruence for Synthesis of Adaptive Pain Expressions in RoboPatients

Misdiagnosis can result in delayed treatment and patient harm. Robotic patient simulators (robopatients) provide a controlled framework for training and evaluating clinicians in rare and complex cases. We investigate auditory tactile congruence in the synthesis of adaptive vocal pain expressions for robopatients. The system generates pain vocalizations in response to tactile stimuli applied during abdominal palpation. Haptic input is captured through an abdominal phantom and processed using an internal palpation-to-pain mapping model that drives acoustic output. To evaluate perceptual congruence between palpation force and synthesized pain expressions, we conducted a study comprising 7,680 trials with 20 participants. Participants rated perceived pain intensity based solely on auditory feedback. We analyzed the influence of acoustic parameters on agreement between applied force and perceived pain. Results indicate that amplitude and pitch significantly affect perceptual agreement, independent of pain sound category. Increased palpation force was associated with higher agreement ratings, consistent with psychophysical scaling effects. Among the tested acoustic features, pitch exerted a stronger influence than amplitude on perceived congruence. These findings demonstrate that modulation of pitch and amplitude is critical for achieving perceptually coherent auditory tactile mappings in robotic pain simulation. The proposed framework supports the development of high fidelity robotic patient simulators and provides a platform for studying multidimensional representations of pain in embodied robotic systems.

cs.RO↗

Palpation Alters Auditory Pain Expressions with Gender-Specific Variations in Robopatients

Diagnostic errors remain a major cause of preventable mortality, particularly in resource limited settings. Medical training simulators, including robopatients, help reduce such errors by replicating patient responses during procedures such as abdominal palpation. However, generating realistic multimodal feedback especially auditory pain expressions remains challenging due to the complex, nonlinear relationship between applied palpation forces and perceived pain sounds. The high dimensionality and perceptual variability of pain vocalizations further limit conventional modeling approaches. We propose a novel experimental paradigm for adaptive pain expressivity in robopatients that dynamically generates auditory pain responses to palpation forces using human in the loop machine learning. Specifically, we employ Proximal Policy Optimization (PPO), a reinforcement learning algorithm suited for continuous control, to iteratively refine pain sound generation based on real time human evaluative feedback. The system initializes randomized mappings between force inputs and sound outputs, and the learning agent progressively adjusts them to align with human perceptual preferences. Results show that the framework adapts to individual palpation behaviors and subjective sound preferences while capturing a broad range of perceived pain intensities, from mild discomfort to acute distress. We also observe perceptual saturation at lower force ranges, with gender specific thresholds in pain sound perception. This work demonstrates the feasibility of human in the loop reinforcement learning for co-optimizing haptic input and auditory pain expression in medical simulators, highlighting the potential of adaptive and immersive platforms to enhance palpation training and reduce diagnostic errors.

cs.RO↗

Majorana Zero Modes and Topological Nature in Bi2Ta3S6-family Superconductors

In this work, we report that Bi2Ta3S6-family superconductors exhibit nontrivial band topology. They possess a natural quantum-well structure consisting of alternating stacks of TaS2 and honeycomb Bi layers, which contribute superconducting and topological properties, respectively. Symmetry-based indicators $(\mathbb{Z}_4;\mathbb{Z}_{2}\mathbb{Z}_{2}\mathbb{Z}_{2})=(2;000)$ reveal that the topological nature arises entirely from the Bi layers, which belong to a quantum spin Hall phase characterized by a $p_x-p_y$ model on a honeycomb lattice. The topological zigzag (ZZ) and armchair (AC) edge states are obtained. Using VASP2KP, the in-plane $g$ factors of these topological edge states are computed from the ab initio calculations: $g_{x/y}^{\mathrm{ZZ}}=2.07/1.60$ and $g_{x/y}^{\mathrm{AC}}=0.50/0.06$. The strong anisotropy of the edge-state $g$ factors allows us to explore Majorana zero modes in the Bi monolayer on a superconductor, which can be obtained by exfoliation or molecular beam epitaxy. The relaxed structures of the Bi2Ta3Se6, Bi2Nb3S6 and Bi2Nb3Se6 are obtained. Their superconducting transition temperature $T_c$ are estimated based on the electron-phonon coupling and the McMillan formula. Furthermore, using the experimental superconducting gap $Δ$ and the computed $g$ factors, we obtain the phase diagram, which shows that the in-plane field $B_y>2.62\mathrm{ T}$ can generate corner Majorana zero modes in the Bi monolayer of the superconductor Bi2Ta3S6. A similar paradigm also applies to the Bi2Ta3S6 bulk with the emergence of Majorana hinge states. These natural quantum-well superconductors therefore offer ideal platforms for exploring topological superconductivity and Majorana zero modes.

cond-mat.supr-con↗

Can Large Language Models Function as Qualified Pediatricians? A Systematic Evaluation in Real-World Clinical Contexts

With the rapid rise of large language models (LLMs) in medicine, a key question is whether they can function as competent pediatricians in real-world clinical settings. We developed PEDIASBench, a systematic evaluation framework centered on a knowledge-system framework and tailored to realistic clinical environments. PEDIASBench assesses LLMs across three dimensions: application of basic knowledge, dynamic diagnosis and treatment capability, and pediatric medical safety and medical ethics. We evaluated 12 representative models released over the past two years, including GPT-4o, Qwen3-235B-A22B, and DeepSeek-V3, covering 19 pediatric subspecialties and 211 prototypical diseases. State-of-the-art models performed well on foundational knowledge, with Qwen3-235B-A22B achieving over 90% accuracy on licensing-level questions, but performance declined ~15% as task complexity increased, revealing limitations in complex reasoning. Multiple-choice assessments highlighted weaknesses in integrative reasoning and knowledge recall. In dynamic diagnosis and treatment scenarios, DeepSeek-R1 scored highest in case reasoning (mean 0.58), yet most models struggled to adapt to real-time patient changes. On pediatric medical ethics and safety tasks, Qwen2.5-72B performed best (accuracy 92.05%), though humanistic sensitivity remained limited. These findings indicate that pediatric LLMs are constrained by limited dynamic decision-making and underdeveloped humanistic care. Future development should focus on multimodal integration and a clinical feedback-model iteration loop to enhance safety, interpretability, and human-AI collaboration. While current LLMs cannot independently perform pediatric care, they hold promise for decision support, medical education, and patient communication, laying the groundwork for a safe, trustworthy, and collaborative intelligent pediatric healthcare system.

cs.CL↗