Local operations assisted by classical communication (LOCC) play a fundamental role in the resource-theoretic formulation of entanglement theory inducing an operationally meaningful ordering in the set of entangled states. The particular class within LOCC of local unitary (LU) transformations is obviously closed under inversion. Thus, LU-equivalent states are interconvertible by LOCC and have therefore the same entanglement. For this reason LU-equivalence has been thoroughly studied in the context of entanglement theory. However, as I note here with a simple example, the converse is not true: there exist entangled states that are interconvertible by LOCC but which are not LU-equivalent. This motivates studying under which conditions LOCC interconvertibility is characterized by LU-equivalence. I provide a sufficient condition for this to hold. When one considers multipartite states with full entanglement dimensionality (as quantified by the Schmidt number vector) LOCC interconvertibility can only hold under LU-equivalence.
Local operations assisted by classical communication (LOCC) play a fundamental role in the resource-theoretic formulation of entanglement theory inducing an operationally meaningful ordering in the set of entangled states. The particular class within LOCC of local unitary (LU) transformations is obviously closed under inversion. Thus, LU-equivalent states are interconvertible by LOCC and have therefore the same entanglement. For this reason LU-equivalence has been thoroughly studied in the context of entanglement theory. However, as I note here with a simple example, the converse is not true: there exist entangled states that are interconvertible by LOCC but which are not LU-equivalent. This motivates studying under which conditions LOCC interconvertibility is characterized by LU-equivalence. I provide a sufficient condition for this to hold. When one considers multipartite states with full entanglement dimensionality (as quantified by the Schmidt number vector) LOCC interconvertibility can only hold under LU-equivalence.
Abstract Classification of multipartite pure states via the local unitary (LU) equivalence or the stochastic local operations and classical communication (SLOCC) equivalence is a fundamental task in investigating multipartite entanglement. It is shown in the seminal paper (2000 Phys . Rev . A 62 062314) that pure states of three qubits can be partitioned into six SLOCC classes. We explore here a necessary and sufficient condition for LU equivalence of pure states for any SLOCC class via Acín et al ’s Schmidt coefficients (ASC) of three qubits in (2000 Phys. Rev. Lett. 85 1560). We show that the LU equivalent states in W SLOCC class have the same ASC irrespective of phases while there are generally two different ASCs for the LU equivalent states in GHZ SLOCC class (irrespective of phases for some subclass). Consequently, we obtain a complete LU classification of three qubit pure states in the sense of ASC. Moreover, we discuss the choice among the different ASCs and then propose an approach to find a unique ASC for any given three qubit pure state. At last we analyse the entanglement/separability of the marginal states of the two inequivalent genuine entangled SLOCC classes. We find that any bipartite marginal states of the W SLOCC class are entangled, and that of the GHZ SLOCC class has eight different cases which are depend on the ASCs.
Local unitary classification of sets of generalized Bell states in Cd⊗Cd
Two sets of quantum entangled states that are equivalent under local unitary transformations may exhibit identical effectiveness and versatility in various quantum information processing tasks. Consequently, classification under local unitary transformations has become a fundamental issue in the theory of quantum entanglement. The primary objective of this work is to establish a practical LU-classification for all sets of l(≥2) generalized Bell states (GBSs), high-dimensional generalizations of Bell states, in a bipartite system Cd⊗Cd with d≥3 . Based on this classification, we determine the minimal cardinality of indistinguishable GBS sets in C6⊗C6 under one-way local operations and classical communication (one-way LOCC). We first propose two classification methods based on LU-equivalence for all sets of l GBSs (l-GBS sets). We then establish LU-classification for all 2-GBS, 3-GBS, 4-GBS and 5-GBS sets in C6⊗C6 . Since LU-equivalent sets share identical local distinguishability, it suffices to examine representative GBS sets from equivalent classes. Notably, we identify a one-way LOCC indistinguishable 4-GBS set among these representatives, thereby resolving the case of d=6 for the problem of determining the minimum cardinality of one-way LOCC indistinguishable GBS sets in (Yuan et al. in Quantum Inf Process. 18:145, 2019) or (Zhang et al. in Phys Rev A 91:012329, 2015).
Local unitary (LU) equivalent states are crucial for understanding the structure of quantum entanglement. We investigate the LU equivalence based on the LU Bargmann invariants (LUBIs). We consider for which states the LUBIs are sufficient to ensure the LU equivalence. We focus on a class of multipartite states with complete local commutativity, called CLC states. We first show that for multipartite CLC states, all the LUBIs are sufficient to ensure the local permutation equivalence, if their single-party marginals are diagonal and non-degenerate. By virtue of the fact that the CLC property remains unchanged under local operations, we verify that the LUBIs are also sufficient to ensure the LU equivalence of multipartite CLC states whose single-party marginals are non-degenerate. Furthermore, when the single-party marginals are degenerate, we propose concrete examples of two-qudit and three-qubit systems, showing that there are states which share all the LUBIs but are not LU equivalent.
Understanding multipartite entanglement is vital, as it underpins a wide range of phenomena across physics. The study of transformations of states via Local Operations assisted by Classical Communication (LOCC) allows one to quantitatively analyse entanglement, as it induces a partial order in the Hilbert space. However, it has been shown that, for systems with fixed local dimensions, this order is generically trivial, which prevents relating multipartite states to each other with respect to any entanglement measure. In order to obtain a non-trivial partial ordering, we study a physically motivated extension of LOCC: multi-state LOCC. Here, one considers simultaneous LOCC transformations acting on a finite number of entangled pure states. We study both multipartite and bipartite multi-state transformations. In the multipartite case, we demonstrate that one can change the stochastic LOCC (SLOCC) class of the individual initial states by only applying Local Unitaries (LUs). We show that, by transferring entanglement from one state to the other, one can perform state conversions not possible in the single copy case; provide examples of multipartite entanglement catalysis; and demonstrate improved probabilistic protocols. In the bipartite case, we identify numerous non-trivial LU transformations and show that the source entanglement is not additive. These results demonstrate that multi-state LOCC has a much richer landscape than single-state LOCC.
The problem of determining whether two states are equivalent by local unitary (LU) operations is important for quantum information processing. In this paper, we propose an alternative perspective to study this problem by comparing the decidabilities of LU equivalence (also known as LU decidabilities for short) between entanglement witnesses and states. We introduce a relation between sets of Hermitian operators in terms of the LU decidability. Then, we compare the LU decidability for the set of entanglement witnesses to the LU decidabilities for several sets of states. By comparison, we establish a hierarchy of these sets in terms of LU decidabilities. Moreover, we realize that the simultaneous LU (SLU) equivalence between tuples of mutually orthogonal projectors is crucial to LU equivalent operators. We reveal by examples that for two tuples of projectors, the partial SLU equivalence cannot ensure the overall SLU equivalence. Generally, we present a necessary and sufficient condition such that two tuples of states are SLU equivalent.
Graph states form a large family of quantum states that are in one-to-one correspondence with mathematical graphs. Graph states are used in many applications, such as measurement-based quantum computation, as multipartite entangled resources. It is thus crucial to understand when two such states have the same entanglement, i.e. when they can be transformed into each other using only local operations. In this case, we say that the graph states are LU-equivalent (local unitary). If the local operations are restricted to the so-called Clifford group, we say that the graph states are LC-equivalent (local Clifford). Interestingly, a simple graph rule called local complementation fully captures LC-equivalence, in the sense that two graph states are LC-equivalent if and only if the underlying graphs are related by a sequence of local complementations. While it was once conjectured that two LU-equivalent graph states are always LC-equivalent, counterexamples do exist and local complementation fails to fully capture the entanglement of graph states. We introduce in this thesis a generalization of local complementation that does fully capture LU-equivalence. Using this characterization, we prove the existence of an infinite strict hierarchy of local equivalences between LC- and LU-equivalence. This also leads to the design of a quasi-polynomial algorithm for deciding whether two graph states are LU-equivalent, and to a proof that two LU-equivalent graph states are LC-equivalent if they are defined on at most 19 qubits. Furthermore, we study graph states that are universal in the sense that any smaller graph state, defined on any small enough set of qubits, can be induced using only local operations. We provide bounds and an optimal, probabilistic construction.