-
Alexandrov-Fenchel inequalities for convex anisotropic capillary hypersurfaces in the half-space
Authors:
Jinyu Gao,
Guanghan Li
Abstract:
In this paper, the results of Mei, Wang, Weng and Xia [Math. Z., 2025, MR4911815] on capillary convex bodies are extended to the anisotropic setting. We develop a theory for anisotropic capillary convex bodies in the half-space and establish a general Alexandrov-Fenchel inequality for mixed volumes of anisotropic capillary convex bodies. Thus, this weakens the conditions of the inequality in [Ding…
▽ More
In this paper, the results of Mei, Wang, Weng and Xia [Math. Z., 2025, MR4911815] on capillary convex bodies are extended to the anisotropic setting. We develop a theory for anisotropic capillary convex bodies in the half-space and establish a general Alexandrov-Fenchel inequality for mixed volumes of anisotropic capillary convex bodies. Thus, this weakens the conditions of the inequality in [Ding-Gao-Li,arXiv:2408.10740, Theorem 1.4] and extends it to a more general case.
△ Less
Submitted 7 July, 2025;
originally announced July 2025.
-
Incompressible limit for the 3D compressible FENE dumbbell model
Authors:
Jincheng Gao,
Jiahong Wu,
Zheng-an Yao,
Ruijia Yu
Abstract:
In this work, we study the global-in-time incompressible limit of the compressible FENE dumbbell model on the three-dimensional torus T^3, where the incompressible limit is driven by large volume viscosity. To establish this limit, we develop time-weighted a priori estimates that yield decay rates for strong solutions. A key challenge arises from the fact that increasing the volume viscosity suppr…
▽ More
In this work, we study the global-in-time incompressible limit of the compressible FENE dumbbell model on the three-dimensional torus T^3, where the incompressible limit is driven by large volume viscosity. To establish this limit, we develop time-weighted a priori estimates that yield decay rates for strong solutions. A key challenge arises from the fact that increasing the volume viscosity suppresses the decay of high-frequency components, thereby weakening the dissipation of the density and complicating the derivation of uniform-in-time decay estimates. To overcome this difficulty, we introduce a novel momentum-based estimate and show that the incompressible component of the momentum decays faster in time than the velocity itself. Exploiting this enhanced decay, we successfully close the a priori estimates and establish a time-decreasing convergence rate toward the incompressible limit.
△ Less
Submitted 4 July, 2025;
originally announced July 2025.
-
Induced rational exponents and bipartite subgraphs in $K_{s, s}$-free graphs
Authors:
Zichao Dong,
Jun Gao,
Ruonan Li,
Hong Liu
Abstract:
In this paper, we study a general phenomenon that many extremal results for bipartite graphs can be transferred to the induced setting when the host graph is $K_{s, s}$-free. As manifestations of this phenomenon, we prove that every rational $\frac{a}{b} \in (1, 2), \, a, b \in \mathbb{N}_+$, can be achieved as Turán exponent of a family of at most $2^a$ induced forbidden bipartite graphs, extendi…
▽ More
In this paper, we study a general phenomenon that many extremal results for bipartite graphs can be transferred to the induced setting when the host graph is $K_{s, s}$-free. As manifestations of this phenomenon, we prove that every rational $\frac{a}{b} \in (1, 2), \, a, b \in \mathbb{N}_+$, can be achieved as Turán exponent of a family of at most $2^a$ induced forbidden bipartite graphs, extending a result of Bukh and Conlon [JEMS 2018]. Our forbidden family is a subfamily of theirs which is substantially smaller. A key ingredient, which is yet another instance of this phenomenon, is supersaturation results for induced trees and cycles in $K_{s, s}$-free graphs. We also provide new evidence to a recent conjecture of Hunter, Milojević, Sudakov, and Tomon [JCTB 2025] by proving optimal bounds for the maximum size of $K_{s, s}$-free graphs without an induced copy of theta graphs or prism graphs, whose Turán exponents were determined by Conlon [BLMS 2019] and by Gao, Janzer, Liu, and Xu [IJM 2025+].
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Set families: restricted distances via restricted intersections
Authors:
Zichao Dong,
Jun Gao,
Hong Liu,
Minghui Ouyang,
Qiang Zhou
Abstract:
Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] = \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B \in \mathcal{F}$. Kleitman's celebrated discrete isodiametric inequality states that $f_D(n)$ is maximized at Hamming balls of radius $d/2$ when $D = \{1, \dots, d\}$. We study the generalization where…
▽ More
Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] = \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B \in \mathcal{F}$. Kleitman's celebrated discrete isodiametric inequality states that $f_D(n)$ is maximized at Hamming balls of radius $d/2$ when $D = \{1, \dots, d\}$. We study the generalization where $D$ is a set of arithmetic progression and determine $f_D(n)$ asymptotically for all homogeneous $D$. In the special case when $D$ is an interval, our result confirms a conjecture of Huang, Klurman, and Pohoata. Moreover, we demonstrate a dichotomy in the growth of $f_D(n)$, showing linear growth in $n$ when $D$ is a non-homogeneous arithmetic progression. Different from previous combinatorial and spectral approaches, we deduce our results by converting the restricted distance problems to restricted intersection problems.
Our proof ideas can be adapted to prove upper bounds on $t$-distance sets in Hamming cubes (also known as binary $t$-codes), which has been extensively studied by algebraic combinatorialists community, improving previous bounds from polynomial methods and optimization approaches.
△ Less
Submitted 28 April, 2025; v1 submitted 16 April, 2025;
originally announced April 2025.
-
Model Consistency of the Iterative Regularization of Dual Ascent for Low-Complexity Regularization
Authors:
Jie Gao,
Cesare Molinari,
Silvia Villa,
Jingwei Liang
Abstract:
Regularization is a core component of modern inverse problems as it allows to establish well-posedness to the solution of interests. Popular regularization approaches include variational regularization and iterative regularization. The former one can be tackled by solving a variational optimization problem, which is the sum of a regularization term and a data-fidelity term balanced by a proper wei…
▽ More
Regularization is a core component of modern inverse problems as it allows to establish well-posedness to the solution of interests. Popular regularization approaches include variational regularization and iterative regularization. The former one can be tackled by solving a variational optimization problem, which is the sum of a regularization term and a data-fidelity term balanced by a proper weight, while the latter one chooses a proper stopping time to avoid overfitting to the noise. In the study of regularization, an important topic is the relation between the solution obtained by regularization and the original ground truth. When the ground truth has low-complexity structure which is encoded as the "model", a sensitivity property shows that the solution obtained from proper regularization that promotes the same structure is robust to small perturbations, this is called "model consistency". For variational regularization, model consistency of linear inverse problem is studied in [1]. While, for iterative regularization, the existence of model consistency is an open problem. In this paper, based on a recent development of partial smoothness which is also considered in [1], we show that if the noise level is sufficiently small and a proper stopping time is chosen, the solution by iterative regularization also achieves model consistency and more exhibit local linear convergence behavior. Numerical simulations are provided to verify our theoretical findings.
△ Less
Submitted 30 April, 2025; v1 submitted 15 April, 2025;
originally announced April 2025.
-
On a natural L2 metric on the space of Hermitian metrics
Authors:
Jinwei Gao
Abstract:
We investigate the space of Hermitian metrics on a fixed complex vector bundle. This infinite-dimensional space has appeared in the study of Hermitian-Einstein structures, where a special L2-type Riemannian metric is introduced. We compute the metric spray, geodesics and curvature associated to this metric, and show that the exponential map is a diffeomorphsim. Though being geodesically complete,…
▽ More
We investigate the space of Hermitian metrics on a fixed complex vector bundle. This infinite-dimensional space has appeared in the study of Hermitian-Einstein structures, where a special L2-type Riemannian metric is introduced. We compute the metric spray, geodesics and curvature associated to this metric, and show that the exponential map is a diffeomorphsim. Though being geodesically complete, the space of Hermitian metrics is metrically incomplete, and its metric completion is proved to be the space of L2 integrable singular Hermitian metrics. In addition, both the original space and its completion are CAT(0). In the holomorphic case, it turns out that Griffiths seminegative/semipositive singular Hermitian metric is always "L2 integrable" in our sense. Also, in the Appendix, the Nash-Moser inverse function theorem is used to prove that, for any L2 metric on the space of smooth sections of a given fiber bundle, the exponential map is always a local diffeomorphism, provided that each fiber is nonpositively curved.
△ Less
Submitted 6 April, 2025; v1 submitted 31 March, 2025;
originally announced March 2025.
-
Reconstruction of mapping spaces by inverse limits
Authors:
Jing-Wen Gao,
Xiao-Song Yang
Abstract:
Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of finite $T_0$-spaces which depends only on the finite open covers of $X$ and $Y$. Applying our tools, we obtain that if $H$ is an isotopy of a compact metric sp…
▽ More
Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of finite $T_0$-spaces which depends only on the finite open covers of $X$ and $Y$. Applying our tools, we obtain that if $H$ is an isotopy of a compact metric space $(X, d)$, then $H_1H^{-1}_0$ can be approximated in terms of moves of a finite $T_0$-space.
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
The maximum spectral radius of $θ_{2,2,3}$-free graphs with given size
Authors:
Jing Gao,
Xueliang Li
Abstract:
A theta graph $θ_{r,p,q}$ is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $r,p,q$, where $q\geq p\geq r\geq1$ and $p\geq2$. A graph is $θ_{r,p,q}$-free if it does not contain $θ_{r,p,q}$ as a subgraph. The maximum spectral radius of $θ_{1,p,q}$-free graphs with given size has been determined for any $q\geq p\geq2$. Zhai, Lin and Shu [Spectra…
▽ More
A theta graph $θ_{r,p,q}$ is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $r,p,q$, where $q\geq p\geq r\geq1$ and $p\geq2$. A graph is $θ_{r,p,q}$-free if it does not contain $θ_{r,p,q}$ as a subgraph. The maximum spectral radius of $θ_{1,p,q}$-free graphs with given size has been determined for any $q\geq p\geq2$. Zhai, Lin and Shu [Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs, European J. Combin. 95 (2021) 103322] characterized the extremal graph with the maximum spectral radius of $θ_{2,2,2}$-free graphs having $m$ edges. In this paper, we consider the maximum spectral radius of $θ_{2,2,3}$-free graphs with size $m$ and characterize the extremal graph.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Asymptotic behavior of multi-peak solutions to the Brezis-Nirenberg problem. The sub-critical perturbation case
Authors:
Jinkai Gao,
Shiwang Ma
Abstract:
In this paper, we consider the following well-known Brezis-Nirenberg problem \begin{equation*} \begin{cases} -Δu= u^{2^*-1}+\varepsilon u^{q-1}, \quad u>0, &{\text{in}~Ω},\\ \quad \ \ u=0, &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $N\geq 3$, $Ω$ is a smooth and bounded domain in $\R^{N}$, $\varepsilon>0$ is a small parameter, $q\in (2,2^*)$ and $2^*:=\frac{2N}{N-2}$ denotes the cr…
▽ More
In this paper, we consider the following well-known Brezis-Nirenberg problem \begin{equation*} \begin{cases} -Δu= u^{2^*-1}+\varepsilon u^{q-1}, \quad u>0, &{\text{in}~Ω},\\ \quad \ \ u=0, &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $N\geq 3$, $Ω$ is a smooth and bounded domain in $\R^{N}$, $\varepsilon>0$ is a small parameter, $q\in (2,2^*)$ and $2^*:=\frac{2N}{N-2}$ denotes the critical Sobolev exponent. The existence of solutions to the above problem has been obtained by many authors in the literature. However, as far as the authors know, the asymptotic behavior of solutions to the above problem is still open. Here we first describe the asymptotic profile of solutions to the above problem as $\varepsilon\to 0$. Then, we derive the exact blow-up rate and characterize the concentration speed and the location of concentration points in the general case of multi-peak solutions. Finally, we prove the uniqueness, nondegeneracy and count the exact number of blow-up solutions.
The main results in this paper give a complete picture of multi-peak blow-up phenomena in the framework of Brezis-Peletier conjecture in the case of sub-critical perturbation. On the other hand, compared with the special case $q=2$ previously studied in the literature, we observe that the exponent $q$ has a significant impact on the asymptotic behavior, uniqueness and nondegeneracy of solutions in addition to the geometry of domain $Ω$ and space dimension $N$ which is already known in the literature.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
Asymptotic behavior for the Brezis-Nirenberg problem. The subcritical perturbation case
Authors:
Jinkai Gao,
Shiwang Ma
Abstract:
In this paper, we are concerned with the well-known Brezis-Nirenberg problem \begin{equation*} \begin{cases} -Δu= u^{2^*-1}+\varepsilon u^{q-1},\quad u>0, &{\text{in}~Ω},\\ \quad \ \ u=0, &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $Ω\subset \mathbb R^N$ with $N\ge 3$ is a bounded domain, $q\in(2,2^*)$ and $2^*=\frac{2N}{N-2}$ denotes the critical Sobolev exponent. It is well-known…
▽ More
In this paper, we are concerned with the well-known Brezis-Nirenberg problem \begin{equation*} \begin{cases} -Δu= u^{2^*-1}+\varepsilon u^{q-1},\quad u>0, &{\text{in}~Ω},\\ \quad \ \ u=0, &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $Ω\subset \mathbb R^N$ with $N\ge 3$ is a bounded domain, $q\in(2,2^*)$ and $2^*=\frac{2N}{N-2}$ denotes the critical Sobolev exponent. It is well-known (H. Brézis and L. Nirenberg, \newblock {\em Comm. Pure Appl. Math.}, 36(4):437--477, 1983) that the above problem admits a positive least energy solution for all $\varepsilon >0$ and $q>\max\{2,\frac{4}{N-2}\}$. In the present paper, we first analyze the asymptotic behavior of the positive least energy solution as $\varepsilon\to 0$ and establish a sharp asymptotic characterisation of the profile and blow-up rate of the least energy solution. Then, we prove the uniqueness and nondegeneracy of the least energy solution under some mild assumptions on domain $Ω$. The main results in this paper can be viewed as a generalization of the results for $q=2$ previously established in the literature. But the situation is quite different from the case $q=2$, and the blow-up rate not only heavily depends on the space dimension $N$ and the geometry of the domain $Ω$, but also depends on the exponent $q\in(\max\{2,\frac{4}{N-2}\}, 2^*)$ in a non-trivial way.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
Explicit and CPU/GPU parallel energy-preserving schemes for the Klein-Gordon-Schrödinger equations
Authors:
Xuelong Gu,
Yushun Wang,
Ziyu Wu,
Jiaquan Gao,
Wenjun Cai
Abstract:
A highly efficient energy-preserving scheme for univariate conservative or dissipative systems was recently proposed in [Comput. Methods Appl. Mech. Engrg. 425 (2024) 116938]. This scheme is based on a grid-point partitioned averaged vector field (AVF) method, allowing for pointwise decoupling and easy implementation of CPU parallel computing. In this article, we further extend this idea to multiv…
▽ More
A highly efficient energy-preserving scheme for univariate conservative or dissipative systems was recently proposed in [Comput. Methods Appl. Mech. Engrg. 425 (2024) 116938]. This scheme is based on a grid-point partitioned averaged vector field (AVF) method, allowing for pointwise decoupling and easy implementation of CPU parallel computing. In this article, we further extend this idea to multivariable coupled systems and propose a dual-partition AVF method that employs a dual partitioning strategy based on both variables and grid points. The resulting scheme is decoupled, energy-preserving, and exhibits greater flexibility. For the Klein-Gordon-Schrödinger equations, we apply the dual-partition AVF method and construct fully explicit energy-preserving schemes with pointwise decoupling, where the computational complexity per time step is $\mathcal{O}(N^d)$, with $d$ representing the problem dimension and $N$ representing the number of grid points in each direction. These schemes not only enable CPU parallelism but also support parallel computing on GPUs by adopting an update strategy based on a checkerboard grid pattern, significantly improving the efficiency of solving high-dimensional problems. Numerical experiments confirm the conservation properties and high efficiency of the proposed schemes.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Bipartite Turán problem on graph gluing
Authors:
Zichao Dong,
Jun Gao,
Hong Liu
Abstract:
For graphs $H_1$ and $H_2$, if we glue them by identifying a given pair of vertices $u \in V(H_1)$ and $v \in V(H_2)$, what is the extremal number of the resulting graph $H_1^u \odot H_2^v$? In this paper, we study this problem and show that interestingly it is equivalent to an old question of Erdős and Simonovits on the Zarankiewicz problem. When $H_1, H_2$ are copies of a same bipartite graph…
▽ More
For graphs $H_1$ and $H_2$, if we glue them by identifying a given pair of vertices $u \in V(H_1)$ and $v \in V(H_2)$, what is the extremal number of the resulting graph $H_1^u \odot H_2^v$? In this paper, we study this problem and show that interestingly it is equivalent to an old question of Erdős and Simonovits on the Zarankiewicz problem. When $H_1, H_2$ are copies of a same bipartite graph $H$ and $u, v$ come from a same part, we prove that $\operatorname{ex}(n, H_1^u \odot H_2^v) = Θ\bigl( \operatorname{ex}(n, H) \bigr)$. As a corollary, we provide a short self-contained disproof of a conjecture of Erdős, which was recently disproved by Janzer.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Strong Ramsey game on two boards
Authors:
Jiangdong Ai,
Jun Gao,
Zixiang Xu,
Xin Yan
Abstract:
The strong Ramsey game $R(\mathcal{B}, H)$ is a two-player game played on a graph $\mathcal{B}$, referred to as the board, with a target graph $H$. In this game, two players, $P_1$ and $P_2$, alternately claim unclaimed edges of $\mathcal{B}$, starting with $P_1$. The goal is to claim a subgraph isomorphic to $H$, with the first player achieving this declared the winner. A fundamental open questio…
▽ More
The strong Ramsey game $R(\mathcal{B}, H)$ is a two-player game played on a graph $\mathcal{B}$, referred to as the board, with a target graph $H$. In this game, two players, $P_1$ and $P_2$, alternately claim unclaimed edges of $\mathcal{B}$, starting with $P_1$. The goal is to claim a subgraph isomorphic to $H$, with the first player achieving this declared the winner. A fundamental open question, persisting for over three decades, asks whether there exists a graph $H$ such that in the game $R(K_n, H)$, $P_1$ does not have a winning strategy in a bounded number of moves as $n \to \infty$.
In this paper, we shift the focus to the variant $R(K_n \sqcup K_n, H)$, introduced by David, Hartarsky, and Tiba, where the board $K_n \sqcup K_n$ consists of two disjoint copies of $K_n$. We prove that there exist infinitely many graphs $H$ such that $P_1$ cannot win in $R(K_n \sqcup K_n, H)$ within a bounded number of moves through a concise proof. This perhaps provides evidence for the existence of examples to the above longstanding open problem.
△ Less
Submitted 27 January, 2025; v1 submitted 12 January, 2025;
originally announced January 2025.
-
Spectral radius of graphs of given size with forbidden a fan graph $F_6$
Authors:
Jing Gao,
Xueliang Li
Abstract:
Let $F_k=K_1\vee P_{k-1}$ be the fan graph on $k$ vertices. A graph is said to be $F_k$-free if it does not contain $F_k$ as a subgraph. Yu et al. in [arXiv:2404.03423] conjectured that for $k\geq2$ and $m$ sufficiently large, if $G$ is an $F_{2k+1}$-free or $F_{2k+2}$-free graph, then $λ(G)\leq \frac{k-1+\sqrt{4m-k^2+1}}{2}$ and the equality holds if and only if…
▽ More
Let $F_k=K_1\vee P_{k-1}$ be the fan graph on $k$ vertices. A graph is said to be $F_k$-free if it does not contain $F_k$ as a subgraph. Yu et al. in [arXiv:2404.03423] conjectured that for $k\geq2$ and $m$ sufficiently large, if $G$ is an $F_{2k+1}$-free or $F_{2k+2}$-free graph, then $λ(G)\leq \frac{k-1+\sqrt{4m-k^2+1}}{2}$ and the equality holds if and only if $G\cong K_k\vee\left(\frac{m}{k}-\frac{k-1}{2}\right)K_1$. Recently, Li et al. in [arXiv:2409.15918] showed that the above conjecture holds for $k\geq 3$. The only left case is for $k=2$, which corresponds to $F_5$ or $F_6$. Since the case of $F_5$ was solved by Yu et al. in [arXiv:2404.03423] and Zhang and Wang in [On the spectral radius of graphs without a gem, Discrete Math. 347 (2024) 114171]. So, one needs only to deal with the case of $F_6$. In this paper, we solve the only left case by determining the maximum spectral radius of $F_6$-free graphs with size $m\geq 88$, and the corresponding extremal graph.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
Neural Networks for Threshold Dynamics Reconstruction
Authors:
Elisa Negrini,
Almanzo Jiahe Gao,
Abigail Bowering,
Wei Zhu,
Luca Capogna
Abstract:
We introduce two convolutional neural network (CNN) architectures, inspired by the Merriman-Bence-Osher (MBO) algorithm and by cellular automatons, to model and learn threshold dynamics for front evolution from video data. The first model, termed the (single-dynamics) MBO network, learns a specific kernel and threshold for each input video without adapting to new dynamics, while the second, a meta…
▽ More
We introduce two convolutional neural network (CNN) architectures, inspired by the Merriman-Bence-Osher (MBO) algorithm and by cellular automatons, to model and learn threshold dynamics for front evolution from video data. The first model, termed the (single-dynamics) MBO network, learns a specific kernel and threshold for each input video without adapting to new dynamics, while the second, a meta-learning MBO network, generalizes across diverse threshold dynamics by adapting its parameters per input. Both models are evaluated on synthetic and real-world videos (ice melting and fire front propagation), with performance metrics indicating effective reconstruction and extrapolation of evolving boundaries, even under noisy conditions. Empirical results highlight the robustness of both networks across varied synthetic and real-world dynamics.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Complexity of graph evolutions
Authors:
Jeffrey Gao,
Paul C. Kainen
Abstract:
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-b…
▽ More
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-building programs.
△ Less
Submitted 29 November, 2024;
originally announced December 2024.
-
Phase transition of degenerate Turán problems in $p$-norms
Authors:
Jun Gao,
Xizhi Liu,
Jie Ma,
Oleg Pikhurko
Abstract:
For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$…
▽ More
For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions, assuming a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. The main contribution of our paper is extending this result to hypergraph. Moreover, in the case of graph, our proof differs from that in \cite{FK06}, offering the advantage of producing the correct constant factor when $p > p_{F}$.
When $p = p_F$, Füredi and Kündgen proved a general upper bound on $\mathrm{ex}_{p}(n,F)$, tight up to a $\log n$ factor, and conjectured that this factor is unnecessary. We confirm this conjecture for several well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.
△ Less
Submitted 2 March, 2025; v1 submitted 23 November, 2024;
originally announced November 2024.
-
Induced even cycles in locally sparse graphs
Authors:
Laihao Ding,
Jun Gao,
Hong Liu,
Bingyu Luan,
Shumin Sun
Abstract:
A graph $G$ is $(c,t)$-sparse if for every pair of vertex subsets $A,B\subset V(G)$ with $|A|,|B|\geq t$, $e(A,B)\leq (1-c)|A||B|$. In this paper we prove that for every $c>0$ and integer $\ell$, there exists $C>1$ such that if an $n$-vertex graph $G$ is $(c,t)$-sparse for some $t$, and has at least $C t^{1-1/\ell}n^{1+1/\ell}$ edges, then $G$ contains an induced copy of $C_{2\ell}$. This resolves…
▽ More
A graph $G$ is $(c,t)$-sparse if for every pair of vertex subsets $A,B\subset V(G)$ with $|A|,|B|\geq t$, $e(A,B)\leq (1-c)|A||B|$. In this paper we prove that for every $c>0$ and integer $\ell$, there exists $C>1$ such that if an $n$-vertex graph $G$ is $(c,t)$-sparse for some $t$, and has at least $C t^{1-1/\ell}n^{1+1/\ell}$ edges, then $G$ contains an induced copy of $C_{2\ell}$. This resolves a conjecture of Fox, Nenadov and Pham.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
Precision-Aware Iterative Algorithms Based on Group-Shared Exponents of Floating-Point Numbers
Authors:
Jianhua Gao,
Jiayuan Shen,
Yuxiang Zhang,
Weixing Ji,
Hua Huang
Abstract:
Iterative solvers are frequently used in scientific applications and engineering computations. However, the memory-bound Sparse Matrix-Vector (SpMV) kernel computation hinders the efficiency of iterative algorithms. As modern hardware increasingly supports low-precision computation, the mixed-precision optimization of iterative algorithms has garnered widespread attention. Nevertheless, existing m…
▽ More
Iterative solvers are frequently used in scientific applications and engineering computations. However, the memory-bound Sparse Matrix-Vector (SpMV) kernel computation hinders the efficiency of iterative algorithms. As modern hardware increasingly supports low-precision computation, the mixed-precision optimization of iterative algorithms has garnered widespread attention. Nevertheless, existing mixed-precision methods pose challenges, including format conversion overhead, tight coupling between storage and computation representation, and the need to store multiple precision copies of data. This paper proposes a floating-point representation based on the group-shared exponent and segmented storage of the mantissa, enabling higher bit utilization of the representation vector and fast switches between different precisions without needing multiple data copies. Furthermore, a stepped mixed-precision iterative algorithm is proposed. Our experimental results demonstrate that, compared with existing floating-point formats, our approach significantly improves iterative algorithms' performance and convergence residuals.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
The W-weighted m-weak group MP inverse and its applications
Authors:
Jiale Gao,
Kezheng Zuo,
Qing-Wen Wang
Abstract:
We extend the concept of the m-weak group MP inverse of a square matrix to a rectangular matrix, called the W-weighted m-weak group MP inverse, which also unifies the W-weighted weak core inverse and W-weighted DMP inverse. Some properties, characterizations and representations of this new generalized inverse are shown. Additionally, applications of the W-weighted weak group MP inverse are given i…
▽ More
We extend the concept of the m-weak group MP inverse of a square matrix to a rectangular matrix, called the W-weighted m-weak group MP inverse, which also unifies the W-weighted weak core inverse and W-weighted DMP inverse. Some properties, characterizations and representations of this new generalized inverse are shown. Additionally, applications of the W-weighted weak group MP inverse are given in solving a constrained optimization problem and a class of consistent matrix equations.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
m-weak group MP inverse
Authors:
Wanlin Jiang,
Jiale Gao,
Xiangyu Zhang,
Shengxi Zuo
Abstract:
In this paper, we introduce a new matrix decomposition called the m-Core-nilpotent decomposition which is an extension of the Core-nilpotent decomposition. By this new decomposition, we propose a new generalized inverse named the m-weak group MP inverse which unifies the DMP-inverse and weak core inverse. Some characterizations, properties and representations of the m-weak group MP inverse are pre…
▽ More
In this paper, we introduce a new matrix decomposition called the m-Core-nilpotent decomposition which is an extension of the Core-nilpotent decomposition. By this new decomposition, we propose a new generalized inverse named the m-weak group MP inverse which unifies the DMP-inverse and weak core inverse. Some characterizations, properties and representations of the m-weak group MP inverse are presented. In addition, the proposed generalized inverse is applicable to solving a restricted matrix equation.
△ Less
Submitted 28 October, 2024;
originally announced November 2024.
-
Discrete homotopy and homology theories for finite posets
Authors:
Jing-Wen Gao,
Xiao-Song Yang
Abstract:
This paper presents a discrete homotopy theory and a discrete homology theory for finite posets. In particular, the discrete and classical homotopy groups of finite posets are always isomorphic.
Moreover, this discrete homology theory is related to the discrete homotopy theory through a discrete analogue of the Hurewicz map.
This paper presents a discrete homotopy theory and a discrete homology theory for finite posets. In particular, the discrete and classical homotopy groups of finite posets are always isomorphic.
Moreover, this discrete homology theory is related to the discrete homotopy theory through a discrete analogue of the Hurewicz map.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
On two notions of total positivity for generalized partial flag varieties of classical Lie types
Authors:
Grant Barkley,
Jonathan Boretsky,
Christopher Eur,
Jiyang Gao
Abstract:
For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symple…
▽ More
For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity.
△ Less
Submitted 28 October, 2024; v1 submitted 15 October, 2024;
originally announced October 2024.
-
The maximum spectral radius of $θ_{1,3,3}$-free graphs with given size
Authors:
Jing Gao,
Xueliang Li
Abstract:
A graph $G$ is said to be $F$-free if it does not contain $F$ as a subgraph. A theta graph, say $θ_{l_1,l_2,l_3}$, is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $l_1, l_2, l_3$, where $l_1\leq l_2\leq l_3$ and $l_2\geq2$. Recently, Li, Zhao and Zou [arXiv:2409.15918v1] characterized the $θ_{1,p,q}$-free graph of size $m$ having the largest…
▽ More
A graph $G$ is said to be $F$-free if it does not contain $F$ as a subgraph. A theta graph, say $θ_{l_1,l_2,l_3}$, is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $l_1, l_2, l_3$, where $l_1\leq l_2\leq l_3$ and $l_2\geq2$. Recently, Li, Zhao and Zou [arXiv:2409.15918v1] characterized the $θ_{1,p,q}$-free graph of size $m$ having the largest spectral radius, where $q\geq p\geq3$ and $p+q\geq2k+1\geq7$, and proposed a problem on characterizing the graphs with the maximum spectral radius among $θ_{1,3,3}$-free graphs. In this paper, we consider this problem and determine the maximum spectral radius of $θ_{1,3,3}$-free graphs with size $m$ and characterize the extremal graph. Up to now, all the graphs in $\mathcal{G}(m,θ_{1,p,q})$ which have the largest spectral radius have been determined, where $q\geq p\geq 2$.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Approximating Metric Magnitude of Point Sets
Authors:
Rayna Andreeva,
James Ward,
Primoz Skraba,
Jie Gao,
Rik Sarkar
Abstract:
Metric magnitude is a measure of the "size" of point clouds with many desirable geometric properties. It has been adapted to various mathematical contexts and recent work suggests that it can enhance machine learning and optimization algorithms. But its usability is limited due to the computational cost when the dataset is large or when the computation must be carried out repeatedly (e.g. in model…
▽ More
Metric magnitude is a measure of the "size" of point clouds with many desirable geometric properties. It has been adapted to various mathematical contexts and recent work suggests that it can enhance machine learning and optimization algorithms. But its usability is limited due to the computational cost when the dataset is large or when the computation must be carried out repeatedly (e.g. in model training). In this paper, we study the magnitude computation problem, and show efficient ways of approximating it. We show that it can be cast as a convex optimization problem, but not as a submodular optimization. The paper describes two new algorithms - an iterative approximation algorithm that converges fast and is accurate, and a subset selection method that makes the computation even faster. It has been previously proposed that magnitude of model sequences generated during stochastic gradient descent is correlated to generalization gap. Extension of this result using our more scalable algorithms shows that longer sequences in fact bear higher correlations. We also describe new applications of magnitude in machine learning - as an effective regularizer for neural network training, and as a novel clustering criterion.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Global uniform regularity for the 3D incompressible MHD equations with slip boundary condition near an equilibrium
Authors:
Jincheng Gao,
Jiahong Wu,
Zheng-an Yao,
Xuan Yin
Abstract:
This paper solves the global conormal regularity problem for the three-dimensional incompressible MHD equations with slip boundary condition near a background magnetic field. Motivated by applications in geophysics, the MHD system considered here is anisotropic with small vertical dissipation and small horizontal magnetic diffusion. By exploiting the enhanced dissipation due to the background magn…
▽ More
This paper solves the global conormal regularity problem for the three-dimensional incompressible MHD equations with slip boundary condition near a background magnetic field. Motivated by applications in geophysics, the MHD system considered here is anisotropic with small vertical dissipation and small horizontal magnetic diffusion. By exploiting the enhanced dissipation due to the background magnetic field and introducing three layers of energy functionals, we are able to establish global-in-time uniform bounds that are independent of vertical viscosity and horizontal resistivity. These global conormal regularity estimates allow us to pass to the limit and obtain the convergence to the MHD system with no vertical dissipation and horizontal magnetic diffusion. In the special case of the 3D incompressible Navier-Stokes, explicit long-time rates are also extracted in the zero vertical viscosity limit.
△ Less
Submitted 27 June, 2025; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Anisotropic mean curvature type flow and capillary Alexandrov-Fenchel inequalities
Authors:
Shanwei Ding,
Jinyu Gao,
Guanghan Li
Abstract:
In this paper, an anisotropic volume-preserving mean curvature type flow for star-shaped anisotropic $ω_0$-capillary hypersurfaces in the half-space is studied, and the long-time existence and smooth convergence to a capillary Wulff shape are obtained. If the initial hypersurface is strictly convex, the solution of this flow remains to be strictly convex for all $t>0$ by adopting a new approach ap…
▽ More
In this paper, an anisotropic volume-preserving mean curvature type flow for star-shaped anisotropic $ω_0$-capillary hypersurfaces in the half-space is studied, and the long-time existence and smooth convergence to a capillary Wulff shape are obtained. If the initial hypersurface is strictly convex, the solution of this flow remains to be strictly convex for all $t>0$ by adopting a new approach applicable to anisotropic capillary setting. In analogy with closed hypersurfaces, if the $ω_0$-capillary Wulff shape is a $θ$-capillary hypersurface with constant contact angle $θ$, the quermassintegrals for anisotropic capillary hypersurfaces match the mixed volume of two $θ$-capillary convex bodies. Thus, generalized quermassintegrals for anisotropic capillary hypersurfaces with general Wulff shapes (i.e., the $ω_0$-capillary Wulff shape has a variable contact angle) can be defined, which satisfy certain monotonicity properties along the flow. As applications, we establish an anisotropic capillary isoperimetric inequality for star-shaped anisotropic capillary hypersurfaces and a family of new Alexandrov-Fenchel inequalities for strictly convex anisotropic capillary hypersurfaces. In particular, we provide a flow's method to derive the Alexandrov-Fenchel inequalities for two $θ$-capillary hypersurfaces, demonstrated in [30] (arXiv:2408.13655) from the view of point in convex geometry.
△ Less
Submitted 21 January, 2025; v1 submitted 20 August, 2024;
originally announced August 2024.
-
Spectral methods on a triangle and W-systems
Authors:
Jing Gao,
Arieh Iserles
Abstract:
We present an overarching framework for stable spectral methods on a triangle, defined by a multivariate W-system and based on orthogonal polynomials on the triangle. Motivated by the Koornwinder orthogonal polynomials on the triangle, we introduce a Koornwinder W-system. Once discretised by this W-system, the resulting spatial differentiation matrix is skew symmetric, affording important advantag…
▽ More
We present an overarching framework for stable spectral methods on a triangle, defined by a multivariate W-system and based on orthogonal polynomials on the triangle. Motivated by the Koornwinder orthogonal polynomials on the triangle, we introduce a Koornwinder W-system. Once discretised by this W-system, the resulting spatial differentiation matrix is skew symmetric, affording important advantages insofar as stability and conservation of structure are concerned. We analyse the construction of the differentiation matrix and matrix vector multiplication, demonstrating optimal computational cost. Numerical convergence is illustrated through experiments with different parameter choices. As a result, our method exhibits key characteristics of a practical spectral method, inclusive of rapid convergence, fast computation and the preservation of structure of the underlying partial differential equation.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
Hölder regularity of harmonic functions on metric measure spaces
Authors:
Jin Gao,
Meng Yang
Abstract:
We introduce the Hölder regularity condition for harmonic functions on metric measure spaces and prove that under mild volume regular condition and upper heat kernel estimate, the Hölder regularity condition, the weak Bakry-Émery non-negative curvature condition, the heat kernel Hölder continuity with or without exponential terms and the heat kernel near-diagonal lower bound are equivalent. As app…
▽ More
We introduce the Hölder regularity condition for harmonic functions on metric measure spaces and prove that under mild volume regular condition and upper heat kernel estimate, the Hölder regularity condition, the weak Bakry-Émery non-negative curvature condition, the heat kernel Hölder continuity with or without exponential terms and the heat kernel near-diagonal lower bound are equivalent. As applications, firstly, we prove the validity of the so-called generalized reverse Hölder inequality on the Sierpiński carpet cable system, which was left open by Devyver, Russ, Yang (Int. Math. Res. Not. IMRN (2023), no. 18, 15537-15583). Secondly, we prove that two-sided heat kernel estimates alone imply gradient estimate for the heat kernel on strongly recurrent fractal-like cable systems, which improves the main results of the aforementioned paper. Thirdly, we obtain Hölder (Lipschitz) estimate for heat kernel on general metric measure spaces, which extends the classical Li-Yau gradient estimate for heat kernel on Riemannian manifolds.
△ Less
Submitted 18 August, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
FIARSE: Model-Heterogeneous Federated Learning via Importance-Aware Submodel Extraction
Authors:
Feijie Wu,
Xingchen Wang,
Yaqing Wang,
Tianci Liu,
Lu Su,
Jing Gao
Abstract:
In federated learning (FL), accommodating clients' varied computational capacities poses a challenge, often limiting the participation of those with constrained resources in global model training. To address this issue, the concept of model heterogeneity through submodel extraction has emerged, offering a tailored solution that aligns the model's complexity with each client's computational capacit…
▽ More
In federated learning (FL), accommodating clients' varied computational capacities poses a challenge, often limiting the participation of those with constrained resources in global model training. To address this issue, the concept of model heterogeneity through submodel extraction has emerged, offering a tailored solution that aligns the model's complexity with each client's computational capacity. In this work, we propose Federated Importance-Aware Submodel Extraction (FIARSE), a novel approach that dynamically adjusts submodels based on the importance of model parameters, thereby overcoming the limitations of previous static and dynamic submodel extraction methods. Compared to existing works, the proposed method offers a theoretical foundation for the submodel extraction and eliminates the need for additional information beyond the model parameters themselves to determine parameter importance, significantly reducing the overhead on clients. Extensive experiments are conducted on various datasets to showcase the superior performance of the proposed FIARSE.
△ Less
Submitted 9 December, 2024; v1 submitted 28 July, 2024;
originally announced July 2024.
-
Dual minus partial order
Authors:
Ju Gao,
Hongxing Wang,
Xiaoji Liu
Abstract:
In this paper, we introduce the Dual-minus partial order, get some characterizations of the partial order, and prove that both the dual star partial order and the dual sharp partial order are Dual-minus-type partial orders. Based on the Dual-minus partial order, we introduce the Dual-minus sharp partial order and the Dual-minus star partial order, which are also Dual-minus-type partial orders. In…
▽ More
In this paper, we introduce the Dual-minus partial order, get some characterizations of the partial order, and prove that both the dual star partial order and the dual sharp partial order are Dual-minus-type partial orders. Based on the Dual-minus partial order, we introduce the Dual-minus sharp partial order and the Dual-minus star partial order, which are also Dual-minus-type partial orders. In addition, we discuss relationships among the Dual-minus sharp partial order, the D-sharp partial order and the G-sharp partial order(the Dual-minus star partial order, the D-star partial order and the P-star partial order).
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Investigation of microstructural evolution of irradiation-induced defects in tungsten: an experimental-numerical approach
Authors:
Salahudeen Mohamed,
Qian Yuan,
Dimitri Litvinov,
Jie Gao,
Ermile Gaganidze,
Dmitry Terentyev,
Hans-Christian Schneider,
Jarir Aktaa
Abstract:
The hostile condition in a fusion tokomak reactor poses the main challenge in the development and design of in-vessel components such as divertor and breeding blanket due to fusion relevant irradiation conditions (14 MeV) and large thermal loads. The current work describes the employment of an integrated experimental-numerical approach to assess the microstructure evolution of dislocation loops an…
▽ More
The hostile condition in a fusion tokomak reactor poses the main challenge in the development and design of in-vessel components such as divertor and breeding blanket due to fusion relevant irradiation conditions (14 MeV) and large thermal loads. The current work describes the employment of an integrated experimental-numerical approach to assess the microstructure evolution of dislocation loops and voids in tungsten proposed for fusion application. Cluster dynamics (CD) model is implemented and simulations are performed on the irradiated tungsten Disk shape Compact Tension (DCT) specimen used in the experimental test. TEM characterisation is performed on the DCT specimen irradiated at 400 °C and 600 °C with around 1 dpa, respectively. The dpa rate and cascade overlap rate from the experiments and SPECTRA-PKA code, respectively, are implemented in the CD model. Based on the comparison between experimental and computational results, the dose and temperature dependence of irradiation-induced defects (dislocation loops, voids, c15 clusters) are clearly observed. Trap mediated diffusion is studied and the impact of cascades with the pre-existing defects is analysed through full cascade overlap mode and the consequent influence on the defect concentration is evaluated. The exchange of self-interstitial atoms (SIAs) and the change in the size of loops through reaction between <111> and <100> loops are studied in detail by means of the transfer rate of the SIAs.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A Customized Augmented Lagrangian Method for Block-Structured Integer Programming
Authors:
Rui Wang,
Chuwen Zhang,
Shanwen Pu,
Jianjun Gao,
Zaiwen Wen
Abstract:
Integer programming with block structures has received considerable attention recently and is widely used in many practical applications such as train timetabling and vehicle routing problems. It is known to be NP-hard due to the presence of integer variables. We define a novel augmented Lagrangian function by directly penalizing the inequality constraints and establish the strong duality between…
▽ More
Integer programming with block structures has received considerable attention recently and is widely used in many practical applications such as train timetabling and vehicle routing problems. It is known to be NP-hard due to the presence of integer variables. We define a novel augmented Lagrangian function by directly penalizing the inequality constraints and establish the strong duality between the primal problem and the augmented Lagrangian dual problem. Then, a customized augmented Lagrangian method is proposed to address the block-structures. In particular, the minimization of the augmented Lagrangian function is decomposed into multiple subproblems by decoupling the linking constraints and these subproblems can be efficiently solved using the block coordinate descent method. We also establish the convergence property of the proposed method. To make the algorithm more practical, we further introduce several refinement techniques to identify high-quality feasible solutions. Numerical experiments on a few interesting scenarios show that our proposed algorithm often achieves a satisfactory solution and is quite effective.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Steady supersonic combustion flows with a contact discontinuity in two-dimensional finitely long nozzles
Authors:
Junlei Gao,
Feimin Huang,
Jie Kuang,
Dehua Wang,
Wei Xiang
Abstract:
In this paper, we are concerned with the two-dimensional steady supersonic combustion flows with a contact discontinuity moving through a nozzle of finite length. Mathematically, it can be formulated as a free boundary value problem governed by the two -dimensional steady combustion Euler equations with a contact discontinuity as the free boundary. The main mathematical difficulties are that the c…
▽ More
In this paper, we are concerned with the two-dimensional steady supersonic combustion flows with a contact discontinuity moving through a nozzle of finite length. Mathematically, it can be formulated as a free boundary value problem governed by the two -dimensional steady combustion Euler equations with a contact discontinuity as the free boundary. The main mathematical difficulties are that the contact discontinuity is a characteristic free boundary and the equations for all states are coupled with each other due to the combustion process. We first employ the Lagrangian coordinate transformation to fix the free boundary. Then by introducing the flow slope and Bernoulli function, we further reduce the fixed boundary value problem into an initial boundary value problem for a first order hyperbolic system coupled with several ordinary differential equations. A new iteration scheme is developed near the background states by employing the intrinsic structure of the equation for the mass fraction of the non-combustion gas. We show that there is a fixed point for the iteration by deriving some novel $C^{1,α}$-estimates of the solutions and applying the fixed point theorem, and then the uniqueness of the fixed point is proved by a contraction argument. On the other hand, a quasi-one-dimensional approximate system is often used to simplify the two-dimensional steady supersonic combustion model. The error between these two systems is estimated. Finally, given a piece-wise $C^{1,α}$-solution containing a contact discontinuity with piece-wise constant states on the entrance of the nozzle, we can show that the solution is the piece-wise constant states with a straight contact discontinuity.
△ Less
Submitted 9 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Besov-Lipschitz norm and $p$-energy measure on scale-irregular Vicsek sets
Authors:
Aobo Chen,
Jin Gao,
Zhenyu Yu,
Junda Zhang
Abstract:
In this paper, we establish the existence of $p$-energy norms and the corresponding $p$-energy measures for scale-irregular Vicsek sets, which may lack self-similarity. We also investigate the characterizations of $p$-energy norms in terms of Besov-Lipschitz norms, with their weak monotonicity and the corresponding Bourgain-Brezis-Mironescu convergence.
In this paper, we establish the existence of $p$-energy norms and the corresponding $p$-energy measures for scale-irregular Vicsek sets, which may lack self-similarity. We also investigate the characterizations of $p$-energy norms in terms of Besov-Lipschitz norms, with their weak monotonicity and the corresponding Bourgain-Brezis-Mironescu convergence.
△ Less
Submitted 29 September, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes
Authors:
Joshua Brakensiek,
Manik Dhar,
Jiyang Gao,
Sivakanth Gopi,
Matt Larson
Abstract:
We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of giving a description of the correctable erasure patterns in a maximally recoverable tensor code with the problem of describing bipartite rigid graphs or low-rank co…
▽ More
We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of giving a description of the correctable erasure patterns in a maximally recoverable tensor code with the problem of describing bipartite rigid graphs or low-rank completable matrix patterns. Additionally, we relate dependencies among symmetric products of generic vectors to graph rigidity and symmetric matrix completion. With an eye toward applications to computer science, we study the dependency of these matroids on the characteristic by giving new combinatorial descriptions in several cases, including the first description of the correctable patterns in an (m, n, a=2, b=2) maximally recoverable tensor code.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Bifurcation on Fully Nonlinear Elliptic Equations and Systems
Authors:
Jing Gao,
Weijun Zhang,
Zhitao Zhang
Abstract:
In this paper, we study the following fully nonlinear elliptic equations \begin{equation*} \left\{\begin{array}{rl} \left(S_{k}(D^{2}u)\right)^{\frac1k}=λf(-u) & in\quadΩ\\ u=0 & on\quad \partialΩ\\ \end{array} \right. \end{equation*} and coupled systems \begin{equation*} \left\{\begin{array}{rl} (S_{k}(D^{2}u))^\frac1k=λg(-u,-v) & in\quadΩ\\ (S_{k}(D^{2}v))^\frac1k=λh(-u,-v) & in\quadΩ\\ u=v=0 &…
▽ More
In this paper, we study the following fully nonlinear elliptic equations \begin{equation*} \left\{\begin{array}{rl} \left(S_{k}(D^{2}u)\right)^{\frac1k}=λf(-u) & in\quadΩ\\ u=0 & on\quad \partialΩ\\ \end{array} \right. \end{equation*} and coupled systems \begin{equation*} \left\{\begin{array}{rl} (S_{k}(D^{2}u))^\frac1k=λg(-u,-v) & in\quadΩ\\ (S_{k}(D^{2}v))^\frac1k=λh(-u,-v) & in\quadΩ\\ u=v=0 & on\quad \partialΩ\\ \end{array} \right. \end{equation*} dominated by $k$-Hessian operators, where $Ω$ is a $(k$-$1)$-convex bounded domain in $\mathbb{R}^{N}$, $λ$ is a non-negative parameter, $f:\left[0,+\infty\right)\rightarrow\left[0,+\infty\right)$ is a continuous function with zeros only at $0$ and $g,h:\left[0,+\infty\right)\times \left[0,+\infty\right)\rightarrow \left[0,+\infty\right)$ are continuous functions with zeros only at $(\cdot,0)$ and $(0,\cdot)$. We determine the interval of $λ$ about the existence, non-existence, uniqueness and multiplicity of $k$-convex solutions to the above problems according to various cases of $f,g,h$, which is a complete supplement to the known results in previous literature. In particular, the above results are also new for Laplacian and Monge-Ampère operators. We mainly use bifurcation theory, a-priori estimates, various maximum principles and technical strategies in the proof.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Limited Attention Allocation in a Stochastic Linear Quadratic System with Multiplicative Noise
Authors:
Xiangyu Cui,
Jianjun Gao,
Lingjie Kong
Abstract:
This study addresses limited attention allocation in a stochastic linear quadratic system with multiplicative noise. Our approach enables strategic resource allocation to enhance noise estimation and improve control decisions. We provide analytical optimal control and propose a numerical method for optimal attention allocation. Additionally, we apply our ffndings to dynamic mean-variance portfolio…
▽ More
This study addresses limited attention allocation in a stochastic linear quadratic system with multiplicative noise. Our approach enables strategic resource allocation to enhance noise estimation and improve control decisions. We provide analytical optimal control and propose a numerical method for optimal attention allocation. Additionally, we apply our ffndings to dynamic mean-variance portfolio selection, showing effective resource allocation across time periods and factors, providing valuable insights for investors.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Generalized Ramsey--Turán density for cliques
Authors:
Jun Gao,
Suyun Jiang,
Hong Liu,
Maya Sankar
Abstract:
We study the generalized Ramsey--Turán function $\mathrm{RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an $n$-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by Erd{ő}s, S{ó}s, Bollob{á}s, Hajnal, and Szemerédi in the 1980s. We combinatorially resolve the general case for all $s\ge 3$, showing that the (asymptotic) extrema…
▽ More
We study the generalized Ramsey--Turán function $\mathrm{RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an $n$-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by Erd{ő}s, S{ó}s, Bollob{á}s, Hajnal, and Szemerédi in the 1980s. We combinatorially resolve the general case for all $s\ge 3$, showing that the (asymptotic) extremal graphs for this problem have simple (bounded) structures. In particular, it implies that the extremal structures follow a periodic pattern when $t$ is much larger than $s$. Our results disprove a conjecture of Balogh, Liu, and Sharifzadeh and show that a relaxed version does hold.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Local existence and uniqueness of solution to the two-dimensional inhomogeneous Prandtl equations by energy method
Authors:
Jincheng Gao,
Lianyun Peng,
Zheng-an Yao
Abstract:
In this paper, we consider the local existence and uniqueness result for the inhomogeneous Prandtl equations in dimension two by energy method. First of all, for the homogeneous case, the local-in-time well-posedness theory of unsteady Prandtl equations was obtained by [Alexandre, Wang, Xu, Yang, J. Am. Math. Soc., 28 (3), 745-784 (2015)] and [Masmoudi, Wong, Comm. Pure Appl. Math., 68 (10), 1683-…
▽ More
In this paper, we consider the local existence and uniqueness result for the inhomogeneous Prandtl equations in dimension two by energy method. First of all, for the homogeneous case, the local-in-time well-posedness theory of unsteady Prandtl equations was obtained by [Alexandre, Wang, Xu, Yang, J. Am. Math. Soc., 28 (3), 745-784 (2015)] and [Masmoudi, Wong, Comm. Pure Appl. Math., 68 (10), 1683-1741 (2015)] independently by energy method without any transformation. However, for the inhomogeneous case, the appearance of density will create some new difficulties for us to overcome the loss of tangential derivative of horizontal velocity. Thus, our first result is to overcome the loss of tangential derivative such that one can establish the local-in-time well-posedness result for the inhomogeneous Prandtl equations by energy method. Secondly, for the homogeneous case, the local-in-x well-posedness in higher regular space for the steady Prandtl equations was obtained by [Guo, Iyer, Comm. Math. Phys., 382 (3), 1403-447 (2021)] by energy method since they firstly found the good quantity(called `quotient'). With the help of this quotient, our second result is to establish the local-in-x well-posedness in higher regular Sobolev space for the steady inhomogeneous Prandtl equations.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Generalized Minkowski formulas and rigidity results for anisotropic capillary hypersurfaces
Authors:
Jinyu Gao,
Guanghan Li
Abstract:
In this paper, we obtain a new Hsiung-Minkowski integral formula for anisotropic capillary hypersurfaces in the half-space, which includes the weighted Hsiung-Minkowski formula and classical anisotropic Minkowski identity for closed hypersurfaces as special cases. As applications, we prove some anisotropic Alexandrov-type theorems and rigidity results for anisotropic capillary hypersurfaces. Speci…
▽ More
In this paper, we obtain a new Hsiung-Minkowski integral formula for anisotropic capillary hypersurfaces in the half-space, which includes the weighted Hsiung-Minkowski formula and classical anisotropic Minkowski identity for closed hypersurfaces as special cases. As applications, we prove some anisotropic Alexandrov-type theorems and rigidity results for anisotropic capillary hypersurfaces. Specially, the uniqueness of the solution to the anisotropic Orlicz-Christoffel-Minkowski problem is obtained, and thus a new proof is provided for the uniqueness of the solution to $L_p$-Minkowski problem with $p\geq 1$ in the Euclidean capillary convex bodies geometry.
△ Less
Submitted 18 May, 2025; v1 submitted 22 January, 2024;
originally announced January 2024.
-
A framework for stable spectral methods in $d$-dimensional unit balls
Authors:
Jing Gao,
Arieh Iserles
Abstract:
The subject of this paper is the design of efficient and stable spectral methods for time-dependent partial differential equations in unit balls. We commence by sketching the desired features of a spectral method, which is defined by a choice of an orthonormal basis acting in the spatial domain. We continue by considering in detail the choice of a $W$-function basis in a disc in $\mathbb{R}^2$. Th…
▽ More
The subject of this paper is the design of efficient and stable spectral methods for time-dependent partial differential equations in unit balls. We commence by sketching the desired features of a spectral method, which is defined by a choice of an orthonormal basis acting in the spatial domain. We continue by considering in detail the choice of a $W$-function basis in a disc in $\mathbb{R}^2$. This is a nontrivial issue because of a clash between two objectives: skew symmetry of the differentiation matrix (which ensures inter alia that the method is stable) and the correct behaviour at the origin. We resolve it by representing the underlying space as an affine space and splitting the underlying functions. This is generalised to any dimension $d \geq 2$ in a natural manner and the paper is concluded with numerical examples that demonstrate how our choice of basis attains the best outcome out of a number of alternatives.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Further properties and representations of the W-weighted m-weak group inverse
Authors:
Jiale Gao,
Qing-Wen Wang,
Kezheng Zuo
Abstract:
The purpose of this paper is to explore more properties and representations of the W-weighted m-weak group (in short, W-m-WG) inverse. We first explore an interesting relation between two projectors with respect to the W-m-WG inverse. Then, the W-m-WG inverse is represented by various generalized inverses including W-weighted Drazin inverse, W-weighted weak group inverse, W-weighted core inverse,…
▽ More
The purpose of this paper is to explore more properties and representations of the W-weighted m-weak group (in short, W-m-WG) inverse. We first explore an interesting relation between two projectors with respect to the W-m-WG inverse. Then, the W-m-WG inverse is represented by various generalized inverses including W-weighted Drazin inverse, W-weighted weak group inverse, W-weighted core inverse, etc. We also give three concise explicit expressions for the W-m-WG inverse. Moreover, a canonical form of the W-m-WG inverse is presented in terms of the singular value decomposition. Finally, several numerical examples are designed to illustrate some results given in the paper.
△ Less
Submitted 13 March, 2025; v1 submitted 17 December, 2023;
originally announced December 2023.
-
Counting cliques without generalized theta graphs
Authors:
Jun Gao,
Zhuo Wu,
Yisai Xue
Abstract:
The \textit{generalized Turán number} $\mathrm{ex}(n, T, F)$ is the maximum possible number of copies of $T$ in an $F$-free graph on $n$ vertices for any two graphs $T$ and $F$. For the book graph $B_t$, there is a close connection between $\ex(n,K_3,B_t)$ and the Ruzsa-Szemerédi triangle removal lemma. Motivated by this, in this paper, we study the generalized Turán problem for generalized theta…
▽ More
The \textit{generalized Turán number} $\mathrm{ex}(n, T, F)$ is the maximum possible number of copies of $T$ in an $F$-free graph on $n$ vertices for any two graphs $T$ and $F$. For the book graph $B_t$, there is a close connection between $\ex(n,K_3,B_t)$ and the Ruzsa-Szemerédi triangle removal lemma. Motivated by this, in this paper, we study the generalized Turán problem for generalized theta graphs, a natural extension of book graphs. Our main result provides a complete characterization of the magnitude of $\ex(n,K_3,H)$ when $H$ is a generalized theta graph, indicating when it is quadratic, when it is nearly quadratic, and when it is subquadratic. Furthermore, as an application, we obtain the exact value of $\ex(n, K_r, kF)$, where $F$ is an edge-critical generalized theta graph, and $3\le r\le k+1$, extending several recent results.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Characterizing positroid quotients of uniform matroids
Authors:
Zhixing Chen,
Yumou Fei,
Jiyang Gao,
Yuxuan Sun,
Yuchong Zhang
Abstract:
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann nec…
▽ More
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.
△ Less
Submitted 4 April, 2025; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Charging Autonomous Electric Vehicle Fleet for Mobility-on-Demand Services: Plug in or Swap out?
Authors:
Jing Gao,
Sen Li
Abstract:
This paper compares two prevalent charging strategies for electric vehicles, plug-in charging and battery swapping, to investigate which charging strategy is superior for electric autonomous mobility-on-demand (AMoD) systems. To this end, we use a queueing-theoretic model to characterize the vehicle waiting time at charging stations and battery swapping stations, respectively. The model is integra…
▽ More
This paper compares two prevalent charging strategies for electric vehicles, plug-in charging and battery swapping, to investigate which charging strategy is superior for electric autonomous mobility-on-demand (AMoD) systems. To this end, we use a queueing-theoretic model to characterize the vehicle waiting time at charging stations and battery swapping stations, respectively. The model is integrated into an economic analysis of the electric AMoD system operated by a transportation network company (TNC), where the incentives of passengers, the charging/operating shift of TNC vehicles, the operational decisions of the platform, and the planning decisions of the government are captured. Overall, a bi-level optimization framework is proposed for charging infrastructure planning of the electric AMoD system. Based on the proposed framework, we compare the socio-economic performance of plug-in charging and battery swapping, and investigate how this comparison depends on the evolving charging technologies (such as charging speed, battery capacity, and infrastructure cost). At the planning level, we find that when choosing plug-in charging, increased charging speed leads to a transformation of infrastructure from sparsely distributed large stations to densely distributed small stations, while enlarged battery capacity transforms the infrastructure from densely distributed small stations to sparsely distributed large stations. On the other hand, when choosing battery swapping, both increased charging speed and enlarged battery capacity will lead to a smaller number of battery swapping stations. At the operational level, we find that improved charging speed leads to increased TNC profit when choosing plug-in charging, whereas improved charging speed may lead to smaller TNC profit under battery swapping. The above insights are validated through realistic numerical studies.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Weak monotonicity property of Korevaar-Schoen norms on nested fractals
Authors:
Diwen Chang,
Jin Gao,
Zhenyu Yu,
Junda Zhang
Abstract:
In this paper, we study the weak monotonicity property of p-energy related Korevaar-Schoen norms on connected nested fractals for $1 < p < \infty$. Such property has many important applications on fractals and other metric measure spaces, such as constructing p-energies (when $p = 2$ this is basically a Dirichlet form), generalizing the classical Sobolev type inequalities and the celebrated Bourga…
▽ More
In this paper, we study the weak monotonicity property of p-energy related Korevaar-Schoen norms on connected nested fractals for $1 < p < \infty$. Such property has many important applications on fractals and other metric measure spaces, such as constructing p-energies (when $p = 2$ this is basically a Dirichlet form), generalizing the classical Sobolev type inequalities and the celebrated Bourgain-Brezis-Mironescu convergence.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Trace Monomial Boolean Functions with Large High-Order Nonlinearities
Authors:
Jinjie Gao,
Haibin Kan,
Yuan Li,
Jiahua Xu,
Qichun Wang
Abstract:
Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order nonlinearities of some trace monomial Boolean functions.
We prove lower bounds on the second-order nonlinearities of functions $\mathrm{tr}_n(x^7)$ and…
▽ More
Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order nonlinearities of some trace monomial Boolean functions.
We prove lower bounds on the second-order nonlinearities of functions $\mathrm{tr}_n(x^7)$ and $\mathrm{tr}_n(x^{2^r+3})$ where $n=2r$. Among all trace monomials, our bounds match the best second-order nonlinearity lower bounds by \cite{Car08} and \cite{YT20} for odd and even $n$ respectively. We prove a lower bound on the third-order nonlinearity for functions $\mathrm{tr}_n(x^{15})$, which is the best third-order nonlinearity lower bound. For any $r$, we prove that the $r$-th order nonlinearity of $\mathrm{tr}_n(x^{2^{r+1}-1})$ is at least $2^{n-1}-2^{(1-2^{-r})n+\frac{r}{2^{r-1}}-1}- O(2^{\frac{n}{2}})$. For $r \ll \log_2 n$, this is the best lower bound among all explicit functions.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Quantum Bruhat graphs and tilted Richardson varieties
Authors:
Jiyang Gao,
Shiliang Gao,
Yibo Gao
Abstract:
Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresma…
▽ More
Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.
△ Less
Submitted 8 September, 2023; v1 submitted 3 September, 2023;
originally announced September 2023.
-
A linearly convergent method for solving high-order proximal operator
Authors:
Jingyu Gao,
Xiurui Geng
Abstract:
Recently, various high-order methods have been developed to solve the convex optimization problem. The auxiliary problem of these methods shares the general form that is the same as the high-order proximal operator proposed by Nesterov. In this paper, we present a linearly convergent method to solve the high-order proximal operator based on the classical proximal operator. In addition, some experi…
▽ More
Recently, various high-order methods have been developed to solve the convex optimization problem. The auxiliary problem of these methods shares the general form that is the same as the high-order proximal operator proposed by Nesterov. In this paper, we present a linearly convergent method to solve the high-order proximal operator based on the classical proximal operator. In addition, some experiments are performed to demonstrate the performance of the proposed method.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
