Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Effective criteria for entanglement witnesses in small dimensions

Łukasz Grzelka, Łukasz Skowronek, Karol Życzkowski

TL;DR

The paper tackles the problem of distinguishing block-positive operators from the set of separable-state duals via entanglement witnesses in small-dimensional bipartite systems. It develops an exact, Sturm-sequence–based procedure for testing $4\times4$ Hermitian matrices by reducing block-positivity to a trace condition on projected matrices $X_w$ and a determinant condition that becomes a biquadratic quartic in real parameters, solvable with quartic-positivity criteria and Sturm theory. The authors extend the approach to qudit–qubit systems using analogous polynomial tests and present a Gröbner-basis alternative that yields sufficient criteria. They validate the methods on one-parameter witness families, demonstrating practical detection and providing certificates of non-block-positivity when applicable. Collectively, the work offers rigorous, computationally tractable tools for entanglement-witness validation in small dimensions with clear connections to PPT and optimality concepts.

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.

Effective criteria for entanglement witnesses in small dimensions

TL;DR

The paper tackles the problem of distinguishing block-positive operators from the set of separable-state duals via entanglement witnesses in small-dimensional bipartite systems. It develops an exact, Sturm-sequence–based procedure for testing Hermitian matrices by reducing block-positivity to a trace condition on projected matrices and a determinant condition that becomes a biquadratic quartic in real parameters, solvable with quartic-positivity criteria and Sturm theory. The authors extend the approach to qudit–qubit systems using analogous polynomial tests and present a Gröbner-basis alternative that yields sufficient criteria. They validate the methods on one-parameter witness families, demonstrating practical detection and providing certificates of non-block-positivity when applicable. Collectively, the work offers rigorous, computationally tractable tools for entanglement-witness validation in small dimensions with clear connections to PPT and optimality concepts.

Abstract

We present an effective set of necessary and sufficient criteria for block-positivity of matrices of order over . 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 complex matrix corresponds to an entanglement witness, and it is exact when the matrix coefficients belong to the rationals, extended by . The method can be generalized to systems for to provide necessary but not sufficient criterion for block-positivity. We also outline an alternative approach to the problem relying on Gröbner bases.

Paper Structure

This paper contains 15 sections, 63 equations, 3 figures, 1 table, 2 algorithms.

Table of Contents

  1. Introduction
  2. Setting the scene
  3. Block-positivity and entanglement witnesses for two-qubit system
  4. Non-negativity of trace of $X_w$
  5. Non-negativity of determinant of $X_w$
  6. Effective algorithm
  7. Weakly optimal witnesses
  8. The case of qudit-qubit system
  9. Gröbner basis approach
  10. Exemplary families of entanglement witness
  11. Concluding Remarks
  12. Conditions for non-negativity of polynomials
  13. Logical statements on polynomials
  14. Polynomial $g_\Delta$
  15. Algortihms

Figures (3)

  • Figure 1: Diagram representing the set of density matrices $\Omega$, with the subset of separable states $\Omega_\mathrm{S}$. Set $\mathcal{B}$ containing block-positive matrices, is the dual of $\Omega_\textrm{S}$. Dashed lines $X_1$ and $X_2$ represent entanglement witnesses separating $\Omega_\textrm{S}$ from detected entangled states. Line $X_2$ corresponds to an optimal witness and is tangent to the set of separable states.
  • Figure 2: Eigenvalues $\lambda_i$ and minimal local value $\mu$ of operators $E[a]$ from (\ref{['eq:ops']}). Arrows mark intervals on which operators are block-positive (red dotted), and block-positive but not positive (pink solid), thus qualifying as entanglement witnesses.
  • Figure 3: Minimum eigenvalue $\lambda_{min}$ and minimal local value $\mu$ of operators $F[a]$ from (\ref{['eq:ops']}). Arrows mark the intervals on which the different block-positivity criteria are satisfied.