Topological entanglement entropy in d-dimensions for Abelian higher gauge theories

We compute the topological entanglement entropy for a large set of lattice models in d-dimensions. It is well known that many such quantum systems can be constructed out of lattice gauge models. For dimensionality higher than two, there are generalizations going beyond gauge theories, which are called higher gauge theories and rely on higher-order generalizations of groups. Our main concern is a large class of d-dimensional quantum systems derived from Abelian higher gauge theories. In this paper, we derive a general formula for the bipartition entanglement entropy for this class of models, and from it we extract both the area law and the sub-leading terms, which explicitly depend on the topology of the entangling surface. We show that the entanglement entropy SA in a sub-region A is proportional to log GSDA˜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \left({GSD}_{\tilde{A}}\right) $$\end{document}, where GSDA˜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {GSD}_{\tilde{A}} $$\end{document} is the ground state degeneracy of a particular restriction of the full model to A. The quantity GSDA˜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {GSD}_{\tilde{A}} $$\end{document} can be further divided into a contribution that scales with the size of the boundary ∂A and a term which depends on the topology of ∂A. There is also a topological contribution coming from A itself, that may be non-zero when A has a non-trivial homology. We present some examples and discuss how the topology of A affects the topological entropy. Our formalism allows us to do most of the calculation for arbitrary dimension d. The result is in agreement with entanglement calculations for known topological models.