arXiv subjects

Lei Wu

Publications and source records attributed to Lei Wu.

At least 73 records · Page 4Linked to original sources

arXiv2026

Riemann-Hilbert correspondence for Alexander complexes

We establish a relative Riemann-Hilbert correspondence for Alexander complexes (also known as Sabbah specialization complexes) by using relative regular holonomic $\mathscr D$-modules in an equivariant way, which particularly gives a "global" approach to the correspondence for Deligne's nearby cycles. Using the correspondence and zero loci of Bernstein-Sato ideals, we obtain a formula for the relative support of the Alexander complexes.

math.AG↗

arXiv2026

KOCOBrain: Kuramoto-Guided Graph Network for Uncovering Structure-Function Coupling in Adolescent Prenatal Drug Exposure

Exposure to psychoactive substances during pregnancy, such as cannabis, can disrupt neurodevelopment and alter large-scale brain networks, yet identifying their neural signatures remains challenging. We introduced KOCOBrain: KuramotO COupled Brain Graph Network; a unified graph neural network framework that integrates structural and functional connectomes via Kuramoto-based phase dynamics and cognition-aware attention. The Kuramoto layer models neural synchronization over anatomical connections, generating phase-informed embeddings that capture structure-function coupling, while cognitive scores modulate information routing in a subject-specific manner followed by a joint objective enhancing robustness under class imbalance scenario. Applied to the ABCD cohort, KOCOBrain improved prenatal drug exposure prediction over relevant baselines and revealed interpretable structure-function patterns that reflect disrupted brain network coordination associated with early exposure.

q-bio.NC↗

arXiv2026

Physics-Guided Multi-View Graph Neural Network for Schizophrenia Classification via Structural-Functional Coupling

Clinical studies reveal disruptions in brain structural connectivity (SC) and functional connectivity (FC) in neuropsychiatric disorders such as schizophrenia (SZ). Traditional approaches might rely solely on SC due to limited functional data availability, hindering comprehension of cognitive and behavioral impairments in individuals with SZ by neglecting the intricate SC-FC interrelationship. To tackle the challenge, we propose a novel physics-guided deep learning framework that leverages a neural oscillation model to describe the dynamics of a collection of interconnected neural oscillators, which operate via nerve fibers dispersed across the brain's structure. Our proposed framework utilizes SC to simultaneously generate FC by learning SC-FC coupling from a system dynamics perspective. Additionally, it employs a novel multi-view graph neural network (GNN) with a joint loss to perform correlation-based SC-FC fusion and classification of individuals with SZ. Experiments conducted on a clinical dataset exhibited improved performance, demonstrating the robustness of our proposed approach.

eess.IV↗

arXiv2026

Unified Cross-Modal Attention-Mixer Based Structural-Functional Connectomics Fusion for Neuropsychiatric Disorder Diagnosis

Gaining insights into the structural and functional mechanisms of the brain has been a longstanding focus in neuroscience research, particularly in the context of understanding and treating neuropsychiatric disorders such as Schizophrenia (SZ). Nevertheless, most of the traditional multimodal deep learning approaches fail to fully leverage the complementary characteristics of structural and functional connectomics data to enhance diagnostic performance. To address this issue, we proposed ConneX, a multimodal fusion method that integrates cross-attention mechanism and multilayer perceptron (MLP)-Mixer for refined feature fusion. Modality-specific backbone graph neural networks (GNNs) were firstly employed to obtain feature representation for each modality. A unified cross-modal attention network was then introduced to fuse these embeddings by capturing intra- and inter-modal interactions, while MLP-Mixer layers refined global and local features, leveraging higher-order dependencies for end-to-end classification with a multi-head joint loss. Extensive evaluations demonstrated improved performance on two distinct clinical datasets, highlighting the robustness of our proposed framework.

cs.CV↗

arXiv2026

Frequency-domain general synthetic iterative scheme for efficient simulation of oscillatory rarefied gas flows

Oscillatory rarefied gas flows are frequently encountered in MEMS, and their efficient numerical simulation remains a major challenge due to the time dependent nature of the problem and the high dimensionality of the Boltzmann kinetic equation. Here, we address this challenge by focusing on the periodic steady state and solving the resulting problem using the frequency domain general synthetic iterative scheme (GSIS). The key idea of GSIS is to simultaneously solve the mesoscopic kinetic equation and the macroscopic synthetic equation. The kinetic equation provides high-order constitutive relations, beyond those given by the Newton law of viscosity and the Fourier law of heat conduction, to the synthetic equation. In turn, the synthetic equation, which converges to the periodic steady state much faster than the kinetic equation, boosts the evolution of the kinetic equation toward the periodic steady state. As a result, super convergence is achieved, together with an asymptotic preserving property that allows the use of coarse spatial grids. The analytical Fourier stability analysis and the Chapman-Enskog expansion, together with challenging numerical simulations, are employed to demonstrate the fast convergence and asymptotic-preserving properties of GSIS, revealing that it can be three orders of magnitude faster than conventional kinetic schemes in near continuum flow regimes.

physics.comp-ph↗

arXiv2026

An efficient treatment of heat-flux boundary conditions in GSIS for rarefied gas flows

Heat-flux boundary conditions are challenging to implement efficiently in rarefied gas flow simulations because the wall-reflected gas temperature and density must be determined dynamically during the computation. This paper aims to tackle this problem within the general synthetic iterative scheme (GSIS), where the Boltzmann kinetic equation is solved deterministically in an outer loop and macroscopic synthetic equations are solved in an inner loop. To avoid kinetic-macroscopic boundary-flux mismatch and the resulting convergence bottlenecks, for the macroscopic boundary flux at every inner iteration, the incident increment is estimated using a Maxwellian distribution, and then the reflected contribution is obtained by boundary conditions consistent with those in the kinetic solver. In addition to retaining the fast-converging and asymptotic-preserving properties of GSIS, the proposed method significantly reduces the iterations required to determine the wall-reflected gas parameters. Numerical simulations of rarefied gas flows in and around a 3D nozzle, a 2D adiabatic cylinder, and a 2D annular heat-transfer configuration show good agreement with the direct simulation Monte Carlo method, while achieving substantial efficiency gains over conventional iterative schemes.

physics.comp-ph↗

arXiv2026

Geomagnetic constraints on Millicharged Dark Matter

Millicharged particles are well-motivated dark matter candidates arising in many extensions of the Standard Model. We show that, despite their tiny coupling $e_m$ to photons, millicharged dark matter (mDM) in the Earth's geomagnetic field can generate a quasi-static, monochromatic magnetic signal with angular frequency twice the mDM mass. Using null results from the SuperMAG and SNIPE Hunt collaborations, we constrain the effective charge of bosonic mDM in the mass range $10^{-18}$--$10^{-14}\,\text{eV}$. The resulting upper bounds exceed stellar cooling constraints by over thirteen orders of magnitude, demonstrating the power of this method.

hep-ph↗

arXiv2026

Accelerated simulation of multiscale gas-radiation coupling flows via a general synthetic iterative scheme

Gas-radiation coupling critically influences hypersonic reentry flows, where extreme temperatures induce pronounced non-equilibrium gas and radiative heat transport. Accurate and efficient simulation of radiative gas dynamics is therefore indispensable for reliable design of thermal protection systems for atmospheric entry vehicles. In this study, a Boltzmann-type kinetic model for radiative gas flows is solved across a broad spectrum of flow and radiation transport regimes using the general synthetic iterative scheme (GSIS). The approach integrates an unstructured finite-volume discrete velocity method with a set of macroscopic synthetic equations. Within this framework, the kinetic model provides high-order closures for the constitutive relations in the synthetic equations. Simultaneously, the macroscopic synthetic equations drive the evolution of the mesoscopic kinetic system, significantly accelerating steady-state convergence in near-continuum regimes, as substantiated by linear Fourier stability analysis. Crucially, the algorithm is proven to be asymptotic-preserving, correctly recovering the continuum and optically thick limits, represented by the radiative Navier-Stokes-Fourier equations governing distinct translational, rotational, vibrational, and radiative temperatures, on coarse meshes independent of the mean free path. Numerical simulations of challenging benchmarks, including three-dimensional hypersonic flow over an Apollo reentry capsule, demonstrate that GSIS achieves orders-of-magnitude speedup over conventional iterative schemes in multiscale simulations of radiative gas flows while accurately capturing non-equilibrium effects and radiative heat transfer in hypersonic environments.

physics.comp-ph↗

arXiv2025

Magic wavelengths and triple magic trapping conditions for $5s^2~^1\!S_0$ and $5s5p~^3\!P_{0,2}$ states of Sr atoms

The static and dynamic electric dipole polarizabilities of the $5s^2~^1\!S_0$ and $5s5p~^3\!P_{0,2}$ states of Sr atoms are calculated using the relativistic configuration interaction plus the many-body perturbation theory (RCI+MBPT) method. Magic wavelengths are determined for the transitions $5s^2~^1\!S_0\rightarrow 5s5p~^3\!P_{0}$, $5s^2~^1\!S_0\rightarrow 5s5p~^3\!P_{2}$, and $5s5p~^3\!P_0\rightarrow 5s5p~^3\!P_{2}$. A comprehensive study is conducted on the dependence of magic wavelengths on the angle between the laser polarization and the magnetic field. Furthermore, the conditions for realizing triple magic trapping at 813.4~nm for the $5s^2~^1\!S_0$, $5s5p~^3\!P_{0}$ and $5s5p~^3\!P_{2}$ states are investigated. In the case of linearly polarized light, when the angle ($θ_p$) between the laser polarization direction and the magnetic field is $79.1(0.7)^\circ$, triple magic trapping for the $5s^2~^1\!S_0$, $5s5p~^3\!P_{0}$, and $5s5p~^3\!P_{2}~M=0$ states can be achieved. This result agrees well with the recent experimental measurement (78.49(3)$^\circ$)[Phys. Rev. Lett. 135, 143401 (2025)]. Meanwhile, triple magic trapping involving the $5s5p~^3\!P_{2}~M=2$ state can be achieved when $θ_p= 37.4(0.3)^\circ$. The conditions for achieving triple magic trapping with circularly and arbitrarily elliptically polarized light are also presented.

physics.atom-ph↗

arXiv2025

Global fits and the search for new physics: past, present and future

In this work, we review the history and current role of global fits in the search for physics beyond the Standard Model~(BSM), including precision tests of the Standard Model (SM). Although BSM global fits were initially focused on minimal supersymmetric models, we describe how fits have evolved in response to new data from the Large Hadron Collider (LHC) and elsewhere, expanding to encompass a broad spectrum of BSM scenarios including non-minimal supersymmetry, axion-like particles, extended Higgs sectors, dark matter models, and effective field theories such as SMEFT. We discuss how the role of global fits has shifted from forecasting possible signals of new physics at the LHC to understanding the impact of null results from LHC run-I and II and the discovery of the Higgs boson, and how interest has shifted from global fits for parameter estimation to comprehensive model comparison. We close by discussing potential trends and future applications, emphasizing the potential for machine learning and artificial intelligence to enhance the efficiency of sampling algorithms and comparison between theory and experiment, as well as collaboration and software development.

hep-ph↗

arXiv2025

Surrogate-assisted airfoil optimization in rarefied gas flows

With growing interest in space exploration, optimized airfoil design has become increasingly important. However, airfoil design in rarefied gas flows remains underexplored because solving the Boltzmann equation formulated in a six dimensional phase space is time consuming. To address this problem, a solver-in-the-loop Bayesian optimization framework for symmetric, thickness-only airfoils is developed. First, airfoils are parameterized using a class shape transformation that enforce geometric admissibility. Second, a Gaussian process expected improvement surrogate is coupled in batches to a fast converging, asymptotic preserving Boltzmann solver for sample efficient exploration. Drag minimizing airfoils are identified in a wide range of gas rarefaction. It is found that, at Mach numbers Ma=2 and 4, the streamwise force increases with the gas rarefaction and shifts from pressure dominated to shear dominated drag, while optimization reduces drag at all conditions. The benefit of optimization peaks in the weakly rarefied regime, about 30% at Ma=2 and 40 to 50% at Ma=4, and falls to a few percent in transition and free-molecular flow regimes. Drag decomposition shows that these gains come mainly from reduced pressure drag, with viscous drag almost unchanged. The optimal airfoils form a coherent rarefaction-aware family: they retain a smooth, single-peaked thickness profile, are aft-loaded at low gas rarefaction, and exhibit a forward shift of maximum thickness and thickness area toward mid-chord as gas rarefaction increases. These trends provide a physically interpretable map that narrows the design space.

physics.flu-dyn↗

arXiv2025

Search for Ultralight Dark Matter with Quantum Magnetometry in the Earth's Cavity

Ultralight dark matter candidates, such as axions and dark photons, are leading dark matter candidates. They may couple feebly to photons, sourcing oscillating electromagnetic signals in the Earth's conducting cavity formed between the ground and the ionosphere, providing detectable magnetic field signatures at wavelengths above the Earth's size. We carry out a project aiming to search for new physics using an unshielded high-sensitivity atomic magnetometer, termed the Geomagnetic Probe for nEw physiCS (GPEX). In this work, we report our first search for axion and dark photon dark matter, conducted in the desert of XiaoDushan in Gansu Province, China. Analysis of the collection of one-hour data shows no robust evidence for axion- or dark photon-induced magnetic signals. Correspondingly, we set the constraints on the axion-photon coupling with $g_{aγγ} < 7\times10^{-10}\, \mathrm{GeV^{-1}}$ and the dark photon kinetic-mixing parameter $ε< 2\times10^{-6}$ in the mass range $3.5 \times 10^{-16}\, \mathrm{eV} \sim 1.8 \times 10^{-14}\, \mathrm{eV}$. Our findings demonstrate the feasibility of using ground-based quantum magnetic sensors for ultralight dark matter searches. Future networks of such detectors operating over extended periods could improve the sensitivity by about three orders of magnitude.

hep-ph↗

arXiv2025

Fast-Converging and Asymptotic-Preserving DSMC

Improving the efficiency of the direct simulation Monte Carlo (DSMC) method has become increasingly urgent with the rapid development of space exploration. To address this issue, the direct intermittent general synthetic iteration (DIG) scheme has recently been proposed to enable DSMC's rapid and accurate convergence to steady-state solutions, even when the cell size is much larger than the mean free path in near-continuum flow regimes. The first part of the paper is devoted to the mathematical analysis of DIG's fast-converging and asymptotic-preserving properties. Because the Boltzmann equation is analytically intractable, the analysis is conducted using the linearized BGK model. It is found that, in the near continuum flow regime, the DIG method asymptotically recovers the Navier Stokes equations when the cell size is O(1), rather than being constrained by the mean free path. Moreover, after a single cycle of DIG evolution, the deviation from the final steady state solution is reduced by more than a factor of five. In the second part of the paper, the Poiseuille flow and hypersonic flow passing over cylinder are investigated using the DIG scheme, with different time step and cell sizes, thereby demonstrating its efficiency and accuracy in multiscale flow simulation. Specifically, when the Knudsen number is 0.01, the DIG method is found to be faster than the traditional DSMC method by two orders of magnitude. The performance gain becomes even greater at smaller Knudsen numbers. The proposed method holds great potential for engineering applications.

physics.comp-ph↗

arXiv2025

A fast-converging and asymptotic-preserving method for adjoint shape optimization of rarefied gas flows

Adjoint based shape optimization is a powerful technique in fluid-dynamics optimization, capable of identifying an optimal shape within only dozens of design iterations. However, when extended to rarefied gas flows, the computational cost becomes enormous because both the six dimensional primal and adjoint Boltzmann equations must be solved for each candidate shape. Building on the general synthetic iterative scheme (GSIS) for solving the primal Boltzmann model equation, this paper presents a fast converging and asymptotic preserving method for solving the adjoint kinetic equation. The GSIS accelerates the convergence of the adjoint kinetic equation by incorporating solutions of macroscopic synthetic equations, whose constitutive relations include the Newtonian stress law along with higher order terms capturing rarefaction effects. As a result, the method achieves asymptotic preservation (allowing the use of large spatial cell sizes in the continuum limit) while maintaining accuracy in highly rarefied regimes. Numerical tests demonstrate exceptional performance on drag minimization problems for 3D bodies, achieving drag reductions of 34.5% in the transition regime and 61.1% in the slip-flow regime within roughly ten optimization iterations. For each candidate shape, converged solutions of the primal and adjoint Boltzmann equation are obtained with only a few dozen updates of the velocity distribution function, dramatically reducing computational cost compared with conventional methods.

physics.comp-ph↗

arXiv2025

Characteristics, Root Causes, and Detection of Incomplete Security Bug Fixes in the Linux Kernel

Security bugs in the Linux kernel emerge endlessly and have attracted much attention. However, fixing security bugs in the Linux kernel could be incomplete due to human mistakes. Specifically, an incomplete fix fails to repair all the original security defects in the software, fails to properly repair the original security defects, or introduces new ones. In this paper, we study the fixes of incomplete security bugs in the Linux kernel for the first time, and reveal their characteristics, root causes, as well as detection. We first construct a dataset of incomplete security bug fixes in the Linux kernel and answer the following three questions. What are the characteristics of incomplete security bug fixes in the Linux kernel? What are the root causes behind them? How should they be detected to reduce security risks? We then have the three main insights in the following. (*Due to the notification of arXiv "The Abstract field cannot be longer than 1,920 characters", the appeared Abstract is shortened. For the full Abstract, please download the Article.)

cs.CR↗

arXiv2025

Esim: EVM Bytecode Similarity Detection Based on Stable-Semantic Graph

Decentralized finance (DeFi) is experiencing rapid expansion. However, prevalent code reuse and limited open-source contributions have introduced significant challenges to the blockchain ecosystem, including plagiarism and the propagation of vulnerable code. Consequently, an effective and accurate similarity detection method for EVM bytecode is urgently needed to identify similar contracts. Traditional binary similarity detection methods are typically based on instruction stream or control flow graph (CFG), which have limitations on EVM bytecode due to specific features like low-level EVM bytecode and heavily-reused basic blocks. Moreover, the highly-diverse Solidity Compiler (Solc) versions further complicate accurate similarity detection. Motivated by these challenges, we propose a novel EVM bytecode representation called Stable-Semantic Graph (SSG), which captures relationships between 'stable instructions' (special instructions identified by our study). Moreover, we implement a prototype, Esim, which embeds SSG into matrices for similarity detection using a heterogeneous graph neural network. Esim demonstrates high accuracy in SSG construction, achieving F1-scores of 100% for control flow and 95.16% for data flow, and its similarity detection performance reaches 96.3% AUC, surpassing traditional approaches. Our large-scale study, analyzing 2,675,573 smart contracts on six EVM-compatible chains over a one-year period, also demonstrates that Esim outperforms the SOTA tool Etherscan in vulnerability search.

cs.CR↗

arXiv2025

On The Detection of Minimum Forecast Horizon For Real-Time Scheduling of Energy Storage Systems in Smart Grid

The increasing integration of energy storage systems (ESSs) into power grids has necessitated effective real-time control strategies under uncertain and volatile electricity prices. An important problem of model predictive control of ESSs is identifying the minimum forecast horizon needed to exactly simulate the globally optimal control trajectory. Existing methods in the literature provide only sufficient conditions and might ignore real-world inconsistencies in control actions. In this paper, we introduce a trajectory-alignment-based definition of the minimum forecast horizon and propose an algorithm that identifies the minimum planning horizon for which all rolling-horizon control decisions match those of the full-horizon global optimization. Using real price data from the bidding zone DK1 in Denmark of the Nord Pool day-ahead market and a realistic ESS model, we illustrate that $60$ hours of forecast horizon allows us to exactly simulate the global control sequence and economic outcomes. In addition, we illustrate that under other parameter configurations, no forecast horizon ensures full convergence, demonstrating the sensitivity of the existence of a forecast horizon to various parameters. Our findings provide an operationally significant framework for minimum forecast horizon detection in storage scheduling and pave the way for the analytical description of this important planning measure.

eess.SY↗

arXiv2025

Overshoot-resolved transition modeling based on field inversion and symbolic regression

Overshoot of high-speed transitional skin-friction and heat-transfer values over their fully turbulent levels is well documented by numerous direct numerical simulations (DNS) and experimental studies. However, this high-speed-specific overshoot phenomenon remains a longstanding challenge in Reynolds-averaged Navier-Stokes (RANS) transition models. In this paper, field inversion and symbolic regression (FISR) methodologies are adopted to explore a generalizable and interpretable augmentation for resolving the missing overshoot characteristic. Specifically, field inversion is implemented on our previous high-speed-improved $k$-$ω$-$γ$-$\widetilde{Re}_{θ\rm{t}}$ transition-turbulence model. Then symbolic regression is employed to derive an analytical map from RANS mean flow variables to the pre-defined and inferred corrective field $β(\mathbf{x})$. Results manifest that the excavated expression faithfully reproduces the overshoot phenomena of transition region over various test cases while does not corrupt model behavior in transition location and length. Based on its transparent functional form, mechanistic investigations are conducted to illustrate the underlying logic for accurate capture of overshoot phenomenon. In addition, importance of protect function in $β(\mathbf{x})$, feasibility of a more concise expression for $β(\mathbf{x})$, and reliable performance of $β(\mathbf{x})$ in low-speed transitional flows are emphasized.

physics.flu-dyn↗