-
Garding cones and positivity of curvature operators
Authors:
Teng Huang,
Jiaogen Zhang
Abstract:
This article explores the relationship between Garding cones, demonstrating that the shift cone $\overlineΓ^{+}_{2}(α)$ is contained in $\overline{\mathcal{P}}_{m}$. By combining these results with the study of positivity properties of curvature operators, we establish several new connections between algebraic positivity conditions and the geometry of underlying Riemannian manifolds. Our main theo…
▽ More
This article explores the relationship between Garding cones, demonstrating that the shift cone $\overlineΓ^{+}_{2}(α)$ is contained in $\overline{\mathcal{P}}_{m}$. By combining these results with the study of positivity properties of curvature operators, we establish several new connections between algebraic positivity conditions and the geometry of underlying Riemannian manifolds. Our main theorems reveal how shifted cone conditions on curvature operators-both standard and of the second kind-constrain topology, including vanishing theorems for Betti numbers and characterizations of spherical space forms.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Heterogeneous and anisotropic elastic parameter estimation using a novel semi-analytical forward solver
Authors:
Xiaopeng Zhu,
Zhongyi Huang
Abstract:
An efficient procedure using a novel semi-analytical forward solver for identifying heterogeneous and anisotropic elastic parameters from only one full-field measurement is proposed and explored. We formulate the inverse problem as an special energy functional minimization with total variation(TV) regularization. The minimization problem is solved by Adam algorithm, which only requires solving one…
▽ More
An efficient procedure using a novel semi-analytical forward solver for identifying heterogeneous and anisotropic elastic parameters from only one full-field measurement is proposed and explored. We formulate the inverse problem as an special energy functional minimization with total variation(TV) regularization. The minimization problem is solved by Adam algorithm, which only requires solving one forward problem and no adjoint problem in each iteration. In order to deal with the irregularity of the elastic regions, the anisotropy and heterogeneity of parameters and potential singularities in forward-modeled issues, a novel semi-analytical forward solver named the direct method of lines is proposed, which discretizes angular variable while preserving analytical solutions along remaining coordinates. To validate the efficacy of our procedure, a series of numerical experiments are implemented subsequently, achieving reliable performance in both forward modeling and the six elastic arguments reconstruction scenarios.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Stochastic Integration on Stochastic Sets of Interval Type and Applications to Mathematical Finance
Authors:
Jia Yue,
Ming-Hui Wang,
Nan-Jing Huang
Abstract:
In the existing works, stochastic sets $\mathbb{B}$ of interval type, along with $\mathbb{B}$-stochastic processes, were introduced within the framework of stochastic analysis. In this paper, we undertake the construction of $\mathbb{B}$-stochastic integration by exploring three novel types of $\mathbb{B}$-stochastic integrals: Stieltjes integrals of $\mathbb{B}$-predictable processes with respect…
▽ More
In the existing works, stochastic sets $\mathbb{B}$ of interval type, along with $\mathbb{B}$-stochastic processes, were introduced within the framework of stochastic analysis. In this paper, we undertake the construction of $\mathbb{B}$-stochastic integration by exploring three novel types of $\mathbb{B}$-stochastic integrals: Stieltjes integrals of $\mathbb{B}$-predictable processes with respect to $\mathbb{B}$-adapted processes with finite variation, stochastic integrals of $\mathbb{B}$-predictable processes with respect to $\mathbb{B}$-inner local martingales, and stochastic integrals of $\mathbb{B}$-predictable processes with respect to $\mathbb{B}$-inner semimartingales. These $\mathbb{B}$-stochastic integrals are exclusively defined on subsets $\mathbb{B}$, with values outside the scope of $\mathbb{B}$ being deemed irrelevant. Additionally, we present several notable consequences, including the relationship between $\mathbb{B}$-stochastic integrals and existing stochastic integrals, as well as Itô's formula for $\mathbb{B}$-inner semimartingales. In the context of models pertaining to uncertain time-horizons in mathematical finance, we establish essentials of mathematical finance for general markets characterized by sudden-stop horizons. This is achieved by defining self-financing strategies, admissible strategies, and no-arbitrary conditions. In such financial markets, the exclusivity characteristic inherent in $\mathbb{B}$-stochastic integrals offers investors a viable alternative approach. This approach enables them to effectively filter out unnecessary information pertaining to asset price dynamics and portfolio strategies that extend beyond the predefined time-horizons.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Moment-enhanced shallow water equations for non-slip boundary conditions
Authors:
Shiping Zhou,
Juntao Huang,
Andrew J. Christlieb
Abstract:
The shallow water equations often assume a constant velocity profile along the vertical axis. However, this assumption does not hold in many practical applications. To better approximate the vertical velocity distribution, models such as the shallow water moment expansion models have been proposed. Nevertheless, under non-slip bottom boundary conditions, both the standard shallow water equation an…
▽ More
The shallow water equations often assume a constant velocity profile along the vertical axis. However, this assumption does not hold in many practical applications. To better approximate the vertical velocity distribution, models such as the shallow water moment expansion models have been proposed. Nevertheless, under non-slip bottom boundary conditions, both the standard shallow water equation and its moment-enhanced models struggle to accurately capture the vertical velocity profile due to the stiff source terms. In this work, we propose modified shallow water equations and corresponding moment-enhanced models that perform well under both non-slip and slip boundary conditions. The primary difference between the modified and original models lies in the treatment of the source term, which allows our modified moment expansion models to be readily generalized, while maintaining compatibility with our previous analysis on the hyperbolicity of the model. To assess the performance of both the standard and modified moment expansion models, we conduct a comprehensive numerical comparison with the incompressible Navier--Stokes equations -- a comparison that is absent from existing literature.
△ Less
Submitted 26 May, 2025;
originally announced June 2025.
-
Neighbor Connectivity of Undirected Toroidal Meshes
Authors:
Hui-Ming Huang,
Ruichao Niu,
Min Xu,
Jou-Ming Chang
Abstract:
In this paper, we examine the neighbor connectivity, denoted as $κ_{NB}$, of the undirected toroidal mesh $C(d_1,d_2,\ldots,d_n)$. We demonstrate that $κ_{NB}(C(d_1,d_2,\ldots,d_n)) = n$ for all $n \ge 2$ and $d_i \ge 3$ (for $1 \le i \le n$). Additionally, we perform a computer simulation experiment on neighbor connectivity in undirected toroidal meshes. This experiment not only supports our theo…
▽ More
In this paper, we examine the neighbor connectivity, denoted as $κ_{NB}$, of the undirected toroidal mesh $C(d_1,d_2,\ldots,d_n)$. We demonstrate that $κ_{NB}(C(d_1,d_2,\ldots,d_n)) = n$ for all $n \ge 2$ and $d_i \ge 3$ (for $1 \le i \le n$). Additionally, we perform a computer simulation experiment on neighbor connectivity in undirected toroidal meshes. This experiment not only supports our theoretical findings with empirical results but also provides a deeper understanding of neighbor structure failures in undirected toroidal meshes.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
A Chebyshev criterion for at most two non-zero limit cycles in Abel equations
Authors:
Jianfeng Huang,
Renhao Tian,
Yulin Zhao
Abstract:
This paper investigates the Abel equation $\dot{x}=A(t)x^{3}+B(t)x^{2}$ on an interval $[0,T]$. The Smale-Pugh problem asks whether the maximum number of limit cycles of the equation is bounded in terms of a given class of coefficients. We establish for the first time a Chebyshev criterion, providing a positive answer to the problem when this class spanned by an extended Chebyshev system (ET-syste…
▽ More
This paper investigates the Abel equation $\dot{x}=A(t)x^{3}+B(t)x^{2}$ on an interval $[0,T]$. The Smale-Pugh problem asks whether the maximum number of limit cycles of the equation is bounded in terms of a given class of coefficients. We establish for the first time a Chebyshev criterion, providing a positive answer to the problem when this class spanned by an extended Chebyshev system (ET-system) $\mathcal{F}=\{f_{0},f_{1},f_{2}\}$ on $[0,T)$ with $f_{0}\not=0$.
As an application, we prove that the equation has at most three limit cycles (including $x=0$) when the coefficients $A$ and $B$ are both linear trigonometric functions or quadratic polynomials. This reestablishes the result of Yu et al. (J. Differ. Equ., 2024) and improves the work of Bravo et al. (Disc. Cont. Dyn. Syst., 2015 \& J. Differ. Equ., 2024). We also obtain the same maximum number of limit cycles for the equation with trinomial coefficients.
△ Less
Submitted 16 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.
-
Fast Convergence for High-Order ODE Solvers in Diffusion Probabilistic Models
Authors:
Daniel Zhengyu Huang,
Jiaoyang Huang,
Zhengjiang Lin
Abstract:
Diffusion probabilistic models generate samples by learning to reverse a noise-injection process that transforms data into noise. Reformulating this reverse process as a deterministic probability flow ordinary differential equation (ODE) enables efficient sampling using high-order solvers, often requiring only $\mathcal{O}(10)$ steps. Since the score function is typically approximated by a neural…
▽ More
Diffusion probabilistic models generate samples by learning to reverse a noise-injection process that transforms data into noise. Reformulating this reverse process as a deterministic probability flow ordinary differential equation (ODE) enables efficient sampling using high-order solvers, often requiring only $\mathcal{O}(10)$ steps. Since the score function is typically approximated by a neural network, analyzing the interaction between its regularity, approximation error, and numerical integration error is key to understanding the overall sampling accuracy. In this work, we continue our analysis of the convergence properties of the deterministic sampling methods derived from probability flow ODEs [25], focusing on $p$-th order (exponential) Runge-Kutta schemes for any integer $p \geq 1$. Under the assumption that the first and second derivatives of the approximate score function are bounded, we develop $p$-th order (exponential) Runge-Kutta schemes and demonstrate that the total variation distance between the target distribution and the generated data distribution can be bounded above by \begin{align*}
O\bigl(d^{\frac{7}{4}}\varepsilon_{\text{score}}^{\frac{1}{2}} +d(dH_{\max})^p\bigr), \end{align*} where $\varepsilon^2_{\text{score}}$ denotes the $L^2$ error in the score function approximation, $d$ is the data dimension and $H_{\max}$ represents the maximum step size used in the solver. We numerically verify the regularity assumption on benchmark datasets, confirming that the first and second derivatives of the approximate score function remain bounded in practice. Our theoretical guarantees hold for general forward processes with arbitrary variance schedules.
△ Less
Submitted 18 June, 2025; v1 submitted 15 June, 2025;
originally announced June 2025.
-
Lagrange multiplier expressions for matrix polynomial optimization and tight relaxations
Authors:
Lei Huang,
Jiawang Nie,
Jiajia Wang,
Lingling Xie
Abstract:
This paper studies matrix constrained polynomial optimization. We investigate how to get explicit expressions for Lagrange multiplier matrices from the first order optimality conditions. The existence of these expressions can be shown under the nondegeneracy condition. Using Lagrange multiplier matrix expressions, we propose a strengthened Moment-SOS hierarchy for solving matrix polynomial optimiz…
▽ More
This paper studies matrix constrained polynomial optimization. We investigate how to get explicit expressions for Lagrange multiplier matrices from the first order optimality conditions. The existence of these expressions can be shown under the nondegeneracy condition. Using Lagrange multiplier matrix expressions, we propose a strengthened Moment-SOS hierarchy for solving matrix polynomial optimization. Under some general assumptions, we show that this strengthened hierarchy is tight, or equivalently, it has finite convergence. We also study how to detect tightness and how to extract optimizers. Numerical experiments are provided to show the efficiency of the strengthened hierarchy.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
Superconvergent quadriatic finite element on uniform tetrahedral meshes
Authors:
Yunqing Huang,
Shangyou Zhang
Abstract:
By a direct computation, we show that the $P_2$ interpolation of a $P_3$ function is also a local $H^1$-projection on uniform tetrahedral meshes, i.e., the difference is $H^1$-orthogonal to the $P_2$ Lagrange basis function on the support patch of tetrahedra of the basis function. Consequently, we show the $H^1$ and $L^2$ rconvergence of the $P_2$ Lagrange finite element on uniform tetrahedral mes…
▽ More
By a direct computation, we show that the $P_2$ interpolation of a $P_3$ function is also a local $H^1$-projection on uniform tetrahedral meshes, i.e., the difference is $H^1$-orthogonal to the $P_2$ Lagrange basis function on the support patch of tetrahedra of the basis function. Consequently, we show the $H^1$ and $L^2$ rconvergence of the $P_2$ Lagrange finite element on uniform tetrahedral meshes. Using the standard 20-points Lagrange $P_3$ interpolation, where the 20 nodes are exactly some $P_2$ global basis nodes, we lift the superconvergent $P_2$ finite element solution to a quasi-optimal $P_3$ solution on each cube. Numerical results confirm the theory.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
A Generalized Framework for Approximate Co-Sufficient Sampling
Authors:
Jie Xie,
Dongming Huang
Abstract:
Approximate co-sufficient sampling (aCSS) offers a principled route to hypothesis testing when null distributions are unknown, yet current implementations are confined to maximum likelihood estimators with smooth or linear regularization and provide little theoretical insight into power. We present a generalized framework that widens the scope of the aCSS method to embrace nonlinear regularization…
▽ More
Approximate co-sufficient sampling (aCSS) offers a principled route to hypothesis testing when null distributions are unknown, yet current implementations are confined to maximum likelihood estimators with smooth or linear regularization and provide little theoretical insight into power. We present a generalized framework that widens the scope of the aCSS method to embrace nonlinear regularization, such as group lasso and nonconvex penalties, as well as robust and nonparametric estimators. Moreover, we introduce a weighted sampling scheme for enhanced flexibility and propose a generalized aCSS framework that unifies existing conditional sampling methods. Our theoretical analysis rigorously establishes validity and, for the first time, characterizes the power optimality of aCSS procedures in certain high-dimensional settings.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Linear-quadratic stochastic nonzero-sum differential games between graphon teams
Authors:
De-xuan Xu,
Zhun Gou,
Nan-jing Huang
Abstract:
We study a class of nonzero-sum stochastic differential games between two teams with agents in each team interacting through graphon aggregates. On the one hand, in each large population group, agents act together to optimize a common social cost function. On the other hand, these two groups compete with each other, forming a Nash game between two graphon teams. We note that the original problem c…
▽ More
We study a class of nonzero-sum stochastic differential games between two teams with agents in each team interacting through graphon aggregates. On the one hand, in each large population group, agents act together to optimize a common social cost function. On the other hand, these two groups compete with each other, forming a Nash game between two graphon teams. We note that the original problem can be equivalently formulated as an infinite-dimensional two-agent Nash game. Applying the dynamic programming approach, we obtain a set of coupled operator-valued Riccati-type equations. By proving the existence of solutions to the equations mentioned above, we obtain a Nash equilibrium for the two teams.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Rank metric isometries and determinant-preserving mappings on II$_1$-factors
Authors:
Jinghao Huang,
Karimbergen Kudaybergenov,
Fedor Sukochev
Abstract:
We fully describe the general form of a linear (or conjugate-linear) rank metric isometry on the Murray--von Neumann algebra associated with a II$_1$-factor. As an application, we establish Frobenius' theorem in the setting of II$_1$-factors, by showing that every determinant-preserving linear bijection between two II$_1$-factors is necessarily an isomorphism or an anti-isomorphism. This confirms…
▽ More
We fully describe the general form of a linear (or conjugate-linear) rank metric isometry on the Murray--von Neumann algebra associated with a II$_1$-factor. As an application, we establish Frobenius' theorem in the setting of II$_1$-factors, by showing that every determinant-preserving linear bijection between two II$_1$-factors is necessarily an isomorphism or an anti-isomorphism. This confirms the Harris--Kadison conjecture (1996).
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Uniqueness and dimension for the geodesic of the critical long-range percolation metric
Authors:
Jian Ding,
Zherui Fan,
Lu-Jing Huang
Abstract:
By recent works of Bäumler [2] and of the authors of this paper [5], the (limiting) random metric for the critical long-range percolation was constructed. In this paper, we prove the uniqueness of the geodesic between two fixed points, for which an important ingredient of independent interest is the continuity of the metric distribution. In addition, we establish the Hausdorff dimension of the geo…
▽ More
By recent works of Bäumler [2] and of the authors of this paper [5], the (limiting) random metric for the critical long-range percolation was constructed. In this paper, we prove the uniqueness of the geodesic between two fixed points, for which an important ingredient of independent interest is the continuity of the metric distribution. In addition, we establish the Hausdorff dimension of the geodesics.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Transition Path Theory For Lévy-Type Processes: SDE Representation and Statistics
Authors:
Yuanfei Huang,
Xiang Zhou
Abstract:
This paper establishes a Transition Path Theory (TPT) for Lévy-type processes, addressing a critical gap in the study of the transition mechanism between meta-stabile states in non-Gaussian stochastic systems. A key contribution is the rigorous derivation of the stochastic differential equation (SDE) representation for transition path processes, which share the same distributional properties as tr…
▽ More
This paper establishes a Transition Path Theory (TPT) for Lévy-type processes, addressing a critical gap in the study of the transition mechanism between meta-stabile states in non-Gaussian stochastic systems. A key contribution is the rigorous derivation of the stochastic differential equation (SDE) representation for transition path processes, which share the same distributional properties as transition trajectories, along with a proof of its well-posedness. This result provides a solid theoretical foundation for sampling transition trajectories. The paper also investigates the statistical properties of transition trajectories, including their probability distribution, probability current, and rate of occurrence.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
(2+1)d Lattice Models and Tensor Networks for Gapped Phases with Categorical Symmetry
Authors:
Kansei Inamura,
Sheng-Jie Huang,
Apoorv Tiwari,
Sakura Schafer-Nameki
Abstract:
Gapped phases in 2+1 dimensional quantum field theories with fusion 2-categorical symmetries were recently classified and characterized using the Symmetry Topological Field Theory (SymTFT) approach arXiv:2408.05266, arXiv:2502.20440. In this paper, we provide a systematic lattice model construction for all such gapped phases. Specifically, we consider ``All boson type" fusion 2-category symmetries…
▽ More
Gapped phases in 2+1 dimensional quantum field theories with fusion 2-categorical symmetries were recently classified and characterized using the Symmetry Topological Field Theory (SymTFT) approach arXiv:2408.05266, arXiv:2502.20440. In this paper, we provide a systematic lattice model construction for all such gapped phases. Specifically, we consider ``All boson type" fusion 2-category symmetries, all of which are obtainable from 0-form symmetry groups $G$ (possibly with an 't Hooft anomaly) via generalized gauging--that is, by stacking with an $H$-symmetric TFT and gauging a subgroup $H$. The continuum classification directly informs the lattice data, such as the generalized gauging that determines the symmetry category, and the data that specifies the gapped phase. We construct commuting projector Hamiltonians and ground states applicable to any non-chiral gapped phase with such symmetries. We also describe the ground states in terms of tensor networks. In light of the length of the paper, we include a self-contained summary section presenting the main results and examples.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Low degree subvarieties of universal hypersurfaces
Authors:
Yifeng Huang,
Borys Kadets,
Olivier Martin
Abstract:
We study irreducible subvarieties $Z$ of the universal hypersurface $\mathcal{X}/B$ of degree $d$ and dimension $n$. We prove that when $d$ is sufficiently large, degree $kd$ subvarieties $Z$ which dominate $B$ come from intersection with a family of degree $k$ projective varieties parametrized by $B$. This answers a question raised independently by Farb and Ma. Our main tools consist of a Grassma…
▽ More
We study irreducible subvarieties $Z$ of the universal hypersurface $\mathcal{X}/B$ of degree $d$ and dimension $n$. We prove that when $d$ is sufficiently large, degree $kd$ subvarieties $Z$ which dominate $B$ come from intersection with a family of degree $k$ projective varieties parametrized by $B$. This answers a question raised independently by Farb and Ma. Our main tools consist of a Grassmannian technique due to Riedl and Yang, a theorem of Mumford-Roitman on rational equivalence of zero-cycles, and an analysis of Cayley-Bacharach conditions in the presence of a Galois action. We also show that the large degree assumption is necessary; for $d=3$, rational points are dense in $\text{Sym}^dX_{k(B)}$, and in particular are not collinear.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Divisibility of Griesmer Codes
Authors:
Haihua Deng,
Hexiang Huang,
Qing Xiang
Abstract:
In this paper, we consider Griesmer codes, namely those linear codes meeting the Griesmer bound. Let $C$ be an $[n,k,d]_q$ Griesmer code with $q=p^f$, where $p$ is a prime and $f\ge1$ is an integer. In 1998, Ward proved that for $q=p$, if $p^e|d$, then $p^e|\mathrm{wt}(c)$ for all $c\in C$. In this paper, we show that if $q^e|d$, then $C$ has a basis consisting of $k$ codewords such that the first…
▽ More
In this paper, we consider Griesmer codes, namely those linear codes meeting the Griesmer bound. Let $C$ be an $[n,k,d]_q$ Griesmer code with $q=p^f$, where $p$ is a prime and $f\ge1$ is an integer. In 1998, Ward proved that for $q=p$, if $p^e|d$, then $p^e|\mathrm{wt}(c)$ for all $c\in C$. In this paper, we show that if $q^e|d$, then $C$ has a basis consisting of $k$ codewords such that the first $\min\left\{e+1,k\right\}$ of them span a Griesmer subcode with constant weight $d$ and any $k-1$ of them span a $[g_q(k-1,d),k-1,d]_q$ Griesmer subcode. Using the $p$-adic algebraic method together with this basis, we prove that if $q^e|d$, then $p^e|\mathrm{wt}(c)$ for all $c\in C$. Based on this fact, using the geometric approach with the aforementioned basis, we show that if $p^e|d$, then $Δ|{\rm wt}(c)$ for all $c\in C$, where $Δ=\left\lceil p^{e-(f-1)(q-2)}\right\rceil$.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Quantitative Hardy--Littlewood maximal inequalities and Wiener--Stein theorem on fractal sets
Authors:
Long Huang,
Jinjun Li,
Xiaofeng Wang
Abstract:
Let $K\subset \mathbb{R}^d$ be a self-similar set with Hausdorff dimension $s$, and $μ$ be a self-similar probability measure supported on $K$. Let $H^α_μ$, $0<α\le s$, be the Hausdorff content on $K$, and $M_{\mathcal{D}}^μ$ be the Hardy--Littlewood maximal operator defined on $K$ associated with its basic cubes $\mathcal{D}$. In this paper, we establish quantitative strong type and weak type Har…
▽ More
Let $K\subset \mathbb{R}^d$ be a self-similar set with Hausdorff dimension $s$, and $μ$ be a self-similar probability measure supported on $K$. Let $H^α_μ$, $0<α\le s$, be the Hausdorff content on $K$, and $M_{\mathcal{D}}^μ$ be the Hardy--Littlewood maximal operator defined on $K$ associated with its basic cubes $\mathcal{D}$. In this paper, we establish quantitative strong type and weak type Hardy--Littlewood maximal inequalities on fractal set $K$ with respect to $H^α_μ$ for all range $0<α\le s$.
As applications, the Lebesgue differentiation theorem on $K$ is proved. Moreover, via the Hardy--Littlewood maximal operator $M_{\mathcal{D}}^μ$, we characterize the Lebesgue--Choquet space $L^p(K,H^α_μ)$ and the Zygmund space $L\log L(K,μ)$. To be exact, given $α/s< p\le \infty$, we discover that \[ \text{$f\in L^p(K,H^α_μ)$ if and only if $M_{\mathcal{D}}^μf\in L^p(K,H^α_μ)$}\] and, for $f\in L^1(K,μ)$, \[\text{$M_{\mathcal{D}}^μf\in L^1(K,μ)$ if and only if $f\in L\log L(K,μ)$}. \] That is, Wiener's $L\log L$ inequality and its converse inequality due to Stein in 1969 are extended to fractal set $K$ with respect to $μ$.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
Active Contour Models Driven by Hyperbolic Mean Curvature Flow for Image Segmentation
Authors:
Saiyu Hu,
Chunlei He,
Jianfeng Zhang,
Dexing Kong,
Shoujun Huang
Abstract:
Parabolic mean curvature flow-driven active contour models (PMCF-ACMs) are widely used in image segmentation, which however depend heavily on the selection of initial curve configurations. In this paper, we firstly propose several hyperbolic mean curvature flow-driven ACMs (HMCF-ACMs), which introduce tunable initial velocity fields, enabling adaptive optimization for diverse segmentation scenario…
▽ More
Parabolic mean curvature flow-driven active contour models (PMCF-ACMs) are widely used in image segmentation, which however depend heavily on the selection of initial curve configurations. In this paper, we firstly propose several hyperbolic mean curvature flow-driven ACMs (HMCF-ACMs), which introduce tunable initial velocity fields, enabling adaptive optimization for diverse segmentation scenarios. We shall prove that HMCF-ACMs are indeed normal flows and establish the numerical equivalence between dissipative HMCF formulations and certain wave equations using the level set method with signed distance function. Building on this framework, we furthermore develop hyperbolic dual-mode regularized flow-driven ACMs (HDRF-ACMs), which utilize smooth Heaviside functions for edge-aware force modulation to suppress over-diffusion near weak boundaries. Then, we optimize a weighted fourth-order Runge-Kutta algorithm with nine-point stencil spatial discretization when solving the above-mentioned wave equations. Experiments show that both HMCF-ACMs and HDRF-ACMs could achieve more precise segmentations with superior noise resistance and numerical stability due to task-adaptive configurations of initial velocities and initial contours.
△ Less
Submitted 7 June, 2025;
originally announced June 2025.
-
Hodge decomposition and Hard Lefschetz Condition on almost Kähler manifolds
Authors:
Teng Huang,
Weiwei Wang
Abstract:
In this article, we discuss the spaces of harmonic forms $\mathcal{H}^{\bullet}_{d}$ over a closed almost Kähler manifold $(X, J,ω)$. We show that if the almost complex structure $J$ on the almost Kähler manifold $X$ is not too non-integrable in some sense, then the spaces $\mathcal{H}^{\bullet}_{d}$ have the Hodge decomposition $\mathcal{H}^{k}_{d}=\oplus_{p+q=k}\mathcal{H}^{p,q}_{d}$. As a conse…
▽ More
In this article, we discuss the spaces of harmonic forms $\mathcal{H}^{\bullet}_{d}$ over a closed almost Kähler manifold $(X, J,ω)$. We show that if the almost complex structure $J$ on the almost Kähler manifold $X$ is not too non-integrable in some sense, then the spaces $\mathcal{H}^{\bullet}_{d}$ have the Hodge decomposition $\mathcal{H}^{k}_{d}=\oplus_{p+q=k}\mathcal{H}^{p,q}_{d}$. As a consequence, the not too non-integrable almost complex structure $J$ is complex $C^{\infty}$-pure-and-full, and the Hard Lefschetz Condition (HLC) on $\mathcal{H}^{\bullet}_{d}$ is satisfied. Moreover, we can prove a rigidity result for the closed $4$-dimensional almost Kähler manifold with $b^{+}_{2}(X)\geq2$.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Elliptic constant cycle curves on Kummer surfaces
Authors:
Jiexiang Huang
Abstract:
The order of a constant cycle curve $C \subset X$ on a K3 surface, defined by Huybrechts, is a positive integer that measures the obstruction to decomposing the diagonal class $Δ_C$ in the Chow group $\mathrm{CH}^2(X \times C)$. In this paper, we compute the order of elliptic constant cycle curves that naturally arise on Kummer surfaces, by passing to the transcendental intermediate Jacobian…
▽ More
The order of a constant cycle curve $C \subset X$ on a K3 surface, defined by Huybrechts, is a positive integer that measures the obstruction to decomposing the diagonal class $Δ_C$ in the Chow group $\mathrm{CH}^2(X \times C)$. In this paper, we compute the order of elliptic constant cycle curves that naturally arise on Kummer surfaces, by passing to the transcendental intermediate Jacobian $J_{\mathrm{tr}}^3(X \times C)$. As a consequence, every $n \in \mathbb{N}$ can be realized as the order of a constant cycle curve on a K3 surface.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
PDHCG: A Scalable First-Order Method for Large-Scale Competitive Market Equilibrium Computation
Authors:
Huikang Liu,
Yicheng Huang,
Hongpei Li,
Dongdong Ge,
Yinyu Ye
Abstract:
Large-scale competitive market equilibrium problems arise in a wide range of important applications, including economic decision-making and intelligent manufacturing. Traditional solution methods, such as interior-point algorithms and certain projection-based approaches, often fail to scale effectively to large problem instances. In this paper, we propose an efficient computational framework that…
▽ More
Large-scale competitive market equilibrium problems arise in a wide range of important applications, including economic decision-making and intelligent manufacturing. Traditional solution methods, such as interior-point algorithms and certain projection-based approaches, often fail to scale effectively to large problem instances. In this paper, we propose an efficient computational framework that integrates the primal-dual hybrid conjugate gradient (PDHCG) algorithm with GPU-based parallel computing to solve large-scale Fisher market equilibrium problems. By exploiting the underlying mathematical structure of the problem, we establish a theoretical guarantee of linear convergence for the proposed algorithm. Furthermore, the proposed framework can be extended to solve large-scale Arrow-Debreu market equilibrium problems through a fixed-point iteration scheme. Extensive numerical experiments conducted on GPU platforms demonstrate substantial improvements in computational efficiency, significantly expanding the practical solvable scale and applicability of market equilibrium models.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Finite $s$-geodesic transitive graphs under certain girths
Authors:
Jun-Jie Huang
Abstract:
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser…
▽ More
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser. A 178 (2021) 105349] have studied $3$-geodesic transitive graphs of girth $5$ or $6$, and they also proposed to the problem that to classify $s$-geodesic transitive graphs of girth $2s-1$ or $2s-2$ for $s=4, 5, 6, 7, 8$. The case of $s = 4$ was investigated in [J. Algebra Combin. 60 (2024) 949--963]. In this paper, we study such graphs with $s\geq5$. More precisely, it is shown that a connected $(G,s)$-geodesic transitive graph $Γ$ with a nontrivial intransitive normal subgroup $N$ of $G$ which has at least $3$ orbits, where $G$ is an automorphism group of $Γ$ and $s\geq 5$, either $Γ$ is the Foster graph and $Γ_N$ is the Tutte's $8$-cage, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,s)$-geodesic transitive. Moreover, it is proved that if $G$ acts quasiprimitively on its vertex set, then $G$ is an almost simple group, and if $G$ acts biquasiprimitively, the stabilizer of biparts of $Γ$ in $G$ is an almost simple quasiprimitive group on each of biparts. In addition, $G$ cannot be primitive or biprimitive.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Transformers Meet In-Context Learning: A Universal Approximation Theory
Authors:
Gen Li,
Yuchen Jiao,
Yu Huang,
Yuting Wei,
Yuxin Chen
Abstract:
Modern large language models are capable of in-context learning, the ability to perform new tasks at inference time using only a handful of input-output examples in the prompt, without any fine-tuning or parameter updates. We develop a universal approximation theory to better understand how transformers enable in-context learning. For any class of functions (each representing a distinct task), we…
▽ More
Modern large language models are capable of in-context learning, the ability to perform new tasks at inference time using only a handful of input-output examples in the prompt, without any fine-tuning or parameter updates. We develop a universal approximation theory to better understand how transformers enable in-context learning. For any class of functions (each representing a distinct task), we demonstrate how to construct a transformer that, without any further weight updates, can perform reliable prediction given only a few in-context examples. In contrast to much of the recent literature that frames transformers as algorithm approximators -- i.e., constructing transformers to emulate the iterations of optimization algorithms as a means to approximate solutions of learning problems -- our work adopts a fundamentally different approach rooted in universal function approximation. This alternative approach offers approximation guarantees that are not constrained by the effectiveness of the optimization algorithms being approximated, thereby extending far beyond convex problems and linear function classes. Our construction sheds light on how transformers can simultaneously learn general-purpose representations and adapt dynamically to in-context examples.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Application of SDRE to Achieve Gait Control in a Bipedal Robot for Knee-Type Exoskeleton Testing
Authors:
Ping-Kong Huang,
Chien-Wu Lan,
Chin-Tien Wu
Abstract:
Exoskeletons are widely used in rehabilitation and industrial applications to assist human motion. However, direct human testing poses risks due to possible exoskeleton malfunctions and inconsistent movement replication. To provide a safer and more repeatable testing environment, this study employs a bipedal robot platform to reproduce human gait, allowing for controlled exoskeleton evaluations. A…
▽ More
Exoskeletons are widely used in rehabilitation and industrial applications to assist human motion. However, direct human testing poses risks due to possible exoskeleton malfunctions and inconsistent movement replication. To provide a safer and more repeatable testing environment, this study employs a bipedal robot platform to reproduce human gait, allowing for controlled exoskeleton evaluations. A control strategy based on the State-Dependent Riccati Equation (SDRE) is formulated to achieve optimal torque control for accurate gait replication. The bipedal robot dynamics are represented using double pendulum model, where SDRE-optimized control inputs minimize deviations from human motion trajectories. To align with motor behavior constraints, a parameterized control method is introduced to simplify the control process while effectively replicating human gait. The proposed approach initially adopts a ramping trapezoidal velocity model, which is then adapted into a piecewise linear velocity-time representation through motor command overwriting. This modification enables finer control over gait phase transitions while ensuring compatibility with motor dynamics. The corresponding cost function optimizes the control parameters to minimize errors in joint angles, velocities, and torques relative to SDRE control result. By structuring velocity transitions in accordance with motor limitations, the method reduce the computational load associated with real-time control. Experimental results verify the feasibility of the proposed parameterized control method in reproducing human gait. The bipedal robot platform provides a reliable and repeatable testing mechanism for knee-type exoskeletons, offering insights into exoskeleton performance under controlled conditions.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Geodesic transitive graphs of small valency
Authors:
Jun-Jie Huang
Abstract:
For a graph $Γ$, the {\em distance} $d_Γ(u,v)$ between two distinct vertices $u$ and $v$ in $Γ$ is defined as the length of the shortest path from $u$ to $v$, and the {\em diameter} $\mathrm{diam}(Γ)$ of $Γ$ is the maximum distance between $u$ and $v$ for all vertices $u$ and $v$ in the vertex set of $Γ$. For a positive integer $s$, a path $(u_0,u_1,\ldots,u_{s})$ is called an {\em $s$-geodesic} i…
▽ More
For a graph $Γ$, the {\em distance} $d_Γ(u,v)$ between two distinct vertices $u$ and $v$ in $Γ$ is defined as the length of the shortest path from $u$ to $v$, and the {\em diameter} $\mathrm{diam}(Γ)$ of $Γ$ is the maximum distance between $u$ and $v$ for all vertices $u$ and $v$ in the vertex set of $Γ$. For a positive integer $s$, a path $(u_0,u_1,\ldots,u_{s})$ is called an {\em $s$-geodesic} if the distance of $u_0$ and $u_s$ is $s$. The graph $Γ$ is said to be {\em distance transitive} if for any vertices $u,v,x,y$ of $\Ga$ such that $d_\Ga(u,v)=d_\Ga(x,y)$, there exists an automorphism of $Γ$ that maps the pair $(u,v)$ to the pair $(x,y)$. Moreover, $Γ$ is said to be {\em geodesic transitive} if for each $i\leq \mathrm{diam}(\Ga)$, the full automorphism group acts transitively on the set of all $i$-geodesics. In the monograph [Distance-Regular Graphs, Section 7.5], the authors listed all distance transitive graphs of valency at most $13$. By using this classification, in this paper, we provide a complete classification of geodesic transitive graphs with valency at most $13$. As a result, there are exactly seven graphs of valency at most $13$ that are distance transitive but not geodesic transitive.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Non-linear Multi-objective Optimization with Probabilistic Branch and Bound
Authors:
Hao Huang,
Zelda B. Zabinsky
Abstract:
A multiple objective simulation optimization algorithm named Multiple Objective Probabilistic Branch and Bound with Single Observation (MOPBnB(so)) is presented for approximating the Pareto optimal set and the associated efficient frontier for stochastic multi-objective optimization problems. MOPBnB(so) evaluates a noisy function exactly once at any solution and uses neighboring solutions to estim…
▽ More
A multiple objective simulation optimization algorithm named Multiple Objective Probabilistic Branch and Bound with Single Observation (MOPBnB(so)) is presented for approximating the Pareto optimal set and the associated efficient frontier for stochastic multi-objective optimization problems. MOPBnB(so) evaluates a noisy function exactly once at any solution and uses neighboring solutions to estimate the objective functions, in contrast to a variant that uses multiple replications at a solution to estimate the objective functions. A finite-time performance analysis for deterministic multi-objective problems provides a bound on the probability that MOPBnB(so) captures the Pareto optimal set. Asymptotic convergence of MOPBnB(so) on stochastic problems is derived, in that the algorithm captures the Pareto optimal set and the estimations converge to the true objective function values. Numerical results reveal that the variant with multiple replications is extremely intensive in terms of computational resources compared to MOPBnB(so). In addition, numerical results show that MOPBnB(so) outperforms a genetic algorithm NSGA-II on test problems.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Lagrangian Particle Classification and Lagrangian Flux Identities for a Moving Hypersurface
Authors:
Lingyun Ding,
Shuang Hu,
Baiyun Huang,
Qinghai Zhang
Abstract:
For a moving hypersurface in the flow of a nonautonomous ordinary differential equation in $n$-dimensional Euclidean spaces, the fluxing index of a passively-advected Lagrangian particle
is the total number of times it crosses the moving hypersurface within a time interval. The problem of Lagrangian particle classification is to decompose the phase space into flux sets, equivalence classes of La…
▽ More
For a moving hypersurface in the flow of a nonautonomous ordinary differential equation in $n$-dimensional Euclidean spaces, the fluxing index of a passively-advected Lagrangian particle
is the total number of times it crosses the moving hypersurface within a time interval. The problem of Lagrangian particle classification is to decompose the phase space into flux sets, equivalence classes of Lagrangian particles at the initial time. In the context of scalar conservation laws, the problem of Lagrangian flux calculation (LFC) is to find flux identities that relate the Eulerian flux of a scalar through the moving hypersurface, a spatiotemporal integral over the moving surface in a given time interval, to spatial integrals over donating regions
at the initial time of the interval. In this work, we implicitly characterize flux sets via topological degrees, explicitly construct donating regions, prove the equivalence of flux sets and donating regions, and establish two flux identities; these analytical results constitute our solutions to the aforementioned problems. Based on a flux identity suitable for numerical calculation, we further proposed a new LFC algorithm, proved its convergence, and demonstrated its efficiency, good conditioning, and high-order accuracy by results of various numerical tests.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Classification of the real Painlevé I transcendents by zeros and connection problem: an asymptotic study
Authors:
Yan Huang,
Yu-Tian Li,
Wen-Gao Long
Abstract:
In this paper, we study the asymptotic behavior and connection problem of Painlevé I (PI) equation through a detailed analysis of the Stokes multipliers associated with its solutions. Focusing on the regime where the derivative at the real zeros of the solution becomes large, we apply the complex WKB method to derive full asymptotic expansions of the Stokes multipliers. These expansions allow us t…
▽ More
In this paper, we study the asymptotic behavior and connection problem of Painlevé I (PI) equation through a detailed analysis of the Stokes multipliers associated with its solutions. Focusing on the regime where the derivative at the real zeros of the solution becomes large, we apply the complex WKB method to derive full asymptotic expansions of the Stokes multipliers. These expansions allow us to classify real solutions of PI according to their behavior at the zeros, distinguishing between oscillatory, separatrix, and singular types solutions on the negative real axis. Furthermore, we resolve the connection problem between the large negative asymptotics and the location of positive zeros by establishing full asymptotic expansions of the zero parameters. Our approach enables the construction of a precise phase diagram in the $(r,b)$-plane, where $r$ is the location of a zero and $b$ is the derivative at that point. Numerical simulations are provided to validate the theoretical results. This work extends prior studies on monodromy asymptotics and contributes a comprehensive framework for understanding the global structure of real PI solutions through their local zero data.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Nonsmooth data error estimates for exponential Runge-Kutta methods and applications to split exponential integrators
Authors:
Qiumei Huang,
Alexander Ostermann,
Gangfan Zhong
Abstract:
We derive error bounds for exponential Runge-Kutta discretizations of parabolic equations with nonsmooth initial data. Our analysis is carried out in a framework of abstract semilinear evolution equations with operators having non-dense domain. In particular, we investigate nonsmooth data error estimates for the Allen-Cahn and the Burgers' equation. As an application, we apply these nonsmooth data…
▽ More
We derive error bounds for exponential Runge-Kutta discretizations of parabolic equations with nonsmooth initial data. Our analysis is carried out in a framework of abstract semilinear evolution equations with operators having non-dense domain. In particular, we investigate nonsmooth data error estimates for the Allen-Cahn and the Burgers' equation. As an application, we apply these nonsmooth data error estimates to split exponential integrators and derive a convergence result in terms of the data.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Towards Geometry Problem Solving in the Large Model Era: A Survey
Authors:
Yurui Zhao,
Xiang Wang,
Jiahong Liu,
Irwin King,
Zhitao Huang
Abstract:
Geometry problem solving (GPS) represents a critical frontier in artificial intelligence, with profound applications in education, computer-aided design, and computational graphics. Despite its significance, automating GPS remains challenging due to the dual demands of spatial understanding and rigorous logical reasoning. Recent advances in large models have enabled notable breakthroughs, particul…
▽ More
Geometry problem solving (GPS) represents a critical frontier in artificial intelligence, with profound applications in education, computer-aided design, and computational graphics. Despite its significance, automating GPS remains challenging due to the dual demands of spatial understanding and rigorous logical reasoning. Recent advances in large models have enabled notable breakthroughs, particularly for SAT-level problems, yet the field remains fragmented across methodologies, benchmarks, and evaluation frameworks. This survey systematically synthesizes GPS advancements through three core dimensions: (1) benchmark construction, (2) textual and diagrammatic parsing, and (3) reasoning paradigms. We further propose a unified analytical paradigm, assess current limitations, and identify emerging opportunities to guide future research toward human-level geometric reasoning, including automated benchmark generation and interpretable neuro-symbolic integration.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
TL;DR: Too Long, Do Re-weighting for Efficient LLM Reasoning Compression
Authors:
Zhong-Zhi Li,
Xiao Liang,
Zihao Tang,
Lei Ji,
Peijie Wang,
Haotian Xu,
Xing W,
Haizhen Huang,
Weiwei Deng,
Yeyun Gong,
Zhijiang Guo,
Xiao Liu,
Fei Yin,
Cheng-Lin Liu
Abstract:
Large Language Models (LLMs) have recently achieved remarkable progress by leveraging Reinforcement Learning and extended Chain-of-Thought (CoT) techniques. However, the challenge of performing efficient language reasoning--especially during inference with extremely long outputs--has drawn increasing attention from the research community. In this work, we propose a dynamic ratio-based training pip…
▽ More
Large Language Models (LLMs) have recently achieved remarkable progress by leveraging Reinforcement Learning and extended Chain-of-Thought (CoT) techniques. However, the challenge of performing efficient language reasoning--especially during inference with extremely long outputs--has drawn increasing attention from the research community. In this work, we propose a dynamic ratio-based training pipeline that does not rely on sophisticated data annotations or interpolation between multiple models. We continuously balance the weights between the model's System-1 and System-2 data to eliminate redundant reasoning processes while preserving the model's reasoning capability. We validate our approach across models on DeepSeek-R1-Distill-7B and DeepSeek-R1-Distill-14B and on a diverse set of benchmarks with varying difficulty levels. Our method significantly reduces the number of output tokens by nearly 40% while maintaining the accuracy of the reasoning. Our code and data will be available soon.
△ Less
Submitted 14 June, 2025; v1 submitted 3 June, 2025;
originally announced June 2025.
-
Absorb and Converge: Provable Convergence Guarantee for Absorbing Discrete Diffusion Models
Authors:
Yuchen Liang,
Renxiang Huang,
Lifeng Lai,
Ness Shroff,
Yingbin Liang
Abstract:
Discrete state space diffusion models have shown significant advantages in applications involving discrete data, such as text and image generation. It has also been observed that their performance is highly sensitive to the choice of rate matrices, particularly between uniform and absorbing rate matrices. While empirical results suggest that absorbing rate matrices often yield better generation qu…
▽ More
Discrete state space diffusion models have shown significant advantages in applications involving discrete data, such as text and image generation. It has also been observed that their performance is highly sensitive to the choice of rate matrices, particularly between uniform and absorbing rate matrices. While empirical results suggest that absorbing rate matrices often yield better generation quality compared to uniform rate matrices, existing theoretical works have largely focused on the uniform rate matrices case. Notably, convergence guarantees and error analyses for absorbing diffusion models are still missing. In this work, we provide the first finite-time error bounds and convergence rate analysis for discrete diffusion models using absorbing rate matrices. We begin by deriving an upper bound on the KL divergence of the forward process, introducing a surrogate initialization distribution to address the challenge posed by the absorbing stationary distribution, which is a singleton and causes the KL divergence to be ill-defined. We then establish the first convergence guarantees for both the $τ$-leaping and uniformization samplers under absorbing rate matrices, demonstrating improved rates over their counterparts using uniform rate matrices. Furthermore, under suitable assumptions, we provide convergence guarantees without early stopping. Our analysis introduces several new technical tools to address challenges unique to absorbing rate matrices. These include a Jensen-type argument for bounding forward process convergence, novel techniques for bounding absorbing score functions, and a non-divergent upper bound on the score near initialization that removes the need of early-stopping.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
MLorc: Momentum Low-rank Compression for Large Language Model Adaptation
Authors:
Wei Shen,
Zhang Yaxiang,
Minhui Huang,
Mengfan Xu,
Jiawei Zhang,
Cong Shen
Abstract:
With increasing size of large language models (LLMs), full-parameter fine-tuning imposes substantial memory demands. To alleviate this, we propose a novel memory-efficient training paradigm called Momentum Low-rank compression (MLorc). By directly compressing and reconstructing momentum rather than gradients, MLorc avoids imposing a fixed-rank constraint on weight update matrices and better preser…
▽ More
With increasing size of large language models (LLMs), full-parameter fine-tuning imposes substantial memory demands. To alleviate this, we propose a novel memory-efficient training paradigm called Momentum Low-rank compression (MLorc). By directly compressing and reconstructing momentum rather than gradients, MLorc avoids imposing a fixed-rank constraint on weight update matrices and better preserves the training dynamics of full-parameter fine-tuning, in contrast to existing low-rank approaches such as LoRA and GaLore. Empirically, MLorc consistently outperforms other memory-efficient training methods, matches or even exceeds the performance of full fine-tuning with a small rank (e.g., $r=4$), and generalizes well across different optimizers -- all while not compromising time or memory efficiency. Furthermore, we provide a theoretical guarantee for its convergence under reasonable assumptions.
△ Less
Submitted 2 June, 2025; v1 submitted 2 June, 2025;
originally announced June 2025.
-
Inverse scattering for the nonlinear magnetic Schrodinger equation
Authors:
Lei Wei,
Hua Huang
Abstract:
In this paper, we focus on the inverse scattering problem for the nonlinear Schrodinger equation with magnetic potentials. Specifically, we investigate whether the scattering operator associated with the nonlinear Schrodinger equation can uniquely determine the magnetic potential. Our main goal is to establish the uniqueness result for the magnetic potential based on the scattering data obtained f…
▽ More
In this paper, we focus on the inverse scattering problem for the nonlinear Schrodinger equation with magnetic potentials. Specifically, we investigate whether the scattering operator associated with the nonlinear Schrodinger equation can uniquely determine the magnetic potential. Our main goal is to establish the uniqueness result for the magnetic potential based on the scattering data obtained from the scattering operator.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Poiseuille flow of hyperbolic Ericksen-Leslie system in dimension two
Authors:
Geng Chen,
Tao Huang,
Xiang Xu,
Qingtian Zhang
Abstract:
In this paper, we study the Poiseuille laminar flow in a tube for the full Ericksen-Leslie system. It is a parabolic-hyperbolic coupled system which may develop singularity in finite time. We will prove the global existence of energy weak solution, and the partial regularity of solution to system. We first construct global weak finite energy solutions by the Ginzburg- Landau approximation and the…
▽ More
In this paper, we study the Poiseuille laminar flow in a tube for the full Ericksen-Leslie system. It is a parabolic-hyperbolic coupled system which may develop singularity in finite time. We will prove the global existence of energy weak solution, and the partial regularity of solution to system. We first construct global weak finite energy solutions by the Ginzburg- Landau approximation and the fixed-point arguments. Then we obtain the enhanced regularity of solution. Different from the solution in one space dimension, the finite energy solution of Poiseuille laminar flow in a tube may still form a discontinuity at the origin. We show that at the first possible blowup time, there are blowup sequences which converge to a non-constant time-independent (axisymmetric) harmonic map.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
The minimum size of maximal bipartite IC-plane graphs with given connectivity
Authors:
Guiping Wang,
Yuanqiu Huang,
Zhangdong Ouyang,
Licheng Zhang
Abstract:
Recently, the problem of establishing bounds on the edge density of 1-planar graphs, including their subclass IC-planar graphs, has received considerable attention. In 2018, Angelini et al. showed that any n-vertex bipartite IC-planar graph has at most 2.25n-4 edges, which implies that bipartite IC-planar graphs have vertex-connectivity at most 4. In this paper, we prove that any n-vertex maximal…
▽ More
Recently, the problem of establishing bounds on the edge density of 1-planar graphs, including their subclass IC-planar graphs, has received considerable attention. In 2018, Angelini et al. showed that any n-vertex bipartite IC-planar graph has at most 2.25n-4 edges, which implies that bipartite IC-planar graphs have vertex-connectivity at most 4. In this paper, we prove that any n-vertex maximal bipartite IC-plane graph with connectivity 2 has at least 3/2n-2 edges, and those with connectivity 3 has at least 2n-3 edges. All the above lower bounds are tight. For 4-connected maximal bipartite IC-planar graphs, the question of determining a non-trivial lower bound on the size remains open.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Systolic lattice extensions of classical Schottky groups
Authors:
Junzhi Huang,
Matthew Zevenbergen
Abstract:
We produce lattice extensions of a dense family of classical Schottky subgroups of the isometry group of $d$-dimensional hyperbolic space. The extensions produced are said to be systolic, since all loxodromic elements with short translation length are conjugate into the Schottky groups. Various corollaries are obtained, in particular showing that for all $d\geq3$, the set of complex translation le…
▽ More
We produce lattice extensions of a dense family of classical Schottky subgroups of the isometry group of $d$-dimensional hyperbolic space. The extensions produced are said to be systolic, since all loxodromic elements with short translation length are conjugate into the Schottky groups. Various corollaries are obtained, in particular showing that for all $d\geq3$, the set of complex translation lengths realized by systoles of closed hyperbolic $d$-manifolds is dense inside the set of all possible complex translation lengths. We also prove an analogous result for arithmetic hyperbolic $d$-manifolds.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
On the Convergence Analysis of Muon
Authors:
Wei Shen,
Ruichuan Huang,
Minhui Huang,
Cong Shen,
Jiawei Zhang
Abstract:
The majority of parameters in neural networks are naturally represented as matrices. However, most commonly used optimizers treat these matrix parameters as flattened vectors during optimization, potentially overlooking their inherent structural properties. Recently, an optimizer called Muon has been proposed, specifically designed to optimize matrix-structured parameters. Extensive empirical evid…
▽ More
The majority of parameters in neural networks are naturally represented as matrices. However, most commonly used optimizers treat these matrix parameters as flattened vectors during optimization, potentially overlooking their inherent structural properties. Recently, an optimizer called Muon has been proposed, specifically designed to optimize matrix-structured parameters. Extensive empirical evidence shows that Muon can significantly outperform traditional optimizers when training neural networks. Nonetheless, the theoretical understanding of Muon's convergence behavior and the reasons behind its superior performance remain limited. In this work, we present a comprehensive convergence rate analysis of Muon and its comparison with Gradient Descent (GD). We further characterize the conditions under which Muon can outperform GD. Our theoretical results reveal that Muon can benefit from the low-rank and approximate blockwise diagonal structure of Hessian matrices -- phenomena widely observed in practical neural network training. Our experimental results support and corroborate the theoretical findings.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Weak solutions to a full compressible magnetohydrodynamic flow interacting with thermoelastic structure
Authors:
Kuntal Bhandari,
Bingkang Huang,
Šárka Nečasová
Abstract:
This paper is concerned with an interaction problem between a full compressible, electrically conducting fluid and a thermoelastic shell in a two-dimensional setting. The shell is modelled by linear thermoelasticity equations, and encompasses a time-dependent domain which is filled with a fluid described by full compressible (non-resistive) magnetohydrodynamic equations. The magnetohydrodynamic fl…
▽ More
This paper is concerned with an interaction problem between a full compressible, electrically conducting fluid and a thermoelastic shell in a two-dimensional setting. The shell is modelled by linear thermoelasticity equations, and encompasses a time-dependent domain which is filled with a fluid described by full compressible (non-resistive) magnetohydrodynamic equations. The magnetohydrodynamic flow and the shell are fully coupled, resulting in a fluid-structure interaction problem that involves heat exchange. We establish the existence of weak solutions through domain extension, operator splitting, decoupling, penalization of the interface condition, and appropriate limit passages.
△ Less
Submitted 7 June, 2025; v1 submitted 29 May, 2025;
originally announced May 2025.
-
Flux Globalization Based Well-Balanced Path-Conservative Central-Upwind Schemes for Shallow Water Linearized Moment Equations
Authors:
Yangyang Cao,
Qian Huang,
Julian Koellermeier,
Alexander Kurganov,
Yongle Liu
Abstract:
We develop second-order path-conservative central-upwind (PCCU) schemes for the hyperbolic shallow water linearized moment equations (HSWLME), which are an extension of standard depth-averaged models for free-surface flows. The proposed PCCU schemes are constructed via flux globalization strategies adapted to the nonconservative form via a path-conservative finite-volume method. The resulting sche…
▽ More
We develop second-order path-conservative central-upwind (PCCU) schemes for the hyperbolic shallow water linearized moment equations (HSWLME), which are an extension of standard depth-averaged models for free-surface flows. The proposed PCCU schemes are constructed via flux globalization strategies adapted to the nonconservative form via a path-conservative finite-volume method. The resulting scheme is well-balanced (WB) in the sense that it is capable of exactly preserving physically relevant steady states including moving-water ones. We validate the proposed scheme on several benchmarks, including smooth solutions, small perturbation of steady states, and dam-break scenarios. These results demonstrate that our flux globalization based WB PCCU schemes provide a reliable framework for computing solutions of shallow water moment models with nonlinear and nonconservative features.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Second boundary value problem for the Hessian curvature flow
Authors:
Rongli Huang,
Changzheng Qu,
Zhizhang Wang,
Weifeng Wo
Abstract:
We investigate the evolution of strictly convex hypersurfaces driven by the $k$-Hessian curvature flow, subject to the second boundary condition. We first explore the translating solutions corresponding to this boundary value problem. Next, we establish the long-time existence of the flow and prove that it converges to a translating solution. To overcome the difficulty of driving boundary $C^2$ es…
▽ More
We investigate the evolution of strictly convex hypersurfaces driven by the $k$-Hessian curvature flow, subject to the second boundary condition. We first explore the translating solutions corresponding to this boundary value problem. Next, we establish the long-time existence of the flow and prove that it converges to a translating solution. To overcome the difficulty of driving boundary $C^2$ estimates, we employ an orthogonal invariance technique. Using this method, we extend the results of Schnürer-Smoczyk \cite{Schnurer2003} and Schnürer \cite{Schnurer2002} from the second boundary value problem of Gauss curvature flow to $k$-Hessian curvature flow.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
The Wave Equation in the Context of Reduced Groups $C^*$-Algebras
Authors:
Fan Huang
Abstract:
Motivated by the identification $C(\mathbb{T})\cong C_r^*(\mathbb{Z})$ and the wave equation on the circle, we explore the wave equation in the context of reduced group $C^*$-algebras $C_r^*(G)$ for countably infinite, possibly non-abelian groups $G$. Using a one-parameter group of $*$-automorphisms whose infinitesimal generator paves the way to an analogue of the Laplacian, we establish the exist…
▽ More
Motivated by the identification $C(\mathbb{T})\cong C_r^*(\mathbb{Z})$ and the wave equation on the circle, we explore the wave equation in the context of reduced group $C^*$-algebras $C_r^*(G)$ for countably infinite, possibly non-abelian groups $G$. Using a one-parameter group of $*$-automorphisms whose infinitesimal generator paves the way to an analogue of the Laplacian, we establish the existence and uniqueness of solutions to the wave equation within this framework.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Physics-Infused Reduced-Order Modeling for Analysis of Multi-Layered Hypersonic Thermal Protection Systems
Authors:
Carlos A. Vargas Venegas,
Daning Huang,
Patrick Blonigan,
JohnTencer
Abstract:
This work presents a physics-infused reduced-order modeling (PIROM) framework for efficient and accurate prediction of transient thermal behavior in multi-layered hypersonic thermal protection systems (TPS). The PIROM architecture integrates a reduced-physics backbone, based on the lumped-capacitance model (LCM), with data-driven correction dynamics formulated via a coarse-graining approach rooted…
▽ More
This work presents a physics-infused reduced-order modeling (PIROM) framework for efficient and accurate prediction of transient thermal behavior in multi-layered hypersonic thermal protection systems (TPS). The PIROM architecture integrates a reduced-physics backbone, based on the lumped-capacitance model (LCM), with data-driven correction dynamics formulated via a coarse-graining approach rooted in the Mori-Zwanzig formalism. While the LCM captures the dominant heat transfer mechanisms, the correction terms compensate for residual dynamics arising from higher-order non-linear interactions and heterogeneities across material layers. The proposed PIROM is benchmarked against two non-intrusive reduced-order models (ROMs): Operator Inference (OpInf) and Neural Ordinary Differential Equations (NODE). The PIROM consistently achieves errors below 1% for a wide range of extrapolative settings involving time- and space-dependent boundary conditions and temperature-varying material property perturbations. In contrast, OpInf exhibits moderate degradation, and NODE suffers substantial loss in accuracy due to its lack of embedded physics. Despite higher training costs, PIROM delivers online evaluations of two orders of magnitude faster than the full-order model. These results demonstrate that PIROM effectively reconciles the trade-offs between accuracy, generalizability, and efficiency, providing a robust framework for thermal modeling of TPS under diverse operating conditions.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Graded discrepancy of graphs and hypergraphs
Authors:
Yanling Chen,
Shuping Huang,
Qinghou Zeng
Abstract:
Let $G$ be a graph with $n$ vertices and $p\binom{n}{2}$ edges. We prove that there is an ordering $v_1, \ldots, v_n$ of the vertices in $G$ such that $|e(\{v_1, \ldots, v_\ell\})-p\binom{\ell}{2}|\le c(p)(n-1)$ for all $\ell\in\{1,\ldots,n\}$, where $\min\{p,\sqrt{p}-p\}-o(p)\le c(p)\le\max\{p,1-p\}$. This solves an open problem suggested by Bollobás and Scott. We also extend this result to the h…
▽ More
Let $G$ be a graph with $n$ vertices and $p\binom{n}{2}$ edges. We prove that there is an ordering $v_1, \ldots, v_n$ of the vertices in $G$ such that $|e(\{v_1, \ldots, v_\ell\})-p\binom{\ell}{2}|\le c(p)(n-1)$ for all $\ell\in\{1,\ldots,n\}$, where $\min\{p,\sqrt{p}-p\}-o(p)\le c(p)\le\max\{p,1-p\}$. This solves an open problem suggested by Bollobás and Scott. We also extend this result to the hypergraph setting.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Ground state solutions of a class of (2,q)-Laplacian Schrödinger equations with inhomogeneous nonlinearity
Authors:
Ying Huang,
Tingjian Luo,
Youde Wang
Abstract:
In this paper, we systematically investigate the ground state solutions of a class of (2,q)-Laplacian Schrödinger equations with inhomogeneous nonlinearity. By analyzing global and local constrained variational problems, we establish the existence, non-existence, and asymptotic behavior of ground states, addressing the mass-subcritical,mass-critical, and mass-supercritical regimes. As a byproduct,…
▽ More
In this paper, we systematically investigate the ground state solutions of a class of (2,q)-Laplacian Schrödinger equations with inhomogeneous nonlinearity. By analyzing global and local constrained variational problems, we establish the existence, non-existence, and asymptotic behavior of ground states, addressing the mass-subcritical,mass-critical, and mass-supercritical regimes. As a byproduct, we prove a multiplicity of bound states with prescribed mass. Some of our existence results are sharp. The proofs are based primarily on constrained variational techniques.
△ Less
Submitted 31 May, 2025; v1 submitted 27 May, 2025;
originally announced May 2025.
-
A structure-preserving multiscale solver for particle-wave interaction in non-uniform magnetized plasmas
Authors:
Kun Huang,
Irene M. Gamba,
Chi-Wang Shu
Abstract:
Particle-wave interaction is of fundamental interest in plasma physics, especially in the study of runaway electrons in magnetic confinement fusion. Analogous to the concept of photons and phonons, wave packets in plasma can also be treated as quasi-particles, called plasmons. To model the ``mixture" of electrons and plasmons in plasma, a set of ``collisional" kinetic equations has been derived, b…
▽ More
Particle-wave interaction is of fundamental interest in plasma physics, especially in the study of runaway electrons in magnetic confinement fusion. Analogous to the concept of photons and phonons, wave packets in plasma can also be treated as quasi-particles, called plasmons. To model the ``mixture" of electrons and plasmons in plasma, a set of ``collisional" kinetic equations has been derived, based on weak turbulence limit and the Wentzel-Kramers-Brillouin (WKB) approximation.
There are two main challenges in solving the electron-plasmon kinetic system numerically. Firstly, non-uniform plasma density and magnetic field results in high dimensionality and the presence of multiple time scales. Secondly, a physically reliable numerical solution requires a structure-preserving scheme that enforces the conservation of mass, momentum, and energy.
In this paper, we propose a struture-preserving multiscale solver for particle-wave interaction in non-uniform magnetized plasmas. The solver combines a conservative local discontinuous Galerkin (LDG) scheme for the interaction part with a trajectory averaging method for the plasmon Hamiltonian flow part. Numerical examples for a non-uniform magnetized plasma in an infinitely long symmetric cylinder are presented. It is verified that the LDG scheme rigorously preserves all the conservation laws, and the trajectory averaging method significantly reduces the computational cost.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Signed Angle Rigid Graphs for Network Localization and Formation Control
Authors:
Jinpeng Huang,
Gangshan Jing
Abstract:
Graph rigidity theory studies the capability of a graph embedded in the Euclidean space to constrain its global geometric shape via local constraints among nodes and edges, and has been widely exploited in network localization and formation control. In recent years, the traditional rigidity theory has been extended by considering new types of local constraints such as bearing, angle, ratio of dist…
▽ More
Graph rigidity theory studies the capability of a graph embedded in the Euclidean space to constrain its global geometric shape via local constraints among nodes and edges, and has been widely exploited in network localization and formation control. In recent years, the traditional rigidity theory has been extended by considering new types of local constraints such as bearing, angle, ratio of distance, etc. Among them, the signed angle constraint has received extensive attention, since it is practically measurable and independent of the global coordinate frame. However, the relevant studies always consider special graph structures, which are sufficient but not necessary for signed angle rigidity. This paper presents a comprehensive combinatorial analysis in terms of graphs and angle index sets for signed angle rigidity. We show that Laman graphs equivalently characterize minimally signed angle rigid graphs. Moreover, we propose a method to construct the minimal set of signed angle constraints in a Laman graph to effectively ensure signed angle rigidity. These results are finally applied to distributed network localization and formation stabilization problems, respectively, where each agent only has access to signed angle measurements.
△ Less
Submitted 4 June, 2025; v1 submitted 26 May, 2025;
originally announced May 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.
