-
Bubble solution for the critical Hartree equation in pierced domain
Authors:
Marco Ghimenti,
Xiaomeng Huang,
Angela Pistoia
Abstract:
In this article, we establish the existence of solutions to the following critical Hartree equation \begin{align*} \begin{cases} -Δu=\left(\int_{Ω_\varepsilon}\frac{u^{2_μ^*}}{|x-y|^μ}dy\right)u^{2_μ^*-1}, &\text{ in } Ω_\varepsilon, \\ u=0, &\text{ on } \partialΩ_\varepsilon, \end{cases} \end{align*} where $2_μ^*=\frac{2N-μ}{N-2}$ is the upper critical exponent in the sense of the Hardy-Littlewoo…
▽ More
In this article, we establish the existence of solutions to the following critical Hartree equation \begin{align*} \begin{cases} -Δu=\left(\int_{Ω_\varepsilon}\frac{u^{2_μ^*}}{|x-y|^μ}dy\right)u^{2_μ^*-1}, &\text{ in } Ω_\varepsilon, \\ u=0, &\text{ on } \partialΩ_\varepsilon, \end{cases} \end{align*} where $2_μ^*=\frac{2N-μ}{N-2}$ is the upper critical exponent in the sense of the Hardy-Littlewood-Sobolev inequality, $N\geq 5$, $0<μ<4$ with $μ$ sufficiently close to $0$, $Ω_\varepsilon:=Ω\backslash B(0,\varepsilon)$ and $Ω$ is a bounded smooth domain in $\mathbb{R}^N$, which contains the origin, and $\varepsilon$ is a positive parameter. As $\varepsilon$ goes to zero, we construct bubble solution which blows up at the origin.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Convergence rates for random feature neural network approximation in molecular dynamics
Authors:
Xin Huang,
Petr Plechac,
Mattias Sandberg,
Anders Szepessy
Abstract:
Random feature neural network approximations of the potential in Hamiltonian systems yield approximations of molecular dynamics correlation observables that have the expected error $\mathcal{O}\big((K^{-1}+J^{-1/2})^{\frac{1}{2}}\big)$, for networks with $K$ nodes using $J$ data points, provided the Hessians of the potential and the observables are bounded. The loss function is based on the least…
▽ More
Random feature neural network approximations of the potential in Hamiltonian systems yield approximations of molecular dynamics correlation observables that have the expected error $\mathcal{O}\big((K^{-1}+J^{-1/2})^{\frac{1}{2}}\big)$, for networks with $K$ nodes using $J$ data points, provided the Hessians of the potential and the observables are bounded. The loss function is based on the least squares error of the potential and regularizations, with the data points sampled from the Gibbs density. The proof uses an elementary new derivation of the generalization error for random feature networks that does not apply the Rademacher or related complexities.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
On Morita equivalences with endopermutation source and isotypies
Authors:
Xin Huang
Abstract:
We introduce a new type of equivalence between blocks of finite group algebras called an almost isotypy. An almost isotypy restricts to a weak isotypy in Broué's original definition, and it is slightly weaker than Linckelmann's version. We show that a bimodule of two block algebras of finite groups - which has an endopermutation module as a source and which induces a Morita equivalence - gives ris…
▽ More
We introduce a new type of equivalence between blocks of finite group algebras called an almost isotypy. An almost isotypy restricts to a weak isotypy in Broué's original definition, and it is slightly weaker than Linckelmann's version. We show that a bimodule of two block algebras of finite groups - which has an endopermutation module as a source and which induces a Morita equivalence - gives rise to an almost isotypy if and only if the character values of a (hence any) source are rational integers. This generalises a previous result of Huang and Zhou. Consequently, if two blocks are Morita equivalent via a bimodule with endopermutation source, then they are almost isotypic.
△ Less
Submitted 20 June, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
One-Shot Safety Alignment for Large Language Models via Optimal Dualization
Authors:
Xinmeng Huang,
Shuo Li,
Edgar Dobriban,
Osbert Bastani,
Hamed Hassani,
Dongsheng Ding
Abstract:
The growing safety concerns surrounding Large Language Models (LLMs) raise an urgent need to align them with diverse human preferences to simultaneously enhance their helpfulness and safety. A promising approach is to enforce safety constraints through Reinforcement Learning from Human Feedback (RLHF). For such constrained RLHF, common Lagrangian-based primal-dual policy optimization methods are c…
▽ More
The growing safety concerns surrounding Large Language Models (LLMs) raise an urgent need to align them with diverse human preferences to simultaneously enhance their helpfulness and safety. A promising approach is to enforce safety constraints through Reinforcement Learning from Human Feedback (RLHF). For such constrained RLHF, common Lagrangian-based primal-dual policy optimization methods are computationally expensive and often unstable. This paper presents a dualization perspective that reduces constrained alignment to an equivalent unconstrained alignment problem. We do so by pre-optimizing a smooth and convex dual function that has a closed form. This shortcut eliminates the need for cumbersome primal-dual policy iterations, thus greatly reducing the computational burden and improving training stability. Our strategy leads to two practical algorithms in model-based and preference-based scenarios (MoCAN and PeCAN, respectively). A broad range of experiments demonstrate the effectiveness of our methods.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Distributed Bilevel Optimization with Communication Compression
Authors:
Yutong He,
Jie Hu,
Xinmeng Huang,
Songtao Lu,
Bin Wang,
Kun Yuan
Abstract:
Stochastic bilevel optimization tackles challenges involving nested optimization structures. Its fast-growing scale nowadays necessitates efficient distributed algorithms. In conventional distributed bilevel methods, each worker must transmit full-dimensional stochastic gradients to the server every iteration, leading to significant communication overhead and thus hindering efficiency and scalabil…
▽ More
Stochastic bilevel optimization tackles challenges involving nested optimization structures. Its fast-growing scale nowadays necessitates efficient distributed algorithms. In conventional distributed bilevel methods, each worker must transmit full-dimensional stochastic gradients to the server every iteration, leading to significant communication overhead and thus hindering efficiency and scalability. To resolve this issue, we introduce the first family of distributed bilevel algorithms with communication compression. The primary challenge in algorithmic development is mitigating bias in hypergradient estimation caused by the nested structure. We first propose C-SOBA, a simple yet effective approach with unbiased compression and provable linear speedup convergence. However, it relies on strong assumptions on bounded gradients. To address this limitation, we explore the use of moving average, error feedback, and multi-step compression in bilevel optimization, resulting in a series of advanced algorithms with relaxed assumptions and improved convergence properties. Numerical experiments show that our compressed bilevel algorithms can achieve $10\times$ reduction in communication overhead without severe performance degradation.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Quantum vertex algebra associated to quantum toroidal $\mathfrak{gl}_N$
Authors:
Fulin Chen,
Xin Huang,
Fei Kong,
Shaobin Tan
Abstract:
In this paper, we associate the quantum toroidal algebra $\mathcal{E}_N$ of type $\mathfrak{gl}_N$ with quantum vertex algebra through equivariant $φ$-coordinated quasi modules. More precisely, for every $\ell\in \mathbb{C}$, by deforming the universal affine vertex algebra of $\mathfrak{sl}_\infty$, we construct an $\hbar$-adic quantum $\Z$-vertex algebra…
▽ More
In this paper, we associate the quantum toroidal algebra $\mathcal{E}_N$ of type $\mathfrak{gl}_N$ with quantum vertex algebra through equivariant $φ$-coordinated quasi modules. More precisely, for every $\ell\in \mathbb{C}$, by deforming the universal affine vertex algebra of $\mathfrak{sl}_\infty$, we construct an $\hbar$-adic quantum $\Z$-vertex algebra $V_{\widehat{\mathfrak{sl}}_{\infty},\hbar}(\ell,0)$. Then we prove that the category of restricted $\mathcal{E}_N$-modules of level $\ell$ is canonically isomorphic to that of equivariant $φ$-coordinated quasi $V_{\widehat{\mathfrak{sl}}_{\infty},\hbar}(\ell,0)$-modules.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Optimal asymptotic volume ratio for noncompact 3-manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound
Authors:
Xian-Tao Huang,
Shuai Liu
Abstract:
In this paper, we study 3-dimensional complete non-compact Riemannian manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound. Our main result is that, if this manifold has $k$ ends and finite first Betti number, then it has at most linear volume growth, and furthermore, if the negative part of Ricci curvature decays sufficiently fast at infi…
▽ More
In this paper, we study 3-dimensional complete non-compact Riemannian manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound. Our main result is that, if this manifold has $k$ ends and finite first Betti number, then it has at most linear volume growth, and furthermore, if the negative part of Ricci curvature decays sufficiently fast at infinity, then we have an optimal asymptotic volume ratio $\limsup_{r\rightarrow\infty}\frac{\mathrm{Vol}(B(p, r))}{r}\leq4kπ$. In particular, our results apply to 3-dimensional complete non-compact Riemannian manifolds with nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound.
△ Less
Submitted 5 June, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Asymptotic behavior toward viscous shock for impermeable wall and inflow problem of barotropic Navier-Stokes equations
Authors:
Xushan Huang,
Moon-** Kang,
Jeongho Kim,
Hobin Lee
Abstract:
We consider the compressible barotropic Navier-Stokes equations in a half-line and study the time-asymptotic behavior toward the outgoing viscous shock wave. Precisely, we consider the two boundary problems: impermeable wall and inflow problems, where the velocity at the boundary is given as a constant state. For both problems, when the asymptotic profile determined by the prescribed constant stat…
▽ More
We consider the compressible barotropic Navier-Stokes equations in a half-line and study the time-asymptotic behavior toward the outgoing viscous shock wave. Precisely, we consider the two boundary problems: impermeable wall and inflow problems, where the velocity at the boundary is given as a constant state. For both problems, when the asymptotic profile determined by the prescribed constant states at the boundary and far-fields is a viscous shock, we show that the solution asymptotically converges to the shifted viscous shock profiles uniformly in space, under the condition that initial perturbation is small enough in H1 norm. We do not impose the zero mass condition on initial data, which improves the previous results by Matsumura and Mei [20] for impermeable case, and by Huang, Matsumura and Shi [8] for inflow case. Moreover, for the inflow case, we remove the assumption in [8]. Our results are based on the method of a-contraction with shifts, as the first extension of the method to the boundary value problems.
△ Less
Submitted 6 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Quasimode concentration on compact space forms
Authors:
Xiaoqi Huang,
Christopher D. Sogge
Abstract:
We show that the upper bounds for the $L^2$-norms of $L^1$-normalized quasimodes that we obtained in [9] are always sharp on any compact space form. This allows us to characterize compact manifolds of constant sectional curvature using the decay rates of lower bounds of $L^1$-norms of $L^2$-normalized log-quasimodes fully resolving a problem initiated by the second author and Zelditch [15]. We are…
▽ More
We show that the upper bounds for the $L^2$-norms of $L^1$-normalized quasimodes that we obtained in [9] are always sharp on any compact space form. This allows us to characterize compact manifolds of constant sectional curvature using the decay rates of lower bounds of $L^1$-norms of $L^2$-normalized log-quasimodes fully resolving a problem initiated by the second author and Zelditch [15]. We are also able to characterize such manifolds by the concentration of quasimodes near periodic geodesics as measured by $L^2$-norms over thin geodesic tubes.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Curvature and sharp growth rates of log-quasimodes on compact manifolds
Authors:
Xiaoqi Huang,
Christopher D. Sogge
Abstract:
We obtain new optimal estimates for the $L^2(M)\to L^q(M)$, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows $[λ,λ+δ(λ)]$, with $δ(λ)=O((\logλ)^{-1})$ on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$ all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are s…
▽ More
We obtain new optimal estimates for the $L^2(M)\to L^q(M)$, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows $[λ,λ+δ(λ)]$, with $δ(λ)=O((\logλ)^{-1})$ on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$ all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of $L^q$-norms of quasimodes for each Lebesgue exponent $q\in (2,q_c]$, even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any $q>q_c$.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Long Time Propagation of Chaos in Total Variation Distance for Mean Field Interacting Particle System
Authors:
Xing Huang,
Fen-Fen Yang,
Chenggui Yuan
Abstract:
In this paper, a general result on the long time quantitative propagation of chaos in total variation distance for mean field interacting particle system driven by general Lévy noise is derived. Moreover, by using the method of coupling, the general result is applied to mean field interacting particle system driven by Brownian motion and $α(α>1)$-stable noise respectively, where the non-interactin…
▽ More
In this paper, a general result on the long time quantitative propagation of chaos in total variation distance for mean field interacting particle system driven by general Lévy noise is derived. Moreover, by using the method of coupling, the general result is applied to mean field interacting particle system driven by Brownian motion and $α(α>1)$-stable noise respectively, where the non-interacting drift is assumed to be dissipative in long distance and the initial distribution of interacting particle system converges to that of the limit equation in $L^1$-Wasserstein distance.
△ Less
Submitted 22 May, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Cutoff for random Cayley graphs of nilpotent groups
Authors:
Jonathan Hermon,
Xiangying Huang
Abstract:
We consider the random Cayley graphs of a sequence of finite nilpotent groups of diverging sizes $G=G(n)$, whose ranks and nilpotency classes are uniformly bounded. For some $k=k(n)$ such that $1\ll\log k \ll \log |G|$, we pick a random set of generators $S=S(n)$ by sampling $k$ elements $Z_1,\ldots,Z_k$ from $G$ uniformly at random with replacement, and set $S:=\{Z_j^{\pm 1}:1 \le j\le k \}$. We…
▽ More
We consider the random Cayley graphs of a sequence of finite nilpotent groups of diverging sizes $G=G(n)$, whose ranks and nilpotency classes are uniformly bounded. For some $k=k(n)$ such that $1\ll\log k \ll \log |G|$, we pick a random set of generators $S=S(n)$ by sampling $k$ elements $Z_1,\ldots,Z_k$ from $G$ uniformly at random with replacement, and set $S:=\{Z_j^{\pm 1}:1 \le j\le k \}$. We show that the simple random walk on Cay$(G,S)$ exhibits cutoff with high probability.
Some of our results apply to a general set of generators. Namely, we show that there is a constant $c>0$, depending only on the rank and the nilpotency class of $G$, such that for all symmetric sets of generators $S$ of size at most $ \frac{c\log |G|}{\log \log |G|}$, the spectral gap and the $\varepsilon$-mixing time of the simple random walk $X=(X_t)_{t\geq 0}$ on Cay$(G,S)$ are asymptotically the same as those of the projection of $X$ to the abelianization of $G$, given by $[G,G]X_t$. In particular, $X$ exhibits cutoff if and only if its projection does.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
An Improved Analysis of Langevin Algorithms with Prior Diffusion for Non-Log-Concave Sampling
Authors:
Xunpeng Huang,
Hanze Dong,
Difan Zou,
Tong Zhang
Abstract:
Understanding the dimension dependency of computational complexity in high-dimensional sampling problem is a fundamental problem, both from a practical and theoretical perspective. Compared with samplers with unbiased stationary distribution, e.g., Metropolis-adjusted Langevin algorithm (MALA), biased samplers, e.g., Underdamped Langevin Dynamics (ULD), perform better in low-accuracy cases just be…
▽ More
Understanding the dimension dependency of computational complexity in high-dimensional sampling problem is a fundamental problem, both from a practical and theoretical perspective. Compared with samplers with unbiased stationary distribution, e.g., Metropolis-adjusted Langevin algorithm (MALA), biased samplers, e.g., Underdamped Langevin Dynamics (ULD), perform better in low-accuracy cases just because a lower dimension dependency in their complexities. Along this line, Freund et al. (2022) suggest that the modified Langevin algorithm with prior diffusion is able to converge dimension independently for strongly log-concave target distributions. Nonetheless, it remains open whether such property establishes for more general cases. In this paper, we investigate the prior diffusion technique for the target distributions satisfying log-Sobolev inequality (LSI), which covers a much broader class of distributions compared to the strongly log-concave ones. In particular, we prove that the modified Langevin algorithm can also obtain the dimension-independent convergence of KL divergence with different step size schedules. The core of our proof technique is a novel construction of an interpolating SDE, which significantly helps to conduct a more accurate characterization of the discrete updates of the overdamped Langevin dynamics. Our theoretical analysis demonstrates the benefits of prior diffusion for a broader class of target distributions and provides new insights into develo** faster sampling algorithms.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Revisit on the Slepian concentration problem of the spherical Fourier-Bessel setup
Authors:
Xinpeng Huang
Abstract:
In this paper, we will revisit the Slepian spatiospectral concentration problem for the spherical Fourier-Bessel band-limited spaces introduced for 3-D domain, and discuss its general form in $\mathbb{R}^d$, $d\geq 2$. In particular, we investigate the bimodal distribution of eigenvalues of the concentration operators and give an asymptotic characterization of the Shannon number given a linear rel…
▽ More
In this paper, we will revisit the Slepian spatiospectral concentration problem for the spherical Fourier-Bessel band-limited spaces introduced for 3-D domain, and discuss its general form in $\mathbb{R}^d$, $d\geq 2$. In particular, we investigate the bimodal distribution of eigenvalues of the concentration operators and give an asymptotic characterization of the Shannon number given a linear relation between the Bessel bandwidth and spherical harmonic bandwidth.
△ Less
Submitted 2 May, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
On the spectral extremal problem of planar graphs
Authors:
Xiaolong Wang,
Xueyi Huang,
Huiqiu Lin
Abstract:
The spectral extremal problem of planar graphs has aroused a lot of interest over the past three decades. In 1991, Boots and Royle [Geogr. Anal. 23(3) (1991) 276--282] (and Cao and Vince [Linear Algebra Appl. 187 (1993) 251--257] independently) conjectured that $K_2 + P_{n-2}$ is the unique graph attaining the maximum spectral radius among all planar graphs on $n$ vertices, where $K_2 + P_{n-2}$ i…
▽ More
The spectral extremal problem of planar graphs has aroused a lot of interest over the past three decades. In 1991, Boots and Royle [Geogr. Anal. 23(3) (1991) 276--282] (and Cao and Vince [Linear Algebra Appl. 187 (1993) 251--257] independently) conjectured that $K_2 + P_{n-2}$ is the unique graph attaining the maximum spectral radius among all planar graphs on $n$ vertices, where $K_2 + P_{n-2}$ is the graph obtained from $K_2\cup P_{n-2}$ by adding all possible edges between $K_2$ and $P_{n-2}$. In 2017, Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] confirmed this conjecture for all sufficiently large $n$. In this paper, we consider the spectral extremal problem for planar graphs without specified subgraphs. For a fixed graph $F$, let $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ denote the set of graphs attaining the maximum spectral radius among all $F$-free planar graphs on $n$ vertices. We describe a rough sturcture for the connected extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ when $F$ is a planar graph not contained in $K_{2,n-2}$. As applications, we determine the extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,W_k)$, $\mathrm{SPEX}_{\mathcal{P}}(n,F_k)$ and $\mathrm{SPEX}_{\mathcal{P}}(n,(k+1)K_2)$ for all sufficiently large $n$, where $W_k$, $F_k$ and $(k+1)K_2$ are the wheel graph of order $k$, the friendship graph of order $2k+1$ and the disjoint union of $k+1$ copies of $K_2$, respectively.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Quantitative Propagation of Chaos for Mean Field Interacting Particle System
Authors:
Xing Huang
Abstract:
In this paper, quantitative propagation of chaos in $L^η$($η\in(0,1)$)-Wasserstein distance for mean field interacting particle system is derived, where the diffusion coefficient is allowed to be interacting and the initial distribution of interacting particle system converges to that of the limit equation in $L^1$-Wasserstein distance. The non-degenerate and degenerate cases are investigated resp…
▽ More
In this paper, quantitative propagation of chaos in $L^η$($η\in(0,1)$)-Wasserstein distance for mean field interacting particle system is derived, where the diffusion coefficient is allowed to be interacting and the initial distribution of interacting particle system converges to that of the limit equation in $L^1$-Wasserstein distance. The non-degenerate and degenerate cases are investigated respectively and the main tool relies on the gradient estimate of the decoupled SDEs.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
PDEformer: Towards a Foundation Model for One-Dimensional Partial Differential Equations
Authors:
Zhanhong Ye,
Xiang Huang,
Leheng Chen,
Hongsheng Liu,
Zidong Wang,
Bin Dong
Abstract:
This paper introduces PDEformer, a neural solver for partial differential equations (PDEs) capable of simultaneously addressing various types of PDEs. We propose to represent the PDE in the form of a computational graph, facilitating the seamless integration of both symbolic and numerical information inherent in a PDE. A graph Transformer and an implicit neural representation (INR) are employed to…
▽ More
This paper introduces PDEformer, a neural solver for partial differential equations (PDEs) capable of simultaneously addressing various types of PDEs. We propose to represent the PDE in the form of a computational graph, facilitating the seamless integration of both symbolic and numerical information inherent in a PDE. A graph Transformer and an implicit neural representation (INR) are employed to generate mesh-free predicted solutions. Following pretraining on data exhibiting a certain level of diversity, our model achieves zero-shot accuracies on benchmark datasets that is comparable to those of specifically trained expert models. Additionally, PDEformer demonstrates promising results in the inverse problem of PDE coefficient recovery.
△ Less
Submitted 30 April, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Decentralized Bilevel Optimization over Graphs: Loopless Algorithmic Update and Transient Iteration Complexity
Authors:
Boao Kong,
Shuchen Zhu,
Songtao Lu,
Xinmeng Huang,
Kun Yuan
Abstract:
Stochastic bilevel optimization (SBO) is becoming increasingly essential in machine learning due to its versatility in handling nested structures. To address large-scale SBO, decentralized approaches have emerged as effective paradigms in which nodes communicate with immediate neighbors without a central server, thereby improving communication efficiency and enhancing algorithmic robustness. Howev…
▽ More
Stochastic bilevel optimization (SBO) is becoming increasingly essential in machine learning due to its versatility in handling nested structures. To address large-scale SBO, decentralized approaches have emerged as effective paradigms in which nodes communicate with immediate neighbors without a central server, thereby improving communication efficiency and enhancing algorithmic robustness. However, current decentralized SBO algorithms face challenges, including expensive inner-loop updates and unclear understanding of the influence of network topology, data heterogeneity, and the nested bilevel algorithmic structures. In this paper, we introduce a single-loop decentralized SBO (D-SOBA) algorithm and establish its transient iteration complexity, which, for the first time, clarifies the joint influence of network topology and data heterogeneity on decentralized bilevel algorithms. D-SOBA achieves the state-of-the-art asymptotic rate, asymptotic gradient/Hessian complexity, and transient iteration complexity under more relaxed assumptions compared to existing methods. Numerical experiments validate our theoretical findings.
△ Less
Submitted 26 February, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Virtual Morita equivalences and Brauer character bijections
Authors:
Xin Huang
Abstract:
We extend a theorem of Kessar and Linckelmann concerning Morita equivalences and Brauer character bijections between blocks to virtual Morita equivalences. As a corollary, we obtain that Navarro's refinement of Alperin's weight conjecture holds for blocks with cyclic and Klein four defect groups, blocks of symmetric and alternating groups with abelian defect groups, and $p$-blocks of…
▽ More
We extend a theorem of Kessar and Linckelmann concerning Morita equivalences and Brauer character bijections between blocks to virtual Morita equivalences. As a corollary, we obtain that Navarro's refinement of Alperin's weight conjecture holds for blocks with cyclic and Klein four defect groups, blocks of symmetric and alternating groups with abelian defect groups, and $p$-blocks of ${\rm SL}_2(q)$ and ${\rm GL}_2(q)$, where $p|q$.
△ Less
Submitted 26 March, 2024; v1 submitted 24 January, 2024;
originally announced January 2024.
-
Well-Posedness for McKean-Vlasov SDEs Driven by Multiplicative Stable Noises
Authors:
Chang-Song Deng,
Xing Huang
Abstract:
We establish the well-posedness for a class of McKean-Vlasov SDEs driven by symmetric $α$-stable Lévy process ($1/2<α\leq1$), where the drift coefficient is Hölder continuous in space variable, while the noise coefficient is Lipscitz continuous in space variable, and both of them satisfy the Lipschitz condition in distribution variable with respect to Wasserstein distance. If the drift coefficient…
▽ More
We establish the well-posedness for a class of McKean-Vlasov SDEs driven by symmetric $α$-stable Lévy process ($1/2<α\leq1$), where the drift coefficient is Hölder continuous in space variable, while the noise coefficient is Lipscitz continuous in space variable, and both of them satisfy the Lipschitz condition in distribution variable with respect to Wasserstein distance. If the drift coefficient does not depend on distribution variable, our methodology developed in this paper applies to the case $α\in(0,1]$. The main tool relies on heat kernel estimates for (distribution independent) stable SDEs and Banach's fixed point theorem.
△ Less
Submitted 20 January, 2024;
originally announced January 2024.
-
A note on weak Banach mean equicoontinuity
Authors:
Zhongxuan Yang,
Xiaojun Huang
Abstract:
Consider a topological dynamical system $(X, T)$ endowed with the metric $d$. We introduce a novel function as $\overline{BF}(x, y) = \limsup_{n-m \rightarrow +\infty} \inf_{σ\in S_{n,m}} \frac{1}{n-m} \sum_{k=m}^{n-1} d\left(T^{k} x, T^{σ(k)} y\right)$, where the permutation group $S_{n,m}$ is utilized. It is demonstrated that $BF(x, y)$ exists when $x, y \in X$ are uniformly generic points. Leve…
▽ More
Consider a topological dynamical system $(X, T)$ endowed with the metric $d$. We introduce a novel function as $\overline{BF}(x, y) = \limsup_{n-m \rightarrow +\infty} \inf_{σ\in S_{n,m}} \frac{1}{n-m} \sum_{k=m}^{n-1} d\left(T^{k} x, T^{σ(k)} y\right)$, where the permutation group $S_{n,m}$ is utilized. It is demonstrated that $BF(x, y)$ exists when $x, y \in X$ are uniformly generic points. Leveraging this function, we introduce the concept of weak Banach mean equicontinuity and establish that the dynamical system $(X, T)$ exhibits weak Banach mean equicontinuity if and only if the uniform time averages $f_B^{*}(x) = \lim_{n-m \rightarrow +\infty} \frac{1}{n-m} \sum_{k=m}^{n-1} f\left(T^{k} x\right)$ are continuous for all $f \in C(X)$. Finally, we demonstrate that in the case of a transitive system, the equivalence between weak Banach mean equicontinuity and weak mean equicontinuity is established.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
A note on weak mean equicontinuity and strong mean sensitivity
Authors:
Zhongxuan Yang,
Xiaojun Huang
Abstract:
In this paper, we study the weak mean metric and give some properties by replacing the Besicovitch pseudometric with weak mean metric in the definition of mean equicontinuity and mean sensitivity. We study an opposite side of weak mean equicontinuity, strong mean sensitivity and we obtain a version of Auslander-Yorke dichotomies: minimal topological dynamical systems are either weak mean equiconti…
▽ More
In this paper, we study the weak mean metric and give some properties by replacing the Besicovitch pseudometric with weak mean metric in the definition of mean equicontinuity and mean sensitivity. We study an opposite side of weak mean equicontinuity, strong mean sensitivity and we obtain a version of Auslander-Yorke dichotomies: minimal topological dynamical systems are either weak mean equicontinuous or strong mean sensitive, and transitive topological dynamical systemss are either almost weak mean equicontinuous or strong mean sensitive. Furthermore, motivated by the localized idea of sensitivity, we introduce some notions of new version sensitive tuples and study the properties of these sensitive tuples, we show that a transitive dynamical system is strong mean sensitive if and only if it admits a strong mean sensitive tuple. Finally, We introduce the notions of weakly mean equicontinuity of a topological dynamical system respect to a given continuous function $f$, and we show that a topological dynamical system is weakly mean equicontinuity then it is weakly mean equicontinuity with respect to every continuous function.
△ Less
Submitted 18 January, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
New type of solutions for the critical Lane-Emden system
Authors:
Wen**g Chen,
Xiaomeng Huang
Abstract:
In this paper, we consider the critical Lane-Emden system \begin{align*} \begin{cases} -Δu=K_1(y)v^p,\quad y\in \mathbb{R}^N,&\\ -Δv=K_2(y)u^q,\quad y\in \mathbb{R}^N,&\\ u,v>0, \end{cases} \end{align*} where $N\geq 5$, $p,q\in (1,\infty)$ with $\frac{1}{p+1}+\frac{1}{q+1}=\frac{N-2}{N}$, $K_1(y)$ and $K_2(y)$ are positive radial potentials. Under suitable conditions on $K_1(y)$ and $K_2(y)$, we c…
▽ More
In this paper, we consider the critical Lane-Emden system \begin{align*} \begin{cases} -Δu=K_1(y)v^p,\quad y\in \mathbb{R}^N,&\\ -Δv=K_2(y)u^q,\quad y\in \mathbb{R}^N,&\\ u,v>0, \end{cases} \end{align*} where $N\geq 5$, $p,q\in (1,\infty)$ with $\frac{1}{p+1}+\frac{1}{q+1}=\frac{N-2}{N}$, $K_1(y)$ and $K_2(y)$ are positive radial potentials. Under suitable conditions on $K_1(y)$ and $K_2(y)$, we construct a new family of solutions to this system, which are centred at points lying on the top and the bottom circles of a cylinder.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Faster Sampling without Isoperimetry via Diffusion-based Monte Carlo
Authors:
Xunpeng Huang,
Difan Zou,
Hanze Dong,
Yian Ma,
Tong Zhang
Abstract:
To sample from a general target distribution $p_*\propto e^{-f_*}$ beyond the isoperimetric condition, Huang et al. (2023) proposed to perform sampling through reverse diffusion, giving rise to Diffusion-based Monte Carlo (DMC). Specifically, DMC follows the reverse SDE of a diffusion process that transforms the target distribution to the standard Gaussian, utilizing a non-parametric score estimat…
▽ More
To sample from a general target distribution $p_*\propto e^{-f_*}$ beyond the isoperimetric condition, Huang et al. (2023) proposed to perform sampling through reverse diffusion, giving rise to Diffusion-based Monte Carlo (DMC). Specifically, DMC follows the reverse SDE of a diffusion process that transforms the target distribution to the standard Gaussian, utilizing a non-parametric score estimation. However, the original DMC algorithm encountered high gradient complexity, resulting in an exponential dependency on the error tolerance $ε$ of the obtained samples. In this paper, we demonstrate that the high complexity of DMC originates from its redundant design of score estimation, and proposed a more efficient algorithm, called RS-DMC, based on a novel recursive score estimation method. In particular, we first divide the entire diffusion process into multiple segments and then formulate the score estimation step (at any time step) as a series of interconnected mean estimation and sampling subproblems accordingly, which are correlated in a recursive manner. Importantly, we show that with a proper design of the segment decomposition, all sampling subproblems will only need to tackle a strongly log-concave distribution, which can be very efficient to solve using the Langevin-based samplers with a provably rapid convergence rate. As a result, we prove that the gradient complexity of RS-DMC only has a quasi-polynomial dependency on $ε$, which significantly improves exponential gradient complexity in Huang et al. (2023). Furthermore, under commonly used dissipative conditions, our algorithm is provably much faster than the popular Langevin-based algorithms. Our algorithm design and theoretical framework illuminate a novel direction for addressing sampling problems, which could be of broader applicability in the community.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Chemical distance for the half-orthant model
Authors:
Nicholas Beaton,
Mark Holmes,
Xin Huang
Abstract:
The half-orthant model is a partially oriented model of a random medium involving a parameter $p\in [0,1]$, for which there is a critical value $p_c(d)$ (depending on the dimension $d$) below which every point is reachable from the origin. We prove a limit theorem for the graph-distance (or "chemical distance") for this model when $p<p_c(2)$, and also when $1-p$ is larger than the critical paramet…
▽ More
The half-orthant model is a partially oriented model of a random medium involving a parameter $p\in [0,1]$, for which there is a critical value $p_c(d)$ (depending on the dimension $d$) below which every point is reachable from the origin. We prove a limit theorem for the graph-distance (or "chemical distance") for this model when $p<p_c(2)$, and also when $1-p$ is larger than the critical parameter for site percolation in $\mathbb{Z}^d$. The proof involves an application of the subadditive ergodic theorem. Novel arguments herein include the method of proving that the expected number of steps to reach any given point is finite, as well as an argument that is used to show that the shape is "non-trivial" in certain directions.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
Coordinating Guidance, Matching, and Charging Station Selection for Electric Vehicle Ride-Hailing Services through Data-Driven Stochastic Optimization
Authors:
Xiaoming Li,
Chun Wang,
Xiao Huang
Abstract:
Electric vehicles (EVs) play a pivotal role in sustainable ride-hailing services primarily due to their potential in reducing carbon emissions and enhancing environmental protection. Despite their significance, current research in the realm of EV batched matching frequently overlooks critical aspects such as rider demand uncertainty and charging station (CS) selection, leading to inefficiencies li…
▽ More
Electric vehicles (EVs) play a pivotal role in sustainable ride-hailing services primarily due to their potential in reducing carbon emissions and enhancing environmental protection. Despite their significance, current research in the realm of EV batched matching frequently overlooks critical aspects such as rider demand uncertainty and charging station (CS) selection, leading to inefficiencies like decreased matching rates and prolonged waiting times for both riders and EV drivers. To fill the research gap, we propose a data-driven optimization framework that incorporates two inter-connected stochastic optimization models to address the challenges. The first model aims to relocate the idle EVs under satisfied conditions to the designated regions based on the probabilistic rider demand forecasting result before the real rider demand is revealed. Taking the solutions of the first model as the input, the second model optimizes the batched matching results by minimizing the rider's average waiting time and EV charging waiting time at CS. This integrated framework not only elevates the matching rate through the incorporation of rider demand uncertainties in the guidance module but also substantially curtails both rider and EV charging waiting times by synergizing guidance with CS selection choices. Empirical validation of our framework was conducted through an extensive case study in New York City, utilizing real-world data sets. The validation results demonstrate that the proposed data-driven optimization framework outperforms the benchmark models in terms of the proposed evaluation metrics. Most importantly, when deploying our framework, the charging waiting time of the EVs with low SOC can be reduced up to 73.6% compared to the benchmark model without CS selection.
△ Less
Submitted 8 January, 2024; v1 submitted 6 January, 2024;
originally announced January 2024.
-
Drinfeld Module and Weil pairing over Dedekind domain of class number two
Authors:
Chuangqiang Hu,
Xiao-Min Huang
Abstract:
The primary objective of this paper is to derive explicit formulas for rank one and rank two Drinfeld modules over a specific domain denoted by A. This domain corresponds to the projective line associated with an infinite place of degree two. To achieve the goals, we construct a pair of standard Drinfeld modules whose coefficients are in the Hilbert class field of A. We demonstrate that the period…
▽ More
The primary objective of this paper is to derive explicit formulas for rank one and rank two Drinfeld modules over a specific domain denoted by A. This domain corresponds to the projective line associated with an infinite place of degree two. To achieve the goals, we construct a pair of standard Drinfeld modules whose coefficients are in the Hilbert class field of A. We demonstrate that the period lattice of the exponential functions corresponding to both modules behaves similarly to the period lattice of the Carlitz module, the standard rank one Drinfeld module defined over rational function field. Moreover, we employ Andersons t-motive to obtain the complete family of rank two Drinfeld modules. This family is parameterized by the invariant J = λ^{q^2+1} which effectively serves as the counterpart of the j-invariant for elliptic curves. Building upon the concepts introduced by van~der~Heiden, particularly with regard to rank two Drinfeld modules, we are able to reformulate the Weil pairing of Drinfeld modules of any rank using a specialized polynomial in multiple variables known as the Weil operator. As an illustrative example, we provide a detailed examination of a more explicit formula for the Weil pairing and the Weil operator of rank two Drinfeld modules over the domain A.
△ Less
Submitted 26 June, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
A New Global Optimization Method Based on Simplex Branching for Solving a Class of Non-Convex QCQP Problems
Authors:
Bo Zhang,
YueLin Gao,
Xia Liu,
XiaoLi Huang
Abstract:
Quadratic constrained quadratic programming problems often occur in various fields such as engineering practice, management science, and network communication. This article mainly studies a non convex quadratic programming problem with convex quadratic constraints. Firstly, based on our existing results, the problem is reconstructed as an equivalent problem with a simple concave quadratic objectiv…
▽ More
Quadratic constrained quadratic programming problems often occur in various fields such as engineering practice, management science, and network communication. This article mainly studies a non convex quadratic programming problem with convex quadratic constraints. Firstly, based on our existing results, the problem is reconstructed as an equivalent problem with a simple concave quadratic objective function in the result space, with a convex feasible domain. A global optimization algorithm for solving equivalent problems is proposed based on a branch and bound framework that can ensure the global optimality of the solution. This algorithm combines effective relaxation processes with branching processes related to new external approximation techniques. Finally, the theoretical feasibility of the algorithm was analyzed.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Linear stability of inner case of double averaged spatial restricted elliptic three body problem
Authors:
Xiumin Huang,
Yan Luo,
Kaicheng Sheng,
Yiru Ye
Abstract:
We study the secular effects in the motion of an asteroid with negligible mass in a spatial restricted elliptic three body problem with arbitrary inclination. Averaging over mean anomalies of the asteroid and the planet are applied to obtain the double averaged Hamiltonian system. It admits a two-parameter family of orbits corresponding to the motion of the third body in the plane of primaries' mo…
▽ More
We study the secular effects in the motion of an asteroid with negligible mass in a spatial restricted elliptic three body problem with arbitrary inclination. Averaging over mean anomalies of the asteroid and the planet are applied to obtain the double averaged Hamiltonian system. It admits a two-parameter family of orbits corresponding to the motion of the third body in the plane of primaries' motion. The aim of our investigation is to analyze the stability of these orbits in inner case. We show that they are stable in the linear approximation and give descriptions of linear stability with respect to the eccentricity and argument of periapsis of asteroid. Numerical simulations of different types of orbits are performed as well.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Understanding the Influence of Digraphs on Decentralized Optimization: Effective Metrics, Lower Bound, and Optimal Algorithm
Authors:
Liyuan Liang,
Xinmeng Huang,
Ran Xin,
Kun Yuan
Abstract:
This paper investigates the influence of directed networks on decentralized stochastic non-convex optimization associated with column-stochastic mixing matrices. Surprisingly, we find that the canonical spectral gap, a widely used metric in undirected networks, is insufficient to characterize the impact of directed topology on decentralized algorithms. To overcome this limitation, we introduce a n…
▽ More
This paper investigates the influence of directed networks on decentralized stochastic non-convex optimization associated with column-stochastic mixing matrices. Surprisingly, we find that the canonical spectral gap, a widely used metric in undirected networks, is insufficient to characterize the impact of directed topology on decentralized algorithms. To overcome this limitation, we introduce a novel metric termed equilibrium skewness. This metric, together with the spectral gap, accurately and comprehensively captures the influence of column-stochastic mixing matrices on decentralized stochastic algorithms. With these two metrics, we clarify, for the first time, how the directed network topology influences the performance of prevalent algorithms such as Push-Sum and Push-Diging. Furthermore, we establish the first lower bound of the convergence rate for decentralized stochastic non-convex algorithms over directed networks. Since existing algorithms cannot match our lower bound, we further propose the MG-Push-Diging algorithm, which integrates Push-Diging with a multi-round gossip technique. MG-Push-Diging attains our lower bound up to logarithmic factors, demonstrating its near-optimal performance and the tightness of the lower bound. Numerical experiments verify our theoretical results.
△ Less
Submitted 27 April, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Path integral molecular dynamics approximations of quantum canonical observables
Authors:
Xin Huang,
Petr Plechac,
Mattias Sandberg,
Anders Szepessy
Abstract:
Mean-field molecular dynamics based on path integrals is used to approximate canonical quantum observables for particle systems consisting of nuclei and electrons. A computational bottleneck is the sampling from the Gibbs density of the electron operator, which due to the fermion sign problem has a computational complexity that scales exponentially with the number of electrons. In this work we con…
▽ More
Mean-field molecular dynamics based on path integrals is used to approximate canonical quantum observables for particle systems consisting of nuclei and electrons. A computational bottleneck is the sampling from the Gibbs density of the electron operator, which due to the fermion sign problem has a computational complexity that scales exponentially with the number of electrons. In this work we construct an algorithm that approximates the mean-field Hamiltonian by path integrals for fermions. The algorithm is based on the determinant of a matrix with components based on Brownian bridges connecting permuted electron coordinates. The computational work for $n$ electrons is $\mathcal O(n^3)$, which reduces the computational complexity associated with the fermion sign problem. We analyze a bias resulting from this approximation and provide a computational error indicator. It remains to rigorously explain the surprisingly high accuracy.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Spectral condition for the existence of a chorded cycle
Authors:
Jiaxin Zheng,
Xueyi Huang,
Junjie Wang
Abstract:
A chord of a cycle $C$ is an edge joining two non-consecutive vertices of $C$. A cycle $C$ in a graph $G$ is chorded if the vertex set of $C$ induces at least one chord. In this paper, we prove that if $G$ is a graph with order $n\geq 6$ and $ρ(G)\geq ρ(K_{2,n-2})$, then $G$ contains a chorded cycle unless $G\cong K_{2,n-2}$. This gives one answer to a question posed by Gould [Results and problems…
▽ More
A chord of a cycle $C$ is an edge joining two non-consecutive vertices of $C$. A cycle $C$ in a graph $G$ is chorded if the vertex set of $C$ induces at least one chord. In this paper, we prove that if $G$ is a graph with order $n\geq 6$ and $ρ(G)\geq ρ(K_{2,n-2})$, then $G$ contains a chorded cycle unless $G\cong K_{2,n-2}$. This gives one answer to a question posed by Gould [Results and problems on chorded cycles: A survey, Graphs Combin. 38 (2022) 189].
△ Less
Submitted 4 December, 2023; v1 submitted 22 November, 2023;
originally announced November 2023.
-
Distributional Finite Element curl div Complexes and Application to Quad Curl Problems
Authors:
Long Chen,
Xuehai Huang,
Chao Zhang
Abstract:
The paper addresses the challenge of constructing conforming finite element spaces for high-order differential operators in high dimensions, with a focus on the curl div operator in three dimensions. Tangential-normal continuity is introduced in order to develop distributional finite element curl div complexes. The spaces constructed are applied to discretize a quad curl problem, demonstrating opt…
▽ More
The paper addresses the challenge of constructing conforming finite element spaces for high-order differential operators in high dimensions, with a focus on the curl div operator in three dimensions. Tangential-normal continuity is introduced in order to develop distributional finite element curl div complexes. The spaces constructed are applied to discretize a quad curl problem, demonstrating optimal order of convergence. Furthermore, a hybridization technique is proposed, demonstrating its equivalence to nonconforming finite elements and weak Galerkin methods.
△ Less
Submitted 15 November, 2023; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Distance-regular Cayley graphs over (pseudo-) semi-dihedral groups
Authors:
Xueyi Huang,
Lu Lu,
Xiongfeng Zhan
Abstract:
Distance-regular graphs are a class of regualr graphs with pretty combinatorial symmetry. In 2007, Miklavič and Potočnik proposed the problem of charaterizing distance-regular Cayley graphs, which can be viewed as a natural extension of the problem of characterizing strongly-regular Cayley graphs (or equivalently, regular partial difference sets). In this paper, we provide a partial characterizati…
▽ More
Distance-regular graphs are a class of regualr graphs with pretty combinatorial symmetry. In 2007, Miklavič and Potočnik proposed the problem of charaterizing distance-regular Cayley graphs, which can be viewed as a natural extension of the problem of characterizing strongly-regular Cayley graphs (or equivalently, regular partial difference sets). In this paper, we provide a partial characterization for distance-regular Cayley graphs over semi-dihedral groups and pseudo-semi-dihedral groups, both of which are $2$-groups with a cyclic subgroup of index $2$.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Entropy-cost type Propagation of Chaos for Mean Field Interacting Particle System
Authors:
Xing Huang
Abstract:
In this paper, the quantitative entropy-cost type propagation of chaos for mean field interacting particle system is obtained, where the interaction is bounded and the initial distribution of mean field interacting particles converges to that of corresponding McKean-Vlasov SDEs in $L^1$-transportation cost $\W_1^Ψ$ induced by some cost function $Ψ$. In the finite dimension case, the interaction is…
▽ More
In this paper, the quantitative entropy-cost type propagation of chaos for mean field interacting particle system is obtained, where the interaction is bounded and the initial distribution of mean field interacting particles converges to that of corresponding McKean-Vlasov SDEs in $L^1$-transportation cost $\W_1^Ψ$ induced by some cost function $Ψ$. In the finite dimension case, the interaction is merely assumed to be bounded measurable and the noise can be multiplicative, while for the semi-linear SPDEs, the interaction is required to be bounded and Dini continuous. In addition, an example is presented for the infinite model.
△ Less
Submitted 29 January, 2024; v1 submitted 5 November, 2023;
originally announced November 2023.
-
On Negative Correlation of Arboreal Gas on Some Graphs
Authors:
Xiangyu Huang
Abstract:
Arboreal Gas is a type of (unrooted) random forest on a graph, where the probability is determined by a parameter $β>0$ per edge. This model is essentially equivalent to acyclic Bernoulli bond percolation with a parameter $p=β/(1+β)$. Additionally, Arboreal Gas can be considered as the limit of the $q$-states random cluster model with $p=βq$ as $q\to 0$. A natural question arises regarding the exi…
▽ More
Arboreal Gas is a type of (unrooted) random forest on a graph, where the probability is determined by a parameter $β>0$ per edge. This model is essentially equivalent to acyclic Bernoulli bond percolation with a parameter $p=β/(1+β)$. Additionally, Arboreal Gas can be considered as the limit of the $q$-states random cluster model with $p=βq$ as $q\to 0$. A natural question arises regarding the existence and performance of the weak limit of Arboreal Gas as the graph size goes to infinity. The answer to this question relies on the negative correlation of Arboreal Gas, which is still an open problem. This paper primarily focuses on the negative correlation of Arboreal Gas and provides some results for specific graphs.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Blow-up for time-fractional diffusion equations with superlinear convex semilinear terms
Authors:
Xinchi Huang,
Yikan Liu,
Masahiro Yamamoto
Abstract:
This article is concerned with a semilinear time-fractional diffusion equation with a superlinear convex semilinear term in a bounded domain $Ω$ with the homogeneous Dirichlet, Neumann, Robin boundary conditions and non-negative and not identically vanishing initial value. The order of the fractional derivative in time is between $1$ and $0$, and the elliptic part is with time-independent coeffici…
▽ More
This article is concerned with a semilinear time-fractional diffusion equation with a superlinear convex semilinear term in a bounded domain $Ω$ with the homogeneous Dirichlet, Neumann, Robin boundary conditions and non-negative and not identically vanishing initial value. The order of the fractional derivative in time is between $1$ and $0$, and the elliptic part is with time-independent coefficients. We prove
(i) The solution with any initial value blow-up if the eigenvalue $λ_1$ of the elliptic operator with the minimum real part is non-positive.
(ii) Otherwise, the solution blows up if a weighted $L^1$-norm of initial value is greater than some critical value give by $λ_1$.
We provide upper estimates of the blow-up times. The key is a comparison principle for time-fractional ordinary differential equations.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
New low-order mixed finite element methods for linear elasticity
Authors:
Xuehai Huang,
Chao Zhang,
Yaqian Zhou,
Yangxing Zhu
Abstract:
New low-order $H(\textrm{div})$-conforming finite elements for symmetric tensors are constructed in arbitrary dimension. The space of shape functions is defined by enriching the symmetric quadratic polynomial space with the $(d+1)$-order normal-normal face bubble space. The reduced counterpart has only $d(d+1)^2$ degrees of freedom. Basis functions are explicitly given in terms of barycentric coor…
▽ More
New low-order $H(\textrm{div})$-conforming finite elements for symmetric tensors are constructed in arbitrary dimension. The space of shape functions is defined by enriching the symmetric quadratic polynomial space with the $(d+1)$-order normal-normal face bubble space. The reduced counterpart has only $d(d+1)^2$ degrees of freedom. Basis functions are explicitly given in terms of barycentric coordinates. Low-order conforming finite element elasticity complexes starting from the Bell element, are developed in two dimensions. These finite elements for symmetric tensors are applied to devise robust mixed finite element methods for the linear elasticity problem, which possess the uniform error estimates with respect to the Lamé coefficient $λ$, and superconvergence for the displacement. Numerical results are provided to verify the theoretical convergence rates.
△ Less
Submitted 21 February, 2024; v1 submitted 21 October, 2023;
originally announced October 2023.
-
Turán problem for $C_{2k+1}^{-}$-free signed graph
Authors:
Junjie Wang,
Yao** Hou,
Xueyi Huang
Abstract:
In this paper, we study the Turán problem for $C_{2k+1}^{-}$. Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $λ_{1} (\dot{G})$ be the largest eigenvalue of $\dot{G}$, and $C_{2k+1}^{-}$ be the set of the negative cycle with length $2k+1$($3 \le k \le \frac{n}{15}$). We prove that if $\dot{G}$ is a $C_{2k+1}^{-}$-free unbalanced signed graph, then…
▽ More
In this paper, we study the Turán problem for $C_{2k+1}^{-}$. Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $λ_{1} (\dot{G})$ be the largest eigenvalue of $\dot{G}$, and $C_{2k+1}^{-}$ be the set of the negative cycle with length $2k+1$($3 \le k \le \frac{n}{15}$). We prove that if $\dot{G}$ is a $C_{2k+1}^{-}$-free unbalanced signed graph, then $e(\dot{G}) \le e(C_{3}^{-} \cdot K_{n-2})$ and $λ_{1}(\dot{G}) \le λ_{1}(C_{3}^{-} \cdot K_{n-2})$, with equality holding if and only if $\dot{G}$ is switching equivalent to $C_{3}^{-} \cdot K_{n-2}$.
△ Less
Submitted 21 December, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Global strong solutions to the radially symmetric compressible MHD equations in 2D solid balls with arbitrary large initial data
Authors:
Xiangdi Huang,
Wei Yan
Abstract:
In this paper, we prove the global existence of strong solutions to the two-dimensional compressible MHD equations with density dependent viscosity coefficients (known as Kazhikhov-Vaigant model) on 2D solid balls with arbitrary large initial smooth data where shear viscosity $μ$ being constant and the bulk viscosity $λ$ be a polynomial of density up to power $β$.
The global existence of the rad…
▽ More
In this paper, we prove the global existence of strong solutions to the two-dimensional compressible MHD equations with density dependent viscosity coefficients (known as Kazhikhov-Vaigant model) on 2D solid balls with arbitrary large initial smooth data where shear viscosity $μ$ being constant and the bulk viscosity $λ$ be a polynomial of density up to power $β$.
The global existence of the radially symmetric strong solutions was established under Dirichlet boundary conditions for $β>1$. Moreover, as long as $β\in (\max\{1,\frac{γ+2}{4}\},γ]$, the density is shown to be uniformly bounded with respect to time. This generalizes the previous result of \cite{2022Li,2016Huang,2022Huang} of the compressible Navier-Stokes equations on 2D bounded domains where they require $β>4/3$ and also improves the result of \cite{chen2022,2015Mei-1,2015Mei-2} of compressible MHD equations on 2D solid balls.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Global large strong solutions to the radially symmetric compressible Navier-Stokes equations in 2D solid balls
Authors:
Xiangdi Huang,
Mengluan Su,
Wei Yan,
Rongfeng Yu
Abstract:
In this paper, we consider the initial-boundary value problems of the compressible isentropic Navier-Stokes equations with density-dependent viscosity on two dimensional solid balls which was first introduced by Kazhikhov where shear viscosity $μ$ is assumed to be constant and the bulk viscosity $λ$ is a polynomial of density up to power $β$.
Under the condition of $β>1$, we prove the global exi…
▽ More
In this paper, we consider the initial-boundary value problems of the compressible isentropic Navier-Stokes equations with density-dependent viscosity on two dimensional solid balls which was first introduced by Kazhikhov where shear viscosity $μ$ is assumed to be constant and the bulk viscosity $λ$ is a polynomial of density up to power $β$.
Under the condition of $β>1$, we prove the global existence of the radially symmetric strong solutions to the Kazhikhov models under Dirichlet boundary conditions for arbitrary large initial smooth data. Moreover, the density is shown to be uniformly bounded with respect to time when $β\in (\max\{1,\frac{γ+2}{4}\},γ]$. This improves the previous result of \cite{2016Huang,2022Huang} for general 2D domains where they require $β>4/3$ to ensure global existence and is the first result concerning the global existence of classical solutions to the radially symmetric compressible Navier-Stokes equations in 2D solid balls under Dirichlet boundary condition.
△ Less
Submitted 8 October, 2023;
originally announced October 2023.
-
Geometric Decomposition and Efficient Implementation of High Order Face and Edge Elements
Authors:
Chunyu Chen,
Long Chen,
Xuehai Huang,
Huayi Wei
Abstract:
This study investigates high-order face and edge elements in finite element methods, with a focus on their geometric attributes, indexing management, and practical application. The exposition begins by a geometric decomposition of Lagrange finite elements, setting the foundation for further analysis. The discussion then extends to $H(\rm{div})$-conforming and $H(\rm{curl})$-conforming finite eleme…
▽ More
This study investigates high-order face and edge elements in finite element methods, with a focus on their geometric attributes, indexing management, and practical application. The exposition begins by a geometric decomposition of Lagrange finite elements, setting the foundation for further analysis. The discussion then extends to $H(\rm{div})$-conforming and $H(\rm{curl})$-conforming finite element spaces, adopting variable frames across differing sub-simplices. The imposition of tangential or normal continuity is achieved through the strategic selection of corresponding bases. The paper concludes with a focus on efficient indexing management strategies for degrees of freedom, offering practical guidance to researchers and engineers. It serves as a comprehensive resource that bridges the gap between theory and practice.
△ Less
Submitted 7 May, 2024; v1 submitted 24 September, 2023;
originally announced September 2023.
-
A Model for the Multi-Virus Contact Process
Authors:
Xu Huang
Abstract:
We study one specific version of the contact process on a graph. Here, we allow multiple infections carried by the nodes and include a probability of removing nodes in a graph. The removal probability is purely determined by the number of infections the node carries at the moment when it gets another infection. In this paper, we show that on any finite graph, any positive value of infection rate…
▽ More
We study one specific version of the contact process on a graph. Here, we allow multiple infections carried by the nodes and include a probability of removing nodes in a graph. The removal probability is purely determined by the number of infections the node carries at the moment when it gets another infection. In this paper, we show that on any finite graph, any positive value of infection rate $λ$ will result in the death of the process almost surely. In the case of $d$-regular infinite trees, We also give a lower bound on the infection rate in order for the process to survive, and an upper bound for the process to die out.
△ Less
Submitted 4 October, 2023; v1 submitted 19 September, 2023;
originally announced September 2023.
-
Regular types and order of vanishing along a set of non-integrable vector fields
Authors:
Xiaojun Huang,
Wanke Yin
Abstract:
This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more general important notion, called the singular D'Angelo type (or simply, D'Angelo type). While the finite D'Angelo type condition is the right one for the study of lo…
▽ More
This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more general important notion, called the singular D'Angelo type (or simply, D'Angelo type). While the finite D'Angelo type condition is the right one for the study of local subelliptic estimates for Kohn's $\overline{\partial}$-Neumann problem, regular types are important as their finiteness gives the global regularity up to the boundary of solutions of Kohn's $\overline{\partial}$-Neumann problem.
In the second part of the paper, we provide a proof of a seemingly elementary but a truly fundamental property (Theorem 2.2 or its CR version Theorem 2.5) on the vanishing order of smooth functions along a system of non-integrable vector fields. A special case, Corollary 2.6, of Theorem 2.5 had already appeared in a paper of D'Angelo. A main goal in this part is to provide proofs for these results for the purpose of future references. Our arguments are based on a deep normalization theorem for a system of non-integrable vector fields due to Helffer-Nourrigat, as well as its late generalization in Boauendi-Rothschild.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Dubins Curve Based Continuous-Curvature Trajectory Planning for Autonomous Mobile Robots
Authors:
Xuanhao Huang,
Chao-Bo Yan
Abstract:
AMR is widely used in factories to replace manual labor to reduce costs and improve efficiency. However, it is often difficult for logistics robots to plan the optimal trajectory and unreasonable trajectory planning can lead to low transport efficiency and high energy consumption. In this paper, we propose a method to directly calculate the optimal trajectory for short distance on the basis of the…
▽ More
AMR is widely used in factories to replace manual labor to reduce costs and improve efficiency. However, it is often difficult for logistics robots to plan the optimal trajectory and unreasonable trajectory planning can lead to low transport efficiency and high energy consumption. In this paper, we propose a method to directly calculate the optimal trajectory for short distance on the basis of the Dubins set, which completes the calculation of the Dubins path. Additionally, as an improvement of Dubins path, we smooth the Dubins path based on clothoid, which makes the curvature varies linearly. AMR can adjust the steering wheels while following this trajectory. The experiments show that the Dubins path can be calculated quickly and well smoothed.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Multiple Non-radial Solutions for Coupled Schrödinger Equations
Authors:
Xiaopeng Huang,
Haoyu Li,
Zhi-Qiang Wang
Abstract:
The paper deals with the existence of non-radial solutions for an $N$-coupled nonlinear elliptic system. In the repulsive regime with some structure conditions on the coupling and for each symmetric subspace of rotation symmetry, we prove the existence of an infinite sequence of non-radial positive solutions and an infinite sequence of non-radial nodal solutions.
The paper deals with the existence of non-radial solutions for an $N$-coupled nonlinear elliptic system. In the repulsive regime with some structure conditions on the coupling and for each symmetric subspace of rotation symmetry, we prove the existence of an infinite sequence of non-radial positive solutions and an infinite sequence of non-radial nodal solutions.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings
Authors:
Jiaxu Liu,
** Yi,
Tianle Zhang,
Xiaowei Huang
Abstract:
In traditional Graph Neural Networks (GNNs), the assumption of a fixed embedding manifold often limits their adaptability to diverse graph geometries. Recently, Hamiltonian system-inspired GNNs have been proposed to address the dynamic nature of such embeddings by incorporating physical laws into node feature updates. We present Symplectic Structure-Aware Hamiltonian GNN (SAH-GNN), a novel approac…
▽ More
In traditional Graph Neural Networks (GNNs), the assumption of a fixed embedding manifold often limits their adaptability to diverse graph geometries. Recently, Hamiltonian system-inspired GNNs have been proposed to address the dynamic nature of such embeddings by incorporating physical laws into node feature updates. We present Symplectic Structure-Aware Hamiltonian GNN (SAH-GNN), a novel approach that generalizes Hamiltonian dynamics for more flexible node feature updates. Unlike existing Hamiltonian approaches, SAH-GNN employs Riemannian optimization on the symplectic Stiefel manifold to adaptively learn the underlying symplectic structure, circumventing the limitations of existing Hamiltonian GNNs that rely on a pre-defined form of standard symplectic structure. This innovation allows SAH-GNN to automatically adapt to various graph datasets without extensive hyperparameter tuning. Moreover, it conserves energy during training meaning the implicit Hamiltonian system is physically meaningful. Finally, we empirically validate SAH-GNN's superiority and adaptability in node classification tasks across multiple types of graph datasets.
△ Less
Submitted 1 December, 2023; v1 submitted 9 September, 2023;
originally announced September 2023.
-
Propagation of Chaos for Mean Field Interacting Particle System with Multiplicative Noise
Authors:
Xing Huang
Abstract:
In this paper, the quantitative propagation of chaos for mean field interacting particle system with multiplicative noise in $L^2$-Wasserstein distance is derived. When the diffusion is distribution free, the quantitative propagation of chaos in relative entropy as well as total variation distance is also obtained, where the initial distribution of mean field interacting particles is allowed to be…
▽ More
In this paper, the quantitative propagation of chaos for mean field interacting particle system with multiplicative noise in $L^2$-Wasserstein distance is derived. When the diffusion is distribution free, the quantitative propagation of chaos in relative entropy as well as total variation distance is also obtained, where the initial distribution of mean field interacting particles is allowed to be singular with that of the limit equation. Furthermore, a general result on the long time quantitative propagation of chaos in relative entropy as well as in $L^2$-Wasserstein distance is provided and is applied in (path dependent) mean field interacting particle system as well as stochastic Hamiltonian system under dissipative condition.
△ Less
Submitted 4 January, 2024; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$
Authors:
Xiongfeng Zhan,
Lu Lu,
Xueyi Huang
Abstract:
In [Distrance-regular Cayley graphs on dihedral groups, J. Combin. Theory Ser B 97 (2007) 14--33], Miklavič and Potočnik proposed the problem of characterizing distance-regular Cayley graphs, which can be viewed as an extension of the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, all distance-regular Cayley graphs over…
▽ More
In [Distrance-regular Cayley graphs on dihedral groups, J. Combin. Theory Ser B 97 (2007) 14--33], Miklavič and Potočnik proposed the problem of characterizing distance-regular Cayley graphs, which can be viewed as an extension of the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, all distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$ with $p$ being an odd prime are determined. It is shown that every such graph is isomorphic to a complete graph, a complete multipartite graph, or the line graph of a transversal design $TD(r,p)$ with $2\leq r\leq p-1$.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
The Dichotomy Property in Stabilizability of $2\times2$ Linear Hyperbolic Systems
Authors:
Xu Huang,
Zhiqiang Wang,
Shijie Zhou
Abstract:
This paper is devoted to discuss the stabilizability of a class of $ 2 \times2 $ non-homogeneous hyperbolic systems. Motivated by the example in \cite[Page 197]{CB2016}, we analyze the influence of the interval length $L$ on stabilizability of the system. By spectral analysis, we prove that either the system is stabilizable for all $L>0$ or it possesses the dichotomy property: there exists a criti…
▽ More
This paper is devoted to discuss the stabilizability of a class of $ 2 \times2 $ non-homogeneous hyperbolic systems. Motivated by the example in \cite[Page 197]{CB2016}, we analyze the influence of the interval length $L$ on stabilizability of the system. By spectral analysis, we prove that either the system is stabilizable for all $L>0$ or it possesses the dichotomy property: there exists a critical length $L_c>0$ such that the system is stabilizable for $L\in (0,L_c)$ but unstabilizable for $L\in [L_c,+\infty)$. In addition, for $L\in [L_c,+\infty)$, we obtain that the system can reach equilibrium state in finite time by backstep** control combined with observer. Finally, we also provide some numerical simulations to confirm our developed analytical criteria.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
