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.

Symmetry-Protected Topological (SPT) phases are gapped phases of quantum matter protected by global symmetries that cannot be adiabatically deformed to a trivial phase without breaking symmetry. In this work, we show that, for several SPT phases that are short range entangled (SRE), enlarging symmetries may effectively achieve the consequences of explicitly breaking symmetries. In other words, we demonstrate that non-trivial SPT phases can be unwound to trivial ones by symmetry extension- through a path where the Hilbert space is enlarged and the Hamiltonian is invariant under an extended symmetry group applying the idea of Wang, Wen and Witten in arXiv:1705.06728. We show examples of both bosonic and fermionic SPT phases in 1+1 dimensions, including Haldane's bosonic spin chain and layers of Kitaev's fermionic Majorana chains. By adding degrees of freedom into the boundary/bulk, we can lift the zero mode degeneracy, or unwind the whole system. Furthermore, based on properties of Schur cover, we sketch a general picture of unwinding applicable to any 1+1 D bosonic SPT phase protected by on-site finite symmetry. Altogether we show that SRE states can be unwound by symmetry breaking, inversion and symmetry extension.

The positive mass theorem states that for a nontrivial isolated physical system, the total energy, which includes contributions from both matter and gravitation is positive. This assertion was demonstrated in our previous paper in the important case when the space-time admits a maximal slice. Here this assumption is removed and the general theorem is demonstrated. Abstracts of the results of this paper appeared in [11] and [13].

In a recent important breakthrough D. Christodoulou has solved a long standing problem of General Relativity of evolutionary formation of trapped surfaces in the Einstein-vacuum space-times. He has identified an open set of regular initial conditions on an outgoing null hypersurface (both finite and at past null infinity) leading to a formation a trapped surface in the corresponding vacuum space-time to the future of the initial outgoing hypersurface and another incoming null hypersurface with the prescribed Minkowskian data. In this paper we give a simpler proof for a finite problem by enlarging the admissible set of initial conditions and, consistent with this, relaxing the corresponding propagation estimates just enough that a trapped surface still forms. We also reduce the number of derivatives needed in the argument from two derivatives of the curvature to just one. More importantly, the proof, which can be easily localized with respect to angular sectors, has the potential for further developments.

The aim of this paper is to provide a fast and efficient procedure for (real-time) target identification in imaging based on matching on a dictionary of precomputed generalized polarization tensors (GPTs). The approach is based on some important properties of the GPTs and new invariants. A new shape representation is given and numerically tested in the presence of measurement noise. The stability and resolution of the proposed identification algorithm is numerically quantified. We compare the proposed GPT-based shape representation with a moment-based one.