-
Strong averaging principle for nonautonomous slow-fast SPDEs driven by $α$-stable processes
Authors:
Yueling Li,
Xiaobin Sun,
Zijuan Wang,
Yingchao Xie
Abstract:
This paper considers a class of nonautonomous slow-fast stochastic partial differential equations driven by $α$-stable processes for $α\in (1,2)$. By introducing the evolution system of measures, we establish an averaging principle for this stochastic system. Specifically, we first prove the strong convergence (in the $L^p$ sense for $p\in (1,α)$) of the slow component to the solution of a simplif…
▽ More
This paper considers a class of nonautonomous slow-fast stochastic partial differential equations driven by $α$-stable processes for $α\in (1,2)$. By introducing the evolution system of measures, we establish an averaging principle for this stochastic system. Specifically, we first prove the strong convergence (in the $L^p$ sense for $p\in (1,α)$) of the slow component to the solution of a simplified averaged equation with coefficients depend on the scaling parameter. Furthermore, under conditions that coefficients are time-periodic or satisfy certain asymptotic convergence, we prove that the slow component converges strongly to the solution of an averaged equation, whose coefficients are independent of the scaling parameter. Finally, a concrete example is provided to illustrate the applicability of our assumptions. Notably, the absence of finite second moments in the solution caused by the $α$-stable processes requires new technical treatments, thereby solving a problem mentioned in [1,Remark 3.3].
△ Less
Submitted 10 July, 2025;
originally announced July 2025.
-
Godement--Jacquet L-function and homological theta lifting
Authors:
Rui Chen,
Yufeng Li,
Xiaohuan Long,
Chenhao Tang,
Jialiang Zou
Abstract:
In this paper we investigate the theta lifting of type II dual pairs over a non-Archimedean local field, by combining the homological method of Adams--Prasad--Savin and the analytic method of Fang--Sun--Xue. We have three main results: 1. we determine completely the big theta lift of an irreducible representation when its Godement--Jacquet L-function is holomorphic at a critical point; 2. we compu…
▽ More
In this paper we investigate the theta lifting of type II dual pairs over a non-Archimedean local field, by combining the homological method of Adams--Prasad--Savin and the analytic method of Fang--Sun--Xue. We have three main results: 1. we determine completely the big theta lift of an irreducible representation when its Godement--Jacquet L-function is holomorphic at a critical point; 2. we compute the big theta lift of all characters, hence determine the space of eigendistributions on matrix spaces for all characters; 3. we show that the Weil representation is projective if and only if the dual pair is almost in the stable range.
△ Less
Submitted 10 July, 2025;
originally announced July 2025.
-
Some Turán-type results for signless Laplacian spectral radius
Authors:
Jian Zheng,
Yongtao Li,
Yi-Zheng Fan
Abstract:
Half a century ago, Bollobás and Erdős [Bull. London Math. Soc. 5 (1973)] proved that every $n$-vertex graph $G$ with $e(G)\ge (1- \frac{1}{k} + \varepsilon )\frac{n^2}{2}$ edges contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. A well-known theorem of Nikiforov [Combin. Probab. Comput. 18 (3) (2009)] asserts that if $G$ is an $n$-vertex graph with adjacency spectral radius…
▽ More
Half a century ago, Bollobás and Erdős [Bull. London Math. Soc. 5 (1973)] proved that every $n$-vertex graph $G$ with $e(G)\ge (1- \frac{1}{k} + \varepsilon )\frac{n^2}{2}$ edges contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. A well-known theorem of Nikiforov [Combin. Probab. Comput. 18 (3) (2009)] asserts that if $G$ is an $n$-vertex graph with adjacency spectral radius $λ(G)\ge (1- \frac{1}{k} + \varepsilon)n$, then $G$ contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. This gives a spectral version of the Bollobás--Erdős theorem. In this paper, we systematically explore variants of Nikiforov's result in terms of the signless Laplacian spectral radius, extending the supersaturation, blowup of cliques and the stability results.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
Composite media, almost touching disks and the maximum principle
Authors:
YanYan Li,
Ben Weinkove
Abstract:
We consider the setting of two disks in a domain in $\mathbb{R}^2$ which are almost touching and have finite and positive conductivities, giving rise to a divergence form elliptic equation with discontinuous coefficients. We use the maximum principle to give a new proof of a gradient bound of Li-Vogelius.
We consider the setting of two disks in a domain in $\mathbb{R}^2$ which are almost touching and have finite and positive conductivities, giving rise to a divergence form elliptic equation with discontinuous coefficients. We use the maximum principle to give a new proof of a gradient bound of Li-Vogelius.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
Existence and concentration of nontrivial solutions for quasilinear Schrödinger equation with indefinite potential
Authors:
Lifeng Yin,
Xiaoqi Liu,
Yongyong Li
Abstract:
This paper is concerned with the quasilinear Schrödinger equation \begin{align*} -Δu+V(x)u+\frac{k}{2}Δ(u^2)u=f(u)\quad \text{in}~~\mathbb{R}^N\text{,} \end{align*} where $N\geq 3$, $k>0$, $V\in C(\R)$ is an indefinite potential. Under structural conditions on the potential $V$ and the nonlinearity $f$, we establish the existence of a nontrivial solution through a combination of a local linking ar…
▽ More
This paper is concerned with the quasilinear Schrödinger equation \begin{align*} -Δu+V(x)u+\frac{k}{2}Δ(u^2)u=f(u)\quad \text{in}~~\mathbb{R}^N\text{,} \end{align*} where $N\geq 3$, $k>0$, $V\in C(\R)$ is an indefinite potential. Under structural conditions on the potential $V$ and the nonlinearity $f$, we establish the existence of a nontrivial solution through a combination of a local linking argument, Morse theory, and the Moser iteration. Moreover, if $f$ is odd, we obtain an unbounded sequence of nontrivial solutions via the symmetric Mountain Pass Theorem. Additionally, as $k\rightarrow0$, we analyze the concentration behavior of nontrivial solutions.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
An Error Bound for Aggregation in Approximate Dynamic Programming
Authors:
Yuchao Li,
Dimitri Bertsekas
Abstract:
We consider a general aggregation framework for discounted finite-state infinite horizon dynamic programming (DP) problems. It defines an aggregate problem whose optimal cost function can be obtained off-line by exact DP and then used as a terminal cost approximation for an on-line reinforcement learning (RL) scheme. We derive a bound on the error between the optimal cost functions of the aggregat…
▽ More
We consider a general aggregation framework for discounted finite-state infinite horizon dynamic programming (DP) problems. It defines an aggregate problem whose optimal cost function can be obtained off-line by exact DP and then used as a terminal cost approximation for an on-line reinforcement learning (RL) scheme. We derive a bound on the error between the optimal cost functions of the aggregate problem and the original problem. This bound was first derived by Tsitsiklis and van Roy [TvR96] for the special case of hard aggregation. Our bound is similar but applies far more broadly, including to soft aggregation and feature-based aggregation schemes.
△ Less
Submitted 1 July, 2025;
originally announced July 2025.
-
Permutation polynomials of the form $x+γ\mathrm{Tr}(H(x))$
Authors:
Yangcheng Li,
Xuan Pang,
Pingzhi Yuan,
Yuanpeng Zeng
Abstract:
Given a polynomial \( H(x) \) over \(\mathbb{F}_{q^n}\), we study permutation polynomials of the form \( x + γ\mathrm{Tr}(H(x)) \) over \(\mathbb{F}_{q^n}\). Let \[P_H=\{γ\in \mathbb{F}_{q^n} : x+γ\mathrm{Tr}(H(x))~\text{is a permutation polynomial}\}.\] We present some properties of the set \(P_H\), particularly its relationship with linear translators. Moreover, we obtain an effective upper boun…
▽ More
Given a polynomial \( H(x) \) over \(\mathbb{F}_{q^n}\), we study permutation polynomials of the form \( x + γ\mathrm{Tr}(H(x)) \) over \(\mathbb{F}_{q^n}\). Let \[P_H=\{γ\in \mathbb{F}_{q^n} : x+γ\mathrm{Tr}(H(x))~\text{is a permutation polynomial}\}.\] We present some properties of the set \(P_H\), particularly its relationship with linear translators. Moreover, we obtain an effective upper bound for the cardinality of the set \(P_H\) and show that the upper bound can reach up to $q^n - q^{n - 1}$. Furthermore, we prove that when the cardinality of the set \(P_H\) reaches this upper bound, the function \(\mathrm{Tr}(H(x))\) must be an \(\mathbb{F}_q\)-linear function. Finally, we study two classes of functions $H(x)$ over \(\mathbb{F}_{q^2}\) and determine the corresponding sets $P_H$. The sizes of these sets $P_H$ are all relatively small, even only including the trivial case.
△ Less
Submitted 1 July, 2025;
originally announced July 2025.
-
Infinite-dimensional pre-Lie bialgebras via affinization of pre-Novikov bialgebras
Authors:
Yue Li,
Yanyong Hong
Abstract:
In this paper, we show that there is a pre-Lie algebra structure on the tensor product of a pre-Novikov algebra and a right Novikov dialgebra and the tensor product of a pre-Novikov algebra and a special right Novikov algebra on the vector space of Laurent polynomials being a pre-Lie algebra characterizes the pre-Novikov algebra. The latter is called the affinization of a pre-Novikov algebra. More…
▽ More
In this paper, we show that there is a pre-Lie algebra structure on the tensor product of a pre-Novikov algebra and a right Novikov dialgebra and the tensor product of a pre-Novikov algebra and a special right Novikov algebra on the vector space of Laurent polynomials being a pre-Lie algebra characterizes the pre-Novikov algebra. The latter is called the affinization of a pre-Novikov algebra. Moreover, we extend this construction of pre-Lie algebras and the affinization of pre-Novikov algebras to the context of bialgebras. We show that there is a completed pre-Lie bialgebra structure on the tensor product of a pre-Novikov bialgebra and a quadratic Z-graded right Novikov algebra. Moreover, a pre-Novikov bialgebra can be characterized by the fact that its affinization by a quadratic Z-graded right Novikov algebra on the vector space of Laurent polynomials gives an infinite-dimensional completed pre-Lie bialgebras. Note that the reason why we choose a quadratic right Novikov algebra instead of a right Novikov dialgebra with a special bilinear form is also given. Furthermore, we construct symmetric completed solutions of the S-equation in the induced pre-Lie algebra by symmetric solutions of the pre-Novikov Yang-Baxter equation in a pre-Novikov algebra.
△ Less
Submitted 1 July, 2025;
originally announced July 2025.
-
Totally acyclic complexes and homological invariants
Authors:
Jian Wang,
Yunxia Li,
Jiangsheng Hu,
Haiyan zhu
Abstract:
In this paper, we study equivalent characterizations of the condition that every acyclic complex of projective (resp., injective and flat) modules is totally acyclic over a general ring R. This line of inquiry was initiated by Iyengar and Krause in 2006 for commutative Noetherian rings with dualizing complexes. We demonstrate that certain equivalent conditions are closely related to the invariants…
▽ More
In this paper, we study equivalent characterizations of the condition that every acyclic complex of projective (resp., injective and flat) modules is totally acyclic over a general ring R. This line of inquiry was initiated by Iyengar and Krause in 2006 for commutative Noetherian rings with dualizing complexes. We demonstrate that certain equivalent conditions are closely related to the invariants silp(R) and spli(R) defined by Gedrich and Gruenberg, as well as to the invariant sfli(R) defined by Ding and Chen. We also examine some sufficient conditions for the equality spli(R) = silp(R), that leads to a generalization of a result by Ballas and Chatzistavridis that was originally proved in the case that R is a left (and right) coherent ring which is isomorphic with its opposite ring. Finally, we provide examples to illustrate relations among these conditions.
△ Less
Submitted 29 June, 2025;
originally announced June 2025.
-
A Model-Based Derivative-Free Optimization Algorithm for Partially Separable Problems
Authors:
Yichuan Liu,
Yingzhou Li
Abstract:
We propose UPOQA, a derivative-free optimization algorithm for partially separable unconstrained problems, leveraging quadratic interpolation and a structured trust-region framework. By decomposing the objective into element functions, UPOQA constructs underdetermined element models and solves subproblems efficiently via a modified projected gradient method. Innovations include an approximate proj…
▽ More
We propose UPOQA, a derivative-free optimization algorithm for partially separable unconstrained problems, leveraging quadratic interpolation and a structured trust-region framework. By decomposing the objective into element functions, UPOQA constructs underdetermined element models and solves subproblems efficiently via a modified projected gradient method. Innovations include an approximate projection operator for structured trust regions, improved management of elemental radii and models, a starting point search mechanism, and support for hybrid black-white-box optimization, etc. Numerical experiments on 85 CUTEst problems demonstrate that UPOQA can significantly reduce the number of function evaluations. To quantify the impact of exploiting partial separability, we introduce the speed-up profile to further evaluate the acceleration effect. Results show that the acceleration benefits of UPOQA are marginal in low-precision scenarios but become more pronounced in high-precision scenarios. Applications to quantum variational problems further validate its practical utility.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
An energy-stable parametric finite element method for the Willmore flow in three dimensions
Authors:
Weizhu Bao,
Yifei Li,
Dongmin Wang
Abstract:
This work develops novel energy-stable parametric finite element methods (ES-PFEM) for the Willmore flow and curvature-dependent geometric gradient flows of surfaces in three dimensions. The key to achieving the energy stability lies in the use of two novel geometric identities: (i) a reformulated variational form of the normal velocity field, and (ii) incorporation of the temporal evolution of th…
▽ More
This work develops novel energy-stable parametric finite element methods (ES-PFEM) for the Willmore flow and curvature-dependent geometric gradient flows of surfaces in three dimensions. The key to achieving the energy stability lies in the use of two novel geometric identities: (i) a reformulated variational form of the normal velocity field, and (ii) incorporation of the temporal evolution of the mean curvature into the governing equations. These identities enable the derivation of a new variational formulation. By using the parametric finite element method, an implicit fully discrete scheme is subsequently developed, which maintains the energy dissipative property at the fully discrete level. Based on the ES-PFEM, comprehensive insights into the design of ES-PFEM for general curvature-dependent geometric gradient flows and a new understanding of mesh quality improvement in PFEM are provided. In particular, we develop the first PFEM for the Gauss curvature flow of surfaces. Furthermore, a tangential velocity control methodology is applied to improve the mesh quality and enhance the robustness of the proposed numerical method. Extensive numerical experiments confirm that the proposed method preserves energy dissipation properties and maintain good mesh quality in the surface evolution under the Willmore flow.
△ Less
Submitted 26 June, 2025;
originally announced June 2025.
-
The mechanism of tornadogenesis from the perspective of vortex tubes
Authors:
Peng Yue,
Y. Charles Li,
Jiamin Dang,
Leigh Orf,
Grace Yan
Abstract:
In this paper, we propose a new theory on tornadogenesis from the perspective of vortex tubes based on Kelvin-Helmholtz Theorems. When the pressure difference between the lowest pressure line from the wall cloud down to the ground and its surroundings is large enough, the increase of vorticity inside the squeezed vortex tube can reach the tornado level, and thus a tornado is born. When the pressur…
▽ More
In this paper, we propose a new theory on tornadogenesis from the perspective of vortex tubes based on Kelvin-Helmholtz Theorems. When the pressure difference between the lowest pressure line from the wall cloud down to the ground and its surroundings is large enough, the increase of vorticity inside the squeezed vortex tube can reach the tornado level, and thus a tornado is born. When the pressure difference increases, the tornado strength increases. When the pressure difference decreases, the tornado strength decreases. The decay of tornadoes is caused by the decreasing pressure difference. This is our theory of the entire tornado lifespan.
△ Less
Submitted 22 June, 2025;
originally announced June 2025.
-
The odd spectral localiser via asymptotic morphisms and quasi-projections
Authors:
Yuezhao Li,
Bram Mesland
Abstract:
We describe the index pairing between an odd K-theory class and an odd unbounded Kasparov module by a pair of quasi-projections, supported on a submodule obtained from a finite spectral truncation. We achieve this by pairing the K-theory class with an asymptotic morphism determined by the unbounded Kasparov module. We interpret the spectral localiser of Loring and Schulz-Baldes as an instance of s…
▽ More
We describe the index pairing between an odd K-theory class and an odd unbounded Kasparov module by a pair of quasi-projections, supported on a submodule obtained from a finite spectral truncation. We achieve this by pairing the K-theory class with an asymptotic morphism determined by the unbounded Kasparov module. We interpret the spectral localiser of Loring and Schulz-Baldes as an instance of such an index pairing.
△ Less
Submitted 10 July, 2025; v1 submitted 20 June, 2025;
originally announced June 2025.
-
When and How Unlabeled Data Provably Improve In-Context Learning
Authors:
Yingcong Li,
Xiangyu Chang,
Muti Kara,
Xiaofeng Liu,
Amit Roy-Chowdhury,
Samet Oymak
Abstract:
Recent research shows that in-context learning (ICL) can be effective even when demonstrations have missing or incorrect labels. To shed light on this capability, we examine a canonical setting where the demonstrations are drawn according to a binary Gaussian mixture model (GMM) and a certain fraction of the demonstrations have missing labels. We provide a comprehensive theoretical study to show t…
▽ More
Recent research shows that in-context learning (ICL) can be effective even when demonstrations have missing or incorrect labels. To shed light on this capability, we examine a canonical setting where the demonstrations are drawn according to a binary Gaussian mixture model (GMM) and a certain fraction of the demonstrations have missing labels. We provide a comprehensive theoretical study to show that: (1) The loss landscape of one-layer linear attention models recover the optimal fully-supervised estimator but completely fail to exploit unlabeled data; (2) In contrast, multilayer or looped transformers can effectively leverage unlabeled data by implicitly constructing estimators of the form $\sum_{i\ge 0} a_i (X^\top X)^iX^\top y$ with $X$ and $y$ denoting features and partially-observed labels (with missing entries set to zero). We characterize the class of polynomials that can be expressed as a function of depth and draw connections to Expectation Maximization, an iterative pseudo-labeling algorithm commonly used in semi-supervised learning. Importantly, the leading polynomial power is exponential in depth, so mild amount of depth/looping suffices. As an application of theory, we propose looping off-the-shelf tabular foundation models to enhance their semi-supervision capabilities. Extensive evaluations on real-world datasets show that our method significantly improves the semisupervised tabular learning performance over the standard single pass inference.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Characterization of negative line bundles whose Grauert blow-down are quadratic transforms
Authors:
Fusheng Deng,
Yinji Li,
Qunhuan Liu,
Xiangyu Zhou
Abstract:
We show that the Grauert blow-down of a holomorphic negative line bundle $L$ over a compact complex space is a quadratic transform if and only if $k_0L^*$ is very ample and $(k_0+1)L^*$ is globally generated, where $k_0$ is the initial order of $L^*$, namely, the minimal integer such that $k_0^*$ has nontrivial holomorphic section.
We show that the Grauert blow-down of a holomorphic negative line bundle $L$ over a compact complex space is a quadratic transform if and only if $k_0L^*$ is very ample and $(k_0+1)L^*$ is globally generated, where $k_0$ is the initial order of $L^*$, namely, the minimal integer such that $k_0^*$ has nontrivial holomorphic section.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Normalized solutions for a Sobolev critical quasilinear Schrödinger equation
Authors:
Yuxin Li,
Meijie Yang,
Xiaojun Chang
Abstract:
In this paper, we study the existence of normalized solutions for the following quasilinear Schrödinger equation with Sobolev critical exponent:
\begin{eqnarray*}
-Δu-uΔ(u^2)+λu=τ|u|^{q-2}u+|u|^{2\cdot2^*-2}u,~~~~x\in\mathbb{R}^N,
\end{eqnarray*}
under the mass constraint $\int_{\mathbb{R}^N}|u|^2dx=c$ for some prescribed $c>0$. Here $τ\in \mathbb{R}$ is a parameter, $λ\in\mathbb{R}$ appea…
▽ More
In this paper, we study the existence of normalized solutions for the following quasilinear Schrödinger equation with Sobolev critical exponent:
\begin{eqnarray*}
-Δu-uΔ(u^2)+λu=τ|u|^{q-2}u+|u|^{2\cdot2^*-2}u,~~~~x\in\mathbb{R}^N,
\end{eqnarray*}
under the mass constraint $\int_{\mathbb{R}^N}|u|^2dx=c$ for some prescribed $c>0$. Here $τ\in \mathbb{R}$ is a parameter, $λ\in\mathbb{R}$ appears as a Lagrange multiplier, $N\ge3$, $2^*:=\frac{2N}{N-2}$ and $2<q<2\cdot2^*$. By deriving precise energy level estimates and establishing new convergence theorems, we apply the perturbation method to establish several existence results for $τ>0$ in the Sobolev critical regime:
(a) For the case of $2<q<2+\frac{4}{N}$, we obtain the existence of two solutions, one of which is a local minimizer, and the other is a mountain pass type solution, under explicit conditions on $c>0$;
(b) For the case of $2+\frac{4}{N}\leq q<4+\frac{4}{N}$, we obtain the existence of normalized solutions of mountain pass type under different conditions on $c>0$;
(c) For the case of $4+\frac{4}{N}\leq q<2\cdot2^*$, we obtain the existence of a ground state normalized solution under different conditions on $c>0$.
Moreover, when $τ\le 0$, we derive the non-existence result for $2<q<2\cdot2^*$ and all $c>0$. Our research provides a comprehensive analysis across the entire range $q\in(2, 2 \cdot 2^*)$ and for all $N\ge3$. The methods we have developed are flexible and can be extended to a broader class of nonlinearities.
△ Less
Submitted 28 June, 2025; v1 submitted 12 June, 2025;
originally announced June 2025.
-
Gradient flow in the kernel learning problem
Authors:
Yang Li,
Feng Ruan
Abstract:
This is a sequel to our paper `On the kernel learning problem'. We identify a canonical choice of Riemannian gradient flow, to find the stationary points in the kernel learning problem. In the presence of Gaussian noise variables, this flow enjoys the remarkable property of having a continuous family of Lyapunov functionals, and the interpretation is the automatic reduction of noise.
PS. We incl…
▽ More
This is a sequel to our paper `On the kernel learning problem'. We identify a canonical choice of Riemannian gradient flow, to find the stationary points in the kernel learning problem. In the presence of Gaussian noise variables, this flow enjoys the remarkable property of having a continuous family of Lyapunov functionals, and the interpretation is the automatic reduction of noise.
PS. We include an extensive discussion in the postcript explaining the comparison with the 2-layer neural networks. Readers looking for additional motivations are encouraged to read the postscript immediately following the introduction.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
A Bi-Orthogonal Structure-Preserving eigensolver for large-scale linear response eigenvalue problem
Authors:
Yu Li,
Zijing Wang,
Yong Zhang
Abstract:
The linear response eigenvalue problem, which arises from many scientific and engineering fields, is quite challenging numerically for large-scale sparse/dense system, especially when it has zero eigenvalues. Based on a direct sum decomposition of biorthogonal invariant subspaces and the minimization principles in the biorthogonal complement, using the structure of generalized nullspace, we propos…
▽ More
The linear response eigenvalue problem, which arises from many scientific and engineering fields, is quite challenging numerically for large-scale sparse/dense system, especially when it has zero eigenvalues. Based on a direct sum decomposition of biorthogonal invariant subspaces and the minimization principles in the biorthogonal complement, using the structure of generalized nullspace, we propose a Bi-Orthogonal Structure-Preserving subspace iterative solver, which is stable, efficient, and of excellent parallel scalability. The biorthogonality is of essential importance and created by a modified Gram-Schmidt biorthogonalization (MGS-Biorth) algorithm. We naturally deflate out converged eigenvectors by computing the rest eigenpairs in the biorthogonal complementary subspace without introducing any artificial parameters. When the number of requested eigenpairs is large, we propose a moving mechanism to compute them batch by batch such that the projection matrix size is small and independent of the requested eigenpair number. For large-scale problems, one only needs to provide the matrix-vector product, thus waiving explicit matrix storage. The numerical performance is further improved when the matrix-vector product is implemented using parallel computing. Ample numerical examples are provided to demonstrate the stability, efficiency, and parallel scalability.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
An efficient Fourier spectral algorithm for the Bogoliubov-de Gennes excitation eigenvalue problem
Authors:
Yu Li,
Zhixuan Li,
Manting Xie,
Yong Zhang
Abstract:
In this paper, we propose an efficient Fourier spectral algorithm for an eigenvalue problem, that is, the Bogoliubov-de Gennes (BdG) equation arsing from spin-1 Bose-Einstein condensates (BEC) to describe the elementary/collective excitations around the mean-field ground state. The BdG equation is essentially a constrained eigenvalue/eigenfunction system. Firstly, we investigate its analytical pro…
▽ More
In this paper, we propose an efficient Fourier spectral algorithm for an eigenvalue problem, that is, the Bogoliubov-de Gennes (BdG) equation arsing from spin-1 Bose-Einstein condensates (BEC) to describe the elementary/collective excitations around the mean-field ground state. The BdG equation is essentially a constrained eigenvalue/eigenfunction system. Firstly, we investigate its analytical properties, including exact eigenpairs, generalized nullspace, and bi-orthogonality of eigenspaces. Secondly, by combining the standard Fourier spectral method for spatial discretization and a stable Gram-Schmidt bi-orthogonal algorithm, we develop a subspace iterative solver for such a large-scale dense eigenvalue problem, and it proves to be numerically stable, efficient, and accurate. Our solver is matrix-free and the operator-function evaluation is accelerated by discrete Fast Fourier Transform (FFT) with almost optimal efficiency. Therefore, it is memory-friendly and efficient for large-scale problems. Furthermore, we give a rigorous and detailed numerical analysis on the stability and spectral convergence. Finally, we present extensive numerical results to illustrate the spectral accuracy and efficiency, and investigate the excitation spectrum and Bogoliubov amplitudes around the ground state in 1-3 spatial dimensions.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Optimal Fluctuations for Nonlinear Chemical Reaction Systems with General Rate Law
Authors:
Feng Zhao,
Jinjie Zhu,
Yang Li,
Xianbin Liu,
Dongping Jin
Abstract:
This paper investigates optimal fluctuations for chemical reaction systems with N species, M reactions, and general rate law. In the limit of large volume, large fluctuations for such models occur with overwhelming probability in the vicinity of the so-called optimal path, which is a basic consequence of the Freidlin-Wentzell theory, and is vital in biochemistry as it unveils the almost determinis…
▽ More
This paper investigates optimal fluctuations for chemical reaction systems with N species, M reactions, and general rate law. In the limit of large volume, large fluctuations for such models occur with overwhelming probability in the vicinity of the so-called optimal path, which is a basic consequence of the Freidlin-Wentzell theory, and is vital in biochemistry as it unveils the almost deterministic mechanism concealed behind rare noisy phenomena such as escapes from the attractive domain of a stable state and transitions between different metastable states. In this study, an alternative description for optimal fluctuations is proposed in both non-stationary and stationary settings by means of a quantity called prehistory probability in the same setting, respectively. The evolution law of each of them is derived, showing their relationship with the time reversal of a specified family of probability distributions respectively. The law of large numbers and the central limit theorem for the reversed processes are then proved. In doing so, the prehistorical approach to optimal fluctuations for Langevin dynamics is naturally generalized to the present case, thereby suggesting a strong connection between optimal fluctuations and the time reversal of the chemical reaction model.
△ Less
Submitted 7 June, 2025;
originally announced June 2025.
-
Fourth- and higher-order finite element methods for the incompressible Navier-Stokes equations with Dirichlet boundary conditions
Authors:
Yang Li,
Heyu Wang,
Qinghai Zhang
Abstract:
Inspired by the unconstrained pressure Poisson equation (PPE) formulation [Liu, Liu, \& Pego, Comm. Pure Appl. Math. 60 (2007): 1443-1487], we previously proposed the generic projection and unconstrained PPE (GePUP) formulation [Zhang, J. Sci. Comput. 67 (2016): 1134-1180] for numerically solving the incompressible Navier-Stokes equations (INSE) with no-slip boundary conditions. In GePUP, the main…
▽ More
Inspired by the unconstrained pressure Poisson equation (PPE) formulation [Liu, Liu, \& Pego, Comm. Pure Appl. Math. 60 (2007): 1443-1487], we previously proposed the generic projection and unconstrained PPE (GePUP) formulation [Zhang, J. Sci. Comput. 67 (2016): 1134-1180] for numerically solving the incompressible Navier-Stokes equations (INSE) with no-slip boundary conditions. In GePUP, the main evolutionary variable does not have to be solenoidal with its divergence controlled by a heat equation. This work presents high-order finite-element solvers for the INSE under the framework of method-of-lines. Continuous Lagrange finite elements of equal order are utilized for the velocity and pressure finite element spaces to discretize the weak form of GePUP in space, while high-order implicit-explicit Runge-Kutta methods are then employed to treat the stiff diffusion term implicitly and the other terms explicitly. Due to the implicit treatment of the diffusion term, the time step size is only restricted by convection. The solver is efficient in that advancing the solution at each time step only involves solving a sequence of linear systems either on the velocity or on the pressure with geometric multigrid methods. Furthermore, the solver is enhanced with adaptive mesh refinement so that the multiple length scales and time scales in flows at moderate or high Reynolds numbers can be efficiently resolved. Numerical tests with various Reynolds numbers are performed for the single-vortex test, the lid-driven cavity, and the flow past a cylinder/sphere, demonstrating the high-order accuracy of GePUP-FEM both in time and in space and its capability of accurately and efficiently capturing the right physics. Moreover, our solver offers the flexibility in choosing velocity and pressure finite element spaces and is free of the standard inf-sup condition.
△ Less
Submitted 7 June, 2025;
originally announced June 2025.
-
Pushforwards in Inverse Homotopical Diagrams
Authors:
Chris Kapulkin,
Yufeng Li
Abstract:
We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.
We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Classification of the real Painlevé I transcendents by zeros and connection problem: an asymptotic study
Authors:
Yan Huang,
Yu-Tian Li,
Wen-Gao Long
Abstract:
In this paper, we study the asymptotic behavior and connection problem of Painlevé I (PI) equation through a detailed analysis of the Stokes multipliers associated with its solutions. Focusing on the regime where the derivative at the real zeros of the solution becomes large, we apply the complex WKB method to derive full asymptotic expansions of the Stokes multipliers. These expansions allow us t…
▽ More
In this paper, we study the asymptotic behavior and connection problem of Painlevé I (PI) equation through a detailed analysis of the Stokes multipliers associated with its solutions. Focusing on the regime where the derivative at the real zeros of the solution becomes large, we apply the complex WKB method to derive full asymptotic expansions of the Stokes multipliers. These expansions allow us to classify real solutions of PI according to their behavior at the zeros, distinguishing between oscillatory, separatrix, and singular types solutions on the negative real axis. Furthermore, we resolve the connection problem between the large negative asymptotics and the location of positive zeros by establishing full asymptotic expansions of the zero parameters. Our approach enables the construction of a precise phase diagram in the $(r,b)$-plane, where $r$ is the location of a zero and $b$ is the derivative at that point. Numerical simulations are provided to validate the theoretical results. This work extends prior studies on monodromy asymptotics and contributes a comprehensive framework for understanding the global structure of real PI solutions through their local zero data.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Motivic action conjecture for Doi-Naganuma lifts
Authors:
Aleksander Horawa,
Yingkun Li
Abstract:
We prove the motivic action conjecture for the base change to real quadratic fields of weight one newforms with odd, squarefree level and solvable projective image.
We prove the motivic action conjecture for the base change to real quadratic fields of weight one newforms with odd, squarefree level and solvable projective image.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Hilbert Eisenstein series as Doi-Naganuma lift
Authors:
Yingkun Li,
Mingkuan Zhang
Abstract:
In this paper, we show that incoherent Hilbert Eisenstein series for a real quadratic fields can be expressed as the Doi-Naganums lift of an incoherent Eisenstein series over $\mathbb{Q}$. As an application, we show when $N$ is odd and square-free, the values at Heegner points of Borcherds product on $X_0(N)^2$ with effective divisors are not integral units when the discriminants are sufficiently…
▽ More
In this paper, we show that incoherent Hilbert Eisenstein series for a real quadratic fields can be expressed as the Doi-Naganums lift of an incoherent Eisenstein series over $\mathbb{Q}$. As an application, we show when $N$ is odd and square-free, the values at Heegner points of Borcherds product on $X_0(N)^2$ with effective divisors are not integral units when the discriminants are sufficiently large. This generalizes a result of the first author to higher levels. In the process, we explicitly describe the Rankin-Selberg type L-function that appeared in the work of Bruinier-Kudla-Yang when the quadratic space has signature (2, 2), and give a new construction of fundamental invariant vectors appearing in Weil representations of finite quadratic modules.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Exact distribution of discrete-time D-BMAP/G/\inf queueing model
Authors:
Tonglin Liao,
Youming Li
Abstract:
In this paper, we consider discrete-time D-BMAP/G/\inf queueing model. We construct effective discrete-time Markovian dynamics for this model and utilize it to derive exact time-dependent distribution of customer number and the corresponding moments for the original queueing model. Numerical simulations are used to verify our results. Using our result, we provide analytical distribution for discre…
▽ More
In this paper, we consider discrete-time D-BMAP/G/\inf queueing model. We construct effective discrete-time Markovian dynamics for this model and utilize it to derive exact time-dependent distribution of customer number and the corresponding moments for the original queueing model. Numerical simulations are used to verify our results. Using our result, we provide analytical distribution for discrete-time M/M/\inf, and then compare it with the distribution of continuous-time M/M/\inf.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Constant Harmonic Mean Curvature Foliation in Asymptotic Schwarzschild Spaces-II
Authors:
Yaoting Gui,
Yuqiao Li,
Jun Sun
Abstract:
This paper extends the results of [GLS24], where the existence of a constant harmonic mean curvature foliation was established in the setting of a 3-dimensional asymptotically Schwarzschild manifold. Here, we generalize this construction to higher dimensions, proving the existence of foliations by constant harmonic mean curvature hypersurfaces in an asymptotically Schwarzschild manifold of arbitra…
▽ More
This paper extends the results of [GLS24], where the existence of a constant harmonic mean curvature foliation was established in the setting of a 3-dimensional asymptotically Schwarzschild manifold. Here, we generalize this construction to higher dimensions, proving the existence of foliations by constant harmonic mean curvature hypersurfaces in an asymptotically Schwarzschild manifold of arbitrary dimension. Furthermore, in 3 dimensional case, we demonstrate the local uniqueness of this foliation under a stronger decay conditions on the asymptotically Schwarzschild metric
△ Less
Submitted 27 May, 2025; v1 submitted 25 May, 2025;
originally announced May 2025.
-
Statistical Inference under Performativity
Authors:
Xiang Li,
Yunai Li,
Huiying Zhong,
Lihua Lei,
Zhun Deng
Abstract:
Performativity of predictions refers to the phenomena that prediction-informed decisions may influence the target they aim to predict, which is widely observed in policy-making in social sciences and economics. In this paper, we initiate the study of statistical inference under performativity. Our contribution is two-fold. First, we build a central limit theorem for estimation and inference under…
▽ More
Performativity of predictions refers to the phenomena that prediction-informed decisions may influence the target they aim to predict, which is widely observed in policy-making in social sciences and economics. In this paper, we initiate the study of statistical inference under performativity. Our contribution is two-fold. First, we build a central limit theorem for estimation and inference under performativity, which enables inferential purposes in policy-making such as constructing confidence intervals or testing hypotheses. Second, we further leverage the derived central limit theorem to investigate prediction-powered inference (PPI) under performativity, which is based on a small labeled dataset and a much larger dataset of machine-learning predictions. This enables us to obtain more precise estimation and improved confidence regions for the model parameter (i.e., policy) of interest in performative prediction. We demonstrate the power of our framework by numerical experiments. To the best of our knowledge, this paper is the first one to establish statistical inference under performativity, which brings up new challenges and inference settings that we believe will add significant values to policy-making, statistics, and machine learning.
△ Less
Submitted 18 June, 2025; v1 submitted 23 May, 2025;
originally announced May 2025.
-
Optimal control of variable-exponent subdiffusion
Authors:
Yiqun Li,
Mengmeng Liu,
Wenlin Qiu,
Xiangcheng Zheng
Abstract:
This work investigates the optimal control of the variable-exponent subdiffusion, which extends the work [Gunzburger and Wang, {\it SIAM J. Control Optim.} 2019] to the variable-exponent case to account for the multiscale and crossover diffusion behavior. To resolve the difficulties caused by the leading variable-exponent operator, we adopt the convolution method to reformulate the model into an e…
▽ More
This work investigates the optimal control of the variable-exponent subdiffusion, which extends the work [Gunzburger and Wang, {\it SIAM J. Control Optim.} 2019] to the variable-exponent case to account for the multiscale and crossover diffusion behavior. To resolve the difficulties caused by the leading variable-exponent operator, we adopt the convolution method to reformulate the model into an equivalent but more tractable form, and then prove the well-posedness and weighted regularity of the optimal control. As the convolution kernels in reformulated models are indefinite-sign, non-positive-definite, and non-monotonic, we adopt the discrete convolution kernel approach in numerical analysis to show the $O(τ(1+|\lnτ|)+h^2)$ accuracy of the schemes for state and adjoint equations. Numerical experiments are performed to substantiate the theoretical findings.
△ Less
Submitted 30 May, 2025; v1 submitted 23 May, 2025;
originally announced May 2025.
-
Risk-averse formulations of Stochastic Optimal Control and Markov Decision Processes
Authors:
Alexander Shapiro,
Yan Li
Abstract:
The aim of this paper is to investigate risk-averse and distributionally robust modeling of Stochastic Optimal Control (SOC) and Markov Decision Process (MDP). We discuss construction of conditional nested risk functionals, a particular attention is given to the Value-at-Risk measure. Necessary and sufficient conditions for existence of non-randomized optimal policies in the framework of robust SO…
▽ More
The aim of this paper is to investigate risk-averse and distributionally robust modeling of Stochastic Optimal Control (SOC) and Markov Decision Process (MDP). We discuss construction of conditional nested risk functionals, a particular attention is given to the Value-at-Risk measure. Necessary and sufficient conditions for existence of non-randomized optimal policies in the framework of robust SOC and MDP are derived. We also investigate sample complexity of optimization problems involving the Value-at-Risk measure.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Sharp Brezis--Seeger--Van Schaftingen--Yung Formulae for Higher-Order Gradients in Ball Banach Function Spaces
Authors:
Pingxu Hu,
Yinqin Li,
Dachun Yang,
Wen Yuan,
Yangyang Zhang
Abstract:
Let $X$ be a ball Banach function space on $\mathbb{R}^n$, $k\in\mathbb{N}$, $h\in\mathbb{R}^n$, and $Δ^k_h$ denote the $k${\rm th} order difference. In this article, under some mild extra assumptions about $X$, the authors prove that, for both parameters $q$ and $γ$ in \emph{sharp} ranges which are related to $X$ and for any locally integrable function $f$ on ${\mathbb{R}^n}$ satisfying…
▽ More
Let $X$ be a ball Banach function space on $\mathbb{R}^n$, $k\in\mathbb{N}$, $h\in\mathbb{R}^n$, and $Δ^k_h$ denote the $k${\rm th} order difference. In this article, under some mild extra assumptions about $X$, the authors prove that, for both parameters $q$ and $γ$ in \emph{sharp} ranges which are related to $X$ and for any locally integrable function $f$ on ${\mathbb{R}^n}$ satisfying $|\nabla^k f|\in X$, $$ \sup_{λ\in(0,\infty)}λ\left\|\left[\int_{\{h\in\mathbb{R}^n:\ |Δ_h^k f(\cdot)|>λ|h|^{k+\fracγ{q}}\}} \left|h\right|^{γ-n}\,dh\right]^\frac{1}{q}\right\|_X \sim \left\|\,\left|\nabla^k f\right|\,\right\|_{X} $$ with the positive equivalence constants independent of $f$. As applications, the authors establish the Brezis--Seeger--Van Schaftingen--Yung (for short, BSVY) characterization of higher-order homogeneous ball Banach Sobolev spaces and higher-order fractional Gagliardo--Nirenberg and Sobolev type inequalities in critical cases. All these results are of quite wide generality and can be applied to various specific function spaces; moreover, even when $X:= L^{q}$, these results when $k=1$ coincide with the best known results and when $k\ge 2$ are completely new. The first novelty is
to establish a sparse characterization of dyadic cubes in level sets related to the higher-order local approximation, which, together with the well-known Whitney inequality in approximation theory, further induces a higher-order weighted variant of the remarkable inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore; the second novelty is to combine this weighted inequality neatly with a variant higher-order Poincaré inequality to establish the desired upper estimate of BSVY formulae in weighted Lebesgue spaces.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Non-equilibrium steady state for a three-mode energy cascade model
Authors:
Zaher Hani,
Yao Li,
Andrea Nahmod,
Gigliola Staffilani
Abstract:
Motivated by the central phenomenon of energy cascades in wave turbulence theory, we construct non-equilibrium statistical steady states (NESS), or invariant measures, for a simplified model derived from the nonlinear Schrödinger (NLS) equation with external forcing and dissipation. This new perspective to studying energy cascades, distinct from traditional analyses based on kinetic equations and…
▽ More
Motivated by the central phenomenon of energy cascades in wave turbulence theory, we construct non-equilibrium statistical steady states (NESS), or invariant measures, for a simplified model derived from the nonlinear Schrödinger (NLS) equation with external forcing and dissipation. This new perspective to studying energy cascades, distinct from traditional analyses based on kinetic equations and their cascade spectra, focuses on the underlying statistical steady state that is expected to hold when the cascade spectra of wave turbulence manifest.
In the full generality of the (infinite dimensional) nonlinear Schrödinger equation, constructing such invariant measures is more involved than the rigorous justification of the Kolmogorov-Zakharov (KZ) spectra, which itself remains an outstanding open question despite the recent progress on mathematical wave turbulence. Since such complexity remains far beyond the current knowledge (even for much simpler chain models), we confine our analysis to a three-mode reduced system that captures the resonant dynamics of the NLS equation, offering a tractable framework for constructing the NESS. For this, we introduce a novel approach based on solving an elliptic Feynman-Kac equation to construct the needed Lyapunov function.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Strong Formulations and Algorithms for Regularized A-optimal Design
Authors:
Yongchun Li
Abstract:
We study the Regularized A-optimal Design (RAOD) problem, which selects a subset of $k$ experiments to minimize the inverse of the Fisher information matrix, regularized with a scaled identity matrix. RAOD has broad applications in Bayesian experimental design, sensor placement, and cold-start recommendation. We prove its NP-hardness via a reduction from the independent set problem. By leveraging…
▽ More
We study the Regularized A-optimal Design (RAOD) problem, which selects a subset of $k$ experiments to minimize the inverse of the Fisher information matrix, regularized with a scaled identity matrix. RAOD has broad applications in Bayesian experimental design, sensor placement, and cold-start recommendation. We prove its NP-hardness via a reduction from the independent set problem. By leveraging convex envelope techniques, we propose a new convex integer programming formulation for RAOD, whose continuous relaxation dominates those of existing formulations. More importantly, we demonstrate that our continuous relaxation achieves bounded optimality gaps for all $k$, whereas previous relaxations may suffer from unbounded gaps. This new formulation enables the development of an exact cutting-plane algorithm with superior efficiency, especially in high-dimensional and small-$k$ scenarios. We also investigate scalable forward and backward greedy algorithms for solving RAOD, each with provable performance guarantees for different $k$ ranges. Finally, our numerical results on synthetic and real data demonstrate the efficacy of the proposed exact and approximation algorithms. We further showcase the practical effectiveness of RAOD by applying it to a real-world user cold-start recommendation problem.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Critical mass for finite-time chemotactic collapse in the critical dimension via comparison
Authors:
Xuan Mao,
Meng Liu,
Yuxiang Li
Abstract:
We study the Neumann initial-boundary value problem for the parabolic-elliptic chemotaxis system, proposed by Jäger and Luckhaus (1992). We confirm that their comparison methods can be simplified and refined, applicable to seek the critical mass $8π$ concerning finite-time blowup in the unit disk. As an application, we deal with a parabolic-elliptic-parabolic chemotaxis model involving indirect si…
▽ More
We study the Neumann initial-boundary value problem for the parabolic-elliptic chemotaxis system, proposed by Jäger and Luckhaus (1992). We confirm that their comparison methods can be simplified and refined, applicable to seek the critical mass $8π$ concerning finite-time blowup in the unit disk. As an application, we deal with a parabolic-elliptic-parabolic chemotaxis model involving indirect signal production in the unit ball of $\mathbb R^4$, proposed by Tao and Winkler (2025). Within the framework of radially symmetric solutions, we prove that if initial mass is less than $64π^2$, then solution is globally bounded; for any $m$ exceeding $64π^2$, there exist nonnegative initial data with prescribed mass $m$ such that the corresponding classical solutions exhibit a formation of Dirac-delta type singularity in finite time, termed a chemotactic collapse.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
An Ore-type theorem for $[3]$-graphs
Authors:
Yupei Li,
Linyuan Lu,
Ruth Luo
Abstract:
Ore's Theorem states that if $G$ is an $n$-vertex graph and every pair of non-adjacent vertices has degree sum at least $n$, then $G$ is Hamiltonian.
A $[3]$-graph is a hypergraph in which every edge contains at most $3$ vertices. In this paper, we prove an Ore-type result on the existence of Hamiltonian Berge cycles in $[3]$-graph $\cH$, based on the degree sum of every pair of non-adjacent ver…
▽ More
Ore's Theorem states that if $G$ is an $n$-vertex graph and every pair of non-adjacent vertices has degree sum at least $n$, then $G$ is Hamiltonian.
A $[3]$-graph is a hypergraph in which every edge contains at most $3$ vertices. In this paper, we prove an Ore-type result on the existence of Hamiltonian Berge cycles in $[3]$-graph $\cH$, based on the degree sum of every pair of non-adjacent vertices in the $2$-shadow graph $\partial \cH$ of $\cH$. Namely, we prove that there exists a constant $d_0$ such that for all $n \geq 6$, if a $[3]$-graph $\cH$ on $n$ vertices satisfies that every pair $u,v \in V(\cH)$ of non-adjacent vertices has degree sum $d_{\partial \cH}(u) + d_{\partial \cH}(v) \geq n+d_0$, then $\cH$ contains a Hamiltonian Berge cycle. Moreover, we conjecture that $d_0=1$ suffices.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
Degeneration of Calabi-Yau metrics and canonical basis
Authors:
Yang Li
Abstract:
For polarised degenerations of Calabi-Yau manifolds whose essential skeleton has dimension $1\leq m\leq n$, we show that the $C^0$ potential theoretic limit of the Calabi-Yau metrics agrees with the non-archimedean Calabi-Yau metric on the Berkovich analytification. Moreover, this limit data can be encoded into the unique minimiser of the Kontorovich functional of an optimal transport problem, und…
▽ More
For polarised degenerations of Calabi-Yau manifolds whose essential skeleton has dimension $1\leq m\leq n$, we show that the $C^0$ potential theoretic limit of the Calabi-Yau metrics agrees with the non-archimedean Calabi-Yau metric on the Berkovich analytification. Moreover, this limit data can be encoded into the unique minimiser of the Kontorovich functional of an optimal transport problem, under some algebro-geometric assumptions on the existence of a canonical basis of sections for tensor powers of the polarisation line bundle.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
Globalized distributionally robust chance-constrained support vector machine based on core sets
Authors:
Yueyao Li,
Chenglong Bao,
Wenxun Xing
Abstract:
Support vector machine (SVM) is a well known binary linear classification model in supervised learning. This paper proposes a globalized distributionally robust chance-constrained (GDRC) SVM model based on core sets to address uncertainties in the dataset and provide a robust classifier. The globalization means that we focus on the uncertainty in the sample population rather than the small perturb…
▽ More
Support vector machine (SVM) is a well known binary linear classification model in supervised learning. This paper proposes a globalized distributionally robust chance-constrained (GDRC) SVM model based on core sets to address uncertainties in the dataset and provide a robust classifier. The globalization means that we focus on the uncertainty in the sample population rather than the small perturbations around each sample point. The uncertainty is mainly specified by the confidence region of the first- and second-order moments. The core sets are constructed to capture some small regions near the potential classification hyperplane, which helps improve the classification quality via the expected distance constraint of the random vector to core sets. We obtain the equivalent semi-definite programming reformulation of the GDRC SVM model under some appropriate assumptions. To deal with the large-scale problem, an approximation approach based on principal component analysis is applied to the GDRC SVM. The numerical experiments are presented to illustrate the effectiveness and advantage of our model.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Cardinalities in Height 1
Authors:
Yifan Li
Abstract:
In this article, we give an introduction to the notion of ambidexterity and norm map, and construct inductively the canonical norm map for $m$-truncated maps for some $m\geq-1$, on which the definitions of integration and cardinality are built. We then use several propositions to justify the properties of cardinality and integration and their compatibility with monoidal structure. We give a brief…
▽ More
In this article, we give an introduction to the notion of ambidexterity and norm map, and construct inductively the canonical norm map for $m$-truncated maps for some $m\geq-1$, on which the definitions of integration and cardinality are built. We then use several propositions to justify the properties of cardinality and integration and their compatibility with monoidal structure. We give a brief introduction of the definition and behaviors of semiadditive height. Focusing on stable monoidal $p$-local $\infty$-categories of height 1, for any finite group $G$, with the help of Möbius function and Burnside ring, we give an explicit decomposition of the cardinality of $BG$ into an expression of the cardinality of $BC_p$. Eventually, we generalize the result and conclude with a formula of the cardinality of any $π$-finite space $A$.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
KAM theory at the Quantum resonance
Authors:
Huanhuan Yuana,
Yong Li
Abstract:
We consider the semiclassical operator $\hat{H}(ε,h):=H_{0}(hD_{x})+ε\tilde{P}_{0}$ on $L^{2}(\mathbb{R}^{l})$, where the symbol of $\hat{H}(ε,h)$ corresponds to a perturbed classical Hamiltonian of the form:
\begin{align*}
H(x,y,ε)=H_{0}(y)+εP_{0}(x,y).
\end{align*}
Here, $\tilde{P}_{0}=Op_{h}^{W}(P_{0})$ is a bounded pseudodifferential operator with a holomorphic symbol that decays to ze…
▽ More
We consider the semiclassical operator $\hat{H}(ε,h):=H_{0}(hD_{x})+ε\tilde{P}_{0}$ on $L^{2}(\mathbb{R}^{l})$, where the symbol of $\hat{H}(ε,h)$ corresponds to a perturbed classical Hamiltonian of the form:
\begin{align*}
H(x,y,ε)=H_{0}(y)+εP_{0}(x,y).
\end{align*}
Here, $\tilde{P}_{0}=Op_{h}^{W}(P_{0})$ is a bounded pseudodifferential operator with a holomorphic symbol that decays to zero at infinity, and $ε\in \mathbb{R}$ is a small parameter. We establish that for small $|ε|<ε^{*}$, there exists a frequency $ω(ε)$ satisfying condition \eqref{b}, such that the spectrum of $\hat{H}(ε,h)$ is given by the quantization formula:
\begin{align*}
E(n_{y},E_{u},E_{v},ε,h)=\varepsilon(h,ε)+h\sum_{j=1}^{d}ω_{j}(n_{y}^{j}+\frac{\vartheta_{j}}{4})+\fracε{2}\bigg(\sum_{j=1}^{d_{0}}λ_{j}
(n_{u}^{j}+\frac{1}{2})+\sum_{j=1}^{d_{0}}\tildeλ_{j}(n_{v}^{j}+\frac{1}{2})\bigg)+O(ε\exp(-ch^{\frac{1}{α-1}})),
\end{align*}
where $α>1$ is Gevrey index, $\vartheta$ represents the Maslov index of the torus.
This spectral expression captures the detailed structure of the perturbed system, reflecting the influence of partial resonances in the classical dynamics. In particular, the resonance-induced quadratic terms give rise to clustering of eigenvalues, determined by the eigenvalues $λ_{j}$ and $\tildeλ_{j}$ of the associated quadratic form in the resonant variables. Moreover, the corresponding eigenfunctions exhibit semiclassical localization-quantum scarring-on lower-dimensional invariant tori formed via partial splitting under resonance.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies
Authors:
Yaqiao Li
Abstract:
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics c…
▽ More
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier analysis, we prove similarly two theorems of undecidability, thus showing that establishing such polynomial inequalities in additive combinatorics are inherently difficult in their full generality.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Multi-armed Bandit for Stochastic Shortest Path in Mixed Autonomy
Authors:
Yu Bai,
Yiming Li,
Xi Xiong
Abstract:
In mixed-autonomy traffic networks, autonomous vehicles (AVs) are required to make sequential routing decisions under uncertainty caused by dynamic and heterogeneous interactions with human-driven vehicles (HDVs). Early-stage greedy decisions made by AVs during interactions with the environment often result in insufficient exploration, leading to failures in discovering globally optimal strategies…
▽ More
In mixed-autonomy traffic networks, autonomous vehicles (AVs) are required to make sequential routing decisions under uncertainty caused by dynamic and heterogeneous interactions with human-driven vehicles (HDVs). Early-stage greedy decisions made by AVs during interactions with the environment often result in insufficient exploration, leading to failures in discovering globally optimal strategies. The exploration-exploitation balancing mechanism inherent in multi-armed bandit (MAB) methods is well-suited for addressing such problems. Based on the Real-Time Dynamic Programming (RTDP) framework, we introduce the Upper Confidence Bound (UCB) exploration strategy from the MAB paradigm and propose a novel algorithm. We establish the path-level regret upper bound under the RTDP framework, which guarantees the worst-case convergence of the proposed algorithm. Extensive numerical experiments conducted on a real-world local road network in Shanghai demonstrate that the proposed algorithm effectively overcomes the failure of standard RTDP to converge to the optimal policy under highly stochastic environments. Moreover, compared to the standard Value Iteration (VI) framework, the RTDP-based framework demonstrates superior computational efficiency. Our results highlight the effectiveness of the proposed algorithm in routing within large-scale stochastic mixed-autonomy environments.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
The multi-scale KAM persistence without a scaling order for Hamiltonian systems
Authors:
Weichao Qian,
Yong Li,
Xue Yang
Abstract:
The persistence of invariant tori in multi-scale Hamiltonian systems is intrinsically linked to the stability of the N-body problem. However, the existing non-degeneracy conditions in disordered scenarios have been formulated too generally, making them difficult to apply directly to celestial mechanics. In this work, we present a readily verifiable non-degeneracy condition for the persistence of i…
▽ More
The persistence of invariant tori in multi-scale Hamiltonian systems is intrinsically linked to the stability of the N-body problem. However, the existing non-degeneracy conditions in disordered scenarios have been formulated too generally, making them difficult to apply directly to celestial mechanics. In this work, we present a readily verifiable non-degeneracy condition for the persistence of invariant tori in disordered multi-scale Hamiltonian systems.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Matchings in Corona graph and classical symmetric varieties
Authors:
Yau Wing Li
Abstract:
We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits in Types AIII and CII. Moreover, we prove a conjecture of Can and Ugurlu concerning the non-integrality of the coefficients of the polynomial that interpolates…
▽ More
We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits in Types AIII and CII. Moreover, we prove a conjecture of Can and Ugurlu concerning the non-integrality of the coefficients of the polynomial that interpolates the number of orbits in Type BI.
△ Less
Submitted 18 May, 2025; v1 submitted 7 May, 2025;
originally announced May 2025.
-
Ergodic Generative Flows
Authors:
Leo Maxime Brunswic,
Mateo Clemente,
Rui Heng Yang,
Adam Sigal,
Amir Rasouli,
Yinchuan Li
Abstract:
Generative Flow Networks (GFNs) were initially introduced on directed acyclic graphs to sample from an unnormalized distribution density. Recent works have extended the theoretical framework for generative methods allowing more flexibility and enhancing application range. However, many challenges remain in training GFNs in continuous settings and for imitation learning (IL), including intractabili…
▽ More
Generative Flow Networks (GFNs) were initially introduced on directed acyclic graphs to sample from an unnormalized distribution density. Recent works have extended the theoretical framework for generative methods allowing more flexibility and enhancing application range. However, many challenges remain in training GFNs in continuous settings and for imitation learning (IL), including intractability of flow-matching loss, limited tests of non-acyclic training, and the need for a separate reward model in imitation learning. The present work proposes a family of generative flows called Ergodic Generative Flows (EGFs) which are used to address the aforementioned issues. First, we leverage ergodicity to build simple generative flows with finitely many globally defined transformations (diffeomorphisms) with universality guarantees and tractable flow-matching loss (FM loss). Second, we introduce a new loss involving cross-entropy coupled to weak flow-matching control, coined KL-weakFM loss. It is designed for IL training without a separate reward model. We evaluate IL-EGFs on toy 2D tasks and real-world datasets from NASA on the sphere, using the KL-weakFM loss. Additionally, we conduct toy 2D reinforcement learning experiments with a target reward, using the FM loss.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Safer Prompts: Reducing IP Risk in Visual Generative AI
Authors:
Lena Reissinger,
Yuanyuan Li,
Anna-Carolina Haensch,
Neeraj Sarna
Abstract:
Visual Generative AI models have demonstrated remarkable capability in generating high-quality images from simple inputs like text prompts. However, because these models are trained on images from diverse sources, they risk memorizing and reproducing specific content, raising concerns about intellectual property (IP) infringement. Recent advances in prompt engineering offer a cost-effective way to…
▽ More
Visual Generative AI models have demonstrated remarkable capability in generating high-quality images from simple inputs like text prompts. However, because these models are trained on images from diverse sources, they risk memorizing and reproducing specific content, raising concerns about intellectual property (IP) infringement. Recent advances in prompt engineering offer a cost-effective way to enhance generative AI performance. In this paper, we evaluate the effectiveness of prompt engineering techniques in mitigating IP infringement risks in image generation. Our findings show that Chain of Thought Prompting and Task Instruction Prompting significantly reduce the similarity between generated images and the training data of diffusion models, thereby lowering the risk of IP infringement.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Weighted Birkhoff averages: Deterministic and probabilistic perspectives
Authors:
Zhicheng Tong,
Yong Li
Abstract:
In this paper, we present physically related applications of a class of weighted quasi-Monte Carlo methods from a deterministic perspective, and establish quantitative universal rapid convergence results via various regularity assumptions. Specifically, we introduce weighting with compact support to the Birkhoff ergodic averages of quasi-periodic, almost periodic, and periodic systems, thereby ach…
▽ More
In this paper, we present physically related applications of a class of weighted quasi-Monte Carlo methods from a deterministic perspective, and establish quantitative universal rapid convergence results via various regularity assumptions. Specifically, we introduce weighting with compact support to the Birkhoff ergodic averages of quasi-periodic, almost periodic, and periodic systems, thereby achieving universal rapid convergence, including both arbitrary polynomial and exponential types. This is in stark contrast to the typically slow convergence in classical ergodic theory. These results, as new contributions, not only discuss more general weighting functions but also provide quantitative improvements to existing results, and the explicit regularity settings facilitate the application of these methods to specific problems. We also revisit the physically related problems and, for the first time, establish universal exponential convergence results for the weighted computation of Fourier coefficients, in both finite-dimensional and infinite-dimensional cases. In addition to the above, we explore results from a probabilistic perspective, including the weighted strong law of large numbers and the weighted central limit theorem, by building upon the historical results.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Reach-avoid semi-Markov decision processes with time-varying obstacles
Authors:
Yanyun Li,
Xianping Guo
Abstract:
We consider the maximal reach-avoid probability to a target in finite horizon for semi-Markov decision processes with time-varying obstacles. Since the variance of the obstacle set, the model \eqref{Model} is non-homogeneous. To overcome such difficulty, we construct a related two-dimensional model \eqref{newModel}, and then prove the equivalence between such reach-avoid probability of the origina…
▽ More
We consider the maximal reach-avoid probability to a target in finite horizon for semi-Markov decision processes with time-varying obstacles. Since the variance of the obstacle set, the model \eqref{Model} is non-homogeneous. To overcome such difficulty, we construct a related two-dimensional model \eqref{newModel}, and then prove the equivalence between such reach-avoid probability of the original model and that of the related two-dimensional one. For the related two-dimensional model, we analyze some special characteristics of the equivalent reach-avoid probability. On this basis, we provide a special improved value-type algorithm to obtain the equivalent maximal reach-avoid probability and its $ε$-optimal policy. Then, at the last step of the algorithm, by the equivalence between these two models, we obtain the original maximal reach-avoid probability and its $ε$-optimal policy for the original model.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Compact difference method for Euler-Bernoulli beams and plates with nonlinear nonlocal strong damping
Authors:
Tao Guo,
Yiqun Li,
Wenlin Qiu
Abstract:
We investigate the numerical approximation to the Euler-Bernoulli (E-B) beams and plates with nonlinear nonlocal strong damping, which describes the damped mechanical behavior of beams and plates in real applications. We discretize the damping term by the composite Simpson's rule and the six-point Simpson's formula in the beam and plate problems, respectively, and then construct the fully discrete…
▽ More
We investigate the numerical approximation to the Euler-Bernoulli (E-B) beams and plates with nonlinear nonlocal strong damping, which describes the damped mechanical behavior of beams and plates in real applications. We discretize the damping term by the composite Simpson's rule and the six-point Simpson's formula in the beam and plate problems, respectively, and then construct the fully discrete compact difference scheme for these problems. To account for the nonlinear-nonlocal term, we design several novel discrete norms to facilitate the error estimates of the damping term and the numerical scheme. The stability, convergence, and energy dissipation properties of the proposed scheme are proved, and numerical experiments are carried out to substantiate the theoretical findings.
△ Less
Submitted 4 May, 2025;
originally announced May 2025.
-
Pattern formation using an intrinsic optimal control approach
Authors:
Tianhao Li,
Yibei Li,
Zhixin Liu,
Xiaoming Hu
Abstract:
This paper investigates a pattern formation control problem for a multi-agent system modeled with given interaction topology, in which $m$ of the $n$ agents are chosen as leaders and consequently a control signal is added to each of the leaders. These agents interact with each other by Laplacian dynamics on a graph. The pattern formation control problem is formulated as an intrinsic infinite time-…
▽ More
This paper investigates a pattern formation control problem for a multi-agent system modeled with given interaction topology, in which $m$ of the $n$ agents are chosen as leaders and consequently a control signal is added to each of the leaders. These agents interact with each other by Laplacian dynamics on a graph. The pattern formation control problem is formulated as an intrinsic infinite time-horizon linear quadratic optimal control problem, namely, no error information is incorporated in the objective function. Under mild conditions, we show the existence of the optimal control strategy and the convergence to the desired pattern formation. Based on the optimal control strategy, we propose a distributed control strategy to achieve the given pattern. Finally, numerical simulation is given to illustrate theoretical results.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Analysis of evolution equation with variable-exponent memory modeling multiscale viscoelasticity
Authors:
Yiqun Li,
Xiangcheng Zheng
Abstract:
We investigate the well-posedness and solution regularity of an evolution equation with non-positive type variable-exponent memory, which describes multiscale viscoelasticity in materials with memory. The perturbation method is applied for model transformation, based on which the well-posedness is proved. Then the weighted solution regularity is derived, where the initial singularity is characteri…
▽ More
We investigate the well-posedness and solution regularity of an evolution equation with non-positive type variable-exponent memory, which describes multiscale viscoelasticity in materials with memory. The perturbation method is applied for model transformation, based on which the well-posedness is proved. Then the weighted solution regularity is derived, where the initial singularity is characterized by the initial value of variable exponent.
△ Less
Submitted 1 May, 2025;
originally announced May 2025.