Showing 1–33 of 33 results for author: Zheng, K

Estimates for complex singular Monge-Ampère equations via integral method

Authors: Yunqing Wu, Kai Zheng

Abstract: In this paper, we obtain gradient estimates and Laplacian estimates for the solution to the singular complex Monge-Ampère equation by applying the integral method. In this paper, we obtain gradient estimates and Laplacian estimates for the solution to the singular complex Monge-Ampère equation by applying the integral method. △ Less

Submitted 6 November, 2024; originally announced November 2024.

The uniqueness of Poincaré type constant scalar curvature Kähler metric

Authors: Yulun Xu, Kai Zheng

Abstract: Let $D$ be a smooth divisor on a closed Kähler manifold $X$. First, we prove that Poincaré type constant scalar curvature Kähler (cscK) metric with a singularity at $D$ is unique up to a holomorphic transformation on $X$ that preserves $D$, if there are no nontrivial holomorphic vector fields on $D$. For the general case, we propose a conjecture relating the uniqueness of Poincaré type cscK metric… ▽ More Let $D$ be a smooth divisor on a closed Kähler manifold $X$. First, we prove that Poincaré type constant scalar curvature Kähler (cscK) metric with a singularity at $D$ is unique up to a holomorphic transformation on $X$ that preserves $D$, if there are no nontrivial holomorphic vector fields on $D$. For the general case, we propose a conjecture relating the uniqueness of Poincaré type cscK metric to its asymptotic behavior near $D$. We give an affirmative answer to this conjecture for those Poincaré type cscK metrics whose asymptotic behavior is invariant under any holomorphic transformation of $X$ that preserve $D$. We also show that this conjecture can be reduced to a fixed point problem. △ Less

Submitted 26 May, 2025; v1 submitted 17 October, 2024; originally announced October 2024.

Comments: We fix some typos in the first version

MSC Class: 32Q15; 53C55

Connection-Aware P2P Trading: Simultaneous Trading and Peer Selection

Authors: Cheng Feng, Kedi Zheng, Lanqing Shan, Hani Alers, Qixin Chen, Lampros Stergioulas, Hongye Guo

Abstract: Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can re… ▽ More Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can result in serious asynchrony in peer-to-peer trading, potentially impacting the effectiveness of negotiations and hindering convergence before the market closes. This paper introduces a connection-aware P2P trading algorithm designed for extensive prosumer trading. The algorithm facilitates asynchronous trading while respecting prosumer's autonomy in trading peer selection, an often overlooked aspect in traditional models. In addition, to optimize the use of limited connection opportunities, a smart trading peer connection selection strategy is developed to guide consumers to communicate strategically to accelerate convergence. A theoretical convergence guarantee is provided for the connection-aware P2P trading algorithm, which further details how smart selection strategies enhance convergence efficiency. Numerical studies are carried out to validate the effectiveness of the connection-aware algorithm and the performance of smart selection strategies in reducing the overall convergence time. △ Less

Submitted 28 October, 2024; v1 submitted 18 February, 2024; originally announced February 2024.

Comments: Paper accepted for Applied Energy. Personal use of this material is permitted. Permission from Elsevier must be obtained for all other uses

Journal ref: Applied Energy, Volume 377, Part D, 2025, 124658, ISSN 0306-2619,

Calabi flow with bounded $L^p$ scalar curvature

Authors: Haozhao Li, Linwei Zhang, Kai Zheng

Abstract: In this paper, we show that the Calabi flow can be extended as long as the $L^p$ scalar curvature is uniformly bounded for some $p>n$, and on a compact extremal Kähler manifold the Calabi flow with uniformly bounded $L^p(p>n)$ scalar curvature exists for all time and converges exponentially fast to an extremal Kähler metric. In this paper, we show that the Calabi flow can be extended as long as the $L^p$ scalar curvature is uniformly bounded for some $p>n$, and on a compact extremal Kähler manifold the Calabi flow with uniformly bounded $L^p(p>n)$ scalar curvature exists for all time and converges exponentially fast to an extremal Kähler metric. △ Less

Submitted 25 September, 2024; v1 submitted 10 December, 2023; originally announced December 2023.

Comments: 27 pages

MSC Class: 53C21; 53E40

Hermitian Calabi functional in complexified orbits

Authors: Jie He, Kai Zheng

Abstract: Let $(M,ω)$ be a compact symplectic manifold. We denote by $\ac$ the space of all almost complex structure compatible with $ω$. $\ac$ has a natural foliation structure with the complexified orbit as leaf. We obtain an explicit formula of the Hessian of Hermitian Calabi functional at an extremal almost Kähler metric in $\ac$. We prove that the Hessian of Hermitian Calabi functional is semi-positive… ▽ More Let $(M,ω)$ be a compact symplectic manifold. We denote by $\ac$ the space of all almost complex structure compatible with $ω$. $\ac$ has a natural foliation structure with the complexified orbit as leaf. We obtain an explicit formula of the Hessian of Hermitian Calabi functional at an extremal almost Kähler metric in $\ac$. We prove that the Hessian of Hermitian Calabi functional is semi-positive definite at critical point when restricted to a complexified orbit, as corollaries we obtain some results analogy to Kähler case. We also show weak parabolicity of the Hermitian Calabi flow. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Journal ref: Internat. J. Math. 34 (2023), no. 8, Paper No. 2350047, 44 pp

The Space of Closed $G_2$-Structures. I. Connections

Authors: Pengfei Xu, Kai Zheng

Abstract: In this article, we develop foundational theory for geometries of the space of closed $G_2$-structures in a given cohomology class as an infinite-dimensional manifold. We introduce Sobolev-type metrics, construct their Levi-Civita connections, formulate geodesic equations, and analyse the variational structures of torsion free $G_2$-structures under these Sobolev-type metrics. In this article, we develop foundational theory for geometries of the space of closed $G_2$-structures in a given cohomology class as an infinite-dimensional manifold. We introduce Sobolev-type metrics, construct their Levi-Civita connections, formulate geodesic equations, and analyse the variational structures of torsion free $G_2$-structures under these Sobolev-type metrics. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 51 pages

Journal ref: Q. J. Math. 75 (2024), no. 1, 333-390

Singular scalar curvature equations

Authors: Kai Zheng

Abstract: We develop estimates for the equation of scalar curvature of singular metrics with cone angle $β>1$, in a big and semi-positive cohomology class on a Kähler manifold. We further derive the Laplacian estimate for the scalar curvature equation of degenerate Kähler metrics. We then have several applications of these estimates on the singular constant scalar curvature Kähler metrics, which also includ… ▽ More We develop estimates for the equation of scalar curvature of singular metrics with cone angle $β>1$, in a big and semi-positive cohomology class on a Kähler manifold. We further derive the Laplacian estimate for the scalar curvature equation of degenerate Kähler metrics. We then have several applications of these estimates on the singular constant scalar curvature Kähler metrics, which also include the singular Kähler-Einstein metrics. △ Less

Submitted 29 May, 2022; originally announced May 2022.

On uniform log $K$-stability for constant scalar curvature Kähler cone metrics

Authors: Takahiro Aoi, Yoshinori Hashimoto, Kai Zheng

Abstract: We prove that the existence of constant scalar curvature Kähler metrics with cone singularities along a divisor implies log $K$-polystability and $G$-uniform log $K$-stability, where $G$ is the automorphism group which preserves the divisor. We also show that a constant scalar curvature Kähler cone metric along an ample divisor of sufficiently large degree always exists. We further show several pr… ▽ More We prove that the existence of constant scalar curvature Kähler metrics with cone singularities along a divisor implies log $K$-polystability and $G$-uniform log $K$-stability, where $G$ is the automorphism group which preserves the divisor. We also show that a constant scalar curvature Kähler cone metric along an ample divisor of sufficiently large degree always exists. We further show several properties of the path of constant scalar curvature Kähler cone metrics and discuss uniform log $K$-stability of normal varieties. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 58 pages

MSC Class: 53C55 (Primary); 32Q26 (Secondary)

Stack-Sorting with Consecutive-Pattern-Avoiding Stacks

Authors: Colin Defant, Kai Zheng

Abstract: We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_σ$, which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_σ$ recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns $σ$ such that $\text{Sort}(\text{SC}_σ)$, the set of permutations that are sortable via the ma… ▽ More We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_σ$, which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_σ$ recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns $σ$ such that $\text{Sort}(\text{SC}_σ)$, the set of permutations that are sortable via the map $s\circ\text{SC}_σ$, is a permutation class, and we enumerate the sets $\text{Sort}(\text{SC}_σ)$ for $σ\in\{123,132,321\}$. We also study the maps $\text{SC}_σ$ from a dynamical point of view, characterizing the periodic points of $\text{SC}_σ$ for all $σ\in S_3$ and computing $\max_{π\in S_n}|\text{SC}_σ^{-1}(π)|$ for all $σ\in\{132,213,231,312\}$. In addition, we characterize the periodic points of the classical-pattern-avoiding stack-sorting map $s_{132}$, and we show that the maximum number of iterations of $s_{132}$ needed to send a permutation in $S_n$ to a periodic point is $n-1$. The paper ends with numerous open problems and conjectures. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Comments: 26 pages, 2 figures

MSC Class: 05A05; 05A15; 37E15

On the $e$-positivity of trees and spiders

Authors: Kai Zheng

Abstract: We prove that for any tree with a vertex of degree at least six, its chromatic symmetric function is not $e$-positive, that is, it cannot be written as a nonnegative linear combination of elementary symmetric functions. This makes significant progress towards a recent conjecture of Dahlberg, She, and van Willigenburg, who conjectured the result for all trees with a vertex of degree at least four.… ▽ More We prove that for any tree with a vertex of degree at least six, its chromatic symmetric function is not $e$-positive, that is, it cannot be written as a nonnegative linear combination of elementary symmetric functions. This makes significant progress towards a recent conjecture of Dahlberg, She, and van Willigenburg, who conjectured the result for all trees with a vertex of degree at least four. We also provide a series of conditions that can identify when the chromatic symmetric function of a spider, a tree consisting of multiple paths identified at an end, is not $e$-positive. These conditions also generalize to trees and graphs with cut vertices. Finally, by applying a result of Orellana and Scott, we provide a method to inductively calculate certain coefficients in the elementary symmetric function expansion of the chromatic symmetric function of a spider, leading to further $e$-positivity conditions for spiders. △ Less

Submitted 16 May, 2022; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: 25 pages with revisions

Learning Hidden Markov Models for Linear Gaussian Systems with Applications to Event-based State Estimation

Authors: Kaikai Zheng, Dawei Shi, Ling Shi

Abstract: This work attempts to approximate a linear Gaussian system with a finite-state hidden Markov model (HMM), which is found useful in solving sophisticated event-based state estimation problems. An indirect modeling approach is developed, wherein a state space model (SSM) is firstly identified for a Gaussian system and the SSM is then used as an emulator for learning an HMM. In the proposed method, t… ▽ More This work attempts to approximate a linear Gaussian system with a finite-state hidden Markov model (HMM), which is found useful in solving sophisticated event-based state estimation problems. An indirect modeling approach is developed, wherein a state space model (SSM) is firstly identified for a Gaussian system and the SSM is then used as an emulator for learning an HMM. In the proposed method, the training data for the HMM are obtained from the data generated by the SSM through building a quantization mapping. Parameter learning algorithms are designed to learn the parameters of the HMM, through exploiting the periodical structural characteristics of the HMM. The convergence and asymptotic properties of the proposed algorithms are analyzed. The HMM learned using the proposed algorithms is applied to event-triggered state estimation, and numerical results on model learning and state estimation demonstrate the validity of the proposed algorithms. △ Less

Submitted 9 July, 2020; originally announced July 2020.

Comments: The manuscript is under review by a journal

Unitary Signings and Induced Subgraphs of Cayley Graphs of $\mathbb{Z}_2^{n}$

Authors: Noga Alon, Kai Zheng

Abstract: Let $G$ be a Cayley graph of the elementary abelian $2$-group $\mathbb{Z}_2^{n}$ with respect to a set $S$ of size $d$. We prove that for any such $G, S$ and $d$, the maximum degree of any induced subgraph of $G$ on any set of more than half the vertices is at least $\sqrt d$. This is deduced from the recent breakthrough result of Huang who proved the above for the $n$-hypercube $Q^n$, in which th… ▽ More Let $G$ be a Cayley graph of the elementary abelian $2$-group $\mathbb{Z}_2^{n}$ with respect to a set $S$ of size $d$. We prove that for any such $G, S$ and $d$, the maximum degree of any induced subgraph of $G$ on any set of more than half the vertices is at least $\sqrt d$. This is deduced from the recent breakthrough result of Huang who proved the above for the $n$-hypercube $Q^n$, in which the set of generators $S$ is the set of all vectors of Hamming weight $1$. Motivated by his method we define and study unitary signings of adjacency matrices of graphs, and compare them to the orthogonal signings of Huang. As a byproduct, we answer a recent question of Belardo et. al. about the spectrum of signed $5$-regular graphs. △ Less

Submitted 8 November, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 12 pages, 1 figure

Journal ref: Advances in Combinatorics, 2020:11

Matrix valued inverse problems on graphs with application to elastodynamic networks

Authors: Fernando Guevara Vasquez, Travis G. Draper, Justin Cheuk-Lum Tse, Toren E. Wallengren, Kenneth Zheng

Abstract: We consider the inverse problem of finding matrix valued edge or nodal quantities in a graph from measurements made at a few boundary nodes. This is a generalization of the problem of finding resistors in a resistor network from voltage and current measurements at a few nodes, but where the voltages and currents are vector valued. The measurements come from solving a series of Dirichlet problems,… ▽ More We consider the inverse problem of finding matrix valued edge or nodal quantities in a graph from measurements made at a few boundary nodes. This is a generalization of the problem of finding resistors in a resistor network from voltage and current measurements at a few nodes, but where the voltages and currents are vector valued. The measurements come from solving a series of Dirichlet problems, i.e. finding vector valued voltages at some interior nodes from voltages prescribed at the boundary nodes. We give conditions under which the Dirichlet problem admits a unique solution and study the degenerate case where the edge weights are rank deficient. Under mild conditions, the map that associates the matrix valued parameters to boundary data is analytic. This has practical consequences to iterative methods for solving the inverse problem numerically and to local uniqueness of the inverse problem. Our results allow for complex valued weights and give also explicit formulas for the Jacobian of the parameter to data map in terms of certain products of Dirichlet problem solutions. An application to inverse problems arising in elastodynamic networks (networks of springs, masses and dampers) is presented. △ Less

Submitted 19 June, 2018; originally announced June 2018.

Comments: 27 pages, 1 figure

MSC Class: 05C22; 05C50; 35R30

Conic singularities metrics with prescribed scalar curvature: a priori estimates for normal crossing divisors

Authors: Long Li, Jian Wang, Kai Zheng

Abstract: The purpose of this paper is to prove the a priori estimates for constant scalar curvature Kaehler metrics with conic singularities along normal crossing divisors. The zero order estimates are proved by a reformulated version of Alexandrov's maximum principle. The higher order estimates follow from Chen-Cheng's frame work, equipped with new techniques to handle the singularities. Finally, we exte… ▽ More The purpose of this paper is to prove the a priori estimates for constant scalar curvature Kaehler metrics with conic singularities along normal crossing divisors. The zero order estimates are proved by a reformulated version of Alexandrov's maximum principle. The higher order estimates follow from Chen-Cheng's frame work, equipped with new techniques to handle the singularities. Finally, we extend these estimates to the twisted equations. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Journal ref: Bull. Soc. Math. France 148 (2020), no. 1, 51-97

Existence of constant scalar curvature Kaehler cone metrics, properness and geodesic stability

Authors: Kai Zheng

Abstract: We show that the existence of constant scalar curvature Kähler (cscK) metrics with cone singularities is equivalent to the properness of log $K$-energy. We also prove their equivalence to the geodesic stability. They are extensions of the solution of the properness conjecture and Donaldson's geodesic stability conjecture of the cscK problem for smooth Kähler metrics by Chen-Cheng to the setting of… ▽ More We show that the existence of constant scalar curvature Kähler (cscK) metrics with cone singularities is equivalent to the properness of log $K$-energy. We also prove their equivalence to the geodesic stability. They are extensions of the solution of the properness conjecture and Donaldson's geodesic stability conjecture of the cscK problem for smooth Kähler metrics by Chen-Cheng to the setting of cscK cone metrics. One applications of our main results is that we introduce and construct singular cscK metrics with possible degeneration in big cohomology class. As another application, we also prove both openness and approximation property for the path of cscK cone metrics, which are paralleling to Donaldson's continuity method through Kähler-Einstein cone metrics in the resolution of Yau-Tian-Donaldson conjecture for Fano Kähler-Einstein metrics. △ Less

Submitted 7 April, 2020; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: 87 pages

Geodesics in the space of Kahler cone metrics, II. Uniqueness of constant scalar curvature Kahler cone metrics

Authors: Kai Zheng

Abstract: This is a continuation of the previous articles on Kahler cone metrics. In this article, we introduce weighted function spaces and provide a self-contained treatment on cone angles in the whole interval $(0,1]$. We first construct geodesics in the space of Kahler cone metrics (cone geodesics). We next determine the very detailed asymptotic behaviour of constant scalar curvature Kahler (cscK) cone… ▽ More This is a continuation of the previous articles on Kahler cone metrics. In this article, we introduce weighted function spaces and provide a self-contained treatment on cone angles in the whole interval $(0,1]$. We first construct geodesics in the space of Kahler cone metrics (cone geodesics). We next determine the very detailed asymptotic behaviour of constant scalar curvature Kahler (cscK) cone metrics, which leads to the reductivity of the automorphism group. Then we establish the linear theory for the Lichnerowicz operator, which immediately implies the openness of the path deforming the cone angles of cscK cone metrics. Finally, we address the problem on the uniqueness of cscK cone metrics and show that the cscK cone metric is unique up to automorphisms. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Comments: 70 pages

Journal ref: Comm. Pure Appl. Math. 72 (2019), no. 12, 2621-2701

Generalization Bounds of SGLD for Non-convex Learning: Two Theoretical Viewpoints

Authors: Wenlong Mou, Liwei Wang, Xiyu Zhai, Kai Zheng

Abstract: Algorithm-dependent generalization error bounds are central to statistical learning theory. A learning algorithm may use a large hypothesis space, but the limited number of iterations controls its model capacity and generalization error. The impacts of stochastic gradient methods on generalization error for non-convex learning problems not only have important theoretical consequences, but are also… ▽ More Algorithm-dependent generalization error bounds are central to statistical learning theory. A learning algorithm may use a large hypothesis space, but the limited number of iterations controls its model capacity and generalization error. The impacts of stochastic gradient methods on generalization error for non-convex learning problems not only have important theoretical consequences, but are also critical to generalization errors of deep learning. In this paper, we study the generalization errors of Stochastic Gradient Langevin Dynamics (SGLD) with non-convex objectives. Two theories are proposed with non-asymptotic discrete-time analysis, using Stability and PAC-Bayesian results respectively. The stability-based theory obtains a bound of $O\left(\frac{1}{n}L\sqrt{βT_k}\right)$, where $L$ is uniform Lipschitz parameter, $β$ is inverse temperature, and $T_k$ is aggregated step sizes. For PAC-Bayesian theory, though the bound has a slower $O(1/\sqrt{n})$ rate, the contribution of each step is shown with an exponentially decaying factor by imposing $\ell^2$ regularization, and the uniform Lipschitz constant is also replaced by actual norms of gradients along trajectory. Our bounds have no implicit dependence on dimensions, norms or other capacity measures of parameter, which elegantly characterizes the phenomenon of "Fast Training Guarantees Generalization" in non-convex settings. This is the first algorithm-dependent result with reasonable dependence on aggregated step sizes for non-convex learning, and has important implications to statistical learning aspects of stochastic gradient methods in complicated models such as deep learning. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Construction of constant scalar curvature Kähler cone metrics

Authors: Julien Keller, Kai Zheng

Abstract: Over a compact Kähler manifold, we provide a Fredholm alternative result for the Lichnerowicz operator associated to a Kähler metric with conic singularities along a divisor. We deduce several existence results of constant scalar curvature Kähler metrics with conic singularities: existence result under small deformations of Kähler classes, existence result over a Fano manifold, existence result ov… ▽ More Over a compact Kähler manifold, we provide a Fredholm alternative result for the Lichnerowicz operator associated to a Kähler metric with conic singularities along a divisor. We deduce several existence results of constant scalar curvature Kähler metrics with conic singularities: existence result under small deformations of Kähler classes, existence result over a Fano manifold, existence result over certain ruled manifolds. In this last case, we consider the projectivisation of a parabolic stable holomorphic bundle. This leads us to prove that the existing Hermitian-Einstein metric on this bundle enjoys a regularity property along the divisor on the base. △ Less

Submitted 18 March, 2017; originally announced March 2017.

Comments: 46 pages

MSC Class: 53C55; 53C25; 32L05; 53C07; 32Q20

Journal ref: Proc. Lond. Math. Soc. (2018)

Expansion formula for complex Monge-Ampère equation along cone singularities

Authors: Hao Yin, Kai Zheng

Abstract: In this paper, we prove the asymptotic expansion of the solutions to some singular complex Monge-Ampère equation which arise naturally in the study of the conical Kähler-Einstein metric. In this paper, we prove the asymptotic expansion of the solutions to some singular complex Monge-Ampère equation which arise naturally in the study of the conical Kähler-Einstein metric. △ Less

Submitted 10 September, 2016; originally announced September 2016.

MSC Class: 35J96

Journal ref: Calc. Var. Partial Differential Equations 58 (2019), no. 2, Art. 50, 32 pp

Uniqueness of constant scalar curvature Kähler metrics with cone singularities, I: Reductivity

Authors: Long Li, Kai Zheng

Abstract: The aim of this paper is to investigate uniqueness of conic constant scalar curvature Kaehler (cscK) metrics, when the cone angle is less than $π$. We introduce a new Hölder space called $\cC^{4,\a,\b}$ to study the regularities of this fourth order elliptic equation, and prove that any $\cC^{2,\a,\b}$ conic cscK metric is indeed of class $\cC^{4,\a,\b}$. Finally, the reductivity is established by… ▽ More The aim of this paper is to investigate uniqueness of conic constant scalar curvature Kaehler (cscK) metrics, when the cone angle is less than $π$. We introduce a new Hölder space called $\cC^{4,\a,\b}$ to study the regularities of this fourth order elliptic equation, and prove that any $\cC^{2,\a,\b}$ conic cscK metric is indeed of class $\cC^{4,\a,\b}$. Finally, the reductivity is established by a careful study of the conic Lichnerowicz operator. △ Less

Submitted 6 August, 2016; v1 submitted 5 March, 2016; originally announced March 2016.

Comments: 37 pages, typos corrected, a new subsection added to explain a global definition of C^{4,\a,\b} space

Journal ref: Math. Ann. 373 (2019), no. 1-2, 679-718

The Log-Behavior of $\sqrt[n]{p(n)}$ and $\sqrt[n]{p(n)/n}$

Authors: William Y. C. Chen, Ken Y. Zheng

Abstract: Let $p(n)$ denote the partition function. Desalvo and Pak proved the log-concavity of $p(n)$ for $n>25$ and the inequality $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)>\frac{p(n)}{p(n+1)}$ for $n>1$. Let $r(n)=\sqrt[n]{p(n)/n}$ and $Δ$ be the difference operator respect to $n$. Desalvo and Pak pointed out that their approach to proving the log-concavity of $p(n)$ may be employed to prove a conje… ▽ More Let $p(n)$ denote the partition function. Desalvo and Pak proved the log-concavity of $p(n)$ for $n>25$ and the inequality $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)>\frac{p(n)}{p(n+1)}$ for $n>1$. Let $r(n)=\sqrt[n]{p(n)/n}$ and $Δ$ be the difference operator respect to $n$. Desalvo and Pak pointed out that their approach to proving the log-concavity of $p(n)$ may be employed to prove a conjecture of Sun on the log-convexity of $\{r(n)\}_{n\geq 61}$, as long as one finds an appropriate estimate of $Δ^2 \log r(n-1)$. In this paper, we obtain a lower bound for $Δ^2\log r(n-1)$, leading to a proof of this conjecture. From the log-convexity of $\{r(n)\}_{n\geq61}$ and $\{\sqrt[n]{n}\}_{n\geq4}$, we are led to a proof of another conjecture of Sun on the log-convexity of $\{\sqrt[n]{p(n)}\}_{n\geq27}$. Furthermore, we show that $\lim\limits_{n \rightarrow +\infty}n^{\frac{5}{2}}Δ^2\log\sqrt[n]{p(n)}=3π/\sqrt{24}$. Finally, by finding an upper bound of $Δ^2 \log\sqrt[n-1]{p(n-1)}$, we prove an inequality on the ratio $\frac{\sqrt[n-1]{p(n-1)}}{\sqrt[n]{p(n)}}$ analogous to the above inequality on the ratio $\frac{p(n-1)}{p(n)}$. △ Less

Submitted 8 November, 2015; originally announced November 2015.

Comments: 19 pages

MSC Class: 05A20

Generalized Matsushima's theorem and Kähler-Einstein cone metrics

Authors: Long Li, Kai Zheng

Abstract: In this paper, we prove Matsushima's theorem for Kähler-Einstein metrics on a Fano manifold with cone singularities along a smooth divisor that is not necessarily proportional to the anti-canonical class. We then give an alternative proof of uniqueness of Kähler-Einstein cone metrics by the continuity method. Moreover, our method provides an existence theorem of Kähler-Einstein cone metrics with r… ▽ More In this paper, we prove Matsushima's theorem for Kähler-Einstein metrics on a Fano manifold with cone singularities along a smooth divisor that is not necessarily proportional to the anti-canonical class. We then give an alternative proof of uniqueness of Kähler-Einstein cone metrics by the continuity method. Moreover, our method provides an existence theorem of Kähler-Einstein cone metrics with respect to conic Ding functional. △ Less

Submitted 15 April, 2017; v1 submitted 7 November, 2015; originally announced November 2015.

Comments: 43 pages, title changed and typos corrected

Journal ref: Calc. Var. Partial Differential Equations 57 (2018), no. 2, Art. 31, 43 pp

Regularity scales and convergence of the Calabi flow

Authors: Haozhao Li, Bing Wang, Kai Zheng

Abstract: We define regularity scales to study the behavior of the Calabi flow. Based on estimates of the regularity scales, we obtain convergence theorems of the Calabi flow on extremal Kahler surfaces, under the assumption of global existence of the Calabi flow solutions. Our results partially confirm Donaldson's conjectural picture for the Calabi flow in complex dimension 2. Similar results hold in high… ▽ More We define regularity scales to study the behavior of the Calabi flow. Based on estimates of the regularity scales, we obtain convergence theorems of the Calabi flow on extremal Kahler surfaces, under the assumption of global existence of the Calabi flow solutions. Our results partially confirm Donaldson's conjectural picture for the Calabi flow in complex dimension 2. Similar results hold in high dimension with an extra assumption that the scalar curvature is uniformly bounded. △ Less

Submitted 12 January, 2015; v1 submitted 8 January, 2015; originally announced January 2015.

Comments: 50 pages

Journal ref: J. Geom. Anal. 28 (2018), no. 3, 2050-2101

$I$-properness of Mabuchi's $K$-energy

Authors: Kai Zheng

Abstract: Over the space of Kähler metrics associated to a fixed Kähler class, we first prove the lower bound of the energy functional $\tilde E^β$, then we provide the criterions of the geodesics rays to detect the lower bound of $\tilde {\mathfrak J}^β$-functional. They are used to obtain the properness of Mabuchi's $K$-energy. The criterions are examined by showing the convergence of the negative gradien… ▽ More Over the space of Kähler metrics associated to a fixed Kähler class, we first prove the lower bound of the energy functional $\tilde E^β$, then we provide the criterions of the geodesics rays to detect the lower bound of $\tilde {\mathfrak J}^β$-functional. They are used to obtain the properness of Mabuchi's $K$-energy. The criterions are examined by showing the convergence of the negative gradient flow of $\tilde {\mathfrak J}^β$-functional. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Journal ref: Calc. Var. Partial Differential Equations. 54 (2015), no. 3, 2807-2830

On the geodesic problem for the Dirichlet metric and the Ebin metric on the space of Sasakian metrics

Authors: Simone Calamai, David Petrecca, Kai Zheng

Abstract: We study the geodesic equation for the Dirichlet (gradient) metric in the space of Kaehler potentials. We first solve the initial value problem for the geodesic equation of the combination metric, including the gradient metric. We then discuss a comparison theorem between it and the Calabi metric. As geometric motivation of the combination metric, we find that the Ebin metric restricted to the s… ▽ More We study the geodesic equation for the Dirichlet (gradient) metric in the space of Kaehler potentials. We first solve the initial value problem for the geodesic equation of the combination metric, including the gradient metric. We then discuss a comparison theorem between it and the Calabi metric. As geometric motivation of the combination metric, we find that the Ebin metric restricted to the space of type II deformations of a Sasakian structure is the sum of the Calabi metric and the gradient metric. △ Less

Submitted 31 July, 2016; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: Some material removed, changed title and improved references. 20 pages, comments and remarks are welcome

MSC Class: 53C55 (primary); 32Q15; 58D27 (secondary)

Journal ref: New York J. Math. 22 (2016) 1111-1133

Some properties of generalized reduced Verma modules over $\mathbb{Z}$-graded modular Lie superalgebras

Authors: Keli Zheng, Yongzheng Zhang

Abstract: This paper is primarily concerned with generalized reduced Verma modules over $\mathbb{Z}$-graded modular Lie superalgebras. Some properties of the generalized reduced Verma modules and the coinduced modules are obtained. Moreover, the invariant forms on the generalized reduced Verma modules are considered. In particular, we prove that the generalized reduced Verma module is isomorphic to the mixe… ▽ More This paper is primarily concerned with generalized reduced Verma modules over $\mathbb{Z}$-graded modular Lie superalgebras. Some properties of the generalized reduced Verma modules and the coinduced modules are obtained. Moreover, the invariant forms on the generalized reduced Verma modules are considered. In particular, we prove that the generalized reduced Verma module is isomorphic to the mixed product for modules of $\mathbb{Z}$-graded modular Lie superalgebras of Cartan type. △ Less

Submitted 2 April, 2014; originally announced April 2014.

Comments: 13 pages

MSC Class: 17B50; 17B10; 17B70

The matrix representation of the first cohomology of $\frak{gl}_{0|2}$ with coefficients in the generalized Witt Lie superalgebra

Authors: Keli Zheng, Yongzheng Zhang

Abstract: This paper is primarily concerned with the first cohomology of $\frak{gl}_{0|2}$ with coefficients in the generalized Witt Lie superalgebra, where $\frak{gl}_{0|2}$ is a subalgebra of the general linear Lie superalgebra. The derivations and inner derivations from $\frak{gl}_{0|2}$ into submodules of the generalized Witt Lie superalgebra are represented by matrices, respectively. Then the first coh… ▽ More This paper is primarily concerned with the first cohomology of $\frak{gl}_{0|2}$ with coefficients in the generalized Witt Lie superalgebra, where $\frak{gl}_{0|2}$ is a subalgebra of the general linear Lie superalgebra. The derivations and inner derivations from $\frak{gl}_{0|2}$ into submodules of the generalized Witt Lie superalgebra are represented by matrices, respectively. Then the first cohomology of $\frak{gl}_{0|2}$ with coefficients in the generalized Witt Lie superalgebra is completely determined by matrices. △ Less

Submitted 11 August, 2015; v1 submitted 28 March, 2014; originally announced March 2014.

Comments: This paper has been withdrawn by the authors due to some paragraghs are unnecessarily lengthy and cumbrous

MSC Class: 17B40; 17B56

Kähler non-collapsing, eigenvalues and the Calabi flow

Authors: Haozhao Li, Kai Zheng

Abstract: We first proved a compactness theorem of the Kähler metrics, which confirms a prediction of Chen. Then we prove several eigenvalue estimates along the Calabi flow. Combining the compactness theorem and these eigenvalue estimates, we generalize the method developed by Chen-Li-Wang to prove the small energy theorems of the Calabi flow. We first proved a compactness theorem of the Kähler metrics, which confirms a prediction of Chen. Then we prove several eigenvalue estimates along the Calabi flow. Combining the compactness theorem and these eigenvalue estimates, we generalize the method developed by Chen-Li-Wang to prove the small energy theorems of the Calabi flow. △ Less

Submitted 28 June, 2014; v1 submitted 17 September, 2013; originally announced September 2013.

Comments: 33 pages, final version, to appear in Journal of Functional Analysis

MSC Class: 53C44

Journal ref: J. Funct. Anal. 267 (2014), no. 5, 1593-1636

Geodesics in the space of Kähler cone metrics

Authors: Simone Calamai, Kai Zheng

Abstract: In this paper, we study the Dirichlet problem of the geodesic equation in the space of Kähler cone metrics $\mathcal H_\b$; that is equivalent to a homogeneous complex Monge-Ampère equation whose boundary values consist of Kähler metrics with cone singularities. Our approach concerns the generalization of the space defined in Donaldson \cite{MR2975584} to the case of Kähler manifolds with boundary… ▽ More In this paper, we study the Dirichlet problem of the geodesic equation in the space of Kähler cone metrics $\mathcal H_\b$; that is equivalent to a homogeneous complex Monge-Ampère equation whose boundary values consist of Kähler metrics with cone singularities. Our approach concerns the generalization of the space defined in Donaldson \cite{MR2975584} to the case of Kähler manifolds with boundary; moreover we introduce a subspace $\mathcal H_C$ of $\mathcal H_\b$ which we define by prescribing appropriate geometric conditions. Our main result is the existence, uniqueness and regularity of $C^{1,1}_\b$ geodesics whose boundary values lie in $\mathcal H_C$. Moreover, we prove that such geodesic is the limit of a sequence of $C^{2,\a}_\b$ approximate geodesics under the $C^{1,1}_\b$-norm. As a geometric application, we prove the metric space structure of $\mathcal H_C$. △ Less

Submitted 8 April, 2013; v1 submitted 30 April, 2012; originally announced May 2012.

Comments: Improved presentation

Journal ref: Amer. J. Math. 137 (2015), no. 5. 1149-1208

The Dirichlet and the weighted metrics for the space of Kahler metrics

Authors: Simone Calamai, Kai Zheng

Abstract: In this work we study the intrinsic geometry of the space of Kahler metrics under various Riemannian metrics. The first part is on the Dirichlet metric. We motivate its study, we compute its curvature, and we make links with the Calabi metric, the K-energy, the degenerate complex Hessian equation. The second part is on the weighted metrics, for which we investigate as well their geometric properti… ▽ More In this work we study the intrinsic geometry of the space of Kahler metrics under various Riemannian metrics. The first part is on the Dirichlet metric. We motivate its study, we compute its curvature, and we make links with the Calabi metric, the K-energy, the degenerate complex Hessian equation. The second part is on the weighted metrics, for which we investigate as well their geometric properties. △ Less

Submitted 25 June, 2013; v1 submitted 29 February, 2012; originally announced February 2012.

Comments: 33 pages, new sections on the weighted metrics

Journal ref: Math. Ann. 363 (2015), no. 3, 817-856

Stability of Calabi flow near an extremal metric

Authors: Hongnian Huang, Kai Zheng

Abstract: We prove that on a Kähler manifold admitting an extremal metric $ω$ and for any Kähler potential $\varphi_0$ close to $ω$, the Calabi flow starting at $\varphi_0$ exists for all time and the modified Calabi flow starting at $\varphi_0$ will always be close to $ω$. Furthermore, when the initial data is invariant under the maximal compact subgroup of the identity component of the reduced automorphis… ▽ More We prove that on a Kähler manifold admitting an extremal metric $ω$ and for any Kähler potential $\varphi_0$ close to $ω$, the Calabi flow starting at $\varphi_0$ exists for all time and the modified Calabi flow starting at $\varphi_0$ will always be close to $ω$. Furthermore, when the initial data is invariant under the maximal compact subgroup of the identity component of the reduced automorphism group, the modified Calabi flow converges to an extremal metric near $ω$ exponentially fast. △ Less

Submitted 27 November, 2010; v1 submitted 26 July, 2010; originally announced July 2010.

Comments: Improved presentation

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11 (2012), no. 1, 167-175

Stability of Kähler-Ricci flow in the space of Kähler metrics

Authors: Kai Zheng

Abstract: In this paper, we prove that on a Fano manifold $M$ which admits a Kähler-Ricci soliton $(\om,X)$, if the initial Kähler metric $\om_{\vphi_0}$ is close to $\om$ in some weak sense, then the weak Kähler-Ricci flow exists globally and converges in Cheeger-Gromov sense. Moreover, if $\vphi_0$ is also $K_X$-invariant, then the weak modified Kähler-Ricci flow converges exponentially to a unique Kähler… ▽ More In this paper, we prove that on a Fano manifold $M$ which admits a Kähler-Ricci soliton $(\om,X)$, if the initial Kähler metric $\om_{\vphi_0}$ is close to $\om$ in some weak sense, then the weak Kähler-Ricci flow exists globally and converges in Cheeger-Gromov sense. Moreover, if $\vphi_0$ is also $K_X$-invariant, then the weak modified Kähler-Ricci flow converges exponentially to a unique Kähler-Ricci soliton nearby. Especially, if the Futaki invariant vanishes, we may delete the $K_X$-invariant assumption. The methods based on the metric geometry of the space of the Kähler metrics are potentially applicable to other stability problem of geometric flow near a critical metric. △ Less

Submitted 2 June, 2010; v1 submitted 15 April, 2010; originally announced April 2010.

Comments: 28 pages, 1 figures

Journal ref: Pacific J. Math. 251, no.2, (2011), 469--497

Pseudo-Calabi Flow

Authors: Xiuxiong Chen, Kai Zheng

Abstract: We first define Pseudo-Calabi flow, as {equation*} {{aligned}{{\partial \varphi}\over {\partial t}}&= -f(\varphi), \triangle_varphi f(\varphi) &= S(\varphi) - \ul S.{aligned}. \end{equation*} Then we prove the well-posedness of this flow including the short time existence, the regularity of the solution and the continuous dependence on the initial data. Next, we point out that the $L^\infty$ bou… ▽ More We first define Pseudo-Calabi flow, as {equation*} {{aligned}{{\partial \varphi}\over {\partial t}}&= -f(\varphi), \triangle_varphi f(\varphi) &= S(\varphi) - \ul S.{aligned}. \end{equation*} Then we prove the well-posedness of this flow including the short time existence, the regularity of the solution and the continuous dependence on the initial data. Next, we point out that the $L^\infty$ bound on Ricci curvature is an obstruction to the extension of the pseudo-Calabi flow. Finally, we show that if there is a cscK metric in its Kähler class, then for any initial potential in a small $C^{2,α}$ neighborhood of it, the pseudo-Calabi flow must converge exponentially to a nearby cscK metric. △ Less

Submitted 19 August, 2010; v1 submitted 15 April, 2010; originally announced April 2010.

Comments: 46 pages

Journal ref: J. Reine Angew. Math. 674 (2013), 195-251