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:1305.2435

A few algebraic problems in the theory of quantum entanglement

Łukasz Skowronek

Published May 10, 2013• 1 citation
arXivHTMLPDF

Abstract

We present solutions to a set of problems that arise in quantum entanglement theory, whose common trait is the use of algebraic methods. The backbone of the thesis consists of two general theorems, pertaining to specific convex sets of quantum maps. They are complemented by solutions of many more specific problems of rather technical character. These problems concerned questions such as the higher rank numerical ranges, the lengths of separable states, the solutions of compression equations, the completely entangled subspaces, and maximally entangled states. The solutions were obtained partly by hand, and partly by using the Groebner basis toolset available in computer algebra systems. The main results, which are those of general nature, consist of a characterization of mapping cones, which is a full analogue of the positive maps criterion for separability, as well as of a full characterization of positive-partial-transpose entangled states of minimum rank. The thesis also contains an introduction to the theory of quantum entanglement and to basic algebraic geometry, whose methods have been used

DOI
10.48550/arxiv.1305.2435

Related papers

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

Norms and Cones in the Theory of Quantum Entanglement

Nathaniel Johnston

There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.

arXiv:1207.1479•Jul 5, 2012•11 citations

Entanglement and Quantumness - New Numerical Approaches -

Fabian Bohnet-Waldraff

The main topic of this compilation thesis is the investigation of multipartite entanglement of finite dimensional systems. We developed a numerical algorithm that detects if a multipartite state is entangled or separable in a finite number of steps of a semi-definite optimization task. This method is an extension of previously known semi-definite methods, which are inconclusive when the state is separable. In our case, if the state is separable, an explicit decomposition into a mixture of separable states can be extracted. This was achieved by mapping the entanglement problem onto the mathematically well studied truncated moment problem. Additionally, a new way of writing the partially transposed state for symmetric multi-qubit states was developed which simplifies many results previously known in entanglement theory. This new way of writing the partial transpose criterion unifies different interpretations and alternative formulations of the partial transpose criterion and it is also a part in the aforementioned semi-definite algorithm. The geometric properties of entangled symmetric states of two qubits were studied in detail: We could answer the question of how far a given pure state is from the convex hull of symmetric separable states, as measured by the Hilbert-Schmidt distance, by giving an explicit formula for the closest separable symmetric state. For mixed states we could provide a numerical upper and analytical lower bound for this distance. For a larger number of qubits we investigated the ball of absolutely classical states, i.e. symmetric multi-qubit states that stay separable under any unitary transformation. We found an analytical lower bound for the radius of this ball around the maximally mixed symmetric state and gave a numerical upper bound on this radius, by searching for an entangled state as close as possible to the maximally mixed symmetric state. The tensor representation of a symmetric multi-qubit state, or spin-j state, allowed us to study entanglement properties based on the spectrum of the tensor via tensor eigenvalues. The definiteness of this tensor relates to the entanglement of the state it represents and, hence, the smallest tensor eigenvalue can be used to detect entanglement. However, the tensor eigenvalues are more difficult to determine than the familiar matrix eigenvalues which made the investigation computationally more challenging. The relationship between the value of the smallest tensor eigenvalue and the amount of entanglement in the state was also investigated. It turned out that they are strongly correlated for small system sizes, i.e. for up to six qubits. However, to investigate this correlation we needed an independent way to gauge the amount of entanglement of a state and in order to do so we improved existing numerical methods to determine the distance of a state to the set of separable symmetric states, using a combination of linear and quadratic programming. The tensor representation of symmetric multi-qubit states was also used to formally define a new tensor class of regularly decomposable tensors that corresponds to the set of separable symmetric multi-qubit states.

•Sep 29, 2017•0 citations

Dualities and positivity in the study of quantum entanglement

Łukasz Skowronek

We present a survey on mathematical topics relating to separable states and entanglement witnesses. The convex cone duality between separable states and entanglement witnesses is discussed and later generalized to other families of operators, leading to their characterization via multiplicative properties. The condition for an operator to be an entanglement witness is rephrased as a problem of positivity of a family of real polynomials. By solving the latter in a specific case of a three-parameter family of operators, we obtain explicit description of entanglement witnesses belonging to that family. A related problem of block positivity over real numbers is discussed. We also consider a broad family of block positivity tests and prove that they can never be sufficient, which should be useful in case of future efforts in that direction. Finally, we introduce the concept of length of a separable state and present new results concerning relationships between the length and Schmidt rank. In particular, we prove that separable states of length lower of equal 3 have Schmidt ranks equal to their lengths. We also give an example of a state which has length 4 and Schmidt rank 3.

arXiv:1001.3655•Jan 20, 2010•0 citations

DUALITIES AND POSITIVITY IN THE STUDY OF QUANTUM ENTANGLEMENT

Łukasz Skowronek

We present a survey on mathematical topics relating to separable states and entanglement witnesses. The convex cone duality between separable states and entanglement witnesses is discussed and later generalized to other families of operators, leading to their characterization via multiplicative properties. The condition for an operator to be an entanglement witness is rephrased as a problem of positivity of a family of real polynomials. By solving the latter in a specific case of a three-parameter family of operators, we obtain explicit description of entanglement witnesses belonging to that family. A related problem of block positivity over real numbers is discussed. We also consider a broad family of block positivity tests and prove that they can never be sufficient, which should be useful in case of future efforts in that direction. Finally, we introduce the concept of length of a separable state and present new results concerning relationships between the length and Schmidt rank. In particular, we prove that separable states of length lower or equal to 3 have Schmidt ranks equal to their lengths. We also give an example of a state which has length 4 and Schmidt rank 3.

International Journal of Quantum Information•Aug 1, 2010•7 citations

Quantum Correlations:Geometry and Applications

Shreya Banerjee

In the studies of quantum information and computation, the quantum correlations present in a non-classical system are seen as natural resources. In this thesis, we present a detailed study on quantification and characterization of multipartite quantum entanglement from a geometric perspective. Furthermore, we present protocols and algorithms where quantum correlations such as entanglement, quantum Fisher information, and quantum superposition have been used to provide advantages as well securities in quantum communication tasks, quantum speed-up, and protection against the decoherence in an open quantum system. First, we use a geometric measure of entanglement quantification based on Euclidean distance of the Hermitian matrices to obtain the minimum distance between the set of bipartite n- qudit density matrices with a positive partial transpose and the maximally mixed state. This minimum distance coincides with the radius of the largest separable ball. We present the interior geometry of the set of all positive semidefinite matrices and identify a particular class of Werner states for which the Peres-Horodecki criterion is both necessary and sufficient for separability even in the dimensions greater than six.

•Mar 1, 2021•0 citations
We present solutions to a set of problems that arise in quantum entanglement theory, whose common trait is the use of algebraic methods. The backbone of the thesis consists of two general theorems, pertaining to specific convex sets of quantum maps. They are complemented by solutions of many more specific problems of rather technical character. These problems concerned questions such as the higher rank numerical ranges, the lengths of separable states, the solutions of compression equations, the completely entangled subspaces, and maximally entangled states. The solutions were obtained partly by hand, and partly by using the Groebner basis toolset available in computer algebra systems. The main results, which are those of general nature, consist of a characterization of mapping cones, which is a full analogue of the positive maps criterion for separability, as well as of a full characterization of positive-partial-transpose entangled states of minimum rank. The thesis also contains an introduction to the theory of quantum entanglement and to basic algebraic geometry, whose methods have been used
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.
There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.
The main topic of this compilation thesis is the investigation of multipartite entanglement of finite dimensional systems. We developed a numerical algorithm that detects if a multipartite state is entangled or separable in a finite number of steps of a semi-definite optimization task. This method is an extension of previously known semi-definite methods, which are inconclusive when the state is separable. In our case, if the state is separable, an explicit decomposition into a mixture of separable states can be extracted. This was achieved by mapping the entanglement problem onto the mathematically well studied truncated moment problem. Additionally, a new way of writing the partially transposed state for symmetric multi-qubit states was developed which simplifies many results previously known in entanglement theory. This new way of writing the partial transpose criterion unifies different interpretations and alternative formulations of the partial transpose criterion and it is also a part in the aforementioned semi-definite algorithm. The geometric properties of entangled symmetric states of two qubits were studied in detail: We could answer the question of how far a given pure state is from the convex hull of symmetric separable states, as measured by the Hilbert-Schmidt distance, by giving an explicit formula for the closest separable symmetric state. For mixed states we could provide a numerical upper and analytical lower bound for this distance. For a larger number of qubits we investigated the ball of absolutely classical states, i.e. symmetric multi-qubit states that stay separable under any unitary transformation. We found an analytical lower bound for the radius of this ball around the maximally mixed symmetric state and gave a numerical upper bound on this radius, by searching for an entangled state as close as possible to the maximally mixed symmetric state. The tensor representation of a symmetric multi-qubit state, or spin-j state, allowed us to study entanglement properties based on the spectrum of the tensor via tensor eigenvalues. The definiteness of this tensor relates to the entanglement of the state it represents and, hence, the smallest tensor eigenvalue can be used to detect entanglement. However, the tensor eigenvalues are more difficult to determine than the familiar matrix eigenvalues which made the investigation computationally more challenging. The relationship between the value of the smallest tensor eigenvalue and the amount of entanglement in the state was also investigated. It turned out that they are strongly correlated for small system sizes, i.e. for up to six qubits. However, to investigate this correlation we needed an independent way to gauge the amount of entanglement of a state and in order to do so we improved existing numerical methods to determine the distance of a state to the set of separable symmetric states, using a combination of linear and quadratic programming. The tensor representation of symmetric multi-qubit states was also used to formally define a new tensor class of regularly decomposable tensors that corresponds to the set of separable symmetric multi-qubit states.
We present a survey on mathematical topics relating to separable states and entanglement witnesses. The convex cone duality between separable states and entanglement witnesses is discussed and later generalized to other families of operators, leading to their characterization via multiplicative properties. The condition for an operator to be an entanglement witness is rephrased as a problem of positivity of a family of real polynomials. By solving the latter in a specific case of a three-parameter family of operators, we obtain explicit description of entanglement witnesses belonging to that family. A related problem of block positivity over real numbers is discussed. We also consider a broad family of block positivity tests and prove that they can never be sufficient, which should be useful in case of future efforts in that direction. Finally, we introduce the concept of length of a separable state and present new results concerning relationships between the length and Schmidt rank. In particular, we prove that separable states of length lower of equal 3 have Schmidt ranks equal to their lengths. We also give an example of a state which has length 4 and Schmidt rank 3.
We present a survey on mathematical topics relating to separable states and entanglement witnesses. The convex cone duality between separable states and entanglement witnesses is discussed and later generalized to other families of operators, leading to their characterization via multiplicative properties. The condition for an operator to be an entanglement witness is rephrased as a problem of positivity of a family of real polynomials. By solving the latter in a specific case of a three-parameter family of operators, we obtain explicit description of entanglement witnesses belonging to that family. A related problem of block positivity over real numbers is discussed. We also consider a broad family of block positivity tests and prove that they can never be sufficient, which should be useful in case of future efforts in that direction. Finally, we introduce the concept of length of a separable state and present new results concerning relationships between the length and Schmidt rank. In particular, we prove that separable states of length lower or equal to 3 have Schmidt ranks equal to their lengths. We also give an example of a state which has length 4 and Schmidt rank 3.
In the studies of quantum information and computation, the quantum correlations present in a non-classical system are seen as natural resources. In this thesis, we present a detailed study on quantification and characterization of multipartite quantum entanglement from a geometric perspective. Furthermore, we present protocols and algorithms where quantum correlations such as entanglement, quantum Fisher information, and quantum superposition have been used to provide advantages as well securities in quantum communication tasks, quantum speed-up, and protection against the decoherence in an open quantum system. First, we use a geometric measure of entanglement quantification based on Euclidean distance of the Hermitian matrices to obtain the minimum distance between the set of bipartite n- qudit density matrices with a positive partial transpose and the maximally mixed state. This minimum distance coincides with the radius of the largest separable ball. We present the interior geometry of the set of all positive semidefinite matrices and identify a particular class of Werner states for which the Peres-Horodecki criterion is both necessary and sufficient for separability even in the dimensions greater than six.