In this paper, we study the relation between topological orders and their gapped boundaries. We propose that the bulk for a given gapped boundary theory is unique. It is actually a consequence of a microscopic definition of a local topological order, which is a (potentially anomalous) topological order defined on an open disk. Using this uniqueness, we show that the notion of “bulk” is equivalent to the notion of center in mathematics. We achieve this by first introducing the notion of a morphism between two local topological orders of the same dimension, then proving that the bulk satisfying the same universal property as that of the center in mathematics. We propose a classification (formulated as a macroscopic definition of n+1D local topological orders by unitary multi-fusion n-categories, and explain that the notion of a morphism between two local topological orders is compatible with that of a unitary monoidal n-functor in a few low dimensional cases. We also explain in some low dimensional cases that this classification is compatible with the result of “bulk = center”. In the end, we explain that above boundary-bulk relation is only the first layer of a hierarchical structure which can be summarized by the functoriality of the bulk (or center). This functoriality also provides the physical meanings of some well-known mathematical results on fusion 1-categories. This work can also be viewed as the first step towards a systematic study of the category of local topological orders, and the boundary-bulk relation actually provides a useful tool for this study.

The operators with large scaling dimensions can be labeled by Young diagrams. Among other bases, the operators using restricted Schur polynomials have been known to have a large N but nonplanar limit under which they map to states of a system of harmonic oscillators. We analyze the oscillator algebra acting on pairs of long rows or long columns in the Young diagrams of the operators. The oscillator algebra can be reached by a Inonu– Wigner contraction of the u(2) algebra inside of the u(p) algebra of p giant gravitons. We present evidences that integrability in this case can persist at higher loops due to the presence of the oscillator algebra which is expected to be robust under loop corrections in the nonplanar large N limit.

We consider a boundary value problem for the Dirac equation in a smooth, asymptotically flat Lorentzian manifold admitting a Killing field which is timelike near and tangential to the boundary. A self-adjoint extension of the Dirac Hamiltonian is constructed. Our results also apply to the situation that the spacetime includes horizons, where the Hamiltonian fails to be elliptic.

The hallmark of a major evolutionary transition, whereby independently replicating units became grouped together into larger wholes, is the “decoupling” of fitness of the collective from the individual fitnesses of the units. It is widely believed that the key element making such decoupling possible is extensive cooperation between the lower-level entities. Here, it is demonstrated that cohesive multicellular behavior can arise in a purely competitive setting as a generic consequence of division of labor. A minimal theoretical model of competitive coexistence on multiple resources provides an explicit manifestation of fitness decoupling in a rigorous mathematical sense. This form of multicellular behavior is not vulnerable to “cheaters” and can be expected to be widespread in microbial ecosystems.

In this paper, we show the equivalence between two seemingly distinct 2d TQFTs: one comes from the "Coulomb branch index" of the class S theory T[Σ,G] on L(k,1)×S1, the other is the LG "equivariant Verlinde formula", or equivalently partition function of LGℂ complex Chern-Simons theory on Σ×S1. We first derive this equivalence using the M-theory geometry and show that the gauge groups appearing on the two sides are naturally G and its Langlands dual LG. When G is not simply-connected, we provide a recipe of computing the index of T[Σ,G] as summation over indices of T[Σ,G̃ ] with non-trivial background 't Hooft fluxes, where G̃ is the simply-connected group with the same Lie algebra. Then we check explicitly this relation between the Coulomb index and the equivariant Verlinde formula for G=SU(2) or SO(3). In the end, as an application of this newly found relation, we consider the more general case where G is SU(N) or PSU(N) and show that equivariant Verlinde algebra can be derived using field theory via (generalized) Argyres-Seiberg duality. We also attach a Mathematica notebook that can be used to compute the SU(3) equivariant Verlinde coefficients.