-
A Liouville theorem for the Lane-Emden system in the half-space
Authors:
Yimei Li,
Philippe Souplet
Abstract:
We prove that the Dirichlet problem for the Lane-Emden system in a half-space has no positive classical solution that is bounded on finite strips. Such a nonexistence result was previously available only for bounded solutions or under a restriction on the powers in the nonlinearities.
We prove that the Dirichlet problem for the Lane-Emden system in a half-space has no positive classical solution that is bounded on finite strips. Such a nonexistence result was previously available only for bounded solutions or under a restriction on the powers in the nonlinearities.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Global well-posedness and large time behavior of solutions to the compressible Oldroyd-B model without stress diffusion
Authors:
Yajuan Zhao,
Yongsheng Li,
Tao Liang,
Xiaoping Zhai
Abstract:
We consider the Cauchy problem ($\mathbb{R}^d, d=2,3$) and the initial boundary values problem ($\mathbb{T}^d, d=2,3$)associated to the compressible Oldroyd-B model which is first derived by Barrett, Lu and Süli [Existence of large-data finite-energy global weak solutions to a compressible Oldroyd-B model, Commun. Math. Sci., 15 (2017), 1265--1323] through micro-macro-analysis of the compressible…
▽ More
We consider the Cauchy problem ($\mathbb{R}^d, d=2,3$) and the initial boundary values problem ($\mathbb{T}^d, d=2,3$)associated to the compressible Oldroyd-B model which is first derived by Barrett, Lu and Süli [Existence of large-data finite-energy global weak solutions to a compressible Oldroyd-B model, Commun. Math. Sci., 15 (2017), 1265--1323] through micro-macro-analysis of the compressible Navier-Stokes-Fokker-Planck system.Due to lack of stress diffusion, the problems considered here are very difficult. Exploiting tools from harmonic analysis,notably the Littlewood Paley theory,we first establish the global well-posedness and time-decay rates for solutions of the model with small initial data in Besov spaces with critical regularity.Then, through deeply exploring and fully utilizing the structure of the perturbation system,we obtain the global well-posedness and exponential decay rates for solutions of the model with small initial data in the Soboles spaces $H^3(\mathbb{T}^d)$.Our obtained results improve considerably the recent results by Lu, Pokorný [Anal. Theory Appl., 36 (2020), 348--372],Wang, Wen [Math. Models Methods Appl. Sci., 30 (2020), 139--179],and Liu, Lu, Wen [SIAM J. Math. Anal., 53 (2021), 6216--6242].
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Asymptotic stability of solitary waves for the 1D focusing cubic Schrödinger equation under even perturbations
Authors:
Yongming Li,
Jonas Luhrmann
Abstract:
We establish the full asymptotic stability of solitary waves for the focusing cubic Schrödinger equation on the line under small even perturbations in weighted Sobolev norms. The strategy of our proof combines a space-time resonances approach based on the distorted Fourier transform to capture modified scattering effects with modulation techniques to take into account the symmetries of the problem…
▽ More
We establish the full asymptotic stability of solitary waves for the focusing cubic Schrödinger equation on the line under small even perturbations in weighted Sobolev norms. The strategy of our proof combines a space-time resonances approach based on the distorted Fourier transform to capture modified scattering effects with modulation techniques to take into account the symmetries of the problem, namely the invariance under scaling and phase shifts. A major challenge is the slow local decay of the radiation term caused by the threshold resonances of the non-selfadjoint linearized matrix Schrödinger operator around the solitary waves. Our analysis hinges on two remarkable null structures that we uncover in the quadratic nonlinearities of the evolution equation for the radiation term as well as of the modulation equations.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Strongly nice property and Schur positivity of graphs
Authors:
Ethan Y. H. Li,
Grace M. X. Li,
Arthur L. B. Yang,
Zhong-Xue Zhang
Abstract:
Motivated by the notion of nice graphs, we introduce the concept of strongly nice property, which can be used to study the Schur positivity of symmetric functions. We show that a graph and all its induced subgraphs are strongly nice if and only if it is claw-free, which strengthens a result of Stanley and provides further evidence for the well-known conjecture on the Schur positivity of claw-free…
▽ More
Motivated by the notion of nice graphs, we introduce the concept of strongly nice property, which can be used to study the Schur positivity of symmetric functions. We show that a graph and all its induced subgraphs are strongly nice if and only if it is claw-free, which strengthens a result of Stanley and provides further evidence for the well-known conjecture on the Schur positivity of claw-free graphs. As another application, we solve Wang and Wang's conjecture on the non-Schur positivity of squid graphs $Sq(2n-1;1^n)$ for $n \ge 3$ by proving that these graphs are not strongly nice.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
$L^{2}$-Sobolev space bijectivity and existence of global solutions for the matrix nonlinear Schrödinger equations
Authors:
Yuan Li,
Xinhan Liu,
Engui Fan
Abstract:
We consider the Cauchy problem to the general defocusing and focusing $p\times q$ matrix nonlinear Schrödinger (NLS) equations with initial data allowing arbitrary-order poles and spectral singularities. By establishing the $L^{2}$-Sobolev space bijectivity of the direct and inverse scattering transforms associated with a $(p+q)\times(p+q)$ matrix spectral problem, we prove that both defocusing an…
▽ More
We consider the Cauchy problem to the general defocusing and focusing $p\times q$ matrix nonlinear Schrödinger (NLS) equations with initial data allowing arbitrary-order poles and spectral singularities. By establishing the $L^{2}$-Sobolev space bijectivity of the direct and inverse scattering transforms associated with a $(p+q)\times(p+q)$ matrix spectral problem, we prove that both defocusing and focusing matrix NLS equations are globally well-posed in the weighted Sobolev space $H^{1,1}(\mathbb{R})$.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Isolated singularities of solutions of a 2-D diffusion equation with mixed reaction
Authors:
Yimei Li,
Laurent Véron
Abstract:
We study the local properties of positive solutions of the equation $-Δu+ae^{bu}=m|\nabla u|^q$ in a punctured domain $Ω\setminus\{0\}$ of $\bf R^2$ where $m,a,b$ are positive parameters and $q>1$. We study particularly the existence of solutions with an isolated singularity and the local behaviour of such singular solutions.
We study the local properties of positive solutions of the equation $-Δu+ae^{bu}=m|\nabla u|^q$ in a punctured domain $Ω\setminus\{0\}$ of $\bf R^2$ where $m,a,b$ are positive parameters and $q>1$. We study particularly the existence of solutions with an isolated singularity and the local behaviour of such singular solutions.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Optimal order time discretizations for stochastic semilinear wave equations with multiplicative noise
Authors:
Xiaobing Feng,
Yukun Li,
Liet Vo
Abstract:
This paper is concerned with developing and analyzing two novel implicit temporal discretization methods for the stochastic semilinear wave equations with multiplicative noise. The proposed methods are natural extensions of well-known time-discrete schemes for deterministic wave equations, hence, they are easy to implement. It is proved that both methods are energy-stable. Moreover, the first meth…
▽ More
This paper is concerned with developing and analyzing two novel implicit temporal discretization methods for the stochastic semilinear wave equations with multiplicative noise. The proposed methods are natural extensions of well-known time-discrete schemes for deterministic wave equations, hence, they are easy to implement. It is proved that both methods are energy-stable. Moreover, the first method is shown to converge with the linear order in the energy norm, while the second method converges with the $\mathcal{O}(τ^{\frac32})$ order in the $L^2$-norm, which is optimal with respect to the time regularity of the solution to the underlying stochastic PDE. The convergence analyses of both methods, which are different and quite involved, require some novel numerical techniques to overcome difficulties caused by the nonlinear noise term and the interplay between nonlinear drift and diffusion. Numerical experiments are provided to validate the sharpness of the theoretical error estimate results.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Prescribing positive curvature with conical singularities on $\mathbb S^2$
Authors:
Jingyi Chen,
Yuxiang Li,
Yunqing Wu
Abstract:
For conformal metrics with conical singularities and positive curvature on $\mathbb S^2$, we prove a convergence theorem and apply it to obtain a criterion for nonexistence in an open region of the prescribing data. The core of our study is a fine analysis of the bubble trees and an area identity in the convergence process.
For conformal metrics with conical singularities and positive curvature on $\mathbb S^2$, we prove a convergence theorem and apply it to obtain a criterion for nonexistence in an open region of the prescribing data. The core of our study is a fine analysis of the bubble trees and an area identity in the convergence process.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Prescribing negative curvature with cusps and conical singularities on compact surface
Authors:
Jingyi Chen,
Yuxiang Li,
Yunqing Wu
Abstract:
On a compact surface, we prove existence and uniqueness of the conformal metric whose curvature is prescribed by a negative function away from finitely many points where the metric has prescribed angles presenting cusps or conical singularities.
On a compact surface, we prove existence and uniqueness of the conformal metric whose curvature is prescribed by a negative function away from finitely many points where the metric has prescribed angles presenting cusps or conical singularities.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Cores and weights of multipartitions and blocks of Ariki-Koike algebras
Authors:
Yanbo Li,
Kai Meng Tan
Abstract:
Let $e$ be an integer at least two. We define the $e$-core and the $e$-weight of a multipartition associated with a multicharge as the $e$-core and the $e$-weight of its image under the Uglov map. We do not place any restriction on the multicharge for these definitions. We show how these definitions lead to the definition of the $e$-core and the $e$-weight of a block of an Ariki-Koike algebra with…
▽ More
Let $e$ be an integer at least two. We define the $e$-core and the $e$-weight of a multipartition associated with a multicharge as the $e$-core and the $e$-weight of its image under the Uglov map. We do not place any restriction on the multicharge for these definitions. We show how these definitions lead to the definition of the $e$-core and the $e$-weight of a block of an Ariki-Koike algebra with quantum parameter $e$, and an analogue of Nakayama's `Conjecture' that classifies these blocks. Our definition of $e$-weight of such a block coincides with that first defined by Fayers. We further generalise the notion of a $[w:k]$-pair for Iwahori-Hecke algebra of type $A$ to the Ariki-Koike algebras, and obtain a sufficient condition for such a pair to be Scopes equivalent.
△ Less
Submitted 28 August, 2024; v1 submitted 20 August, 2024;
originally announced August 2024.
-
Finite dimensional 2-cyclic Jacobian algebras
Authors:
Yiyu Li,
Liangang Peng
Abstract:
In this paper, we start with a class of quivers containing only 2-cycles and loops, referred to as 2-cyclic quivers. We prove that there exists a potential on these quivers that ensures the resulting quiver with potential is Jacobian-finite. As an application, we first demonstrate through covering theory that a Jacobian-finite potential exists on a class of 2-acyclic quivers. Secondly, by using th…
▽ More
In this paper, we start with a class of quivers containing only 2-cycles and loops, referred to as 2-cyclic quivers. We prove that there exists a potential on these quivers that ensures the resulting quiver with potential is Jacobian-finite. As an application, we first demonstrate through covering theory that a Jacobian-finite potential exists on a class of 2-acyclic quivers. Secondly, by using the 2-cyclic Caldero-Chapoton formula defined on section 4.2, the $τ$-rigid modules obtained from the Jacobian algebras of our proven Jacobian-finite 2-cyclic quiver with potential can categorify Paquette-Schiffler's generalized cluster algebras in three specific cases: one for a disk with two marked points and one 3-puncture, one for a sphere with one puncture, one 3-puncture and one orbifold point, and another for a sphere with one puncture and two 3-punctures.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Quantitative uniform exponential acceleration of averages along decaying waves
Authors:
Zhicheng Tong,
Yong Li
Abstract:
In this study, utilizing a specific exponential weighting function, we investigate the uniform exponential convergence of weighted Birkhoff averages along decaying waves and delve into several related variants. A key distinction from traditional scenarios is evident here: despite reduced regularity in observables, our method still maintains exponential convergence. In particular, we develop new te…
▽ More
In this study, utilizing a specific exponential weighting function, we investigate the uniform exponential convergence of weighted Birkhoff averages along decaying waves and delve into several related variants. A key distinction from traditional scenarios is evident here: despite reduced regularity in observables, our method still maintains exponential convergence. In particular, we develop new techniques that yield very precise rates of exponential convergence, as evidenced by numerical simulations. Furthermore, this innovative approach extends to quantitative analyses involving different weighting functions employed by others, surpassing the limitations inherent in prior research. It also enhances the exponential convergence rates of weighted Birkhoff averages along quasi-periodic orbits via analytic observables. To the best of our knowledge, this is the first result on the uniform exponential acceleration beyond averages along quasi-periodic or almost periodic orbits, particularly from a quantitative perspective.
△ Less
Submitted 18 August, 2024;
originally announced August 2024.
-
Onsager-Machlup functional for stochastic lattice dynamical systems driven by time-varying noise
Authors:
Xinze Zhang,
Yong Li
Abstract:
This paper investigates the Onsager-Machlup functional of stochastic lattice dynamical systems (SLDSs) driven by time-varying noise. We extend the Onsager-Machlup functional from finite-dimensional to infinite-dimensional systems, and from constant to time-varying diffusion coefficients. We first verify the existence and uniqueness of general SLDS solutions in the infinite sequence weighted space…
▽ More
This paper investigates the Onsager-Machlup functional of stochastic lattice dynamical systems (SLDSs) driven by time-varying noise. We extend the Onsager-Machlup functional from finite-dimensional to infinite-dimensional systems, and from constant to time-varying diffusion coefficients. We first verify the existence and uniqueness of general SLDS solutions in the infinite sequence weighted space $l^2_ρ$. Building on this foundation, we employ techniques such as the infinite-dimensional Girsanov transform, Karhunen-Loève expansion, and probability estimation of Brownian motion balls to derive the Onsager-Machlup functionals for SLDSs in $l^2_ρ$ space. Additionally, we use a numerical example to illustrate our theoretical findings, based on the Euler Lagrange equation corresponding to the Onsage Machup functional.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Homology of Segre products of Boolean and subspace lattices
Authors:
Yifei Li,
Sheila Sundaram
Abstract:
Segre products of posets were defined by Björner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)]. We investigate the $t$-fold Segre product of the Boolean lattice $B_n$ and the subspace lattice $B_n(q)$. The case $t=2$ was considered by Yifei Li in [Alg. Comb. 6 (2), 457--469, 2023]. We describe how to construct an EL-labeling for the $t$-fold Segre product…
▽ More
Segre products of posets were defined by Björner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)]. We investigate the $t$-fold Segre product of the Boolean lattice $B_n$ and the subspace lattice $B_n(q)$. The case $t=2$ was considered by Yifei Li in [Alg. Comb. 6 (2), 457--469, 2023]. We describe how to construct an EL-labeling for the $t$-fold Segre product $P^{(t)}=P\circ \cdots \circ P$ ($t$ factors) from an EL-labeling of a pure poset $P$. We develop an extension of the product Frobenius characteristic defined by Li to examine the action of the $t$-fold direct product of the symmetric group on the homology of rank-selected subposets of $B_n^{(t)}$, giving an explicit formula for the decomposition into irreducibles for the homology of the full poset. We show that the stable principal specialisation of the associated Frobenius characteristics coincides with the corresponding rank-selected invariants for the subspace lattice.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Stability for the $2\frac12$-D compressible viscous non-resistive and heat-conducting magnetohydrodynamic flow
Authors:
Xiaoping Zhai,
Yongsheng Li,
Yajuan Zhao
Abstract:
In this paper, we are concerned with the initial boundary values problem associated to the compressible viscous non-resistive and heat-conducting magnetohydrodynamic flow, where the magnetic field is vertical. More precisely, by exploiting the intrinsic structure of the system and introducing several new unknown quantities, we overcome the difficulty stemming from the lack of dissipation for densi…
▽ More
In this paper, we are concerned with the initial boundary values problem associated to the compressible viscous non-resistive and heat-conducting magnetohydrodynamic flow, where the magnetic field is vertical. More precisely, by exploiting the intrinsic structure of the system and introducing several new unknown quantities, we overcome the difficulty stemming from the lack of dissipation for density and magnetic field, and prove the global well-posedness of strong solutions in the framework of Soboles spaces $H^3$. In addition, we also get the exponential decay for this non-resistive system. Different from the known results [23], [24], [42], we donot need the assumption that the background magnetic field is positive here.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Symmetry of positive solutions to biharmonic Lane-Emden equation with singular set
Authors:
Xia Huang,
Yuan Li,
Xianmei Zhou
Abstract:
In this paper, we are devoted to studying the positive weak, punctured or distributional solutions to the biharmonic Lane-Emden equation
\begin{equation*}
Δ^{2} u=u^{p}
\quad
\quad \text{in} \ \mathbb{R}^{N}\setminus Z,
\end{equation*}
where $N\geq5$, $1<p\leq\frac{N+4}{N-4}$, and the singular set $Z$ represents a closed and proper subset of $ \left\lbrace x_{1}=0\right\rbrace $. The s…
▽ More
In this paper, we are devoted to studying the positive weak, punctured or distributional solutions to the biharmonic Lane-Emden equation
\begin{equation*}
Δ^{2} u=u^{p}
\quad
\quad \text{in} \ \mathbb{R}^{N}\setminus Z,
\end{equation*}
where $N\geq5$, $1<p\leq\frac{N+4}{N-4}$, and the singular set $Z$ represents a closed and proper subset of $ \left\lbrace x_{1}=0\right\rbrace $. The symmetry and monotonicity properties of the singular solutions will be given by taking advantage of the moving plane method and the approach of moving spheres.
△ Less
Submitted 13 August, 2024;
originally announced August 2024.
-
Global weak solutions to a fractional Cahn-Hilliard cross-diffusion system in lymphangiogenesis
Authors:
Ansgar Jüngel,
Yue Li
Abstract:
A spectral-fractional Cahn-Hilliard cross-diffusion system, which describes the pre-patterning of lymphatic vessel morphology in collagen gels, is studied. The model consists of two higher-order quasilinear parabolic equations and describes the evolution of the fiber phase volume fraction and the solute concentration. The free energy consists of the nonconvex Flory-Huggins energy and a fractional…
▽ More
A spectral-fractional Cahn-Hilliard cross-diffusion system, which describes the pre-patterning of lymphatic vessel morphology in collagen gels, is studied. The model consists of two higher-order quasilinear parabolic equations and describes the evolution of the fiber phase volume fraction and the solute concentration. The free energy consists of the nonconvex Flory-Huggins energy and a fractional gradient energy, modeling nonlocal long-range correlations. The existence of global weak solutions to this system in a bounded domain with no-flux boundary conditions is shown. The proof is based on a three-level approximation scheme, spectral-fractional calculus, and a priori estimates coming from the energy inequality.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Existence and non-uniqueness of probabilistically strong solutions to 3D stochastic magnetohydrodynamic equations
Authors:
Wenping Cao,
Yachun Li,
Deng Zhang
Abstract:
We are concerned with the 3D stochastic magnetohydrodynamic (MHD) equations driven by additive noise on torus. For arbitrarily prescribed divergence-free initial data in $L^{2}_x$, we construct infinitely many probabilistically strong and analitically weak solutions in the class $L^{r}_ΩL_{t}^γW_{x}^{s,p}$, where $r>1$ and $(s, γ, p)$ lie in a supercritical regime with respect to the the Ladyžhens…
▽ More
We are concerned with the 3D stochastic magnetohydrodynamic (MHD) equations driven by additive noise on torus. For arbitrarily prescribed divergence-free initial data in $L^{2}_x$, we construct infinitely many probabilistically strong and analitically weak solutions in the class $L^{r}_ΩL_{t}^γW_{x}^{s,p}$, where $r>1$ and $(s, γ, p)$ lie in a supercritical regime with respect to the the Ladyžhenskaya-Prodi-Serrin (LPS) criteria. In particular, we get the non-uniqueness of probabilistically strong solutions, which is sharp at one LPS endpoint space. Our proof utilizes intermittent flows which are different from those of Navier-Stokes equations and derives the non-uniqueness even in the high viscous and resistive regime beyond the Lions exponent 5/4. Furthermore, we prove that as the noise intensity tends to zero, the accumulation points of stochastic MHD solutions contain all deterministic solutions to MHD solutions, which include the recently constructed solutions in [28, 29] to deterministic MHD systems.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Global Existence of Large Strong Solutions to the 3D Full Compressible Navier-Stokes Equations with Density-dependent Viscosity
Authors:
Yachun Li,
Peng Lu,
Zhaoyang Shang,
Shaojun Yu
Abstract:
The purpose of this work is to investigate the Cauchy problem of global in time existence of large strong solutions to the Navier-Stokes equations for viscous compressible and heat conducting fluids. A class of density-dependent viscosity is considered. By introducing the modified effective viscous flux and using the bootstrap argument, we establish the global existence of large strong solutions w…
▽ More
The purpose of this work is to investigate the Cauchy problem of global in time existence of large strong solutions to the Navier-Stokes equations for viscous compressible and heat conducting fluids. A class of density-dependent viscosity is considered. By introducing the modified effective viscous flux and using the bootstrap argument, we establish the global existence of large strong solutions when the initial density is linearly equivalent to a large constant state. It should be mentioned that this result is obtained without any restrictions on the size of initial velocity and initial temperature.
△ Less
Submitted 26 August, 2024; v1 submitted 9 August, 2024;
originally announced August 2024.
-
Global Strong Solutions to the Cauchy Problem of Three-dimensional Isentropic Magnetohydrodynamics Equations with Large Initial Data
Authors:
Yachun Li,
Peng Lu,
Zhaoyang Shang
Abstract:
We consider the Cauchy problem to the three-dimensional isentropic compressible Magnetohydrodynamics (MHD) system with density-dependent viscosities. When the initial density is linearly equivalent to a large constant state, we prove that strong solutions exist globally in time, and there is no restriction on the size of the initial velocity and initial magnetic field.
We consider the Cauchy problem to the three-dimensional isentropic compressible Magnetohydrodynamics (MHD) system with density-dependent viscosities. When the initial density is linearly equivalent to a large constant state, we prove that strong solutions exist globally in time, and there is no restriction on the size of the initial velocity and initial magnetic field.
△ Less
Submitted 18 August, 2024; v1 submitted 9 August, 2024;
originally announced August 2024.
-
The minimal hitting probability of continuous-time controlled Markov systems with countable states
Authors:
Yanyun Li,
Junping Li
Abstract:
This paper concentrates on the minimal hitting probability of continuous-time controlled Markov systems (CTCMSs) with countable state and finite admissible action spaces. The existence of an optimal policy is first proved. In particular, for a special and important case of controlled branching processes (CBPs), it is proved that the minimal hitting probability is the unique solution to an improved…
▽ More
This paper concentrates on the minimal hitting probability of continuous-time controlled Markov systems (CTCMSs) with countable state and finite admissible action spaces. The existence of an optimal policy is first proved. In particular, for a special and important case of controlled branching processes (CBPs), it is proved that the minimal hitting probability is the unique solution to an improved optimal system of equations. Furthermore, a novel and precise improved-policy iteration algorithm of an optimal policy and the minimal hitting probability (minimal extinction probability) is presented for CBPs.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
A spectral Lovász-Simonovits theorem
Authors:
Yongtao Li,
Lihua Feng,
Yuejian Peng
Abstract:
A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least…
▽ More
A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result solved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral version of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the classical spectral techniques, we firstly prove that for $n\ge 300q^2$, each graph $G$ on $n$ vertices with $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. Moreover, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Secondly, we show further that $T_{n,2,q}$ is the unique spectral extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum of the spectral radius. This result answers a spectral triangle counting problem due to Ning and Zhai (2023). Thirdly, we present an asymptotically spectral stability result under a specific constraint on the triangle covering number. The third result could be regarded as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022).
△ Less
Submitted 3 August, 2024;
originally announced August 2024.
-
On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra
Authors:
Yunnan Li
Abstract:
Recently the notion of post-Hopf algebra was introduced, with the universal enveloping algebra of a post-Lie algebra as the fundamental example. A novel property is that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with a generalized Grossman-Larson product. By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf alg…
▽ More
Recently the notion of post-Hopf algebra was introduced, with the universal enveloping algebra of a post-Lie algebra as the fundamental example. A novel property is that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with a generalized Grossman-Larson product. By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra. Relating to such a sub-adjacent Hopf algebra, we also obtain a closed inverse formula for the Oudom-Guin isomorphism in the context of post-Lie algebras. Especially as a byproduct, we derive a cancellation-free antipode formula for the Grossman-Larson Hopf algebra of ordered trees through a concrete tree-grafting expression.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
Stationary solution to Stochastically Forced Euler-Poisson Equations in Bounded Domain: Part 1. 3-D Insulating Boundary
Authors:
Yachun Li,
Ming Mei,
Lizhen Zhang
Abstract:
In this paper, we establish the asymptotic stability of steady-state for $3$-D stochastic Euler-Poisson equations with insulating boundary conditions forced by the Wiener process. We use Banach's fixed point theorem and the a priori energy estimates uniformly in time to get the global existence of solutions around the steady state. Compared with the deterministic case, due to the stochastic forces…
▽ More
In this paper, we establish the asymptotic stability of steady-state for $3$-D stochastic Euler-Poisson equations with insulating boundary conditions forced by the Wiener process. We use Banach's fixed point theorem and the a priori energy estimates uniformly in time to get the global existence of solutions around the steady state. Compared with the deterministic case, due to the stochastic forces, the momentum does not have the temporal derivative, which causes troubles to the energy estimates. We establish the asymptotic stability about the spatial derivatives by the weighted energy estimates for the estimates of stochastic integrals, employing a technique distinct from the deterministic case. The existence of invariant measure generated by the solutions to the evolving semiconductor equations is shown from the a priori energy estimates. Furthermore, the invariant measure is exactly the Dirac measure generated by the steady state, in which the exponential decay of perturbed solutions around the steady state plays an essential role.
△ Less
Submitted 29 July, 2024;
originally announced August 2024.
-
Quasisymmetric minimality on packing dimension for homogeneous perfect sets
Authors:
Shishuang Liu,
Yanzhe Li,
Jiaojiao Yang
Abstract:
In this paper, we study the quasisymmetric packing minimality of homogeneous perfect sets, and obtain that a special class of homogeneous perfect sets with $\operatorname{dim}_{P}E=1$ is quasisymmetrically packing minimal.
In this paper, we study the quasisymmetric packing minimality of homogeneous perfect sets, and obtain that a special class of homogeneous perfect sets with $\operatorname{dim}_{P}E=1$ is quasisymmetrically packing minimal.
△ Less
Submitted 1 August, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
Stationary solution to Stochastically Forced Euler-Poisson Equations in Bounded Domain: Part 2. 1-D Ohmic Contact Boundary
Authors:
Yachun Li,
Ming Mei,
Lizhen Zhang
Abstract:
In this paper, we establish the asymptotic stability of the steady-state for a 1-D stochastic Euler-Poisson equations with Ohmic contact boundary conditions forced by the Wiener process. We utilize Banach's fixed point theorem and the a priori energy estimates uniformly in time to ensure the global existence of solutions around the steady state. In contrast to the deterministic case, the presence…
▽ More
In this paper, we establish the asymptotic stability of the steady-state for a 1-D stochastic Euler-Poisson equations with Ohmic contact boundary conditions forced by the Wiener process. We utilize Banach's fixed point theorem and the a priori energy estimates uniformly in time to ensure the global existence of solutions around the steady state. In contrast to the deterministic case, the presence of stochastic forces lead to the lack of temporal derivatives of momentum, posing challenges for energy estimates. Furthermore, Ohmic contact boundary conditions pose greater challenges for energy estimates compared to systems with insulating boundary conditions. To address this issue, we establish asymptotic stability concerning the spatial derivatives through weighted energy estimates for the estimates of stochastic integrals, employing a technique distinct from that of the deterministic case. Furthermore, we demonstrate the existence of an invariant measure based on the a priori energy estimates. This invariant measure precisely corresponds to the Dirac measure generated by the steady state, due to the exponential decay of perturbed solutions around the steady state.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
On Generalized Kissing Numbers of Convex Bodies
Authors:
Yiming Li,
Chuanming Zong
Abstract:
In 1694, Gregory and Newton proposed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. In this paper, we introduce and study a further generalization of the kissing numbe…
▽ More
In 1694, Gregory and Newton proposed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. In this paper, we introduce and study a further generalization of the kissing numbers for convex bodies and obtain some exact results, in particular for balls in dimensions three, four and eight.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Modeling and solving cascading failures across interdependent infrastructure systems
Authors:
Yijiang Li,
Kibaek Kim,
Sven Leyffer,
Matt Menickelly,
Lawrence Paul Lewis,
Joshua Bergerson
Abstract:
Physical infrastructure systems supply crucial resources to residential, commercial, and industrial activities. These infrastructure systems generally consist of multiple types of infrastructure assets that are interdependent. In the event of a disaster, some of the infrastructure assets can be damaged and disabled, creating failures that propagate to other assets that depend on the disabled asset…
▽ More
Physical infrastructure systems supply crucial resources to residential, commercial, and industrial activities. These infrastructure systems generally consist of multiple types of infrastructure assets that are interdependent. In the event of a disaster, some of the infrastructure assets can be damaged and disabled, creating failures that propagate to other assets that depend on the disabled assets and cause a cascade of failures that may lead to a potential system collapse. We present a bilevel interdiction model in this paper to study this problem of cascading failures in a system of interdependent infrastructure systems with a nondeterministic dependency graph. We also propose a computationally tractable reformulation of the proposed bilevel model and utilize a Benders-type decomposition algorithm to solve the resulting formulation. Computational experiments are performed using infrastructure networks generated from anonymized real-world data to validate the performance of this algorithm.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
U-learning for Prediction Inference via Combinatory Multi-Subsampling: With Applications to LASSO and Neural Networks
Authors:
Zhe Fei,
Yi Li
Abstract:
Epigenetic aging clocks play a pivotal role in estimating an individual's biological age through the examination of DNA methylation patterns at numerous CpG (Cytosine-phosphate-Guanine) sites within their genome. However, making valid inferences on predicted epigenetic ages, or more broadly, on predictions derived from high-dimensional inputs, presents challenges. We introduce a novel U-learning a…
▽ More
Epigenetic aging clocks play a pivotal role in estimating an individual's biological age through the examination of DNA methylation patterns at numerous CpG (Cytosine-phosphate-Guanine) sites within their genome. However, making valid inferences on predicted epigenetic ages, or more broadly, on predictions derived from high-dimensional inputs, presents challenges. We introduce a novel U-learning approach via combinatory multi-subsampling for making ensemble predictions and constructing confidence intervals for predictions of continuous outcomes when traditional asymptotic methods are not applicable. More specifically, our approach conceptualizes the ensemble estimators within the framework of generalized U-statistics and invokes the Hájek projection for deriving the variances of predictions and constructing confidence intervals with valid conditional coverage probabilities. We apply our approach to two commonly used predictive algorithms, Lasso and deep neural networks (DNNs), and illustrate the validity of inferences with extensive numerical studies. We have applied these methods to predict the DNA methylation age (DNAmAge) of patients with various health conditions, aiming to accurately characterize the aging process and potentially guide anti-aging interventions.
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Uniform K-stability of $G$-varieties of complexity 1
Authors:
Yan Li,
Zhenye Li
Abstract:
Let ${\rm k}$ be an algebraically closed field of characteristic 0 and $G$ a connect, reductive group over it. Let $X$ be a projective $G$-variety of complexity 1. We classify $G$-equivariant normal test configurations of $X$ with integral central fibre via the combinatorial data. We also give a formula of anti-canonical divisors on $X$. Based on this formula, when $X$ is $\mathbb Q$-Fano, we give…
▽ More
Let ${\rm k}$ be an algebraically closed field of characteristic 0 and $G$ a connect, reductive group over it. Let $X$ be a projective $G$-variety of complexity 1. We classify $G$-equivariant normal test configurations of $X$ with integral central fibre via the combinatorial data. We also give a formula of anti-canonical divisors on $X$. Based on this formula, when $X$ is $\mathbb Q$-Fano, we give an expression of the Futaki invariant, and derive a criterion of uniform K-stability in terms of the combinatorial data.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
Assouad type dimensions of homogeneous Moran sets and Cantor-like sets
Authors:
Yanzhe Li,
Jun Li,
Shuang Liang,
Manli Lou
Abstract:
In this paper, we give the Assouad dimension formula and the upper bound of the lower dimension for homogeneous Moran sets under the condition $\sup_{k\ge 1}\{n_{k}\}<+\infty$. We also give the Assouad spectrum and the lower spectrum formulas for Cantor-like sets.
In this paper, we give the Assouad dimension formula and the upper bound of the lower dimension for homogeneous Moran sets under the condition $\sup_{k\ge 1}\{n_{k}\}<+\infty$. We also give the Assouad spectrum and the lower spectrum formulas for Cantor-like sets.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
Fine-grained Analysis of In-context Linear Estimation: Data, Architecture, and Beyond
Authors:
Yingcong Li,
Ankit Singh Rawat,
Samet Oymak
Abstract:
Recent research has shown that Transformers with linear attention are capable of in-context learning (ICL) by implementing a linear estimator through gradient descent steps. However, the existing results on the optimization landscape apply under stylized settings where task and feature vectors are assumed to be IID and the attention weights are fully parameterized. In this work, we develop a stron…
▽ More
Recent research has shown that Transformers with linear attention are capable of in-context learning (ICL) by implementing a linear estimator through gradient descent steps. However, the existing results on the optimization landscape apply under stylized settings where task and feature vectors are assumed to be IID and the attention weights are fully parameterized. In this work, we develop a stronger characterization of the optimization and generalization landscape of ICL through contributions on architectures, low-rank parameterization, and correlated designs: (1) We study the landscape of 1-layer linear attention and 1-layer H3, a state-space model. Under a suitable correlated design assumption, we prove that both implement 1-step preconditioned gradient descent. We show that thanks to its native convolution filters, H3 also has the advantage of implementing sample weighting and outperforming linear attention in suitable settings. (2) By studying correlated designs, we provide new risk bounds for retrieval augmented generation (RAG) and task-feature alignment which reveal how ICL sample complexity benefits from distributional alignment. (3) We derive the optimal risk for low-rank parameterized attention weights in terms of covariance spectrum. Through this, we also shed light on how LoRA can adapt to a new distribution by capturing the shift between task covariances. Experimental results corroborate our theoretical findings. Overall, this work explores the optimization and risk landscape of ICL in practically meaningful settings and contributes to a more thorough understanding of its mechanics.
△ Less
Submitted 13 July, 2024;
originally announced July 2024.
-
Some New Convergence Analysis and Applications of POD-Greedy Algorithms
Authors:
Yuwen Li,
Yupeng Wang
Abstract:
In this article, we derive a novel convergence estimate for the weak POD-greedy method with multiple POD modes and variable greedy thresholds in terms of the entropy numbers of the parametric solution manifold. Combining the POD with the empirical interpolation method, we also propose a POD-empirical interpolation method with entropy-based convergence analysis for simultaneously approximating para…
▽ More
In this article, we derive a novel convergence estimate for the weak POD-greedy method with multiple POD modes and variable greedy thresholds in terms of the entropy numbers of the parametric solution manifold. Combining the POD with the empirical interpolation method, we also propose a POD-empirical interpolation method with entropy-based convergence analysis for simultaneously approximating parametrized target functions by separable approximants. Several numerical experiments are presented to demonstrate the effectiveness of the proposed algorithm compared to traditional methods.
△ Less
Submitted 13 July, 2024;
originally announced July 2024.
-
A Simple Note on the Basic Properties of Subgaussian Random Variables
Authors:
Yang Li
Abstract:
This note provides a basic description of subgaussianity, by defining $(σ, ρ)$-subgaussian random variables $X$ ($σ>0, ρ>0$) as those satisfying $\mathbb{E}(\exp(λX))\leq ρ\exp(\frac{1}{2}σ^2λ^2)$ for any $λ\in\mathbb{R}$. The introduction of the parameter $ρ$ may be particularly useful for those seeking to refine bounds, or align results from different sources, in the analysis of stochastic proce…
▽ More
This note provides a basic description of subgaussianity, by defining $(σ, ρ)$-subgaussian random variables $X$ ($σ>0, ρ>0$) as those satisfying $\mathbb{E}(\exp(λX))\leq ρ\exp(\frac{1}{2}σ^2λ^2)$ for any $λ\in\mathbb{R}$. The introduction of the parameter $ρ$ may be particularly useful for those seeking to refine bounds, or align results from different sources, in the analysis of stochastic processes and concentration inequalities.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Spectrality of a class of infinite convolutions with and without compact supports in $\mathbb{R}^d$
Authors:
Yao-Qiang Li
Abstract:
Generalizing a result given by Li, Miao and Wang in 2022, we study the spectrality of a class of infinite convolutions in $\mathbb{R}^d$ generated by sequences of nearly $d$-th power lattices. This allows us to easily construct spectral measures with and without compact supports in $\mathbb{R}^d$. According to a result on the relation between supports of infinite convolutions and sets of infinite…
▽ More
Generalizing a result given by Li, Miao and Wang in 2022, we study the spectrality of a class of infinite convolutions in $\mathbb{R}^d$ generated by sequences of nearly $d$-th power lattices. This allows us to easily construct spectral measures with and without compact supports in $\mathbb{R}^d$. According to a result on the relation between supports of infinite convolutions and sets of infinite sums, we systematically study the Hausdorff and packing dimensions of infinite sums of finite sets in $\mathbb{R}^d$. As an application, we give concrete formulae for the Hausdorff and packing dimensions of the supports of a class of spectral measures in $\mathbb{R}^d$ with the form of infinite convolutions generated by specific sequences of nearly $d$-th power lattices, and finally we deduce that there are spectral measures with and without compact supports of arbitrary Hausdorff and packing dimensions in $\mathbb{R}^d$.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Function and derivative approximation by shallow neural networks
Authors:
Yuanyuan Li,
Shuai Lu
Abstract:
We investigate a Tikhonov regularization scheme specifically tailored for shallow neural networks within the context of solving a classic inverse problem: approximating an unknown function and its derivatives within a unit cubic domain based on noisy measurements. The proposed Tikhonov regularization scheme incorporates a penalty term that takes three distinct yet intricately related network (semi…
▽ More
We investigate a Tikhonov regularization scheme specifically tailored for shallow neural networks within the context of solving a classic inverse problem: approximating an unknown function and its derivatives within a unit cubic domain based on noisy measurements. The proposed Tikhonov regularization scheme incorporates a penalty term that takes three distinct yet intricately related network (semi)norms: the extended Barron norm, the variation norm, and the Radon-BV seminorm. These choices of the penalty term are contingent upon the specific architecture of the neural network being utilized. We establish the connection between various network norms and particularly trace the dependence of the dimensionality index, aiming to deepen our understanding of how these norms interplay with each other. We revisit the universality of function approximation through various norms, establish rigorous error-bound analysis for the Tikhonov regularization scheme, and explicitly elucidate the dependency of the dimensionality index, providing a clearer understanding of how the dimensionality affects the approximation performance and how one designs a neural network with diverse approximating tasks.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Spectral supersaturation: Triangles and bowties
Authors:
Yongtao Li,
Lihua Feng,
Yuejian Peng
Abstract:
Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ cont…
▽ More
Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ contains at least $n-3$ triangles if no vertex is in all triangles of $G$. This result could also be viewed as a spectral version of a result of Xiao and Katona (2021). The second part concerns with the spectral supersaturation for the bowtie, which consists of two triangles sharing a common vertex. A theorem of Erdős, Füredi, Gould and Gunderson (1995) says that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor +1$ edges contains a bowtie. For graphs of given order, the spectral supersaturation problem has not been considered for substructures that are not color-critical. In this paper, we give the first such theorem by counting the number of bowties. Let $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ be the graph obtained from $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$ by embedding two disjoint edges into the vertex part of size $\lceil \frac{n}{2} \rceil$. Our result shows that every graph $G$ with $n\ge 8.8 \times 10^6$ vertices and $λ(G)\ge λ(K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2})$ contains at least $\lfloor \frac{n}{2} \rfloor$ bowties, and $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ is the unique spectral extremal graph. This gives a spectral correspondence of a theorem of Kang, Makai and Pikhurko (2020). The method used in our paper provides a probable way to establish the spectral counting results for other graphs, even for non-color-critical graphs.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
The averaging principle of stochastic functional partial differential equations with Hölder coefficients and infinite delay
Authors:
Shuaishuai Lu,
Xue Yang,
Yong Li
Abstract:
In this paper, we establish the averaging principle for stochastic functional partial differential equations (SFPDEs) characterized by Hölder coefficients and infinite delay. Firstly, we rigorously establish the existence and uniqueness of strong solutions for a specific class of finite-dimensional systems characterized by Hölder continuous coefficients and infinite delay. We extend these results…
▽ More
In this paper, we establish the averaging principle for stochastic functional partial differential equations (SFPDEs) characterized by Hölder coefficients and infinite delay. Firstly, we rigorously establish the existence and uniqueness of strong solutions for a specific class of finite-dimensional systems characterized by Hölder continuous coefficients and infinite delay. We extend these results to their infinite-dimensional counterparts using the variational approach and Galerkin projection technique. Subsequently, we establish the averaging principle (the first Bogolyubov theorem) for SFPDEs with infinite delay, subject to conditions of linear growth and Hölder continuity. This is achieved through classical Khasminskii time discretization and reductio ad absurdum, illustrating the convergence of solutions from the original Cauchy problem to those of the averaged equation across the finite interval [0, T]. To illustrate our findings, we present two applications: stochastic generalized porous media equations and stochastic reaction-diffusion equations with Hölder coefficients.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
On a nonlinear nonlocal reaction-diffusion system applied to image restoration
Authors:
Yuhang Li,
Zhichang Guo,
Jingfeng Shao,
Boying Wu
Abstract:
This paper deals with a novel nonlinear coupled nonlocal reaction-diffusion system proposed for image restoration, characterized by the advantages of preserving low gray level features and textures.The gray level indicator in the proposed model is regularized using a new method based on porous media type equations, which is suitable for recovering noisy blurred images. The well-posedness, regulari…
▽ More
This paper deals with a novel nonlinear coupled nonlocal reaction-diffusion system proposed for image restoration, characterized by the advantages of preserving low gray level features and textures.The gray level indicator in the proposed model is regularized using a new method based on porous media type equations, which is suitable for recovering noisy blurred images. The well-posedness, regularity, and other properties of the model are investigated, addressing the lack of theoretical analysis in those existing similar types of models. Numerical experiments conducted on texture and satellite images demonstrate the effectiveness of the proposed model in denoising and deblurring tasks.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Onsager-Machlup functional for stochastic differential equations with time-varying noise
Authors:
Xinze Zhang,
Yong Li
Abstract:
This paper is devoted to studying the Onsager-Machlup functional for stochastic differential equations with time-varying noise of the α-Hölder, 0<α<1/4,
dXt =f(t,Xt)dt+g(t)dWt.
Our study focuses on scenarios where the diffusion coefficient g(t) exhibits temporal variability, starkly contrasting the conventional assumption of a constant diffusion coefficient in the existing literature. This var…
▽ More
This paper is devoted to studying the Onsager-Machlup functional for stochastic differential equations with time-varying noise of the α-Hölder, 0<α<1/4,
dXt =f(t,Xt)dt+g(t)dWt.
Our study focuses on scenarios where the diffusion coefficient g(t) exhibits temporal variability, starkly contrasting the conventional assumption of a constant diffusion coefficient in the existing literature. This variance brings some complexity to the analysis. Through this investigation, we derive the Onsager-Machlup functional, which acts as the Lagrangian for mapping the most probable transition path between metastable states in stochastic processes affected by time-varying noise. This is done by introducing new measurable norms and applying an appropriate version of the Girsanov transformation. To illustrate our theoretical advancements, we provide numerical simulations, including cases of a one-dimensional SDE and a fast-slow SDE system, which demonstrate the application to multiscale stochastic volatility models, thereby highlighting the significant impact of time-varying diffusion coefficients.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
From BCZ map to a discretized analog of the RH
Authors:
Yiming Li
Abstract:
We investigate the properties of the BCZ map. Based on our findings, we define the moduli space associated with its excursions. Subsequently, we utilize the framework we build to establish a discretized analog of the Riemann hypothesis (RH) that holds in a stronger sense from a dynamical perspective. The analog is founded upon a reformulation of the RH, specifically in terms of estimates of L1-ave…
▽ More
We investigate the properties of the BCZ map. Based on our findings, we define the moduli space associated with its excursions. Subsequently, we utilize the framework we build to establish a discretized analog of the Riemann hypothesis (RH) that holds in a stronger sense from a dynamical perspective. The analog is founded upon a reformulation of the RH, specifically in terms of estimates of L1-averages of BCZ cocycle along periodic orbits of the BCZ map. The primary tool we will rely on is the generalized arithmetic sequence, which we will define and discuss.
△ Less
Submitted 9 April, 2024;
originally announced July 2024.
-
Convergence of Implicit Gradient Descent for Training Two-Layer Physics-Informed Neural Networks
Authors:
Xianliang Xu,
Ting Du,
Wang Kong,
Ye Li,
Zhongyi Huang
Abstract:
Optimization algorithms are crucial in training physics-informed neural networks (PINNs), as unsuitable methods may lead to poor solutions. Compared to the common gradient descent (GD) algorithm, implicit gradient descent (IGD) outperforms it in handling certain multi-scale problems. In this paper, we provide convergence analysis for the IGD in training over-parameterized two-layer PINNs. We first…
▽ More
Optimization algorithms are crucial in training physics-informed neural networks (PINNs), as unsuitable methods may lead to poor solutions. Compared to the common gradient descent (GD) algorithm, implicit gradient descent (IGD) outperforms it in handling certain multi-scale problems. In this paper, we provide convergence analysis for the IGD in training over-parameterized two-layer PINNs. We first demonstrate the positive definiteness of Gram matrices for some general smooth activation functions, such as sigmoidal function, softplus function, tanh function, and others. Then, over-parameterization allows us to prove that the randomly initialized IGD converges a globally optimal solution at a linear convergence rate. Moreover, due to the distinct training dynamics of IGD compared to GD, the learning rate can be selected independently of the sample size and the least eigenvalue of the Gram matrix. Additionally, the novel approach used in our convergence analysis imposes a milder requirement on the network width. Finally, empirical results validate our theoretical findings.
△ Less
Submitted 10 August, 2024; v1 submitted 3 July, 2024;
originally announced July 2024.
-
On the Continuity of Schur-Horn Mapping
Authors:
Hengzhun Chen,
Yingzhou Li
Abstract:
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn mapping. We introduce a concept called strong…
▽ More
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn mapping. We introduce a concept called strong Schur-Horn continuity, characterized by minimal constraints on the perturbation. We demonstrate that several categories of matrices exhibit strong Schur-Horn continuity. Leveraging this notion, along with a majorization constraint on the perturbation, we prove the Schur-Horn continuity for general symmetric (Hermitian) matrices. The Schur-Horn continuity finds applications in oblique manifold optimization related to quantum computing.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Rational Empirical Interpolation Methods with Applications
Authors:
Aidi Li,
Yuwen Li
Abstract:
We present a rational empirical interpolation method for interpolating a family of parametrized functions to rational polynomials with invariant poles, leading to efficient numerical algorithms for space-fractional differential equations, parameter-robust preconditioning, and evaluation of matrix functions. Compared to classical rational approximation algorithms, the proposed method is more effici…
▽ More
We present a rational empirical interpolation method for interpolating a family of parametrized functions to rational polynomials with invariant poles, leading to efficient numerical algorithms for space-fractional differential equations, parameter-robust preconditioning, and evaluation of matrix functions. Compared to classical rational approximation algorithms, the proposed method is more efficient for approximating a large number of target functions. In addition, we derive a convergence estimate of our rational approximation algorithm using the metric entropy numbers. Numerical experiments are included to demonstrate the effectiveness of the proposed method.
△ Less
Submitted 2 July, 2024; v1 submitted 27 June, 2024;
originally announced June 2024.
-
Some General Completeness Results for Propositionally Quantified Modal Logics
Authors:
Yifeng Ding,
Yipu Li
Abstract:
We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can range over and expressible sets of worlds are admissible, and Kripke frames, where the quantifiers range over all sets of worlds. We show that any normal propositionally quantified modal logic containing all instances of th…
▽ More
We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can range over and expressible sets of worlds are admissible, and Kripke frames, where the quantifiers range over all sets of worlds. We show that any normal propositionally quantified modal logic containing all instances of the Barcan scheme is strongly complete with respect to the class of quantifiable general frames validating it. We also provide a sufficient condition for the truth of all formulas, possibly with quantifiers, to be preserved under passing from a quantifiable general frame to its underlying Kripke frame. This is reminiscent of both the idea of elementary submodel in model theory and the persistence concepts in propositional modal logic. The key to this condition is the concept of finite diversity (Fritz 2023), and with it, we show that if $Θ$ is a set of Sahlqvist formulas whose class of Kripke frames has finite diversity, then the smallest normal propositionally quantified modal logic containing $Θ$, Barcan, a formula stating the existence of world propositions, and a formula stating the definability of successor sets, is Kripke complete. As a special case, we have a simple finite axiomatization of the logic of Euclidean Kripke frames.
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
A spectral Erdős-Faudree-Rousseau theorem
Authors:
Yongtao Li,
Lihua Feng,
Yuejian Peng
Abstract:
A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than…
▽ More
A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of a graph by dropping the condition on $n$ being sufficiently large, which is obtained from the triangle removal lemma. Thirdly, the supersaturation-stability can be applied to deal with the spectral extremal graph problems on counting triangles, which was recently studied by Ning and Zhai (2023).
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Modeling, Inference, and Prediction in Mobility-Based Compartmental Models for Epidemiology
Authors:
Ning Jiang,
Weiqi Chu,
Yao Li
Abstract:
Classical compartmental models in epidemiology often struggle to accurately capture real-world dynamics due to their inability to address the inherent heterogeneity of populations. In this paper, we introduce a novel approach that incorporates heterogeneity through a mobility variable, transforming the traditional ODE system into a system of integro-differential equations that describe the dynamic…
▽ More
Classical compartmental models in epidemiology often struggle to accurately capture real-world dynamics due to their inability to address the inherent heterogeneity of populations. In this paper, we introduce a novel approach that incorporates heterogeneity through a mobility variable, transforming the traditional ODE system into a system of integro-differential equations that describe the dynamics of population densities across different compartments. Our results show that, for the same basic reproduction number, our mobility-based model predicts a smaller final pandemic size compared to classic compartmental models, whose population densities are represented as Dirac delta functions in our density-based framework. This addresses the overestimation issue common in many classical models. Additionally, we demonstrate that the time series of the infected population is sufficient to uniquely identify the mobility distribution. We reconstruct this distribution using a machine-learning-based framework, providing both theoretical and algorithmic support to effectively constrain the mobility-based model with real-world data.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
ROTI-GCV: Generalized Cross-Validation for right-ROTationally Invariant Data
Authors:
Kevin Luo,
Yufan Li,
Pragya Sur
Abstract:
Two key tasks in high-dimensional regularized regression are tuning the regularization strength for good predictions and estimating the out-of-sample risk. It is known that the standard approach -- $k$-fold cross-validation -- is inconsistent in modern high-dimensional settings. While leave-one-out and generalized cross-validation remain consistent in some high-dimensional cases, they become incon…
▽ More
Two key tasks in high-dimensional regularized regression are tuning the regularization strength for good predictions and estimating the out-of-sample risk. It is known that the standard approach -- $k$-fold cross-validation -- is inconsistent in modern high-dimensional settings. While leave-one-out and generalized cross-validation remain consistent in some high-dimensional cases, they become inconsistent when samples are dependent or contain heavy-tailed covariates. To model structured sample dependence and heavy tails, we use right-rotationally invariant covariate distributions - a crucial concept from compressed sensing. In the common modern proportional asymptotics regime where the number of features and samples grow comparably, we introduce a new framework, ROTI-GCV, for reliably performing cross-validation. Along the way, we propose new estimators for the signal-to-noise ratio and noise variance under these challenging conditions. We conduct extensive experiments that demonstrate the power of our approach and its superiority over existing methods.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Fast solution to the fair ranking problem using the Sinkhorn algorithm
Authors:
Yuki Uehara,
Shunnosuke Ikeda,
Naoki Nishimura,
Koya Ohashi,
Yilin Li,
Jie Yang,
Deddy Jobson,
Xingxia Zha,
Takeshi Matsumoto,
Noriyoshi Sukegawa,
Yuichi Takano
Abstract:
In two-sided marketplaces such as online flea markets, recommender systems for providing consumers with personalized item rankings play a key role in promoting transactions between providers and consumers. Meanwhile, two-sided marketplaces face the problem of balancing consumer satisfaction and fairness among items to stimulate activity of item providers. Saito and Joachims (2022) devised an impac…
▽ More
In two-sided marketplaces such as online flea markets, recommender systems for providing consumers with personalized item rankings play a key role in promoting transactions between providers and consumers. Meanwhile, two-sided marketplaces face the problem of balancing consumer satisfaction and fairness among items to stimulate activity of item providers. Saito and Joachims (2022) devised an impact-based fair ranking method for maximizing the Nash social welfare based on fair division; however, this method, which requires solving a large-scale constrained nonlinear optimization problem, is very difficult to apply to practical-scale recommender systems. We thus propose a fast solution to the impact-based fair ranking problem. We first transform the fair ranking problem into an unconstrained optimization problem and then design a gradient ascent method that repeatedly executes the Sinkhorn algorithm. Experimental results demonstrate that our algorithm provides fair rankings of high quality and is about 1000 times faster than application of commercial optimization software.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
The $q$-Schur algebras in type $D$, I, fundamental multiplication formulas
Authors:
Jie Du,
Yiqiang Li,
Zhaozhao Zhao
Abstract:
By embedding the Hecke algebra $\check H_q$ of type $D$ into the Hecke algebra $H_{q,1}$ of type $B$ with unequal parameters $(q,1)$, the $q$-Schur algebras $S^κ_q(n,r)$ of type $D$ is naturally defined as the endomorphism algebra of the tensor space with the $\check H_q$-action restricted from the $H_{q,1}$-action that defines the $(q,1)$-Schur algebra $S^\jmath_{q,1}(n,r)$ of type $B$. We invest…
▽ More
By embedding the Hecke algebra $\check H_q$ of type $D$ into the Hecke algebra $H_{q,1}$ of type $B$ with unequal parameters $(q,1)$, the $q$-Schur algebras $S^κ_q(n,r)$ of type $D$ is naturally defined as the endomorphism algebra of the tensor space with the $\check H_q$-action restricted from the $H_{q,1}$-action that defines the $(q,1)$-Schur algebra $S^\jmath_{q,1}(n,r)$ of type $B$. We investigate the algebras $S^\jmath_{q,1}(n,r)$ and $S^κ_q(n,r)$ both algebraically and geometrically and describe their standard bases, dimension formulas and weight idempotents. Most importantly, we use the geometrically derived two sets of the fundamental multiplication formulas in $S^\jmath_{q,1}(n,r)$ to derive multi-sets (9 sets in total!) of the fundamental multiplication formulas in $S^κ_q(n,r)$.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.