arXiv Science⌕ Search

arXiv subjects

Lei Wu

Publications and source records attributed to Lei Wu.

At least 181 records · Page 10Linked to original sources

Ghost Effect from Boltzmann Theory

Taking place naturally in a gas subject to a given wall temperature distribution [Maxwell1879], the ``ghost effect'' exhibits a rare kinetic effect beyond the prediction of classical fluid theory and Fourier law in such a classical problem in physics. As the Knudsen number $\varepsilon$ goes to zero, the finite variation of temperature in the bulk is determined by an $\varepsilon$ infinitesimal, ghost-like velocity field, created by a given finite variation of the tangential wall temperature as predicted by Maxwell's slip boundary condition. Mathematically, such a finite variation leads to the presence of a severe $\varepsilon^{-1}$ singularity and a Knudsen layer approximation in the fundamental energy estimate. Neither difficulty is within the reach of any existing PDE theory on the steady Boltzmann equation in a general 3D bounded domain. Consequently, in spite of the discovery of such a ghost effect from temperature variation in as early as 1960's, its mathematical validity has been a challenging and intriguing open question, causing confusion and suspicion. We settle this open question in affirmative if the temperature variation is small but finite, by developing a new $L^2-L^6-L^{\infty}$ framework with four major innovations: 1) a key $\mathscr{A}$-Hodge decomposition and its corresponding local $\mathscr{A}$-conservation law eliminate the severe $\varepsilon^{-1}$ bulk singularity, leading to a reduced energy estimate; 2) A surprising $\varepsilon^{\frac{1}{2}}$ gain in $L^2$ via momentum conservation and a dual Stokes solution; 3) the $\mathscr{A}$-conservation, energy conservation and a coupled dual Stokes-Poisson solution reduces to an $\varepsilon^{-\frac{1}{2}}$ boundary singularity; 4) a crucial construction of $\varepsilon$-cutoff boundary layer eliminates such boundary singularity via new Hardy and BV estimates.

math.AP↗

Ghost Effect from Boltzmann Theory: Expansion with Remainder

Consider the limit $\varepsilon\rightarrow0$ of the steady Boltzmann problem \begin{align} v\cdot\nabla_x\mathfrak{F}=\varepsilon^{-1}Q[\mathfrak{F},\mathfrak{F}],\quad \mathfrak{F}\big|_{v\cdot n<0}=M_w\displaystyle\int_{v'\cdot n>0} \mathfrak{F}(v')|v'\cdot n|\mathrm{d}{v'}, \end{align} where $\displaystyle M_w(x_0,v):=\frac{1}{2π\big(T_w(x_0)\big)^2} \exp\bigg(-\frac{|v|^2}{2T_w(x_0)}\bigg)$ for $x_0\in\partialΩ$ is the wall Maxwellian in the diffuse-reflection boundary condition. In the natural case of $|\nabla T_w|=O(1)$, for any constant $P>0$, the Hilbert expansion leads to \begin{align}\label{expansion} \mathfrak{F}\approx μ+\varepsilon\bigg\{μ\bigg(ρ_1+u_1\cdot v+T_1\frac{|v|^2-3T}{2}\bigg)-μ^{\frac{1}{2}}\left(\mathscr{A}\cdot\frac{\nabla_xT}{2T^2}\right)\bigg\} \end{align} where $\displaystyleμ(x,v):=\frac{ρ(x)}{\big(2πT(x)\big)^{\frac{3}{2}}} \exp\bigg(-\frac{|v|^2}{2T(x)}\bigg)$, and $(ρ,u_1,T)$ is determined by a Navier-Stokes-Fourier system with "ghost" effect. The goal of this paper is to construct $\mathfrak{F}$ in the form of \begin{align}\label{aa 08} \mathfrak{F}(x,v)=&μ+μ^{\frac{1}{2}}\Big(\varepsilon f_1+\varepsilon^2f_2\Big)+μ_w^{\frac{1}{2}}\Big(\varepsilon f^B_1\Big)+\varepsilon^αμ^{\frac{1}{2}}R, \end{align} for interior solutions $f_1$, $f_2$ and boundary layer $f^B_1$, where $μ_w$ is $μ$ computed for $T=T_w$, and derive equation for the remainder $R$ with some constant $α\geq1$. To prove the validity of the expansion suitable bounds on $R$ are needed, which are provided in the companion paper [Esposito-Guo-Rossana-Wu2023].

math.AP↗

Probing Light DM through Migdal Effect with Spherical Proportional Counter

Owing to its low electronic noise and flexible target materials, the Spherical Proportional Counter (SPC) with a single electron detection threshold can be utilized to search for sub-GeV dark matter (DM). In this work, we investigate the prospects for light DM direct detection through the DM-nucleus Migdal effect in the DARKSPHERE detector. We consider the different DM velocity distributions and momentum-transfer effects. For Xenon and Neon targets, we find that the DM mass $m_{DM}$ can be probed down to as low as $m_{DM} \sim \mathcal{O}$(10) MeV, and the derived bounds on the DM-nucleus scattering cross section $\barσ_{n}$ are sensitive to the high-velocity tails of the DM velocity distribution, which can be altered by orders of magnitude for the different DM velocity distributions in the region $m_{DM} < 10$ MeV.

hep-ph↗

Probing Dark QCD Sector through the Higgs Portal with Machine Learning at the LHC

The QCD-like dark sector with GeV-scale dark hadrons has the potential to generate new signatures at the Large Hadron Collider (LHC). In this paper, we consider a singlet scalar mediator in the tens of GeV-scale that connects the dark sector and the Standard Model (SM) sector via the Higgs portal. We focus on the Higgs-strahlung process, $q\overline{q}'\rightarrow W^{\ast}\rightarrow WH $, to produce a highly boosted Higgs boson. Our scenario predicts two different processes that can generate dark mesons: (1) the cascade decay from the Higgs boson to two light scalar mediators and then to four dark mesons; (2) the Higgs boson decaying to two dark quarks, which then undergo a QCD-like shower and hadronization to produce dark mesons. We apply machine learning techniques, such as Convolutional Neural Network (CNN) and Energy Flow Network (EFN), to the fat jet structure to distinguish these signal processes from large SM backgrounds. We find that the branching ratio of the Higgs boson to two light scalar mediators can be constrained to be less than $10\%$ at 14 TeV LHC with $\mathcal{L} = 3000 fb^{-1}$.

hep-ph↗

An efficient topology optimization method for steady gas flows in all flow regimes

An efficient topology optimization method applicable to both continuum and rarefied gas flows is proposed in the framework of gas-kinetic theory. The areas of gas and solid are marked by the material density, based on which a fictitious porosity model is used to reflect the effect of the solid on the gas and mimic the diffuse boundary condition on the gas-solid interface. The formula of this fictitious porosity model is modified to make the model work well in all flow regimes, i.e., from the continuum to free-molecular flow regimes. To find the optimized material density, a gradient-based optimizer is adopted and the design sensitivity is obtained by the continuous adjoint method. To solve the primal kinetic equation and the corresponding adjoint equation, the numerical schemes efficient and accurate in all flow regimes are constructed. Several airfoil optimization problems are solved to demonstrate the good performance and high efficiency of the present topology optimization method, covering the flow conditions from continuum to rarefied, and from subsonic to supersonic.

physics.flu-dyn↗

Finding the spectral radius of a nonnegative irreducible symmetric tensor via DC programming

The Perron-Frobenius theorem says that the spectral radius of an irreducible nonnegative tensor is the unique positive eigenvalue corresponding to a positive eigenvector. With this in mind, the purpose of this paper is to find the spectral radius and its corresponding positive eigenvector of an irreducible nonnegative symmetric tensor. By transferring the eigenvalue problem into an equivalent problem of minimizing a concave function on a closed convex set, which is typically a DC (difference of convex functions) programming, we derive a simpler and cheaper iterative method. The proposed method is well-defined. Furthermore, we show that both sequences of the eigenvalue estimates and the eigenvector evaluations generated by the method $Q$-linearly converge to the spectral radius and its corresponding eigenvector, respectively. To accelerate the method, we introduce a line search technique. The improved method retains the same convergence property as the original version. Preliminary numerical results show that the improved method performs quite well.

math.OC↗

Search for light dark matter from atmosphere in PandaX-4T

We report a search for light dark matter produced through the cascading decay of $η$ mesons, which are created as a result of inelastic collisions between cosmic rays and Earth's atmosphere. We introduce a new and general framework, publicly accessible, designed to address boosted dark matter specifically, with which a full and dedicated simulation including both elastic and quasi-elastic processes of Earth attenuation effect on the dark matter particles arriving at the detector is performed. In the PandaX-4T commissioning data of 0.63 tonne$\cdot$year exposure, no significant excess over background is observed. The first constraints on the interaction between light dark matter generated in the atmosphere and nucleus through a light scalar mediator are obtained. The lowest excluded cross-section is set at $5.9 \times 10^{-37}{\rm cm^2}$ for dark matter mass of $0.1$ MeV$/c^2$ and mediator mass of 300 MeV$/c^2$. The lowest upper limit of $η$ to dark matter decay branching ratio is $1.6 \times 10^{-7}$.

hep-ex↗

Can Sterile Neutrino Explain Very High Energy Photons from GRB221009A?

The LHAASO collaboration has reported their observation of very high energy photons ($E^{max}_γ\simeq 18$ TeV) from the gamma-ray burst GRB221009A. The sterile neutrino that involves both mixing and transition magnetic moment may be a viable explanation for these high energy photon events. However, we demonstrate that such a solution is strongly disfavored by the cosmic microwave background (CMB) and Big Bang nucleosynthesis (BBN) in the standard cosmology.

hep-ph↗

Hilbert Expansion for Coulomb Collisional Kinetic Models

The relativistic Vlasov-Maxwell-Landau (r-VML) system and the relativistic Landau equation (r-LAN) are fundamental models that describe the dynamics of an electron gas. In this paper, we introduce a novel weighted energy method and establish the validity of the Hilbert expansion for the r-VML system and r-LAN equation. As the Knudsen number shrinks to zero, we rigorously demonstrate the relativistic Euler-Maxwell limit and relativistic Euler limit, respectively. This successfully resolves the long-standing open problem regarding the hydrodynamic limits of Landau-type equations.

math.AP↗

The $L^\infty$ Learnability of Reproducing Kernel Hilbert Spaces

In this work, we analyze the learnability of reproducing kernel Hilbert spaces (RKHS) under the $L^\infty$ norm, which is critical for understanding the performance of kernel methods and random feature models in safety- and security-critical applications. Specifically, we relate the $L^\infty$ learnability of a RKHS to the spectrum decay of the associate kernel and both lower bounds and upper bounds of the sample complexity are established. In particular, for dot-product kernels on the sphere, we identify conditions when the $L^\infty$ learning can be achieved with polynomial samples. Let $d$ denote the input dimension and assume the kernel spectrum roughly decays as $λ_k\sim k^{-1-β}$ with $β>0$. We prove that if $β$ is independent of the input dimension $d$, then functions in the RKHS can be learned efficiently under the $L^\infty$ norm, i.e., the sample complexity depends polynomially on $d$. In contrast, if $β=1/\mathrm{poly}(d)$, then the $L^\infty$ learning requires exponentially many samples.

stat.ML↗

The Implicit Regularization of Dynamical Stability in Stochastic Gradient Descent

In this paper, we study the implicit regularization of stochastic gradient descent (SGD) through the lens of {\em dynamical stability} (Wu et al., 2018). We start by revising existing stability analyses of SGD, showing how the Frobenius norm and trace of Hessian relate to different notions of stability. Notably, if a global minimum is linearly stable for SGD, then the trace of Hessian must be less than or equal to $2/η$, where $η$ denotes the learning rate. By contrast, for gradient descent (GD), the stability imposes a similar constraint but only on the largest eigenvalue of Hessian. We then turn to analyze the generalization properties of these stable minima, focusing specifically on two-layer ReLU networks and diagonal linear networks. Notably, we establish the {\em equivalence} between these metrics of sharpness and certain parameter norms for the two models, which allows us to show that the stable minima of SGD provably generalize well. By contrast, the stability-induced regularization of GD is provably too weak to ensure satisfactory generalization. This discrepancy provides an explanation of why SGD often generalizes better than GD. Note that the learning rate (LR) plays a pivotal role in the strength of stability-induced regularization. As the LR increases, the regularization effect becomes more pronounced, elucidating why SGD with a larger LR consistently demonstrates superior generalization capabilities. Additionally, numerical experiments are provided to support our theoretical findings.

stat.ML↗

RZCR: Zero-shot Character Recognition via Radical-based Reasoning

The long-tail effect is a common issue that limits the performance of deep learning models on real-world datasets. Character image datasets are also affected by such unbalanced data distribution due to differences in character usage frequency. Thus, current character recognition methods are limited when applied in the real world, especially for the categories in the tail that lack training samples, e.g., uncommon characters. In this paper, we propose a zero-shot character recognition framework via radical-based reasoning, called RZCR, to improve the recognition performance of few-sample character categories in the tail. Specifically, we exploit radicals, the graphical units of characters, by decomposing and reconstructing characters according to orthography. RZCR consists of a visual semantic fusion-based radical information extractor (RIE) and a knowledge graph character reasoner (KGR). RIE aims to recognize candidate radicals and their possible structural relations from character images in parallel. The results are then fed into KGR to recognize the target character by reasoning with a knowledge graph. We validate our method on multiple datasets, and RZCR shows promising experimental results, especially on few-sample character datasets.

cs.CV↗

Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection

Recent years have witnessed explosive growth in blockchain smart contract applications. As smart contracts become increasingly popular and carry trillion dollars worth of digital assets, they become more of an appealing target for attackers, who have exploited vulnerabilities in smart contracts to cause catastrophic economic losses. Notwithstanding a proliferation of work that has been developed to detect an impressive list of vulnerabilities, the bad randomness vulnerability is overlooked by many existing tools. In this paper, we make the first attempt to provide a systematic analysis of random numbers in Ethereum smart contracts, by investigating the principles behind pseudo-random number generation and organizing them into a taxonomy. We also lucubrate various attacks against bad random numbers and group them into four categories. Furthermore, we present RNVulDet - a tool that incorporates taint analysis techniques to automatically identify bad randomness vulnerabilities and detect corresponding attack transactions. To extensively verify the effectiveness of RNVulDet, we construct three new datasets: i) 34 well-known contracts that are reported to possess bad randomness vulnerabilities, ii) 214 popular contracts that have been rigorously audited before launch and are regarded as free of bad randomness vulnerabilities, and iii) a dataset consisting of 47,668 smart contracts and 49,951 suspicious transactions. We compare RNVulDet with three state-of-the-art smart contract vulnerability detectors, and our tool significantly outperforms them. Meanwhile, RNVulDet spends 2.98s per contract on average, in most cases orders-of-magnitude faster than other tools. RNVulDet successfully reveals 44,264 attack transactions. Our implementation and datasets are released, hoping to inspire others.

cs.SE↗

Linear optimization on varieties and Chern-Mather classes

The linear optimization degree gives an algebraic measure of complexity of optimizing a linear objective function over an algebraic model. Geometrically, it can be interpreted as the degree of a projection map on the {affine} conormal variety. Fixing an affine variety, our first result shows that the geometry of {this} conormal variety, expressed in terms of bidegrees, completely determines the Chern-Mather classes of the given variety. We also show that these bidegrees coincide with the linear optimization degrees of generic affine sections.

math.AG↗

The Spin-dependent Scattering of Boosted Dark Matter

Boosted dark matter provides a promising approach to probe the light dark matter, whose computational framework in the spin-independent scattering process is well developed. However, the spin-dependent one lacks a unified treatment. The novelty of this paper is to give the first comprehensive derivation of the cross-section for boosted dark matter in spin-dependent scattering. When the transfer momentum is sufficiently large, there is a sizable enhancement to the proton structure factor from the time component. Besides, we find a residue momentum dependence in the quark-nucleon matching procedure, even without a light mediator. Such behavior can enhance the sensitivity compared with conventional contact interaction. We promote this endeavor by deriving direct limits on sub-GeV spin-dependent boosted dark matter through terrestrial data. The numerical results of the boosted structure factor and the non-relativistic structure factor are given explicitly in the paper and it shows that the excluded region of the boosted structure factor is about six orders larger than the non-relativistic structure factor.

hep-ph↗

Spin-dependent sub-GeV Inelastic Dark Matter-electron scattering and Migdal effect: (I). Velocity Independent Operator

The ionization signal provide an important avenue of detecting light dark matter. In this work, we consider the sub-GeV inelastic dark matter and use the non-relativistic effective field theory (NR-EFT) to derive the constraints on the spin-dependent DM-electron scattering and DM-nucleus Migdal scattering. Since the recoil electron spectrum of sub-GeV DM is sensitive to tails of galactic DM velocity distributions, we also compare the bounds on corresponding scattering cross sections in Tsallis, Empirical and standard halo models. With the XENON1T data, we find that the exclusion limits of the DM-proton/neutron and DM-electron scattering cross sections for exothermic inelastic DM are much stronger that those for the endothermic inelastic DM. Each limits of the endothermic inelastic DM can differ by an order of magnitude at most in three considered DM velocity distributions.

hep-ph↗

Diffusive Limit of the Boltzmann Equation in Bounded Domains

The rigorous justification of the hydrodynamic limits of kinetic equations in bounded domains has been actively investigated in recent years. In spite of the progress for the diffuse-reflection boundary case, the more challenging in-flow boundary case, in which the leading-order boundary layer effect is non-negligible, still remains open. In this work, we consider the stationary and evolutionary Boltzmann equation with the in-flow boundary in general (convex or non-convex) bounded domains, and demonstrate their incompressible Navier-Stokes-Fourier (INSF) limits in $L^2$. Our method relies on a novel and surprising gain of $\varepsilon^{\frac{1}{2}}$ in the kernel estimate, which is rooted from a key cancellation of delicately chosen test functions and conservation laws. We also introduce the boundary layer with grazing-set cutoff and investigate its BV regularity estimates to control the source terms of the remainder equation with the help of Hardy's inequality.

math.AP↗

New Strong Bounds on sub-GeV Dark Matter from Boosted and Migdal Effects

Due to the low nuclear recoils, sub-GeV dark matter (DM) is usually beyond the sensitivity of the conventional DM direct detection experiments. The boosted and Migdal scattering mechanisms have been proposed as two new complementary avenues to search for light DM. In this work, we consider the momentum-transfer effect in the DM-nucleus scattering to derive the new bounds on sub-GeV DM for these two scenarios. We show that such an effect is sizable so that the existing bounds on the DM-nucleus scattering cross section can be improved significantly.

hep-ph↗