arXiv subjects

Lei Lei

Publications and source records attributed to Lei Lei.

At least 55 records · Page 3Linked to original sources

arXiv2025

Learning Value of Information towards Joint Communication and Control in 6G V2X

As Cellular Vehicle-to-Everything (C-V2X) evolves towards future sixth-generation (6G) networks, Connected Autonomous Vehicles (CAVs) are emerging to become a key application. Leveraging data-driven Machine Learning (ML), especially Deep Reinforcement Learning (DRL), is expected to significantly enhance CAV decision-making in both vehicle control and V2X communication under uncertainty. These two decision-making processes are closely intertwined, with the value of information (VoI) acting as a crucial bridge between them. In this paper, we introduce Sequential Stochastic Decision Process (SSDP) models to define and assess VoI, demonstrating their application in optimizing communication systems for CAVs. Specifically, we formally define the SSDP model and demonstrate that the MDP model is a special case of it. The SSDP model offers a key advantage by explicitly representing the set of information that can enhance decision-making when available. Furthermore, as current research on VoI remains fragmented, we propose a systematic VoI modeling framework grounded in the MDP, Reinforcement Learning (RL) and Optimal Control theories. We define different categories of VoI and discuss their corresponding estimation methods. Finally, we present a structured approach to leverage the various VoI metrics for optimizing the ``When", ``What", and ``How" to communicate problems. For this purpose, SSDP models are formulated with VoI-associated reward functions derived from VoI-based optimization objectives. While we use a simple vehicle-following control problem to illustrate the proposed methodology, it holds significant potential to facilitate the joint optimization of stochastic, sequential control and communication decisions in a wide range of networked control systems.

cs.LG↗

arXiv2025

Optimal Interference Exploitation Waveform Design with Relaxed Block-Level Power Constraints

This paper investigates constructive interference (CI)-based waveform design for phase shift keying and quadrature amplitude modulation symbols under relaxed block-level power constraints in multi-user multiple-input single-output (MU-MIMO) communication systems. Existing linear CI-based precoding methods, including symbol-level precoding (SLP) and block-level precoding (BLP), suffer from performance limitations due to strict symbol-level power budgets or insufficient degrees of freedom over the block. To overcome these challenges, we propose a nonlinear waveform optimization framework that introduces additional optimization variables and maximizes the minimum CI metric across the transmission block. The optimal waveform is derived in closed form using the function and Karush Kuhn Tucker conditions, and the solution is explicitly expressed with respect to the dual variables. Moreover, the original problems are equivalently reformulated as tractable quadratic programming (QP) problems. To efficiently solve the derived QP problems, we develop an improved alternating direction method of multipliers (ADMM) algorithm by integrating a linear-time projection technique, which significantly enhances the computational efficiency. Simulation results demonstrate that the proposed algorithms substantially outperform the conventional CI-SLP and CI-BLP approaches, particularly under high-order modulations and large block lengths.

eess.SP↗

arXiv2025

MiroMind-M1: An Open-Source Advancement in Mathematical Reasoning via Context-Aware Multi-Stage Policy Optimization

Large language models have recently evolved from fluent text generation to advanced reasoning across diverse domains, giving rise to reasoning language models. Among these domains, mathematical reasoning serves as a representative benchmark as it requires precise multi-step logic and abstract reasoning, which can be generalized to other tasks. While closed-source RLMs such as GPT-o3 demonstrate impressive reasoning capabilities, their proprietary nature limits transparency and reproducibility. Although many open-source projects aim to close this gap, most of them lack sufficient openness by omitting critical resources such as datasets and detailed training configurations, which hinders reproducibility. To contribute toward greater transparency in RLM development, we introduce the MiroMind-M1 series, a set of fully open-source RLMs built on the Qwen-2.5 backbone that match or exceed the performance of existing open-source RLMs. Specifically, our models are trained in two stages: SFT on a carefully curated corpus of 719K math-reasoning problems with verified CoT trajectories, followed by RLVR on 62K challenging and verifiable problems. To enhance the robustness and efficiency of the RLVR process, we introduce Context-Aware Multi-Stage Policy Optimization, an algorithm that integrates length-progressive training with an adaptive repetition penalty to encourage context-aware RL training. Our model achieves state-of-the-art or competitive performance and superior token efficiency among Qwen-2.5-based open-source 7B and 32B models on the AIME24, AIME25, and MATH benchmarks. To facilitate reproducibility, we release the complete stack: models (MiroMind-M1-SFT-7B, MiroMind-M1-RL-7B, MiroMind-M1-RL-32B); datasets (MiroMind-M1-SFT-719K, MiroMind-M1-RL-62K); and all training and evaluation configurations. We hope these resources will support further research and foster community advancement.

cs.CL↗

arXiv2025

Agent4S: The Transformation of Research Paradigms from the Perspective of Large Language Models

While AI for Science (AI4S) serves as an analytical tool in the current research paradigm, it doesn't solve its core inefficiency. We propose "Agent for Science" (Agent4S)-the use of LLM-driven agents to automate the entire research workflow-as the true Fifth Scientific Paradigm. This paper introduces a five-level classification for Agent4S, outlining a clear roadmap from simple task automation to fully autonomous, collaborative "AI Scientists." This framework defines the next revolutionary step in scientific discovery.

cs.AI↗

arXiv2025

Searching for Axion-Like Particles with X-ray Observations of Alpha Centauri

We investigate the production of axion-like particles (ALPs) in stellar cores, where they interact with electromagnetic fields and electrons, with typical masses between $\mathcal O(0.1)$ and $\mathcal O(10)$ keV. These low-energy ALPs are gravitationally trapped in the orbits of stars and subsequently decay into two photons that we detect as monochromatic X-ray lines. We propose to search for these gravitationally trapped ALPs in the Alpha Centauri binary system, our closest stellar neighbor, using sensitive X-ray detectors like Chandra and eROSITA. Our search for ALP decay signals in the energy range of $0.2$ keV to $10$ keV yielded null results, thus establishing the most stringent limits on ALP interactions to date. In the case of ALP-electron coupling $g_{aee}\leq 10^{-15}$, we have improved the limits on the ALP-photon coupling $g_{aγγ}$ in ALP mass range between $0.25~\keV$ and $5~\keV$, compared to previous measurements, including those from GW170817, SN 2023ixf, and other sources, and specially the improvement reaches about 2 orders of magnitude at the mass of 2 keV. Even tighter constraints are set for larger $g_{aee}$.

astro-ph.HE↗

arXiv2025

YH-MINER: Multimodal Intelligent System for Natural Ecological Reef Metric Extraction

Coral reefs, crucial for sustaining marine biodiversity and ecological processes (e.g., nutrient cycling, habitat provision), face escalating threats, underscoring the need for efficient monitoring. Coral reef ecological monitoring faces dual challenges of low efficiency in manual analysis and insufficient segmentation accuracy in complex underwater scenarios. This study develops the YH-MINER system, establishing an intelligent framework centered on the Multimodal Large Model (MLLM) for "object detection-semantic segmentation-prior input". The system uses the object detection module (mAP@0.5=0.78) to generate spatial prior boxes for coral instances, driving the segment module to complete pixel-level segmentation in low-light and densely occluded scenarios. The segmentation masks and finetuned classification instructions are fed into the Qwen2-VL-based multimodal model as prior inputs, achieving a genus-level classification accuracy of 88% and simultaneously extracting core ecological metrics. Meanwhile, the system retains the scalability of the multimodal model through standardized interfaces, laying a foundation for future integration into multimodal agent-based underwater robots and supporting the full-process automation of "image acquisition-prior generation-real-time analysis".

cs.CV↗

arXiv2025

Electric Bus Charging Schedules Relying on Real Data-Driven Targets Based on Hierarchical Deep Reinforcement Learning

The charging scheduling problem of Electric Buses (EBs) is investigated based on Deep Reinforcement Learning (DRL). A Markov Decision Process (MDP) is conceived, where the time horizon includes multiple charging and operating periods in a day, while each period is further divided into multiple time steps. To overcome the challenge of long-range multi-phase planning with sparse reward, we conceive Hierarchical DRL (HDRL) for decoupling the original MDP into a high-level Semi-MDP (SMDP) and multiple low-level MDPs. The Hierarchical Double Deep Q-Network (HDDQN)-Hindsight Experience Replay (HER) algorithm is proposed for simultaneously solving the decision problems arising at different temporal resolutions. As a result, the high-level agent learns an effective policy for prescribing the charging targets for every charging period, while the low-level agent learns an optimal policy for setting the charging power of every time step within a single charging period, with the aim of minimizing the charging costs while meeting the charging target. It is proved that the flat policy constructed by superimposing the optimal high-level policy and the optimal low-level policy performs as well as the optimal policy of the original MDP. Since jointly learning both levels of policies is challenging due to the non-stationarity of the high-level agent and the sampling inefficiency of the low-level agent, we divide the joint learning process into two phases and exploit our new HER algorithm to manipulate the experience replay buffers for both levels of agents. Numerical experiments are performed with the aid of real-world data to evaluate the performance of the proposed algorithm.

cs.LG↗

arXiv2025

Optimizing Electric Bus Charging Scheduling with Uncertainties Using Hierarchical Deep Reinforcement Learning

The growing adoption of Electric Buses (EBs) represents a significant step toward sustainable development. By utilizing Internet of Things (IoT) systems, charging stations can autonomously determine charging schedules based on real-time data. However, optimizing EB charging schedules remains a critical challenge due to uncertainties in travel time, energy consumption, and fluctuating electricity prices. Moreover, to address real-world complexities, charging policies must make decisions efficiently across multiple time scales and remain scalable for large EB fleets. In this paper, we propose a Hierarchical Deep Reinforcement Learning (HDRL) approach that reformulates the original Markov Decision Process (MDP) into two augmented MDPs. To solve these MDPs and enable multi-timescale decision-making, we introduce a novel HDRL algorithm, namely Double Actor-Critic Multi-Agent Proximal Policy Optimization Enhancement (DAC-MAPPO-E). Scalability challenges of the Double Actor-Critic (DAC) algorithm for large-scale EB fleets are addressed through enhancements at both decision levels. At the high level, we redesign the decentralized actor network and integrate an attention mechanism to extract relevant global state information for each EB, decreasing the size of neural networks. At the low level, the Multi-Agent Proximal Policy Optimization (MAPPO) algorithm is incorporated into the DAC framework, enabling decentralized and coordinated charging power decisions, reducing computational complexity and enhancing convergence speed. Extensive experiments with real-world data demonstrate the superior performance and scalability of DAC-MAPPO-E in optimizing EB fleet charging schedules.

cs.LG↗

arXiv2025

VoI-Driven Joint Optimization of Control and Communication in Vehicular Digital Twin Network

The vision of sixth-generation (6G) wireless networks paves the way for the seamless integration of digital twins into vehicular networks, giving rise to a Vehicular Digital Twin Network (VDTN). The large amount of computing resources as well as the massive amount of spatial-temporal data in Digital Twin (DT) domain can be utilized to enhance the communication and control performance of Internet of Vehicle (IoV) systems. In this article, we first propose the architecture of VDTN, emphasizing key modules that center on functions related to the joint optimization of control and communication. We then delve into the intricacies of the multitimescale decision process inherent in joint optimization in VDTN, specifically investigating the dynamic interplay between control and communication. To facilitate the joint optimization, we define two Value of Information (VoI) concepts rooted in control performance. Subsequently, utilizing VoI as a bridge between control and communication, we introduce a novel joint optimization framework, which involves iterative processing of two Deep Reinforcement Learning (DRL) modules corresponding to control and communication to derive the optimal policy. Finally, we conduct simulations of the proposed framework applied to a platoon scenario to demonstrate its effectiveness in ensu

cs.NI↗

arXiv2025

Can Dark Stars account for the star formation efficiency excess at very high redshifts?

The James Webb Space Telescope (JWST) has recently conducted observations of massive galaxies at high redshifts, revealing a notable anomaly in their star formation efficiency (SFE). Motivated by the recent identification of three $\sim 10^{6}M_\odot$ dark star candidates, we investigate whether dark stars can be the origin of the SFE excess. It turns out that the excess can be reproduced by a group of dark stars with $M \gtrsim 10^{3}\, \rm M_{\odot}$, because of their domination in generating primary UV radiation in high-redshift galaxies. The genesis of these dark stars is attributed to the capture of Weakly Interacting Massive Particles (WIMPs) within a mass range of tens of GeV to a few TeV. However, if the top-heavy initial mass function of dark stars holds up to $\sim 10^{5}M_\odot$, the relic black holes stemming from their collapse would be too abundant to be consistent with the current observations of Massive Compact Halo Objects (MACHOs). We thus suggest that just a small fraction of SFE excess may be contributed by the very massive dark stars and the majority likely originated from other reasons such as the Population III stars in view of their rather similar UV radiation efficiencies.

astro-ph.CO↗

arXiv2025

Distributional Counterfactual Explanations With Optimal Transport

Counterfactual explanations (CE) are the de facto method for providing insights into black-box decision-making models by identifying alternative inputs that lead to different outcomes. However, existing CE approaches, including group and global methods, focus predominantly on specific input modifications, lacking the ability to capture nuanced distributional characteristics that influence model outcomes across the entire input-output spectrum. This paper proposes distributional counterfactual explanation (DCE), shifting focus to the distributional properties of observed and counterfactual data, thus providing broader insights. DCE is particularly beneficial for stakeholders making strategic decisions based on statistical data analysis, as it makes the statistical distribution of the counterfactual resembles the one of the factual when aligning model outputs with a target distribution\textemdash something that the existing CE methods cannot fully achieve. We leverage optimal transport (OT) to formulate a chance-constrained optimization problem, deriving a counterfactual distribution aligned with its factual counterpart, supported by statistical confidence. The efficacy of this approach is demonstrated through experiments, highlighting its potential to provide deeper insights into decision-making models.

cs.AI↗

arXiv2025

AI-Driven Reinvention of Hydrological Modeling for Accurate Predictions and Interpretation to Transform Earth System Modeling

Traditional equation-driven hydrological models often struggle to accurately predict streamflow in challenging regional Earth systems like the Tibetan Plateau, while hybrid and existing algorithm-driven models face difficulties in interpreting hydrological behaviors. This work introduces HydroTrace, an algorithm-driven, data-agnostic model that substantially outperforms these approaches, achieving a Nash-Sutcliffe Efficiency of 98% and demonstrating strong generalization on unseen data. Moreover, HydroTrace leverages advanced attention mechanisms to capture spatial-temporal variations and feature-specific impacts, enabling the quantification and spatial resolution of streamflow partitioning as well as the interpretation of hydrological behaviors such as glacier-snow-streamflow interactions and monsoon dynamics. Additionally, a large language model (LLM)-based application allows users to easily understand and apply HydroTrace's insights for practical purposes. These advancements position HydroTrace as a transformative tool in hydrological and broader Earth system modeling, offering enhanced prediction accuracy and interpretability.

cs.AI↗

arXiv2024

Ambient IoT towards 6G: Standardization, Potentials, and Challenges

The Ambient Internet of Things (A-IoT) has emerged as a critical direction for achieving effective connectivity as the IoT system evolves to 6G. However, the introduction of A-IoT technologies, particularly involving backscatter modulation, poses numerous challenges for system design and network operations. This paper surveys current standardization efforts, highlights potential challenges, and explores future directions for A-IoT. It begins with a comprehensive overview of ongoing standardization initiatives by the 3rd Generation Partnership Project (3GPP) on A-IoT, providing a solid foundation for further technical research in both industry and academia. Building upon this groundwork, the paper conducts an analysis of critical enabling technologies for A-IoT. Moreover, a comprehensive A-IoT demonstration system is designed to showcase the practical viability and efficiency of A-IoT techniques, supported by field experiments. We finally address ongoing challenges associated with A-IoT technologies, providing valuable insights for future research endeavors.

cs.IT↗

arXiv2024

Sublayers Editing of Covalent MAX Phase for Nanolaminated Early Transition Metal Compounds

Two-dimensional transition metal carbides and nitrides (MXenes) have gained popularity in fields such as energy storage, catalysis, and electromagnetic interference due to their diverse elemental compositions and variable surface terminations (T). Generally, the synthesis of MXene materials involves etching the weak M-A metallic bonds in the ternary layered transition metal carbides and nitrides (MAX phase) using HF acid or Lewis acid molten salts, while the strong M-X covalent bonds preserve the two-dimensional framework structure of MXenes. On the other hand, the MAX phase material family also includes a significant class of members where the A site is occupied by non-metal main group elements (such as sulfur and phosphorus), in which both M-A and M-X are covalent bond-type sublayers. The aforementioned etching methods cannot be used to synthesize MXene materials from these parent phases. In this work, we discovered that the covalent bond-type M-A and M-X sublayers exhibit different reactivity with some inorganic materials in a high-temperature molten state. By utilizing this difference in reactivity, we can structurally modify these covalent sublayers, allowing for the substitution of elements at the X site (from B to Se, S, P, C) and converting non-metal A site atoms in non-van der Waals (non-vdW) MAX phases into surface atoms in vdW layered materials. This results in a family of early transition metal Xide chalcogenides (TMXCs) that exhibit lattice characteristics of both MXenes and transition metal chalcogenides. Using electron-donor chemical scissors, these TMXC layered materials can be further exfoliated into monolayer nanosheets. The atomic configurations of each atom in these monolayer TMXCs are the same as those of conventional MXenes, but the oxidation states of the M-site atoms can be regulated by both X-site atoms and intercalated cations.

cond-mat.mtrl-sci↗

arXiv2024

JWST observations constrain the time evolution of fine structure constants and dark energy - electromagnetic coupling

It was hypothesized in the literature that some physical parameters may be time-evolving and the astrophysical data can serve as a probe. Recently, James Webb Space Telescope (JWST) have released its early observations. In this work, we select the JWST spectroscopic observations of the high redshift ($z>7.1$) galaxies with strong [OIII] ($λ=4959$ Å\,and $5007$ Å\,in the rest frame) emission lines to constraint the evolution of the fine structure constant ($α$). With the spectra from two galaxies at redshifts of $7.19$ and $8.47$, the deviation of $α$ to its fiducial value is found to be as small as $0.44^{+8.4+1.7}_{-8.3-1.7} \times 10^{-4}$ and $-10.0^{+18+1.5}_{-18-1.5} \times 10^{-4}$, respectively (the first error is statistical and the latter is systematic). The combination of our results with the previous data reveals that $\frac{1}α \frac{d α}{dt} = 0.30^{+4.5}_{-4.5} \times 10^{-17}~{\rm yr^{-1}}$. Clearly, there is no evidence for a cosmic evolution of $α$. The prospect of further constraining the time evolution of $α$ is also discussed. The scalar field of dark energy is hypothesized to drive the acceleration of the universe's expansion through an interaction with the electromagnetic field. By integrating the observational data of the fine-structure constant variation, $\frac{Δα}α(z)$, we have established a stringent upper limit on the coupling strength between dark energy and electromagnetism. Our analysis yields $ζ\leq 3.92 \times 10^{-7}$ at the 95\% confidence level, representing the most stringent bound to date.

astro-ph.CO↗

arXiv2024

Could the inter-band lag of active galactic nucleus vary randomly?

The inter-band lags among the optical broad-band continua of active galactic nuclei (AGNs) have been intensively explored over the past decade. However, the nature of the lags remains under debate. Here utilizing two distinct scenarios for AGN variability, i.e., the thermal fluctuation of accretion disk and the reprocessing of both the accretion disk and clouds in the broad line region, we show that, owing to the random nature of AGN variability, the inter-band lags of an individual AGN would vary from one campaign with a finite baseline to another. Specifically, the thermal fluctuation scenario implies larger variations in the lags than the reprocessing scenario. Moreover, the former predicts a positive correlation between the lag and variation amplitude, while the latter does not result in such a correlation. For both scenarios, averaging the lags of an individual AGN measured with repeated and non-overlapping campaigns would give rise to a stable lag, which is larger for a longer baseline and gets saturation for a sufficiently long baseline. However, obtaining the stable lag for an individual AGN is very time-consuming. Alternatively, it can be equivalently inferred by averaging the lags of a sample of AGNs with similar physical properties, thus can be properly compared with predictions of AGN models. In addition, discussed are several new observational tests suggested by our simulations as well as the role of the deep high-cadence surveys of the Wide Field Survey Telescope in enriching our knowledge of the lags.

astro-ph.GA↗

arXiv2024

Distinguishing Translations by Human, NMT, and ChatGPT: A Linguistic and Statistical Approach

The growing popularity of neural machine translation (NMT) and LLMs represented by ChatGPT underscores the need for a deeper understanding of their distinct characteristics and relationships. Such understanding is crucial for language professionals and researchers to make informed decisions and tactful use of these cutting-edge translation technology, but remains underexplored. This study aims to fill this gap by investigating three key questions: (1) the distinguishability of ChatGPT-generated translations from NMT and human translation (HT), (2) the linguistic characteristics of each translation type, and (3) the degree of resemblance between ChatGPT-produced translations and HT or NMT. To achieve these objectives, we employ statistical testing, machine learning algorithms, and multidimensional analysis (MDA) to analyze Spokesperson's Remarks and their translations. After extracting a wide range of linguistic features, supervised classifiers demonstrate high accuracy in distinguishing the three translation types, whereas unsupervised clustering techniques do not yield satisfactory results. Another major finding is that ChatGPT-produced translations exhibit greater similarity with NMT than HT in most MDA dimensions, which is further corroborated by distance computing and visualization. These novel insights shed light on the interrelationships among the three translation types and have implications for the future advancements of NMT and generative AI.

cs.CL↗

arXiv2024

Convergences and Divergences between Automatic Assessment and Human Evaluation: Insights from Comparing ChatGPT-Generated Translation and Neural Machine Translation

Large language models have demonstrated parallel and even superior translation performance compared to neural machine translation (NMT) systems. However, existing comparative studies between them mainly rely on automated metrics, raising questions into the feasibility of these metrics and their alignment with human judgment. The present study investigates the convergences and divergences between automated metrics and human evaluation in assessing the quality of machine translation from ChatGPT and three NMT systems. To perform automatic assessment, four automated metrics are employed, while human evaluation incorporates the DQF-MQM error typology and six rubrics. Notably, automatic assessment and human evaluation converge in measuring formal fidelity (e.g., error rates), but diverge when evaluating semantic and pragmatic fidelity, with automated metrics failing to capture the improvement of ChatGPT's translation brought by prompt engineering. These results underscore the indispensable role of human judgment in evaluating the performance of advanced translation tools at the current stage.

cs.CL↗