In this paper, we generalize our apriori estimates on cscK(constant scalar curvature K\"ahler) metric equation \cite{cc1} to more general scalar curvature type equations (e.g., twisted cscK metric equation). As applications, under the assumption that the automorphism group is discrete, we prove the celebrated Donaldson's conjecture that the non-existence of cscK metric is equivalent to the existence of a destabilized geodesic ray where the $K$-energy is non-increasing. Moreover, we prove that the properness of $K$-energy in terms of $L^1$ geodesic distance $d_1$ in the space of K\"ahler potentials implies the existence of cscK metric. Finally, we prove that weak minimizers of the $K$-energy in $(\mathcal{E}^1, d_1)$ are smooth. The continuity path proposed in \cite{chen15} is instrumental in this proof.

In this paper, we derive apriori estimates for constant scalar curvature K\"ahler metrics on a compact K\"ahler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the K\"ahler potential. We also discuss some local versions of these estimates which can be of independent interest.

We prove uniform gradient and diameter estimates for a family of geometric complex Monge–Ampere equations. Such estimates can be applied to study geometric regularity of singular solutions of complex Monge–Ampere equations. We also prove a uniform diameter estimate for collapsing families of twisted Kahler–Einstein metrics on Kahler manifolds of nonnegative Kodaira dimensions.

In this paper, we show that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional cube graph has maximum degree at least $\sqrt{n}$. This result is best possible, and improves a logarithmic lower bound shown by Chung, F\"uredi, Graham and Seymour in 1988. As a direct consequence, we prove that the sensitivity and degree of a boolean function are polynomially related, solving an outstanding foundational problem in theoretical computer science, the Sensitivity Conjecture of Nisan and Szegedy.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.