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.

Consider $N$ bosons in a finite box  $ \Lambda = [0,L]^3 \subset R^3$ interacting via a two-body smooth repulsive short range potential. We construct a variational state which gives the following upper bound on the ground state energy per particle $$ \bar{lim|_{\rho \to 0} \bar{lim|_{L \to \infty, N/L^3 \to \rho} ( \ frac{e_0 (\rho) - 4\pi a \rho }{ (4\pi a)^{5/2} (\rho)^{3/2} } ) \le \frac{16}{15 \pi ^2} , $$ where $a$ is the scattering length of the potential. Previously, an upper bound of the form $C16/15\pi^2$ for some constant $C >1$ was obtained in (Erdös et al. in Phys. Rev. A 78:053627, 2008). Our result proves the upper bound of the prediction by Lee and Yang (Phys. Rev. 105(3):1119–1120, 1957) and Lee et al. (Phys. Rev. 106(6):1135–1145, 1957).

In this paper we give a proposal for mirrors to (0,2) supersymmetric gauged linear sigma models (GLSMs), for those (0,2) GLSMs which are deformations of (2,2) GLSMs. Specifically, we propose a construction of (0,2) mirrors for (0,2) GLSMs with E terms that are linear and diagonal, reducing to both the Hori-Vafa prescription as well as a recent (2,2) nonabelian mirrors proposal on the (2,2) locus. For the special case of abelian (0,2) GLSMs, two of the authors have previously proposed a systematic construction, which is both simplified and generalized by the proposal here.

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.

In this paper, we construct the bilinear identities for the wave functions of an extended Kadomtsev-Petviashvili (KP) hierarchy, which is the KP hierarchy with particular extended flows. By introducing an auxiliary parameter, whose flow corresponds to the so-called squared eigenfunction symmetry of KP hierarchy, we find the tau-function for this extended KP hierarchy. It is shown that the bilinear identities will generate all the Hirota's bilinear equations for the zero-curvature forms of the extended KP hierarchy, which includes two types of KP equation with self-consistent sources (KPSCS). It seems that the Hirota's bilinear equations obtained in this paper for KPSCS are in a simpler form by comparing with the results by X.B. Hu and H.Y. Wang.