Search arXiv⌕ Search

arXiv subjects

Yu Han

Publications and source records attributed to Yu Han.

At least 37 records · Page 2Linked to original sources

Dynamic Speed Limit Control of Connected Automated Vehicles in Freeway Networks Considering Traffic Composition Uncertainty

Dynamic speed limit control has emerged as a promising strategy to improve freeway sustainability in mixed traffic environments with connected automated vehicles (CAVs). However, most existing approaches assume that the CAV penetration rate is deterministic and can be accurately known throughout the control horizon. In reality, the penetration rate has inherent observation errors, leading to uncertainty in mixed traffic composition, which in turn degrades control performance. To overcome this limitation, this study proposes a novel model predictive control (MPC) framework for dynamic CAV speed limit control in freeway networks that explicitly incorporates traffic composition uncertainty into both flow prediction and control optimization. An uncertainty-aware macroscopic mixed traffic model is first developed, where the uncertain penetration rate propagates through the mixed fundamental diagram to the flow dynamics by affecting the mixed free-flow speed, capacity, and capacity drop condition. Then, a traffic composition-aware MPC is formulated to optimize CAV speed limits against multiple admissible penetration rate realizations, thereby improving control robustness under heterogeneous traffic conditions. Simulation experiments are conducted on both a single-bottleneck freeway corridor and a multi-bottleneck freeway network with merge-diverge interactions. The results demonstrate that the proposed controller generates more spatially coordinated speed limits, which effectively reduce travel time spent and provide environmental benefits.

eess.SY↗

Superconducting ternary compounds Li-X-B (X=Mo, W) within the mild pressure range: First-principles predictions

Among the superconducting hydrides under high pressure, a number of studies concentrate on the ternary compounds to explore unique superconductors, which are capable of reducing the stable pressure and maintain superconductivity. In this work, to verify our proposed strategy of ternary composition lines (TCLs) to explore ternary compounds, we combined the first-principles calculations and crystal structure predictions to study the ternary compounds Li-X-B (X=Mo, W) under high pressure. After calculations along five and four TCLs in Li-W-B and Li-Mo-B, respectively, five Li-W-B compounds and four Li-Mo-B compounds were predicted. The compositions of LiWB4, Li4MoB2 and LiMo2B2 could be thermodynamically stable under high pressure, and Li2WB6 is around 0.02 eV/atom above the convex hull at 0 GPa, which has potential for synthesizing. Both of the predicted Li2WB6 P6/mmm and Li2WB4 R-3m are superconducting and their Tc are around 11 K, which are similar to the Tc of WB2 P6/mmm around 100 GPa. An anomalous increase of Tc was found in Li4MoB2 C2/m upon compression. We carried out full ternary search (FTS) to evaluate the validity of the TCLs strategy in Li-W-B system at 0 GPa. Our results are helpful for understanding the phase diagram of Li-X-B (X=Mo, W) under high pressure and the introducing of Li atoms provide candidate structures to reduce the measured stable pressure from ~100 GPa in WB2 P6/mmm to 0 GPa. Meanwhile, we preliminary validate the strategy of TCLs in structure predictions and we expect to improve this strategy in the future, shedding light on the studies of ternary compounds.

cond-mat.supr-con↗

Global and local error bounds: characterizations via directional derivatives and tangent cones

We develop new characterizations of both global and local error bounds for general functions, using directional derivatives and tangent cones without imposing convexity or linear structure. We first establish several equivalent conditions for the global error bound of a nonnegative lower semicontinuous function. These equivalences hold for general, possibly nonconvex and nonsmooth functions. We further link the error bound with perturbation stability, Hausdorff stability of sublevel sets, and an inverse-sublevel-set estimate. Turning to directional derivatives, we introduce the minimal unit-sphere directional derivative \(φ(x)\) on the tangent cone and clarify its exact relation with the global slope. For Lipschitz continuous functions we prove that \(\sup_{x\notin S_0} φ(x) < 0\) is sufficient for an error bound, and for convex functions on convex sets this condition is also necessary, In finite dimensions we obtain sharp local results: if \(φ(\bar{x}) > 0\) at a solution \(\bar{x}\), then a local error bound holds and the optimal constant is exactly \(1/φ(\bar{x})\); if \(φ(\bar{x}) = 0\) and a suitable direction exists outside the tangent cone of the solution set, the local error bound fails. A general estimate relating the directional derivative to the distance from the tangent cone of the solution set is also derived.

math.OC↗

Radar-Aided Near-Field Beam Prediction via Beam Map Learning for XL-MIMO V2I Communications

Near-field beam training in extremely large-scale multiple-input multiple-output (XL-MIMO) vehicle-to-infrastructure (V2I) systems incurs high overhead due to large range-angle codebooks and rapid channel variation. This paper proposes a passive radar-aided framework for near-field beam prediction based on radar-to-beam map learning. By exploiting the spatial correlation between radar observations and communication signals, the proposed method maps radar Bartlett spectra to communication beam maps using a lightweight encoder-decoder convolutional neural network. Gaussian soft supervision is further introduced to preserve beam-space continuity. Simulations on a synchronized Sionna ray tracing radar-communication dataset show that the proposed method consistently improves Top-k accuracy, distance-based accuracy, beam loss, and spectral efficiency.

eess.SP↗

Directional Derivatives and Error Bounds of Merit Functions in Vector Optimization

This paper presents a comprehensive analysis of directional derivatives and error bounds for the merit function $θ(x)=\sup_{a\in A}\bigl(-Δ_C(F(x)-F(a))\bigr)$ associated with the vector optimization problem $\operatorname{Min}_C\{F(x):x\in A\}$, where $Δ_C$ is the oriented distance function. We first prove that $θ$ is concave and Lipschitz continuous on the whole space and derive its dual representation via the weak$^*$ compact convex set $K=\overline{\operatorname{co}}^{w^*}(S(C^+))$. At a weakly efficient solution $\bar x$, we obtain the explicit formula $θ'(\bar x;d)=\min_{y^*\in W(\bar x)}\langle y^*,F(d)\rangle$ with $W(\bar{x})=\{y^*\in K:F^*y^*\in -N_A(\bar{x})\}$, characterize the zero-directional-derivative cone, and prove that, under a local error bound condition, the tangent cone to the solution set is $T_{E_w}(\bar x)=T_A(\bar x)\cap T_{\widehat A}(\bar x)=\{d\in T_A(\bar x):θ'(\bar x;d)=0\}$. We establish the equivalence of thirteen distinct global error bound conditions, including characterizations via linear regularity, the global slope, an asymptotic condition, and perturbation stability. A central result shows that the global error bound property for $θ$ on the feasible set $A$ is characterized by a uniform negativity condition on the unit-sphere minimal directional derivative, namely $\sup_{x \in A \setminus E_w} φ(x) < 0$. We also determine the optimal local error bound constant precisely as $1/φ(\bar x)$ when $φ(\bar x)>0$, and provide a counterexample demonstrating that an additional directional condition is essential when $φ(\bar x)=0$. These results provide a complete bridge between the directional derivative of the merit function and the geometry of the solution set, offering fundamental tools for the convergence analysis of algorithms in vector optimization.

math.OC↗

Hybrid-Field Channel Tracking for Extremely Large-Scale MIMO Systems with Mobility

In this paper, we propose a hybrid-field channel tracking algorithm for extremely large-scale multiple-input multiple-output (XL-MIMO) systems with mobility, leveraging the historical channel state information. The multiple path scenario is considered, and the line-of-sight path is coarsely estimated through the sparse peak search within a narrow window in the fractional Fourier domain based on the temporal continuity of the user's motion. Moreover, coarse estimations of the non-line-of-sight (NLoS) paths are determined by ensuring the scatterer survival probability, eliminating the necessity of detecting existing NLoS paths. Then, a Newton-based refinement is applied to the estimated paths before seeking possible new paths. Numerical results validate that the proposed algorithm achieves superior performance with low computational complexity.

eess.SP↗

Single-Frame Point-Pixel Registration via Supervised Cross-Modal Feature Matching

Point-pixel registration between LiDAR point clouds and camera images is a fundamental yet challenging task in autonomous driving and robotic perception. A key difficulty lies in the modality gap between unstructured point clouds and structured images, especially under sparse single-frame LiDAR settings. Existing methods typically extract features separately from point clouds and images, then rely on hand-crafted or learned matching strategies. This separate encoding fails to bridge the modality gap effectively, and more critically, these methods struggle with the sparsity and noise of single-frame LiDAR, often requiring point cloud accumulation or additional priors to improve reliability. Inspired by recent progress in detector-free matching paradigms, we revisit the projection-based approach and introduce the detector-free framework for direct point-pixel matching between LiDAR and camera views. To further enhance matching reliability, we introduce a repeatability scoring mechanism that acts as a soft visibility prior. This guides the network to suppress unreliable matches in regions with low intensity variation, improving robustness under sparse input. Extensive experiments on KITTI, nuScenes, and MIAS-LCEC-TF70 benchmarks demonstrate that our method achieves state-of-the-art performance, outperforming prior approaches on nuScenes (even those relying on accumulated point clouds), despite using only single-frame LiDAR.

cs.CV↗

A Key Exchange Construction using Mihailova Subgroups in Braid groups

In this paper, we propose a modified Anshel-Anshel-Goldfeld (AAG) key exchange construction.The algebraic motivation underlying this construction comes from the membership problem for Mihailova subgroups of the braid group, a problem that is algorithmically unsolvable. We show that this perspective leads naturally to a quotient-group formulation involving Mihailova subgroups modulo the center of Bn. We also explain, however,that these algebraic facts do not by themselves provide a complete security proof for the protocol,because recovering a functionally equivalent conjugator modulo the center may already suffice for an adversary. Thus, the construction should be regarded as an algebraically motivated candidate whose full cryptographic security requires further study.

math.GR↗

Continuous-Variable Source-Independent Quantum Random Number Generation with General POVMs

Continuous-variable source-independent quantum random number generators offer the highest generation rates among semi-device-independent protocols. In reality, the protocol design is limited due to permissible measurement configurations. In this work, we propose a rigorous security proof framework that accommodates general, infinite-dimensional positive-operator-valued measures. Building upon the numerical security proof framework, we evaluate the randomness lower bound by maximizing the eavesdropper's guessing probability. Specifically, we transform the inherently infinite-dimensional semidefinite program in Fock space into a tractable finite-dimensional one, rigorously proving that latter provides a strict upper bound to the guessing probability of the original infinite-dimensional problem. Our framework showcases its capability by certifying secure randomness using unbalanced homodyne detection with only a single quadrature measurement, thereby bypassing the traditional requirement of measuring two conjugate quadratures such as $X$ and $P$. We experimentally validate our protocol on an optical platform using vacuum and weak coherent states, achieving a maximum secure randomness extraction of 1.11 bits per sample and an ultra-high generation rate of 1.776 Gbps. This work provides a flexible design for practical, high-speed quantum random number generators.

quant-ph↗

High-order tensor neural network for iteration-free structure relaxation

Structure relaxation is important for the discovery of new materials, yet conventional ab initio optimization remains a major bottleneck in high-throughput screening workflows. Machine learning potentials have accelerated relaxation by orders of magnitude, but they still rely on iterative optimization and high-quality DFT force labels. Here, we present HotRelax, a high-order tensor message-passing neural network for one-shot, end-to-end prediction of relaxed structures. Trained directly on paired unrelaxed and relaxed structures, HotRelax requires no DFT force labels and predicts relaxed structures in a single forward pass, without iterative inference or post-processing. Across five diverse datasets spanning 3D bulk crystals, 2D layered materials and catalysts, HotRelax shows strong performance relative to state-of-the-art end-to-end relaxation models, achieving lower prediction errors on several benchmarks while maintaining a compact model size and efficient inference. Extensive DFT calculations further show that the predicted structures are close in energy to their DFT-relaxed counterparts. When integrated into catalytic workflows, HotRelax also improves the accuracy and generalization of relaxed-state energy prediction models. Together, these results support HotRelax as an efficient and widely applicable framework for end-to-end structure relaxation, with strong potential to accelerate high-throughput materials discovery.

physics.comp-ph↗

Scaling Learning-based AEB with Massive Unlabeled Data

This paper studies how to scale learning-based automatic emergency braking (AEB) with massive unlabeled fleet data under production constraints. Our approach is based on meta-feedback semi-supervised learning (MF-SSL), where a teacher generates pseudo labels for unlabeled driving data and is updated using a small labeled anchor set as safety-critical feedback. In production, anchor ambiguity and labeled-unlabeled mismatch can amplify systematic pseudo-label errors, leading to spurious triggers. We propose a stabilized MF-SSL framework with (i) Noise-Aware Decoupling, which removes ambiguity-prone anchors from the teacher's supervised update path, and (ii) kinematics-gated pseudo-labeling with a teacher conflict penalty to suppress mismatch-induced risk hallucinations on unlabeled data while maintaining broad coverage. Extensive experiments show consistent gains as unlabeled data scale from 1M to 1B windows, improving safety while keeping comfort stable. The 1B-trained student model is deployed to hundreds of thousands of vehicles and validated over \$10^9$ km of driving, achieving a positive-to-false activation ratio exceeding 100:1 and a 35% improvement in accident-free driving mileage over a production rule-only baseline.

cs.LG↗

Digital Twin-Based Channel Generation Toolchain and Foundation Model for Low-Altitude XL-MIMO

The rapid development of the low-altitude economy (LAE) has created growing demand for reliable aerial communication systems. Extremely large-scale multiple-input multiple-output (XL-MIMO) is a promising enabler for such systems due to its high spatial resolution and robust connectivity. However, three-dimensional (3D) mobility together with near-field propagation makes it difficult to obtain dedicated high-fidelity wireless datasets, hindering systematic algorithm development and evaluation. To address this issue, we develop LAETwin-XL, a digital twin (DT)-based toolchain and dataset for XL-MIMO research in LAE scenarios. Built on the Sionna ray-tracing (RT) module, the proposed toolchain simulates near-field and far-field channels with diverse wireless labels for practical environments. Building on this dataset, we further develop a conditional denoising diffusion implicit model (CDDIM)-based generative foundation model that is pretrained to learn transferable XL-MIMO channel representations from incomplete channel observations. Unlike conventional task-specific or foundation models that rely on relatively complete channel inputs, the proposed model can generatively infer informative channel representations from partially observed channels. Experimental results demonstrate that the proposed framework achieves effective zero-shot channel extrapolation performance. Furthermore, using lightweight task heads and limited training data, it enables parameter-efficient transfer to various downstream tasks (e.g., channel estimation, classification, and localization), delivering high accuracy and robustness even under sparse antenna observations. The codes and dataset are available at https://github.com/Lmyxxn/LAETwin-XL.

eess.SP↗

Vision-Based Efficient Joint Trajectory and Channel Tracking in Near-Field XL-MIMO Systems

Accurate joint tracking of mobile users, surrounding scatterers, and dynamic channels is a critical task for sixth-generation (6G) wireless systems, essential for both ensuring high-quality communications and empowering advanced selsing applications such as autonomous driving and immersive extended reality. While extremely large-scale multiple-input multiple-output (XL-MIMO) inherently offers strong support for this task through its high spatial resolution and spectral efficiency, its massive scale of antenna arrays, coupled with near-field propagation characteristics, makes joint trajectory and channel tracking time-consuming and hardware-intensive. To address these challenges, we rethink the problem from a vision-based signal perspective. Specifically, we design a subarray-based partially connected hybrid beamforming (PC-HBF) architecture with a tailored time-multiplexed (TM) mechanism. This effectively compensates for the aperture loss caused by limited radio frequency (RF) chains, generating high-fidelity Cartesian-domain signal images that inherently capture near-field spatial features. Based on this visual representation, we propose an improved CenterNet to perform accurate one-shot path localization, circumventing the path-iterative search required by conventional compressed-sensing-based methods. Building upon this to further improve the accuracy and exploit temporal correlation, a local small-scale orthogonal matching pursuit (OMP) refiner and a lightweight cascaded OMP tracker are developed. Finally, a Hungarian-based trajectory association module is incorporated to maintain track continuity and provide trajectory-level information for environment monitoring. Simulation results show that the proposed framework consistently outperforms representative baselines in position and channel tracking accuracy, especially under low-SNR and limited-hardware conditions.

eess.SP↗

3SPO: State-Score-Supervised Policy Optimization for LLM Agents

Training large language models (LLMs) as autonomous agents via reinforcement learning (RL) has enabled frontier models to achieve superhuman performance in long-horizon tasks. However, existing RL algorithms operate at the trajectory level, performing policy optimization only after collecting complete episode rollouts. This coarse-grained approach faces fundamental challenges in multi-turn agent settings where rewards are sparse, delayed, and credit assignment across individual steps is critical. In this work, we propose \textbf{State-Score-Supervised Policy Optimization (3SPO)}, a novel RL algorithm that performs post-step policy optimization with dynamic state score supervision. At each step, 3SPO computes the state score based on historical success rates, supervising step-wise credit assignment, adaptive rollout and post-step policy optimization without requiring value function estimation or additional auxiliary models. Theoretically, under a per-state bandit abstraction, we show that the proposed score-supervised allocation mechanism achieves logarithmic allocation regret and provide sample-complexity guarantees for action identification, score distinguishability, and filtering stability. Experiments on ALFWorld and WebShop with Qwen2.5-1.5B/7B-Instruct show that 3SPO consistently outperforms GRPO by $+22.6\%$ on ALFWorld and $+15.6$ points on WebShop, while using comparable resources to achieve $2.4\times$ more state exploration and $1.8\times$ faster convergence. Code is available at https://github.com/genalyu/3SPO.

cs.LG↗

Hybrid-plasticity Photonic Synapses Enabling Hardware-Level Neural Reuse

Biological intelligence is distinguished by neural reuse, the capacity to preserve established learning memory while repurposing it for new tasks and dynamic environments. Bringing this capability to photonic hardware requires hybrid plasticity, namely the coexistence of long-term synaptic plasticity for persistent weight storage and short-term synaptic plasticity for rapid, reversible adaptation within a single synaptic element; however, current photonic architectures lack such a unified mechanism. Here, we demonstrate a hybrid-plasticity photonic synapse on thin-film lead zirconate titanate (PZT) that couples non-volatile and volatile modes to enable hardware-level neural reuse. Crucially, high-speed refresh operations can be superimposed without perturbing the stored weight. Such a neural-reuse framework yields a convergence speedup of over 20-fold and reduces the weight updates by approximately 30-fold compared with random initialization. These results establish hybrid-plasticity photonic synapses as a pathway toward on-chip learning systems that are both memory-preserving and rapidly adaptable.

physics.optics↗

NF-TrackLLM: Joint Prediction of UAV Trajectory and Near-Field Beam for LAE XL-MIMO Systems

User localization and beam management are tightly linked in extremely large-scale multiple-input multiple-output (XL-MIMO) systems, especially in dense low-altitude economy (LAE) scenarios. However, the near-field propagation in XL-MIMO introduces strong distance sensitivity and complex spatial coupling, which makes joint trajectory and beam prediction challenging. Meanwhile, large language models (LLMs) have attracted attention in physical-layer transmission for modeling long-range dependencies. In this paper, we propose NF-TrackLLM, a multi-modal semantic-aware framework for near-field unmanned aerial vehicles (UAVs) positioning and beam prediction in XL-MIMO systems. By incorporating visual and LiDAR sensing into a Sionna-based channel generation pipeline, environmental semantics and GPS are utilized to guide trajectory and beam prediction. Built upon the aligned multi-modal representation, a GPT-2-based spatiotemporal reasoning backbone, and a cascaded prediction strategy are employed, where future trajectories are first inferred and then used to guide beam prediction as geometric priors. Simulation results demonstrate that NF-TrackLLM achieves accurate beam prediction and reliable UAV trajectory tracking in dense urban low-altitude scenarios.

eess.SP↗

SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair

Large Language Models (LLMs) have enabled intelligent agents that autonomously interact with environments and invoke external tools. Recently, agent-based software repair has drawn wide attention, as repair agents can localize bugs, generate patches, and achieve state-of-the-art performance on repository-level benchmarks (e.g., SWE-Bench). However, existing approaches usually adopt a localize-then-fix paradigm, jumping directly from "where the bug is" to "how to fix it", leaving a fundamental reasoning gap. To this end, we propose SGAgent, a Suggestion-Guided multi-Agent framework for repository-level software repair, which follows a localize-suggest-fix paradigm. SGAgent introduces a suggestion phase to strengthen the transition from localization to repair: the suggester starts from the buggy locations, incrementally retrieves relevant context until it fully understands the bug, and provides actionable repair suggestions. We further construct a Knowledge Graph (KG) from the target repository and develop a KG-based toolkit to strengthen SGAgent's global contextual awareness and repository-level reasoning. Three specialized sub-agents (i.e., localizer, suggester, and fixer) collaborate to achieve automated end-to-end software repair. We evaluate SGAgent on SWE-Bench-Lite. SGAgent with Claude-3.5 achieves 51.3% repair accuracy, 81.2% file-level, and 52.4% function-level localization accuracy at an average cost of $1.48 per instance, outperforming all baselines using the same base model. SGAgent also generalizes well across base LLMs, reaching a 60.7% resolution rate with Claude-4. When extended to vulnerability repair, it achieves 48.0% on VUL4J and VJBench, demonstrating strong generalization across tasks and programming languages.

cs.SE↗

Multimodal-NF: A Wireless Dataset for Near-Field Low-Altitude Sensing and Communications

Environment-aware 6G wireless networks demand the deep integration of multimodal and wireless data. However, most existing datasets are confined to 2D terrestrial far-field scenarios, lacking the 3D spatial context and near-field characteristics crucial for low-altitude extremely large-scale multiple-input multiple-output (XL-MIMO) systems. To bridge this gap, this letter introduces Multimodal-NF, a large-scale dataset and specialized generation framework. Operating in the upper midband, it synchronizes high-fidelity near-field channel state information (CSI) and precise wireless labels (e.g., Top-5 beam indices, LoS/NLoS) with comprehensive sensory modalities (RGB images, LiDAR point clouds, and GPS). Crucially, these multimodal priors provide spatial semantics that help reduce the near-field search space and thereby lower the overhead of wireless sensing and communication tasks. Finally, we validate the dataset through representative case studies, demonstrating its utility and effectiveness. The open-source generator and dataset are available at https://lmyxxn.github.io/6GXLMIMODatasets/.

eess.SP↗