We establish a systematic classification scheme for multipartite entanglement structures. We define Sperner states -- a broad class of states where apparent multipartite entanglement decomposes into fewer-partite entanglement among subsystems of each party. Each class of Sperner states is associated with one antichain hypergraph and each hypergraph encodes the maximal entanglement structure permissible under its constraints. We introduce a Multi-entanglement Measure Space (MEMS) where each Sperner class corresponds to a linear subspace defined by the vanishing of specific linear combinations of bipartite and multipartite measures. The nonvanishing of such combinations signals multipartite entanglement beyond the associated hypergraph, thereby distinguishing entanglement structures. We build a two way connection between each hypergraph entanglement structure and a distinct set of combinations, thereby quantifying the entanglement pattern and providing a unified basis for classifying all multipartite entanglement.
We establish a systematic classification scheme for multipartite entanglement structures. We define Sperner states -- a broad class of states where apparent multipartite entanglement decomposes into fewer-partite entanglement among subsystems of each party. Each class of Sperner states is associated with one antichain hypergraph and each hypergraph encodes the maximal entanglement structure permissible under its constraints. We introduce a Multi-entanglement Measure Space (MEMS) where each Sperner class corresponds to a linear subspace defined by the vanishing of specific linear combinations of bipartite and multipartite measures. The nonvanishing of such combinations signals multipartite entanglement beyond the associated hypergraph, thereby distinguishing entanglement structures. We build a two way connection between each hypergraph entanglement structure and a distinct set of combinations, thereby quantifying the entanglement pattern and providing a unified basis for classifying all multipartite entanglement.
We classify multipartite entanglement in a unified manner, focusing on a duality between the set of separable states and that of entangled states. Hyperdeterminants, derived from the duality, are natural generalizations of entanglement measures, the concurrence, 3-tangle for 2, 3 qubits respectively. Our approach reveals how inequivalent multipartite entangled classes of pure states constitute a partially ordered structure under local actions, significantly different from a totally ordered one in the bipartite case. Moreover, the generic entangled class of the maximal dimension, given by the nonzero hyperdeterminant, does not include the maximally entangled states in Bell's inequalities in general (e.g., in the n≥4 qubits), contrary to the widely known bipartite or 3-qubit cases. It suggests that not only are they never locally interconvertible with the majority of multipartite entangled states, but they would have no grounds for the canonical n-partite entangled states. Our classification is also useful for that of mixed states.
The main concern of this paper is how to define proper measures of multipartite entanglement for mixed quantum states. Since the structure of partial separability and multipartite entanglement is getting complicated if the number of subsystems exceeds two, one cannot expect the existence of an ultimate scalar entanglement measure, which grasps even a small part of the rich hierarchical structure of multipartite entanglement, and some higher-order structure characterizing that is needed. In this paper we make some steps in this direction. First, we reveal the lattice-theoretic structure of the partial separability classification, introduced earlier [Sz. Szalay and Z. K\"ok\'enyesi, Phys. Rev. A 86, 032341 (2012)]. It turns out that, mathematically, the structure of the entanglement classes is the up-set lattice of the structure of the different kinds of partial separability, which is the down-set lattice of the lattice of the partitions of the subsystems. It also turns out that, physically, this structure is related to the local operations and classical communication convertibility: If a state from a class can be mapped into another one, then that class can be found higher in the hierarchy. Second, we introduce the notion of multipartite monotonicity, expressing that a given set of entanglement monotones, while measuring the different kinds of entanglement, shows also the same hierarchical structure as the entanglement classes. Then we construct such hierarchies of entanglement measures and propose a physically well-motivated one, being the direct multipartite generalization of the entanglement of formation based on the entanglement entropy, motivated by the notion of statistical distinguishability. The multipartite monotonicity shown by this set of measures motivates us to consider the measures to be the different manifestations of some ``unified'' notion of entanglement.
We find that multidimensional determinants ``hyperdeterminants,'' related to entanglement measures (the so-called concurrence, or 3-tangle for two or three qubits, respectively), are derived from a duality between entangled states and separable states. By means of the hyperdeterminant and its singularities, the single copy of multipartite pure entangled states is classified into an onion structure of every closed subset, similar to that by the local rank in the bipartite case. This reveals how inequivalent multipartite entangled classes are partially ordered under local actions. In particular, the generic entangled class of the maximal dimension, distinguished as the nonzero hyperdeterminant, does not include the maximally entangled states in Bell's inequalities in general (e.g., in the n>4 qubits), contrary to the widely known bipartite or three-qubit cases. It suggests that not only are they never locally interconvertible with the majority of multipartite entangled states, but they would have no grounds for the canonical n-partite entangled states. Our classification is also useful for the mixed states.
Several entanglement measures are used to define equivalence classes in the set of hypergraph states of three qubits. Our classifications reveal that (i) under local unitary transformations, hypergraph states of three qubits are split into six classes and only one of them is not equivalent to any graph state; (ii) under stochastic local operations with classical communication, for the single-copy case hypergraph states of three qubits, partitioned into five classes which cannot be converted into a W state, are equivalent to graph states; and (iii) when bipartite entanglement in three qubits is considered, hypergraph states of three qubits are split into five classes and only one of them has the same entangled graph as the W state.
The main concern of this paper is how to define proper measures of multipartite entanglement for mixed quantum states. Since the structure of partial separability and multipartite entanglement is getting complicated if the number of subsystems exceeds two, one can not expect the existence of an ultimate scalar entanglement measure, which grasps even a small part of the rich hierarchical structure of multipartite entanglement, and some higher order structure characterizing that is needed. In this paper we make some steps towards this direction.
First, we reveal the lattice-theoretic structure of the partial separability classification, introduced earlier [Sz. Szalay and Z. Kokenyesi, Phys. Rev. A 86, 032341 (2012)]. It turns out that, mathematically, the structure of the entanglement classes is the up-set lattice of the structure of the different kinds of partial separability, which is the down-set lattice of the lattice of the partitions of the subsystems. It turns also out that, physically, this structure is related to the LOCC convertibility: if a class can completely be mapped into another one by the use of LOCC, then it can be found higher in the hierarchy.
Second, we introduce the notion of multipartite monotonicity, expressing that a given set of entanglement monotones, while measuring the different kinds of entanglement, shows also the same hierarchical structure as the entanglement classes. Then we construct such hierarchies of entanglement measures, and propose a physically well-motivated one, being the direct multipartite generalization of the entanglement of formation based on the entanglement entropy, motivated by the notion of statistical distinguishability. The multipartite monotonicity shown by this set of measures motivates us to consider the measures to be the different manifestations of some unified notion of entanglement.
Quantum hypergraph states extend the well-studied class of graph states by taking into account multi-qubit interactions through hyperedges. They provide a powerful framework to represent a family of quantum states with genuine multipartite entanglement. In this review, we provide a compact overview of the formal structure, entanglement characteristics, and operational relevance of hypergraph states in quantum information theory. We begin by introducing their mathematical foundations and generalizations of the stabilizer formalism. A central focus is placed on their entanglement properties, including the classification under local unitary (LU) and stochastic local operations with classical communication (SLOCC), the quantification of multipartite entanglement, and detection techniques via entanglement witnesses. We also explore other nonclassical features of hypergraph states, such as contextuality and genuine multipartite nonlocality, derived from stabilizer-based Bell-type inequalities. Additional attention is given to the role of hypergraph states in error correction, and as a computational resource in measurement-based quantum computation (MBQC), and to their non-stabilizer character - quantified via resource-theoretic measures of quantum magic. Finally we review their generalization to higher dimensions, i.e. to qudits and continuous variables.