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.

We initiate the study of M-strings in the thermodynamic limit. In this limit the BPS partition function of M5 branes localizes on configurations with a large number of strings which leads to a reformulation of the partition function in terms of a matrix model. We solve this matrix model and obtain its spectral curve which can be interpreted as the Seiberg-Witten curve associated to the compactified M5 brane theory.

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.

We continue our study of the chemical (graph) distance inside large critical percolation clusters in dimension two. We prove new estimates, which involve the three-arm probability, for the point-to-surface and point-to-point distances. We show that the point-to-point distance in Z 2 between two points in the same critical percolation cluster has infinite second moment. We also give quantitative versions of our previous results comparing the length of the shortest crossing to that of the lowest crossing of a box.

We show that there exists an infinite tower of fermionic symmetries in pure d=4, N=1 supergravity on an asymptotically flat background. The Ward identities associated with these symmetries are equivalent to the soft limit of the gravitino and to the statement of supersymmetry at every angle. Additionally, we show that these charges commute into charges associated with the (unextended) BMS group, providing a supersymmetrization of the BMS translations.