Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0110103 · Journal of Mathematical Physics

Quantum entanglement and geometry of determinantal varieties

Hao Chen

Published May 1, 2006• 10 citations
arXivHTMLPDF

Abstract

Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky, and Rosen. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication, and quantum cryptography. 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 on bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are naturally arised from the physical consideration of measuring mixed states by separable pure states. Our construction has applications in the following important topics in quantum information theory: (1) separability criterion, it is proved that the algebraic sets must be a union of the linear subspaces if the mixed states are separable; (2) simulation of Hamiltonians, it is proved that the simulation of semipositive Hamiltonians of the same rank implies the projective isomorphisms of the corresponding algebraic sets; (3) construction of bound entangled mixed states, examples of the entangled mixed states which are invariant under partial transpositions (thus PPT bound entanglement) are constructed systematically from our new separability criterion.

DOI
10.1063/1.2194629

Related papers

Quantum entanglement without eigenvalue spectra

Hao Chen

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.Based on our criterion, examples are given to illustrate that entangled mixed states which are invariant under partial transposition or fufill entropy and disorder criterion of separability can be constructed systematically.We reveal that a large part of quantum entanglement is independent of eigenvalue spectra and develop a method to measure this part of quantum enatnglement.The results are extended to multipartite case.

arXiv:quant-ph/0108093•Aug 21, 2001•2 citations

Quantum entanglement without eigenvalue spectra:multipartite case

Hao Chen

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 criterion of multipartite mixed states. A continuous family of 4-party mixed states, whose members are separable for any 2:2 cut and entangled for any 1:3 cut (thus bound entanglement if 4 parties are isolated), is constructed and studied from our invariants and separability criterion. Examples of LOCC-incomparable entangled tripartite pure states are given to show it is hopeless to characterize the entanglement properties of tripartite pure states by only using the eigenvalue speactra of their partial traces. We also prove that at least $n^2+n-1$ terms of separable pure states, which are "orthogonal" in some sence, are needed to write a generic pure state in $H_A^{n^2} \otimes H_B^{n^2} \otimes H_C^{n^2}$ as a linear combination of them.

arXiv:quant-ph/0109056•Sep 13, 2001•2 citations

New Invariants and Separability Criterion of the Mixed States: Multipartite Case

Chen, Hao

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

arXiv:quant-ph/0107112•Jul 23, 2001•0 citations

New Invariants and Separability criterion of the Mixed States: Bipartite Case

Hao Chen

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

arXiv:quant-ph/0107111•Jul 23, 2001•1 citation

Classifying entanglement by algebraic geometry

Masoud Gharahi

Quantum Entanglement is one of the key manifestations of quantum mechanics that separate the quantum realm from the classical one. Characterization of entanglement as a physical resource for quantum technology became of uppermost importance. While the entanglement of bipartite systems is already well understood, the ultimate goal to cope with the properties of entanglement of multipartite systems is still far from being realized. This paper covers characterization of multipartite entanglement using algebraic-geometric tools. First, we establish an algorithm to classify multipartite entanglement by [Formula: see text]-secant varieties of the Segre variety and [Formula: see text]-multilinear ranks that are invariant under Stochastic Local Operations with Classical Communication (SLOCC). We present a fine-structure classification of multiqubit and tripartite entanglement based on this algorithm. Another fundamental problem in quantum information theory is entanglement transformation that is quite challenging regarding to multipartite systems. It is captivating that the proposed entanglement classification by algebraic geometry can be considered as a reference to study SLOCC and asymptotic SLOCC interconversions among different resources based on tensor rank and border rank, respectively. In this regard, we also introduce a new class of tensors that we call persistent tensors and construct a lower bound for their tensor rank. We further cover SLOCC convertibility of multipartite systems considering several families of persistent tensors.

arXiv:2408.12265•International Journal of Quantum Information•Dec 3, 2023•2 citations

Geometric Aspects of Quantum Entanglement

Leif Ove Hansen

Summary: \nEntanglement is a strange feature contained in the quantum mechanical framework, first observed theoretically by Erwin Schrödinger and Albert Einstein. An inherent attribute of entanglement is non-locality, and in the continuation of this, several non-reductionist features, which are conceptually challenging and philosophically interesting. \n \nA considerable growth of the interest in quantum entanglement has occurred since the early 1990s, and much of the reason for this is that the tools of quantum optics and modern instrumentation have made it possible to measure and manipulate entangled quantum systems. Today, several applications of entanglement exist, including quantum computers and several areas in quantum communications. \n \nA quantum state is either separable or entangled, it cannot be none or both. A separable state do not exhibit the non-local features found in entangled states, and are in this sense comparable to classic states. An important issue here is the separability problem, which is the problem of determining whether a given state is entangled or not. \n \nWe study these quantum states as Hermitian matrices with positive eigenvalues in convex spaces. The PPT criterion is based on the partial transposition operation, which essentially transposes one of the two subsystems in the quantum system. For some states the result is another quantum (positive) state, and these are PPT (Positive Partial Transpose) states, while others that gain negative eigenvalues are called NPT states. \n \nFor systems of dimensions 2 × 2 and 2 × 3, the PPT states are identical to the separable states, and the NPT states are identical to the entangled states, so the PPT criterion is always conclusive. But for larger dimensions, such as for instance the 3 × 3 system, there always exist PPT states that are entangled, so for this case the PPT criterion can only be used in a contrapositive way. Since entangled PPT states in this sense seem to have great significance, their characteristics are worth studying. \nAs mentioned, the PPT criterion uses the transposition map on one of the two subsystems of a composite quantum system. Transposition is an example of a positive map, in that it maps all quantum states into quantum states. It is possible to use positive maps to formulate a much more general criterion for the separability problem.There is a link (an isomorphism) between positive maps and a subset of Hermitian operators called entanglement witnesses. \n \nThe so-called Horodecki criterion states that a quantum state is separable if and only if the expectation value of all entanglement witnesses in the state are non-negative. If the expectation value of one (or possibly several) entanglement witnesses in a given quantum state is negative, then the state is always entangled. This criterion is both necessary and sufficient, but demands that we can characterize the entire set of entanglement witnesses. \n \nThe approach in this thesis is through geometry. Of fundamental importance is the convex nature of the sets in question. The knowledge and understanding of the extremal points in these sets is very relevant, since they describe the sets completely. Undertaking completely analytic studies of the geometry at hand is in general very hard, especially as the dimension of the systems grow. The development and use of numerical tools is therefore essential.

•Jan 1, 2016•0 citations
Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky, and Rosen. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication, and quantum cryptography. 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 on bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are naturally arised from the physical consideration of measuring mixed states by separable pure states. Our construction has applications in the following important topics in quantum information theory: (1) separability criterion, it is proved that the algebraic sets must be a union of the linear subspaces if the mixed states are separable; (2) simulation of Hamiltonians, it is proved that the simulation of semipositive Hamiltonians of the same rank implies the projective isomorphisms of the corresponding algebraic sets; (3) construction of bound entangled mixed states, examples of the entangled mixed states which are invariant under partial transpositions (thus PPT bound entanglement) are constructed systematically from our new separability criterion.
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.Based on our criterion, examples are given to illustrate that entangled mixed states which are invariant under partial transposition or fufill entropy and disorder criterion of separability can be constructed systematically.We reveal that a large part of quantum entanglement is independent of eigenvalue spectra and develop a method to measure this part of quantum enatnglement.The results are extended to multipartite case.
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 criterion of multipartite mixed states. A continuous family of 4-party mixed states, whose members are separable for any 2:2 cut and entangled for any 1:3 cut (thus bound entanglement if 4 parties are isolated), is constructed and studied from our invariants and separability criterion. Examples of LOCC-incomparable entangled tripartite pure states are given to show it is hopeless to characterize the entanglement properties of tripartite pure states by only using the eigenvalue speactra of their partial traces. We also prove that at least n2+n−1n^2+n-1n2+n−1 terms of separable pure states, which are "orthogonal" in some sence, are needed to write a generic pure state in HAn2⊗HBn2⊗HCn2H_A^{n^2} \otimes H_B^{n^2} \otimes H_C^{n^2}HAn2​⊗HBn2​⊗HCn2​ as a linear combination of them.
Quantum Entanglement is one of the key manifestations of quantum mechanics that separate the quantum realm from the classical one. Characterization of entanglement as a physical resource for quantum technology became of uppermost importance. While the entanglement of bipartite systems is already well understood, the ultimate goal to cope with the properties of entanglement of multipartite systems is still far from being realized. This paper covers characterization of multipartite entanglement using algebraic-geometric tools. First, we establish an algorithm to classify multipartite entanglement by [Formula: see text]-secant varieties of the Segre variety and [Formula: see text]-multilinear ranks that are invariant under Stochastic Local Operations with Classical Communication (SLOCC). We present a fine-structure classification of multiqubit and tripartite entanglement based on this algorithm. Another fundamental problem in quantum information theory is entanglement transformation that is quite challenging regarding to multipartite systems. It is captivating that the proposed entanglement classification by algebraic geometry can be considered as a reference to study SLOCC and asymptotic SLOCC interconversions among different resources based on tensor rank and border rank, respectively. In this regard, we also introduce a new class of tensors that we call persistent tensors and construct a lower bound for their tensor rank. We further cover SLOCC convertibility of multipartite systems considering several families of persistent tensors.
Summary: \nEntanglement is a strange feature contained in the quantum mechanical framework, first observed theoretically by Erwin Schrödinger and Albert Einstein. An inherent attribute of entanglement is non-locality, and in the continuation of this, several non-reductionist features, which are conceptually challenging and philosophically interesting. \n \nA considerable growth of the interest in quantum entanglement has occurred since the early 1990s, and much of the reason for this is that the tools of quantum optics and modern instrumentation have made it possible to measure and manipulate entangled quantum systems. Today, several applications of entanglement exist, including quantum computers and several areas in quantum communications. \n \nA quantum state is either separable or entangled, it cannot be none or both. A separable state do not exhibit the non-local features found in entangled states, and are in this sense comparable to classic states. An important issue here is the separability problem, which is the problem of determining whether a given state is entangled or not. \n \nWe study these quantum states as Hermitian matrices with positive eigenvalues in convex spaces. The PPT criterion is based on the partial transposition operation, which essentially transposes one of the two subsystems in the quantum system. For some states the result is another quantum (positive) state, and these are PPT (Positive Partial Transpose) states, while others that gain negative eigenvalues are called NPT states. \n \nFor systems of dimensions 2 × 2 and 2 × 3, the PPT states are identical to the separable states, and the NPT states are identical to the entangled states, so the PPT criterion is always conclusive. But for larger dimensions, such as for instance the 3 × 3 system, there always exist PPT states that are entangled, so for this case the PPT criterion can only be used in a contrapositive way. Since entangled PPT states in this sense seem to have great significance, their characteristics are worth studying. \nAs mentioned, the PPT criterion uses the transposition map on one of the two subsystems of a composite quantum system. Transposition is an example of a positive map, in that it maps all quantum states into quantum states. It is possible to use positive maps to formulate a much more general criterion for the separability problem.There is a link (an isomorphism) between positive maps and a subset of Hermitian operators called entanglement witnesses. \n \nThe so-called Horodecki criterion states that a quantum state is separable if and only if the expectation value of all entanglement witnesses in the state are non-negative. If the expectation value of one (or possibly several) entanglement witnesses in a given quantum state is negative, then the state is always entangled. This criterion is both necessary and sufficient, but demands that we can characterize the entire set of entanglement witnesses. \n \nThe approach in this thesis is through geometry. Of fundamental importance is the convex nature of the sets in question. The knowledge and understanding of the extremal points in these sets is very relevant, since they describe the sets completely. Undertaking completely analytic studies of the geometry at hand is in general very hard, especially as the dimension of the systems grow. The development and use of numerical tools is therefore essential.