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

Linear inequalities related to quantum entanglement theory

Everett Patterson

Published Jan 1, 2020• 0 citations
OpenAlex

Abstract

In this thesis, we will consider various linear inequalities relating the entries and eigenvalues of certain types of matrices. Our approach will consist of constructing inequalities which set bounds on the eigenvalues of entanglement witnesses, a type of matrix of interest to quantum information theory. We will then consider what these can tell us about the relation between the off-diagonal entries and eigenvalues of positive semidefinite matrices.

Related papers

Inequalities and Quantum Entanglement: From the Cauchy-Schwarz Inequality to Non-linear Entanglement Witnesses

Stephan Loor

In this thesis, two topics are studied: mathematical inequalities and non-linear quantum entanglement witnesses. First, various inequalities, like the Cauchy-Schwarz inequality (on finite dimensional vector spaces) and Jensen's inequality, along with their extensions and generalisations, are proved and discussed. The intimate relationship between these inequalities is studied. Because this thesis was restricted to finite dimensional vector spaces, the consequences of generalising the results to infinite dimensional vector spaces are finally determined. Secondly, the topic of entanglement detection is discussed - specifically, non-linear entanglement witnesses are considered. A bipartite and multipartite entanglement criterion based on the previously discussed inequalities are introduced and assessed extensively by considering their optimality, how they relate to other criteria as well as their limitations.

•Jan 1, 2019•0 citations

Constructing all entanglement witnesses from density matrices

Bang-Hai Wang, Dongyang Long

We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$, where $\ensuremath{\rho}$ is a density matrix, ${c}_{\ensuremath{\rho}}$ is a non-negative number related to $\ensuremath{\rho}$, and $I$ is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamio\l{}kowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provide the necessary and sufficient condition of the entanglement witness $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$ in operation, as well as in theory.

arXiv:1111.5255•Physical Review A•Jul 25, 2011•5 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

Characterizing entanglement in quantum information

Federico M. Spedalieri

Entanglement is a key resource in the emerging field of Quantum Information. The strong correlations between systems described by an entangled state allow us to perform certain tasks more efficiently than it would be possible by using only classical resources. This is why the characterization of entanglement is one of the most important problems in Quantum Information. In this thesis, we analyze several aspects of entanglement. First, we introduce a new family of criteria to determine if a bipartite mixed state is entangled or not. This family consists of a sequence of tests that can be implemented efficiently, and has the property that all entangled states can be detected by some test in the sequence. Each test in the family can be stated as a semidefinite program, which is a class of convex optimization problems. The duality structure of these programs allows us to explicitly construct an entanglement witness that proves entanglement of a state, whenever the state fails one of the tests in the sequence. The entanglement witnesses constructed in this manner have well-defined algebraic properties that can be used to give a characterization of the interior of the set of all possible entanglement witnesses, as well as the set of strictly positive bihermitian forms and the set of strictly positive maps. We also study deterministic transformations of three-qubit pure state when only local operations and classical communication (LOCC) are allowed. We derive strong constraints that the operations and states involved must satisfy, and we apply these results to characterize the set of real states that can be obtained from the GHZ state by LOCC.

•May 22, 2003•0 citations

Structured Unitary Matrices and Quantum Entanglement

Wojciech Bruzda

We explore the set of unitary matrices characterized by a given structure in the context of their applications in the field of Quantum Information. In the first part of the Thesis we focus on classification of special classes of unitary matrices and possibility of introducing certain internal parameterizations. Several new results and conjectures are discussed. Second part of the Thesis is devoted to the concept of multipartite quantum entanglement. We present a solution to the problem of absolutely maximally entangled states of four subsystems with six levels each. Finally, we analyze the excess of a matrix and the corresponding Bell inequalities. This combination allows us to draw new conclusions related to quantum nonlocality.

arXiv:2204.12470•Apr 26, 2022•2 citations

Relations between entanglement witnesses and Bell inequalities

Philipp Hyllus, Otfried Gühne, Dagmar Bruß +1 more

Bell inequalities, considered within quantum mechanics, can be regarded as nonoptimal witness operators. We discuss the relationship between such Bell witnesses and general entanglement witnesses in detail for the Bell inequality derived by Clauser, Horne, Shimony, and Holt (CHSH) [Phys. Rev. Lett. 23, 880 (1969)]. We derive bounds on how much an optimal witness has to be shifted by adding the identity operator to make it positive on all states admitting a local hidden variable model. In the opposite direction, we obtain tight bounds for the maximal proportion of the identity operator that can be subtracted from such a CHSH witness, while preserving the witness properties. Finally, we investigate the structure of CHSH witnesses directly by relating their diagonalized form to optimal witnesses of two different classes.

arXiv:quant-ph/0504079•Physical Review A•Jul 20, 2005•112 citations
In this thesis, we will consider various linear inequalities relating the entries and eigenvalues of certain types of matrices. Our approach will consist of constructing inequalities which set bounds on the eigenvalues of entanglement witnesses, a type of matrix of interest to quantum information theory. We will then consider what these can tell us about the relation between the off-diagonal entries and eigenvalues of positive semidefinite matrices.
In this thesis, two topics are studied: mathematical inequalities and non-linear quantum entanglement witnesses. First, various inequalities, like the Cauchy-Schwarz inequality (on finite dimensional vector spaces) and Jensen's inequality, along with their extensions and generalisations, are proved and discussed. The intimate relationship between these inequalities is studied. Because this thesis was restricted to finite dimensional vector spaces, the consequences of generalising the results to infinite dimensional vector spaces are finally determined. Secondly, the topic of entanglement detection is discussed - specifically, non-linear entanglement witnesses are considered. A bipartite and multipartite entanglement criterion based on the previously discussed inequalities are introduced and assessed extensively by considering their optimality, how they relate to other criteria as well as their limitations.
We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$, where $\ensuremath{\rho}$ is a density matrix, ${c}_{\ensuremath{\rho}}$ is a non-negative number related to $\ensuremath{\rho}$, and III is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamio\l{}kowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provide the necessary and sufficient condition of the entanglement witness $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$ in operation, as well as in theory.
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.
Entanglement is a key resource in the emerging field of Quantum Information. The strong correlations between systems described by an entangled state allow us to perform certain tasks more efficiently than it would be possible by using only classical resources. This is why the characterization of entanglement is one of the most important problems in Quantum Information. In this thesis, we analyze several aspects of entanglement. First, we introduce a new family of criteria to determine if a bipartite mixed state is entangled or not. This family consists of a sequence of tests that can be implemented efficiently, and has the property that all entangled states can be detected by some test in the sequence. Each test in the family can be stated as a semidefinite program, which is a class of convex optimization problems. The duality structure of these programs allows us to explicitly construct an entanglement witness that proves entanglement of a state, whenever the state fails one of the tests in the sequence. The entanglement witnesses constructed in this manner have well-defined algebraic properties that can be used to give a characterization of the interior of the set of all possible entanglement witnesses, as well as the set of strictly positive bihermitian forms and the set of strictly positive maps. We also study deterministic transformations of three-qubit pure state when only local operations and classical communication (LOCC) are allowed. We derive strong constraints that the operations and states involved must satisfy, and we apply these results to characterize the set of real states that can be obtained from the GHZ state by LOCC.
We explore the set of unitary matrices characterized by a given structure in the context of their applications in the field of Quantum Information. In the first part of the Thesis we focus on classification of special classes of unitary matrices and possibility of introducing certain internal parameterizations. Several new results and conjectures are discussed. Second part of the Thesis is devoted to the concept of multipartite quantum entanglement. We present a solution to the problem of absolutely maximally entangled states of four subsystems with six levels each. Finally, we analyze the excess of a matrix and the corresponding Bell inequalities. This combination allows us to draw new conclusions related to quantum nonlocality.
Bell inequalities, considered within quantum mechanics, can be regarded as nonoptimal witness operators. We discuss the relationship between such Bell witnesses and general entanglement witnesses in detail for the Bell inequality derived by Clauser, Horne, Shimony, and Holt (CHSH) [Phys. Rev. Lett. 23, 880 (1969)]. We derive bounds on how much an optimal witness has to be shifted by adding the identity operator to make it positive on all states admitting a local hidden variable model. In the opposite direction, we obtain tight bounds for the maximal proportion of the identity operator that can be subtracted from such a CHSH witness, while preserving the witness properties. Finally, we investigate the structure of CHSH witnesses directly by relating their diagonalized form to optimal witnesses of two different classes.