-
Low-order finite element complex with application to a fourth-order elliptic singular perturbation problem
Authors:
Xuewei Cui,
Xuehai Huang
Abstract:
A low-order nonconforming finite element discretization of a smooth de Rham complex starting from the $H^2$ space in three dimensions is proposed, involving an $H^2$-nonconforming finite element space, a new tangentially continuous $H^1$-nonconforming vector-valued finite element space, the lowest-order Raviart-Thomas space, and piecewise constant functions. While nonconforming for the smooth comp…
▽ More
A low-order nonconforming finite element discretization of a smooth de Rham complex starting from the $H^2$ space in three dimensions is proposed, involving an $H^2$-nonconforming finite element space, a new tangentially continuous $H^1$-nonconforming vector-valued finite element space, the lowest-order Raviart-Thomas space, and piecewise constant functions. While nonconforming for the smooth complex, the discretization conforms to the classical de Rham complex. It is applied to develop a decoupled mixed finite element method for a fourth-order elliptic singular perturbation problem, focusing on the discretization of a generalized singularly perturbed Stokes-type equation. In contrast to Nitsche's method, which requires additional stabilization to handle boundary layers, the nodal interpolation operator for the lowest-order Nédélec element of the second kind is introduced into the discrete bilinear forms. This modification yields a decoupled mixed method that achieves optimal convergence rates uniformly with respect to the perturbation parameter, even in the presence of strong boundary layers, without requiring any additional stabilization.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Global well-posedness for 2D compressible radially symmetric Navier-Stokes equations with swirl
Authors:
Xiangdi Huang,
Weili Meng
Abstract:
In this paper, we consider the radially symmetric compressible Navier-Stokes equations with swirl in two-dimensional disks, where the shear viscosity coefficient \(μ= \text{const}> 0\), and the bulk one \(λ= ρ^β(β>0)\). When \(β\geq 1\), we prove the global existence and asymptotic behavior of the large strong solutions for initial values that allow for vacuum. One of the key ingredients is to sho…
▽ More
In this paper, we consider the radially symmetric compressible Navier-Stokes equations with swirl in two-dimensional disks, where the shear viscosity coefficient \(μ= \text{const}> 0\), and the bulk one \(λ= ρ^β(β>0)\). When \(β\geq 1\), we prove the global existence and asymptotic behavior of the large strong solutions for initial values that allow for vacuum. One of the key ingredients is to show the uniform boundedness of the density independent of the time. When \(β\in(0,1)\), we prove the same conclusion holds when the initial value satisfies \(\norm{ρ_0}_{L^\infty} \leq a_0\), where \(a_0\) is given by \eqref{def a_0} as in Theorem \ref{Thm3}. To the best of our knowledge, this is the first result on the global existence of large strong solutions for 2D compressible Navier-Stokes equation with real non-slip (non Navier-slip) boundary conditions when $β\ge1$ and the first result on the global existence of strong solutions when $β\in(0,1)$
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Largest dyadic dual VC-dimension of non-piercing families
Authors:
Xinqi Huang,
Yuzhen Qi,
Mingyuan Rong,
Zixiang Xu
Abstract:
The dyadic dual VC-dimension of a set system \( \mathcal{F} \) is the largest integer \( \ell \) such that there exist \( \ell \) sets \( F_1, F_{2}, \dots, F_\ell \in \mathcal{F} \), where every pair \( \{i, j\} \in \binom{[\ell]}{2} \) is witnessed by an element \( a_{i,j} \in F_i \cap F_j \) that does not belong to any other set \( F_k \) with \( k \in [\ell] \setminus \{i, j\} \). In this pape…
▽ More
The dyadic dual VC-dimension of a set system \( \mathcal{F} \) is the largest integer \( \ell \) such that there exist \( \ell \) sets \( F_1, F_{2}, \dots, F_\ell \in \mathcal{F} \), where every pair \( \{i, j\} \in \binom{[\ell]}{2} \) is witnessed by an element \( a_{i,j} \in F_i \cap F_j \) that does not belong to any other set \( F_k \) with \( k \in [\ell] \setminus \{i, j\} \). In this paper, we determine the largest dyadic dual VC-dimension of a non-piercing family is exactly $4$, providing a rare example where the maximum of this parameter can be determined for a natural family arising from geometry. As an application, we give a short and direct proof that the transversal number \( τ(\mathcal{F}) \) of any non-piercing family is at most \(Cν(\mathcal{F})^9 \), where \( ν(\mathcal{F}) \) is the matching number and $C$ is a constant. This improves a recent result of Pálvölgyi and Zólomy.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Distribution Dependent SDEs with Singular Interactions: Well-Posedness and Regularity
Authors:
Xing Huang,
Panpan Ren,
Feng-Yu Wang
Abstract:
For a class of distribution dependent SDEs with singular interactions, which include the Coulomb/Riesz/Biot-Savart kernels as typical examples (Examples 2.1 and 2.2), we derive the well-posedness and regularity estimates by establishing the entropy-cost inequality. To measure the singularity of interactions, we introduce a new probability distance induced by local integrable functions, and estimat…
▽ More
For a class of distribution dependent SDEs with singular interactions, which include the Coulomb/Riesz/Biot-Savart kernels as typical examples (Examples 2.1 and 2.2), we derive the well-posedness and regularity estimates by establishing the entropy-cost inequality. To measure the singularity of interactions, we introduce a new probability distance induced by local integrable functions, and estimate this distance for the time-marginal laws of solutions by using the Wasserstein distance of initial distributions. A key point of the study is to characterize the path space of time-marginal distributions for the solutions, by using local hyperbound estimates on diffusion semigroups.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
An Optimal and Robust Nonconforming Finite Element Method for the Strain Gradient Elasticity
Authors:
Jianguo Huang,
Xuehai Huang,
Zheqian Tang
Abstract:
An optimal and robust low-order nonconforming finite element method is developed for the strain gradient elasticity (SGE) model in arbitrary dimension. An $H^2$-nonconforming quadratic vector-valued finite element in arbitrary dimension is constructed, which together with an $H^1$-nonconforming scalar finite element and the Nitsche's technique, is applied for solving the SGE model. The resulting n…
▽ More
An optimal and robust low-order nonconforming finite element method is developed for the strain gradient elasticity (SGE) model in arbitrary dimension. An $H^2$-nonconforming quadratic vector-valued finite element in arbitrary dimension is constructed, which together with an $H^1$-nonconforming scalar finite element and the Nitsche's technique, is applied for solving the SGE model. The resulting nonconforming finite element method is optimal and robust with respect to the Lamé coefficient $λ$ and the size parameter $ι$, as confirmed by numerical results. Additionally, nonconforming finite element discretization of the smooth Stokes complex in two and three dimensions is devised.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
Data Envelopment Analysis with Robust and Closest Targets:Integrating Full-Dimensional Efficient Facets for Risk-Resilient Benchmarking
Authors:
Xiuquan Huang,
Xi Wang,
Tao Zhang,
Xiaocang Xu,
Ali Emrouznejad
Abstract:
As the external environment become increasingly volatile and unpredictable, the selection of benchmarking targets in data envelopment analysis should account for their ability to consider risks; however, this aspect has not received sufficient attention. We propose a robust benchmarking target defined by the intersection of the maximum number of full-dimensional efficient facets, each representing…
▽ More
As the external environment become increasingly volatile and unpredictable, the selection of benchmarking targets in data envelopment analysis should account for their ability to consider risks; however, this aspect has not received sufficient attention. We propose a robust benchmarking target defined by the intersection of the maximum number of full-dimensional efficient facets, each representing a unique marginal substitution relationship. These targets can serve as robust projections for decision making units that are lacking prior risk information because they incorporate the maximum number of marginal substitution relationships. This enables decision makers to adjust their production through these relationships, thereby maximizing the likelihood of achieving globally optimal outcomes. Furthermore, we propose a novel, well-defined efficiency measure based on robust and closest targets. Finally, we demonstrate the application of the proposed measure using a dataset comprising 38 universities from China's 985 Project.
△ Less
Submitted 18 June, 2025; v1 submitted 9 May, 2025;
originally announced May 2025.
-
Tail distributions of cover times of once-reinforced random walks
Authors:
Xiangyu Huang,
Yong Liu,
Kainan Xiang
Abstract:
We consider the tail distribution of the edge cover time of a specific non-Markov process, $δ$ once-reinforced random walk, on finite connected graphs, whose transition probability is proportional to weights of edges. Here the weights are $1$ on edges not traversed and $δ\in(0,\infty)$ otherwise. In detail, we show that its tail distribution decays exponentially, and obtain a phase transition of t…
▽ More
We consider the tail distribution of the edge cover time of a specific non-Markov process, $δ$ once-reinforced random walk, on finite connected graphs, whose transition probability is proportional to weights of edges. Here the weights are $1$ on edges not traversed and $δ\in(0,\infty)$ otherwise. In detail, we show that its tail distribution decays exponentially, and obtain a phase transition of the exponential integrability of the edge cover time with critical exponent $α_c^1(δ)$, which has a variational representation and some interesting analytic properties including $α_c^1(0+)$ reflecting the graph structures.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Multi-Step Consistency Models: Fast Generation with Theoretical Guarantees
Authors:
Nishant Jain,
Xunpeng Huang,
Yian Ma,
Tong Zhang
Abstract:
Consistency models have recently emerged as a compelling alternative to traditional SDE-based diffusion models. They offer a significant acceleration in generation by producing high-quality samples in very few steps. Despite their empirical success, a proper theoretic justification for their speed-up is still lacking. In this work, we address the gap by providing a theoretical analysis of consiste…
▽ More
Consistency models have recently emerged as a compelling alternative to traditional SDE-based diffusion models. They offer a significant acceleration in generation by producing high-quality samples in very few steps. Despite their empirical success, a proper theoretic justification for their speed-up is still lacking. In this work, we address the gap by providing a theoretical analysis of consistency models capable of mapping inputs at a given time to arbitrary points along the reverse trajectory. We show that one can achieve a KL divergence of order $ O(\varepsilon^2) $ using only $ O\left(\log\left(\frac{d}{\varepsilon}\right)\right) $ iterations with a constant step size. Additionally, under minimal assumptions on the data distribution (non smooth case) an increasingly common setting in recent diffusion model analyses we show that a similar KL convergence guarantee can be obtained, with the number of steps scaling as $ O\left(d \log\left(\frac{d}{\varepsilon}\right)\right) $. Going further, we also provide a theoretical analysis for estimation of such consistency models, concluding that accurate learning is feasible using small discretization steps, both in smooth and non-smooth settings. Notably, our results for the non-smooth case yield best in class convergence rates compared to existing SDE or ODE based analyses under minimal assumptions.
△ Less
Submitted 25 May, 2025; v1 submitted 2 May, 2025;
originally announced May 2025.
-
Strichartz estimates for the Schrödinger equation on Zoll manifolds
Authors:
Xiaoqi Huang,
Christopher D. Sogge
Abstract:
We obtain optimal space-time estimates in $L^q_{t,x}$ spaces for all $q\ge 2$ for solutions to the Schrödinger equation on Zoll manifolds, including, in particular, the standard round sphere $S^d$. The proof relies on the arithmetic properties of the spectrum of the Laplacian on Zoll manifolds, as well as bilinear oscillatory integral estimates, which allow us to relate the problem to Strichartz e…
▽ More
We obtain optimal space-time estimates in $L^q_{t,x}$ spaces for all $q\ge 2$ for solutions to the Schrödinger equation on Zoll manifolds, including, in particular, the standard round sphere $S^d$. The proof relies on the arithmetic properties of the spectrum of the Laplacian on Zoll manifolds, as well as bilinear oscillatory integral estimates, which allow us to relate the problem to Strichartz estimate on one-dimensional tori.
△ Less
Submitted 1 May, 2025;
originally announced May 2025.
-
Six types of separable integer partitions
Authors:
Thomas Y. He,
Y. Hu,
H. X. Huang,
Y. X. Xie
Abstract:
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this atricle, we will investigate six types of partitions from the view of the point of separable integer partition classes.
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this atricle, we will investigate six types of partitions from the view of the point of separable integer partition classes.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Finite groups with few subgroups not in the Chermak-Delgado lattice
Authors:
Jiakuan Lu,
Xi Huang,
Qinwei Lian,
Wei Meng
Abstract:
For a finite group G, we denote by v(G) the number of conjugacy classes of subgroups of G not in CD(G). In this paper, we determine the finite groups G such that v(G)=1,2,3.
For a finite group G, we denote by v(G) the number of conjugacy classes of subgroups of G not in CD(G). In this paper, we determine the finite groups G such that v(G)=1,2,3.
△ Less
Submitted 19 April, 2025;
originally announced April 2025.
-
The frequent hypercyclicity of unbounded operator
Authors:
Xiongxun Huang,
Yonglu Shu
Abstract:
We establish two Frequent Hypercyclicity Criteria for unbounded operators, inspired by the frameworks of Bayart Grivaux and deLaubenfels Emamirad Grosse Erdmann. These criteria simplify the verification and construction of frequently hypercyclic operators.
We establish two Frequent Hypercyclicity Criteria for unbounded operators, inspired by the frameworks of Bayart Grivaux and deLaubenfels Emamirad Grosse Erdmann. These criteria simplify the verification and construction of frequently hypercyclic operators.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Lossless Strichartz and spectral projection estimates on unbounded manifolds
Authors:
Xiaoqi Huang,
Christopher D. Sogge,
Zhongkai Tao,
Zhexing Zhang
Abstract:
We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the…
▽ More
We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the first two authors for compact manifolds. We are able to use these along with known $L^2$-local smoothing and new $L^2 \to L^q$ half-localized resolvent estimates to obtain our lossless bounds.
△ Less
Submitted 14 April, 2025; v1 submitted 9 April, 2025;
originally announced April 2025.
-
New inequalities for the extended Euler-Poincaré theorem
Authors:
Xiongfeng Zhan,
Xueyi Huang
Abstract:
In 1988, Björner and Kalai [Acta Math. 161 (3--4) (1988) 279--303] extended the classic Euler-Poincaré theorem by introducing certain nonlinear relations between the $f$-vector and the Betti sequence of simplicial complexes. In this paper, we present an equivalent characterization of Björner and Kalai's nonlinear relations using a number-theoretic approach. Moreover, we strengthen a result of Björ…
▽ More
In 1988, Björner and Kalai [Acta Math. 161 (3--4) (1988) 279--303] extended the classic Euler-Poincaré theorem by introducing certain nonlinear relations between the $f$-vector and the Betti sequence of simplicial complexes. In this paper, we present an equivalent characterization of Björner and Kalai's nonlinear relations using a number-theoretic approach. Moreover, we strengthen a result of Björner and Kalai concerning the maximal element of Betti sequences with respect to a fixed $f$-vector and the minimal element of $f$-vectors with respect to a fixed Betti sequence.
△ Less
Submitted 24 April, 2025; v1 submitted 8 April, 2025;
originally announced April 2025.
-
Time-asymptotic stability of composite wave of viscous shocks and viscous contact wave for Navier-Stokes-Fourier equations
Authors:
Xushan Huang,
Hobin Lee
Abstract:
We investigate the nonlinear time-asymptotic stability of the composite wave consisting of two viscous shocks and a viscous contact discontinuity for the one-dimensional compressible Navier-Stokes-Fourier (NSF) equations. Specifically, we establish that if the composite wave strength and the perturbations are sufficiently small, the NSF system admits a unique global-in-time strong solution, which…
▽ More
We investigate the nonlinear time-asymptotic stability of the composite wave consisting of two viscous shocks and a viscous contact discontinuity for the one-dimensional compressible Navier-Stokes-Fourier (NSF) equations. Specifically, we establish that if the composite wave strength and the perturbations are sufficiently small, the NSF system admits a unique global-in-time strong solution, which converges uniformly in space as time tends to infinity, towards the corresponding composite wave, up to dynamical shifts in the positions of the two viscous shocks. Notably, the strengths of the two viscous shocks can be chosen independently. Our proof relies upon the $a$-contraction method with time-dependent shifts and suitable weight functions.
△ Less
Submitted 26 May, 2025; v1 submitted 4 April, 2025;
originally announced April 2025.
-
On critical maps of the horizontal energy functional between Riemannian foliations
Authors:
Tian Chong,
Yuxin Dong,
Xin Huang,
Hui Liu
Abstract:
In this paper, we consider critical points of the
horizontal energy $E_{\HH}(f)$ for a smooth map $f$ between two Riemannian
foliations. These critical points are referred to as horizontally harmonic
maps. In particular, if the maps are foliated, they become transversally
harmonic maps. By utilizing the stress-energy tensor, we establish some
monotonicity formulas for horizontally harmon…
▽ More
In this paper, we consider critical points of the
horizontal energy $E_{\HH}(f)$ for a smooth map $f$ between two Riemannian
foliations. These critical points are referred to as horizontally harmonic
maps. In particular, if the maps are foliated, they become transversally
harmonic maps. By utilizing the stress-energy tensor, we establish some
monotonicity formulas for horizontally harmonic maps from Euclidean spaces,
the quotients $K_{m}$ of Heisenberg groups and also for transversally
harmonic maps from Riemannian foliations with appropriate curvature pinching
conditions. Finally, we give Jin-type theorems for either horizontally
harmonic maps or transversally harmonic maps under some asymptotic
conditions at infinity.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Normalized vector solutions of nonlinear Schrödinger systems
Authors:
Xiaomeng Huang,
Angela Pistoia,
Christophe Troestler,
Chunhua Wang
Abstract:
Given $μ>0$ we look for solutions $ λ\in\mathbb{R}$ and $v_1,\dots,v_k\in H^1(\mathbb{R}^N)$ of the system \[ \begin{cases}
\displaystyle
-Δv_i+ λv_i+V_i(x)v_i
= \sum_{\substack{j=1}}^kβ_{ij} v_iv_j^2
&\text{ in } \mathbb{R}^N, \text{ } i=1,\dots,k,\newline
\displaystyle
\int_{\mathbb{R}^N} \left(v_1^2+\dots+v_k^2 \right)\mathrm{d} x = μ,
\end{cases}\] where $N=1,2,3$,…
▽ More
Given $μ>0$ we look for solutions $ λ\in\mathbb{R}$ and $v_1,\dots,v_k\in H^1(\mathbb{R}^N)$ of the system \[ \begin{cases}
\displaystyle
-Δv_i+ λv_i+V_i(x)v_i
= \sum_{\substack{j=1}}^kβ_{ij} v_iv_j^2
&\text{ in } \mathbb{R}^N, \text{ } i=1,\dots,k,\newline
\displaystyle
\int_{\mathbb{R}^N} \left(v_1^2+\dots+v_k^2 \right)\mathrm{d} x = μ,
\end{cases}\] where $N=1,2,3$, $V_i:\mathbb R^N\to \mathbb R$ and $β_{ij}\in\mathbb{R}$ satisfy $β_{ij}=β_{ji}$ and $β_{ii}>0$. Under suitable assumptions on the $β_{ij}$'s, given a non-degenerate critical point $ξ_0$ of a suitable linear combination of the potentials $V_i$, we build solutions whose components concentrate at $ξ_0$ as the prescribed global mass $μ$ is either large (when $N=1$) or small (when $N=3$) or it approaches some critical threshold (when $N=2$).
△ Less
Submitted 9 June, 2025; v1 submitted 27 March, 2025;
originally announced March 2025.
-
A New Design-Based Variance Estimator for Finely Stratified Experiments
Authors:
Yuehao Bai,
Xun Huang,
Joseph P. Romano,
Azeem M. Shaikh,
Max Tabord-Meehan
Abstract:
This paper considers the problem of design-based inference for the average treatment effect in finely stratified experiments. Here, by "design-based'' we mean that the only source of uncertainty stems from the randomness in treatment assignment; by "finely stratified'' we mean that units are stratified into groups of a fixed size according to baseline covariates and then, within each group, a fixe…
▽ More
This paper considers the problem of design-based inference for the average treatment effect in finely stratified experiments. Here, by "design-based'' we mean that the only source of uncertainty stems from the randomness in treatment assignment; by "finely stratified'' we mean that units are stratified into groups of a fixed size according to baseline covariates and then, within each group, a fixed number of units are assigned uniformly at random to treatment and the remainder to control. In this setting we present a novel estimator of the variance of the difference-in-means based on pairing "adjacent" strata. Importantly, our estimator is well defined even in the challenging setting where there is exactly one treated or control unit per stratum. We prove that our estimator is upward-biased, and thus can be used for inference under mild restrictions on the finite population. We compare our estimator with some well-known estimators that have been proposed previously in this setting, and demonstrate that, while these estimators are also upward-biased, our estimator has smaller bias and therefore leads to more precise inferences whenever adjacent strata are sufficiently similar. To further understand when our estimator leads to more precise inferences, we introduce a framework motivated by a thought experiment in which the finite population is modeled as having been drawn once in an i.i.d. fashion from a well-behaved probability distribution. In this framework, we argue that our estimator dominates the others in terms of limiting bias and that these improvements are strict except under strong restrictions on the treatment effects. Finally, we illustrate the practical relevance of our theoretical results through a simulation study, which reveals that our estimator can in fact lead to substantially more precise inferences, especially when the quality of stratification is high.
△ Less
Submitted 6 May, 2025; v1 submitted 13 March, 2025;
originally announced March 2025.
-
Numerical analysis of a semi-implicit Euler scheme for the Keller-Segel model
Authors:
Xueling Huang,
Olivier Goubet,
Jie Shen
Abstract:
We study the properties of a semi-implicit Euler scheme that is widely used in time discretization of Keller-Segel equations both in the parabolic-elliptic form and the parabolic-parabolic form. We prove that this linear, decoupled, first-order scheme preserves unconditionally the important properties of Keller-Segel equations at the semi-discrete level, including the mass conservation and positiv…
▽ More
We study the properties of a semi-implicit Euler scheme that is widely used in time discretization of Keller-Segel equations both in the parabolic-elliptic form and the parabolic-parabolic form. We prove that this linear, decoupled, first-order scheme preserves unconditionally the important properties of Keller-Segel equations at the semi-discrete level, including the mass conservation and positivity preserving of the cell density, and the energy dissipation. We also establish optimal error estimates in $L^p$-norm $(1<p<\infty)$.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Normal conformal metrics with prescribed $Q$-Curvature in $\mathbb{R}^{2n}$
Authors:
Xia Huang,
Dong Ye,
Feng Zhou
Abstract:
We consider the $Q$-curvature equation \begin{equation}\label{0.1} (-Δ)^n u = K(x)e^{2nu}\quad\text{in} ~\mathbb{R}^{2n} \ (n \geq 2) \end{equation} where $K$ is a given non constant continuous function. Under mild growth control on $K$, we get a necessary condition on the total curvature $Λ_u$ for any normal conformal metric $g_u = e^{2u}|dx|^2$ satisfying $Q_{g_u} = K$ in $\mathbb{R}^{2n}$, or e…
▽ More
We consider the $Q$-curvature equation \begin{equation}\label{0.1} (-Δ)^n u = K(x)e^{2nu}\quad\text{in} ~\mathbb{R}^{2n} \ (n \geq 2) \end{equation} where $K$ is a given non constant continuous function. Under mild growth control on $K$, we get a necessary condition on the total curvature $Λ_u$ for any normal conformal metric $g_u = e^{2u}|dx|^2$ satisfying $Q_{g_u} = K$ in $\mathbb{R}^{2n}$, or equivalently, solutions to equation with logarithmic growth at infinity. Inversely, when $K$ is nonpositive satisfying polynomial growth control, we show the existence of normal conformal metrics with quasi optimal range of total curvature and precise asymptotic behavior at infinity. If furthermore $K$ is radial symmetric, we establish the same existence result without any growth assumption on $K$.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Fractional revival on quasi-abelian Cayley graphs
Authors:
Yi Fang,
Xueyi Huang,
Xiaogang Liu,
Xiongfeng Zhan
Abstract:
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley gr…
▽ More
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley graphs to have fractional revival. This extends a result of Cao and Luo (2022) on the existence of fractional revival in Cayley graphs over abelian groups.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
Learning Euler Factors of Elliptic Curves
Authors:
Angelica Babei,
François Charton,
Edgar Costa,
Xiaoyu Huang,
Kyu-Hwan Lee,
David Lowry-Duda,
Ashvni Narayanan,
Alexey Pozdnyakov
Abstract:
We apply transformer models and feedforward neural networks to predict Frobenius traces $a_p$ from elliptic curves given other traces $a_q$. We train further models to predict $a_p \bmod 2$ from $a_q \bmod 2$, and cross-analysis such as $a_p \bmod 2$ from $a_q$. Our experiments reveal that these models achieve high accuracy, even in the absence of explicit number-theoretic tools like functional eq…
▽ More
We apply transformer models and feedforward neural networks to predict Frobenius traces $a_p$ from elliptic curves given other traces $a_q$. We train further models to predict $a_p \bmod 2$ from $a_q \bmod 2$, and cross-analysis such as $a_p \bmod 2$ from $a_q$. Our experiments reveal that these models achieve high accuracy, even in the absence of explicit number-theoretic tools like functional equations of $L$-functions. We also present partial interpretability findings.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Interpolating chromatic and homomorphism thresholds
Authors:
Xinqi Huang,
Hong Liu,
Mingyuan Rong,
Zixiang Xu
Abstract:
The problem of chromatic thresholds seeks for minimum degree conditions that ensure $H$-free graphs to have a bounded chromatic number, or equivalently a bounded size homomorphic image. The strengthened homomorphism thresholds problem further requires that the homomorphic image itself is $H$-free. The purpose of this paper is two-fold. First, we define a generalized notion of threshold which encap…
▽ More
The problem of chromatic thresholds seeks for minimum degree conditions that ensure $H$-free graphs to have a bounded chromatic number, or equivalently a bounded size homomorphic image. The strengthened homomorphism thresholds problem further requires that the homomorphic image itself is $H$-free. The purpose of this paper is two-fold. First, we define a generalized notion of threshold which encapsulates and interpolates chromatic and homomorphism thresholds via the theory of VC-dimension. Our first result shows a smooth transition between these two thresholds when varying the restrictions on homomorphic images. In particular, we proved that for $t \ge s \ge 3$ and $ε>0$, if $G$ is an $n$-vertex $K_s$-free graph with VC-dimension $d$ and $δ(G) \ge (\frac{(s-3)(t-s+2)+1}{(s-2)(t-s+2)+1} + ε)n$, then $G$ is homomorphic to a $K_t$-free graph $H$ with $|H| = O(1)$. Moreover, we construct graphs showing that this minimum degree condition is optimal. This extends and unifies the results of Thomassen, Łuczak and Thomassé, and Goddard, Lyle and Nikiforov, and provides a deeper insight into the cause of existences of homomorphic images with various properties.
Second, we introduce the blowup threshold $δ_B(H)$ as the infimum $α$ such that every $n$-vertex maximal $H$-free graph $G$ with $δ(G)\geαn$ is a blowup of some $F$ with $|F|=O(1)$. This notion strengthens homomorphism threshold. While the homomorphism thresholds for odd cycles remain unknown, we prove that $δ_B(C_{2k-1})=1/(2k-1)$ for any integer $k\ge 2$. This strengthens the result of Ebsen and Schacht and answers a question of Schacht and shows that, in sharp contrast to the chromatic thresholds, 0 is an accumulation point for blowup thresholds. Our proofs mix tools from VC-dimension theory and an iterative refining process, and draw connection to a problem concerning codes on graphs.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Nonnegative Ricci Curvature, Euclidean Volume Growth, and the Fundamental Groups of Open $4$-Manifolds
Authors:
Hongzhi Huang,
Xian-Tao Huang
Abstract:
Let $M$ be a 4-dimensional open manifold with nonnegative Ricci curvature. In this paper, we prove that if the universal cover of $M$ has Euclidean volume growth, then the fundamental group $π_1(M)$ is finitely generated. This result confirms Pan-Rong's conjecture \cite{PR18} for dimension $n = 4$. Additionally, we prove that there exists a universal constant $C>0$ such that $π_1(M)$ contains an a…
▽ More
Let $M$ be a 4-dimensional open manifold with nonnegative Ricci curvature. In this paper, we prove that if the universal cover of $M$ has Euclidean volume growth, then the fundamental group $π_1(M)$ is finitely generated. This result confirms Pan-Rong's conjecture \cite{PR18} for dimension $n = 4$. Additionally, we prove that there exists a universal constant $C>0$ such that $π_1(M)$ contains an abelian subgroup of index $\le C$. More specifically, if $π_1(M)$ is infinite, then $π_1(M)$ is a crystallographic group of rank $\le 3$. If $π_1(M)$ is finite, then $π_1(M)$ is isomorphic to a quotient of the fundamental group of a spherical 3-manifold.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
A Discontinuous Galerkin Method for H(curl)-Elliptic Hemivariational Inequalities
Authors:
Xiajie Huang,
Fei Wang,
Weimin Han,
Min Ling
Abstract:
In this paper, we develop a Discontinuous Galerkin (DG) method for solving H(curl)-elliptic hemivariational inequalities. By selecting an appropriate numerical flux, we construct an Interior Penalty Discontinuous Galerkin (IPDG) scheme. A comprehensive numerical analysis of the IPDG method is conducted, addressing key aspects such as consistency, boundedness, stability, and the existence, uniquene…
▽ More
In this paper, we develop a Discontinuous Galerkin (DG) method for solving H(curl)-elliptic hemivariational inequalities. By selecting an appropriate numerical flux, we construct an Interior Penalty Discontinuous Galerkin (IPDG) scheme. A comprehensive numerical analysis of the IPDG method is conducted, addressing key aspects such as consistency, boundedness, stability, and the existence, uniqueness, uniform boundedness of the numerical solutions. Building on these properties, we establish a priori error estimates, demonstrating the optimal convergence order of the numerical solutions under suitable solution regularity assumptions. Finally, a numerical example is presented to illustrate the theoretically predicted convergence order and to show the effectiveness of the proposed method.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Log-Sobolev Inequality for Decoupled and McKean-Vlasov SDEs and Application on Exponential Ergodicity
Authors:
Xing Huang,
Eva Kopfer,
Panpan Ren
Abstract:
The exponential ergodicity in the \( L^1 \)-Wasserstein distance for partially dissipative McKean-Vlasov SDEs has been extensively studied. However, the question of exponential ergodicity in the \( L^2 \)-Wasserstein distance and relative entropy has remained unresolved. This paper addresses the problem by establishing the log-Sobolev inequality for both the time-marginal distributions and the inv…
▽ More
The exponential ergodicity in the \( L^1 \)-Wasserstein distance for partially dissipative McKean-Vlasov SDEs has been extensively studied. However, the question of exponential ergodicity in the \( L^2 \)-Wasserstein distance and relative entropy has remained unresolved. This paper addresses the problem by establishing the log-Sobolev inequality for both the time-marginal distributions and the invariant probability measure, providing a positive resolution. As part of the groundwork, the log-Sobolev inequality is investigated for the associated time-inhomogeneous semigroup. The main results are further extended to degenerate diffusion.
△ Less
Submitted 9 June, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
Separable overpartition classes and the $r$-chain excludant sizes of an overpartition
Authors:
Y. H. Chen,
Thomas Y. He,
H. X. Huang,
X. Zhang
Abstract:
An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we will investigate two contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are two types of separable overpartition…
▽ More
An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we will investigate two contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are two types of separable overpartition classes.
△ Less
Submitted 6 April, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
Robust and Optimal Mixed Methods for a Fourth-Order Elliptic Singular Perturbation Problem
Authors:
Xuehai Huang,
Zheqian Tang
Abstract:
A series of robust and optimal mixed methods based on two mixed formulations of the fourth-order elliptic singular perturbation problem are developed in this paper. First, a mixed method based on a second-order system is proposed without relying on Nitsche's technique. Robust and optimal error estimates are derived using an $L^2$-bounded interpolation operator for tensors. Then, its connections to…
▽ More
A series of robust and optimal mixed methods based on two mixed formulations of the fourth-order elliptic singular perturbation problem are developed in this paper. First, a mixed method based on a second-order system is proposed without relying on Nitsche's technique. Robust and optimal error estimates are derived using an $L^2$-bounded interpolation operator for tensors. Then, its connections to other discrete methods, including weak Galerkin methods and a mixed finite element method based on a first-order system, are established. Finally, numerical experiments are provided to validate the theoretical results.
△ Less
Submitted 19 May, 2025; v1 submitted 21 January, 2025;
originally announced January 2025.
-
On stability of exponentially subelliptic harmonic maps
Authors:
Xin Huang
Abstract:
In this paper, we study the stability problem of exponentially subelliptic harmonic maps from sub-Riemannian manifolds to Riemannian manifolds. We derive the rst and second variation formulas for exponentially subelliptic harmonic maps, and apply these formulas to prove that if the target manifold has nonpositive curvature, the exponentially subelliptic harmonic map is stable. Further, we obtain t…
▽ More
In this paper, we study the stability problem of exponentially subelliptic harmonic maps from sub-Riemannian manifolds to Riemannian manifolds. We derive the rst and second variation formulas for exponentially subelliptic harmonic maps, and apply these formulas to prove that if the target manifold has nonpositive curvature, the exponentially subelliptic harmonic map is stable. Further, we obtain the instability of exponentially subelliptic harmonic maps when the target manifold is a sphere.
△ Less
Submitted 18 January, 2025;
originally announced January 2025.
-
Large genus asymptotics of super Weil-Petersson volumes
Authors:
Xuanyu Huang
Abstract:
In this paper, we obtain the asymptotic expansions of super intersection numbers and prove that the associated coefficients are polynomials. Moreover, we give an algorithm which can explicitly compute these coefficients. As an application, we prove the existence of a complete asymptotic expansion of super Weil-Petersson volumes in the large genus. This generalizes the celebrated work of Mirzakhani…
▽ More
In this paper, we obtain the asymptotic expansions of super intersection numbers and prove that the associated coefficients are polynomials. Moreover, we give an algorithm which can explicitly compute these coefficients. As an application, we prove the existence of a complete asymptotic expansion of super Weil-Petersson volumes in the large genus. This generalizes the celebrated work of Mirzakhani-Zograf. We also confirm two conjectural formulae proposed by Griguolo-Papalini-Russo-Seminara.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Asymptotic coefficients of Weil-Petersson volumes in the large genus
Authors:
Xuanyu Huang
Abstract:
Mirzakhani-Zograf proved the large genus asymptotic expansions of Weil-Petersson volumes and showed that the asymptotic coefficients are polynomials in $\mathbb Q[π^{-2},π^2]$. They also conjectured that these are actually polynomials in $\mathbb Q[π^{-2}]$. In this paper, we prove Mirzakhani-Zograf's conjecture.
Mirzakhani-Zograf proved the large genus asymptotic expansions of Weil-Petersson volumes and showed that the asymptotic coefficients are polynomials in $\mathbb Q[π^{-2},π^2]$. They also conjectured that these are actually polynomials in $\mathbb Q[π^{-2}]$. In this paper, we prove Mirzakhani-Zograf's conjecture.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Higher Weil-Petersson volumes of the moduli space of super Riemann surfaces
Authors:
Xuanyu Huang,
Kefeng Liu,
Hao Xu
Abstract:
Inspired by the theory of JT supergravity, Stanford-Witten derived a remarkable recursion formula of Weil-Petersson volumes of moduli space of super Riemann surfaces. It is the super version of the celebrated Mirzakhani's recursion formula. In this paper, we generalize Stanford-Witten's formula to include high degree kappa classes.
Inspired by the theory of JT supergravity, Stanford-Witten derived a remarkable recursion formula of Weil-Petersson volumes of moduli space of super Riemann surfaces. It is the super version of the celebrated Mirzakhani's recursion formula. In this paper, we generalize Stanford-Witten's formula to include high degree kappa classes.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Hybridizable Symmetric Stress Elements on the Barycentric Refinement in Arbitrary Dimensions
Authors:
Long Chen,
Xuehai Huang
Abstract:
Hybridizable \(H(\textrm{div})\)-conforming finite elements for symmetric tensors on simplices with barycentric refinement are developed in this work for arbitrary dimensions and any polynomial order. By employing barycentric refinement and an intrinsic tangential-normal (\(t\)-\(n\)) decomposition, novel basis functions are constructed to redistribute degrees of freedom while preserving \(H(\text…
▽ More
Hybridizable \(H(\textrm{div})\)-conforming finite elements for symmetric tensors on simplices with barycentric refinement are developed in this work for arbitrary dimensions and any polynomial order. By employing barycentric refinement and an intrinsic tangential-normal (\(t\)-\(n\)) decomposition, novel basis functions are constructed to redistribute degrees of freedom while preserving \(H(\textrm{div})\)-conformity and symmetry, and ensuring inf-sup stability. These hybridizable elements enhance computational flexibility and efficiency, with applications to mixed finite element methods for linear elasticity.
△ Less
Submitted 5 January, 2025;
originally announced January 2025.
-
On solvmanifolds with complex commutator and constant holomorphic sectional curvature
Authors:
Xin Huang,
Fangyang Zheng
Abstract:
An old open question in non-Kähler geometry predicts that any compact Hermitian manifold with constant holomorphic sectional curvature must be Kähler or Chern flat. The conjecture is known to be true in dimension $2$ due to the work by Balas-Gauduchon and Apostolov-Davidov-Muskarov in the 1980s and 1990s, but is still open in dimensions $3$ or higher, except in several special cases. The difficult…
▽ More
An old open question in non-Kähler geometry predicts that any compact Hermitian manifold with constant holomorphic sectional curvature must be Kähler or Chern flat. The conjecture is known to be true in dimension $2$ due to the work by Balas-Gauduchon and Apostolov-Davidov-Muskarov in the 1980s and 1990s, but is still open in dimensions $3$ or higher, except in several special cases. The difficulty in this quest for `Hermitian space forms' is largely due to the algebraic complicity or lack of symmetry for the curvature tensor of a general Hermitian metric. In this article, we confirm the conjecture for all solvmanifolds with complex commutator, extending earlier result on nilmanifolds by Li and the second named author.
△ Less
Submitted 1 January, 2025;
originally announced January 2025.
-
Parity considerations in the number of overlined parts and non-overlined parts
Authors:
Thomas Y. He,
H. X. Huang,
Y. X. Xie
Abstract:
Recently, Chen, He, Hu and Xie considered the number of non-overlined (resp. overlined) parts of size greater than or equal to the size of the smallest overlined (resp. non-overlined) part in an overpartition. In this article, we will study the remaining four cases. Furthermore, we will investigate the number of non-overlined (resp. overlined) parts of size less than or equal to the size of the la…
▽ More
Recently, Chen, He, Hu and Xie considered the number of non-overlined (resp. overlined) parts of size greater than or equal to the size of the smallest overlined (resp. non-overlined) part in an overpartition. In this article, we will study the remaining four cases. Furthermore, we will investigate the number of non-overlined (resp. overlined) parts of size less than or equal to the size of the largest overlined (resp. non-overlined) part in an overpartition.
△ Less
Submitted 18 June, 2025; v1 submitted 28 December, 2024;
originally announced December 2024.
-
A robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate model
Authors:
Mingqing Chen,
Jianguo Huang,
Xuehai Huang
Abstract:
This paper is devoted to proposing and analyzing a robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate (GEKP) model over a convex polygon. The numerical method is obtained by combining the triangular Hermite element and a $C^0$ interior penalty method, which can avoid the use of higher order shape functions or macroelements. Next, a robust regularity estimate is established…
▽ More
This paper is devoted to proposing and analyzing a robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate (GEKP) model over a convex polygon. The numerical method is obtained by combining the triangular Hermite element and a $C^0$ interior penalty method, which can avoid the use of higher order shape functions or macroelements. Next, a robust regularity estimate is established for the GEKP model based on our earlier result for a triharmonic equation on a convex polygon. Furthermore, some local lower bound estimates of the a posteriori error analysis are established. These together with an enriching operator and its error estimates lead to a Céa-like lemma. Thereby, the optimal error estimates are achieved, which are also robust with respect to the small size parameter. In addition, it is proved that this numerical method is convergent without any additional regularity assumption for the exact solution. Some numerical experiments are performed to verify the theoretical findings.
△ Less
Submitted 26 December, 2024;
originally announced December 2024.
-
Machine Learning Approaches to the Shafarevich-Tate Group of Elliptic Curves
Authors:
Angelica Babei,
Barinder S. Banwait,
AJ Fong,
Xiaoyu Huang,
Deependra Singh
Abstract:
We train machine learning models to predict the order of the Shafarevich-Tate group of an elliptic curve over $\mathbb{Q}$. Building on earlier work of He, Lee, and Oliver, we show that a feed-forward neural network classifier trained on subsets of the invariants arising in the Birch--Swinnerton-Dyer conjectural formula yields higher accuracies ($> 0.9$) than any model previously studied. In addit…
▽ More
We train machine learning models to predict the order of the Shafarevich-Tate group of an elliptic curve over $\mathbb{Q}$. Building on earlier work of He, Lee, and Oliver, we show that a feed-forward neural network classifier trained on subsets of the invariants arising in the Birch--Swinnerton-Dyer conjectural formula yields higher accuracies ($> 0.9$) than any model previously studied. In addition, we develop a regression model that may be used to predict orders of this group not seen during training and apply this to the elliptic curve of rank 29 recently discovered by Elkies and Klagsbrun. Finally we conduct some exploratory data analyses and visualizations on our dataset. We use the elliptic curve dataset from the L-functions and modular forms database (LMFDB).
△ Less
Submitted 28 December, 2024; v1 submitted 24 December, 2024;
originally announced December 2024.
-
An Extension of Pólya's Enumeration Theorem
Authors:
Xiongfeng Zhan,
Xueyi Huang
Abstract:
In combinatorics, Pólya's Enumeration Theorem is a powerful tool for solving a wide range of counting problems, including the enumeration of groups, graphs, and chemical compounds. In this paper, we present an extension of Pólya's Enumeration Theorem. As an application, we derive a formula that expresses the $n$-th elementary symmetric polynomial in $m$ indeterminates (where $n\leq m$) as a varian…
▽ More
In combinatorics, Pólya's Enumeration Theorem is a powerful tool for solving a wide range of counting problems, including the enumeration of groups, graphs, and chemical compounds. In this paper, we present an extension of Pólya's Enumeration Theorem. As an application, we derive a formula that expresses the $n$-th elementary symmetric polynomial in $m$ indeterminates (where $n\leq m$) as a variant of the cycle index polynomial of the symmetric group $\mathrm{Sym}(n)$. This result resolves a problem posed by Amdeberhan in 2012.
△ Less
Submitted 13 February, 2025; v1 submitted 16 December, 2024;
originally announced December 2024.
-
Critical first passage percolation on random graphs
Authors:
Shankar Bhamidi,
Rick Durrett,
Xiangying Huang
Abstract:
In 1999, Zhang proved that, for first passage percolation on the square lattice $\mathbb{Z}^2$ with i.i.d. non-negative edge weights, if the probability that the passage time distribution of an edge $P(t_e = 0) =1/2 $, the critical value for bond percolation on $\mathbb{Z}^2$, then the passage time from the origin $0$ to the boundary of $[-n,n]^2$ may converge to $\infty$ or stay bounded depending…
▽ More
In 1999, Zhang proved that, for first passage percolation on the square lattice $\mathbb{Z}^2$ with i.i.d. non-negative edge weights, if the probability that the passage time distribution of an edge $P(t_e = 0) =1/2 $, the critical value for bond percolation on $\mathbb{Z}^2$, then the passage time from the origin $0$ to the boundary of $[-n,n]^2$ may converge to $\infty$ or stay bounded depending on the nature of the distribution of $t_e$ close to zero. In 2017, Damron, Lam, and Wang gave an easily checkable necessary and sufficient condition for the passage time to remain bounded. Concurrently, there has been tremendous growth in the study of weak and strong disorder on random graph models. Standard first passage percolation with strictly positive edge weights provides insight in the weak disorder regime. Critical percolation on such graphs provides information on the strong disorder (namely the minimal spanning tree) regime.
Here we consider the analogous problem of Zhang but now for a sequence of random graphs $\{G_n:n\geq 1\}$ generated by a supercritical configuration model with a fixed degree distribution. Let $p_c$ denote the associated critical percolation parameter, and suppose each edge $e\in E(G_n)$ has weight $t_e \sim p_c δ_0 +(1-p_c)δ_{F_ζ}$ where $F_ζ$ is the cdf of a random variable $ζ$ supported on $(0,\infty)$. The main question of interest is: when does the passage time between two randomly chosen vertices have a limit in distribution in the large network $n\to \infty$ limit? There are interesting similarities between the answers on $\mathbb{Z}^2$ and on random graphs, but it is easier for the passage times on random graphs to stay bounded.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
On stable equivalences with endopermutation source and Külshammer--Puig classes
Authors:
Xin Huang
Abstract:
We give a new proof, by using the terminology and notation in the textbook \cite{Lin18b}, to a result, due to Puig, stating that a stable equivalence of Morita type between two block algebras of finite groups induced by a bimodule with an endopermutation source preserves Külshammer--Puig classes.
We give a new proof, by using the terminology and notation in the textbook \cite{Lin18b}, to a result, due to Puig, stating that a stable equivalence of Morita type between two block algebras of finite groups induced by a bimodule with an endopermutation source preserves Külshammer--Puig classes.
△ Less
Submitted 29 November, 2024;
originally announced November 2024.
-
SPARKLE: A Unified Single-Loop Primal-Dual Framework for Decentralized Bilevel Optimization
Authors:
Shuchen Zhu,
Boao Kong,
Songtao Lu,
Xinmeng Huang,
Kun Yuan
Abstract:
This paper studies decentralized bilevel optimization, in which multiple agents collaborate to solve problems involving nested optimization structures with neighborhood communications. Most existing literature primarily utilizes gradient tracking to mitigate the influence of data heterogeneity, without exploring other well-known heterogeneity-correction techniques such as EXTRA or Exact Diffusion.…
▽ More
This paper studies decentralized bilevel optimization, in which multiple agents collaborate to solve problems involving nested optimization structures with neighborhood communications. Most existing literature primarily utilizes gradient tracking to mitigate the influence of data heterogeneity, without exploring other well-known heterogeneity-correction techniques such as EXTRA or Exact Diffusion. Additionally, these studies often employ identical decentralized strategies for both upper- and lower-level problems, neglecting to leverage distinct mechanisms across different levels. To address these limitations, this paper proposes SPARKLE, a unified Single-loop Primal-dual AlgoRithm frameworK for decentraLized bilEvel optimization. SPARKLE offers the flexibility to incorporate various heterogeneitycorrection strategies into the algorithm. Moreover, SPARKLE allows for different strategies to solve upper- and lower-level problems. We present a unified convergence analysis for SPARKLE, applicable to all its variants, with state-of-the-art convergence rates compared to existing decentralized bilevel algorithms. Our results further reveal that EXTRA and Exact Diffusion are more suitable for decentralized bilevel optimization, and using mixed strategies in bilevel algorithms brings more benefits than relying solely on gradient tracking.
△ Less
Submitted 17 December, 2024; v1 submitted 21 November, 2024;
originally announced November 2024.
-
Exponential Ergodicity in $\W_1$ for SDEs with Distribution Dependent Noise and Partially Dissipative Drifts
Authors:
Xing Huang,
Huaiqian Li,
Liying Mu
Abstract:
Being concerned with ergodicity of McKean--Vlasov SDEs, we establish a general result on exponential ergodicity in the $L^1$-Wasserstein distance. The result is successfully applied to non-degenerate and multiplicative Brownian motion cases, degenerate second order systems, and even the additive $α$-stable noise, where the coefficients before the noise are allowed to be distribution dependent and…
▽ More
Being concerned with ergodicity of McKean--Vlasov SDEs, we establish a general result on exponential ergodicity in the $L^1$-Wasserstein distance. The result is successfully applied to non-degenerate and multiplicative Brownian motion cases, degenerate second order systems, and even the additive $α$-stable noise, where the coefficients before the noise are allowed to be distribution dependent and the drifts are only assumed to be partially dissipative. Our results considerably improve existing ones whose coefficients before the noise are distribution-free.
△ Less
Submitted 22 January, 2025; v1 submitted 21 November, 2024;
originally announced November 2024.
-
On sharp anisotropic Hardy inequalities
Authors:
Xia Huang,
Dong Ye
Abstract:
Recently, Yanyan Li and Xukai Yan showed the following interesting Hardy inequalities with anisotropic weights: Let $n\geq 2$, $p \geq 1$, $pα> 1-n$, $p(α+ β)> -n$, then there exists $C > 0$ such that $$\||x|^β|x'|^{α+1} \nabla u\|_{L^p(\mathbb{R}^n)} \geq C\||x|^β|x'|^αu\|_{L^p(\mathbb{R}^n)}, \quad \forall\; u\in C_c^1(\mathbb{R}^n).$$ Here $x' = (x_1,\ldots, x_{n-1}, 0)$ for…
▽ More
Recently, Yanyan Li and Xukai Yan showed the following interesting Hardy inequalities with anisotropic weights: Let $n\geq 2$, $p \geq 1$, $pα> 1-n$, $p(α+ β)> -n$, then there exists $C > 0$ such that $$\||x|^β|x'|^{α+1} \nabla u\|_{L^p(\mathbb{R}^n)} \geq C\||x|^β|x'|^αu\|_{L^p(\mathbb{R}^n)}, \quad \forall\; u\in C_c^1(\mathbb{R}^n).$$ Here $x' = (x_1,\ldots, x_{n-1}, 0)$ for $x = (x_i) \in \mathbb{R}^n$. In this note, we will determine the best constant for the above estimate when $p=2$ or $β\geq 0$. Moreover, as refinement for very special case of Li-Yan's result in Adv. Math. 2023, we provide explicit estimate for the anisotropic $L^p$-Caffarelli-Kohn-Nirenberg inequality.
△ Less
Submitted 10 March, 2025; v1 submitted 19 November, 2024;
originally announced November 2024.
-
Coupling Methods and Applications on Path Dependent McKean-Vlasov SDEs
Authors:
Xing Huang,
Xiaochen Ma
Abstract:
By using coupling by change of conditional probability measure, the log-Harnack inequality for path dependent McKean-Vlasov SDEs with distribution dependent diffusion coefficients is established, which together with the exponential contractivity in $L^2$-Wasserstein distance yields the exponential contractivity in entropy-cost under the uniformly dissipative condition. When the coefficients are on…
▽ More
By using coupling by change of conditional probability measure, the log-Harnack inequality for path dependent McKean-Vlasov SDEs with distribution dependent diffusion coefficients is established, which together with the exponential contractivity in $L^2$-Wasserstein distance yields the exponential contractivity in entropy-cost under the uniformly dissipative condition. When the coefficients are only partially dissipative, the exponential contractivity in $L^1$-Wasserstein distance is also derived in the aid of asymptotic reflection coupling, which is new even in the distribution independent case. In addition, the uniform in time propagation of chaos in $L^1$- Wasserstein distance is also obtained for path dependent mean field interacting particle system.
△ Less
Submitted 9 December, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
Global weak solutions with higher regularity to the compressible Navier-Stokes equations under Dirichlet boundary conditions
Authors:
Xiangdi Huang,
Zhouping Xin,
Wei Yan
Abstract:
In this manuscript, we aim to establish global existence of weak solutions with higher regularity to the compressible Navier-Stokes equations under no-slip boundary conditions. Though Lions\cite{L1} and Feireisl\cite{F1} have established global weak solutions with finite energy under Dirichelet boundary conditions by making use of so called effective viscous flux and oscillation defect measure,Hof…
▽ More
In this manuscript, we aim to establish global existence of weak solutions with higher regularity to the compressible Navier-Stokes equations under no-slip boundary conditions. Though Lions\cite{L1} and Feireisl\cite{F1} have established global weak solutions with finite energy under Dirichelet boundary conditions by making use of so called effective viscous flux and oscillation defect measure,Hoff has investigated global weak solutions with higher regularity in \cite{H1,Hof2} when the domain is either whole space or half space with Navier-slip boundary conditions, yet the existence theory of global weak solution with higher regularity under Dirichlet boundary conditions remains unknown. In this paper we prove that the system will admit at least one global weak solutions with higher regularity as long as the initial energy is suitably small when the domain is a 2D solid disc. This is achieved by exploiting the structure of the exact Green function of the disc to decompose the effective viscous flux into three parts, which corresponds to the pressure term, boundary term and the remaining term respectively. In order to control the boundary term, one of the key observations is to use the geometry of the domain which sucessfully to bound the integral of the effective viscous flux where $L^1$ norm is always unbounded.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
A Primal Staggered Discontinuous Galerkin Method on Polytopal Meshes
Authors:
L. Chen,
X. Huang,
E. Park,
R. Wang
Abstract:
This paper introduces a novel staggered discontinuous Galerkin (SDG) method tailored for solving elliptic equations on polytopal meshes. Our approach utilizes a primal-dual grid framework to ensure local conservation of fluxes, significantly improving stability and accuracy. The method is hybridizable and reduces the degrees of freedom compared to existing approaches. It also bridges connections t…
▽ More
This paper introduces a novel staggered discontinuous Galerkin (SDG) method tailored for solving elliptic equations on polytopal meshes. Our approach utilizes a primal-dual grid framework to ensure local conservation of fluxes, significantly improving stability and accuracy. The method is hybridizable and reduces the degrees of freedom compared to existing approaches. It also bridges connections to other numerical methods on polytopal meshes. Numerical experiments validate the method's optimal convergence rates and computational efficiency.
△ Less
Submitted 31 October, 2024;
originally announced October 2024.
-
Focal-free uniform hypergraphs and codes
Authors:
Xinqi Huang,
Chong Shangguan,
Xiande Zhang,
Yuhao Zhao
Abstract:
Motivated by the study of a variant of sunflowers, Alon and Holzman recently introduced focal-free hypergraphs. In this paper, we show that there is an interesting connection between the maximum size of focal-free hypergraphs and the renowned Erdős Matching Conjecture on the maximum number of edges that can be contained in a uniform hypergraph with bounded matching number. As a consequence, we giv…
▽ More
Motivated by the study of a variant of sunflowers, Alon and Holzman recently introduced focal-free hypergraphs. In this paper, we show that there is an interesting connection between the maximum size of focal-free hypergraphs and the renowned Erdős Matching Conjecture on the maximum number of edges that can be contained in a uniform hypergraph with bounded matching number. As a consequence, we give asymptotically optimal bounds on the maximum sizes of focal-free uniform hypergraphs and codes, thereby significantly improving the previous results of Alon and Holzman. Moreover, by using the existentce results of combinatorial designs and orthogonal arrays, we are able to explicitly determine the exact sizes of maximum focal-free uniform hypergraphs and codes for a wide range of parameters.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
Tangential-Normal Decompositions of Finite Element Differential Forms
Authors:
Long Chen,
Xuehai Huang
Abstract:
The paper introduces a novel tangential-normal ($t$-$n$) decomposition for finite element differential forms. Its main contribution is the development of a $t$-$n$ basis where the degrees of freedom and shape functions are explicitly dual to each other. This duality simplifies the assembly of stiffness matrices and enhances the efficiency of interpolation and numerical integration in finite elemen…
▽ More
The paper introduces a novel tangential-normal ($t$-$n$) decomposition for finite element differential forms. Its main contribution is the development of a $t$-$n$ basis where the degrees of freedom and shape functions are explicitly dual to each other. This duality simplifies the assembly of stiffness matrices and enhances the efficiency of interpolation and numerical integration in finite element methods. Additionally, the well-documented Lagrange element basis can be used to expedite implementation. This paper focuses on the full polynomial spaces, excluding trimmed polynomial differential forms, and provides a new perspective on constructing finite element differential forms.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Theoretical Insights into Line Graph Transformation on Graph Learning
Authors:
Fan Yang,
Xingyue Huang
Abstract:
Line graph transformation has been widely studied in graph theory, where each node in a line graph corresponds to an edge in the original graph. This has inspired a series of graph neural networks (GNNs) applied to transformed line graphs, which have proven effective in various graph representation learning tasks. However, there is limited theoretical study on how line graph transformation affects…
▽ More
Line graph transformation has been widely studied in graph theory, where each node in a line graph corresponds to an edge in the original graph. This has inspired a series of graph neural networks (GNNs) applied to transformed line graphs, which have proven effective in various graph representation learning tasks. However, there is limited theoretical study on how line graph transformation affects the expressivity of GNN models. In this study, we focus on two types of graphs known to be challenging to the Weisfeiler-Leman (WL) tests: Cai-Fürer-Immerman (CFI) graphs and strongly regular graphs, and show that applying line graph transformation helps exclude these challenging graph properties, thus potentially assist WL tests in distinguishing these graphs. We empirically validate our findings by conducting a series of experiments that compare the accuracy and efficiency of graph isomorphism tests and GNNs on both line-transformed and original graphs across these graph structure types.
△ Less
Submitted 20 March, 2025; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Decoupled finite element methods for a fourth-order exterior differential equation
Authors:
Xuewei Cui,
Xuehai Huang
Abstract:
This paper proposes novel decoupled finite element methods for a fourth-order exterior differential equation. Based on differential complexes and the Helmholtz decomposition, the fourth-order exterior differential equation is decomposed into two second-order exterior differential equations and one generalized Stokes equation. A key advantage of this decoupled formulation is that it avoids the use…
▽ More
This paper proposes novel decoupled finite element methods for a fourth-order exterior differential equation. Based on differential complexes and the Helmholtz decomposition, the fourth-order exterior differential equation is decomposed into two second-order exterior differential equations and one generalized Stokes equation. A key advantage of this decoupled formulation is that it avoids the use of quotient spaces. A family of conforming finite element methods are developed for the decoupled formulation. Numerical results are provided for verifying the decoupled finite element methods of the biharmonic equation in three dimensions.
△ Less
Submitted 19 February, 2025; v1 submitted 12 October, 2024;
originally announced October 2024.
