Hypergraph states of many quantum bits share the rich interplay between simple combinatorial description and nontrivial entanglement properties enjoyed by the graph states that they generalize. In this paper, we consider hypergraph states that are also permutationally invariant. We characterize the states in this class that have nontrivial local Pauli stabilizers and give applications to nonlocality and error correction.
Comment: 30 pages, 3 figures, 1 table. Version 4 makes minor cosmetic changes and updates some journal information in the references. This is close to the final published version