Abstract:Stabilizer states form a ubiquitous family of quantum states that can be graphically represented through the graph state formalism. A fundamental property of graph states is that applying a local complementation - a well-known and extensively studied graph transformation - results in a graph that represents the same entanglement as the original. In other words, the corresponding graph states are LU-equivalent. This property served as the cornerstone for capturing non-trivial quantum properties in a simple graphical manner, in the study of quantum entanglement but also for developing protocols and models based on graph states and stabilizer states, such as measurement-based quantum computing, secret sharing, error correction, entanglement distribution... However, local complementation fails short to fully characterise entanglement: there exist pairs of graph states that are LU-equivalent but cannot be transformed one into the other using local complementations. Only few is known about the equivalence of graph states beyond local complementation. We introduce a generalization of local complementation which graphically characterises the LU-equivalence of graph states. We use this characterisation to show the existence of a strict infinite hierarchy of equivalences of graph states. Our approach is based on minimal local sets, which are subsets of vertices that are known to cover any graph, and to be invariant under local complementation and even LU-equivalence. We use these structures to provide a type to each vertex of a graph, leading to a natural standard form in which the LU-equivalence can be exhibited and captured by means of generalised local complementation.

Structural Equivalence in Graphs and Complete Skeletons

Automorphic Decompositions of Graphs

Algorithmic methods of finite discrete structures. Automorphism of Nonseparable Graphs

Translation equivalence in free groups

Equimorphy -- The Case of Chains

Topology of Complements of Skeletons

Switching equivalence of Hermitian adjacency matrices of mixed graphs

Finding automorphism groups of double coset graphs and Cayley graphs are equivalent

Graphs realised by r.e. equivalence relations.

Local equivalence of stabilizer states: a graphical characterisation

Asymmetric graphs with quantum symmetry

On some building blocks of hypergraphs

Structured Decompositions: Structural and Algorithmic Compositionality

Automorphisms of the sphere complex of an infinite graph

Graph products and measure equivalence: classification, rigidity, and quantitative aspects

The Ideal Structures Of Self-Similar K-Graph C*-Algebras

Equivalence Hypergraphs: E-Graphs for Monoidal Theories

Dual equivalence graphs II: Transformations on locally Schur positive graphs

Strong Cocomparability Graphs and Slash-Free Orderings of Matrices