We explore various 4d Yang-Mills gauge theories (YM) living as boundary conditions of 5d gapped short/long-range entangled (SRE/LRE) topological states. Specifically, we explore 4d time-reversal symmetric pure YM of an SU(2) gauge group with a second-Chern-class topological term at θ=π (SU(2)θ=π YM). Its higher 't Hooft anomalies of generalized global symmetries indicate that the 4d SU(2)θ=π YM, in order to realize all global symmetries locally, necessarily couples to a 5d higher symmetry-protected topological state (SPTs, as an invertible TQFT, or as a 5d 1-form-center-symmetry-protected interacting "topological superconductor" in condensed matter). We revisit the 4d SU(2)θ=π YM-5d SRE-higher-SPTs coupled systems in [arXiv:1812.11968] and find their "Fantastic Four Siblings" with four sets of new higher anomalies associated with the Kramers singlet/doublet and bosonic/fermionic properties of Wilson lines. Following Weyl's gauge principle, by dynamically gauging the 1-form center symmetry, we transform a 5d bulk SRE SPTs into an LRE symmetry-enriched topologically ordered state (SETs); thus we obtain the 4d SO(3)θ=π YM-5d LRE-higher-SETs coupled system with dynamical higher-form gauge fields. Apply the tool introduced in [arXiv:1612.09298], we derive new exotic anyonic statistics of extended objects such as 2-worldsheet of strings and 3-worldvolume of branes, which physically characterize the 5d SETs. We discover new triple and quadruple link invariants potentially associated with the underlying 5d higher-gauge TQFTs, hinting a new intrinsic relation between non-supersymmetric 4d pure YM and topological links in 5d. We provide lattice simplicial complex regularizations and "condensed matter" realizations.

On a K-unstable toric variety we show the existence of an optimal destabilising convex function. We show that if this is piecewise linear then it gives rise to a decomposition into semistable pieces analogous to the Harder-Narasimhan filtration of an unstable vector bundle. We also show that if the Calabi flow exists for all time on a toric variety then it minimizes the Calabi functional. In this case the infimum of the Calabi functional is given by the supremum of the normalized Futaki invariants over all destabilising test-configurations, as predicted by a conjecture of Donaldson.

We prove that there are no stable intersections of regular Cantor sets in the$C$^{1}topology: given any pair ($K$,$K$′) of regular Cantor sets, we can find, arbitrarily close to it in the$C$^{1}topology, pairs $ \left( {\tilde{K},\tilde{K}'} \right) $ of regular Cantor sets with $ \tilde{K} \cap \tilde{K}' = \emptyset $ .

In 1975, P. Erd\H os proposed the problem of determining the maximum number $f(n)$ of edges in a graph with $n$ vertices in which any two cycles are of different lengths. The sequence $(c_1,c_2,\cdots,c_n)$ is the cycle length distribution of a graph $G$ of order $n$， where $c_i$ is the number of cycles of length $i$ in $G$. Let $f(a_1,a_2,\cdots,$ $a_n)$ denote the maximum possible number of edges in a graph which satisfies $c_i\leq a_i$ where $a_i$ is a nonnegative integer. In 1991, Shi posed the problem of determining $f(a_1,a_2,\cdots,a_n)，$ which extended the problem due to Erd\H os, it is clear that $f(n)=f(1,1,\cdots,1)$. Let $g(n,m)=f(a_1,a_2,\cdots,a_n),$ $a_i=1$ for all $i/m$ be integer, $a_i=0$ for all $i/m$ be not integer. It is clear that $f(n)=g(n,1)$. We prove that $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + \frac{40}{99}},$ which is better than the previous bounds $\sqrt 2$ (Shi, 1988), $\sqrt {2 + \frac{7654}{19071}}$ (Lai, 2017). We show that $\liminf_{n \rightarrow \infty} {g(n,m)-n\over \sqrt \frac{n}{m}} > \sqrt {2.444},$ for all even integers $m$. We make the following conjecture: $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} > \sqrt {2.444}.$

We develop foundational theory for the Laplacian flow for closed G2 structures which will be essential for future study. (1). We prove Shi-type derivative estimates for the Riemann curvature tensor Rm and torsion tensor T along the flow, i.e. that a bound on Λ(x,t)=(|∇T(x,t)|^2g(t)+|Rm(x,t)|^2g(t))^{1/2} will imply bounds on all covariant derivatives of Rm and T. (2). We show that Λ(x,t) will blow up at a finite-time singularity, so the flow will exist as long as Λ(x,t) remains bounded. (3). We give a new proof of forward uniqueness and prove backward uniqueness of the flow, and give some applications. (4). We prove a compactness theorem for the flow and use it to strengthen our long time existence result from (2) to show that the flow will exist as long as the velocity of the flow remains bounded. (5). Finally, we study soliton solutions of the Laplacian flow.