TY - JOUR

T1 - Transformations of Stabilizer States in Quantum Networks

AU - Englbrecht, Matthias

AU - Kraft, Tristan

AU - Kraus, Barbara

N1 - Publisher Copyright:
© 2022 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. All Rights Reserved.

PY - 2022

Y1 - 2022

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

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

UR - http://www.scopus.com/inward/record.url?scp=85142938337&partnerID=8YFLogxK

U2 - 10.22331/Q-2022-10-25-846

DO - 10.22331/Q-2022-10-25-846

M3 - Article

AN - SCOPUS:85142938337

SN - 2521-327X

VL - 6

JO - Quantum

JF - Quantum

M1 - 2022-09-20

ER -