The equivalence of multipartite quantum mixed states under local unitary transformations is studied. A criterion for the equivalence of non-degenerate mixed multipartite quantum states under local unitary transformations is presented.
We propose a natural generalization of bipartite Werner and isotropic states to multipartite systems consisting of an arbitrary even number of d-dimensional subsystems (qudits). These generalized states are invariant under the action of local unitary operations. We study basic properties of multipartite invariant states: separability criteria and multi-PPT conditions.
We study the invariants of arbitrary dimensional multipartite quantum states under local unitary transformations. For multipartite pure states, we give a set of invariants in terms of singular values of coefficient matrices. For multipartite mixed states, we propose a set of invariants in terms of the trace of coefficient matrices. For full ranked mixed states with nondegenerate eigenvalues, this set of invariants is also the necessary and sufficient conditions for the local unitary equivalence of such two states.
A general method for implementing weakly entangling multipartite unitary operations using a small amount of entanglement and classical communication is presented. For the simple Hamiltonian σ_z\otimesσ_z this method requires less entanglement than previously known methods. In addition, compression of multiple operations is applied to reduce the average communication required.
We study the local unitary equivalence of arbitrary dimensional multipartite quantum mixed states. We present a necessary and sufficient criterion of the local unitary equivalence for general multipartite states based on matrix realignment. The criterion is shown to be operational even for particularly degenerated states by detailed examples. Besides, explicit expressions of the local unitary operators are constructed for locally equivalent states. In complement to the criterion, an alternative approach based on partial transposition of matrices is also given, which makes the criterion more ef…
We present an approach of constructing invariants under local unitary transformations for multipartite quantum systems. The invariants constructed in this way can be complement to that in [Science 340 (2013) 1205-1208]. Detailed examples are given to compute such invariant in detail. It is shown that these invariants can be used to detect the local unitary equivalence of degenerated quantum states.
We study the stochastic local operation and classical communication (SLOCC) equivalence for arbitrary dimensional multipartite quantum states. For multipartite pure states, we present a necessary and sufficient criterion in terms of their coefficient matrices. This condition can be used to classify some SLOCC equivalent quantum states with coefficient matrices having the same rank. For multipartite mixed state, we provide a necessary and sufficient condition by means of the realignment of matrix. Some detailed examples are given to identify the SLOCC equivalence of multipartite quantum states.
We show that any two different unitary operations acting on an arbitrary multipartite quantum system can be perfectly distinguishable by local operations and classical communication when a finite number of runs is allowed. We then directly extend this result into the case when the number of unitary operations to be discriminated is more than two. Intuitively, our result means that the lost identity of a nonlocal (entangled) unitary operation can be recovered locally, without any use of entanglement or joint quantum operations.
Necessary and sufficient conditions for the equivalence of arbitrary n-qubit pure quantum states under Local Unitary (LU) operations are derived. First, an easily computable standard form for multipartite states is introduced. Two generic states are shown to be LU-equivalent iff their standard forms coincide. The LU-equivalence problem for non--generic states is solved by presenting a systematic method to determine the LU operators (if they exist) which interconvert the two states.
Characterizing local unitary equivalence of multipartite states by local unitary Bargmann invariants
School of Mathematics and Data Science, Jiangnan University(江南大学数学与数据科学学院);School of Mathematical Sciences, Beihang University(北京航空航天大学数学科学学院);School of Mathematical Sciences, Capital Normal University(首都师范大学数学科学学院)
We construct a new class of multipartite states possessing orthogonal symmetry. This new class defines a convex hull of multipartite states which are invariant under the action of local unitary operations introduced in our previous paper "On multipartite invariant states I. Unitary symmetry". We study basic properties of multipartite symmetric states: separability criteria and multi-PPT conditions.
The necessary and sufficient conditions for the equivalence of arbitrary n-qubit pure quantum states under Local Unitary (LU) operations derived in [B. Kraus Phys. Rev. Lett. 104, 020504 (2010)] are used to determine the different LU-equivalence classes of up to five-qubit states. Due to this classification new parameters characterizing multipartite entanglement are found and their physical interpretation is given. Moreover, the method is used to derive examples of two n-qubit states (with n>2 arbitrary) which have the properties that all the entropies of any subsystem coincide, however, the s…
In previous work the authors introduced a notion of generic states and obtained criteria for local equivalence of them. Here they introduce the concept of CHG states maintaining the criteria of local equivalence. This fact allows the authors to halve the number of invariants necessary to characterize the equivalence classes under local unitary transformations for the set of tripartite states whose partial trace with respect to one of the subsystems belongs to the class of CHG mixed states.
We study the entangling properties of multipartite unitary gates with respect to the measure of entanglement called one-tangle. Putting special emphasis on the case of three parties, we derive an analytical expression for the entangling power of an $n$-partite gate as an explicit function of the gate, linking the entangling power of gates acting on $n$-partite Hilbert space of dimension $d_1 \ldots d_n$ to the entanglement of pure states in the Hilbert space of dimension $(d_1 \ldots d_n)^2$. Furthermore, we evaluate its mean value averaged over the unitary and orthogonal groups, analyze the m…
The dynamics of a system composed by two pairs of dipolarly coupled two-level atoms is exactly studied. We show that the initial entanglement stored in a couple of atoms not directly interacting is fully transferred to the other pair in a periodic way. The observability of this phenomenon in laboratory is briefly discussed both in terms of its temporal scale and of its stability against uncertainties in the geometrical parameters defining the physical system.
The equivalence problem under local unitary transformation for $n$--partite pure states is reduced to the one for $(n-1)$--partite mixed states. In particular, a tripartite system $\mathcal{H}_A\otimes\mathcal{H}_B\otimes\mathcal{H}_C$, where $\mathcal{H}_j$ is a finite dimensional complex Hilbert space for $j=A,B,C$, is considered and a set of invariants under local transformations is introduced, which is complete for the set of states whose partial trace with respect to $\mathcal{H}_A$ belongs to the class of generic mixed states.
We analyze the entanglement evolution of two cavity photons being affected by the dissipation of two individual reservoirs. Under an arbitrary local unitary operation on the initial state, it is shown that there is only one parameter which changes the entanglement dynamics. For the bipartite subsystems, we show that the entanglement of the cavity photons is correlated with that of the reservoirs, although the local operation can delay the time at which the photon entanglement disappears and advance the time at which the reservoir entanglement appears. Furthermore, via a new defined four-qubit …
The scheme for entanglement teleportation is proposed to incorporate multipartite entanglement of four qubits as a quantum channel. Based on the invariance of entanglement teleportation under arbitrary two-qubit unitary transformation, we derive relations of separabilities for joint measurements at a sending station and for unitary operations at a receiving station. From the relations of separabilities it is found that an inseparable quantum channel always leads to a total teleportation of entanglement with an inseparable joint measurement and/or a nonlocal unitary operation.
We revisit the genuine multipartite entanglement by a simplified method, which only involves the Schmidt decomposition and local unitary transformation. We construct a local unitary equivalent class of the tri-qubit quantum state, then use the trace norm of the whole correlation tensor as a measurement to detect genuine multipartite entanglement. By detailed examples, we show our result can detect more genuinely entangled states. Furthermore, we generalize the genuine multipartite entanglement criterion to tripartite higher-dimensional systems.
We study the equivalence of quantum states under local unitary transformations by using the singular value decomposition. A complete set of invariants under local unitary transformations is presented for several classes of tripartite mixed states in KxMxN composite systems. Two density matrices in the same class are equivalent under local unitary transformations if and only if all these invariants have equal values for these density matrices.
We propose a practical entanglement classification scheme for general multipartite pure states in arbitrary dimensions under local unitary equivalence by exploiting the high order singular value decomposition technique and local symmetries of the states. By virtue of this scheme, the method of determining the local unitary equivalence of $n$-qubit states proposed by Kraus is extended to the case for arbitrary dimensional multipartite states.
Within the unified framework of exploiting the relative entropy as a distance measure of quantum correlations, we make explicit the hierarchical structure of quantum coherence, quantum discord and quantum entanglement in multipartite systems. On this basis, we introduce a new measure of quantum coherence, the basis-free quantum coherence and prove that this quantity is exactly equivalent to quantum discord. Furthermore, since the original relative entropy of coherence is a basis-dependent quantity, we investigate the local and nonlocal unitary creation of quantum coherence, focusing on the two…
We show that any unitary operator on the $d_A\times d_B$ system ($d_A\ge 2$) can be decomposed into the product of at most $4d_A-5$ controlled unitary operators. The number can be reduced to $2d_A-1$ when $d_A$ is a power of two. We also prove that three controlled unitaries can implement a bipartite complex permutation operator, and discuss the connection to an analogous result on classical reversible circuits. We further show that any $n$-partite unitary on the space $\mathbb{C}^{d_1}\otimes...\otimes\mathbb{C}^{d_n}$ is the product of at most $[2\prod^{n-1}_{j=1}(2d_j-2)-1]$ controlled unit…
We review the generation of random pure states using a protocol of repeated two qubit gates. We study the dependence of the convergence to states with Haar multipartite entanglement distribution. We investigate the optimal generation of such states in terms of the physical (real) time needed to apply the protocol, instead of the gate complexity point of view used in other works. This physical time can be obtained, for a given Hamiltonian, within the theoretical framework offered by the quantum brachistochrone formalism. Using an anisotropic Heisenberg Hamiltonian as an example, we find that di…
A method is presented to obtain local unitary invariants for multipartite quantum systems consisting of fermions or distinguishable particles. The invariants are organized into infinite families, in particular, the generalization to higher dimensional single particle Hilbert spaces is straightforward. Many well-known invariants and their generalizations are also included.
Resource theory of quantum coherence originated like entanglement in quantum information theory. However, still now proper classification of quantum states is missing under coherence. In this work, we have provided a classification of states under local incoherent operations. We have succeeded in deriving the necessary and sufficient condition for which two pure multipartite states are equivalent under stochastic local incoherent operations and classical communications (SLICC) and local incoherent operations and classical communications (LICC). In particular, we have succeeded in characterizin…
The degree of the generators of invariant polynomial rings of is a long standing open problem since the very initial study of the invariant theory in the 19th century. Motivated by its significant role in characterizing multipartite entanglement, we study the invariant polynomial rings of local unitary group---the tensor product of unitary group, and local general linear group---the tensor product of general linear group. For these two groups, we prove polynomial upper bounds on the degree of the generators of invariant polynomial rings. On the other hand, systematic methods are provided to to…
We study the growth of genuine multipartite entanglement in random quantum circuit models, which include random unitary circuit models and the random Clifford circuit. We find that for the random Clifford circuit, the growth of multipartite entanglement remains slower in comparison to the random unitary case. However, the final saturation value of multipartite entanglement is almost the same in both cases. The behavior is then compared to the genuine multipartite entanglement obtained in random matrix product states with a moderately high bond dimension. We then relate the behavior of multipar…
In this paper, we give a method for the local unitary equivalent problem which is more efficient than that was proposed by Bin Liu $et \ al$ \cite{bliu}.
We study necessary conditions for the efficient simulation of both bipartite and multipartite Hamiltonians, which are independent of the eigenvalues and based on the algebraic-geometric invariants introduced in [1-2]. Our results indicate that the problem of efficient simulation of Hamiltonians for arbitrary and multipartite quantum systems cannot be described by using only eigenvalues, unlike that in the two-qubit case.
We investigate the entanglement properties 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 iff 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$ 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 char…
Unitary operations are physically implementable. We further the understanding of such operations by studying the possible forms of nonlocal unitary operators, which are bipartite or multipartite unitary operators that are not tensor product operators. They are of broad relevance in quantum information processing. We prove that any nonlocal unitary operator of Schmidt rank three on a $d_A\times d_B$ bipartite system is locally equivalent to a controlled unitary. This operator can be locally implemented assisted by a maximally entangled state of Schmidt rank $\min\{d_A^2,d_B\}$ when $d_A\le d_B$…
For two symmetric quantum states one may be interested in maximizing the overlap under local operations applied to one of them. The question arises whether the maximal overlap can be obtained by applying the same local operation to each party. We show that for two symmetric multiqubit states and local unitary transformations this is the case; the maximal overlap can be reached by applying the same unitary matrix everywhere. For local invertible operations (stochastic local operations assisted by classical communication equivalence), however, we present counterexamples, demonstrating that consi…
We propose a practical method for finding the canonical forms of arbitrary dimensional multipartite entangled states, either pure or mixed. By extending the technique developed in one of our recent works, the canonical forms for the mixed $N$-partite entangled states are constructed where they have inherited local unitary symmetries from their corresponding $N+1$ pure state counterparts. A systematic scheme to express the local symmetries of the canonical form is also presented, which provides a feasible way of verifying the local unitary equivalence for two multipartite entangled states.
We introduce algebraic sets in the products of complex projective spaces for the mixed states in multipartite quantum systems as their invariants under local unitary operations. The algebraic sets have to be the union of the linear subspaces if the state is separable. Some examples are studied based on our criterion
We generalize the Schmidt-correlated states to multipartite systems. The related equivalence under SLOCC, the separability, entanglement witness, entanglement measures of negativity, concurrence and relative entropy are investigated in detail for the generalized Schmidt-correlated states.
We construct quantum gate entangler for general multipartite states based on topological unitary operators. We show that these operators can entangle quantum states if they satisfy the separability condition that is given by the complex multi-projective Segre variety. We also in detail discuss the construction of quantum gate entangler for higher dimensional bipartite and three-partite quantum systems.
We prove that every unitary acting on any multipartite system and having operator Schmidt rank equal to 2 can be diagonalized by local unitaries. This then implies that every such multipartite unitary is locally equivalent to a controlled unitary with every party but one controlling a set of unitaries on the last party. We also prove that any bipartite unitary of Schmidt rank 2 is locally equivalent to a controlled unitary where either party can be chosen as the control, and at least one party can control with two terms, which implies that each such unitary can be implemented using local opera…
The correspondence between local unitary equivalence of bipartite quantum states and simultaneous orthogonal equivalence is thoroughly investigated and strengthened. It is proved that local unitary equivalence can be studied through simultaneous similarity under projective orthogonal transformations, and four parametrization independent algorithms are proposed to judge when two density matrices on $\mathbb C^{d_1}\otimes \mathbb C^{d_2}$ are locally unitary equivalent in connection with trace identities, Weierstrass pencils, Albert determinants and Smith normal forms.
A general mathematical framework is presented to describe local equivalence classes of multipartite quantum states under the action of local unitary and local filtering operations. This yields multipartite generalizations of the singular value decomposition. The analysis naturally leads to the introduction of entanglement measures quantifying the multipartite entanglement (as generalizations of the concurrence and the 3-tangle), and the optimal local filtering operations maximizing these entanglement monotones are obtained. Moreover a natural extension of the definition of GHZ-states to e.g. $…
Recently, the problem of discriminating multipartite unitary operations by local operations and classical communication (LOCC) has attracted significant attention. The latest work in the literature on this problem showed that two multipartite unitary operations can always be perfectly distinguished by LOCC when a finite number of runs are allowable. However, in these schemes, local entanglement (an entangled state holden by one party) was required, which seems to imply that local entanglement is necessary for perfect discrimination between unitary operations by LOCC. In this article, we show t…
Hypergraph states are multiqubit states whose combinatorial description and entanglement properties generalize the well-studied class of graph states. Graph states are important in applications such as measurement-based quantum computation and quantum error correction. The study of hypergraph states, with their richer multipartite entanglement and other nonlocal properties, has a promising outlook for new insight into multipartite entanglement. We present results analyzing local unitary symmetries of hypergraph states, including both continuous and discrete families of symmetries. In particula…
In terms of the analysis of fixed point subgroup and tensor decomposability of certain matrices, we study the equivalence of of quantum bipartite mixed states under local unitary transformations. For non-degenerate case an operational criterion for the equivalence of two such mixed bipartite states under local unitary transformations is presented.
We consider the local unitary equivalence of a class of quantum states in bipartite case and multipartite case. The necessary and sufficient condition is presented. As special cases, the local unitary equivalent classes of isotropic state and werner state are provided. Then we study the local unitary similar equivalence of this class of quantum states and analyze the necessary and sufficient condition.
We consider the action of the group of local unitary transformations, U(m) x U(n), on the set of (mixed) states W of the bipartite m x n quantum system. We prove that the generic U(m) x U(n)--orbits in W have dimension m^2+n^2-2. This problem was mentioned (and left open) by Kus and Zyczkowski in their paper Geometry of entangled states. The proof can be extended to the case of arbitrary finite-dimensional multipartite quantum systems.
The CANDECOMP/PARAFAC (CP) decomposition is a generalization of the spectral decomposition of matrices to higher-order tensors. In this paper we use the CP decomposition to study unitary equivalence of higher order tensors and construct several invariants of local unitary equivalence for general higher order tensors. Based on this new method, we study the coefficient tensors of $3$-qubit states and obtain a necessary and sufficient criterion for local unitary equivalence of general tripartite states in terms of the CP decomposition. We also generalize this method to obtain some invariants of l…
We study the equivalence of mixed states under local unitary transformations. First we express quantum states in Bloch representation. Then based on the coefficient matrices, some invariants are constructed. This method and results can be extended to multipartite high dimensional system.
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
We investigate the structural aspects of genuine multipartite entanglement in Gaussian states of continuous variable systems. Generalizing the results of [Adesso & Illuminati, Phys. Rev. Lett. 99, 150501 (2007)], we analyze whether the entanglement shared by blocks of modes distributes according to a strong monogamy law. This property, once established, allows to quantify genuine N-partite entanglement in terms of the "residual contangle" not encoded into 2,...,K,...,(N-1)-partite quantum correlations. The explicit expression of this entanglement measure is derived, by a recursive formula, for…
The nonlocal properties of arbitrary dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. These invariants give rise to both sufficient and necessary conditions for the equivalence of quantum states under local unitary transformations: two density matrices are locally equivalent if and only if all these invariants have equal values.