Stabilizer states constitute a set of pure states which plays a dominant role in quantum error correction, measurement-based quantum computation, and quantum communication. Central in these applications are the local symmetries of these states. We characterize all local, invertible (unitary and nonunitary) symmetries of arbitrary stabilizer states and provide an algorithm which determines them. We demonstrate the usefulness of these results by showing that the additional local symmetries find applications in entanglement theory and quantum error correction. More precisely, we study a central problem in entanglement theory, which is concerned with the existence of transformations via local operations among pure states.We demonstrate that the identified symmetries enable additional transformations from a stabilizer state to some other multipartite pure state. Furthermore, we demonstrate how the identified symmetries can be used to construct stabilizer codes with diagonal transversal gates.Stabilizer states constitute a set of pure states which plays a dominant role in quantum error correction, measurement-based quantum computation, and quantum communication. Central in these applications are the local symmetries of these states. We characterize all local, invertible (unitary and nonunitary) symmetries of arbitrary stabilizer states and provide an algorithm which determines them. We demonstrate the usefulness of these results by showing that the additional local symmetries find applications in entanglement theory and quantum error correction. More precisely, we study a central problem in entanglement theory, which is concerned with the existence of transformations via local operations among pure states.We demonstrate that the identified symmetries enable additional transformations from a stabilizer state to some other multipartite pure state. Furthermore, we demonstrate how the identified symmetries can be used to construct stabilizer codes with diagonal transversal gates.

Feb 9, 20210 citations

Determination of stabilizer states

Xia Wu, Ying‐Hui Yang, Yukun Wang +3 more

The determination of many special types of quantum states has been studied thoroughly, such as the generalized $|\text{GHZ}\ensuremath{\rangle}$ states, stochastic local operations and classical communication equivalent $|W\ensuremath{\rangle}$ states, and Dicke states. In this paper, we study another special entanglement state, that is, stabilizer states, which play an important role in quantum error correcting codes, multipartite purification, and so on. We show that all $n$ -qubit stabilizer states are uniquely determined (among arbitrary states, pure or mixed) by their reduced density matrices for systems which are the supports of $n$ independent generators of the corresponding stabilizer formalisms.The determination of many special types of quantum states has been studied thoroughly, such as the generalized $|\text{GHZ}\ensuremath{\rangle}$ states, stochastic local operations and classical communication equivalent $|W\ensuremath{\rangle}$ states, and Dicke states. In this paper, we study another special entanglement state, that is, stabilizer states, which play an important role in quantum error correcting codes, multipartite purification, and so on. We show that all $n$-qubit stabilizer states are uniquely determined (among arbitrary states, pure or mixed) by their reduced density matrices for systems which are the supports of $n$ independent generators of the corresponding stabilizer formalisms.

arXiv:1503.05421Physical Review AJul 2, 20155 citations

Local entanglability and multipartite entanglement

Caroline Kruszynska, Barbara Kraus

We introduce a physically motivated classification of pure quantum states describing $n$ qubits. We characterize all multipartite states which can be maximally entangled to local auxiliary systems using controlled operations. A state has this property if and only if one can construct out of it an orthonormal basis by applying independent local unitary operations. This implies that those states can be used to encode locally the maximum amount of $n$ independent bits. Examples of these states are the so-called stabilizer states, which are used for quantum error correction and one-way quantum computing. We give a simple characterization of these states and construct a complete set of commuting unitary observables which characterize the state uniquely. Furthermore we show how these states can be prepared and discuss their applications.We introduce a physically motivated classification of pure quantum states describing $n$ qubits. We characterize all multipartite states which can be maximally entangled to local auxiliary systems using controlled operations. A state has this property if and only if one can construct out of it an orthonormal basis by applying independent local unitary operations. This implies that those states can be used to encode locally the maximum amount of $n$ independent bits. Examples of these states are the so-called stabilizer states, which are used for quantum error correction and one-way quantum computing. We give a simple characterization of these states and construct a complete set of commuting unitary observables which characterize the state uniquely. Furthermore we show how these states can be prepared and discuss their applications.

arXiv:0808.3862Physical Review AMay 6, 200971 citations

State transformations within entanglement classes containing permutation-symmetric states

Martin Hebenstreit, Cornelia Spee, Nicky Kai Hong Li +2 more

The study of state transformations under local operations and classical communication (LOCC) plays a crucial role in entanglement theory. While this has been long ago characterized for pure bipartite states, the situation is drastically different for systems of more parties: generic pure qudit states cannot be obtained from nor transformed to any state (i.e., they are isolated), which contains a different amount of entanglement. We consider here the question of LOCC convertibility for permutation-symmetric pure states of an arbitrary number of parties and local dimension, a class of clear interest both for physical and mathematical reasons and for which the aforementioned result does not apply given that it is a zero-measure subset in the state space. While it turns out that generic $n$ -qubit symmetric states are also isolated, we consider particular families for which we can determine to be, on the contrary, endowed with a rich local stabilizer, a necessary requirement for LOCC convertibility to be possible. This allows us to identify classes in which LOCC transformations among permutation-symmetric states are possible. Notwithstanding, we provide several results that indicate severe obstructions to LOCC convertibility in general even within these highly symmetrical classes. In the course of the study of LOCC transformations, we also characterize the local symmetries of symmetric states.The study of state transformations under local operations and classical communication (LOCC) plays a crucial role in entanglement theory. While this has been long ago characterized for pure bipartite states, the situation is drastically different for systems of more parties: generic pure qudit states cannot be obtained from nor transformed to any state (i.e., they are isolated), which contains a different amount of entanglement. We consider here the question of LOCC convertibility for permutation-symmetric pure states of an arbitrary number of parties and local dimension, a class of clear interest both for physical and mathematical reasons and for which the aforementioned result does not apply given that it is a zero-measure subset in the state space. While it turns out that generic $n$-qubit symmetric states are also isolated, we consider particular families for which we can determine to be, on the contrary, endowed with a rich local stabilizer, a necessary requirement for LOCC convertibility to be possible. This allows us to identify classes in which LOCC transformations among permutation-symmetric states are possible. Notwithstanding, we provide several results that indicate severe obstructions to LOCC convertibility in general even within these highly symmetrical classes. In the course of the study of LOCC transformations, we also characterize the local symmetries of symmetric states.

arXiv:2107.13949Physical Review AMar 31, 202210 citations

Quantum Hypergraph States: A Review

Davide Poderini, Dagmar Bruß, Chiara Macchiavello

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.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.

quant-pharXiv:2603.10917Mar 12, 20260 citations

Transformations of Stabilizer States in Quantum Networks

Matthias Englbrecht, Tristan Kraft, Barbara Kraus

Stabilizer states and graph states find application in quantum error correction, measurement-based quantum computation and various other concepts in quantum information theory. In this work, we study party-local Clifford (PLC) transformations among stabilizer states. These transformations arise as a physically motivated extension of local operations in quantum networks with access to bipartite entanglement between some of the nodes of the network. First, we show that PLC transformations among graph states are equivalent to a generalization of the well-known local complementation, which describes local Clifford transformations among graph states. Then, we introduce a mathematical framework to study PLC equivalence of stabilizer states, relating it to the classification of tuples of bilinear forms. This framework allows us to study decompositions of stabilizer states into tensor products of indecomposable ones, that is, decompositions into states from the entanglement generating set (EGS). While the EGS is finite up to 3 parties [Bravyi et al., J. Math. Phys. 47 , 062106 (2006)], we show that for 4 and more parties it is an infinite set, even when considering party-local unitary transformations. Moreover, we explicitly compute the EGS for 4 parties up to 10 qubits. Finally, we generalize the framework to qudit stabilizer states in prime dimensions not equal to 2 , which allows us to show that the decomposition of qudit stabilizer states into states from the EGS is unique.Stabilizer states and graph states find application in quantum error correction, measurement-based quantum computation and various other concepts in quantum information theory. In this work, we study party-local Clifford (PLC) transformations among stabilizer states. These transformations arise as a physically motivated extension of local operations in quantum networks with access to bipartite entanglement between some of the nodes of the network. First, we show that PLC transformations among graph states are equivalent to a generalization of the well-known local complementation, which describes local Clifford transformations among graph states. Then, we introduce a mathematical framework to study PLC equivalence of stabilizer states, relating it to the classification of tuples of bilinear forms. This framework allows us to study decompositions of stabilizer states into tensor products of indecomposable ones, that is, decompositions into states from the entanglement generating set (EGS). While the EGS is finite up to 3 parties [Bravyi et al., J. Math. Phys. 47 , 062106 (2006)], we show that for 4 and more parties it is an infinite set, even when considering party-local unitary transformations. Moreover, we explicitly compute the EGS for 4 parties up to 10 qubits. Finally, we generalize the framework to qudit stabilizer states in prime dimensions not equal to 2 , which allows us to show that the decomposition of qudit stabilizer states into states from the EGS is unique.

arXiv:2203.04202QuantumOct 25, 202211 citations

n

-qubit stabilizer states are uniquely determined (among arbitrary states, pure or mixed) by their reduced density matrices for systems which are the supports of

n

independent generators of the corresponding stabilizer formalisms.

We introduce a physically motivated classification of pure quantum states describing

n

qubits. We characterize all multipartite states which can be maximally entangled to local auxiliary systems using controlled operations. A state has this property if and only if one can construct out of it an orthonormal basis by applying independent local unitary operations. This implies that those states can be used to encode locally the maximum amount of

n

independent bits. Examples of these states are the so-called stabilizer states, which are used for quantum error correction and one-way quantum computing. We give a simple characterization of these states and construct a complete set of commuting unitary observables which characterize the state uniquely. Furthermore we show how these states can be prepared and discuss their applications.

n

-qubit symmetric states are also isolated, we consider particular families for which we can determine to be, on the contrary, endowed with a rich local stabilizer, a necessary requirement for LOCC convertibility to be possible. This allows us to identify classes in which LOCC transformations among permutation-symmetric states are possible. Notwithstanding, we provide several results that indicate severe obstructions to LOCC convertibility in general even within these highly symmetrical classes. In the course of the study of LOCC transformations, we also characterize the local symmetries of symmetric states.