Showing 1–50 of 354 results for author: Mao, J

Exact results on traces of sets

Authors: Mingze Li, Jie Ma, Mingyuan Rong

Abstract: For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal s… ▽ More For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal set theory asks to determine $m(s)=\lim_{n\rightarrow +\infty}\frac{m(n,s)}{n}$, where $m(n,s)$ denotes the maximum integer $m$ such that $\left( n,m \right) \rightarrow \left( n-1,m-s \right)$ holds for non-negatives $n$ and $s$. In this paper, we establish the exact value of $m(2^{d-1}-c)$ for all $1\leqslant c\leqslant d$ whenever $d\geqslant 50$, thereby solving an open problem posed by Piga and Schülke. To be precise, we show that $$m(n,2^{d-1}-c)=\frac{2^{d}-c}{d}n \mbox{ for } 1\leq c\leq d-1 \mbox{ and } d\mid n, \mbox{ and } m(n,2^{d-1}-d)=\frac{2^{d}-d-0.5}{d}n \mbox{ for } 2d\mid n $$ holds for $d\geq 50$. Furthermore, we provide a proof that confirms a conjecture of Frankl and Watanabe from 1994, demonstrating that $m(11)=5.3$. △ Less

Submitted 26 June, 2024; originally announced June 2024.

On Convergence and Rate of Convergence of Policy Improvement Algorithms

Authors: ** Ma, Gaozhan Wang, Jianfeng Zhang

Abstract: In this paper we provide a simple proof from scratch for the convergence of Policy Improvement Algorithm (PIA) for a continuous time entropy-regularized stochastic control problem. Such convergence has been established by Huang-Wang-Zhou(2023) by using sophisticated PDE estimates for the iterative PDEs involved in the PIA. Our approach builds on some Feynman-Kac type probabilistic representation f… ▽ More In this paper we provide a simple proof from scratch for the convergence of Policy Improvement Algorithm (PIA) for a continuous time entropy-regularized stochastic control problem. Such convergence has been established by Huang-Wang-Zhou(2023) by using sophisticated PDE estimates for the iterative PDEs involved in the PIA. Our approach builds on some Feynman-Kac type probabilistic representation formulae for solutions of PDEs and their derivatives. Moreover, in the infinite horizon model with a large discount factor and in the finite horizon model, we obtain the exponential rate of convergence with similar arguments. Finally, in the one dimensional setting, we extend the convergence result to the diffusion control case. △ Less

Submitted 20 June, 2024; v1 submitted 16 June, 2024; originally announced June 2024.

Comments: In this version we added a convergence result for the 1-dimensional model with diffusion controls

On automorphism groups of polar codes

Authors: Jicheng Ma, Guiying Yan

Abstract: Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has be… ▽ More Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has been done on Reed-Muller codes based on their rich code automorphisms. In 2021, a new permutation group decoder, referred to as the automorphism ensemble (AE) decoder, was introduced. This decoder can be applied to Polar codes and has been shown to produce similar decoding effects. However, identifying the right set of code automorphisms that enhance decoding performance for Polar codes remains a challenging task. This paper aims to characterize the full automorphism group of Polar codes. We will prove a reduction theorem that effectively reduces the problem of determining the full automorphism group of arbitrary random Polar codes to that of a specified class of Polar codes. Besides, we give exact classification of the full automorphism groups of families of Polar codes that are constructed using the Reed-Muller codes. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: 14 pages

MSC Class: 05E18; 20B25; 94B05; 94B35

Finding irregular subgraphs via local adjustments

Authors: Jie Ma, Shengjie Xie

Abstract: For a graph $H$, let $m(H,k)$ denote the number of vertices of degree $k$ in $H$. A conjecture of Alon and Wei states that for any $d\geq 3$, every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2$ for every $0\leq k \leq d$. This holds easily when $d\leq 2$. An asymptotic version of this conjecture was initially established by Frieze, Gould, K… ▽ More For a graph $H$, let $m(H,k)$ denote the number of vertices of degree $k$ in $H$. A conjecture of Alon and Wei states that for any $d\geq 3$, every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2$ for every $0\leq k \leq d$. This holds easily when $d\leq 2$. An asymptotic version of this conjecture was initially established by Frieze, Gould, Karoński and Pfender, subsequently improved by Alon and Wei, and most recently enhanced by Fox, Luo and Pham, approaching its complete range. All of these approaches relied on probabilistic methods. In this paper, we provide a novel framework to study this conjecture, based on localized deterministic techniques which we call local adjustments. We prove two main results. Firstly, we show that every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2d^2$ for all $0\leq k \leq d$, which provides the first bound independent of the value of $n$. Secondly, we confirm the case $d=3$ of the Alon-Wei Conjecture in a strong form. Both results can be generalized to multigraphs and yield efficient algorithms for finding the desired subgraphs $H$. Furthermore, we explore a generalization of the Alon-Wei Conjecture for multigraphs and its connection to the Faudree-Lehel Conjecture concerning irregularity strength. △ Less

Submitted 9 June, 2024; originally announced June 2024.

Continuous dependence for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions

Authors: Zhenxin Liu, Jun Ma

Abstract: In this paper, we consider the continuous dependence on initial values and parameters of solutions as well as invariant measures for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions. In contrast to the classical SDEs, the solutions for McKean-Vlasov SDEs do not converge in probability although the initial values converge in probability, which is due to the mismatch of the distan… ▽ More In this paper, we consider the continuous dependence on initial values and parameters of solutions as well as invariant measures for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions. In contrast to the classical SDEs, the solutions for McKean-Vlasov SDEs do not converge in probability although the initial values converge in probability, which is due to the mismatch of the distances between measures. Finally, we give some examples to illustrate our theoretical results. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:2309.05411

Optimality of Approximate Message Passing Algorithms for Spiked Matrix Models with Rotationally Invariant Noise

Authors: Rishabh Dudeja, Songbin Liu, Junjie Ma

Abstract: We study the problem of estimating a rank one signal matrix from an observed matrix generated by corrupting the signal with additive rotationally invariant noise. We develop a new class of approximate message-passing algorithms for this problem and provide a simple and concise characterization of their dynamics in the high-dimensional limit. At each iteration, these algorithms exploit prior knowle… ▽ More We study the problem of estimating a rank one signal matrix from an observed matrix generated by corrupting the signal with additive rotationally invariant noise. We develop a new class of approximate message-passing algorithms for this problem and provide a simple and concise characterization of their dynamics in the high-dimensional limit. At each iteration, these algorithms exploit prior knowledge about the noise structure by applying a non-linear matrix denoiser to the eigenvalues of the observed matrix and prior information regarding the signal structure by applying a non-linear iterate denoiser to the previous iterates generated by the algorithm. We exploit our result on the dynamics of these algorithms to derive the optimal choices for the matrix and iterate denoisers. We show that the resulting algorithm achieves the smallest possible asymptotic estimation error among a broad class of iterative algorithms under a fixed iteration budget. △ Less

Submitted 28 May, 2024; originally announced May 2024.

A note on the finitely generated fixed subgroup property

Authors: Jialin Lei, Jiming Ma, Qiang Zhang

Abstract: We study when a group of form $G\times\mathbb{Z}^m (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\rm{FGFP}_a$), by using the BNS-invariant, and provide some partial answers and non-trivial examples. We study when a group of form $G\times\mathbb{Z}^m (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\rm{FGFP}_a$), by using the BNS-invariant, and provide some partial answers and non-trivial examples. △ Less

Submitted 30 May, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 9 pages

Brock-type isoperimetric inequality for Steklov eigenvalues of the Witten-Laplacian

Authors: **g Mao, Shijie Zhang

Abstract: In this paper, by imposing suitable assumptions on the weighted function, (under the constraint of fixed weighted volume) a Brock-type isoperimetric inequality for Steklov-type eigenvalues of the Witten-Laplacian on bounded domains in a Euclidean space or a hyperbolic space has been proven. This conclusion is actually an interesting extension of F. Brock's classical result about the isoperimetric… ▽ More In this paper, by imposing suitable assumptions on the weighted function, (under the constraint of fixed weighted volume) a Brock-type isoperimetric inequality for Steklov-type eigenvalues of the Witten-Laplacian on bounded domains in a Euclidean space or a hyperbolic space has been proven. This conclusion is actually an interesting extension of F. Brock's classical result about the isoperimetric inequality for Steklov eigenvalues of the Laplacian given in the influential paper [Z. Angew. Math. Mech. 81 (2001) 69-71]. Besides, a related open problem has also been proposed in this paper. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 18 pages. Comments are welcome. arXiv admin note: text overlap with arXiv:2403.08070

MSC Class: 35P15; 49Jxx; 35J15

Anisotropic capillary hypersurfaces in a wedge

Authors: Hui Ma, Jiaxu Ma, Mingxuan Yang

Abstract: We establish Minkowski formulae and a Heintze-Karcher type inequality for anisotropic hypersurfaces in a classical wedge in Euclidean space. As an application, we prove an Alexandrov-type theorem. This extends the results in \cite{JWXZ} to the anisotropic case. We establish Minkowski formulae and a Heintze-Karcher type inequality for anisotropic hypersurfaces in a classical wedge in Euclidean space. As an application, we prove an Alexandrov-type theorem. This extends the results in \cite{JWXZ} to the anisotropic case. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: 18 pages, 5 figures

MSC Class: 53C24; 53C42; 53C40

Set-Valued Stochastic Differential Equations with Unbounded Coefficients

Authors: Atiqah Almuzaini, ** Ma

Abstract: In this paper, we mainly focus on the set-valued (stochastic) analysis on the space of convex, closed, but possibly unbounded sets, and try to establish a useful theoretical framework for studying the set-valued stochastic differential equations with unbounded coefficients. The space that we will be focusing on are convex, closed sets that are "generated" by a given cone, in the sense that the Hau… ▽ More In this paper, we mainly focus on the set-valued (stochastic) analysis on the space of convex, closed, but possibly unbounded sets, and try to establish a useful theoretical framework for studying the set-valued stochastic differential equations with unbounded coefficients. The space that we will be focusing on are convex, closed sets that are "generated" by a given cone, in the sense that the Hausdorff distance of all elements to the "generating" cone is finite. Such space should in particular include the so-called "upper sets", and has many useful cases in finance, such as the well-known set-valued risk measures, as well as the solvency cone in some super-hedging problems. We shall argue that, for such a special class of unbounded sets, under some conditions, the cancellation law is still valid, eliminating a major obstacle for extending the set-valued analysis to non-compact sets. We shall establish some basic algebraic and topological properties of such spaces, and show that some standard techniques will again be valid in studying the set-valued SDEs with unbounded (drift) coefficients which, to the best of our knowledge, is new. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Several isoperimetric inequalities of Dirichlet and Neumann eigenvalues of the Witten-Laplacian

Authors: Ruifeng Chen, **g Mao

Abstract: In this paper, by mainly using the rearrangement technique and suitably constructing trial functions, under the constraint of fixed weighted volume, we can successfully obtain several isoperimetric inequalities for the first and the second Dirichlet eigenvalues, the first nonzero Neumann eigenvalue of the Witten-Laplacian on bounded domains in space forms. These spectral isoperimetric inequalities… ▽ More In this paper, by mainly using the rearrangement technique and suitably constructing trial functions, under the constraint of fixed weighted volume, we can successfully obtain several isoperimetric inequalities for the first and the second Dirichlet eigenvalues, the first nonzero Neumann eigenvalue of the Witten-Laplacian on bounded domains in space forms. These spectral isoperimetric inequalities extend those classical ones (i.e. the Faber-Krahn inequality, the Hong-Krahn-Szegő inequality and the Szegő-Weinberger inequality) of the Laplacian. △ Less

Submitted 27 March, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 31 pages. Comments are welcome. Several typos have been corrected to v1

MSC Class: 35P15; 35J10; 35J15

On the Ashbaugh-Benguria type conjecture about lower-order Neumann eigenvalues of the Witten-Laplacian

Authors: Ruifeng Chen, **g Mao

Abstract: An isoperimetric inequality for lower order nonzero Neumann eigenvalues of the Witten-Laplacian on bounded domains in a Euclidean space or a hyperbolic space has been proven in this paper. About this conclusion, we would like to point out two things: It strengthens the well-known Szegő-Weinberger inequality for nonzero Neumann eigenvalues of the classical free membrane problem given in [J. Ratio… ▽ More An isoperimetric inequality for lower order nonzero Neumann eigenvalues of the Witten-Laplacian on bounded domains in a Euclidean space or a hyperbolic space has been proven in this paper. About this conclusion, we would like to point out two things: It strengthens the well-known Szegő-Weinberger inequality for nonzero Neumann eigenvalues of the classical free membrane problem given in [J. Rational Mech. Anal. 3 (1954) 343-356] and [J. Rational Mech. Anal. 5 (1956) 633-636]; Recently, Xia-Wang [Math. Ann. 385 (2023) 863-879] gave a very important progress to the celebrated conjecture of M. S. Ashbaugh and R. D. Benguria proposed in [SIAM J. Math. Anal. 24 (1993) 557-570]. It is easy to see that our conclusion here covers Xia-Wang's this progress as a special case. In this paper, we have also proposed two open problems which can be seen as a generalization of Ashbaugh-Benguria's conjecture mentioned above. △ Less

Submitted 27 March, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 19 pages. Comments are welcome. Several typos have been corrected to v1. A new reference has been added

MSC Class: 35P15; 49Jxx; 35J15

A hypergraph bipartite Turán problem with odd uniformity

Authors: Jie Ma, Tianchi Yang

Abstract: In this paper, we investigate the hypergraph Turán number $ex(n,K^{(r)}_{s,t})$. Here, $K^{(r)}_{s,t}$ denotes the $r$-uniform hypergraph with vertex set $\left(\cup_{i\in [t]}X_i\right)\cup Y$ and edge set $\{X_i\cup \{y\}: i\in [t], y\in Y\}$, where $X_1,X_2,\cdots,X_t$ are $t$ pairwise disjoint sets of size $r-1$ and $Y$ is a set of size $s$ disjoint from each $X_i$. This study was initially ex… ▽ More In this paper, we investigate the hypergraph Turán number $ex(n,K^{(r)}_{s,t})$. Here, $K^{(r)}_{s,t}$ denotes the $r$-uniform hypergraph with vertex set $\left(\cup_{i\in [t]}X_i\right)\cup Y$ and edge set $\{X_i\cup \{y\}: i\in [t], y\in Y\}$, where $X_1,X_2,\cdots,X_t$ are $t$ pairwise disjoint sets of size $r-1$ and $Y$ is a set of size $s$ disjoint from each $X_i$. This study was initially explored by Erdős and has since received substantial attention in research. Recent advancements by Bradač, Gishboliner, Janzer and Sudakov have greatly contributed to a better understanding of this problem. They proved that $ex(n,K_{s,t}^{(r)})=O_{s,t}(n^{r-\frac{1}{s-1}})$ holds for any $r\geq 3$ and $s,t\geq 2$. They also provided constructions illustrating the tightness of this bound if $r\geq 4$ is {\it even} and $t\gg s\geq 2$. Furthermore, they proved that $ex(n,K_{s,t}^{(3)})=O_{s,t}(n^{3-\frac{1}{s-1}-\varepsilon_s})$ holds for $s\geq 3$ and some $ε_s>0$. Addressing this intriguing discrepancy between the behavior of this number for $r=3$ and the even cases, Bradač et al. post a question of whether \begin{equation*} \mbox{$ex(n,K_{s,t}^{(r)})= O_{r,s,t}(n^{r-\frac{1}{s-1}- \varepsilon})$ holds for odd $r\geq 5$ and any $s\geq 3$.} \end{equation*} In this paper, we provide an affirmative answer to this question, utilizing novel techniques to identify regular and dense substructures. This result highlights a rare instance in hypergraph Turán problems where the solution depends on the parity of the uniformity. △ Less

Submitted 10 March, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Complex Hyperbolic Geometry of Chain Links

Authors: Jiming Ma, Baohua Xie, Mengmeng Xu

Abstract: The complex hyperbolic triangle group $Γ=Δ_{4,\infty,\infty;\infty}$ acting on the complex hyperbolic plane ${\bf H}^2_{\mathbb C}$ is generated by complex reflections $I_1$, $I_2$, $I_3$ such that the product $I_2I_3$ has order four, the products $I_3I_1$, $I_1I_2$ are parabolic and the product $I_1I_3I_2I_3$ is an accidental parabolic element. Unexpectedly, the product $I_1I_2I_3I_2$ is a hidden… ▽ More The complex hyperbolic triangle group $Γ=Δ_{4,\infty,\infty;\infty}$ acting on the complex hyperbolic plane ${\bf H}^2_{\mathbb C}$ is generated by complex reflections $I_1$, $I_2$, $I_3$ such that the product $I_2I_3$ has order four, the products $I_3I_1$, $I_1I_2$ are parabolic and the product $I_1I_3I_2I_3$ is an accidental parabolic element. Unexpectedly, the product $I_1I_2I_3I_2$ is a hidden accidental parabolic element. We show that the 3-manifold at infinity of $Δ_{4,\infty,\infty;\infty}$ is the complement of the chain link $8^4_1$ in the 3-sphere. In particular, the quartic cusped hyperbolic 3-manifold $S^3-8^4_1$ admits a spherical CR-uniformization. The proof relies on a new technique to show that the ideal boundary of the Ford domain is an infinite-genus handlebody. Motivated by this result and supported by the previous studies of various authors, we conjecture that the chain link $C_p$ is an ancestor of the 3-manifold at infinity of the critical complex hyperbolic triangle group $Δ_{p,q,r;\infty}$, for $3 \leq p \leq 9$. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Comments: 30 pages, 13 figures

Urysohn 1-width for 4 and 5 manifolds with positive biRicci curvature

Authors: Junyu Ma

Abstract: It was proved by Gromov-Lawson\cite{gl83} that complete three manifold with positive scalar curvature bounded below has finite Urysohn 1-width only depends on the uniform positive scalar curvature bounds. It is natural to ask the same question for the four manifolds. In this paper, we can show that closed four and five manifolds with positive biRicci curvature has finite Urysohn 1-width only depen… ▽ More It was proved by Gromov-Lawson\cite{gl83} that complete three manifold with positive scalar curvature bounded below has finite Urysohn 1-width only depends on the uniform positive scalar curvature bounds. It is natural to ask the same question for the four manifolds. In this paper, we can show that closed four and five manifolds with positive biRicci curvature has finite Urysohn 1-width only depends on the curvature bounds. During the proof we can also observe that the fundamental group of those manifolds are virtually free. This gives a quick application that $T^{2}\times S^{2}$ can't admit positive biRicci curvature. △ Less

Submitted 28 February, 2024; originally announced February 2024.

MSC Class: 53C12

Convergence of Gradient Descent with Small Initialization for Unregularized Matrix Completion

Authors: Jianhao Ma, Salar Fattahi

Abstract: We study the problem of symmetric matrix completion, where the goal is to reconstruct a positive semidefinite matrix $\rm{X}^\star \in \mathbb{R}^{d\times d}$ of rank-$r$, parameterized by $\rm{U}\rm{U}^{\top}$, from only a subset of its observed entries. We show that the vanilla gradient descent (GD) with small initialization provably converges to the ground truth $\rm{X}^\star$ without requiring… ▽ More We study the problem of symmetric matrix completion, where the goal is to reconstruct a positive semidefinite matrix $\rm{X}^\star \in \mathbb{R}^{d\times d}$ of rank-$r$, parameterized by $\rm{U}\rm{U}^{\top}$, from only a subset of its observed entries. We show that the vanilla gradient descent (GD) with small initialization provably converges to the ground truth $\rm{X}^\star$ without requiring any explicit regularization. This convergence result holds true even in the over-parameterized scenario, where the true rank $r$ is unknown and conservatively over-estimated by a search rank $r'\gg r$. The existing results for this problem either require explicit regularization, a sufficiently accurate initial point, or exact knowledge of the true rank $r$. In the over-parameterized regime where $r'\geq r$, we show that, with $\widetildeΩ(dr^9)$ observations, GD with an initial point $\|\rm{U}_0\| \leq ε$ converges near-linearly to an $ε$-neighborhood of $\rm{X}^\star$. Consequently, smaller initial points result in increasingly accurate solutions. Surprisingly, neither the convergence rate nor the final accuracy depends on the over-parameterized search rank $r'$, and they are only governed by the true rank $r$. In the exactly-parameterized regime where $r'=r$, we further enhance this result by proving that GD converges at a faster rate to achieve an arbitrarily small accuracy $ε>0$, provided the initial point satisfies $\|\rm{U}_0\| = O(1/d)$. At the crux of our method lies a novel weakly-coupled leave-one-out analysis, which allows us to establish the global convergence of GD, extending beyond what was previously possible using the classical leave-one-out analysis. △ Less

Submitted 9 February, 2024; originally announced February 2024.

A fast and gridless ORKA algorithm for tracking moving and deforming objects

Authors: Florian Bossmann, Jianwei Ma, Wenze wu

Abstract: Identifying objects in given data is a task frequently encountered in many applications. Finding vehicles or persons in video data, tracking seismic waves in geophysical exploration data, or predicting a storm front movement from meteorological measurements are only some of the possible applications. In many cases, the object of interest changes its form or position from one measurement to another… ▽ More Identifying objects in given data is a task frequently encountered in many applications. Finding vehicles or persons in video data, tracking seismic waves in geophysical exploration data, or predicting a storm front movement from meteorological measurements are only some of the possible applications. In many cases, the object of interest changes its form or position from one measurement to another. For example, vehicles in a video may change its position or angle to the camera in each frame. Seismic waves can change its arrival time, frequency, or intensity depending on the sensor position. Storm fronts can change its form and position over time. This complicates the identification and tracking as the algorithm needs to deal with the changing object over the given measurements. In a previous work, the authors presented a new algorithm to solve this problem - Object reconstruction using K-approximation (ORKA). The algorithm can solve the problem at hand but suffers from two disadvantages. On the one hand, the reconstructed object movement is bound to a grid that depends on the data resolution. On the other hand, the complexity of the algorithm increases exponentially with the resolution. We overcome both disadvantages by introducing an iterative strategy that uses a resampling method to create multiple resolutions of the data. In each iteration the resolution is increased to reconstruct more details of the object of interest. This way, we can even go beyond the original resolution by artificially upsampling the data. We give error bounds and a complexity analysis of the new method. Furthermore, we analyze its performance in several numerical experiments as well as on real data. We also give a brief introduction on the original ORKA algorithm. Knowledge of the previous work is thus not required. △ Less

Submitted 4 February, 2024; originally announced February 2024.

Finite-volume hyperbolic Coxeter 4-dimensional polytopes with 7 facets

Authors: Jiming Ma, Fangting Zheng

Abstract: In this paper, we obtain a complete classification of 315 finite-volume hyperbolic Coxeter 4-dimensional polytopes with 7 facets. In this paper, we obtain a complete classification of 315 finite-volume hyperbolic Coxeter 4-dimensional polytopes with 7 facets. △ Less

Submitted 20 January, 2024; originally announced January 2024.

Weak rainbow saturation numbers of graphs

Authors: Xihe Li, Jie Ma, Tianying Xie

Abstract: For a fixed graph $H$, we say that an edge-colored graph $G$ is \emph{weakly $H$-rainbow saturated} if there exists an ordering $e_1, e_2, \ldots, e_m$ of $E\left(\overline{G}\right)$ such that, for any list $c_1, c_2, \ldots, c_m$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_i$ in color $c_i$ can be added to $G$, one at a time, so that every added edge creates a new rainbow cop… ▽ More For a fixed graph $H$, we say that an edge-colored graph $G$ is \emph{weakly $H$-rainbow saturated} if there exists an ordering $e_1, e_2, \ldots, e_m$ of $E\left(\overline{G}\right)$ such that, for any list $c_1, c_2, \ldots, c_m$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_i$ in color $c_i$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. The \emph{weak rainbow saturation number} of $H$, denoted by $rwsat(n,H)$, is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. In this paper, we show that for any non-empty graph $H$, the limit $\lim_{n\to \infty} \frac{rwsat(n, H)}{n}$ exists. This answers a question of Behague, Johnston, Letzter, Morrison and Ogden [{\it SIAM J. Discrete Math.} (2023)]. We also provide lower and upper bounds on this limit, and in particular, we show that this limit is nonzero if and only if $H$ contains no pendant edges. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Comments: 13 pages, 1 figure

Distributed Optimal Output Consensus Control of Heterogeneous Multi-Agent Systems with Safety Constraints

Authors: Ji Ma, Shu Liang, Yiguang Hong

Abstract: In this paper, we develop a novel dynamic distributed optimal safe consensus protocol to simultaneously achieve safety requirements and output optimal consensus. Specifically, we construct a distributed projection optimization algorithm with an expanding constraint set in the decision-making layer, while we propose a reference tracking safety controller to ensure that each agent's output remains w… ▽ More In this paper, we develop a novel dynamic distributed optimal safe consensus protocol to simultaneously achieve safety requirements and output optimal consensus. Specifically, we construct a distributed projection optimization algorithm with an expanding constraint set in the decision-making layer, while we propose a reference tracking safety controller to ensure that each agent's output remains within a shrinking safety set in the control layer.We also establish the convergence and safety analysis of the closed-loop system using the small-gain theorem and time-varying control barrier function (CBF) theory, respectively. Besides, unlike previous works on distributed optimal consensus, our approach does not require prior knowledge of the local objective or gradient function and adopts a mild assumption on the dynamics of multiagent systems (MASs) by using the transmission zeros condition. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: 15 pages, 4 figures

Stability of strong viscous shock wave under periodic perturbation for 1-D isentropic Navier-Stokes system in the half space

Authors: Lin Chang, Lin He, ** Ma

Abstract: In this paper, a viscous shock wave under space-periodic perturbation of 1-D isentropic Navier-Stokes system in the half space is investigated. It is shown that if the initial periodic perturbation around the viscous shock wave is small, then the solution time asymptotically tends to a viscous shock wave with a shift partially determined by the periodic oscillations. Moreover, the strength of {the… ▽ More In this paper, a viscous shock wave under space-periodic perturbation of 1-D isentropic Navier-Stokes system in the half space is investigated. It is shown that if the initial periodic perturbation around the viscous shock wave is small, then the solution time asymptotically tends to a viscous shock wave with a shift partially determined by the periodic oscillations. Moreover, the strength of {the} shock wave could be arbitrarily large. This result essentially improves the previous work " A. Matsumura, M. Mei, Convergence to travelling fronts of solutions of the p-system with viscosity in the presence of a boundary. Arch. Ration. Mech. Anal. 146 (1999), no. 1, 1-22." where the strength of shock wave is sufficiently small and the initial periodic oscillations vanish. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Comments: 2 figures

Betti graphs and atomization of Puiseux monoids

Authors: Scott T. Chapman, Joshua Jang, Jason Mao, Skyler Mao

Abstract: Let $M$ be a Puiseux monoid, that is, a monoid consisting of nonnegative rationals (under addition). A nonzero element of $M$ is called an atom if its only decomposition as a sum of two elements in $M$ is the trivial decomposition (i.e., one of the summands is $0$), while a nonzero element $b \in M$ is called atomic if it can be expressed as a sum of finitely many atoms allowing repetitions: this… ▽ More Let $M$ be a Puiseux monoid, that is, a monoid consisting of nonnegative rationals (under addition). A nonzero element of $M$ is called an atom if its only decomposition as a sum of two elements in $M$ is the trivial decomposition (i.e., one of the summands is $0$), while a nonzero element $b \in M$ is called atomic if it can be expressed as a sum of finitely many atoms allowing repetitions: this formal sum of atoms is called an (additive) factorization of $b$. The monoid $M$ is called atomic if every nonzero element of $M$ is atomic. In this paper, we study factorizations in atomic Puiseux monoids through the lens of their associated Betti graphs. The Betti graph of $b \in M$ is the graph whose vertices are the factorizations of $b$ with edges between factorizations that share at least one atom. Betti graphs have been useful in the literature to understand several factorization invariants in the more general class of atomic monoids. △ Less

Submitted 30 November, 2023; originally announced December 2023.

Comments: 14 pages

MSC Class: Primary: 13F15; 13A05; Secondary: 20M13; 13F05

Reversed Hardy-Littlewood-Sobolev inequalities with vertical weights on the upper half space

Authors: **gbo Dou, Yunyun Hu, **g**g Ma

Abstract: In this paper, we obtain the reversed Hardy-Littlewood-Sobolev inequality with vertical weights on the upper half space and discuss the extremal functions. We show that the sharp constants in this inequality are attained by introducing a renormalization method. The classification of corresponding extremal functions is discussed via the method of moving spheres. Moreover, we prove the sufficient an… ▽ More In this paper, we obtain the reversed Hardy-Littlewood-Sobolev inequality with vertical weights on the upper half space and discuss the extremal functions. We show that the sharp constants in this inequality are attained by introducing a renormalization method. The classification of corresponding extremal functions is discussed via the method of moving spheres. Moreover, we prove the sufficient and necessary conditions of existence for positive solutions to the Euler-Lagrange equations by using Pohozaev identities in weak sense. This renormalization method is rearrangement free, which can be also applied to prove the existence of extremal functions for sharp (reversed) Hardy-Littlewood-Sobolev inequality with extended kernels and other similar inequalities. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 36 pages

MSC Class: 35A23; 45E10; 45G15; 42B37

Graph-Based Optimization for Technology Pathway Analysis: A Case Study in Decarbonization of University Campuses

Authors: Blake Lopez, Jiaze Ma, Victor M. Zavala

Abstract: Industrial sectors such as urban centers, chemical companies, manufacturing facilities, and microgrids are actively exploring strategies to help reduce their carbon footprint. For instance, university campuses are complex urban districts (involving collections of buildings and utility systems) that are seeking to reduce carbon footprints that originate from diverse activities (e.g., transportation… ▽ More Industrial sectors such as urban centers, chemical companies, manufacturing facilities, and microgrids are actively exploring strategies to help reduce their carbon footprint. For instance, university campuses are complex urban districts (involving collections of buildings and utility systems) that are seeking to reduce carbon footprints that originate from diverse activities (e.g., transportation operations and production of heating, cooling, and power utilities). This work presents an optimization framework to identify technology pathways that enable decarbonization of complex industrial sectors. The framework uses a graph abstraction that compactly captures interdependencies between diverse products and technologies as well as diverse externalities (e.g., market, policy, and carbon prices). Duality analysis reveals that the formulation can be interpreted as an economy, market, or value chain that uses technologies to generate economic value (wealth) by transforming basic products into higher value products. This interpretation also reveals that the formulation identifies pathways that maximize the profit of stakeholders, helps reveal the inherent value (prices) of intermediate products, and helps analyze the impact of externalities and technology specifications on product values. Our developments are illustrated via a case study involving a prototypical university campus that seeks to identify pathways that reduce its carbon footprint (e.g., via electrification and deployment of hydrogen technologies). We use the framework to determine carbon tax values, technology specifications, and investment budgets that activate different technology pathways and that achieve different levels of decarbonization. △ Less

Submitted 16 January, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

Absolute continuity of Wasserstein barycenters on manifolds with a lower Ricci curvature bound

Authors: Jianyu Ma

Abstract: Given a complete Riemannian manifold $M$ with a lower Ricci curvature bound, we consider barycenters in the Wasserstein space $\mathcal{W}_2(M)$ of probability measures on $M$. We refer to them as Wasserstein barycenters, which by definition are probability measures on $M$. The goal of this article is to present a novel approach to proving their absolute continuity. We introduce a new class of dis… ▽ More Given a complete Riemannian manifold $M$ with a lower Ricci curvature bound, we consider barycenters in the Wasserstein space $\mathcal{W}_2(M)$ of probability measures on $M$. We refer to them as Wasserstein barycenters, which by definition are probability measures on $M$. The goal of this article is to present a novel approach to proving their absolute continuity. We introduce a new class of displacement functionals exploiting the Hessian equality for Wasserstein barycenters. To provide suitable instances of such functionals, we revisit Souslin space theory, Dunford-Pettis theorem and the de la Vallée Poussin criterion for uniform integrability. Our method shows that if a probability measure $\mathbb{P}$ on $\mathcal{W}_2(M)$ gives mass to absolutely continuous measures on $M$, then its unique barycenter is also absolutely continuous. This generalizes the previous results on compact manifolds by Kim and Pass arXiv:1412.7726 [math.AP] . △ Less

Submitted 20 October, 2023; originally announced October 2023.

Convolution quadratures based on block generalized Adams methods

Authors: Ling Liu, Junjie Ma

Abstract: This paper studies a class of convolution quadratures, well-known numerical methods for calculation of convolution integrals. In contrast to the existing counterpart, which uses the linear multistep formula or Runge-Kutta method, we employ the block generalized Adams method to discretize the underlying initial value problem. Similar to the convolution quadrature method based on the linear multiste… ▽ More This paper studies a class of convolution quadratures, well-known numerical methods for calculation of convolution integrals. In contrast to the existing counterpart, which uses the linear multistep formula or Runge-Kutta method, we employ the block generalized Adams method to discretize the underlying initial value problem. Similar to the convolution quadrature method based on the linear multistep formula, the proposed method can also be implemented on an equispaced grid. In addition, the proposed approach is as stable as the convolution quadrature based on the Runge-Kutta method, which indicates that it can accurately solve a wide range of problems without becoming unstable. We provide a detailed convergence analysis for the proposed convolution quadrature method and numerically illustrate our theoretical findings for convolution integrals with smooth and weakly singular kernels. △ Less

Submitted 22 October, 2023; v1 submitted 15 October, 2023; originally announced October 2023.

Comments: 21 pages

MSC Class: 65D32; 65R10

Supersaturation beyond color-critical graphs

Authors: Jie Ma, Long-Tu Yuan

Abstract: The supersaturation problem for a given graph $F$ asks for the minimum number $h_F(n,q)$ of copies of $F$ in an $n$-vertex graph with $ex(n,F)+q$ edges. Subsequent works by Rademacher, Erdős, and Lovász and Simonovits determine the optimal range of $q$ (which is linear in $n$) for cliques $F$ such that $h_F(n,q)$ equals the minimum number $t_F(n,q)$ of copies of $F$ obtained from a maximum $F$-fre… ▽ More The supersaturation problem for a given graph $F$ asks for the minimum number $h_F(n,q)$ of copies of $F$ in an $n$-vertex graph with $ex(n,F)+q$ edges. Subsequent works by Rademacher, Erdős, and Lovász and Simonovits determine the optimal range of $q$ (which is linear in $n$) for cliques $F$ such that $h_F(n,q)$ equals the minimum number $t_F(n,q)$ of copies of $F$ obtained from a maximum $F$-free $n$-vertex graph by adding $q$ new edges. A breakthrough result of Mubayi extends this line of research from cliques to color-critical graphs $F$, and this was further strengthened by Pikhurko and Yilma who established the equality $h_F(n,q)=t_F(n,q)$ for $1\leq q\leq ε_F n$ and sufficiently large $n$. In this paper, we present several results on the supersaturation problem that extend beyond the existing framework. Firstly, we explicitly construct infinitely many graphs $F$ with restricted properties for which $h_F(n,q)<q\cdot t_F(n,1)$ holds when $n\gg q\geq 4$, thus refuting a conjecture of Mubayi. Secondly, we extend the result of Pikhurko-Yilma by showing the equality $h_F(n,q)=t_F(n,q)$ in the range $1\leq q\leq ε_F n$ for any member $F$ in a diverse and abundant graph family (which includes color-critical graphs, disjoint unions of cliques $K_r$, and the Petersen graph). Lastly, we prove the existence of a graph $F$ for any positive integer $s$ such that $h_F(n,q)=t_F(n,q)$ holds when $1\leq q\leq ε_F n^{1-1/s}$, and $h_F(n,q)<t_F(n,q)$ when $n^{1-1/s}/ε_F\leq q\leq ε_F n$, indicating that $q=Θ(n^{1-1/s})$ serves as the threshold for the equality $h_F(n,q)=t_F(n,q)$. We also discuss some additional remarks and related open problems. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Figure-eight knot is always over there

Authors: Jiming Ma, Baohua Xie

Abstract: It is well-known that complex hyperbolic triangle groups $Δ(3,3,4)$ generated by three complex reflections $I_1,I_2,I_3$ in $\mbox{PU(2,1)}$ has 1-dimensional moduli space. Deforming the representations from the classical $\mathbb{R}$-Fuchsian one to $Δ(3,3,4; \infty)$, that is, when $I_3I_2I_1I_2$ is accidental parabolic, the 3-manifolds at infinity change from a Seifert 3-manifold to the figure-… ▽ More It is well-known that complex hyperbolic triangle groups $Δ(3,3,4)$ generated by three complex reflections $I_1,I_2,I_3$ in $\mbox{PU(2,1)}$ has 1-dimensional moduli space. Deforming the representations from the classical $\mathbb{R}$-Fuchsian one to $Δ(3,3,4; \infty)$, that is, when $I_3I_2I_1I_2$ is accidental parabolic, the 3-manifolds at infinity change from a Seifert 3-manifold to the figure-eight knot complement. When $I_3I_2I_1I_2$ is loxodromic, there is an open set $Ω\subset \partial\mathbf H^{2}_{\mathbb C}=\mathbb S^3$ associated to $I_3I_2I_1I_2$, which is a subset of the discontinuous region. We show the quotient space $Ω/ Δ(3,3,4)$ is always the figure-eight knot complement in the deformation process. This gives the topological/geometrical explain that the 3-manifold at infinity of $Δ(3,3,4; \infty)$ is the figure-eight knot complement. In particular, this confirms a conjecture of Falbel-Guilloux-Will. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Complexity of null dynamical systems and Sauer--Shelah lemmas

Authors: Guorong Gao, Jie Ma, Mingyuan Rong, Tuan Tran

Abstract: The topological entropy of a topological dynamical system, introduced in a foundational paper by Adler, Konheim and McAndrew [Trans. Am. Math. Soc., 1965], is a nonnegative number that measures the uncertainty or disorder of the system. Comparing with positive entropy systems, zero entropy systems are much less understood. In order to distinguish between zero entropy systems, Huang and Ye [Adv. Ma… ▽ More The topological entropy of a topological dynamical system, introduced in a foundational paper by Adler, Konheim and McAndrew [Trans. Am. Math. Soc., 1965], is a nonnegative number that measures the uncertainty or disorder of the system. Comparing with positive entropy systems, zero entropy systems are much less understood. In order to distinguish between zero entropy systems, Huang and Ye [Adv. Math., 2009] introduced the concept of maximal pattern entropy of a topological dynamical system. At the heart of their analysis is a Sauer-Shelah type lemma. In the present paper, we provide a shorter and more conceptual proof of a strengthening of this lemma, and discuss its surprising connection between dynamical system, combinatorics and a recent breakthrough in communication complexity. We also improve one of the main results of Huang and Ye on the maximal pattern entropy of zero-dimensional systems, by proving a new Sauer-Shelah type lemma, which unifies and enhances various extremal results on VC-dimension, Natarajan dimension and Steele dimension. △ Less

Submitted 11 October, 2023; v1 submitted 8 October, 2023; originally announced October 2023.

The topology of the Eisenstein-Picard modular surface

Authors: Jiming Ma, Baohua Xie

Abstract: The Eisenstein-Picard modular surface $M$ is the quotient space of the complex hyperbolic plane by the modular group $\rm PU(2,1; \mathbb{Z}[ω])$. We determine the global topology of $M$ as a 4-orbifold. The Eisenstein-Picard modular surface $M$ is the quotient space of the complex hyperbolic plane by the modular group $\rm PU(2,1; \mathbb{Z}[ω])$. We determine the global topology of $M$ as a 4-orbifold. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Reinforcement Learning for optimal dividend problem under diffusion model

Authors: Lihua Bai, Thejani Gamage, ** Ma, Pengxu Xie

Abstract: In this paper, we study the optimal dividend problem under the continuous time diffusion model with the dividend rate being restricted in a given finite interval. Unlike the standard literature, we shall particularly be interested in the case when the parameters (e.g. drift and diffusion coefficients) of the model are not specified so that the optimal control cannot be explicitly determined. We th… ▽ More In this paper, we study the optimal dividend problem under the continuous time diffusion model with the dividend rate being restricted in a given finite interval. Unlike the standard literature, we shall particularly be interested in the case when the parameters (e.g. drift and diffusion coefficients) of the model are not specified so that the optimal control cannot be explicitly determined. We therefore follow the recently developed method via the Reinforcement Learning (RL) to find the optimal strategy. Specifically, we shall design a corresponding RL-type entropy-regularized exploratory control problem, which randomize the control actions, and balance the exploitation and exploration. We shall first carry out a theoretical analysis of the new relaxed control problem and prove that the value function is the unique bounded classical solution to the corresponding HJB equation. We will then use a policy improvement argument, along with policy evaluation devices (e.g., Temporal Difference (TD)-based algorithm and Martingale Loss (ML)-algorithms) to construct approximating sequences of the optimal strategy. We present some numerical results using different parametrization families for the cost functional to illustrate the effectiveness of the approximation schemes. △ Less

Submitted 18 September, 2023; originally announced September 2023.

On faces of the Kunz cone and the numerical semigroups within them

Authors: Levi Borevitz, Tara Gomes, Jiajie Ma, Harper Niergarth, Christopher O'Neill, Daniel Pocklington, Rosa Stolk, Jessica Wang, Shuhang Xue

Abstract: A numerical semigroup is a cofinite subset of the non-negative integers that is closed under addition and contains 0. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a rational polyhedral cone $\mathcal C_m$, called the Kunz cone. Moreover, numerical semigroups corresponding to points in the same face $F \subseteq \mathcal C_m$ are known to… ▽ More A numerical semigroup is a cofinite subset of the non-negative integers that is closed under addition and contains 0. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a rational polyhedral cone $\mathcal C_m$, called the Kunz cone. Moreover, numerical semigroups corresponding to points in the same face $F \subseteq \mathcal C_m$ are known to share many properties, such as the number of minimal generators. In this work, we classify which faces of $\mathcal C_m$ contain points corresponding to numerical semigroups. Additionally, we obtain sharp bounds on the number of minimal generators of $S$ in terms of the dimension of the face of $\mathcal C_m$ containing the point corresponding to $S$. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Existence, uniqueness and ergodicity for McKean-Vlasov SDEs under distribution-dependent Lyapunov conditions

Authors: Zhenxin Liu, Jun Ma

Abstract: In this paper, we prove the existence and uniqueness of solutions as well as ergodicity for McKean-Vlasov SDEs under Lyapunov conditions, in which the Lyapunov functions are defined on $\mathbb R^d\times \mathcal P_2(\mathbb R^d)$, i.e. the Lyapunov functions depend not only on space variable but also on distribution variable. It is reasonable and natural to consider distribution-dependent Lyapuno… ▽ More In this paper, we prove the existence and uniqueness of solutions as well as ergodicity for McKean-Vlasov SDEs under Lyapunov conditions, in which the Lyapunov functions are defined on $\mathbb R^d\times \mathcal P_2(\mathbb R^d)$, i.e. the Lyapunov functions depend not only on space variable but also on distribution variable. It is reasonable and natural to consider distribution-dependent Lyapunov functions since the coefficients depends on distribution variable. We apply the martingale representation theorem and a modified Yamada-Watanabe theorem to obtain the existence and uniqueness of solutions. Furthermore, the Krylov-Bogolioubov theorem is used to get ergodicity since it is valid by linearity of the corresponding Fokker-Planck equations on $\mathbb R^d\times \mathcal P_2(\mathbb R^d)$. In particular, if the Lyapunov function depends only on space variable, we obtain exponential ergodicity for semigroup $P_t^*$ under Wasserstein quasi-distance. Finally, we give some examples to illustrate our theoretical results. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 20 pages

Counting triangles in regular graphs

Authors: Jialin He, Xinmin Hou, Jie Ma, Tianying Xie

Abstract: In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that… ▽ More In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$. △ Less

Submitted 17 January, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 15 pages, 2 figures

The Sampling Method for Optimal Precursors of ENSO Events

Authors: Bin Shi, Junjie Ma

Abstract: El Niño-Southern Oscillation (ENSO) is one of the significant climate phenomena, which appears periodically in the tropic Pacific. The intermediate coupled ocean-atmosphere Zebiak-Cane (ZC) model is the first and classical one designed to numerically forecast the ENSO events. Traditionally, the conditional nonlinear optimal perturbation (CNOP) approach has been used to capture optimal precursors i… ▽ More El Niño-Southern Oscillation (ENSO) is one of the significant climate phenomena, which appears periodically in the tropic Pacific. The intermediate coupled ocean-atmosphere Zebiak-Cane (ZC) model is the first and classical one designed to numerically forecast the ENSO events. Traditionally, the conditional nonlinear optimal perturbation (CNOP) approach has been used to capture optimal precursors in practice. In this paper, based on state-of-the-art statistical machine learning techniques, we investigate the sampling algorithm proposed in [Shi and Sun, 2023] to obtain optimal precursors via the CNOP approach in the ZC model. For the ZC model, or more generally, the numerical models with dimension $\mathrm{O}(10^4-10^5)$, the numerical performance, regardless of the statically spatial patterns and the dynamical nonlinear time evolution behaviors as well as the corresponding quantities and indices, shows the high efficiency of the sampling method by comparison with the traditional adjoint method. The sampling algorithm does not only reduce the gradient (first-order information) to the objective function value (zeroth-order information) but also avoids the use of the adjoint model, which is hard to develop in the coupled ocean-atmosphere models and the parameterization models. In addition, based on the key characteristic that the samples are independently and identically distributed, we can implement the sampling algorithm by parallel computation to shorten the computation time. Meanwhile, we also show in the numerical experiments that the important features of optimal precursors can be still captured even when the number of samples is reduced sharply. △ Less

Submitted 26 August, 2023; originally announced August 2023.

Comments: 13 pages, 4 figures, 2 tables

Path-Regularity and Martingale Properties of Set-Valued Stochastic Integrals

Authors: Çağın Ararat, ** Ma

Abstract: In this paper we study the path-regularity and martingale properties of the set-valued stochastic integrals defined in our previous work Ararat et al. (2023). Such integrals have some fundamental differences from the well-known Aumann-Itô stochastic integrals, and are much better suitable for representing set-valued martingales, whence potentially useful in the study of set-valued backward stochas… ▽ More In this paper we study the path-regularity and martingale properties of the set-valued stochastic integrals defined in our previous work Ararat et al. (2023). Such integrals have some fundamental differences from the well-known Aumann-Itô stochastic integrals, and are much better suitable for representing set-valued martingales, whence potentially useful in the study of set-valued backward stochastic differential equations. However, similar to the Aumann-Itô integral, the new integral is only a set-valued submartingale in general, and there is very limited knowledge about the path regularity of the related indefinite integral, much less the sufficient conditions under which the integral is a true martingale. In this paper, we first establish the existence of right- and left-continuous modifications of set-valued submartingales in continuous time, and apply the results to set-valued stochastic integrals. Moreover, we show that a set-valued stochastic integral yields a martingale if and only if the set of terminal values of the stochastic integrals associated to the integrand is closed and decomposable. Finally, as a particular example, we study the set-valued martingale in the form of the conditional expectation of a set-valued random variable. We show that when the random variable is a convex random polytope, the conditional expectation of a vertex stays as a vertex of the set-valued conditional expectation if and only if the random polytope has a deterministic normal fan. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 47 pages, 1 figure

MSC Class: 60H05; 60G44; 28B20; 47H04

Hardy-Littlewood-Sobolev inequalities with partial variable weight on the upper half space and related inequalities

Authors: **gbo Dou, **g**g Ma

Abstract: In this paper, we establish a class of Hardy-Littlewood-Sobolev inequality with partial variable weight functions on the upper half space using a weighted Hardy type inequality. Overcoming the impact of weighted functions, the existence of extremal functions is proved via the concentration compactness principle, whereas Riesz rearrangement inequality is not available. Moreover, the cylindrical sym… ▽ More In this paper, we establish a class of Hardy-Littlewood-Sobolev inequality with partial variable weight functions on the upper half space using a weighted Hardy type inequality. Overcoming the impact of weighted functions, the existence of extremal functions is proved via the concentration compactness principle, whereas Riesz rearrangement inequality is not available. Moreover, the cylindrical symmetry with respect to $t$-axis and the explicit forms on the boundary of all nonnegative extremal functions are discussed via the method of moving planes and method of moving spheres, as well as, regularity results are obtained by the regularity lift lemma and bootstrap technique. As applications, we obtain some weighted Sobolev inequalities with partial variable weight function for Laplacian and fractional Laplacian. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 35A23; 42B37; 45G15

Phase Transitions of Structured Codes of Graphs

Authors: Bo Bai, Yu Gao, Jie Ma, Yuze Wu

Abstract: We consider the symmetric difference of two graphs on the same vertex set $[n]$, which is the graph on $[n]$ whose edge set consists of all edges that belong to exactly one of the two graphs. Let $\mathcal{F}$ be a class of graphs, and let $M_{\mathcal{F}}(n)$ denote the maximum possible cardinality of a family $\mathcal{G}$ of graphs on $[n]$ such that the symmetric difference of any two members… ▽ More We consider the symmetric difference of two graphs on the same vertex set $[n]$, which is the graph on $[n]$ whose edge set consists of all edges that belong to exactly one of the two graphs. Let $\mathcal{F}$ be a class of graphs, and let $M_{\mathcal{F}}(n)$ denote the maximum possible cardinality of a family $\mathcal{G}$ of graphs on $[n]$ such that the symmetric difference of any two members in $\mathcal{G}$ belongs to $\mathcal{F}$. These concepts are recently investigated by Alon, Gujgiczer, Körner, Milojević, and Simonyi, with the aim of providing a new graphic approach to coding theory. In particular, $M_{\mathcal{F}}(n)$ denotes the maximum possible size of this code. Existing results show that as the graph class $\mathcal{F}$ changes, $M_{\mathcal{F}}(n)$ can vary from $n$ to $2^{(1+o(1))\binom{n}{2}}$. We study several phase transition problems related to $M_{\mathcal{F}}(n)$ in general settings and present a partial solution to a recent problem posed by Alon et. al. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Complexification of an infinite volume Coxeter tetrahedron

Authors: Jiming Ma

Abstract: Let $T$ be an infinite volume Coxeter tetrahedron in three dimensional real hyperbolic space ${\bf H}^{3}_{\mathbb R}$ with two opposite right-angles and the other angles are all zeros. Let $G$ be the Coxeter group of $T$, so $$G=\left\langle ι_1, ι_2, ι_3, ι_4 \Bigg| \begin{array} {c} ι_1^2= ι_2^2 = ι_3^2=ι_4^2=id, \\ (ι_1 ι_3)^{2}=(ι_2 ι_4)^{2}=id \end{array}\right\rangle$$ as an abstract group.… ▽ More Let $T$ be an infinite volume Coxeter tetrahedron in three dimensional real hyperbolic space ${\bf H}^{3}_{\mathbb R}$ with two opposite right-angles and the other angles are all zeros. Let $G$ be the Coxeter group of $T$, so $$G=\left\langle ι_1, ι_2, ι_3, ι_4 \Bigg| \begin{array} {c} ι_1^2= ι_2^2 = ι_3^2=ι_4^2=id, \\ (ι_1 ι_3)^{2}=(ι_2 ι_4)^{2}=id \end{array}\right\rangle$$ as an abstract group. We study type-preserving representations $ρ: G \rightarrow \mathbf{PU}(3,1)$, where $ρ( ι_{i})=I_{i}$ is a complex reflection fixing a complex hyperbolic plane in three dimensional complex hyperbolic space ${\bf H}^{3}_{\mathbb C}$ for $1 \leq i \leq 4$. The moduli space $\mathcal{M}$ of these representations is parameterized by $θ\in [\frac{5 π}{6}, π]$. In particular, $θ=\frac{5 π}{6}$ and $θ=π$ degenerate to ${\bf H}^{2}_{\mathbb C}$-geometry and ${\bf H}^{3}_{\mathbb R}$-geometry respectively. Via Dirichlet domains, we show $ρ=ρ_θ$ is a discrete and faithful representation of the group $G$ for all $θ\in [\frac{5 π}{6}, π]$. This is the first nontrivial moduli space in three dimensional complex hyperbolic space that has been studied completely. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: arXiv admin note: text overlap with arXiv:2306.15240

Three-dimensional complex reflection groups via Ford domains

Authors: Jiming Ma

Abstract: We initiate the study of deformations of groups in three-dimensional complex hyperbolic geometry. Let $$G=\left\langle ι_1, ι_2, ι_3, ι_4 \Bigg| \begin{array}{c} ι_1^2= ι_2^2 = ι_3^2=ι_4^2=id,\\ (ι_1 ι_3)^{2}=(ι_1 ι_4)^{3}=(ι_2 ι_4)^{2}=id \end{array}\right\rangle$$ be an abstract group. We study representations $ρ: G \rightarrow \mathbf{PU}(3,1)$, where $ρ( ι_{i})=I_{i}$ is a complex reflection… ▽ More We initiate the study of deformations of groups in three-dimensional complex hyperbolic geometry. Let $$G=\left\langle ι_1, ι_2, ι_3, ι_4 \Bigg| \begin{array}{c} ι_1^2= ι_2^2 = ι_3^2=ι_4^2=id,\\ (ι_1 ι_3)^{2}=(ι_1 ι_4)^{3}=(ι_2 ι_4)^{2}=id \end{array}\right\rangle$$ be an abstract group. We study representations $ρ: G \rightarrow \mathbf{PU}(3,1)$, where $ρ( ι_{i})=I_{i}$ is a complex reflection fixing a complex hyperbolic plane in ${\bf H}^{3}_{\mathbb C}$ for $1 \leq i \leq 4$, with the additional condition that $I_1I_2$ is parabolic. When we assume two pairs of hyper-parallel complex hyperbolic planes have the same distance, then the moduli space $\mathcal{M}$ is parameterized by $(h,t) \in [1, \infty) \times [0, π]$ but $t \leq \operatorname{arccos}(-\frac{3h^2+1}{4h^2})$. In particular, $t=0$ and $t=\operatorname{arccos}(-\frac{3h^2+1}{4h^2})$ degenerate to ${\bf H}^{3}_{\mathbb R}$-geometry and ${\bf H}^{2}_{\mathbb C}$-geometry respectively. Using the Ford domain of $ρ_{(\sqrt{2},\operatorname{arccos}(-\frac{7}{8}))}(G)$ as a guide, we show $ρ_{(h,t)}$ is a discrete and faithful representation of $G \rightarrow \mathbf{PU}(3,1)$ when $(h,t) \in \mathcal{M}$ is near to $(\sqrt{2}, \operatorname{arccos}(-\frac{7}{8}))$. This is the first nontrivial example of the Ford domain of a subgroup in $\mathbf{PU}(3,1)$ that has been studied. △ Less

Submitted 27 June, 2023; originally announced June 2023.

The moduli space of the modular group in three-dimensional complex hyperbolic geometry

Authors: Jiming Ma

Abstract: We study the moduli space of discrete, faithful, type-preserving representations of the modular group $\mathbf{PSL}(2,\mathbb{Z})$ into $\mathbf{PU}(3,1)$. The entire moduli space $\mathcal{M}$ is a union of $\mathcal{M}(0,\frac{2π}{3},\frac{4π}{3})$, $\mathcal{M}(\frac{2π}{3},\frac{4π}{3},\frac{4π}{3})$ and some isolated points. This is the first Fuchsian group such that its $\mathbf{PU}(3,1)$-re… ▽ More We study the moduli space of discrete, faithful, type-preserving representations of the modular group $\mathbf{PSL}(2,\mathbb{Z})$ into $\mathbf{PU}(3,1)$. The entire moduli space $\mathcal{M}$ is a union of $\mathcal{M}(0,\frac{2π}{3},\frac{4π}{3})$, $\mathcal{M}(\frac{2π}{3},\frac{4π}{3},\frac{4π}{3})$ and some isolated points. This is the first Fuchsian group such that its $\mathbf{PU}(3,1)$-representations space has been entirely constructed. Both $\mathcal{M}(0,\frac{2π}{3},\frac{4π}{3})$ and $\mathcal{M}(\frac{2π}{3},\frac{4π}{3},\frac{4π}{3})$ are parameterized by a square, where two opposite sides of the square correspond to representations of $\mathbf{PSL}(2,\mathbb{Z})$ into the smaller group $\mathbf{PU}(2,1)$. In particular, both sub moduli spaces $\mathcal{M}(0,\frac{2π}{3},\frac{4π}{3} )$ and $\mathcal{M}(\frac{2π}{3},\frac{4π}{3},\frac{4π}{3})$ interpolate the geometries studied in \cite{FalbelKoseleff:2002} and \cite{Falbelparker:2003}. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Entropy Bounds for Self-shrinkers with Symmetries

Authors: John Man Shun Ma, Ali Muhammad

Abstract: In this work we derive explicit entropy bounds for two classes of closed self-shrinkers: the class of embedded closed self-shrinkers recently constructed in arXiv:2207.04851 using isoparametric foliations of spheres, and the class of compact non-spherical immersed rotationally symmetric self-shrinkers. These bounds generalize the entropy bounds found in arXiv:2202.08641 on the space of complete em… ▽ More In this work we derive explicit entropy bounds for two classes of closed self-shrinkers: the class of embedded closed self-shrinkers recently constructed in arXiv:2207.04851 using isoparametric foliations of spheres, and the class of compact non-spherical immersed rotationally symmetric self-shrinkers. These bounds generalize the entropy bounds found in arXiv:2202.08641 on the space of complete embedded rotationally symmetric self-shrinkers. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Report number: CPH-GEOTOP-DNRF151

On Two problems of defective choosability

Authors: Jie Ma, Rongxing Xu, Xuding Zhu

Abstract: Given positive integers $p \ge k$, and a non-negative integer $d$, we say a graph $G$ is $(k,d,p)$-choosable if for every list assignment $L$ with $|L(v)|\geq k$ for each $v \in V(G)$ and $|\bigcup_{v\in V(G)}L(v)| \leq p$, there exists an $L$-coloring of $G$ such that each monochromatic subgraph has maximum degree at most $d$. In particular, $(k,0,k)$-choosable means $k$-colorable,… ▽ More Given positive integers $p \ge k$, and a non-negative integer $d$, we say a graph $G$ is $(k,d,p)$-choosable if for every list assignment $L$ with $|L(v)|\geq k$ for each $v \in V(G)$ and $|\bigcup_{v\in V(G)}L(v)| \leq p$, there exists an $L$-coloring of $G$ such that each monochromatic subgraph has maximum degree at most $d$. In particular, $(k,0,k)$-choosable means $k$-colorable, $(k,0,+\infty)$-choosable means $k$-choosable and $(k,d,+\infty)$-choosable means $d$-defective $k$-choosable. This paper proves that there are 1-defective 3-choosable graphs that are not 4-choosable, and for any positive integers $\ell \geq k \geq 3$, and non-negative integer $d$, there are $(k,d, \ell)$-choosable graphs that are not $(k,d , \ell+1)$-choosable. These results answer questions asked by Wang and Xu [SIAM J. Discrete Math. 27, 4(2013), 2020-2037], and Kang [J. Graph Theory 73, 3(2013), 342-353], respectively. Our construction of $(k,d, \ell)$-choosable but not $(k,d , \ell+1)$-choosable graphs generalizes the construction of Král' and Sgall in [J. Graph Theory 49, 3(2005), 177-186] for the case $d=0$. △ Less

Submitted 23 June, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

Comments: 12 pages, 4 figures

Partitioning graphs with linear minimum degree

Authors: Jie Ma, Hehui Wu

Abstract: We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Ou… ▽ More We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Our proof combines probabilistic methods with structural arguments based on Ore's Theorem on $f$-factors of bipartite graphs. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Learning across Data Owners with Joint Differential Privacy

Authors: Yangsibo Huang, Haotian Jiang, Daogao Liu, Mohammad Mahdian, Jieming Mao, Vahab Mirrokni

Abstract: In this paper, we study the setting in which data owners train machine learning models collaboratively under a privacy notion called joint differential privacy [Kearns et al., 2018]. In this setting, the model trained for each data owner $j$ uses $j$'s data without privacy consideration and other owners' data with differential privacy guarantees. This setting was initiated in [Jain et al., 2021] w… ▽ More In this paper, we study the setting in which data owners train machine learning models collaboratively under a privacy notion called joint differential privacy [Kearns et al., 2018]. In this setting, the model trained for each data owner $j$ uses $j$'s data without privacy consideration and other owners' data with differential privacy guarantees. This setting was initiated in [Jain et al., 2021] with a focus on linear regressions. In this paper, we study this setting for stochastic convex optimization (SCO). We present an algorithm that is a variant of DP-SGD [Song et al., 2013; Abadi et al., 2016] and provides theoretical bounds on its population loss. We compare our algorithm to several baselines and discuss for what parameter setups our algorithm is more preferred. We also empirically study joint differential privacy in the multi-class classification problem over two public datasets. Our empirical findings are well-connected to the insights from our theoretical results. △ Less

Submitted 25 May, 2023; originally announced May 2023.

System Identification with Copula Entropy

Authors: Jian Ma

Abstract: Identifying differential equation governing dynamical system is an important problem with wide applications. Copula Entropy (CE) is a mathematical concept for measuring statistical independence in information theory. In this paper we propose a method for identifying differential equation of dynamical systems with CE. The problem is considered as a variable selection problem and solved with the pre… ▽ More Identifying differential equation governing dynamical system is an important problem with wide applications. Copula Entropy (CE) is a mathematical concept for measuring statistical independence in information theory. In this paper we propose a method for identifying differential equation of dynamical systems with CE. The problem is considered as a variable selection problem and solved with the previously proposed CE-based method for variable selection. The proposed method composed of two components: the difference operator and the CE estimator. Since both components can be done non-parametrically, the proposed method is therefore model-free and hyperparameter-free. The simulation experiment with the 3D Lorenz system verified the effectiveness of the proposed method. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 10 pages, 3 figures

A property on monochromatic copies of graphs containing a triangle

Authors: Hao Chen, Jie Ma

Abstract: A graph $H$ is called common and respectively, strongly common if the number of monochromatic copies of $H$ in a 2-edge-coloring $φ$ of a large clique is asymptotically minimised by the random coloring with an equal proportion of each color and respectively, by the random coloring with the same proportion of each color as in $φ$. A well-known theorem of Jagger, {\v S}t'ov{\' i}{\v c}ek and Thomaso… ▽ More A graph $H$ is called common and respectively, strongly common if the number of monochromatic copies of $H$ in a 2-edge-coloring $φ$ of a large clique is asymptotically minimised by the random coloring with an equal proportion of each color and respectively, by the random coloring with the same proportion of each color as in $φ$. A well-known theorem of Jagger, {\v S}t'ov{\' i}{\v c}ek and Thomason states that every graph containing a $K_4$ is not common. Here we prove an analogous result that every graph containing a $K_3$ and with at least four edges is not strongly common. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Special unipotent representations of simple linear Lie groups of type A

Authors: Dan Barbasch, Jia-Jun Ma, Binyong Sun, Chen-Bo Zhu

Abstract: Let G be a special linear group over the real, the complex or the quaternion, or a special unitary group. In this note, we determine all special unipotent representations of G in the sense of Arthur and Barbasch-Vogan, and show in particular that all of them are unitarizable. Let G be a special linear group over the real, the complex or the quaternion, or a special unitary group. In this note, we determine all special unipotent representations of G in the sense of Arthur and Barbasch-Vogan, and show in particular that all of them are unitarizable. △ Less

Submitted 31 October, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: To appear in Acta Mathematica Sinica, English Series

MSC Class: 22E46; 22E47

On the annihilator variety of a highest weight module for classical Lie algebras

Authors: Zhanqiang Bai, Jia-Jun Ma, Yutong Wang

Abstract: Let $\mathfrak{g}$ be a classical complex simple Lie algebra. Let $L(λ)$ be a highest weight module of $\mathfrak{g}$ with highest weight $λ-ρ$, where $ρ$ is half the sum of positive roots. The associated variety of the annihilator ideal of $L(λ)$ is called the annihilator variety of $L(λ)$.It is known that the annihilator variety of any highest weight module $L(λ)$ is the Zariski closure of a nil… ▽ More Let $\mathfrak{g}$ be a classical complex simple Lie algebra. Let $L(λ)$ be a highest weight module of $\mathfrak{g}$ with highest weight $λ-ρ$, where $ρ$ is half the sum of positive roots. The associated variety of the annihilator ideal of $L(λ)$ is called the annihilator variety of $L(λ)$.It is known that the annihilator variety of any highest weight module $L(λ)$ is the Zariski closure of a nilpotent orbit in $\mathfrak{g}^*$. But in general, this nilpotent orbit is not easy to describe for a given highest weight module $L(λ)$. In this paper, we will give some simple formulas to characterize this unique nilpotent orbit appearing in the annihilator variety of a highest weight module for classical Lie algebras. Our formulas are given by introducing two algorithms, i.e., bipartition algorithm and partition algorithm. To get a special or metaplectic special partition from a domino type partition, we define the H-algorithm based on the Robinson-Schensted insertion algorithm. By using this H-algorithm, we can easily determine this nilpotent orbit from the information of $λ$. △ Less

Submitted 12 June, 2024; v1 submitted 7 April, 2023; originally announced April 2023.

Comments: 36pages

On profinite rigidity of 4-dimensional Seifert manifolds

Authors: Jiming Ma, Zixi Wang

Abstract: There are many results showing the connection and phenomenon between some low-dimensional manifolds with the profinite completions of their fundamental groups. We focus on some Seifert 4-manifolds about the extent of their profinite completion to detect one, giving classification of monodromies and conditions for them to be profinitely rigid. There are many results showing the connection and phenomenon between some low-dimensional manifolds with the profinite completions of their fundamental groups. We focus on some Seifert 4-manifolds about the extent of their profinite completion to detect one, giving classification of monodromies and conditions for them to be profinitely rigid. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: arXiv admin note: text overlap with arXiv:2011.03784