-
Characterizing the limiting critical Potts measures on locally regular-tree-like expander graphs
Authors:
Hang Du,
Yanxin Zhou
Abstract:
For any integers $d,q\ge 3$, we consider the $q$-state ferromagnetic Potts model with an external field on a sequence of expander graphs that converges to the $d$-regular tree $\mathtt{T}_d$ in the Benjamini-Schramm sense. We show that along the critical line, any subsequential local weak limit of the Potts measures is a mixture of the free and wired Potts Gibbs measures on $\mathtt{T}_d$. Further…
▽ More
For any integers $d,q\ge 3$, we consider the $q$-state ferromagnetic Potts model with an external field on a sequence of expander graphs that converges to the $d$-regular tree $\mathtt{T}_d$ in the Benjamini-Schramm sense. We show that along the critical line, any subsequential local weak limit of the Potts measures is a mixture of the free and wired Potts Gibbs measures on $\mathtt{T}_d$. Furthermore, we show the possibility of an arbitrary extent of strong phase coexistence: for any $α\in [0,1]$, there exists a sequence of locally $\mathtt{T}_d$-like expander graphs $\{G_n\}$, such that the Potts measures on $\{G_n\}$ locally weakly converges to the $(α,1-α)$-mixture of the free and wired Potts Gibbs measures. Our result extends results of \cite{HJP23} which restrict to the zero-field case and also require $q$ to be sufficiently large relative to $d$, and results of \cite{BDS23} which restrict to the even $d$ case. We also confirm the phase coexistence prediction of \cite{BDS23}, asserting that the Potts local weak limit is a genuine mixture of the free and wired states in a generic setting. We further characterize the subsequential local weak limits of random cluster measures on such graph sequences, for any cluster parameter $q>2$ (not necessarily integer).
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Quantum cohomology, shift operators, and Coulomb branches
Authors:
Ki Fung Chan,
Kwokwai Chan,
Chin Hang Eddie Lam
Abstract:
Given a complex reductive group $G$ and a $G$-representation $\mathbf{N}$, there is an associated quantized Coulomb branch algebra $\mathcal{A}_{G,\mathbf{N}}^\hbar$ defined by Braverman, Finkelberg and Nakajima. In this paper, we give a new interpretation of $\mathcal{A}_{G,\mathbf{N}}^\hbar$ as the largest subalgebra of the equivariant Borel--Moore homology of the affine Grassmannian on which sh…
▽ More
Given a complex reductive group $G$ and a $G$-representation $\mathbf{N}$, there is an associated quantized Coulomb branch algebra $\mathcal{A}_{G,\mathbf{N}}^\hbar$ defined by Braverman, Finkelberg and Nakajima. In this paper, we give a new interpretation of $\mathcal{A}_{G,\mathbf{N}}^\hbar$ as the largest subalgebra of the equivariant Borel--Moore homology of the affine Grassmannian on which shift operators can naturally be defined. As a main application, we show that if $X$ is a smooth semiprojective variety equipped with a $G$-action, and $X \to \mathbf{N}$ is a $G$-equivariant proper holomorphic map, then the equivariant big quantum cohomology $QH_G^\bullet(X)$ defines a quasi-coherent sheaf of algebras on the Coulomb branch with coisotropic support. Upon specializing the Novikov and bulk parameters, this sheaf becomes coherent with Lagrangian support. We also apply our construction to recover Teleman's gluing construction for Coulomb branches and derive different generalizations of the Peterson isomorphism.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Flow approach on Riesz type nonlocal energies
Authors:
Jiaxin He,
Qinfeng Li,
Juncheng Wei,
Hang Yang
Abstract:
Via continuous deformations based on natural flow evolutions, we prove several novel monotonicity results for Riesz-type nonlocal energies on triangles and quadrilaterals. Some of these results imply new and simpler proofs for known theorems without relying on any symmetrization arguments.
Via continuous deformations based on natural flow evolutions, we prove several novel monotonicity results for Riesz-type nonlocal energies on triangles and quadrilaterals. Some of these results imply new and simpler proofs for known theorems without relying on any symmetrization arguments.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
d-Boolean algebras and their bitopological representation
Authors:
Hang Yang,
Dexue Zhang
Abstract:
We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and Moshier. Precisely, we introduce the notion of d-Boolean algebras and prove that the category of such algebras is dually equivalent to the category of Stone bitopolo…
▽ More
We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and Moshier. Precisely, we introduce the notion of d-Boolean algebras and prove that the category of such algebras is dually equivalent to the category of Stone bitopological spaces, which are compact and zero-dimensional bitopological spaces satisfying the T0 separation axiom.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
A higher index and rapidly decaying kernels
Authors:
Hao Guo,
Peter Hochs,
Hang Wang
Abstract:
We construct an index of first-order, self-adjoint, elliptic differential operators in the $K$-theory of a Fréchet algebra of smooth kernels with faster than exponential off-diagonal decay. We show that this index can be represented by an idempotent involving heat operators. The rapid decay of the kernels in the algebra used is helpful in proving convergence of pairings with cyclic cocycles. Repre…
▽ More
We construct an index of first-order, self-adjoint, elliptic differential operators in the $K$-theory of a Fréchet algebra of smooth kernels with faster than exponential off-diagonal decay. We show that this index can be represented by an idempotent involving heat operators. The rapid decay of the kernels in the algebra used is helpful in proving convergence of pairings with cyclic cocycles. Representing the index in terms of heat operators allows one to use heat kernel asymptotics to compute such pairings. We give a link to von Neumann algebras and $L^2$-index theorems as an immediate application, and work out further applications in other papers.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Asymptotic diameter of preferential attachment model
Authors:
Hang Du,
Shuyang Gong,
Zhangsong Li,
Haodong Zhu
Abstract:
We study the asymptotic diameter of the preferential attachment model $\operatorname{PA}\!_n^{(m,δ)}$ with parameters $m \ge 2$ and $δ> 0$. Building on the recent work \cite{VZ25}, we prove that the diameter of $G_n \sim \operatorname{PA}\!_n^{(m,δ)}$ is $(1+o(1))\log_νn$ with high probability, where $ν$ is the exponential growth rate of the local weak limit of $G_n$. Our result confirms the conje…
▽ More
We study the asymptotic diameter of the preferential attachment model $\operatorname{PA}\!_n^{(m,δ)}$ with parameters $m \ge 2$ and $δ> 0$. Building on the recent work \cite{VZ25}, we prove that the diameter of $G_n \sim \operatorname{PA}\!_n^{(m,δ)}$ is $(1+o(1))\log_νn$ with high probability, where $ν$ is the exponential growth rate of the local weak limit of $G_n$. Our result confirms the conjecture in \cite{VZ25} and closes the remaining gap in understanding the asymptotic diameter of preferential attachment graphs with general parameters $m \ge 1$ and $δ>-m$. Our proof follows a general recipe that relates the diameter of a random graph to its typical distance, which we expect to have applicability in a broader range of models.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Manifold-valued function approximation from multiple tangent spaces
Authors:
Hang Wang,
Raf Vandebril,
Joeri Van der Veken,
Nick Vannieuwenhoven
Abstract:
Approximating a manifold-valued function from samples of input-output pairs consists of modeling the relationship between an input from a vector space and an output on a Riemannian manifold. We propose a function approximation method that leverages and unifies two prior techniques: (i) approximating a pullback to the tangent space, and (ii) the Riemannian moving least squares method. The core idea…
▽ More
Approximating a manifold-valued function from samples of input-output pairs consists of modeling the relationship between an input from a vector space and an output on a Riemannian manifold. We propose a function approximation method that leverages and unifies two prior techniques: (i) approximating a pullback to the tangent space, and (ii) the Riemannian moving least squares method. The core idea of the new scheme is to combine pullbacks to multiple tangent spaces with a weighted Fréchet mean. The effectiveness of this approach is illustrated with numerical experiments on model problems from parametric model order reduction.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
Full asymptotic expansions of the Humbert function $Φ_1$
Authors:
Peng-Cheng Hang,
Liangjian Hu
Abstract:
We derive full asymptotic expansions for the Humbert function $Φ_1$ in different limiting regimes of its variables. Our derivation employs various asymptotic methods and relies on key transformation formulae established by Erdélyi (1940), and Tuan and Kalla (1987). The efficiency of our asymptotic results are also illustrated through two applications: (1) analytic continuations of Saran's function…
▽ More
We derive full asymptotic expansions for the Humbert function $Φ_1$ in different limiting regimes of its variables. Our derivation employs various asymptotic methods and relies on key transformation formulae established by Erdélyi (1940), and Tuan and Kalla (1987). The efficiency of our asymptotic results are also illustrated through two applications: (1) analytic continuations of Saran's function $F_M$, and (2) two limits arising in the study of the $1D$ Glauber-Ising model. Finally, some promising directions for future research are highlighted.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Sharp threshold for network recovery from voter model dynamics
Authors:
Hang Du,
Seokmin Ha,
Oriol Solé-Pi
Abstract:
We investigate the problem of recovering a latent directed Erdős-Rényi graph $G^*\sim \mathcal G(n,p)$ from observations of discrete voter model trajectories on $G^*$, where $np$ grows polynomially in $n$. Given access to $M$ independent voter model trajectories evolving up to time $T$, we establish that $G^*$ can be recovered \emph{exactly} with probability at least $0.9$ by an \emph{efficient} a…
▽ More
We investigate the problem of recovering a latent directed Erdős-Rényi graph $G^*\sim \mathcal G(n,p)$ from observations of discrete voter model trajectories on $G^*$, where $np$ grows polynomially in $n$. Given access to $M$ independent voter model trajectories evolving up to time $T$, we establish that $G^*$ can be recovered \emph{exactly} with probability at least $0.9$ by an \emph{efficient} algorithm, provided that \[ M \cdot \min\{T, n\} \geq C n^2 p^2 \log n \] holds for a sufficiently large constant $C$. Here, $M\cdot \min\{T,n\}$ can be interpreted as the approximate number of effective update rounds being observed, since the voter model on $G^*$ typically reaches consensus after $Θ(n)$ rounds, and no further information can be gained after this point. Furthermore, we prove an \emph{information-theoretic} lower bound showing that the above condition is tight up to a constant factor. Our results indicate that the recovery problem does not exhibit a statistical-computational gap.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Error analysis of a Euler finite element scheme for Natural convection model with variable density
Authors:
Li Hang,
Chenyang Li
Abstract:
In this paper, we derive first-order Euler finite element discretization schemes for a time-dependent natural convection model with variable density (NCVD). The model is governed by the variable density Navier-Stokes equations coupled with a parabolic partial differential equation that describes the evolution of temperature. Stability and error estimate for the velocity, pressure, density and temp…
▽ More
In this paper, we derive first-order Euler finite element discretization schemes for a time-dependent natural convection model with variable density (NCVD). The model is governed by the variable density Navier-Stokes equations coupled with a parabolic partial differential equation that describes the evolution of temperature. Stability and error estimate for the velocity, pressure, density and temperature in $L^2$-norm are proved by using finite element approximations in space and finite differences in time. Finally, the numerical results are showed to support the theoretical analysis.
△ Less
Submitted 19 May, 2025; v1 submitted 6 April, 2025;
originally announced April 2025.
-
Local controllability of a free-boundary problem for 1D degenerate parabolic equations
Authors:
Lingyang Liu,
Hang Gao
Abstract:
This paper deals with the local controllability of a free-boundary problem for the 1D boundary-degenerate parabolic equation with distributed controls, locally supported in space. We prove that, if the final time T is fixed and the initial state is sufficiently small, there exist controls that drive the state exactly to rest at time t = T. The proof is based on Schauder's fixed point theorem, comb…
▽ More
This paper deals with the local controllability of a free-boundary problem for the 1D boundary-degenerate parabolic equation with distributed controls, locally supported in space. We prove that, if the final time T is fixed and the initial state is sufficiently small, there exist controls that drive the state exactly to rest at time t = T. The proof is based on Schauder's fixed point theorem, combined with appropriate estimates for solutions to degenerate parabolic equations and for the control function.
△ Less
Submitted 3 May, 2025; v1 submitted 14 March, 2025;
originally announced March 2025.
-
A filtered Lie splitting method for the Zakharov system with low regularity estimates
Authors:
Lun Ji,
Hang Li,
Chunmei Su
Abstract:
In this paper, we present an error estimate for the filtered Lie splitting scheme applied to the Zakharov system, characterized by solutions exhibiting very low regularity across all dimensions. Our findings are derived from the application of multilinear estimates established within the framework of discrete Bourgain spaces. Specifically, we demonstrate that when the solution…
▽ More
In this paper, we present an error estimate for the filtered Lie splitting scheme applied to the Zakharov system, characterized by solutions exhibiting very low regularity across all dimensions. Our findings are derived from the application of multilinear estimates established within the framework of discrete Bourgain spaces. Specifically, we demonstrate that when the solution $(E,z,z_t) \in H^{s+r+1/2}\times H^{s+r}\times H^{s+r-1}$, the error in $H^{r+1/2}\times H^{r}\times H^{r-1}$ is $\mathcal{O}(τ^{s/2})$ for $s\in(0,2]$, where $r=\max(0,\frac d2-1)$. To the best of our knowledge, this represents the first explicit error estimate for the splitting method based on the original Zakharov system, as well as the first instance where low regularity error estimates for coupled equations have been considered within the Bourgain framework. Furthermore, numerical experiments confirm the validity of our theoretical results.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
An effective version of the Kuznetsov trace formula for GSp(4)
Authors:
Félicien Comtat,
Didier Lesesvre,
Siu Hang Man
Abstract:
We develop an explicit version of the Kuznetsov trace formula for GSp(4), relating sums of Fourier coefficients to Kloosterman sums. We study the precise analytic behaviour of both the spectral and the arithmetic transforms arising in the Kuznetsov trace formula for GSp(4). We use these results to provide an effective version of the trace formula, and establish various results on the family of Maa…
▽ More
We develop an explicit version of the Kuznetsov trace formula for GSp(4), relating sums of Fourier coefficients to Kloosterman sums. We study the precise analytic behaviour of both the spectral and the arithmetic transforms arising in the Kuznetsov trace formula for GSp(4). We use these results to provide an effective version of the trace formula, and establish various results on the family of Maaß automorphic forms on GSp(4) in the spectral aspect: the Weyl law, a density result on the non-tempered spectrum, large sieve inequalities, bounds on the second moment of the spinor and standard $L$-functions, as well as a statement on the distribution of the low-lying zeros of these $L$-functions, determining the associated types of symmetry.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Optimal recovery of correlated Erdős-Rényi graphs
Authors:
Hang Du
Abstract:
For two unlabeled graphs $G_1,G_2$ independently sub-sampled from an Erdős-Rényi graph $\mathbf G(n,p)$ by keeping each edge with probability $s$, we aim to recover \emph{as many as possible} of the corresponding vertex pairs. We establish a connection between the recoverability of vertex pairs and the balanced load allocation in the true intersection graph of $ G_1 $ and $ G_2 $. Using this conne…
▽ More
For two unlabeled graphs $G_1,G_2$ independently sub-sampled from an Erdős-Rényi graph $\mathbf G(n,p)$ by keeping each edge with probability $s$, we aim to recover \emph{as many as possible} of the corresponding vertex pairs. We establish a connection between the recoverability of vertex pairs and the balanced load allocation in the true intersection graph of $ G_1 $ and $ G_2 $. Using this connection, we analyze the partial recovery regime where $ p = n^{-α+ o(1)} $ for some $ α\in (0, 1] $ and $ nps^2 = λ= O(1) $. We derive upper and lower bounds for the recoverable fraction in terms of $ α$ and the limiting load distribution $ μ_λ$ (as introduced in \cite{AS16}). These bounds coincide asymptotically whenever $ α^{-1} $ is not an atom of $ μ_λ$. Therefore, for each fixed $ λ$, our result characterizes the asymptotic optimal recovery fraction for all but countably many $ α\in (0, 1] $.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Pythagoras numbers for infinite algebraic fields
Authors:
Nicolas Daans,
Stevan Gajović,
Siu Hang Man,
Pavlo Yatsyna
Abstract:
We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally real algebraic fields whose rings of integers have finite Pythagoras numbers, namely, one, two, three, and at least four.
We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally real algebraic fields whose rings of integers have finite Pythagoras numbers, namely, one, two, three, and at least four.
△ Less
Submitted 16 February, 2025;
originally announced February 2025.
-
Flow approach on the monotonicity of shape functionals
Authors:
Yong Huang,
Qinfeng Li,
Shuangquan Xie,
Hang Yang
Abstract:
We develop a geometric flow framework to investigate the following two classical shape functionals: the torsional rigidity and the first Dirichlet eigenvalue of the Laplacian. First, by constructing novel deformation paths governed by stretching flows, we prove several new monotonicity properties of the torsional rigidity and the first eigenvalue along the evolutions on triangles and rhombuses. Th…
▽ More
We develop a geometric flow framework to investigate the following two classical shape functionals: the torsional rigidity and the first Dirichlet eigenvalue of the Laplacian. First, by constructing novel deformation paths governed by stretching flows, we prove several new monotonicity properties of the torsional rigidity and the first eigenvalue along the evolutions on triangles and rhombuses. These results also lead to new and simpler proofs of some known results, without using the Steiner symmetrization argument. Second, utilizing the mean curvature flow, we give a new proof of the Saint-Venant inequality for smooth convex bodies. Third, by discovering a gradient norm inequality for the sides of rectangles, we prove monotonicity and rigidity results of the torsional rigidity on rectangles.
△ Less
Submitted 16 May, 2025; v1 submitted 13 February, 2025;
originally announced February 2025.
-
Global well-posedness of Vlasov-Poisson-Boltzmann equations with neutral initial data and small relative entropy
Authors:
Zaihong Jiang,
Yong Wang,
Hang Xiong
Abstract:
The dynamics of dilute plasma particles such as electrons and ions can be modeled by the fundamental two species Vlasov-Poisson-Boltzmann equations, which describes mutual interactions of plasma particles through collisions in the self-induced electric field. In this paper, we are concerned with global well-posedness of mild solutions to these equations. We establish the global existence and uniqu…
▽ More
The dynamics of dilute plasma particles such as electrons and ions can be modeled by the fundamental two species Vlasov-Poisson-Boltzmann equations, which describes mutual interactions of plasma particles through collisions in the self-induced electric field. In this paper, we are concerned with global well-posedness of mild solutions to these equations. We establish the global existence and uniqueness of mild solutions to the two species Vlasov-Poisson-Boltzmann equations on the torus for a class of initial data with bounded time-velocity-weighted $L^{\infty}$ norm under a nearly neutral condition, along with smallness conditions on the $L^1_xL^\infty_v$ norm and defects in mass, energy and entropy. These conditions allow the initial data to exhibit large amplitude oscillations. Due to the nonlinear effect of electric field, we consider the problem in $W^{1, \infty}_{x,v}$ with large amplitude data, new difficulty arises when establishing globally uniform $W^{1, \infty}_{x,v}$ bound, which has been overcome based on nearly neutral condition, time-velocity weight function and a logarithmic estimate. Moreover,the long-time behavior of solutions in $W^{1, \infty}_{x,v}$ norm, with exponential decay rates of convergence, is also obtained.
△ Less
Submitted 29 March, 2025; v1 submitted 12 February, 2025;
originally announced February 2025.
-
A Proof of The Changepoint Detection Threshold Conjecture in Preferential Attachment Models
Authors:
Hang Du,
Shuyang Gong,
Jiaming Xu
Abstract:
We investigate the problem of detecting and estimating a changepoint in the attachment function of a network evolving according to a preferential attachment model on $n$ vertices, using only a single final snapshot of the network. Bet et al.~\cite{bet2023detecting} show that a simple test based on thresholding the number of vertices with minimum degrees can detect the changepoint when the change o…
▽ More
We investigate the problem of detecting and estimating a changepoint in the attachment function of a network evolving according to a preferential attachment model on $n$ vertices, using only a single final snapshot of the network. Bet et al.~\cite{bet2023detecting} show that a simple test based on thresholding the number of vertices with minimum degrees can detect the changepoint when the change occurs at time $n-Ω(\sqrt{n})$. They further make the striking conjecture that detection becomes impossible for any test if the change occurs at time $n-o(\sqrt{n}).$ Kaddouri et al.~\cite{kaddouri2024impossibility} make a step forward by proving the detection is impossible if the change occurs at time $n-o(n^{1/3}).$ In this paper, we resolve the conjecture affirmatively, proving that detection is indeed impossible if the change occurs at time $n-o(\sqrt{n}).$ Furthermore, we establish that estimating the changepoint with an error smaller than $o(\sqrt{n})$ is also impossible, thereby confirming that the estimator proposed in Bhamidi et al.~\cite{bhamidi2018change} is order-optimal.
△ Less
Submitted 5 June, 2025; v1 submitted 1 February, 2025;
originally announced February 2025.
-
Local fields, iterated extensions, and Julia Sets
Authors:
Pui Hang Lee,
Michelle Manes,
Nha Xuan Truong
Abstract:
Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$, and let $f(z) = z^\ell - c \in K[z]$ be a separable polynomial. We explore the connection between the valuation $v(c)$ and the Berkovich Julia set of $f$. Additionally, we examine the field extensions generated by the solutions to $f^n(z) = α$ for a root point $α\in K$, highlighting the interplay be…
▽ More
Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$, and let $f(z) = z^\ell - c \in K[z]$ be a separable polynomial. We explore the connection between the valuation $v(c)$ and the Berkovich Julia set of $f$. Additionally, we examine the field extensions generated by the solutions to $f^n(z) = α$ for a root point $α\in K$, highlighting the interplay between the dynamics of $f$ and the ramification in the corresponding extensions.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Asymptotics of the Humbert functions $Ψ_1$ and $Ψ_2$
Authors:
Peng-Cheng Hang,
Malte Henkel,
Min-Jie Luo
Abstract:
A compilation of new results on the asymptotic behaviour of the Humbert functions $Ψ_1$ and $Ψ_2$, and also on the Appell function $F_2$, is presented. As a by-product, we confirm a conjectured limit which appeared recently in the study of the $1D$ Glauber-Ising model. We also propose two elementary asymptotic methods and confirm through some illustrative examples that both methods have great pote…
▽ More
A compilation of new results on the asymptotic behaviour of the Humbert functions $Ψ_1$ and $Ψ_2$, and also on the Appell function $F_2$, is presented. As a by-product, we confirm a conjectured limit which appeared recently in the study of the $1D$ Glauber-Ising model. We also propose two elementary asymptotic methods and confirm through some illustrative examples that both methods have great potential and can be applied to a large class of problems of asymptotic analysis. Finally, some directions of future research are pointed out in order to suggest ideas for further study.
△ Less
Submitted 16 January, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Viscosity Solutions of Fully second-order HJB Equations in the Wasserstein Space
Authors:
Erhan Bayraktar,
Hang Cheung,
Ibrahim Ekren,
Jinniao Qiu,
Ho Man Tai,
Xin Zhang
Abstract:
In this paper, we show that the value functions of mean field control problems with common noise are the unique viscosity solutions to fully second-order Hamilton-Jacobi-Bellman equations, in a Crandall-Lions-like framework. We allow the second-order derivative in measure to be state-dependent and thus infinite-dimensional, rather than derived from a finite-dimensional operator, hence the term ''f…
▽ More
In this paper, we show that the value functions of mean field control problems with common noise are the unique viscosity solutions to fully second-order Hamilton-Jacobi-Bellman equations, in a Crandall-Lions-like framework. We allow the second-order derivative in measure to be state-dependent and thus infinite-dimensional, rather than derived from a finite-dimensional operator, hence the term ''fully''. Our argument leverages the construction of smooth approximations from particle systems developed by Cosso, Gozzi, Kharroubi, Pham, and Rosestolato [Trans. Amer. Math. Soc., 2023], and the compactness argument via penalization of measure moments in Soner and Yan [Appl. Math. Optim., 2024]. Our work addresses unbounded dynamics and state-dependent common noise volatility, and to our knowledge, this is the first result of its kind in the literature.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
On a pinning model in correlated Gaussian random environments
Authors:
Zian Li,
Jian Song,
Ran Wei,
Hang Zhang
Abstract:
We consider a pinning model in correlated Gaussian random environments. For the model that is disorder relevant, we study its intermediate disorder regime and show that the rescaled partition functions converge to a non-trivial continuum limit in the Skorohod setting and in the Stratonovich setting, respectively. Our results partially confirm the prediction of Weinrib and Halperin for disorder rel…
▽ More
We consider a pinning model in correlated Gaussian random environments. For the model that is disorder relevant, we study its intermediate disorder regime and show that the rescaled partition functions converge to a non-trivial continuum limit in the Skorohod setting and in the Stratonovich setting, respectively. Our results partially confirm the prediction of Weinrib and Halperin for disorder relevance/irrelevance.
△ Less
Submitted 31 December, 2024;
originally announced January 2025.
-
Maximal eventually different families for uniformly weak Ramsey ideals
Authors:
Jialiang He,
Jintao Luo,
David Schrittesser,
Hang Zhang
Abstract:
We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if…
▽ More
We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if $\mathcal I$ belongs to this class; this is the case for arbitrary $F_σ$ ideals and Fubini products $\mathrm{fin}^α$ with $α<ω_1$.
△ Less
Submitted 25 December, 2024;
originally announced December 2024.
-
Minimal subshifts of prescribed mean dimension over general alphabets
Authors:
Xiangtong Wang,
Hang Zhao
Abstract:
Let $G$ be a countable infinite amenable group, $K$ a finite-dimensional compact metrizable space, and $(K^G,σ)$ the full $G$-shift on $K^G$. For any $r\in [0,{\rm mdim}(K^G,σ))$, we construct a minimal subshift $(X,σ)$ of $(K^G,σ)$ with mdim$(X,σ)=r$. Furthermore, we construct a subshift of $([0,1]^G,σ)$ such that its mean dimension is $1$, and that the set of all attainable values of the mean di…
▽ More
Let $G$ be a countable infinite amenable group, $K$ a finite-dimensional compact metrizable space, and $(K^G,σ)$ the full $G$-shift on $K^G$. For any $r\in [0,{\rm mdim}(K^G,σ))$, we construct a minimal subshift $(X,σ)$ of $(K^G,σ)$ with mdim$(X,σ)=r$. Furthermore, we construct a subshift of $([0,1]^G,σ)$ such that its mean dimension is $1$, and that the set of all attainable values of the mean dimension of its minimal subsystems is exactly the interval $[0,1)$.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
On the set of associated radicals of powers of monomial ideals
Authors:
Nguyen Thu Hang,
Truong Thi Hien
Abstract:
Let $I$ be a monomial ideal in a polynomial ring. In this paper, we study the asymptotic behavior of the set of associated radical ideals of the (symbolic) powers of $I$. We show that both $\asr(I^s)$ and $\asr(I^{(s)})$ need not stabilize for large value of $s$. In the case $I$ is a square-free monomial ideal, we prove that $\asr(I^{(s)})$ is constant for $s$ large enough. Finally, if $I$ is the…
▽ More
Let $I$ be a monomial ideal in a polynomial ring. In this paper, we study the asymptotic behavior of the set of associated radical ideals of the (symbolic) powers of $I$. We show that both $\asr(I^s)$ and $\asr(I^{(s)})$ need not stabilize for large value of $s$. In the case $I$ is a square-free monomial ideal, we prove that $\asr(I^{(s)})$ is constant for $s$ large enough. Finally, if $I$ is the cover ideal of a balanced hypergraph, then $\asr(I^s)$ monotonically increases in $s$.
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Annihilator of local cohomology modules under localization and completion
Authors:
Nguyen Thi Anh Hang,
Le Thanh Nhan
Abstract:
Let $(R, \frak m)$ be a Noetherian local ring. This paper deals with the annihilator of Artinian local cohomology modules $H^i_{\frak m}(M)$ in the relation with the structure of the base ring $R$, for non negative integers $i$ and finitely generated $R$-modules $M$. Firstly, the catenarity and the unmixedness of local rings are characterized via the compatibility of annihilator of top local cohom…
▽ More
Let $(R, \frak m)$ be a Noetherian local ring. This paper deals with the annihilator of Artinian local cohomology modules $H^i_{\frak m}(M)$ in the relation with the structure of the base ring $R$, for non negative integers $i$ and finitely generated $R$-modules $M$. Firstly, the catenarity and the unmixedness of local rings are characterized via the compatibility of annihilator of top local cohomology modules under localization and completion, respectively. Secondly, some necessary and sufficient conditions for a local ring being a quotient of a Cohen-Macaulay local ring are given in term of the annihilator of all local cohomology modules under localization and completion.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Dynamic asymptotic dimension growth for group actions and groupoids
Authors:
Hang Wang,
Yanru Wang,
Jianguo Zhang,
Dapeng Zhou
Abstract:
We introduce the notion of dynamic asymptotic dimension growth for actions of discrete groups on compact spaces, and more generally for locally compact étale groupoids. Using the work of Bartels, Lück, and Reich, we bridge asymptotic dimension growth for countable discrete groups with our notion for their group actions, thereby providing numerous concrete examples. Moreover, we demonstrate that th…
▽ More
We introduce the notion of dynamic asymptotic dimension growth for actions of discrete groups on compact spaces, and more generally for locally compact étale groupoids. Using the work of Bartels, Lück, and Reich, we bridge asymptotic dimension growth for countable discrete groups with our notion for their group actions, thereby providing numerous concrete examples. Moreover, we demonstrate that the asymptotic dimension growth for a discrete metric space of bounded geometry is equivalent to the dynamic asymptotic dimension growth for its associated coarse groupoid. Consequently, we deduce that the coarse groupoid with subexponential dynamic asymptotic dimension growth is amenable. More generally, we show that every $σ$-compact locally compact Hausdorff étale groupoid with compact unit space having dynamic asymptotic dimension growth at most $x^α$ $(0<α<1)$ is amenable.
△ Less
Submitted 2 February, 2025; v1 submitted 29 November, 2024;
originally announced November 2024.
-
A neural network approach to learning solutions of a class of elliptic variational inequalities
Authors:
Amal Alphonse,
Michael Hintermüller,
Alexander Kister,
Chin Hang Lun,
Clemens Sirotenko
Abstract:
We develop a weak adversarial approach to solving obstacle problems using neural networks. By employing (generalised) regularised gap functions and their properties we rewrite the obstacle problem (which is an elliptic variational inequality) as a minmax problem, providing a natural formulation amenable to learning. Our approach, in contrast to much of the literature, does not require the elliptic…
▽ More
We develop a weak adversarial approach to solving obstacle problems using neural networks. By employing (generalised) regularised gap functions and their properties we rewrite the obstacle problem (which is an elliptic variational inequality) as a minmax problem, providing a natural formulation amenable to learning. Our approach, in contrast to much of the literature, does not require the elliptic operator to be symmetric. We provide an error analysis for suitable discretisations of the continuous problem, estimating in particular the approximation and statistical errors. Parametrising the solution and test function as neural networks, we apply a modified gradient descent ascent algorithm to treat the problem and conclude the paper with various examples and experiments. Our solution algorithm is in particular able to easily handle obstacle problems that feature biactivity (or lack of strict complementarity), a situation that poses difficulty for traditional numerical methods.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Benchmarking Agility and Reconfigurability in Satellite Systems for Tropical Cyclone Monitoring
Authors:
Brycen D. Pearl,
Logan P. Gold,
Hang Woon Lee
Abstract:
Tropical cyclones (TCs) are highly dynamic natural disasters that travel vast distances and occupy a large spatial scale, leading to loss of life, economic strife, and destruction of infrastructure. The severe impact of TCs makes them crucial to monitor such that the collected data contributes to forecasting their trajectory and severity, as well as the provision of information to relief agencies.…
▽ More
Tropical cyclones (TCs) are highly dynamic natural disasters that travel vast distances and occupy a large spatial scale, leading to loss of life, economic strife, and destruction of infrastructure. The severe impact of TCs makes them crucial to monitor such that the collected data contributes to forecasting their trajectory and severity, as well as the provision of information to relief agencies. Among the various methods used to monitor TCs, Earth observation satellites are the most flexible, allowing for frequent observations with a wide variety of instruments. Traditionally, satellite scheduling algorithms assume nadir-directional observations, a limitation that can be alleviated by incorporating satellite agility and constellation reconfigurability -- two state-of-the-art concepts of operations (CONOPS) that extend the amount of time TCs can be observed from orbit. This paper conducts a systematic comparative analysis between both CONOPS to present the performance of each relative to baseline nadir-directional observations in monitoring TCs. A dataset of 100 historical TCs is used to provide a benchmark concerning real-world data through maximizing the number of quality observations. The results of the comparative analysis indicate that constellation reconfigurability allowing plane-change maneuvers outperforms satellite agility in the majority of TCs analyzed.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Invariant tori for a class of affined Anosov mappings with quasi-periodic forces
Authors:
Xinyu Bai,
Zeng Lian,
Xiao Ma,
Hang Zhao
Abstract:
In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy.
In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Note on the $a$-points of the Riemann zeta function
Authors:
Peng-Cheng Hang,
Min-Jie Luo
Abstract:
For any $a\in\mathbb{C}$, the zeros of $ζ(s)-a$, denoted by $ρ_a=β_a+iγ_a$, are called $a$-points of the Riemann zeta function $ζ(s)$. In this paper, we reformulate some basic results about the $a$-points of $ζ(s)$ shown by Garunkštis and Steuding. We then deduce an asymptotic of the sum \[S_T(a,δ)=\sum_{τ<γ_a\leqslant T}ζ'(ρ_a+iδ)X^{ρ_a},\quad T\to\infty,\] where…
▽ More
For any $a\in\mathbb{C}$, the zeros of $ζ(s)-a$, denoted by $ρ_a=β_a+iγ_a$, are called $a$-points of the Riemann zeta function $ζ(s)$. In this paper, we reformulate some basic results about the $a$-points of $ζ(s)$ shown by Garunkštis and Steuding. We then deduce an asymptotic of the sum \[S_T(a,δ)=\sum_{τ<γ_a\leqslant T}ζ'(ρ_a+iδ)X^{ρ_a},\quad T\to\infty,\] where $0\neδ=\frac{2πα}{\log\frac{T}{2πX}}\ll 1$, and $X>0$ and $τ\geqslant|δ|+1$ are fixed.
We also find the interesting varied behavior of $S_T(a,δ)$ in different $X$ ranges, which is more complicated than those described before by Gonek and Pearce-Crump.
△ Less
Submitted 21 November, 2024; v1 submitted 20 November, 2024;
originally announced November 2024.
-
Lean and Mean Adaptive Optimization via Subset-Norm and Subspace-Momentum with Convergence Guarantees
Authors:
Thien Hang Nguyen,
Huy Le Nguyen
Abstract:
We introduce two complementary techniques for efficient optimization that reduce memory requirements while accelerating training of large-scale neural networks. The first technique, Subset-Norm step size, generalizes AdaGrad-Norm and AdaGrad(-Coordinate) through step-size sharing. Subset-Norm (SN) reduces AdaGrad's memory footprint from $O(d)$ to $O(\sqrt{d})$, where $d$ is the model size. For non…
▽ More
We introduce two complementary techniques for efficient optimization that reduce memory requirements while accelerating training of large-scale neural networks. The first technique, Subset-Norm step size, generalizes AdaGrad-Norm and AdaGrad(-Coordinate) through step-size sharing. Subset-Norm (SN) reduces AdaGrad's memory footprint from $O(d)$ to $O(\sqrt{d})$, where $d$ is the model size. For non-convex smooth objectives under coordinate-wise sub-gaussian noise, we show a noise-adapted high-probability convergence guarantee with improved dimensional dependence of SN over existing methods. Our second technique, Subspace-Momentum, reduces the momentum state's memory footprint by restricting momentum to a low-dimensional subspace while performing SGD in the orthogonal complement. We prove a high-probability convergence result for Subspace-Momentum under standard assumptions. Empirical evaluation on pre-training and fine-tuning LLMs demonstrates the effectiveness of our methods. For instance, combining Subset-Norm with Subspace-Momentum achieves Adam's validation perplexity for LLaMA 1B in approximately half the training tokens (6.8B vs 13.1B) while reducing Adam's optimizer-states memory footprint by more than 80\% with minimal additional hyperparameter tuning.
△ Less
Submitted 24 May, 2025; v1 submitted 11 November, 2024;
originally announced November 2024.
-
A fresh look into variational analysis of $\mathcal C^2$-partly smooth functions
Authors:
Nguyen T. V. Hang,
Ebrahim Sarabi
Abstract:
$\mathcal C^2$-partial smoothness of functions has been an important subject of research in optimization, on both theoretical and algorithmic aspects, since it was first introduced by Lewis in 2002. Our work aims at providing a fresh variational analysis viewpoint on the class of $\mathcal C^2$-partly smooth functions. Namely, we explore the relationship between $\mathcal C^2…
▽ More
$\mathcal C^2$-partial smoothness of functions has been an important subject of research in optimization, on both theoretical and algorithmic aspects, since it was first introduced by Lewis in 2002. Our work aims at providing a fresh variational analysis viewpoint on the class of $\mathcal C^2$-partly smooth functions. Namely, we explore the relationship between $\mathcal C^2$-partial smoothness and strict twice epi-differentiability and demonstrate that functions from the latter class are always strictly twice epi-differentiable. On the other hand, we provide two examples to show that the opposite conclusion does not hold in general. As a consequence of our analysis, we calculate the second subderivative of $\mathcal C^2$-partly smooth functions. Applications to stability analysis of related generalized equations involving a general perturbation and to asymptotic analysis of the well-known sample average approximation method for stochastic programs with $\mathcal C^2$-partly smooth regularizers are also given.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
Complete asymptotic expansions of the Humbert function $Ψ_1$ for two large arguments
Authors:
Peng-Cheng Hang,
Liangjian Hu,
Min-Jie Luo
Abstract:
In our recent work [SIGMA \textbf{20} (2024), 074, 13 pages], the leading behaviour of the Humbert function $Ψ_1[a,b;c,c';x,y]$ when $x\to\infty$ and $y\to +\infty$ has been derived in a direct and simple manner. In this paper, we obtain the complete asymptotics of $Ψ_1$ in the general case $x,y\to\infty$ along a new path. Indeed, our proof is based on a sharp estimate on ${}_2F_2[a,b-n;c,d-n;z]$,…
▽ More
In our recent work [SIGMA \textbf{20} (2024), 074, 13 pages], the leading behaviour of the Humbert function $Ψ_1[a,b;c,c';x,y]$ when $x\to\infty$ and $y\to +\infty$ has been derived in a direct and simple manner. In this paper, we obtain the complete asymptotics of $Ψ_1$ in the general case $x,y\to\infty$ along a new path. Indeed, our proof is based on a sharp estimate on ${}_2F_2[a,b-n;c,d-n;z]$, which is valid uniformly for $n\in\mathbb{Z}_{\geqslant 0}$ and large $z$.
△ Less
Submitted 14 June, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
An open-closed string analogue of Hochschild cohomology
Authors:
Hang Yuan
Abstract:
We prove that every open-closed homotopy algebra, introduced by Kajiura and Stasheff (arXiv: archive/0410291), naturally gives rise to an open-closed version of Hochschild cochain complex whose cohomology admits a canonical Gerstenhaber algebra structure. We also develop the open-closed brace relations, provide a concise description of OCHAs, and establish an A-infinity structure that extends the…
▽ More
We prove that every open-closed homotopy algebra, introduced by Kajiura and Stasheff (arXiv: archive/0410291), naturally gives rise to an open-closed version of Hochschild cochain complex whose cohomology admits a canonical Gerstenhaber algebra structure. We also develop the open-closed brace relations, provide a concise description of OCHAs, and establish an A-infinity structure that extends the open-closed Hochschild differential.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Quantiles and Quantile Regression on Riemannian Manifolds: a measure-transportation-based approach
Authors:
Marc Hallin,
Hang Liu
Abstract:
Increased attention has been given recently to the statistical analysis of variables with values on nonlinear manifolds. A natural but nontrivial problem in that context is the definition of quantile concepts. We are proposing a solution for compact Riemannian manifolds without boundaries; typical examples are polyspheres, hyperspheres, and toroïdal manifolds equipped with their Riemannian metrics…
▽ More
Increased attention has been given recently to the statistical analysis of variables with values on nonlinear manifolds. A natural but nontrivial problem in that context is the definition of quantile concepts. We are proposing a solution for compact Riemannian manifolds without boundaries; typical examples are polyspheres, hyperspheres, and toroïdal manifolds equipped with their Riemannian metrics. Our concept of quantile function comes along with a concept of distribution function and, in the empirical case, ranks and signs. The absence of a canonical ordering is offset by resorting to the data-driven ordering induced by optimal transports. Theoretical properties, such as the uniform convergence of the empirical distribution and conditional (and unconditional) quantile functions and distribution-freeness of ranks and signs, are established. Statistical inference applications, from goodness-of-fit to distribution-free rank-based testing, are without number. Of particular importance is the case of quantile regression with directional or toroïdal multiple output, which is given special attention in this paper. Extensive simulations are carried out to illustrate these novel concepts.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Equivariant Poincaré-Hopf theorem
Authors:
Hongzhi Liu,
Hang Wang,
Zijing Wang,
Shaocong Xiang
Abstract:
In this paper, we employ the framework of localization algebras to compute the equivariant K-homology class of the Euler characteristic operator, a central object in studying equivariant index theory on manifolds. This approach provides a powerful algebraic language for analyzing differential operators on equivariant structures and allows for the application of Witten deformation techniques in a K…
▽ More
In this paper, we employ the framework of localization algebras to compute the equivariant K-homology class of the Euler characteristic operator, a central object in studying equivariant index theory on manifolds. This approach provides a powerful algebraic language for analyzing differential operators on equivariant structures and allows for the application of Witten deformation techniques in a K-homological context. Utilizing these results, we establish an equivariant version of the Poincaré-Hopf theorem, extending classical topological insights to the equivariant case, inspired by the results of Lück-Rosenberg. This work thus offers a new perspective on the localization techniques in the equivariant K-homology, highlighting their utility in deriving explicit formulas for index-theoretic invariants.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
Embedded State Estimation for Optimization of Cislunar Space Domain Awareness Constellation Design
Authors:
Thomas H. Clareson,
Matthew C. Fox,
Dominic K. Amato,
Hang Woon Lee
Abstract:
The traffic in cislunar space is expected to increase over the coming years, leading to a higher likelihood of conjunction events among active satellites, orbital debris, and non-cooperative satellites. This increase necessitates enhanced space domain awareness (SDA) capabilities that include state estimation for targets of interest. Both Earth surface-based and space-based observation platforms i…
▽ More
The traffic in cislunar space is expected to increase over the coming years, leading to a higher likelihood of conjunction events among active satellites, orbital debris, and non-cooperative satellites. This increase necessitates enhanced space domain awareness (SDA) capabilities that include state estimation for targets of interest. Both Earth surface-based and space-based observation platforms in geosynchronous orbit or below face challenges such as range, exclusion, and occlusion that hinder observation. Motivated by the need to place space-based observers in the cislunar space regime to overcome these challenges, this paper proposes a cislunar SDA constellation design and analysis framework that integrates state estimation into an optimization problem for determining the placement of observers for optimal state estimation performance on a set of targets. The proposed multi-observer placement optimization problem samples from a range of possible target orbits. Upon convergence, the optimized constellation is validated against a broader set of targets to assess its effectiveness. Two comparative analyses are presented to evaluate the effects of changes in the sensor tasking procedure and sensor fidelity on the optimized constellation, comparing these to a single observer baseline case. The results demonstrate that the optimized constellations can provide accurate state estimation for various orbit families.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
On the Melnikov method for fractional-order systems
Authors:
Hang Li,
Yongjun Shen,
Jian Li,
Jinlu Dong,
Guangyang Hong
Abstract:
This paper is dedicated to clarifying and introducing the correct application of Melnikov method in fractional dynamics. Attention to the complex dynamics of hyperbolic orbits and to fractional calculus can be, respectively, traced back to Poincarés attack on the three-body problem a century ago and to the early days of calculus three centuries ago. Nowadays, fractional calculus has been widely ap…
▽ More
This paper is dedicated to clarifying and introducing the correct application of Melnikov method in fractional dynamics. Attention to the complex dynamics of hyperbolic orbits and to fractional calculus can be, respectively, traced back to Poincarés attack on the three-body problem a century ago and to the early days of calculus three centuries ago. Nowadays, fractional calculus has been widely applied in modeling dynamic problems across various fields due to its advantages in describing problems with non-locality. Some of these models have also been confirmed to exhibit hyperbolic orbit dynamics, and recently, they have been extensively studied based on Melnikov method, an analytical approach for homoclinic and heteroclinic orbit dynamics. Despite its decade-long application in fractional dynamics, there is a universal problem in these applications that remains to be clarified, i.e., defining fractional-order systems within finite memory boundaries leads to the neglect of perturbation calculation for parts of the stable and unstable manifolds in Melnikov analysis. After clarifying and redefining the problem, a rigorous analytical case is provided for reference. Unlike existing results, the Melnikov criterion here is derived in a globally closed form, which was previously considered unobtainable due to difficulties in the analysis of fractional-order perturbations characterized by convolution integrals with power-law type singular kernels. Finally, numerical methods are employed to verify the derived Melnikov criterion. Overall, the clarification for the problem and the presented case are expected to provide insights for future research in this topic.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Shuffled Linear Regression via Spectral Matching
Authors:
Hang Liu,
Anna Scaglione
Abstract:
Shuffled linear regression (SLR) seeks to estimate latent features through a linear transformation, complicated by unknown permutations in the measurement dimensions. This problem extends traditional least-squares (LS) and Least Absolute Shrinkage and Selection Operator (LASSO) approaches by jointly estimating the permutation, resulting in shuffled LS and shuffled LASSO formulations. Existing meth…
▽ More
Shuffled linear regression (SLR) seeks to estimate latent features through a linear transformation, complicated by unknown permutations in the measurement dimensions. This problem extends traditional least-squares (LS) and Least Absolute Shrinkage and Selection Operator (LASSO) approaches by jointly estimating the permutation, resulting in shuffled LS and shuffled LASSO formulations. Existing methods, constrained by the combinatorial complexity of permutation recovery, often address small-scale cases with limited measurements. In contrast, we focus on large-scale SLR, particularly suited for environments with abundant measurement samples. We propose a spectral matching method that efficiently resolves permutations by aligning spectral components of the measurement and feature covariances. Rigorous theoretical analyses demonstrate that our method achieves accurate estimates in both shuffled LS and shuffled LASSO settings, given a sufficient number of samples. Furthermore, we extend our approach to address simultaneous pose and correspondence estimation in image registration tasks. Experiments on synthetic datasets and real-world image registration scenarios show that our method outperforms existing algorithms in both estimation accuracy and registration performance.
△ Less
Submitted 16 April, 2025; v1 submitted 30 September, 2024;
originally announced October 2024.
-
Regularity of Powers and symbolic powers of edge ideals of cubic circulant graphs
Authors:
Nguyen Thu Hang,
My Hanh Pham,
Thanh Vu
Abstract:
We compute the regularity of powers and symbolic powers of edge ideals of all cubic circulant graphs. In particular, we establish Conjecture of Minh for cubic circulant graphs.
We compute the regularity of powers and symbolic powers of edge ideals of all cubic circulant graphs. In particular, we establish Conjecture of Minh for cubic circulant graphs.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Feynman-Kac Formula for Nonlinear Schrödinger Equations with Applications in Numerical Approximations
Authors:
Hang Cheung,
Jinniao Qiu,
Yang Yang
Abstract:
This paper is devoted to a Feynman-Kac formula for general nonlinear time-dependent Schrödinger equations with applications in numerical approximations. Our formulation integrates both the Fisk-Stratonovich and Itô integrals within the framework of backward stochastic differential equations. Utilizing this Feynman-Kac representation, we propose a deep-learning-based approach for numerical approxim…
▽ More
This paper is devoted to a Feynman-Kac formula for general nonlinear time-dependent Schrödinger equations with applications in numerical approximations. Our formulation integrates both the Fisk-Stratonovich and Itô integrals within the framework of backward stochastic differential equations. Utilizing this Feynman-Kac representation, we propose a deep-learning-based approach for numerical approximation. Numerical experiments are performed to validate the accuracy and efficiency of our method, and a convergence analysis is provided to support the results.
△ Less
Submitted 22 October, 2024; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Most totally real fields do not have universal forms or Northcott property
Authors:
Nicolas Daans,
Vitezslav Kala,
Siu Hang Man,
Martin Widmer,
Pavlo Yatsyna
Abstract:
We show that, in the space of all totally real fields equipped with the constructible topology, the set of fields that admit a universal quadratic form, or have the Northcott property, is meager. The main tool is a new theorem on the number of square classes of totally positive units represented by a quadratic lattice of a given rank.
We show that, in the space of all totally real fields equipped with the constructible topology, the set of fields that admit a universal quadratic form, or have the Northcott property, is meager. The main tool is a new theorem on the number of square classes of totally positive units represented by a quadratic lattice of a given rank.
△ Less
Submitted 28 May, 2025; v1 submitted 17 September, 2024;
originally announced September 2024.
-
Envisioning an Optimal Network of Space-Based Lasers for Orbital Debris Remediation
Authors:
David O. Williams Rogers,
Matthew C. Fox,
Paul R. Stysley,
Hang Woon Lee
Abstract:
The significant expansion of the orbital debris population poses a serious threat to the safety and sustainability of space operations. This paper investigates orbital debris remediation through a network of collaborative space-based lasers, leveraging the principle of momentum transfer onto debris via laser ablation. A novel delta-v vector analysis framework quantifies the cumulative effects of m…
▽ More
The significant expansion of the orbital debris population poses a serious threat to the safety and sustainability of space operations. This paper investigates orbital debris remediation through a network of collaborative space-based lasers, leveraging the principle of momentum transfer onto debris via laser ablation. A novel delta-v vector analysis framework quantifies the cumulative effects of multiple concurrent laser-to-debris (L2D) engagements, utilizing the vector composition of the imparted delta-v vectors. The paper formulates the Concurrent Location-Scheduling Problem (CLSP) to optimize the placement of laser platforms and the scheduling of L2D engagements, aiming to maximize debris remediation capacity. Given the computational intractability of the CLSP, a decomposition strategy is employed, yielding two sequential subproblems: (1) determining optimal laser platform locations via the Maximal Covering Location Problem, and (2) scheduling L2D engagements using a novel integer linear programming approach to maximize debris remediation capacity. Computational experiments evaluate the efficacy of the proposed framework across diverse mission scenarios, demonstrating critical network functions such as collaborative and controlled nudging, deorbiting, and just-in-time collision avoidance. A sensitivity analysis further explores the impact of varying the number and distribution of laser platforms on debris remediation capacity, offering insights into optimizing the performance of space-based laser networks.
△ Less
Submitted 26 November, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Modular Vehicle Routing Problem: Applications in Logistics
Authors:
Hang Zhou,
Yang Li,
Chengyuan Ma,
Keke Long,
Xiaopeng Li
Abstract:
Recent studies and industry advancements indicate that modular vehicles (MVs) have the potential to enhance transportation systems through their ability to dock and split during a trip. Although various applications of MVs have been explored across different domains, their application in logistics remains underexplored. This study examines the use of MVs in cargo delivery to reduce total delivery…
▽ More
Recent studies and industry advancements indicate that modular vehicles (MVs) have the potential to enhance transportation systems through their ability to dock and split during a trip. Although various applications of MVs have been explored across different domains, their application in logistics remains underexplored. This study examines the use of MVs in cargo delivery to reduce total delivery costs. We model the delivery problem for MVs as a variant of the Vehicle Routing Problem, referred to as the Modular Vehicle Routing Problem (MVRP). In the MVRP, MVs can either serve customers independently or dock with other MVs to form a platoon, thereby reducing the average cost per unit. In this study, we mainly focus on two fundamental types of MVRPs, namely the capacitated MVRP and the MVRP with time windows. To address these problems, we first developed mixed-integer linear programming (MILP) models, which can be solved using commercial optimization solvers. Given the NP-hardness of this problem, we also designed a Tabu Search (TS) algorithm with a solution representation based on Gantt charts and a neighborhood structure tailored for the MVRP. Multi-start and shaking strategies were incorporated into the TS algorithm to escape local optima. Additionally, we explored other potential applications in logistics and discussed problem settings for three MVRP variants. Results from numerical experiments indicate that the proposed algorithm successfully identifies nearly all optimal solutions found by the MILP model in small-size benchmark instances, while also demonstrating good convergence speed in large-size benchmark instances. Comparative experiments show that the MVRP approach can reduce costs by approximately 5.6\% compared to traditional delivery methods. Sensitivity analyses reveal that improving the cost-saving capability of MV platooning can enhance overall benefits.
△ Less
Submitted 2 January, 2025; v1 submitted 2 September, 2024;
originally announced September 2024.
-
Fisher information bounds and applications to SDEs with small noise
Authors:
Nguyen Tien Dung,
Nguyen Thu Hang
Abstract:
In this paper, we first establish general bounds on the Fisher information distance to the class of normal distributions of Malliavin differentiable random variables. We then study the rate of Fisher information convergence in the central limit theorem for the solution of small noise stochastic differential equations and its additive functionals. We also show that the convergence rate is of optima…
▽ More
In this paper, we first establish general bounds on the Fisher information distance to the class of normal distributions of Malliavin differentiable random variables. We then study the rate of Fisher information convergence in the central limit theorem for the solution of small noise stochastic differential equations and its additive functionals. We also show that the convergence rate is of optimal order.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
New global Carleman estimates and null controllability for a stochastic Cahn-Hilliard type equation
Authors:
Sen Zhang,
Hang Gao,
Ganghua Yuan
Abstract:
In this paper, we study the null controllability for a stochastic semilinear CahnHilliard type equation, whose semilinear term contains first and second order derivatives of solutions. To start with, an improved global Carleman estimate for linear backward stochastic fourth order parabolic equations with $L^2$-valued source terms is derived, which is based on a new fundamental identity for a stoch…
▽ More
In this paper, we study the null controllability for a stochastic semilinear CahnHilliard type equation, whose semilinear term contains first and second order derivatives of solutions. To start with, an improved global Carleman estimate for linear backward stochastic fourth order parabolic equations with $L^2$-valued source terms is derived, which is based on a new fundamental identity for a stochastic fourth order parabolic operator. Based on it, we establish a new global Carleman estimate for linear backward stochastic fourth order parabolic equations with $H^{-2}$-valued source terms, which, together with a fixed point argument, derive the desired null controllability for the stochastic Cahn-Hilliard type equation.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Global null controllability of stochastic semilinear complex Ginzburg-Landau equations
Authors:
Sen Zhang,
Hang Gao,
Ganghua Yuan
Abstract:
In this paper, we study the null controllability of forward and backward stochastic semilinear complex Ginzburg-Landau equations with global Lipschitz nonlinear terms. For this purpose, by deriving an improved global Carleman estimates for linear systems, we obtain the controllability results for the stochastic linear systems with a $L^2$-valued source term. Based on it, together with a Banach fix…
▽ More
In this paper, we study the null controllability of forward and backward stochastic semilinear complex Ginzburg-Landau equations with global Lipschitz nonlinear terms. For this purpose, by deriving an improved global Carleman estimates for linear systems, we obtain the controllability results for the stochastic linear systems with a $L^2$-valued source term. Based on it, together with a Banach fixed point argument, the desired null controllability of semilinear systems is derived.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
A higher index on finite-volume locally symmetric spaces
Authors:
Hao Guo,
Peter Hochs,
Hang Wang
Abstract:
Let $G$ be a connected, real semisimple Lie group. Let $K<G$ be maximal compact, and let $Γ< G$ be discrete and such that $Γ\backslash G$ has finite volume. If the real rank of $G$ is $1$ and $Γ$ is torsion-free, then Barbasch and Moscovici obtained an index theorem for Dirac operators on the locally symmetric space $Γ\backslash G/K$. We obtain a higher version of this, using an index of Dirac ope…
▽ More
Let $G$ be a connected, real semisimple Lie group. Let $K<G$ be maximal compact, and let $Γ< G$ be discrete and such that $Γ\backslash G$ has finite volume. If the real rank of $G$ is $1$ and $Γ$ is torsion-free, then Barbasch and Moscovici obtained an index theorem for Dirac operators on the locally symmetric space $Γ\backslash G/K$. We obtain a higher version of this, using an index of Dirac operators on $G/K$ in the $K$-theory of an algebra on which the conjugation-invariant terms in Barbasch and Moscovici's index theorem define continuous traces. The resulting index theorems also apply when $Γ$ has torsion. The cases of these index theorems for traces defined by semisimple orbital integrals extend to Song and Tang's higher orbital integrals, and yield nonzero and computable results even when $\operatorname{rank}(G)> \operatorname{rank}(K)$, or the real rank of $G$ is larger than $1$.
△ Less
Submitted 5 May, 2025; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Existence and asymptotic autonomous robustness of random attractors for three-dimensional stochastic globally modified Navier-Stokes equations on unbounded domains
Authors:
Bui Kim My,
Ho Thi Hang,
Kush Kinra,
Manil T. Mohan,
Pham Tri Nguyen
Abstract:
In this article, we discuss the existence and asymptotically autonomous robustness (AAR) (almost surely) of random attractors for 3D stochastic globally modified Navier-Stokes equations (SGMNSE) on Poincaré domains (which may be bounded or unbounded). Our aim is to investigate the existence and AAR of random attractors for 3D SGMNSE when the time-dependent forcing converges to a time-independent f…
▽ More
In this article, we discuss the existence and asymptotically autonomous robustness (AAR) (almost surely) of random attractors for 3D stochastic globally modified Navier-Stokes equations (SGMNSE) on Poincaré domains (which may be bounded or unbounded). Our aim is to investigate the existence and AAR of random attractors for 3D SGMNSE when the time-dependent forcing converges to a time-independent function under the perturbation of linear multiplicative noise as well as additive noise. The main approach is to provide a way to justify that, on some uniformly tempered universe, the usual pullback asymptotic compactness of the solution operators is uniform across an infinite time-interval $(-\infty,τ]$. The backward uniform ``tail-smallness'' and ``flattening-property'' of the solutions over $(-\infty,τ]$ have been demonstrated to achieve this goal. To the best of our knowledge, this is the first attempt to establish the existence as well as AAR of random attractors for 3D SGMNSE on unbounded domains.
△ Less
Submitted 9 July, 2024; v1 submitted 11 June, 2024;
originally announced June 2024.
