We investigate the equivalence of quantum states under local unitary transformations. A complete set of invariants under local unitary transformations is presented for a class of mixed states. It is shown that two states in this class are locally equivalent if and only if all these invariants have equal values for them.
We construct a nontrivial set of invariants for any multipartite mixed states under the SLOCC symmetry. These invariants are given by hyperdeterminants and independent from basis change. In particular, a family of d^2 invariants for arbitrary d-dimensional even partite mixed states are explicitly given.
We introduce algebraic sets in the complex projective spaces for the mixed states in bipartite quantum systems as their invariants under local unitary operations. The algebraic sets of the mixed state have to be the union of the linear subspaces if the mixed state is separable. Some examples are given and studied based on our criterion
We consider the mixed states of the bipartite quantum system with the first party a qubit and the second a qutrit. The group of local unitary transformations of the system, ignoring the overall phase factor, is the direct product G of SU(2) and SU(3). We compute the simply graded Poincare series of the algebra of G-invariant polynomial functions on the set of mixed states of the system, and construct several low degree invariants.
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 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 apply the inversely-engineered control method based on Lewis-Riesenfeld invariants to control mixed states of a two-level quantum system. We show that the inversely-engineered control passages of mixed states - and pure states as special cases - can be made significantly faster than the conventional adiabatic control passages, which renders the method applicable to quantum computation. We devise a new type of inversely-engineered control passages, to be coined the antedated control passages, which further speed up the control significantly. We also demonstrate that by carefully tuning the c…
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 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.
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.
Entanglement of two parts of a quantum system is a non-local property unaffected by local manipulations of these parts. It is described by quantities invariant under local unitary transformations. Here we present, for a system of two qubits, a set of invariants which provides a complete description of non-local properties. The set contains 18 real polynomials of the entries of the density matrix. We prove that one of two mixed states can be transformed into the other by single-bit operations if and only if these states have equal values of all 18 invariants. Corresponding local operations can …
For triples of probability measures, pure quantum states and mixed quantum states we obtain the exact constraints on the fidelities of pairs in the sequence. We show that it is impossible to decide between a quantum model, either pure or mixed, and a classical model on the basis of the fidelities alone. Next, we introduce a quantum three state invariant called phase and show that any sequence of pure quantum states is uniquely reconstructible given the fidelities and phases.
We present local invariants of multi-partite pure or mixed states, which can be easily calculated and have a straight-forward physical meaning. As an application, we derive a new entanglement criterion for arbitrary mixed states of $n$ parties. The new criterion is weaker than the partial transposition criterion but offers advantages for the study of multipartite systems. A straightforward generalization of these invariants allows for the construction of a complete set of observable polynomial invariants.
We investigate the equivalence of bipartite quantum mixed states under local unitary transformations by introducing representation classes from a geometrical approach. It is shown that two bipartite mixed states are equivalent under local unitary transformations if and only if they have the same representation class. Detailed examples are given on calculating representation classes.
Entangling properties of a mixed 2-qubit system can be described by the local homogeneous unitary invariant polynomials in elements of the density matrix. The structure of the corresponding invariant polynomial ring for the special subclass of states, the so-called mixed X-states, is established. It is shown that for the X-states there is an injective ring homomorphism of the quotient ring of SU(2)xSU(2) invariant polynomials modulo its syzygy ideal and the SO(2)xSO(2)-invariant ring freely generated by five homogeneous polynomials of degrees 1,1,1,2,2.
In the present paper few steps are undertaken towards the description of the qubit-qutrit pair - quantum bipartite system composed of two and three level subsystems. The computational difficulties with the construction of the local unitary polynomial invariants are discussed. Calculations of the Molien functions and Poincare series for the qubit-qubit and qubit-qutrit local unitary invariants are outlined and compared with the known results. The requirement of positive semi-definiteness of the density operator is formulated explicitly as a set of inequalities in five Casimir invariants of the …
From the consideration of measuring bipartite mixed states by separable pure states, we introduce algebraic sets in complex projective spaces for bipartite mixed states as the degenerating locus of the measurement. These algebraic sets are independent of the eigenvalues and only measure the "position" of eigenvectors of bipartite mixed states. They are nonlocal invariants ie., remaining invariant after local unitary transformations. The algebraic sets have to be the sum of the linear subspaces if the mixed states are separable, and thus we give a "eigenvalue-free" criterion of separability.Bas…
We study the structure of the inverse limit of the graded algebras of local unitary invariant polynomials using its Hilbert series. For k subsystems, we conjecture that the inverse limit is a free algebra and the number of algebraically independent generators with homogenous degree 2m equals the number of conjugacy classes of index m subgroups in a free group on k-1 generators. Similarly, we conjecture that the inverse limit in the case of k-partite mixed state invariants is free and the number of algebraically independent generators with homogenous degree m equals the number of conjugacy clas…
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 introduce algebriac sets in the products of complex projective spaces for multipartite mixed states, which are independent of their eigenvalues and only measure the "position" of their eigenvectors, as their non-local invariants (ie. remaining invariant after local untary transformations). These invariants are naturally arised from the physical consideration of checking multipartite mixed states by measuring them with multipartite separable pure states. The algebraic sets have to be the sum of linear subspaces if the multipartite mixed state is separable, and thus we give a new separability…
Pure three-qubit states have five algebraically independent and one algebraically dependent polynomial invariants under local unitary transformations and an arbitrary entanglement measure is a function of these six invariants. It is shown that if the reduced density operator of a some qubit is a multiple of the unit operator, than the geometric entanglement measure of the pure three-qubit state is absolutely independent of the polynomial invariants and is a constant for such tripartite states. Hence a one-particle completely mixed state is a critical point for the geometric measure of entangle…
Our previous work about algebraic-geometric invariants of the mixed states are extended and a stronger separability criterion is given. We also show that the Schmidt number of pure states in bipartite quantum systems, a classical concept, is actually an algebraic-geometric invariant.
Let M be the set of mixed states and S the set of separable states of the two-qubit system, and G = SU(2) x SU(2) the group of local unitary transformations (ignoring the overall phase factor). We compute the multigraded Poincare series for the algebra of G-invariant polynomial functions on the affine space of all Hermitian operators of trace 1. We check that this series is consistent with the list of invariants computed by Makhlin. By using the recent result of Augusiak et al., we show that the boundary of S decomposes naturally into two pieces. We prove that the part of this boundary which i…
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 consider local unitary invariants and entanglement monotones for the mixed two qutrit system. Character methods for the local SU(3)xSU(3) transformation group are used to establish the count of algebraically independent polynomial invariants up to degree 5 in the components of the density operator. These are identified up to quartic degree in the standard basis of Gell-Mann matrices, with the help of the calculus of f and d coefficients. Next, investigating local measurement operations, we study a SLOCC qutrit group, which plays the role of a `relativistic' transformation group analogous to…
We investigate the equivalence of quantum states under local unitary transformations. A complete set of invariants under local unitary transformations is presented for a class of non-generic three-qubit mixed states. It is shown that two such states in this class are locally equivalent if and only if all these invariants have equal values for them.
Meaningful topological invariants for mixed quantum states are challenging to identify as there is no unique way to define them, and most choices do not directly relate to physical observables. Here, we propose a simple pragmatic approach to construct topological invariants of mixed states while preserving a connection to physical observables, by continuously deforming known topological invariants for pure (ground) states. Our approach relies on expectation values of many-body operators, with no reference to single-particle (e.g., Bloch) wavefunctions. To illustrate it, we examine extensions t…
In a recent paper [Bardyn et al. Phys. Rev. X 8, 011035 (2018)], it was shown that the generalization of the many-body polarization to mixed states can be used to construct a topological invariant which is also applicable to finite-temperature and non-equilibrium Gaussian states of lattice fermions. The many-body polarization defines an ensemble geometric phase (EGP) which is identical to the Zak phase of a fictitious Hamiltonian, whose symmetries determine the topological classification. Here we show that in the case of Gaussian states of bosons the corresponding topological invariant is alwa…
We investigate different geometries and invariant measures on the space of mixed Gaussian quan- tum states. We show that when the global purity of the state is held fixed, these measures coincide and it is possible, within this constraint, to define a unique notion of volume on the space of mixed Gaussian states. We then use the so defined measure to study typical non-classical correlations of two mode mixed Gaussian quantum states, in particular entanglement and steerability. We show that under the purity constraint alone, typical values for symplectic invariants can be computed very elegantl…
An algorithm is proposed that serves to handle full rank density matrices, when coming from a lower rank method to compute the convex-roof. This is in order to calculate an upper bound for any polynomial SL invariant multipartite entanglement measure E. Here, it is exemplifyed how this algorithm works, based on a method for calculating convex-roofs of rank two density matrices. It iteratively considers the decompositions of the density matrix into two states each, exploiting the knowledge for the rank-two case. The algorithm is therefore quasi exact as far as the two rank case is concerned, an…
Invariant operator-valued tensor fields on Lie groups are considered. These define classical tensor fields on Lie groups by evaluating them on a quantum state. This particular construction, applied on the local unitary group U(n)xU(n), may establish a method for the identification of entanglement monotone candidates by deriving invariant functions from tensors being by construction invariant under local unitary transformations. In particular, for n=2, we recover the purity and a concurrence related function (Wootters 1998) as a sum of inner products of symmetric and anti-symmetric parts of the…
Lagrangian descriptions of irreducible and reducible integer higher-spin representations of the Poincare group subject to a Young tableaux $Y[\hat{s}_1,\hat{s}_2]$ with two columns are constructed within a metric-like formulation in a $d$-dimensional flat space-time on the basis of a BRST approach extending the results of [arXiv:1412.0200[hep-th]]. A Lorentz-invariant resolution of the BRST complex within both the constrained and unconstrained BRST formulations produces a gauge-invariant Lagrangian entirely in terms of the initial tensor field $Φ_{[μ]_{\hat{s}_1}, [μ]_{\hat{s}_2}}$ subject to …
The orbit space $\mathfrak{P}(\mathbb{R}^8)/\mathrm{G}$, of the group $\mathrm{G}:=\mathrm{SU(2)\times U(1)}\subset\mathrm{U(3)}$ acting adjointly on the state space $\mathfrak{P}(\mathbb{R}^8)$ of a 3-level quantum system is discussed. The semi-algebraic structure of $\mathfrak{P}(\mathbb{R}^8) /\mathrm{G}$, is determined within the Procesi-Schwarz method. Using the integrity basis for the ring of G-invariant polynomials, $\mathbb{R}[\mathfrak{P}(\mathbb{R}^8)]^{\mathrm{G}}$, the set of constraints on the Casimir invariants of $\mathrm{U}(3)$ group coming from the positivity requirement of Pr…
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.
Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication and quantum cryptography ([16],[17],[6]). In this paper, we introduce algebraic sets, which are determinantal varieties in the complex projective spaces or the products of complex projective spaces, for the mixed states in bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are n…