-
Stable Acoustic Relay Assignment with High Throughput via Lase Chaos-based Reinforcement Learning
Authors:
Zengjing Chen,
Lu Wang,
Chengzhi Xing
Abstract:
This study addresses the problem of stable acoustic relay assignment in an underwater acoustic network. Unlike the objectives of most existing literature, two distinct objectives, namely classical stable arrangement and ambiguous stable arrangement, are considered. To achieve these stable arrangements, a laser chaos-based multi-processing learning (LC-ML) method is introduced to efficiently obtain…
▽ More
This study addresses the problem of stable acoustic relay assignment in an underwater acoustic network. Unlike the objectives of most existing literature, two distinct objectives, namely classical stable arrangement and ambiguous stable arrangement, are considered. To achieve these stable arrangements, a laser chaos-based multi-processing learning (LC-ML) method is introduced to efficiently obtain high throughput and rapidly attain stability. In order to sufficiently explore the relay's decision-making, this method uses random numbers generated by laser chaos to learn the assignment of relays to multiple source nodes. This study finds that the laser chaos-based random number and multi-processing in the exchange process have a positive effect on higher throughput and strong adaptability with environmental changing over time. Meanwhile, ambiguous cognitions result in the stable configuration with less volatility compared to accurate ones. This provides a practical and useful method and can be the basis for relay selection in complex underwater environments.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Generalized Hilbert operators acting from Hardy spaces to weighted Bergman spaces
Authors:
Liyi Wang,
Shanli Ye
Abstract:
Let $μ$ be a positive Borel measure on the interval $[0,1)$. For $α>0$, the generalized Hankel matrix $\mathcal{H}_{μ, α}=(μ_{n, k, α})_{n, k \geq 0}$ with entries $μ_{n, k, α}=\int_{[0,1)} \frac{Γ(n+α)}{n ! Γ(α)} t^{n+k} \mathrm{d}μ(t)$ induces formally the operator \begin{equation*} \mathcal{H}_{μ, α}(f)(z)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} μ_{n, k, α} a_k\right) z^n \end{equation*} o…
▽ More
Let $μ$ be a positive Borel measure on the interval $[0,1)$. For $α>0$, the generalized Hankel matrix $\mathcal{H}_{μ, α}=(μ_{n, k, α})_{n, k \geq 0}$ with entries $μ_{n, k, α}=\int_{[0,1)} \frac{Γ(n+α)}{n ! Γ(α)} t^{n+k} \mathrm{d}μ(t)$ induces formally the operator \begin{equation*} \mathcal{H}_{μ, α}(f)(z)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} μ_{n, k, α} a_k\right) z^n \end{equation*} on the space of all analytic function $f(z)=\sum_{k=0}^{\infty} a_{k} z^{k}$ in the unit disk $\mathbb{D}$. In this paper, we characterize the measures $μ$ for which $\mathcal{H}_{μ, α}(f)$ is well defined on the Hardy spaces $H^p(0<p<\infty)$ and satisfies $\mathcal{H}_{μ, α}(f)(z)=\int_{[0,1)} \frac{f(t)}{(1-t z)^α} \mathrm{d} μ(t)$. Among these measures, we further describe those for which $\mathcal{H}_{μ, α}(α>1)$ is a bounded (resp., compact) operator from the Hardy spaces $H^p(0<p<\infty)$ into the weighted Bergman spaces $A_{α-2}^q $.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Dynamical Iitaka theory on Fano contractions
Authors:
Sheng Meng,
Long Wang,
Tianle Yang
Abstract:
We give several structure theorems for certain surjective endomorphisms on Mori fibre spaces, based on the dynamical Iitaka fibration of the ramification divisor. As an application, we prove the Kawaguchi-Silverman conjecture for projective bundles over abelian varieties or smooth projective varieties of Picard number one.
We give several structure theorems for certain surjective endomorphisms on Mori fibre spaces, based on the dynamical Iitaka fibration of the ramification divisor. As an application, we prove the Kawaguchi-Silverman conjecture for projective bundles over abelian varieties or smooth projective varieties of Picard number one.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums
Authors:
Hai-Liang Wu,
Li-Yuan Wang,
Hao Pan
Abstract:
As a complement to our previous article, in this paper we determine the explicit values of
$\det\left[J_p(χ^{ki},χ^{kj})\right]_{1\le i,j\le n-1}$ and $\det \left[J_p(χ^{ki},χ^{kj})\right]_{0\le i,j\le n-1}$, where $p$ is a prime, $1\le k<p-1$ is a divisor of $p-1$ with $p-1=kn$, $χ$ is a generator of the group of all multiplicative characters of $\mathbb{F}_p$ and $J_p(χ^{ki},χ^{kj})$ is the Ja…
▽ More
As a complement to our previous article, in this paper we determine the explicit values of
$\det\left[J_p(χ^{ki},χ^{kj})\right]_{1\le i,j\le n-1}$ and $\det \left[J_p(χ^{ki},χ^{kj})\right]_{0\le i,j\le n-1}$, where $p$ is a prime, $1\le k<p-1$ is a divisor of $p-1$ with $p-1=kn$, $χ$ is a generator of the group of all multiplicative characters of $\mathbb{F}_p$ and $J_p(χ^{ki},χ^{kj})$ is the Jacobi sum. For example, let $ζ_p\in\mathbb{C}$ be a primitive $p$-th root of unity and let $P_k(T)$ be the minimal polynomial of
$$θ_k=\sum_{x\in\mathbb{F}_p,x^k=1}ζ_p^x$$
over $\mathbb{Q}$. Then we show that
$$\det \left[J_p(χ^{ki},χ^{kj})\right]_{1\le i,j\le n-1}=(-1)^{\frac{(k+1)(n^2-n)}{2}}\cdot n^{n-2}\cdot x_p(k),$$
where $x_p(k)$ is the coefficient of $T$ in $P_k(T)$.
△ Less
Submitted 1 July, 2025; v1 submitted 17 June, 2025;
originally announced June 2025.
-
High Probability Convergence of Distributed Clipped Stochastic Gradient Descent with Heavy-tailed Noise
Authors:
Yuchen Yang,
Kaihong Lu,
Long Wang
Abstract:
In this paper, the problem of distributed optimization is studied via a network of agents. Each agent only has access to a noisy gradient of its own objective function, and can communicate with its neighbors via a network. To handle this problem, a distributed clipped stochastic gradient descent algorithm is proposed, and the high probability convergence of the algorithm is studied. Existing works…
▽ More
In this paper, the problem of distributed optimization is studied via a network of agents. Each agent only has access to a noisy gradient of its own objective function, and can communicate with its neighbors via a network. To handle this problem, a distributed clipped stochastic gradient descent algorithm is proposed, and the high probability convergence of the algorithm is studied. Existing works on distributed algorithms involving stochastic gradients only consider the light-tailed noises. Different from them, we study the case with heavy-tailed settings. Under mild assumptions on the graph connectivity, we prove that the algorithm converges in high probability under a certain clipping operator. Finally, a simulation is provided to demonstrate the effectiveness of our theoretical results
△ Less
Submitted 18 June, 2025; v1 submitted 13 June, 2025;
originally announced June 2025.
-
On the sharp critical mass threshold for the 3D Patlak-Keller-Segel-Navier-Stokes system via Couette flow
Authors:
Shikun Cui,
Lili Wang,
Wendong Wang,
Juncheng Wei
Abstract:
As is well-known, the solution of the Patlak-Keller-Segel system in 3D may blow up in finite time regardless of any initial cell mass. In this paper, we are interested in the suppression of blow-up and the critical mass threshold for the 3D Patlak-Keller-Segel-Navier-Stokes system via the Couette flow $(Ay, 0, 0)$. It is proved that if the Couette flow is sufficiently strong ($A$ is large enough),…
▽ More
As is well-known, the solution of the Patlak-Keller-Segel system in 3D may blow up in finite time regardless of any initial cell mass. In this paper, we are interested in the suppression of blow-up and the critical mass threshold for the 3D Patlak-Keller-Segel-Navier-Stokes system via the Couette flow $(Ay, 0, 0)$. It is proved that if the Couette flow is sufficiently strong ($A$ is large enough), then the solutions for the system are global in time in the periodic domain $(x,y,z)\in\mathbb{T}^{3}$ as long as the initial cell mass is less than $16π^{2}$. This result seems to be sharp, since the zero-mode function (the mean value in $x-$direction) of the three dimensional density is a complication of the two-dimensional Keller-Segel equations, whose critical mass in 2D is $8π$. One new observation is the dissipative decay of $(\widetilde{u}_{2,0},\widetilde{u}_{3,0})$ (see Lemma 4.3 for more details), then we combine the quasi-linear method proposed by Wei-Zhang (Comm. Pure Appl. Math., 2021) with the zero-mode estimate of the density by the logarithmic Hardy-Littlewood-Sobolev inequality as Bedrossian-He (SIAM J. Math. Anal., 2017) or He (Nonlinearity, 2025) to obtain the bounded-ness of the density and the velocity.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Fubini-Study forms on punctured Riemann surfaces
Authors:
Razvan Apredoaei,
Xiaonan Ma,
Lei Wang
Abstract:
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincaré metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced Fubini-Study forms by Kodaira maps of high tensor powers of the line bundle and the Poincaré form near the singularity grows polynomially uniformly on a neighborhoo…
▽ More
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincaré metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced Fubini-Study forms by Kodaira maps of high tensor powers of the line bundle and the Poincaré form near the singularity grows polynomially uniformly on a neighborhood of the singularity as the tensor power tends to infinity, as an application of the method in [5].
△ Less
Submitted 16 June, 2025; v1 submitted 6 June, 2025;
originally announced June 2025.
-
On the Dynamics of Invariant Graphs for Dissipative Twist Maps
Authors:
Qi Li,
Lin Wang
Abstract:
For two-parameter families of dissipative twist maps, we study the dynamics of invariant graphs and the thresholds of their existence and breakdown. We obtain: (1) For arbitrary $C^1$-small perturbations, invariant graphs with prescribed rotation numbers can be realized through parameter adjustments; (2) The existence of almost sharp perturbations that trigger complete destruction of all invariant…
▽ More
For two-parameter families of dissipative twist maps, we study the dynamics of invariant graphs and the thresholds of their existence and breakdown. We obtain: (1) For arbitrary $C^1$-small perturbations, invariant graphs with prescribed rotation numbers can be realized through parameter adjustments; (2) The existence of almost sharp perturbations that trigger complete destruction of all invariant graphs; (3) When the perturbation lacks $C^1$-regularity, Lipschitz invariant graphs with non-differentiable points may persist despite the Lipschitz semi-norm satisfying the requirement of the normally hyperbolic invariant manifold theorem.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
A Grammatical Calculus for the Ramanujan Polynomials
Authors:
William Y. C. Chen,
Amy M. Fu,
Elena L. Wang
Abstract:
As remarked by Berndt, no combinatorial perspective seems to be
alluded in the original definition
of the Ramanujan polynomials. On a different scene,
a recursive algorithm to generate rooted
trees has been devised independently by
Shor and Dumont-Ramamonjisoa.
Zeng
discovered the connection between
the Ramanujan polynomials
and the enumeration of rooted
trees by number of impr…
▽ More
As remarked by Berndt, no combinatorial perspective seems to be
alluded in the original definition
of the Ramanujan polynomials. On a different scene,
a recursive algorithm to generate rooted
trees has been devised independently by
Shor and Dumont-Ramamonjisoa.
Zeng
discovered the connection between
the Ramanujan polynomials
and the enumeration of rooted
trees by number of improper edges. We present a proper labeling scheme for
rooted trees by employing an extra label.
Harnessed by this grammar, we develop a calculus heavily
depending on the constant properties for
the Ramanujan polynomials. From the
grammatical formulation, we recover
the defining equation
of Ramanujan on an implicit function. So the
two themes of Ramanujan converge to one combinatorial structure. Moreover, we provide a grammatical treatment of a bijection
behind the recursion independently due to
Shor and Berndt-Evans-Wilson.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Multi-Environment GLAMP: Approximate Message Passing for Transfer Learning with Applications to Lasso-based Estimators
Authors:
Longlin Wang,
Yanke Song,
Kuanhao Jiang,
Pragya Sur
Abstract:
Approximate Message Passing (AMP) algorithms enable precise characterization of certain classes of random objects in the high-dimensional limit, and have found widespread applications in fields such as signal processing, statistics, and communications. In this work, we introduce Multi-Environment Generalized Long AMP, a novel AMP framework that applies to transfer learning problems with multiple d…
▽ More
Approximate Message Passing (AMP) algorithms enable precise characterization of certain classes of random objects in the high-dimensional limit, and have found widespread applications in fields such as signal processing, statistics, and communications. In this work, we introduce Multi-Environment Generalized Long AMP, a novel AMP framework that applies to transfer learning problems with multiple data sources and distribution shifts. We rigorously establish state evolution for multi-environment GLAMP. We demonstrate the utility of this framework by precisely characterizing the risk of three Lasso-based transfer learning estimators for the first time: the Stacked Lasso, the Model Averaging Estimator, and the Second Step Estimator. We also demonstrate the remarkable finite sample accuracy of our theory via extensive simulations.
△ Less
Submitted 29 June, 2025; v1 submitted 28 May, 2025;
originally announced May 2025.
-
A hybrid PDE-ABM model for angiogenesis and tumour microenvironment with application to resistance in cancer treatment
Authors:
Louis Shuo Wang,
Jiguang Yu,
Zonghao Liu
Abstract:
The main obstacle to effective cancer treatment is the development of drug resistance, which can be divided into two categories: spontaneous and acquired drug resistance. Non-small cell lung cancer (NSCLC) is the main cause of cancer-related deaths worldwide. A subset of lung cancer, adenocarcinomas, is characterised by mutations in the epidermal growth factor receptor (EGFR) gene. Treatment of EG…
▽ More
The main obstacle to effective cancer treatment is the development of drug resistance, which can be divided into two categories: spontaneous and acquired drug resistance. Non-small cell lung cancer (NSCLC) is the main cause of cancer-related deaths worldwide. A subset of lung cancer, adenocarcinomas, is characterised by mutations in the epidermal growth factor receptor (EGFR) gene. Treatment of EGFR-mutated lung adenocarcinomas has become less effective over time due to drug resistance development, which is associated with a second mutation in the EGFR gene. An important factor in the development of cancer is angiogenesis, which is the formation of blood vessels from the existing vasculature. These newly formed blood vessels provide oxygen and nutrients to tumour cells to maintain tumour growth and proliferation. We applied a hybrid discrete-continuous (HDC) model to capture the dynamic vasculature in the tumour microenvironment (TME). In the case of pre-existing resistance, the formation of angiogenic networks creates a microenvironment that supports tumour survival and enhances drug resistance. In the case of spontaneous mutation-induced resistance, earlier and more frequent mutations confer a greater survival advantage to the tumour population. There is also a mutually reinforcing relationship between a high proliferation rate and high resistance characteristics. These findings explain two conflicting experimental results about the second mutation in NSCLC.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Well-Posedness for the Rosenzweig-MacArthur Model with Internal Stochasticity
Authors:
Louis Shuo Wang,
Jiguang Yu
Abstract:
In this work, we propose a stochastic version of the Rosenzweig-MacArthur model solely driven by internal demographic noise, extending classical Lotka-Volterra-type systems focused on external noise. We give a criterion for the existence and uniqueness of autonomous stochastic differential equations (SDEs) on an open submanifold of $\mathbb{R}^{n}$, and the framework allows for a wider choice of L…
▽ More
In this work, we propose a stochastic version of the Rosenzweig-MacArthur model solely driven by internal demographic noise, extending classical Lotka-Volterra-type systems focused on external noise. We give a criterion for the existence and uniqueness of autonomous stochastic differential equations (SDEs) on an open submanifold of $\mathbb{R}^{n}$, and the framework allows for a wider choice of Lyapunov functions. In the meantime, the invariance of open submanifolds, which is a biologically feasible result and has been implicitly incorporated into many biological and ecological models, facilitates the application of analytic tools typically suited to $\mathbb{R}^{d}$ and indicates the persistence of predator and prey populations, thus providing a criterion for determining whether a population will become extinct. We apply the well-posedness criterion to our stochastic Rosenzweig-MacArthur model and show the existence and uniqueness of solutions. Furthermore, the asymptotic estimates of solutions are obtained, indicating the at most exponential growth of the population with internal stochasticity. Some numerical experiments are performed, which illustrate the discrepancy between the deterministic and stochastic models. Overall, this work demonstrates the broad applicability of our results to ecological models with constrained dynamics, offering a foundation for analyzing extinction, persistence, and well-posedness in systems where internal randomness dominates. This paper not only promotes the development of stochastic modeling and stochastic differential equations in theoretical ecology but also proposes a rigorous mathematical methodology for studying the predator-prey system with internal stochasticity.
△ Less
Submitted 23 May, 2025; v1 submitted 22 May, 2025;
originally announced May 2025.
-
On the distance signless Laplacian spectral radius, fractional matching and factors of graphs
Authors:
Z. H. Zhang,
L. G. Wang
Abstract:
The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$…
▽ More
The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$ for every vertex $v\in V(G)$. The fractional matching number $μ_f(G)$ of a graph $G$ is the maximum value of $ \sum_{e\in E(G)} f(e)$ over all fractional matchings. Given subgraphs $H_1, H_2,...,H_k$ of $G$, a $\{H_1, H_2,...,H_k\}$-factor of $G$ is a spanning subgraph $F$ in which each connected component is isomorphic to one of $H_1, H_2,...,H_k$. In this paper, we establish a upper bound for the distance signless Laplacian spectral radius of a graph $G$ of order $n$ to guarantee that $μ_f(G)> \frac{n-k}{2}$, where $1\leq k<n$ is an integer. Besides, we also provide a sufficient condition based on distance signless Laplacian spectral radius to guarantee the existence of a $\{K_2,\{C_k\}\}$-factor in a graph, where $k \geq 3$ is an integer.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
K-polystability and reduced uniform K-stability of log Fano cone singularities
Authors:
Linsheng Wang
Abstract:
We prove that a log Fano cone $(X,Δ,ξ_0)$ satisfying $δ_\mathbb{T}(X,Δ,ξ_0)\ge 1$ is K-polystable for normal test configurations if and only if it is K-polystable for special test configurations. We also establish the reduced uniform K-stability of $(X,Δ,ξ_0)$ and show that it is equivalent to K-polystability.
We prove that a log Fano cone $(X,Δ,ξ_0)$ satisfying $δ_\mathbb{T}(X,Δ,ξ_0)\ge 1$ is K-polystable for normal test configurations if and only if it is K-polystable for special test configurations. We also establish the reduced uniform K-stability of $(X,Δ,ξ_0)$ and show that it is equivalent to K-polystability.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Odd Hadwiger's conjecture for the complements of Kneser graphs
Authors:
Meirun Chen,
Reza Naserasr,
Lujia Wang,
Sanming Zhou
Abstract:
A generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where…
▽ More
A generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where $n\geq 2k \ge 4$. This improves a result of G. Xu and S. Zhou (2017) which states that Hadwiger's conjecture is true for this family of graphs. Moreover, we prove that $\overline{K}(n,k)$ contains a 1-shallow complete minor of a special type with order no less than the chromatic number $χ(\overline{K}(n,k))$, and in the case when $7 \le 2k+1 \le n \le 3k-1$ the gap between the odd Hadwiger number and chromatic number of $\overline{K}(n,k)$ is $Ω(1.5^{k})$.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
A New Complexity Result for Strongly Convex Optimization with Locally $α$-H{ö}lder Continuous Gradients
Authors:
Xiaojun Chen,
C. T. Kelley,
Lei Wang
Abstract:
In this paper, we present a new complexity result for the gradient descent method with an appropriately fixed stepsize for minimizing a strongly convex function with locally $α$-H{ö}lder continuous gradients ($0 < α\leq 1$). The complexity bound for finding an approximate minimizer with a distance to the true minimizer less than $\varepsilon$ is $O(\log (\varepsilon^{-1}) \varepsilon^{2 α- 2})$, w…
▽ More
In this paper, we present a new complexity result for the gradient descent method with an appropriately fixed stepsize for minimizing a strongly convex function with locally $α$-H{ö}lder continuous gradients ($0 < α\leq 1$). The complexity bound for finding an approximate minimizer with a distance to the true minimizer less than $\varepsilon$ is $O(\log (\varepsilon^{-1}) \varepsilon^{2 α- 2})$, which extends the well-known complexity result for $α= 1$.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
The first Brauer-Thrall conjecture for extriangulated length categories
Authors:
Li Wang,
Jiaqun Wei
Abstract:
Let $(\mathcal{A},Θ)$ be an extriangulated length category of finite type. Using a combinatorial invariant known as the Gabriel-Roiter measure, we prove that $\mathcal{A}$ has an infinite number of pairwise nonisomorphic indecomposable objects if and only if it has indecomposable objects of arbitrarily large length. That is, the first Brauer-Thrall conjecture holds.
Let $(\mathcal{A},Θ)$ be an extriangulated length category of finite type. Using a combinatorial invariant known as the Gabriel-Roiter measure, we prove that $\mathcal{A}$ has an infinite number of pairwise nonisomorphic indecomposable objects if and only if it has indecomposable objects of arbitrarily large length. That is, the first Brauer-Thrall conjecture holds.
△ Less
Submitted 7 May, 2025; v1 submitted 6 May, 2025;
originally announced May 2025.
-
New Sphere Packings from the Antipode Construction
Authors:
Ruitao Chen,
Jiachen Hu,
Binghui Li,
Liwei Wang,
Tianyi Wu
Abstract:
In this note, we construct non-lattice sphere packings in dimensions $19$, $20$, $21$, $23$, $44$, $45$, and $47$, demonstrating record densities that surpass all previously documented results in these dimensions. The construction involves applying the antipode method to suboptimal cross-sections of $Λ_{24}$ and $P_{48p}$ respectively in those dimensions.
In this note, we construct non-lattice sphere packings in dimensions $19$, $20$, $21$, $23$, $44$, $45$, and $47$, demonstrating record densities that surpass all previously documented results in these dimensions. The construction involves applying the antipode method to suboptimal cross-sections of $Λ_{24}$ and $P_{48p}$ respectively in those dimensions.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Boundary value problem of magnetically insulated diode: existence of solutions and complex bifurcation
Authors:
Denis Sidorov,
Alexander Sinitsyn,
David Leguizamon,
Liguo Wang
Abstract:
The paper focuses on the stationary self-consistent problem of magnetic insulation for a vacuum diode with space-charge limitation, described by a singularly perturbed Vlasov-Maxwell system of dimension 1.5. The case of insulated diode when the electrons are deflected back towards the cathode at the point $x^{*}$ is considered. First, the initial VM system is reduced to the nonlinear singular limi…
▽ More
The paper focuses on the stationary self-consistent problem of magnetic insulation for a vacuum diode with space-charge limitation, described by a singularly perturbed Vlasov-Maxwell system of dimension 1.5. The case of insulated diode when the electrons are deflected back towards the cathode at the point $x^{*}$ is considered. First, the initial VM system is reduced to the nonlinear singular limit system of ODEs for the potentials of electric and magnetic fields. The second step deals with the limit system's reduction to the new nonlinear singular ODE equation for effective potential $θ(x)$. The existence of non-negative solutions is proved for the last equation on the interval $[0, x^{*})$ where $θ(x)>0$. The most interesting and unexplored case is when $θ(x)<0$ on the interval $(x^{*}, 1]$ and corresponds to the case of an insulated diode. For the first time, a numerical analysis of complex bifurcation of solutions in insulated diode is considered for $θ(x)<0$ depending on parameters and boundary conditions. Bifurcation diagrams of the dependence of solution $θ(x)$ on a free point (free boundary) $x^{*}$ were constructed. Insulated diode spacing is found.
△ Less
Submitted 16 May, 2025; v1 submitted 4 May, 2025;
originally announced May 2025.
-
Region of Synchronization Estimation for Complex Networks via SOS Programming
Authors:
Shuyuan Zhang,
Raphaël M. Jungers,
Lei Wang
Abstract:
In this article, we explore the problem of the region of synchronization (ROS) for complex networks with nonlinear dynamics. Given a pair of state- and target- sets, our goal is to estimate the ROS such that the trajectories originating within it reach the target set (i.e., synchronization manifold), without leaving the state set before the first hitting time. In order to do so, an exponential gui…
▽ More
In this article, we explore the problem of the region of synchronization (ROS) for complex networks with nonlinear dynamics. Given a pair of state- and target- sets, our goal is to estimate the ROS such that the trajectories originating within it reach the target set (i.e., synchronization manifold), without leaving the state set before the first hitting time. In order to do so, an exponential guidance-barrier function is proposed to construct the ROS along the synchronization manifold, and the corresponding sufficient conditions for estimating the ROS are developed. The resulting conditions lead to a sum-of-squares programming problem, thereby affording a polynomial-time solvability. Furthermore, when the synchronization manifold reduces to an equilibrium point, our method not only estimates a larger ROS compared to existing results but also allows the ROS to take more general shapes. Finally, we present two numerical examples to demonstrate the effectiveness of the theoretical results.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Inverse Problems Over Probability Measure Space
Authors:
Qin Li,
Maria Oprea,
Li Wang,
Yunan Yang
Abstract:
Define a forward problem as $ρ_y = G_\#ρ_x$, where the probability distribution $ρ_x$ is mapped to another distribution $ρ_y$ using the forward operator $G$. In this work, we investigate the corresponding inverse problem: Given $ρ_y$, how to find $ρ_x$? Depending on whether $ G$ is overdetermined or underdetermined, the solution can have drastically different behavior. In the overdetermined case,…
▽ More
Define a forward problem as $ρ_y = G_\#ρ_x$, where the probability distribution $ρ_x$ is mapped to another distribution $ρ_y$ using the forward operator $G$. In this work, we investigate the corresponding inverse problem: Given $ρ_y$, how to find $ρ_x$? Depending on whether $ G$ is overdetermined or underdetermined, the solution can have drastically different behavior. In the overdetermined case, we formulate a variational problem $\min_{ρ_x} D( G_\#ρ_x, ρ_y)$, and find that different choices of the metric $ D$ significantly affect the quality of the reconstruction. When $ D$ is set to be the Wasserstein distance, the reconstruction is the marginal distribution, while setting $ D$ to be a $φ$-divergence reconstructs the conditional distribution. In the underdetermined case, we formulate the constrained optimization $\min_{\{ G_\#ρ_x=ρ_y\}} E[ρ_x]$. The choice of $ E$ also significantly impacts the construction: setting $ E$ to be the entropy gives us the piecewise constant reconstruction, while setting $ E$ to be the second moment, we recover the classical least-norm solution. We also examine the formulation with regularization: $\min_{ρ_x} D( G_\#ρ_x, ρ_y) + α\mathsf R[ρ_x]$, and find that the entropy-entropy pair leads to a regularized solution that is defined in a piecewise manner, whereas the $W_2$-$W_2$ pair leads to a least-norm solution where $W_2$ is the 2-Wasserstein metric.
△ Less
Submitted 26 April, 2025;
originally announced April 2025.
-
PODNO: Proper Orthogonal Decomposition Neural Operators
Authors:
Zilan Cheng,
Zhongjian Wang,
Li-Lian Wang,
Mejdi Azaiez
Abstract:
In this paper, we introduce Proper Orthogonal Decomposition Neural Operators (PODNO) for solving partial differential equations (PDEs) dominated by high-frequency components. Building on the structure of Fourier Neural Operators (FNO), PODNO replaces the Fourier transform with (inverse) orthonormal transforms derived from the Proper Orthogonal Decomposition (POD) method to construct the integral k…
▽ More
In this paper, we introduce Proper Orthogonal Decomposition Neural Operators (PODNO) for solving partial differential equations (PDEs) dominated by high-frequency components. Building on the structure of Fourier Neural Operators (FNO), PODNO replaces the Fourier transform with (inverse) orthonormal transforms derived from the Proper Orthogonal Decomposition (POD) method to construct the integral kernel. Due to the optimality of POD basis, the PODNO has potential to outperform FNO in both accuracy and computational efficiency for high-frequency problems. From analysis point of view, we established the universality of a generalization of PODNO, termed as Generalized Spectral Operator (GSO). In addition, we evaluate PODNO's performance numerically on dispersive equations such as the Nonlinear Schrodinger (NLS) equation and the Kadomtsev-Petviashvili (KP) equation.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
Modularity of tadpole Nahm sums in ranks 4 and 5
Authors:
Changsong Shi,
Liuquan Wang
Abstract:
Around 2016, Calinescu, Milas and Penn conjectured that the rank $r$ Nahm sum associated with the $r\times r$ tadpole Cartan matrix is modular, and they provided a proof for $r=2$. The $r=3$ case was recently resolved by Milas and Wang. We prove this conjecture for the next cases $r=4,5$. We also prove the modularity of some companion Nahm sums by establishing the corresponding Rogers--Ramanujan t…
▽ More
Around 2016, Calinescu, Milas and Penn conjectured that the rank $r$ Nahm sum associated with the $r\times r$ tadpole Cartan matrix is modular, and they provided a proof for $r=2$. The $r=3$ case was recently resolved by Milas and Wang. We prove this conjecture for the next cases $r=4,5$. We also prove the modularity of some companion Nahm sums by establishing the corresponding Rogers--Ramanujan type identities. A key new ingredient in our proofs is some rank reduction formulas which allow us to decompose higher rank tadpole Nahm sums to mixed products of some lower rank Nahm-type sums and theta functions.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Stability threshold of Couette flow for 3D Boussinesq system in Sobolev spaces
Authors:
Shikun Cui,
Lili Wang,
Wendong Wang
Abstract:
In this paper, we investigate the nonlinear stability and transition threshold for the 3D Boussinesq system in Sobolev space under the high Reynolds number and small thermal diffusion in $\mathbb{T}\times\mathbb{R}\times\mathbb{T} $. It is proved that if the initial velocity $v_{\rm in}$ and the initial temperature $ θ_{\rm in} $ satisfy…
▽ More
In this paper, we investigate the nonlinear stability and transition threshold for the 3D Boussinesq system in Sobolev space under the high Reynolds number and small thermal diffusion in $\mathbb{T}\times\mathbb{R}\times\mathbb{T} $. It is proved that if the initial velocity $v_{\rm in}$ and the initial temperature $ θ_{\rm in} $ satisfy $ \|v_{\rm in}-(y,0,0)\|_{H^{2}}\leq \varepsilonν, \|θ_{\rm in}\|_{H^{2}}\leq \varepsilonν^{2} $, respectively for some $ \varepsilon>0 $ independent of the Reynolds number or thermal diffusion, then the solutions of 3D Boussinesq system are global in time.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Efficient Primal-dual Forward-backward Splitting Method for Wasserstein-like Gradient Flows with General Nonlinear Mobilities
Authors:
Yunhong Deng,
Li Wang,
Chaozhen Wei
Abstract:
We construct an efficient primal-dual forward-backward (PDFB) splitting method for computing a class of minimizing movement schemes with nonlinear mobility transport distances, and apply it to computing Wasserstein-like gradient flows. This approach introduces a novel saddle point formulation for the minimizing movement schemes, leveraging a support function form from the Benamou-Brenier dynamical…
▽ More
We construct an efficient primal-dual forward-backward (PDFB) splitting method for computing a class of minimizing movement schemes with nonlinear mobility transport distances, and apply it to computing Wasserstein-like gradient flows. This approach introduces a novel saddle point formulation for the minimizing movement schemes, leveraging a support function form from the Benamou-Brenier dynamical formulation of optimal transport. The resulting framework allows for flexible computation of Wasserstein-like gradient flows by solving the corresponding saddle point problem at the fully discrete level, and can be easily extended to handle general nonlinear mobilities. We also provide a detailed convergence analysis of the PDFB splitting method, along with practical remarks on its implementation and application. The effectiveness of the method is demonstrated through several challenging numerical examples.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
Fractional balanced chromatic number of signed subcubic graphs
Authors:
Xiaolan Hu,
Luis Kuffner,
Jiaao Li,
Reza Naserasr,
Lujia Wang,
Zhouningxin Wang,
Xiaowei Yu
Abstract:
A signed graph is a pair $(G,σ)$, where $G$ is a graph and $σ: E(G)\rightarrow \{-, +\}$, called signature, is an assignment of signs to the edges. Given a signed graph $(G,σ)$ with no negative loops, a balanced $(p,q)$-coloring of $(G,σ)$ is an assignment $f$ of $q$ colors to each vertex from a pool of $p$ colors such that each color class induces a balanced subgraph, i.e., no negative cycles. Le…
▽ More
A signed graph is a pair $(G,σ)$, where $G$ is a graph and $σ: E(G)\rightarrow \{-, +\}$, called signature, is an assignment of signs to the edges. Given a signed graph $(G,σ)$ with no negative loops, a balanced $(p,q)$-coloring of $(G,σ)$ is an assignment $f$ of $q$ colors to each vertex from a pool of $p$ colors such that each color class induces a balanced subgraph, i.e., no negative cycles. Let $(K_4,-)$ be the signed graph on $K_4$ with all edges being negative. In this work, we show that every signed (simple) subcubic graph admits a balanced $(5,3)$-coloring except for $(K_4,-)$ and signed graphs switching equivalent to it. For this particular signed graph the best balanced colorings are $(2p,p)$-colorings.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
On the Destruction of Invariant Lagrangian Graphs for Conformal Symplectic Twist Maps
Authors:
Alfonso Sorrentino,
Lin Wang
Abstract:
In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. Thi…
▽ More
In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. This result is sharp, as evidenced by the persistence of $C^1$-invariant graphs under $C^1$-perturbations guaranteed by the normally hyperbolic invariant manifold theorem.
△ Less
Submitted 15 April, 2025; v1 submitted 9 April, 2025;
originally announced April 2025.
-
A Newton Interior-Point Method for $\ell_0$ Factor Analysis
Authors:
Linyang Wang,
Wanquan Liu,
Bin Zhu
Abstract:
Factor Analysis is an effective way of dimensionality reduction achieved by revealing the low-rank plus sparse structure of the data covariance matrix. The corresponding model identification task is often formulated as an optimization problem with suitable regularizations. In particular, we use the nonconvex discontinuous $\ell_0$ norm in order to induce the sparsity of the covariance matrix of th…
▽ More
Factor Analysis is an effective way of dimensionality reduction achieved by revealing the low-rank plus sparse structure of the data covariance matrix. The corresponding model identification task is often formulated as an optimization problem with suitable regularizations. In particular, we use the nonconvex discontinuous $\ell_0$ norm in order to induce the sparsity of the covariance matrix of the idiosyncratic noise. This paper shows that such a challenging optimization problem can be approached via an interior-point method with inner-loop Newton iterations. To this end, we first characterize the solutions to the unconstrained $\ell_0$ regularized optimization problem through the $\ell_0$ proximal operator, and demonstrate that local optimality is equivalent to the solution of a stationary-point equation. The latter equation can then be solved using standard Newton's method, and the procedure is integrated into an interior-point algorithm so that inequality constraints of positive semidefiniteness can be handled. Finally, numerical examples validate the effectiveness of our algorithm.
△ Less
Submitted 1 April, 2025; v1 submitted 1 April, 2025;
originally announced April 2025.
-
The eternal solutions of parabolic equations with boundary condition
Authors:
Jingqi Liang,
Lidan Wang
Abstract:
In this paper, we study the parabolic equations of the form $$ \left\{ \begin{array}{rcll} Lu(y,t) &=& f, \qquad &(y,t)\in Q,\\ u(y,t)&=& 0, \qquad &(y,t)\in \partial Q, \\ u(y,t)&& \hspace{-8mm}\mbox{is uniformly bounded from below}, \qquad &(y,t)\in Q, \end{array} \right. $$ where $Q=Ω\times\mathbb{R}\subset\mathbb{R}^{n+1}$ and $Ω\subset\mathbb{R}^{n}$ is a bounded Lipschitz domain with…
▽ More
In this paper, we study the parabolic equations of the form $$ \left\{ \begin{array}{rcll} Lu(y,t) &=& f, \qquad &(y,t)\in Q,\\ u(y,t)&=& 0, \qquad &(y,t)\in \partial Q, \\ u(y,t)&& \hspace{-8mm}\mbox{is uniformly bounded from below}, \qquad &(y,t)\in Q, \end{array} \right. $$ where $Q=Ω\times\mathbb{R}\subset\mathbb{R}^{n+1}$ and $Ω\subset\mathbb{R}^{n}$ is a bounded Lipschitz domain with $0\inΩ$. Here $L$ is a general second order uniformly parabolic differential operator in non-divergence form or divergence form. For $f=0$, we establish the structure of the solution space, which is one dimensional and the solutions in this space grow exponentially at one end and decay exponentially at the other. For $f\neq0$, we show that all solutions can be presented by the solutions corresponding to the homogenous equations($f=0$) and a bounded special solution of the inhomogeneous equations. Our method is based on maximum principle in $Q$ and the Harnack type inequalities.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Proof of the Lehmer conjecture on Ramanujan's $τ$ function
Authors:
Minjia Shi,
Lu Wang,
Patrick Solé
Abstract:
A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$
was derived by de La Harpe, Pache and Venkov circa 2005.
We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $τ$ function.
A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$
was derived by de La Harpe, Pache and Venkov circa 2005.
We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $τ$ function.
△ Less
Submitted 1 April, 2025; v1 submitted 30 March, 2025;
originally announced March 2025.
-
A Regularity Theory for Stationary Two-valued Harmonic Functions
Authors:
Lingxiao Cheng,
Lubo Wang
Abstract:
For stationary two-valued harmonic functions with Hölder regularity, we establish their Lipschitz regularity and prove that the nodal set consists of analytic hypersurfaces away from a singular set. The main tools are the Almgren monotonicity formula and the blow-up method. These results are applicable to some limiting problems in segregation models.
For stationary two-valued harmonic functions with Hölder regularity, we establish their Lipschitz regularity and prove that the nodal set consists of analytic hypersurfaces away from a singular set. The main tools are the Almgren monotonicity formula and the blow-up method. These results are applicable to some limiting problems in segregation models.
△ Less
Submitted 16 May, 2025; v1 submitted 30 March, 2025;
originally announced March 2025.
-
Spectral condition for $k$-factor-criticality in $t$-connected graphs
Authors:
Tingyan Ma,
Edwin R. van Dam,
Ligong Wang
Abstract:
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.
△ Less
Submitted 2 July, 2025; v1 submitted 28 March, 2025;
originally announced March 2025.
-
Proof of a conjecture on the shape-Wilf-equivalence for partially ordered patterns
Authors:
Lintong Wang,
Sherry H. F. Yan
Abstract:
A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kit…
▽ More
A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kitaev-Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein-Han-Kitaev-Zhang concerning the shape-Wilf-equivalence for POPs of length $k$. This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Error analysis for temporal second-order finite element approximations of axisymmetric mean curvature flow of genus-1 surfaces
Authors:
Meng Li,
Lining Wang,
Yiming Wang
Abstract:
Existing studies on the convergence of numerical methods for curvature flows primarily focus on first-order temporal schemes. In this paper, we establish a novel error analysis for parametric finite element approximations of genus-1 axisymmetric mean curvature flow, formulated using two classical second-order time-stepping methods: the Crank-Nicolson method and the BDF2 method. Our results establi…
▽ More
Existing studies on the convergence of numerical methods for curvature flows primarily focus on first-order temporal schemes. In this paper, we establish a novel error analysis for parametric finite element approximations of genus-1 axisymmetric mean curvature flow, formulated using two classical second-order time-stepping methods: the Crank-Nicolson method and the BDF2 method. Our results establish optimal error bounds in both the L^2-norm and H^1-norm, along with a superconvergence result in the H^1-norm for each fully discrete approximation. Finally, we perform convergence experiments to validate the theoretical findings and present numerical simulations for various genus-1 surfaces. Through a series of comparative experiments, we also demonstrate that the methods proposed in this paper exhibit significant mesh advantages.
△ Less
Submitted 13 April, 2025; v1 submitted 24 March, 2025;
originally announced March 2025.
-
Non-(strong) ergodicity criteria for discrete time Markov chains on general state spaces
Authors:
Ling-Di Wang,
Yu Chen,
Yu-Hui Zhang
Abstract:
For discrete time Markov chains on general state spaces, we provide criteria for non-ergodicity and non-strong ergodicity. By taking advantage of minimal non-negative solution theory, our criteria are in terms of the existence of solutions to inequalities involving the one step transition semigroup of the chain. Based on Dynkin's formula, Lyapunov-type conditions for non-strong ergodicity are also…
▽ More
For discrete time Markov chains on general state spaces, we provide criteria for non-ergodicity and non-strong ergodicity. By taking advantage of minimal non-negative solution theory, our criteria are in terms of the existence of solutions to inequalities involving the one step transition semigroup of the chain. Based on Dynkin's formula, Lyapunov-type conditions for non-strong ergodicity are also obtained.
△ Less
Submitted 23 March, 2025;
originally announced March 2025.
-
Fourth-order uniformly accurate integrators with long time near conservations for the nonlinear Dirac equation in the nonrelativistic regime
Authors:
Lina Wang,
Bin Wang,
Jiyong Li
Abstract:
In this paper, we propose two novel fourth-order integrators that exhibit uniformly high accuracy and long-term near conservations for solving the nonlinear Dirac equation (NLDE) in the nonrelativistic regime. In this regime, the solution of the NLDE exhibits highly oscillatory behavior in time, characterized by a wavelength of O($\varepsilon^{2}$) with a small parameter $\varepsilon>0$. To ensure…
▽ More
In this paper, we propose two novel fourth-order integrators that exhibit uniformly high accuracy and long-term near conservations for solving the nonlinear Dirac equation (NLDE) in the nonrelativistic regime. In this regime, the solution of the NLDE exhibits highly oscillatory behavior in time, characterized by a wavelength of O($\varepsilon^{2}$) with a small parameter $\varepsilon>0$. To ensure uniform temporal accuracy, we employ a two-scale approach in conjunction with exponential integrators, utilizing operator decomposition techniques for the NLDE. The proposed methods are rigorously proved to achieve fourth-order uniform accuracy in time for all $\varepsilon\in (0,1]$. Furthermore, we successfully incorporate symmetry into the integrator, and the long-term near conservation properties are analyzed through the modulated Fourier expansion. The proposed schemes are readily extendable to linear Dirac equations incorporating magnetic potentials, the dynamics of traveling wave solutions and the two/three-dimensional Dirac equations. The validity of all theoretical ndings and extensions is numerically substantiated through a series of numerical experiments.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Optimal intrinsic formation using exogenous systems
Authors:
Yueyue Xu,
Panpan Zhou,
Lin Wang,
Xiaoming Hu
Abstract:
This paper investigates the intrinsic formation problem of a multi-agent system using an exogenous system. The problem is formulated as an intrinsic infinite time-horizon linear quadratic optimal control problem, namely, no formation error information is incorporated in the performance index. Convergence to the formation is achieved by utilizing an exogenous system, thus expanding the steady-state…
▽ More
This paper investigates the intrinsic formation problem of a multi-agent system using an exogenous system. The problem is formulated as an intrinsic infinite time-horizon linear quadratic optimal control problem, namely, no formation error information is incorporated in the performance index. Convergence to the formation is achieved by utilizing an exogenous system, thus expanding the steady-state formation space of the system. For the forward problem, we provide the existence condition for a nonzero steady state and characterize the steady-state space. For the inverse problem, we design both the input matrix and the exogenous system so that the desired formation can be achieved. Finally, numerical simulations are provided to illustrate the effectiveness of the proposed results.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
A fast Fourier spectral method for wave kinetic equation
Authors:
Kunlun Qi,
Lian Shen,
Li Wang
Abstract:
The central object in wave turbulence theory is the wave kinetic equation (WKE), which is an evolution equation for wave action density and acts as the wave analog of the Boltzmann kinetic equations for particle interactions. Despite recent exciting progress in the theoretical aspects of the WKE, numerical developments have lagged behind. In this paper, we introduce a fast Fourier spectral method…
▽ More
The central object in wave turbulence theory is the wave kinetic equation (WKE), which is an evolution equation for wave action density and acts as the wave analog of the Boltzmann kinetic equations for particle interactions. Despite recent exciting progress in the theoretical aspects of the WKE, numerical developments have lagged behind. In this paper, we introduce a fast Fourier spectral method for solving the WKE. The key idea lies in reformulating the high-dimensional nonlinear wave kinetic operator as a spherical integral, analogous to classical Boltzmann collision operator. The conservation of mass and momentum leads to a double convolution structure in Fourier space, which can be efficiently handled using the fast Fourier transform. We demonstrate the accuracy and efficiency of the proposed method through several numerical tests in both 2D and 3D, revealing some interesting and unique features of this equation.
△ Less
Submitted 17 March, 2025; v1 submitted 17 March, 2025;
originally announced March 2025.
-
Fast Maxwell Solvers Based on Exact Discrete Eigen-Decompositions I. Two-Dimensional Case
Authors:
Lixiu Wang,
Lueling Jia,
Zijian Cao,
Huiyuan Li,
Zhimin Zhang
Abstract:
In this paper, we propose fast solvers for Maxwell's equations in rectangular domains. We first discretize the simplified Maxwell's eigenvalue problems by employing the lowest-order rectangular Nédélec elements and derive the discrete eigen-solutions explicitly, providing a Hodge-Helmholtz decomposition framework at the discrete level. Based on exact eigen-decompositions, we further design fast so…
▽ More
In this paper, we propose fast solvers for Maxwell's equations in rectangular domains. We first discretize the simplified Maxwell's eigenvalue problems by employing the lowest-order rectangular Nédélec elements and derive the discrete eigen-solutions explicitly, providing a Hodge-Helmholtz decomposition framework at the discrete level. Based on exact eigen-decompositions, we further design fast solvers for various Maxwell's source problems, guaranteeing either the divergence-free constraint or the Gauss's law at the discrete level. With the help of fast sine/cosine transforms, the computational time grows asymptotically as $\mathcal{O}(n^2\log n)$ with $n$ being the number of grids in each direction. Our fast Maxwell solvers outperform other existing Maxwell solvers in the literature and fully rival fast scalar Poisson/Helmholtz solvers based on trigonometric transforms in either efficiency, robustness, or storage complexity. It is also utilized to perform an efficient pre-conditioning for solving Maxwell's source problems with variable coefficients. Finally, numerical experiments are carried out to illustrate the effectiveness and efficiency of the proposed fast solver.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Backward Stochastic Differential Equations-guided Generative Model for Structural-to-functional Neuroimage Translator
Authors:
Zengjing Chen,
Lu Wang,
Yongkang Lin,
Jie Peng,
Zhiping Liu,
Jie Luo,
Bao Wang,
Yingchao Liu,
Nazim Haouchine,
Xu Qiao
Abstract:
A Method for structural-to-functional neuroimage translator
A Method for structural-to-functional neuroimage translator
△ Less
Submitted 23 February, 2025;
originally announced March 2025.
-
Solving Bayesian inverse problems via Fisher adaptive Metropolis adjusted Langevin algorithm
Authors:
Li-Li Wang,
Guang-Hui Zheng
Abstract:
The preconditioned Metropolis adjusted Langevin algorithm (MALA) is a widely used method in statistical applications, where the choice of the preconditioning matrix plays a critical role. Recently, Titsias \cite{Titsias2024} demonstrated that the inverse Fisher information matrix is the optimal preconditioner by minimizing the expected squared jump distance and proposed an adaptive scheme to estim…
▽ More
The preconditioned Metropolis adjusted Langevin algorithm (MALA) is a widely used method in statistical applications, where the choice of the preconditioning matrix plays a critical role. Recently, Titsias \cite{Titsias2024} demonstrated that the inverse Fisher information matrix is the optimal preconditioner by minimizing the expected squared jump distance and proposed an adaptive scheme to estimate the Fisher matrix using the sampling history. In this paper, we apply the Fisher adaptive Metropolis adjusted Langevin algorithm (MALA) to Bayesian inverse problems. Moreover, we provide a rigorous convergence rate analysis for the adaptive scheme used to estimate the Fisher matrix. To evaluate its performance, we use this algorithm to sample from posterior distributions in several Bayesian inverse problems. And compare its constructions with the standard adaptive Metropolis adjusted Langevin algorithm (which employs the empirical covariance matrix of the posterior distribution as the preconditioner) and the preconditioned Crank-Nicolson (pCN) algorithm. Our numerical results demonstrate show that the Fisher adaptive MALA is highly effective for Bayesian inversion, and significantly outperforms other sampling methods, particularly in high-dimensional settings.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
An estimate for positive definite functions on finite abelian groups and its applications
Authors:
Lixia Wang,
Ke Ye
Abstract:
This paper concentrates on positive definite functions on finite abelian groups, which are central to harmonic analysis and related fields. By leveraging the group structure and employing Fourier analysis, we establish a lower bound for the second largest value of positive definite functions. For illustrative purposes, we present three applications of our lower bound: (a) We obtain both lower and…
▽ More
This paper concentrates on positive definite functions on finite abelian groups, which are central to harmonic analysis and related fields. By leveraging the group structure and employing Fourier analysis, we establish a lower bound for the second largest value of positive definite functions. For illustrative purposes, we present three applications of our lower bound: (a) We obtain both lower and upper bounds for arbitrary functions on finite abelian groups; (b) We derive lower bounds for the relaxation and mixing times of random walks on finite abelian groups. Notably, our bound for the relaxation time achieves a quadratic improvement over the previously known one; (c) We determine a new lower bound for the size of the sumset of two subsets of finite abelian groups.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Lifts of Brauer characters in characteristic two, II
Authors:
Junwei Zhang,
Xuewu Chang,
Ping Jin,
Lei Wang
Abstract:
In 2007, J. P. Cossey conjectured that if $G$ is a finite $p$-solvable group and $\varphi$ is an irreducible Brauer character of $G$ with vertex $Q$, then the number of lifts of $\varphi$ is at most $|Q:Q'|$. In this paper we revisited Cossey's conjecture for $p=2$ from the perspective of Navarro vertices and obtained a new way to count the number of lifts of $\varphi$. Some applications were give…
▽ More
In 2007, J. P. Cossey conjectured that if $G$ is a finite $p$-solvable group and $\varphi$ is an irreducible Brauer character of $G$ with vertex $Q$, then the number of lifts of $\varphi$ is at most $|Q:Q'|$. In this paper we revisited Cossey's conjecture for $p=2$ from the perspective of Navarro vertices and obtained a new way to count the number of lifts of $\varphi$. Some applications were given.
△ Less
Submitted 8 March, 2025;
originally announced March 2025.
-
The Distributionally Robust Optimization Model of Sparse Principal Component Analysis
Authors:
Lei Wang,
Xin Liu,
Xiaojun Chen
Abstract:
We consider sparse principal component analysis (PCA) under a stochastic setting where the underlying probability distribution of the random parameter is uncertain. This problem is formulated as a distributionally robust optimization (DRO) model based on a constructive approach to capturing uncertainty in the covariance matrix, which constitutes a nonsmooth constrained min-max optimization problem…
▽ More
We consider sparse principal component analysis (PCA) under a stochastic setting where the underlying probability distribution of the random parameter is uncertain. This problem is formulated as a distributionally robust optimization (DRO) model based on a constructive approach to capturing uncertainty in the covariance matrix, which constitutes a nonsmooth constrained min-max optimization problem. We further prove that the inner maximization problem admits a closed-form solution, reformulating the original DRO model into an equivalent minimization problem on the Stiefel manifold. This transformation leads to a Riemannian optimization problem with intricate nonsmooth terms, a challenging formulation beyond the reach of existing algorithms. To address this issue, we devise an efficient smoothing manifold proximal gradient algorithm. We prove the Riemannian gradient consistency and global convergence of our algorithm to a stationary point of the nonsmooth minimization problem. Moreover, we establish the iteration complexity of our algorithm. Finally, numerical experiments are conducted to validate the effectiveness and scalability of our algorithm, as well as to highlight the necessity and rationality of adopting the DRO model for sparse PCA.
△ Less
Submitted 4 March, 2025;
originally announced March 2025.
-
Software for the Thompson and Funk Polygonal Geometry
Authors:
Hridhaan Banerjee,
Carmen Isabel Day,
Auguste H. Gezalyan,
Olga Golovatskaia,
Megan Hunleth,
Sarah Hwang,
Nithin Parepally,
Lucy Wang,
David M. Mount
Abstract:
Metric spaces defined within convex polygons, such as the Thompson, Funk, reverse Funk, and Hilbert metrics, are subjects of recent exploration and study in computational geometry. This paper contributes an educational piece of software for understanding these unique geometries while also providing a tool to support their research. We provide dynamic software for manipulating the Funk, reverse Fun…
▽ More
Metric spaces defined within convex polygons, such as the Thompson, Funk, reverse Funk, and Hilbert metrics, are subjects of recent exploration and study in computational geometry. This paper contributes an educational piece of software for understanding these unique geometries while also providing a tool to support their research. We provide dynamic software for manipulating the Funk, reverse Funk, and Thompson balls in convex polygonal domains. Additionally, we provide a visualization program for traversing the Hilbert polygonal geometry.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Online Pseudo-average Shifting Attention(PASA) for Robust Low-precision LLM Inference: Algorithms and Numerical Analysis
Authors:
Long Cheng,
Qichen Liao,
Fan Wu,
Junlin Mu,
Tengfei Han,
Zhe Qiu,
Lianqiang Li,
Tianyi Liu,
Fangzheng Miao,
Keming Gao,
Liang Wang,
Zhen Zhang,
Qiande Yin
Abstract:
Attention calculation is extremely time-consuming for long-sequence inference tasks, such as text or image/video generation, in large models. To accelerate this process, we developed a low-precision, mathematically-equivalent algorithm called PASA, based on Flash Attention. PASA introduces two novel techniques: online pseudo-average shifting and global recovering. These techniques enable the use o…
▽ More
Attention calculation is extremely time-consuming for long-sequence inference tasks, such as text or image/video generation, in large models. To accelerate this process, we developed a low-precision, mathematically-equivalent algorithm called PASA, based on Flash Attention. PASA introduces two novel techniques: online pseudo-average shifting and global recovering. These techniques enable the use of half-precision computation throughout the Flash Attention process without incurring overflow instability or unacceptable numerical accuracy loss. This algorithm enhances performance on memory-restricted AI hardware architectures, such as the Ascend Neural-network Processing Unit(NPU), by reducing data movement and increasing computational FLOPs. The algorithm is validated using both designed random benchmarks and real large models. We find that the large bias and amplitude of attention input data are critical factors contributing to numerical overflow ($>65504$ for half precision) in two different categories of large models (Qwen2-7B language models and Stable-Video-Diffusion multi-modal models). Specifically, overflow arises due to the large bias in the sequence dimension and the resonance mechanism between the query and key in the head dimension of the Stable-Video-Diffusion models. The resonance mechanism is defined as phase coincidence or 180-degree phase shift between query and key matrices. It will remarkably amplify the element values of attention score matrix. This issue also applies to the Qwen models. Additionally, numerical accuracy is assessed through root mean square error (RMSE) and by comparing the final generated texts and videos to those produced using high-precision attention.
△ Less
Submitted 25 February, 2025;
originally announced March 2025.
-
Learning Hamiltonian Systems with Pseudo-symplectic Neural Network
Authors:
Xupeng Cheng,
Lijin Wang,
Yanzhao Cao,
Chen Chen
Abstract:
In this paper, we introduces a Pseudo-Symplectic Neural Network (PSNN) for learning general Hamiltonian systems (both separable and non-separable) from data. To address the limitations of existing structure-preserving methods (e.g., implicit symplectic integrators restricted to separable systems or explicit approximations requiring high computational costs), PSNN integrates an explicit pseudo-symp…
▽ More
In this paper, we introduces a Pseudo-Symplectic Neural Network (PSNN) for learning general Hamiltonian systems (both separable and non-separable) from data. To address the limitations of existing structure-preserving methods (e.g., implicit symplectic integrators restricted to separable systems or explicit approximations requiring high computational costs), PSNN integrates an explicit pseudo-symplectic integrator as its dynamical core, achieving nearly exact symplecticity with minimal structural error. Additionally, the authors propose learnable Padé-type activation functions based on Padé approximation theory, which empirically outperform classical ReLU, Taylor-based activations, and PAU. By combining these innovations, PSNN demonstrates superior performance in learning and forecasting diverse Hamiltonian systems (e.g., modified pendulum, galactic dynamics), surpassing state-of-the-art models in accuracy, long-term stability, and energy preservation, while requiring shorter training time, fewer samples, and reduced parameters. This framework bridges the gap between computational efficiency and geometric structure preservation in Hamiltonian system modeling.
△ Less
Submitted 6 March, 2025; v1 submitted 27 February, 2025;
originally announced February 2025.
-
Reconstruction of heat relaxation index in phonon transport equation
Authors:
Peiyi Chen,
Irene M. Gamba,
Qin Li,
Li Wang
Abstract:
For nano-materials, heat conductivity is an ill-defined concept. This classical concept assumes the validity of Fourier's law, which states the heat flux is proportional to temperature gradient, with heat conductivity used to denote this ratio. However, this macroscopic constitutive relation breaks down at nano-scales. Instead, heat is propagated using phonon transport equation, an ab initio model…
▽ More
For nano-materials, heat conductivity is an ill-defined concept. This classical concept assumes the validity of Fourier's law, which states the heat flux is proportional to temperature gradient, with heat conductivity used to denote this ratio. However, this macroscopic constitutive relation breaks down at nano-scales. Instead, heat is propagated using phonon transport equation, an ab initio model derived from the first principle. In this equation, a material's thermal property is coded in a coefficient termed the relaxation time ($τ$). We study an inverse problem in this paper, by using material's temperature response upon heat injection to infer the relaxation time. This inverse problem is formulated in a PDE-constrained optimization, and numerically solved by Stochastic Gradient Descent (SGD) method and its variants. In the execution of SGD, Fréchet derivative is computed and Lipschitz continuity is proved. This approach, in comparison to the earlier studies, honors the nano-structure of of heat conductivity in a nano-material, and we numerically verify the break down of the Fourier's law.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Rogers--Ramanujan Type Identities for Rank Two Partial Nahm Sums
Authors:
Liuquan Wang,
Wentao Zeng
Abstract:
Let $A$ be a $r\times r$ rational nonzero symmetric matrix, $B$ a rational column vector, $C$ a rational scalar. For any integer lattice $L$ and vector $v$ of $\mathbb{Z}^r$, we define Nahm sum on the lattice coset $v+L\in \mathbb{Z}^r/L$: \begin{align*}\label{eq-lattice-sum} f_{A,B,C,v+L}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T} \in v+L} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_…
▽ More
Let $A$ be a $r\times r$ rational nonzero symmetric matrix, $B$ a rational column vector, $C$ a rational scalar. For any integer lattice $L$ and vector $v$ of $\mathbb{Z}^r$, we define Nahm sum on the lattice coset $v+L\in \mathbb{Z}^r/L$: \begin{align*}\label{eq-lattice-sum} f_{A,B,C,v+L}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T} \in v+L} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_{n_1}\cdots (q;q)_{n_r}}. \end{align*} If $L$ is a full rank lattice and a proper subset of $\mathbb{Z}^r$, then we call $f_{A,B,C,v+L}(q)$ a rank $r$ partial Nahm sum. When the rank $r=1$, we find eight modular partial Nahm sums using some known identities. When the rank $r=2$ and $L$ is one of the lattices $\mathbb{Z}(2,0)+\mathbb{Z}(0,1)$, $\mathbb{Z}(1,0)+\mathbb{Z}(0,2)$ or $\mathbb{Z}(2,0)+\mathbb{Z}(0,2)$, we find 14 types of symmetric matrices $A$ such that there exist vectors $B,v$ and scalars $C$ so that the partial Nahm sum $f_{A,B,C,v+L}(q)$ is modular. We establish Rogers--Ramanujan type identities for the corresponding partial Nahm sums which prove their modularity.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
An NEPv Approach for Feature Selection via Orthogonal OCCA with the (2,1)-norm Regularization
Authors:
Li Wang,
Lei-Hong Zhang,
Ren-Cang Li
Abstract:
A novel feature selection model via orthogonal canonical correlation analysis with the $(2,1)$-norm regularization is proposed, and the model is solved by a practical NEPv approach (nonlinear eigenvalue problem with eigenvector dependency), yielding a feature selection method named OCCA-FS. It is proved that OCCA-FS always produces a sequence of approximations with monotonic objective values and i…
▽ More
A novel feature selection model via orthogonal canonical correlation analysis with the $(2,1)$-norm regularization is proposed, and the model is solved by a practical NEPv approach (nonlinear eigenvalue problem with eigenvector dependency), yielding a feature selection method named OCCA-FS. It is proved that OCCA-FS always produces a sequence of approximations with monotonic objective values and is globally convergent. Extensive numerical experiments are performed to compare OCCA-FS against existing feature selection methods. The numerical results demonstrate that OCCA-FS produces superior classification performance and often comes out on the top among all feature selection methods in comparison.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
