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 number of classes. In multiqubit systems, however, two unitary operations typically cannot simulate each other with non-zero probability of success. We also show which kind of entanglement can be created by a given non--local unitary operation and generalize our results to arbitrary operators.
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.
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 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…
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.
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.
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…
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 eq…
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…
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.
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 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.
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…
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 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.
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.
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 …
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 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…
Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e. by calculating the dimensions of reduced spaces, stemming from the symplectic reduction…
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 analytically study quantum dissipative dynamics described by the Caldirola-Kanai model with inter-particle interactions. We have found that the dissipative quantum dynamics of the Caldirola-Kanai model can be exactly mapped to a dissipationless quantum dynamics under a negative external harmonic potential, even when the particles are strongly interacting. In particular, we show that the mapping is valid for the unitary Fermi gas, which is relevant for cold atoms and nuclear matters.
The PT-symmetric (PTS) quantum brachistochrone problem is reanalyzed as quantum system consisting of a non-Hermitian PTS component and a purely Hermitian component simultaneously. Interpreting this specific setup as subsystem of a larger Hermitian system, we find non-unitary operator equivalence classes (conjugacy classes) as natural ingredient which contain at least one Dirac-Hermitian representative. With the help of a geometric analysis the compatibility of the vanishing passage time solution of a PTS brachistochrone with the Anandan-Aharonov lower bound for passage times of Hermitian brach…
We present a formalism of Galilean quantum mechanics in non-inertial reference frames and discuss its implications for the equivalence principle. This extension of quantum mechanics rests on the Galilean line group, the semidirect product of the real line and the group of analytic functions from the real line to the Euclidean group in three dimensions. This group provides transformations between all inertial and non-inertial reference frames and contains the Galilei group as a subgroup. We construct a certain class of unitary representations of the Galilean line group and show that these repre…
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.
Complex phase factors are viewed not only as redundancies of the quantum formalism but instead as remnants of unitary transformations under which the probabilistic properties of observables are invariant. It is postulated that a quantum observable corresponds to a unitary representation of an abelian Lie group, the irreducible subrepresentations of which correspond to the observable's outcomes. It is shown that this identification agrees with the conventional identification as self-adjoint operators. The upshot of this formalism is that one may 'second quantize' the representation to which an …
This study investigated the unitary equivalent classes of one-dimensional quantum walks. We determined the unitary equivalent classes of one-dimensional quantum walks, two-phase quantum walks with one defect, complete two-phase quantum walks, one-dimensional quantum walks with one defect and translation-invariant one-dimensional quantum walks. The unitary equivalent classes of one-dimensional quantum walks with initial states were also considered.
Two gapped quantum ground states in the same phase are connected by an adiabatic evolution which gives rise to a local unitary transformation that maps between the states. On the other hand, gapped ground states remain within the same phase under local unitary transformations. Therefore, local unitary transformations define an equivalence relation and the equivalence classes are the universality classes that define the different phases for gapped quantum systems. Since local unitary transformations can remove local entanglement, the above equivalence/universality classes correspond to pattern …
We present a description of locally equivalent states in terms of symplectic geometry. Using the moment map between local orbits in the space of states and coadjoint orbits of the local unitary group we reduce the problem of local unitary equivalence to an easy part consisting of identifying the proper coadjoint orbit and a harder problem of the geometry of fibers of the moment map. We give a detailed analysis of the properties of orbits of "equally entangled states". In particular we show connections between certain symplectic properties of orbits such as their isotropy and coisotropy with ef…
This study investigates unitary equivalent classes of one-dimensional quantum walks. We prove that one-dimensional quantum walks are unitary equivalent to quantum walks of Ambainis type and that translation-invariant one-dimensional quantum walks are Szegedy walks. We also present a necessary and sufficient condition for a one-dimensional quantum walk to be a Szegedy walk.
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 consider the problem of $\textit{subgroup testing}$ for a quantum circuit $C$: given access to $C$, determine whether it implements a unitary that is $a$-close or $b$-far from a subgroup $\mathcal{G}$ of the unitary group. It encompasses the problem of exact testing, property testing and tolerant testing. In this work, we study these problems with the group $\mathcal{G}$ as the trivial subgroup (i.e. identity testing) or the Pauli or Clifford group and their $q$-ary extension, and a $\textit{promise}$ version of these problems where $C$ is promised to be in some subgroup of the unitaries th…
