Two pure states of a multi-partite system are alway are related by a unitary transformation acting on the Hilbert space of the whole system. This transformation involves multi-partite transformations. On the other hand some quantum information protocols such as the quantum teleportation and quantum dense coding are based on equivalence of some classes of states of bi-partite systems under the action of local (one-particle) unitary operations. In this paper we address the question: ``Under what conditions are the two states states, $\varrho$ and $σ$, of a multi-partite system locally unitary equivalent?'' We present a set of conditions which have to be satisfied in order that the two states are locally unitary equivalent. In addition, we study whether it is possible to prepare a state of a multi-qudit system. which is divided into two parts A and B, by unitary operations acting only on the systems A and B, separately.
We study the entanglement of unitary operators on $d_1\times d_2$ quantum systems. This quantity is closely related to the entangling power of the associated quantum evolutions. The entanglement of a class of unitary operators is quantified by the concept of concurrence.
We investigate the simultaneous estimation of $n$ not necessarily identical unitary channels using multi-partite entanglement. We examine whether it is possible for the rate at which the mean square error decreases to be greater than that using the channels individually. For a reasonably general situation, in which there is no functional dependence between the channels, we show that this is not possible. We look at a case in which the channels are not necessarily identical but depend on a common variable. In this case, the mean square error decreases more rapidly using multi-partite entangleme…
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 show that in principle, $N$-partite unitary transformations can be perfectly discriminated under local measurement and classical communication (LOCC) despite of their nonlocal properties. Based on this result, some related topics, including the construction of the appropriate quantum circuit together with the extension to general completely positive trace preserving operations, are discussed.
We show that the inverse limit of the graded algebras of local unitary invariant polynomials of finite dimensional k-partite quantum systems is free, and give an algebraically independent generating set. The number of degree 2d invariants in the generating set is equal to the number of conjugacy classes of index d subgroups of a free group on k-1 generators.
Quantum circuit model is the most popular paradigm for implementing complex quantum computation. Based on Cartan decomposition, we show that $2(N-1)$ generalized controlled-$X$ (GCX) gates, $6$ single-qubit rotations about the $y$- and $z$-axes, and $N+5$ single-partite $y$- and $z$-rotation-types which are defined in this paper are sufficient to simulate a controlled-unitary gate $\mathcal{U}_{cu(2\otimes N)}$ with $A$ controlling on $\mathbb{C}^2\otimes \mathbb{C}^N$. In the scenario of the unitary gate $\mathcal{U}_{cd(M\otimes N)}$ with $M\geq3$ that is locally equivalent to a diagonal uni…
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.
Equi-Entropic Maps for Four-Partite Quantum States
Center for Theoretical Physics, Polish Academy of Sciences（波兰科学院理论物理中心）；Center for Quantum-Enabled Computing, Center for Theoretical Physics, Polish Academy of Sciences（波兰科学院理论物理中心量子使能计算中心）；Department for Quantum Technology, University of Münster（明斯特大学量子技术系）
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.
In this paper, a computable multipartite multimode Gaussian quantum correlation measure ${\mathcal M}^{(k)}$ is proposed for any $k$-partite continuous-variable (CV) systems with $k\geq 2$. ${\mathcal M}^{(k)}$ depends only on the covariance matrix of CV states, is invariant under any permutation of subsystems, is a quantification without ancilla problem, nonincreasing under $k$-partite local Gaussian channels (particularly, invariant under $k$-partite local Gaussian unitary operations), vanishes on $k$-partite product states. For a $k$-partite Gaussian state $ρ$, ${\mathcal M}^{(k)}(ρ)=0$ if …
The notion of entanglement can be naturally extended from quantum-states to the level of general quantum evolutions. This is achieved by considering multi-partite unitary transformations as elements of a multi-partite Hilbert space and then extended to general quantum operations. We show some connection between this entanglement and the entangling capabilities of the quantum evolution.
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.
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…
In a network of spin 1/2 particles, controlled through an external electro-magnetic field, the gyromagnetic ratio of each spin is a parameter that characterizes the interaction of the spin with the external control field. Multipartite networks are such that the spins are divided into subsets according to their gyromagnetic ratio and spins in one set interact in the same way with all spins in another set. Due to the presence of symmetries in this type of systems, the underlying Hilbert state space splits into invariant subspaces for the dynamics. Subspace controllability is verified if every un…
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.
One-way quantum computation based on measurement and multipartite cluster entanglement offers the ability to perform a variety of unitary operations only through different choices of measurement bases. Here we present an experimental study toward demonstrating the controlled-X operation, a two-mode gate, in which continuous variable (CV) four-partite cluster states of optical modes are utilized. Two quantum teleportation elements are used for achieving the gate operation of the quantum state transformation from input target and control states to output states. By means of the optical cluster s…
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.
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…
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.
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
The equivalence of arbitrary dimensional bipartite states under local unitary transformations (LUT) is studied. A set of invariants and ancillary invariants under LUT is presented. We show that two states are equivalent under LUT if and only if they have the same values for all of these invariants.
We analyze optimal schemes and also propose some practical schemes for the nonlocal conversion from two shared Bell pairs to four-qubit entangled states in optical quantum networks. In the analysis, we consider two-qubit operations as nonlocal operations and minimize the number of access to ancillary qubits as possible. First, we consider two-qubit unitary operations without using ancillary qubits and derive a necessary and sufficient condition for convertible states. Second, we consider nonlocal optical systems composed of passive linear optics and postselection. For the passive linear optica…
The equivalence of tripartite pure states under local unitary transformations is investigated. The nonlocal properties for a class of tripartite quantum states in $\Cb^K \otimes \Cb^M \otimes \Cb^N$ composite systems are investigated and a complete set of invariants under local unitary transformations for these states is presented. It is shown that two of these states are locally equivalent if and only if all these invariants have the same values.
We study the relation between local unitary (LU) equivalence and local Clifford (LC) equivalence of stabilizer states. We introduce a large subclass of stabilizer states, such that every two LU equivalent states in this class are necessarily LC equivalent. Together with earlier results, this shows that LC, LU and SLOCC equivalence are the same notions for this class of stabilizer states. Moreover, recognizing whether two given stabilizer states in the present subclass are locally equivalent only requires a polynomial number of operations in the number of qubits.
In this brief report, we consider the equivalence between two sets of $m+1$ bipartite quantum states under local unitary transformations. For pure states, this problem corresponds to the matrix algebra question of whether two degree $m$ matrix polynomials are unitarily equivalent; i.e. $UA_iV^\dagger=B_i$ for $0\leq i\leq m$ where $U$ and $V$ are unitary and $(A_i, B_i)$ are arbitrary pairs of rectangular matrices. We present a randomized polynomial-time algorithm that solves this problem with an arbitrarily high success probability and outputs transforming matrices $U$ and $V$.
A simple coined quantum walk in one dimension can be characterized by a $SU(2)$ operator with three parameters which represents the coin toss. However, different such coin toss operators lead to equivalent dynamics of the quantum walker. In this manuscript we present the unitary equivalence classes of quantum walks and show that all the nonequivalent quantum walks can be distinguished by a single parameter. Moreover, we argue that the electric quantum walks are equivalent to quantum walks with time dependent coin toss operator.
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（首都师范大学数学科学学院）
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…
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restr…
We study when a multipartite non--local unitary operation can deterministically or probabilistically simulate another one when local operations of a certain kind -in some cases including also classical communication- are allowed. In the case of probabilistic simulation and allowing for arbitrary local operations, we provide necessary and sufficient conditions for the simulation to be possible. Deterministic and probabilistic interconversion under certain kinds of local operations are used to define equivalence relations between gates. In the probabilistic, bipartite case this induces a finite …
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 give explicit index-free formulae for all the degree six (and also degree four and two) algebraically independent local unitary invariant polynomials for finite dimensional k-partite pure and mixed quantum states. We carry out this by the use of graph-technical methods, which provides illustrations for this abstract topic.
Probabilistic quantum cloning and identifying machines can be constructed via unitary-reduction processes [Duan and Guo, Phys. Rev. Lett. 80, 4999 (1998)]. Given the cloning (identifying) probabilities, we derive an explicit representation of the unitary evolution and corresponding Hamiltonian to realize probabilistic cloning (identification). The logic networks are obtained by decomposing the unitary representation into universal quantum logic operations. The robustness of the networks is also discussed. Our method is suitable for a $k$-partite system, such as quantum computer, and may be gen…
We investigate the equivalence of quantum mixed states under local unitary transformations. For a class of rank-two mixed states, a sufficient and necessary condition of local equivalence is obtained by giving a complete set of invariants under local unitary transformations, such that two states in this class are locally equivalent if and only if all these invariants have equal values for them.
A parametrization of density operators for bipartite quantum systems is proposed. It is based on the particular parametrization of the unitary group found recently by Jarlskog. It is expected that this parametrization will find interesting applications in the study of quantum properties of many partite systems.
The equivalence of stabilizer states under local transformations is of fundamental interest in understanding properties and uses of entanglement. Two stabilizer states are equivalent under the usual stochastic local operations and classical communication criterion if and only if they are equivalent under local unitary (LU) operations. More surprisingly, under certain conditions, two LU equivalent stabilizer states are also equivalent under local Clifford (LC) operations, as was shown by Van den Nest et al. [Phys. Rev. \textbf{A71}, 062323]. Here, we broaden the class of stabilizer states for w…
This study investigates the unitary equivalence of split-step quantum walks (SSQW). We consider a new class of quantum walks which includes all SSQWs. We show the explicit form of quantum walks in this class, and clarify their unitary equivalence classes. Unitary equivalence classes of Suzuki's SSQW are also given.
We give a one-to-one correspondence between classes of density matrices under local unitary invariance and the double cosets of unitary groups. We show that the interrelationship among classes of local unitary equivalent multi-partite mixed states is independent from the actual values of the eigenvalues and only depends on the multiplicities of the eigenvalues. The interpretation in terms of homogeneous spaces of unitary groups is also discussed.
We classify, up to local unitary equivalence, the set of $n$-qubit states that is stabilized by the diagonal subgroup of the local unitary group. We exhibit a basis for this set, parameterized by diagrams of nonintersecting chords connecting pairs of points on a circle, and give a criterion for when the stabilizer is precisely the diagonal subgroup and not larger. This investigation is part of a larger program to partially classify entanglement type (local unitary equivalence class) via analysis of stabilizer structure.
Higher dimensional quantum systems are an important avenue for new explorations in quantum computing as well as quantum communications. One of the ubiquitous resources in quantum technologies is entanglement. However, so far, entanglement has been certified in higher dimensional systems through suitable bounds on known entanglement measures. In this work, we have, for the first time, quantified the amount of entanglement in bi-partite pure qutrit states by analytically relating statistical correlation measures and known measures of entanglement, and have determined the amount of entanglement i…
Ordinary intelligent states (OIS) hold equality in the Heisenberg uncertainty relation involving two noncommuting observables {A, B}, whereas generalized intelligent states (GIS) do so in the more generalized uncertainty relation, the Schrodinger-Robertson inequality. In general, OISs form a subset of GISs. However, if there exists a unitary evolution U that transforms the operators {A, B} to a new pair of operators in a rotation form, it is shown that an arbitrary GIS can be generated by applying the rotation operator U to a certain OIS. In this sense, the set of OISs is unitarily equivalent …
We classify, up to local unitary equivalence, local unitary stabilizer Lie algebras for symmetric mixed states into six classes. These include the stabilizer types of the Werner states, the GHZ state and its generalizations, and Dicke states. For all but the zero algebra, we classify entanglement types (local unitary equivalence classes) of symmetric mixed states that have those stabilizers. We make use of the identification of symmetric density matrices with polynomials in three variables with real coefficients and apply the representation theory of SO(3) on this space of polynomials.
We derive necessary and sufficient conditions for arbitrary multi--mode (pure or mixed) Gaussian states to be equivalent under Gaussian local unitary operations. To do so, we introduce a standard form for Gaussian states, which has the properties that (i) every state can be transformed into its standard form via Gaussian local unitaries and (ii) it is unique and (iii) it can be easily computed. Thus, two states are equivalent under Gaussian local unitaries iff their standard form coincides. We explicitly derive the standard form for two-- and three--mode Gaussian pure states. We then investiga…
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.
In its most basic form, the finite quantum de Finetti theorem states that the reduced k-partite density operator of an n-partite symmetric state can be approximated by a convex combination of k-fold product states. Variations of this result include Renner's "exponential" approximation by "almost-product" states, a theorem which deals with certain triples of representations of the unitary group, and D'Cruz et al.'s result for infinite-dimensional systems. We show how these theorems follow from a single, general de Finetti theorem for representations of symmetry groups, each instance correspondi…
We classify local unitary equivalence classes of symmetric states via a classification of their local unitary stabilizer subgroups. For states whose local unitary stabilizer groups have a positive number of continuous degrees of freedom, the classification is exhaustive. We show that local unitary stabilizer groups with no continuous degrees of freedom are isomorphic to finite subgroups of the rotation group SO(3), and give examples of states with discrete stabilizers.
