-
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.
-
$p$-energy norms on scale-irregular Vicsek sets
Authors:
Aobo Chen,
** 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 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:
**g 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:
**cheng 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:
**yu Gao,
Guanghan Li
Abstract:
We show the generalization of 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. Specia…
▽ More
We show the generalization of 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.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
A framework for stable spectral methods in $d$-dimensional unit balls
Authors:
**g 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.
-
A m-weak group inverse for rectangular matrices
Authors:
Jiale Gao,
Kezheng Zuo,
Qing-wen Wang
Abstract:
The purpose of this paper is to extend the definition of the m-weak group inverse from a square matrix to a rectangular matrix, called the W-weighted m-weak group inverse. This new generalized inverse is also a generalization of the weak group inverse, generalized group inverse, Drazin inverse, weighted weak group inverse and W-weighted Drazin inverse. Furthermore, we discuss some properties, char…
▽ More
The purpose of this paper is to extend the definition of the m-weak group inverse from a square matrix to a rectangular matrix, called the W-weighted m-weak group inverse. This new generalized inverse is also a generalization of the weak group inverse, generalized group inverse, Drazin inverse, weighted weak group inverse and W-weighted Drazin inverse. Furthermore, we discuss some properties, characterizations and representations of the W-weighted m-weak group inverse, as well as its applications in solving the matrix equation. Some of the results available in the paper not only recover a few results of the m-weak group inverse, weighted weak group, etc., but also some of them are novel for these generalized inverses.
△ Less
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.
-
Quotients of Special Classes of Positroids
Authors:
Zhixing Chen,
Yumou Fei,
Jiyang Gao,
Yuxuan Sun,
Yuchong Zhang
Abstract:
In this paper, we give a complete characterization of rank $k-1$ positroids that are quotients of the uniform matroid $U_{k,n}$, completing a partial result by Bendetti-Chavez-Jiménez. Furthermore, we show that any pair of concordant positroids with adjacent ranks are related by a cyclic shift on their decorated permutations. We also use the concept of conecklaces to give a full characterization o…
▽ More
In this paper, we give a complete characterization of rank $k-1$ positroids that are quotients of the uniform matroid $U_{k,n}$, completing a partial result by Bendetti-Chavez-Jiménez. Furthermore, we show that any pair of concordant positroids with adjacent ranks are related by a cyclic shift on their decorated permutations. We also use the concept of conecklaces to give a full characterization of concordant lattice path matroids (LPMs).
△ Less
Submitted 7 January, 2024; 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:
**g Gao,
Sen Li
Abstract:
This paper compares two prevalent charging strategies for electric vehicles, plug-in charging and battery swap**, 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 swap** stations, respectively. The model is integra…
▽ More
This paper compares two prevalent charging strategies for electric vehicles, plug-in charging and battery swap**, 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 swap** 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 swap**, 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 swap**, both increased charging speed and enlarged battery capacity will lead to a smaller number of battery swap** 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 swap**. 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,
** 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:
**jie 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:
**gyu 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.
-
A recurrence relation for generalised connection coefficients
Authors:
**g Gao,
Arieh Iserles
Abstract:
We formulate and prove a general recurrence relation that applies to integrals involving orthogonal polynomials and similar functions. A special case are connection coefficients between two sets of orthonormal polynomials, another example is integrals of products of Legendre functions.
We formulate and prove a general recurrence relation that applies to integrals involving orthogonal polynomials and similar functions. A special case are connection coefficients between two sets of orthonormal polynomials, another example is integrals of products of Legendre functions.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
high-order proximal point algorithm for the monotone variational inequality problem and its application
Authors:
**gyu Gao,
Xiurui Geng
Abstract:
The proximal point algorithm (PPA) has been developed to solve the monotone variational inequality problem. It provides a theoretical foundation for some methods, such as the augmented Lagrangian method (ALM) and the alternating direction method of multipliers (ADMM). This paper generalizes the PPA to the $p$th-order ($p\geq 1$) and proves its convergence rate $O \left(1/k^{p/2}\right)$ . Addition…
▽ More
The proximal point algorithm (PPA) has been developed to solve the monotone variational inequality problem. It provides a theoretical foundation for some methods, such as the augmented Lagrangian method (ALM) and the alternating direction method of multipliers (ADMM). This paper generalizes the PPA to the $p$th-order ($p\geq 1$) and proves its convergence rate $O \left(1/k^{p/2}\right)$ . Additionally, the $p$th-order ALM is proposed based on the $p$th-order PPA. Some numerical experiments are presented to demonstrate the performance of the $p$th-order ALM.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
The Erdős distinct subset sums problem in a modular setting
Authors:
Stijn Cambie,
Jun Gao,
Youn** Kim,
Hong Liu
Abstract:
We prove the following variant of the Erdős distinct subset sums problem.
Given $t \ge 0$ and sufficiently large $n$, every $n$-element set $A$ whose subset sums are distinct modulo $N=2^n+t$ satisfies
$$\max A \ge \Big(\frac{1}{3}-o(1)\Big)N.$$
Furthermore, we provide examples showing that the constant $\frac 13$ is best possible. For small values of $t$, we characterise the structure of al…
▽ More
We prove the following variant of the Erdős distinct subset sums problem.
Given $t \ge 0$ and sufficiently large $n$, every $n$-element set $A$ whose subset sums are distinct modulo $N=2^n+t$ satisfies
$$\max A \ge \Big(\frac{1}{3}-o(1)\Big)N.$$
Furthermore, we provide examples showing that the constant $\frac 13$ is best possible. For small values of $t$, we characterise the structure of all sumset-distinct sets modulo $N=2^n+t$ of cardinality $n$.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
A note on the bound for the class of certain nilpotent groups
Authors:
Jixia Gao,
Haipeng Qu
Abstract:
Assume G is a nilpotent group of class > 3 in which every proper subgroup has class at most 3. In this note, we give the exact upper bound of class of G.
Assume G is a nilpotent group of class > 3 in which every proper subgroup has class at most 3. In this note, we give the exact upper bound of class of G.
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
Well-posedness and exponential stability of the inhomogeneous anisotropic incompressible Navier-Stokes equation with far-field vacuum in two-dimensional whole space
Authors:
**cheng Gao,
Lianyun Peng,
Zheng-an Yao
Abstract:
In this paper, we investigate the well-posedness theory and exponential stability for the inhomogeneous incompressible Navier-Stokes equation with only horizontal dissipative structure. Due to the lack of the vertical dissipative term and appearance of vacuum, it is a highly challenging tricky problem for us to study the well-posedness, stability and large-time behavior problems in two-dimensional…
▽ More
In this paper, we investigate the well-posedness theory and exponential stability for the inhomogeneous incompressible Navier-Stokes equation with only horizontal dissipative structure. Due to the lack of the vertical dissipative term and appearance of vacuum, it is a highly challenging tricky problem for us to study the well-posedness, stability and large-time behavior problems in two-dimensional whole space. The local-in-time well-posedness theory is successfully established at first because we develop some good estimates for the density and vorticity to control the nonlinear term. Finally, these good estimates of density and vorticity help us to establish the global-in-time well-posedness and exponential stability if the initial velocity is suitable small.
△ Less
Submitted 25 November, 2023; v1 submitted 16 June, 2023;
originally announced June 2023.
-
PINNs error estimates for nonlinear equations in $\mathbb{R}$-smooth Banach spaces
Authors:
Jiexing Gao,
Yurii Zakharian
Abstract:
In the paper, we describe in operator form classes of PDEs that admit PINN's error estimation. Also, for $L^p$ spaces, we obtain a Bramble-Hilbert type lemma that is a tool for PINN's residuals bounding.
In the paper, we describe in operator form classes of PDEs that admit PINN's error estimation. Also, for $L^p$ spaces, we obtain a Bramble-Hilbert type lemma that is a tool for PINN's residuals bounding.
△ Less
Submitted 5 June, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Further characterizations and representations of the Minkowski inverse in Minkowski space
Authors:
Jiale Gao,
Qingwen Wang,
Kezheng Zuo,
Jiabao Wu
Abstract:
This paper is aimed to identify some new characterizations and representations of the Minkowski inverse in Minkowski space. First of all, a few representations of {1,3m}, {1,2,3m}, {1,4m} and {1,2,4m}-inverses are given in order to represent the Minkowski inverse. Secondly, some famous characterizations of the Moore-Penrose inverse are extended to that of the Minkowski inverse. Thirdly, using the…
▽ More
This paper is aimed to identify some new characterizations and representations of the Minkowski inverse in Minkowski space. First of all, a few representations of {1,3m}, {1,2,3m}, {1,4m} and {1,2,4m}-inverses are given in order to represent the Minkowski inverse. Secondly, some famous characterizations of the Moore-Penrose inverse are extended to that of the Minkowski inverse. Thirdly, using the Hartwig-Spindelböck decomposition we present a representation of the Minkowski inverse. And, based on this result, an interesting characterization of the Minkowski inverse is showed by a rank equation. Finally, we obtain several new representations of the Minkowski inverse in a more general form, by which the Minkowski inverse of a class of block matrices is given.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
The m-DMP inverse in Minkowski space and its applications
Authors:
Jiale Gao,
Qingwen Wang,
Kezheng Zuo
Abstract:
This paper first introduces a new generalized inverse in Minkowski space, called the m-DMP inverse, and discusses its algebraic and geometrical properties. The second objective is to characterize the m-DMP inverse equivalently by ranges, null spaces and matrix equations, and show its integral and limiting representations and several explicit expressions. Finally, the paper gives applications of th…
▽ More
This paper first introduces a new generalized inverse in Minkowski space, called the m-DMP inverse, and discusses its algebraic and geometrical properties. The second objective is to characterize the m-DMP inverse equivalently by ranges, null spaces and matrix equations, and show its integral and limiting representations and several explicit expressions. Finally, the paper gives applications of the m-DMP inverse in solving a system of linear equations and a constrained optimization problem.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Extremal number of graphs from geometric shapes
Authors:
Jun Gao,
Oliver Janzer,
Hong Liu,
Zixiang Xu
Abstract:
We study the Turán problem for highly symmetric bipartite graphs arising from geometric shapes and periodic tilings commonly found in nature.
1. The prism $C_{2\ell}^{\square}:=C_{2\ell}\square K_{2}$ is the graph consisting of two vertex disjoint $2\ell$-cycles and a matching pairing the corresponding vertices of these two cycles. We show that for every $\ell\ge 4$, ex…
▽ More
We study the Turán problem for highly symmetric bipartite graphs arising from geometric shapes and periodic tilings commonly found in nature.
1. The prism $C_{2\ell}^{\square}:=C_{2\ell}\square K_{2}$ is the graph consisting of two vertex disjoint $2\ell$-cycles and a matching pairing the corresponding vertices of these two cycles. We show that for every $\ell\ge 4$, ex$(n,C_{2\ell}^{\square})=Θ(n^{3/2})$. This resolves a conjecture of He, Li and Feng.
2. The hexagonal tiling in honeycomb is one of the most natural structures in the real world. We show that the extremal number of honeycomb graphs has the same order of magnitude as their basic building unit 6-cycles.
3. We also consider bipartite graphs from quadrangulations of the cylinder and the torus. We prove near optimal bounds for both configurations. In particular, our method gives a very short proof of a tight upper bound for the extremal number of the 2-dimensional grid, improving a recent result of Bradač, Janzer, Sudakov and Tomon.
Our proofs mix several ideas, including shifting embedding schemes, weighted homomorphism and subgraph counts and asymmetric dependent random choice.
△ Less
Submitted 27 August, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
High Probability Bounds for Stochastic Continuous Submodular Maximization
Authors:
Evan Becker,
**gdong Gao,
Ted Zadouri,
Baharan Mirzasoleiman
Abstract:
We consider maximization of stochastic monotone continuous submodular functions (CSF) with a diminishing return property. Existing algorithms only guarantee the performance \textit{in expectation}, and do not bound the probability of getting a bad solution. This implies that for a particular run of the algorithms, the solution may be much worse than the provided guarantee in expectation. In this p…
▽ More
We consider maximization of stochastic monotone continuous submodular functions (CSF) with a diminishing return property. Existing algorithms only guarantee the performance \textit{in expectation}, and do not bound the probability of getting a bad solution. This implies that for a particular run of the algorithms, the solution may be much worse than the provided guarantee in expectation. In this paper, we first empirically verify that this is indeed the case. Then, we provide the first \textit{high-probability} analysis of the existing methods for stochastic CSF maximization, namely PGA, boosted PGA, SCG, and SCG++. Finally, we provide an improved high-probability bound for SCG, under slightly stronger assumptions, with a better convergence rate than that of the expected solution. Through extensive experiments on non-concave quadratic programming (NQP) and optimal budget allocation, we confirm the validity of our bounds and show that even in the worst-case, PGA converges to $OPT/2$, and boosted PGA, SCG, SCG++ converge to $(1 - 1/e)OPT$, but at a slower rate than that of the expected solution.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Heat kernel-based p-energy norms on metric measure spaces
Authors:
** Gao,
Zhenyu Yu,
Junda Zhang
Abstract:
We focus on heat kernel-based p-energy norms (1<p<\infty) on bounded and unbounded metric measure spaces, in particular, weak-monotonicity properties for different types of energies. Such properties are key to related studies, under which we generalise the convergence result of Bourgain-Brezis-Mironescu (BBM) for p\neq2. We establish the equivalence of various p-energy norms and weak-monotonicity…
▽ More
We focus on heat kernel-based p-energy norms (1<p<\infty) on bounded and unbounded metric measure spaces, in particular, weak-monotonicity properties for different types of energies. Such properties are key to related studies, under which we generalise the convergence result of Bourgain-Brezis-Mironescu (BBM) for p\neq2. We establish the equivalence of various p-energy norms and weak-monotonicity properties when there admits a heat kernel satisfying the two-sided estimates. Using these equivalences, we verify various weak-monotonicity properties on nested fractals and their blowups. Immediate consequences are that, many classical results on p-energy norms hold for such bounded and unbounded fractals, including the BBM convergence and Gagliardo-Nirenberg inequality.
△ Less
Submitted 11 April, 2023; v1 submitted 18 March, 2023;
originally announced March 2023.
-
Many Hamiltonian subsets in large graphs with given density
Authors:
Stijn Cambie,
Jun Gao,
Hong Liu
Abstract:
A set of vertices in a graph is a Hamiltonian subset if it induces a subgraph containing a Hamiltonian cycle. Kim, Liu, Sharifzadeh and Staden proved that among all graphs with minimum degree $d$, $K_{d+1}$ minimises the number of Hamiltonian subsets. We prove a near optimal lower bound that takes also the order and the structure of a graph into account. For many natural graph classes, it provides…
▽ More
A set of vertices in a graph is a Hamiltonian subset if it induces a subgraph containing a Hamiltonian cycle. Kim, Liu, Sharifzadeh and Staden proved that among all graphs with minimum degree $d$, $K_{d+1}$ minimises the number of Hamiltonian subsets. We prove a near optimal lower bound that takes also the order and the structure of a graph into account. For many natural graph classes, it provides a much better bound than the extremal one ($\approx 2^{d+1}$). Among others, our bound implies that an $n$-vertex $C_4$-free graphs with minimum degree $d$ contains at least $n2^{d^{2-o(1)}}$ Hamiltonian subsets.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Regulating For-Hire Autonomous Vehicles for An Equitable Multimodal Transportation Network
Authors:
**g Gao,
Sen Li
Abstract:
This paper assesses the equity impacts of for-hire autonomous vehicles (AVs) and investigates regulatory policies that promote spatial and social equity in future autonomous mobility ecosystems. To this end, we consider a multimodal transportation network, where a ride-hailing platform operates a fleet of AVs to offer mobility-on-demand services in competition with a public transit agency that off…
▽ More
This paper assesses the equity impacts of for-hire autonomous vehicles (AVs) and investigates regulatory policies that promote spatial and social equity in future autonomous mobility ecosystems. To this end, we consider a multimodal transportation network, where a ride-hailing platform operates a fleet of AVs to offer mobility-on-demand services in competition with a public transit agency that offers transit services on a transportation network. A game-theoretic model is developed to characterize the intimate interactions between the ride-hailing platform, the transit agency, and multiclass passengers with distinct income levels. An algorithm is proposed to compute the Nash equilibrium of the game and conduct an ex-post evaluation of the performance of the obtained solution. Based on the proposed framework, we evaluate the spatial and social equity in transport accessibility using the Theil index, and find that although the proliferation of for-hire AVs in the ride-hailing network improves overall accessibility, the benefits are not fairly distributed among distinct locations or population groups, implying that the deployment of AVs will enlarge the existing spatial and social inequity gaps in the transportation network if no regulatory intervention is in place. To address this concern, we investigate two regulatory policies that can improve transport equity: (a) a minimum service-level requirement on ride-hailing services, which improves the spatial equity in the transport network; (b) a subsidy on transit services by taxing ride-hailing services, which promotes the use of public transit and improves the spatial and social equity of the transport network. We show that the minimum service-level requirement entails a trade-off: as a higher minimum service level is imposed, the spatial inequity reduces, but the social inequity will be exacerbated. On the other hand ...
△ Less
Submitted 30 October, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Stability through non-shadows
Authors:
Jun Gao,
Hong Liu,
Zixiang Xu
Abstract:
We study families $\mathcal{F}\subseteq 2^{[n]}$ with restricted intersections and prove a conjecture of Snevily in a stronger form for large $n$. We also obtain stability results for Kleitman's isodiametric inequality and families with bounded set-wise differences. Our proofs introduce a new twist to the classical linear algebra method, harnessing the non-shadows of $\mathcal{F}$, which may be of…
▽ More
We study families $\mathcal{F}\subseteq 2^{[n]}$ with restricted intersections and prove a conjecture of Snevily in a stronger form for large $n$. We also obtain stability results for Kleitman's isodiametric inequality and families with bounded set-wise differences. Our proofs introduce a new twist to the classical linear algebra method, harnessing the non-shadows of $\mathcal{F}$, which may be of independent interest.
△ Less
Submitted 25 June, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Towards Reliable Item Sampling for Recommendation Evaluation
Authors:
Dong Li,
Ruoming **,
Zhenming Liu,
Bin Ren,
**g Gao,
Zhi Liu
Abstract:
Since Rendle and Krichene argued that commonly used sampling-based evaluation metrics are "inconsistent" with respect to the global metrics (even in expectation), there have been a few studies on the sampling-based recommender system evaluation. Existing methods try either map** the sampling-based metrics to their global counterparts or more generally, learning the empirical rank distribution to…
▽ More
Since Rendle and Krichene argued that commonly used sampling-based evaluation metrics are "inconsistent" with respect to the global metrics (even in expectation), there have been a few studies on the sampling-based recommender system evaluation. Existing methods try either map** the sampling-based metrics to their global counterparts or more generally, learning the empirical rank distribution to estimate the top-$K$ metrics. However, despite existing efforts, there is still a lack of rigorous theoretical understanding of the proposed metric estimators, and the basic item sampling also suffers from the "blind spot" issue, i.e., estimation accuracy to recover the top-$K$ metrics when $K$ is small can still be rather substantial. In this paper, we provide an in-depth investigation into these problems and make two innovative contributions. First, we propose a new item-sampling estimator that explicitly optimizes the error with respect to the ground truth, and theoretically highlight its subtle difference against prior work. Second, we propose a new adaptive sampling method which aims to deal with the "blind spot" problem and also demonstrate the expectation-maximization (EM) algorithm can be generalized for such a setting. Our experimental results confirm our statistical analysis and the superiority of the proposed works. This study helps lay the theoretical foundation for adopting item sampling metrics for recommendation evaluation, and provides strong evidence towards making item sampling a powerful and reliable tool for recommendation evaluation.
△ Less
Submitted 11 October, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
On two cycles of consecutive even lengths
Authors:
Jun Gao,
Binlong Li,
Jie Ma,
Tianying Xie
Abstract:
Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two.We prove the following average degree counterpart that every $n$-vertex graph $G$ with at least $\frac52(n-1)$ edges, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$, contains two cycles of consecutive even lengths. Our proof is mainly based on structural anal…
▽ More
Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two.We prove the following average degree counterpart that every $n$-vertex graph $G$ with at least $\frac52(n-1)$ edges, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$, contains two cycles of consecutive even lengths. Our proof is mainly based on structural analysis, and a crucial step which may be of independent interest shows that the same conclusion holds for every 3-connected graph with at least 6 vertices. This solves a special case of a conjecture of Verstraëte. The quantitative bound is tight and also provides the optimal extremal number for cycles of length two modulo four.
△ Less
Submitted 8 October, 2022;
originally announced October 2022.
-
Application of Deep Q Learning with Simulation Results for Elevator Optimization
Authors:
Zheng Cao,
Raymond Guo,
Caesar M. Tuguinay,
Mark Pock,
Jiayi Gao,
Ziyu Wang
Abstract:
This paper presents a methodology for combining programming and mathematics to optimize elevator wait times. Based on simulated user data generated according to the canonical three-peak model of elevator traffic, we first develop a naive model from an intuitive understanding of the logic behind elevators. We take into consideration a general array of features including capacity, acceleration, and…
▽ More
This paper presents a methodology for combining programming and mathematics to optimize elevator wait times. Based on simulated user data generated according to the canonical three-peak model of elevator traffic, we first develop a naive model from an intuitive understanding of the logic behind elevators. We take into consideration a general array of features including capacity, acceleration, and maximum wait time thresholds to adequately model realistic circumstances. Using the same evaluation framework, we proceed to develop a Deep Q Learning model in an attempt to match the hard-coded naive approach for elevator control. Throughout the majority of the paper, we work under a Markov Decision Process (MDP) schema, but later explore how the assumption fails to characterize the highly stochastic overall Elevator Group Control System (EGCS).
△ Less
Submitted 23 December, 2022; v1 submitted 30 September, 2022;
originally announced October 2022.
-
A Game of Simulation: Modeling and Analyzing the Dragons of Game of Thrones
Authors:
Zheng Cao,
Brody Bottrell,
Jiayi Gao,
Mark Pock,
Vinsensius
Abstract:
This paper outlines two approaches for mathematical, simulation, modeling, and analysis of hypothetical creatures, in particular, the dragons of HBO's television series Game of Thrones (GOT). Our first approach, the forward model, utilizes quasi-empirical observations of various features of GOT dragons. We then mathematically derive the growth rate, other dimensions, energy consumption, etc. In th…
▽ More
This paper outlines two approaches for mathematical, simulation, modeling, and analysis of hypothetical creatures, in particular, the dragons of HBO's television series Game of Thrones (GOT). Our first approach, the forward model, utilizes quasi-empirical observations of various features of GOT dragons. We then mathematically derive the growth rate, other dimensions, energy consumption, etc. In the backward model, we use projected energy consumption by given ecological impact to model an expected dragon in terms of physical features. We compare and contrast both models to examine the plausibility of a real-world existence for our titular dragons and provide brief analyses of potential impacts on ecology.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Acyclic Orientations and the Chromatic Polynomial of Signed Graphs
Authors:
Jiyang Gao
Abstract:
We present a new correspondence between acyclic orientations and coloring of a signed graph (symmetric graph). Goodall et al. introduced a bivariate chromatic polynomial $χ_G(k,l)$ that counts the number of signed colorings using colors $0,\pm1,\dots,\pm k$ along with $l-1$ symmetric colors $0_1,\dots,0_{l-1}$. We show that the evaluation of the bivariate chromatic polynomial $|χ_G(-1,2)|$ is equa…
▽ More
We present a new correspondence between acyclic orientations and coloring of a signed graph (symmetric graph). Goodall et al. introduced a bivariate chromatic polynomial $χ_G(k,l)$ that counts the number of signed colorings using colors $0,\pm1,\dots,\pm k$ along with $l-1$ symmetric colors $0_1,\dots,0_{l-1}$. We show that the evaluation of the bivariate chromatic polynomial $|χ_G(-1,2)|$ is equal to the number of acyclic orientations of the signed graph modulo the equivalence relation generated by swap** sources and sinks. We present three proofs of this fact, a proof using toric hyperplane arrangements, a proof using deletion-contraction, and a direct proof.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
A Bubble-breaking Phenomenon in the Variation of a Swarm Communication Network
Authors:
Bohuan Lin,
Jian Gao
Abstract:
We discuss a specific circumstance in which the topology of the communication network of a robotic swarm has to change during the movement. The variation is caused by a topological obstruction which emerges from certain geometric restrictions on both the environment and the swarm.
We discuss a specific circumstance in which the topology of the communication network of a robotic swarm has to change during the movement. The variation is caused by a topological obstruction which emerges from certain geometric restrictions on both the environment and the swarm.
△ Less
Submitted 2 September, 2022; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Riemannian accelerated gradient methods via extrapolation
Authors:
Andi Han,
Bamdev Mishra,
Pratik Jawanpuria,
Junbin Gao
Abstract:
In this paper, we propose a simple acceleration scheme for Riemannian gradient methods by extrapolating iterates on manifolds. We show when the iterates are generated from Riemannian gradient descent method, the accelerated scheme achieves the optimal convergence rate asymptotically and is computationally more favorable than the recently proposed Riemannian Nesterov accelerated gradient methods. O…
▽ More
In this paper, we propose a simple acceleration scheme for Riemannian gradient methods by extrapolating iterates on manifolds. We show when the iterates are generated from Riemannian gradient descent method, the accelerated scheme achieves the optimal convergence rate asymptotically and is computationally more favorable than the recently proposed Riemannian Nesterov accelerated gradient methods. Our experiments verify the practical benefit of the novel acceleration strategy.
△ Less
Submitted 13 August, 2022;
originally announced August 2022.
-
The Dual Index and Dual Core Generalized Inverse
Authors:
Hongxing Wang,
Ju Gao
Abstract:
In this paper, we introduce the dual index and dual core generalized inverse (DCGI). By applying rank equation, generalized inverse and matrix decomposition, we give several characterizations of the dual index when it is equal to one. And we get that if DCGI exists, then it is unique. We derive a compact formula for DCGI and a series of equivalent characterizations of the existence of the inverse.…
▽ More
In this paper, we introduce the dual index and dual core generalized inverse (DCGI). By applying rank equation, generalized inverse and matrix decomposition, we give several characterizations of the dual index when it is equal to one. And we get that if DCGI exists, then it is unique. We derive a compact formula for DCGI and a series of equivalent characterizations of the existence of the inverse. It is worth nothing that the dual index of $\hat{M}$ is equal to one if and only if its DCGI exists. When the dual index of $\hat{M}$ is equal to one, we study dual Moore-Penrose generalized inverse (DMPGI) and dual group generalized inverse (DGGI), and consider the relationships among DCGI, DMPGI, DGGI, Moore-Penrose dual generalized inverse (MPDGI) and other dual generalized inverses. In addition, we consider symmetric dual matrix and its dual generalized inverses. At last, two examples are given to illustrate the application of DCGI in linear dual equations.
△ Less
Submitted 11 June, 2022;
originally announced June 2022.
-
Tight bounds towards a conjecture of Gallai
Authors:
Jun Gao,
Jie Ma
Abstract:
We prove that for $n>k\geq 3$, if $G$ is an $n$-vertex graph with chromatic number $k$ but any its proper subgraph has smaller chromatic number, then $G$ contains at most $n-k+3$ copies of cliques of size $k-1$. This answers a problem of Abbott and Zhou and provides a tight bound on a conjecture of Gallai.
We prove that for $n>k\geq 3$, if $G$ is an $n$-vertex graph with chromatic number $k$ but any its proper subgraph has smaller chromatic number, then $G$ contains at most $n-k+3$ copies of cliques of size $k-1$. This answers a problem of Abbott and Zhou and provides a tight bound on a conjecture of Gallai.
△ Less
Submitted 10 October, 2022; v1 submitted 28 May, 2022;
originally announced May 2022.
-
Limit Cycles Analysis and Control of Evolutionary Game Dynamics with Environmental Feedback
Authors:
Lulu Gong,
Weijia Yao,
Jian Gao,
Ming Cao
Abstract:
Recently, an evolutionary game dynamics model taking into account the environmental feedback has been proposed to describe the co-evolution of strategic actions of a population of individuals and the state of the surrounding environment; correspondingly a range of interesting dynamic behaviors have been reported. In this paper, we provide new theoretical insight into such behaviors and discuss con…
▽ More
Recently, an evolutionary game dynamics model taking into account the environmental feedback has been proposed to describe the co-evolution of strategic actions of a population of individuals and the state of the surrounding environment; correspondingly a range of interesting dynamic behaviors have been reported. In this paper, we provide new theoretical insight into such behaviors and discuss control options. Instead of the standard replicator dynamics, we use a more realistic and comprehensive model of replicator-mutator dynamics, to describe the strategic evolution of the population. After integrating the environment feedback, we study the effect of mutations on the resulting closed-loop system dynamics. We prove the conditions for two types of bifurcations, Hopf bifurcation and Heteroclinic bifurcation, both of which result in stable limit cycles. These limit cycles have not been identified in existing works, and we further prove that such limit cycles are in fact persistent in a large parameter space and are almost globally stable. In the end, an intuitive control policy based on incentives is applied, and the effectiveness of this control policy is examined by analysis and simulations.
△ Less
Submitted 22 May, 2022;
originally announced May 2022.
-
Differentially private Riemannian optimization
Authors:
Andi Han,
Bamdev Mishra,
Pratik Jawanpuria,
Junbin Gao
Abstract:
In this paper, we study the differentially private empirical risk minimization problem where the parameter is constrained to a Riemannian manifold. We introduce a framework of differentially private Riemannian optimization by adding noise to the Riemannian gradient on the tangent space. The noise follows a Gaussian distribution intrinsically defined with respect to the Riemannian metric. We adapt…
▽ More
In this paper, we study the differentially private empirical risk minimization problem where the parameter is constrained to a Riemannian manifold. We introduce a framework of differentially private Riemannian optimization by adding noise to the Riemannian gradient on the tangent space. The noise follows a Gaussian distribution intrinsically defined with respect to the Riemannian metric. We adapt the Gaussian mechanism from the Euclidean space to the tangent space compatible to such generalized Gaussian distribution. We show that this strategy presents a simple analysis as compared to directly adding noise on the manifold. We further show privacy guarantees of the proposed differentially private Riemannian (stochastic) gradient descent using an extension of the moments accountant technique. Additionally, we prove utility guarantees under geodesic (strongly) convex, general nonconvex objectives as well as under the Riemannian Polyak-Łojasiewicz condition. We show the efficacy of the proposed framework in several applications.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
Existence theorems for a generalized Chern-Simons equation on finite graphs
Authors:
Jia Gao,
Songbo Hou
Abstract:
Denote by $G=(V,E)$ a finite graph. We study a generalized Chern-Simons equation $$ Δu=λ\mathrm{e}^u(\mathrm{e}^{bu}-1)+4π\sum\limits_{j=1}^{N}δ_{p_j} $$ on $G$, where $λ$ and $b$ are positive constants; $N$ is a positive integer; $p_1, p_2, \cdot\cdot\cdot, p_N$ are distinct vertices of $V$ and $δ_{p_j}$ is the Dirac delta mass at $p_j$. We prove that there exists a critical value $λ_c$ such that…
▽ More
Denote by $G=(V,E)$ a finite graph. We study a generalized Chern-Simons equation $$ Δu=λ\mathrm{e}^u(\mathrm{e}^{bu}-1)+4π\sum\limits_{j=1}^{N}δ_{p_j} $$ on $G$, where $λ$ and $b$ are positive constants; $N$ is a positive integer; $p_1, p_2, \cdot\cdot\cdot, p_N$ are distinct vertices of $V$ and $δ_{p_j}$ is the Dirac delta mass at $p_j$. We prove that there exists a critical value $λ_c$ such that the equation has a solution if $λ\geq λ_c$ and the equation has no solution if $λ<λ_c$. We also prove that if $λ>λ_c$ the equation has at least two solutions which include a local minimizer for the corresponding functional and a mountain-pass type solution.
△ Less
Submitted 1 February, 2024; v1 submitted 17 May, 2022;
originally announced May 2022.
-
Riemannian Hamiltonian methods for min-max optimization on manifolds
Authors:
Andi Han,
Bamdev Mishra,
Pratik Jawanpuria,
Pawan Kumar,
Junbin Gao
Abstract:
In this paper, we study min-max optimization problems on Riemannian manifolds. We introduce a Riemannian Hamiltonian function, minimization of which serves as a proxy for solving the original min-max problems. Under the Riemannian Polyak--Łojasiewicz condition on the Hamiltonian function, its minimizer corresponds to the desired min-max saddle point. We also provide cases where this condition is s…
▽ More
In this paper, we study min-max optimization problems on Riemannian manifolds. We introduce a Riemannian Hamiltonian function, minimization of which serves as a proxy for solving the original min-max problems. Under the Riemannian Polyak--Łojasiewicz condition on the Hamiltonian function, its minimizer corresponds to the desired min-max saddle point. We also provide cases where this condition is satisfied. For geodesic-bilinear optimization in particular, solving the proxy problem leads to the correct search direction towards global optimality, which becomes challenging with the min-max formulation. To minimize the Hamiltonian function, we propose Riemannian Hamiltonian methods (RHM) and present their convergence analyses. We extend RHM to include consensus regularization and to the stochastic setting. We illustrate the efficacy of the proposed RHM in applications such as subspace robust Wasserstein distance, robust training of neural networks, and generative adversarial networks.
△ Less
Submitted 24 August, 2023; v1 submitted 24 April, 2022;
originally announced April 2022.
-
M2N: Mesh Movement Networks for PDE Solvers
Authors:
Wenbin Song,
Mingrui Zhang,
Joseph G. Wallwork,
Junpeng Gao,
Zheng Tian,
Fanglei Sun,
Matthew D. Piggott,
Junqing Chen,
Zuoqiang Shi,
Xiang Chen,
Jun Wang
Abstract:
Mainstream numerical Partial Differential Equation (PDE) solvers require discretizing the physical domain using a mesh. Mesh movement methods aim to improve the accuracy of the numerical solution by increasing mesh resolution where the solution is not well-resolved, whilst reducing unnecessary resolution elsewhere. However, mesh movement methods, such as the Monge-Ampere method, require the soluti…
▽ More
Mainstream numerical Partial Differential Equation (PDE) solvers require discretizing the physical domain using a mesh. Mesh movement methods aim to improve the accuracy of the numerical solution by increasing mesh resolution where the solution is not well-resolved, whilst reducing unnecessary resolution elsewhere. However, mesh movement methods, such as the Monge-Ampere method, require the solution of auxiliary equations, which can be extremely expensive especially when the mesh is adapted frequently. In this paper, we propose to our best knowledge the first learning-based end-to-end mesh movement framework for PDE solvers. Key requirements of learning-based mesh movement methods are alleviating mesh tangling, boundary consistency, and generalization to mesh with different resolutions. To achieve these goals, we introduce the neural spline model and the graph attention network (GAT) into our models respectively. While the Neural-Spline based model provides more flexibility for large deformation, the GAT based model can handle domains with more complicated shapes and is better at performing delicate local deformation. We validate our methods on stationary and time-dependent, linear and non-linear equations, as well as regularly and irregularly shaped domains. Compared to the traditional Monge-Ampere method, our approach can greatly accelerate the mesh adaptation process, whilst achieving comparable numerical error reduction.
△ Less
Submitted 24 April, 2022;
originally announced April 2022.
-
Balanced shifted tableaux
Authors:
Jiyang Gao,
Shiliang Gao,
Yibo Gao
Abstract:
We introduce balanced shifted tableaux, as an analogue of balanced tableaux of Edelman and Greene, from the perspective of root systems of type B and C. We show that they are equinumerous to standard Young tableaux of the corresponding shifted shape by presenting an explicit bijection.
We introduce balanced shifted tableaux, as an analogue of balanced tableaux of Edelman and Greene, from the perspective of root systems of type B and C. We show that they are equinumerous to standard Young tableaux of the corresponding shifted shape by presenting an explicit bijection.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
On generalized quasi-cyclic codes over $\mathbb{Z}_4$
Authors:
Jian Gao,
Xiangrui Meng,
Fang-Wei Fu
Abstract:
Based on good algebraic structures and practicabilities, generalized quasi-cyclic (GQC) codes play important role in coding theory. In this paper, we study some results on GQC codes over $\mathbb{Z}_4$ including the normalized generating set, the minimum generating set and the normalized generating set of their dual codes. As an application, new $\mathbb{Z}_4$-linear codes and good nonlinear binar…
▽ More
Based on good algebraic structures and practicabilities, generalized quasi-cyclic (GQC) codes play important role in coding theory. In this paper, we study some results on GQC codes over $\mathbb{Z}_4$ including the normalized generating set, the minimum generating set and the normalized generating set of their dual codes. As an application, new $\mathbb{Z}_4$-linear codes and good nonlinear binary codes are constructed from GQC codes over $\mathbb{Z}_4$.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
A classification of finite $p$-groups with a unique $\mathcal{A}_2$-subgroup
Authors:
Jixia Gao,
Dandan Zhang,
Haipeng Qu
Abstract:
Finite $p$-groups with a unique $\mathcal{A}_2$-subgroup are classified up to isomorphism. A problem proposed by Berkovich and Janko is solved.
Finite $p$-groups with a unique $\mathcal{A}_2$-subgroup are classified up to isomorphism. A problem proposed by Berkovich and Janko is solved.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Batalin-Vilkovisky structure on Hochschild cohomology of zigzag algebra of type $\widetilde{\mathbf{A}}_{1}$
Authors:
Bo Hou,
** Gao
Abstract:
In this paper, we study the Batalin-Vilkovisky structure on the Hochschild cohomology of quantum zigzag algebras $A_{q}$ of type $\widetilde{\mathbf{A}}_{1}$. We first calculate the dimensions of Hochschild homology groups and Hochschild cohomology groups of $A_{q}$. Based on these computations, we determine the Hochschild cohomology ring of $A_{q}$, and give the Batalin-Vilkovisky operator and th…
▽ More
In this paper, we study the Batalin-Vilkovisky structure on the Hochschild cohomology of quantum zigzag algebras $A_{q}$ of type $\widetilde{\mathbf{A}}_{1}$. We first calculate the dimensions of Hochschild homology groups and Hochschild cohomology groups of $A_{q}$. Based on these computations, we determine the Hochschild cohomology ring of $A_{q}$, and give the Batalin-Vilkovisky operator and the Gerstenhaber bracket on Hochschild cohomology ring of $A_{q}$ explicitly.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.