Abstract:We propose to define multipartite entanglement of pure states as transformations acting on some parts of a system that can be undone by transformations acting on other parts. This leads to a definition of multipartite entanglement in terms of groups, namely certain quotients of the stabilizer group and its subgroups. We analyze properties of these entanglement groups and show that they lead to restrictions which give a precise meaning to monogamy of entanglement. We use these groups to propose a finite classification of entanglement types in multi-partite quantum systems and we show that this characterization of entanglement underlies several well-known quantum tasks.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to define and classify entanglement in multi - body quantum systems. Specifically, the author proposes a new method to define multi - body entanglement of pure states, that is, by whether the transformation acting on some parts of the system can be offset by the transformation acting on other parts. This method leads to the concept of entanglement groups, which are quotient groups of stabilizer groups and their subgroups. By analyzing the properties of these entanglement groups, the author shows how they precisely express the monogamy of entanglement and proposes a finite classification of entanglement types in multi - body quantum systems. In addition, the author also discusses how this characterization of entanglement supports some known quantum tasks, such as super - dense coding, quantum teleportation, entanglement swapping, etc.
### Main contributions
1. **Define multi - body entanglement**: Define multi - body entanglement by whether the transformation acting on some parts of the system can be offset by the transformation acting on other parts.
2. **Introduce entanglement groups**: Define entanglement groups, which are quotient groups of stabilizer groups and their subgroups.
3. **Analyze the properties of entanglement groups**: Explore the structure of entanglement groups, especially how they precisely express the monogamy of entanglement.
4. **Classify entanglement types**: Proose a finite classification of entanglement types in multi - body quantum systems.
5. **Apply to quantum tasks**: Show how this characterization of entanglement supports some known quantum tasks, such as super - dense coding, quantum teleportation, entanglement swapping, etc.
### Specific content
- **Two - body system**: Starting from the two - body system, define the stabilizer group \( S_{AB} \) and the single - body stabilizer groups \( S_A \) and \( S_B \), and define the two - body entanglement group \( E_{AB}=S_{AB}/(S_A\times S_B) \).
- **Three - body system**: Extend to the three - body system, define the full entanglement group \( F_{ABC} = S_{ABC}/(S_A\times S_B\times S_C) \), as well as the two - body entanglement groups \( E_{AB} \), \( E_{AC} \), \( E_{BC} \) and the three - body entanglement group \( E_{ABC}=F_{ABC}/(E_{AB}\cdot E_{AC}\cdot E_{BC}) \).
- **Multi - body system**: Further generalize to the \( N \)-body system, define the full entanglement group \( F_{12\cdots N}=S_{12\cdots N}/(S_1\times S_2\times\cdots\times S_N) \), and the \( n \)-body entanglement group \( E_{i_1 i_2\cdots i_n}=S_{i_1 i_2\cdots i_n}/(S_{i_2 i_3\cdots i_n}\cdot S_{i_1 i_3\cdots i_n}\cdot\cdots\cdot S_{i_1 i_2\cdots i_{n - 1}}) \).
- **Classify entanglement**: By considering all possible subsystem partitions, propose a method for classifying entanglement and give specific examples, such as GHZ states, W states, etc.
- **Entanglement structure and monogamy**: Through the isomorphism theorem and the no - sharing theorem, explore the structure of entanglement groups and their explanations for monogamy.
### Conclusion
This paper provides a new and precise method for defining and classifying multi - body entanglement by introducing the concept of entanglement groups. These theories not only help to understand the entanglement properties of multi - body quantum systems, but also provide a theoretical basis for implementing various quantum tasks.