arXiv subjects
Publications and source records attributed to Lei Wu.
By using logarithmic $\mathcal D$-modules and Gröbner bases, we prove that Bernstein-Sato ideals satisfy some symmetric intersection property, answering a question posed by Budur. As an application, we obtain a formula for the Bernstein-Sato polynomials of $f^n$, the integer powers of a multi-variable polynomial $f$.
Axionlike particles (ALPs), hypothetical particles beyond the Standard Model, are considered as promising dark matter candidates. ALPs can convert into photons and vice versa in a magnetic field via the Primakoff effect, potentially generating detectable oscillation in $γ$-ray spectra. This study analyzes 16.5 years of data from the Fermi Large Area Telescope (Fermi-LAT) on NGC 1275, the brightest galaxy in the Perseus cluster, to constrain the ALP parameter space. Our results improve the previous 95\% exclusion limits of the photon-ALP coupling $g_{aγ}$ by a factor of 2 in the ALP mass range of $4\times 10^{-10}\,\mathrm{eV}\lesssim m_{a}\lesssim 5\times 10^{-9}\,\mathrm{eV}$. Moreover, we investigate the projected sensitivity of the future Very Large Area $γ$-ray Space Telescope (VLAST) on searching for ALPs. We find that (i) the expected sensitivity on the ALP-photon coupling can be stronger than that from the upcoming International Axion Observatory (IAXO) in the ALP mass range of $2\times 10^{-11}\,\mathrm{eV}\lesssim m_{a}\lesssim 1\times 10^{-7}\,\mathrm{eV}$, with the best sensitivity of $g_{aγ}\sim 7\times 10^{-13}\,\mathrm{GeV^{-1}}$ at $m_{a}\sim 2\times 10^{-10}\,\mathrm{eV}$; (ii) VLAST can extend the sensitivity of the ALP masses below $5\times 10^{-12}\,\mathrm{eV}$, where the ALP-photon coupling $g_{aγ}\gtrsim 1.5\times 10^{-11}\,\mathrm{GeV^{-1}}$ will be excluded; (iii) the entire parameter space of ALP accounting for TeV transparency can be fully tested. These results demonstrate that VLAST will offer an excellent opportunity for ALPs searches.
While flow optimization has been extensively studied in the continuum regime, its extension to rarefied gas flows remains less explored. Here, based on the Boltzmann model equation, an adjoint topology optimization method is employed to design two-dimensional single inlet multi outlet manifolds, aiming to maximize the total mass flow rate while maintaining outflow uniformity. Two key findings are revealed. (1) analogous to the Knudsen minimum in mass flow rate in the transition regime, a wetted-area minimum is identified, but in the slip flow regime. This phenomenon arises from the competition between flow bend loss and surface friction loss, with the latter being affected by velocity slip at the solid surface. (2) the inlet outlet reciprocity emerges in the free molecular flow regime, where the optimal design becomes invariant to inlet outlet orientation and pressure ratio. Additional insights are gained regarding the channel curvature, compressibility effects, and the constraint of outflow uniformity. These findings elucidate the mechanisms governing rarefied gas transport and offer design guidance for manifolds operating in vacuum environments.
Self-supervised learning (SSL) has transformed vision encoder training in general domains but remains underutilized in medical imaging due to limited data and domain specific biases. We present MammoDINO, a novel SSL framework for mammography, pretrained on 1.4 million mammographic images. To capture clinically meaningful features, we introduce a breast tissue aware data augmentation sampler for both image-level and patch-level supervision and a cross-slice contrastive learning objective that leverages 3D digital breast tomosynthesis (DBT) structure into 2D pretraining. MammoDINO achieves state-of-the-art performance on multiple breast cancer screening tasks and generalizes well across five benchmark datasets. It offers a scalable, annotation-free foundation for multipurpose computer-aided diagnosis (CAD) tools for mammogram, helping reduce radiologists' workload and improve diagnostic efficiency in breast cancer screening.
The diffusion of high-energy cosmic rays (CRs) through the dark matter (DM) spikes of active galactic nuclei entails significant energy loss via interactions with DM. While previous studies of sub-GeV DM have focused on elastic scattering, this process becomes insufficient at higher proton energies and DM masses. In this work, we investigate the CR-DM deep inelastic scattering (DIS) as mediated by a vector portal. We calculate the DIS contribution to the CR energy loss rate and derive stringent exclusion limits on the CR-DM scattering cross-section for DM masses between $10^{-6}$ GeV and $1$ GeV. For higher CR energies and mediator masses, the resulting CR cooling timescales are reduced by orders of magnitude after involving the DIS contribution, producing stringent constraints that surpass most of current experimental limits.
Chirped coherent Rayleigh-Brillouin scattering (CRBS) is a flow diagnostic technique that offers high signal-to-noise ratios and nanosecond temporal resolution. To extract information of dilute gas flow, experimental spectra must be compared with theoretical predictions derived from the Boltzmann equation. In this work, we develop a MATLAB code that deterministically solves the Boltzmann equation to compute CRBS spectra, enabling each line shape to be obtained in about one minute. We find that the CRBS spectrum is highly sensitive to the intermolecular potential, and that rapid chirping generates fine ripples around the Rayleigh peak along with spectral asymmetries.
A general synthetic iterative scheme is proposed to solve the Enskog equation within a Monte Carlo framework. The method demonstrates rapid convergence by reducing intermediate Monte Carlo evolution and preserves the asymptotic-preserving property, enabling spatial cell sizes much larger than the mean free path in near-continuum flows. This is realized through mesoscopic-macroscopic two-way coupling: the mesoscopic Monte Carlo simulation provides high-order constitutive relations to close the moment (synthetic) equation, while the macroscopic synthetic equation, once solved toward steady state, directs the evolution of simulation particles in the Monte Carlo method. The accuracy of the proposed general synthetic iterative scheme is verified through one-dimensional normal shock wave and planar Fourier heat transfer problems, while its fast-converging and asymptotic-preserving properties are demonstrated in the force-driven Poiseuille flow and two-dimensional hypersonic cylinder flow and low-speed porous media flow, where the simulation time is reduced by several orders of magnitude in near-continuum flows. With the proposed method, a brief analysis is conducted on the role of the adsorption layer in porous media flow, mimicking shale gas extraction.
The numerical simulation of rarefied gas mixture dynamics with disparate masses using the direct simulation Monte Carlo (DSMC) method is slow, primarily because the time step is constrained by that of the lighter species, necessitating an enormous number of evolution steps to reach a steady state. Here, we address this issue by developing a general synthetic iterative scheme, in which the traditional DSMC simulation is intermittently enhanced using a macroscopic synthetic equation. Specifically, after running the DSMC for a certain number of time steps, the high-order constitutive relations for stress and heat flux, as well as the momentum and energy exchange terms from inter-species collisions, are extracted from the DSMC and incorporated into the macroscopic synthetic equations. These equations are solved to obtain the steady state, and the solution is then used to update the particle distribution in DSMC, thereby skipping unnecessary intermediate evolutions. This two-way coupling not only accelerates convergence to the steady state but also asymptotically preserves the Navier-Stokes limit in the continuum flow regime, allowing the spatial cell size to be much larger than the molecular mean free path. The accuracy of our method is validated for one-dimensional force-driven Poiseuille flow and two-dimensional hypersonic flow past cylinders, considering Maxwell and hard-sphere gases with mass ratios of 10 and 100. Although our in-house DSMC method is approximately an order of magnitude slower than the open-source DSMC code SPARTA, intermittently augmenting it with the synthetic equation makes it roughly 30 times faster at a Knudsen number of 0.01, with even greater computational gains anticipated at smaller Knudsen numbers. This work represents a critical step toward developing fast-converging and asymptotic-preserving schemes for hypersonic chemical reactions.
Smart contract upgrades are increasingly common due to their flexibility in modifying deployed contracts, such as fixing bugs or adding new functionalities. Meanwhile, upgrades compromise the immutability of contracts, introducing significant security concerns. While existing research has explored the security impacts of contract upgrades, these studies are limited in collection of upgrade behaviors and identification of insecurities. To address these limitations, we conduct a comprehensive study on the insecurities of upgrade behaviors. First, we build a dataset containing 83,085 upgraded contracts and 20,902 upgrade chains. To our knowledge, this is the first large-scale dataset about upgrade behaviors, revealing their diversity and exposing gaps in public disclosure. Next, we develop a taxonomy of insecurities based on 37 real-world security incidents, categorizing eight types of upgrade risks and providing the first complete view of upgrade-related insecurities. Finally, we survey public awareness of these risks and existing mitigations. Our findings show that four types of security risks are overlooked by the public and lack mitigation measures. We detect these upgrade risks through a preliminary study, identifying 31,407 related issues - a finding that raises significant concerns.
The linear stability analysis of the Boltzmann kinetic equation has recently garnered research interest due to its potential applications in space exploration, where rarefaction effects can render the Navier Stokes equations invalid. Since the Boltzmann equation is defined in a seven-dimensional phase space, directly solving the associated eigenvalue problems is computationally intractable. In this paper, we propose an efficient iterative method to solve the linear stability equation of the kinetic equation. The solution process involves both outer and inner iterations. In the outer iteration, the shifted inverse power method is employed to compute selected eigenvalues and their corresponding eigenfunctions of interest. For the inner iteration, which involves inverting the high-dimensional system for the velocity distribution function, we adopt our recently developed general synthetic iterative scheme to ensure fast converging and asymptotic preserving properties. As a proof of concept, our method demonstrates both high efficiency and accuracy in planar sound wave and Couette flow. Each eigenpair can be computed with only a few hundred iterations of the kinetic equation, and the spatial cell size can be significantly larger than the molecular mean free path in near-continuum flow regimes.
We present BlueLM-2.5-3B, a compact and unified dense Multimodal Large Language Model (MLLM) designed for efficient edge-device deployment, offering strong general-purpose and reasoning capabilities. To the best of our knowledge, this is the first 3B-scale MLLM to support both thinking and non-thinking modes, while also enabling explicit control over thinking token budget. BlueLM-2.5-3B is developed through diversified data curation, key data resampling, hybrid heterogeneous reinforcement learning, and a high-performance training infrastructure. Our model achieves superior multimodal capacity while preserving competitive pure-text performance with only 2.9 billion parameters. We conduct comprehensive evaluations across a broad range of multimodal and text-only benchmarks. In thinking mode, BlueLM-2.5-3B achieves comparable performance to Qwen3-4B on text-only benchmarks, and trails the larger Kimi-VL-A3B-16B by only about 5% on average across multimodal evaluations. In non-thinking mode, it outperforms Qwen2.5-VL-3B on the majority of multimodal benchmarks. Additionally, BlueLM-2.5-3B exhibits exceptional data efficiency. All of the aforementioned performance is achieved with substantially less total training data than Qwen2.5-VL-3B and Qwen3-4B. We hope our work contributes to the advancement of high-performance, on-device MLLMs and provides meaningful insights to the research community.
Achieving efficient and accurate simulation of the radiative transfer has long been a research challenge. Here we introduce the general synthetic iterative scheme as an easy-to-implement approach to address this issue. First, a macroscopic synthetic equation, which combines the asymptotic equation at the diffusion limit and the "high-order terms" extracted from the transport equation to account for transport effects, is introduced to accelerate the simulation of the radiative transfer equation. Second, the asymptotic preserving property is directly provided by the macroscopic process, eliminating the need for fine spatial discretization in optically thick media, as well as the need for consistency enforcement. Third, to address the issue of opacity discontinuity in the finite volume method, an adaptive least square method for gradient approximation is proposed. Numerical results on several canonical tests demonstrate that, in optically thick problems, our method achieves significant speed-up over the conventional iterative schemes. Finally, with our newly developed method, we reveal the importance of resolving the Knudsen layer in the initial stage of Tophat problem, while in steady-state the Knudsen layer can be under-resolved.
Stablecoins have become significant assets in modern finance, with a market capitalization exceeding USD 246 billion (May 2025). Yet, despite their systemic importance, a comprehensive and risk-oriented understanding of crucial aspects like their design trade-offs, security dynamics, and interdependent failure pathways often remains underdeveloped. This SoK confronts this gap through a large-scale analysis of 157 research studies, 95 active stablecoins, and 44 major security incidents. Our analysis establishes four pivotal insights: 1) stability is best understood not an inherent property but an emergent, fragile state reliant on the interplay between market confidence and continuous liquidity; 2) stablecoin designs demonstrate trade-offs in risk specialization instead of mitigation; 3) the widespread integration of yield mechanisms imposes a "dual mandate" that creates a systemic tension between the core mission of stability and the high-risk financial engineering required for competitive returns; and 4) major security incidents act as acute "evolutionary pressures", forging resilience by stress-testing designs and aggressively redefining the security frontier. We introduce the Stablecoin LEGO framework, a quantitative methodology mapping historical failures to current designs. Its application reveals that a lower assessed risk strongly correlates with integrating lessons from past incidents. We hope this provides a systematic foundation for building, evaluating, and regulating more resilient stablecoins.
Surrogate models are critical for accelerating computationally expensive simulations in science and engineering, particularly for solving parametric partial differential equations (PDEs). Developing practical surrogate models poses significant challenges, particularly in handling geometrically complex and variable domains, which are often discretized as point clouds. In this work, we systematically investigate the formulation of neural operators -- maps between infinite-dimensional function spaces -- on point clouds to better handle complex and variable geometries while mitigating discretization effects. We introduce the Point Cloud Neural Operator (PCNO), designed to efficiently approximate solution maps of parametric PDEs on such domains. We evaluate the performance of PCNO on a range of pedagogical PDE problems, focusing on aspects such as boundary layers, adaptively meshed point clouds, and variable domains with topological variations. Its practicality is further demonstrated through three-dimensional applications, such as predicting pressure loads on various vehicle types and simulating the inflation process of intricate parachute structures.
Transformers consist of diverse building blocks, such as embedding layers, normalization layers, self-attention mechanisms, and point-wise feedforward networks. Thus, understanding the differences and interactions among these blocks is important. In this paper, we uncover a clear Sharpness Disparity across these blocks, which emerges early in training and intriguingly persists throughout the training process. Motivated by this finding, we propose Blockwise Learning Rate (LR), a strategy that tailors the LR to each block's sharpness, accelerating large language model (LLM) pre-training. By integrating Blockwise LR into AdamW, we consistently achieve lower terminal loss and nearly $2\times$ speedup compared to vanilla AdamW. We demonstrate this acceleration across GPT-2 and LLaMA, with model sizes ranging from 0.12B to 2B and datasets of OpenWebText, MiniPile, and C4. Finally, we incorporate Blockwise LR into Adam-mini (Zhang et al., 2024), a recently proposed memory-efficient variant of Adam, achieving a combined $2\times$ speedup and $2\times$ memory saving. These results underscore the potential of exploiting the sharpness disparity to improve LLM training.
The emergence of smart contracts brings security risks, exposing users to the threat of losing valuable cryptocurrencies, underscoring the urgency of meticulous scrutiny. Nevertheless, the static analysis of smart contracts in EVM bytecode faces obstacles due to flawed primitives resulting from code reuse introduced by compilers. Code reuse, a phenomenon where identical code executes in diverse contexts, engenders semantic ambiguities and redundant control-flow dependencies within reuse-insensitive CFGs. This work delves into the exploration of code reuse within EVM bytecode, outlining prevalent reuse patterns, and introducing Esuer, a tool that dynamically identifies code reuse when constructing CFGs. Leveraging taint analysis to dynamically identify reuse contexts, Esuer identifies code reuse by comparing multiple contexts for a basic block and replicates reused code for a reuse-sensitive CFG. Evaluation involving 10,000 prevalent smart contracts, compared with six leading tools, demonstrates Esuer's ability to notably refine CFG precision. It achieves an execution trace coverage of 99.94% and an F1-score of 97.02% for accurate identification of reused code. Furthermore, Esuer attains a success rate of 99.25%, with an average execution time of 1.06 seconds, outpacing tools generating reuse-insensitive CFGs. Esuer's efficacy in assisting identifying vulnerabilities such as tx.origin and reentrancy vulnerabilities, achieving F1-scores of 99.97% and 99.67%, respectively.
The personalized text-to-image generation has rapidly advanced with the emergence of Stable Diffusion. Existing methods, which typically fine-tune models using embedded identifiers, often struggle with insufficient stylization and inaccurate image content due to reduced textual controllability. In this paper, we propose style refinement and content preservation strategies. The style refinement strategy leverages the semantic information of visual reasoning prompts and reference images to optimize style embeddings, allowing a more precise and consistent representation of style information. The content preservation strategy addresses the content bias problem by preserving the model's generalization capabilities, ensuring enhanced textual controllability without compromising stylization. Experimental results verify that our approach achieves superior performance in generating consistent and personalized text-to-image outputs.
Personalized outfit generation aims to construct a set of compatible and personalized fashion items as an outfit. Recently, generative AI models have received widespread attention, as they can generate fashion items for users to complete an incomplete outfit or create a complete outfit. However, they have limitations in terms of lacking diversity and relying on the supervised learning paradigm. Recognizing this gap, we propose a novel framework FashionDPO, which fine-tunes the fashion outfit generation model using direct preference optimization. This framework aims to provide a general fine-tuning approach to fashion generative models, refining a pre-trained fashion outfit generation model using automatically generated feedback, without the need to design a task-specific reward function. To make sure that the feedback is comprehensive and objective, we design a multi-expert feedback generation module which covers three evaluation perspectives, \ie quality, compatibility and personalization. Experiments on two established datasets, \ie iFashion and Polyvore-U, demonstrate the effectiveness of our framework in enhancing the model's ability to align with users' personalized preferences while adhering to fashion compatibility principles. Our code and model checkpoints are available at https://github.com/Yzcreator/FashionDPO.