Effective criteria for entanglement witnesses in small dimensions

Abstract

We present an effective set of necessary and sufficient criteria for block-positivity of matrices of order $4$ over $\mathbb{C}$. The approach is based on Sturm sequences and quartic polynomial positivity conditions presented in recent literature. The procedure allows us to test whether a given $4\times 4$ complex matrix corresponds to an entanglement witness, and it is exact when the matrix coefficients belong to the rationals, extended by $\mathrm{i}$. The method can be generalized to ${\mathcal{H}}_2\otimes {\mathcal{H}}_d$ systems for $d>2$ to provide necessary but not sufficient criterion for block-positivity. We also outline an alternative approach to the problem relying on Gröbner bases.

arXiv comment24 pages, 3 figures

References in corpus (15)

• Quantum entanglement
• The Security of Practical Quantum Key Distribution
• Separability of Mixed States: Necessary and Sufficient Conditions
• Entanglement detection
• Bell Inequalities and the Separability Criterion
• Optimization of entanglement witnesses
• Entanglement witnesses: construction, analysis and classification
• Universal observable detecting all two-qubit entanglement and determinant based separability tests
• Optimality for indecomposable entanglement witnesses
• Spectral properties of entanglement witnesses
• The Inverse Eigenvalue Problem for Entanglement Witnesses
• Positive maps, positive polynomials and entanglement witnesses
• There is no direct generalization of positive partial transpose criterion to the three-by-three case
• Separability in terms of a single entanglement witness
• Necessary conditions for optimality of decomposable entanglement witnesses