Comments on defining entanglement entropy

We revisit the issue of defining the entropy of a spatial region in a broad class of quantum theories. In theories with explicit regularizations, working within an elementary but general algebraic framework applicable to matter and gauge theories alike, we give precise path integral expressions for three known types of entanglement entropy that we call full, distillable, and gauge-invariant. For a class of gauge theories that do not necessarily have a regularization in our framework, including Chern-Simons theory, we describe a related approach to defining entropies based on locally extending the Hilbert space at the entangling edge, and we discuss its connections to other calculational prescriptions. Based on results from both approaches, we conjecture that it is always the full entanglement entropy that is calculated by standard holographic techniques in strongly coupled conformal theories.