Horodecki Criterion and PPT Separability

• Horodecki Criterion is a separability test that uses positivity under partial transpose and all positive maps to decide if a bipartite state is separable.
• Operational reformulations translate the abstract theory into spectral, witness-based, and combinatorial tests that enable practical entanglement detection.
• The criterion is both necessary and sufficient in low-dimensional systems, while in higher dimensions PPT entangled states reveal its limitations.

Across the cited literature, the expression “Horodecki criterion” denotes several distinct results associated with the Horodecki family. In its standard usage it is the separability criterion built from positivity under partial transpose and, in its most general form, from positivity under all positive maps. For a bipartite state $$\rho\in \mathcal L(\mathcal H_A\otimes\mathcal H_B)$$, separability means

$$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$

while partial transposition on subsystem $B$ is

$(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$

The Peres criterion states that separability implies $\rho^{T_B}\ge 0$. The Horodecki refinement shows that positivity under partial transpose (PPT) is also sufficient for separability in $2\times 2$ and $2\times 3$, but not in higher dimensions, where PPT entangled or bound entangled states exist (2001.08118). In a broader formulation, a bipartite state is separable iff

$(I\otimes \Lambda)(\rho)\ge 0$

for all positive maps $\Lambda$ (Li et al., 2016).

1. Core statement and mathematical form

The standard separability problem begins with the distinction between convex mixtures of product states and genuinely entangled states. In matrix-element notation, partial transpose on the second subsystem acts by

$$(M^{\mathrm{pt}})_{i\alpha,j\beta}=M_{i\beta,j\alpha},$$

and the trace identity

$$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$0

allows one to move the partial transpose from the state to the observable (Goswami et al., 2016). This identity underlies many operational reformulations of the criterion.

Within the standard hierarchy, the Peres test is a necessary condition for separability: if $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$1 is separable, then $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$2 must remain positive semidefinite. The Horodecki positive-map theorem is stronger. Rather than selecting the transpose map alone, it quantifies over all positive maps and thereby gives a necessary-and-sufficient characterization of bipartite separability in arbitrary finite dimension. In that sense, the usual PPT test is the most accessible special case of a more general positive-map framework (Li et al., 2016).

This broader perspective also clarifies the status of partial transpose. The transpose map is positive but not completely positive, so its usefulness lies precisely in the fact that complete positivity is not imposed on the tested subsystem. That is why $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$3 can fail to be positive for entangled states even though $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$4 itself is a valid density operator.

2. Exact low-dimensional regime

The classical low-dimensional theorem is that PPT is necessary and sufficient for separability in $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$5 and $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$6. In the $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$7 case, this can be re-expressed on the map side by Størmer’s theorem: every positivity-preserving map on $$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$8 is decomposable, with

$$\rho=\sum_k p_k\,\rho_k^A\otimes\rho_k^B,\qquad p_k\ge 0,\quad \sum_k p_k=1,$$9

By duality, this is equivalent to the statement that a state on $B$0 is separable iff its partial transpose is positive (Aubrun et al., 2015). The $B$1 case is attributed in the same source to Woronowicz.

For pure bipartite states, the separability problem simplifies further. If

$B$2

then separability is equivalent to the coefficient matrix $B$3 having rank one. A necessary-and-sufficient test is that all $B$4 minors vanish: $B$5 On that basis, PPT becomes not merely necessary but also sufficient for separability of pure bipartite states in arbitrary finite dimension (Li, 2013).

These exact results explain why PPT occupies a privileged position in low-dimensional bipartite theory. In those settings it is not merely a witness-generating device or a useful relaxation; it is a complete decision criterion.

3. Breakdown beyond $B$6 and bound entanglement

For larger bipartite systems the PPT test ceases to characterize separability. The first symmetric case where this happens is $B$7, where entangled states with positive partial transpose exist. In the geometric picture used for two qutrits, state space decomposes into separable states (SEP), PPT-entangled states $B$8, and negative-partial-transpose entangled states $B$9, with edge states on the SEP/PPTES and PPTES/NPT boundaries. The same source emphasizes that deciding PPT versus NPT is polynomial-time, whereas separability in general is NP-HARD, which helps explain both the power and the incompleteness of the criterion in higher dimension (2001.08118).

The canonical explicit example is the Horodecki two-qutrit state $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$0. It satisfies

$(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$1

is separable for $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$2 and $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$3, and is entangled for $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$4. The same family admits a nontrivial abelian covariance under

$(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$5

which yields invariant-subspace decompositions of both $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$6 and $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$7. In this representation, checking PPT reduces to positivity of two $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$8 leading principal blocks of the partial transpose, making transparent how a highly structured PPT-entangled state can arise already in $(\rho^{T_B})_{i\mu,j\nu}=\rho_{i\nu,j\mu}.$9 (Chruscinski et al., 2010).

Recent work restates this limitation in especially sharp form: PPT bound entangled states are invisible not only to the Peres–Horodecki test itself but also to all criteria based solely on the partial-transpose spectrum. In that setting, realignment spectral features and chirality corrections are introduced as mathematically independent channels precisely because “all partial-transpose-based criteria are structurally blind to PPT states” (Tulewicz et al., 14 May 2026).

The same boundary also motivates practical detours rather than theorem-strengthening. In two-qutrit tomography, automated learning models trained on local $\rho^{T_B}\ge 0$0 expectation values can distinguish SEP, PPTES, and NPT directly from tomographic data, but that program is explicitly presented as an empirical complement to the Horodecki criterion rather than a new necessary-and-sufficient separability theorem (2001.08118).

4. Reformulations and operational consequences

A large literature recasts the criterion into experimentally usable inequalities. One route starts from conserved quantities. For a spin-$\rho^{T_B}\ge 0$1 system,

$\rho^{T_B}\ge 0$2

and separability implies

$\rho^{T_B}\ge 0$3

In the two-qubit specialization, this yields the bilinear witness

$\rho^{T_B}\ge 0$4

for separable states. A stronger nonlinear inequality follows from the generalized Schrödinger–Robertson uncertainty relation, and for Werner states it reproduces the exact PPT threshold $\rho^{T_B}\ge 0$5 for entanglement (Goswami et al., 2016).

Another route uses Hilbert–Schmidt decompositions and a partial-transpose-plus-local-unitary transformation (PTU). For qubit–qudit states of the form

$\rho^{T_B}\ge 0$6

PTU leads to the spectral relation

$\rho^{T_B}\ge 0$7

Hence any eigenvalue of $\rho^{T_B}\ge 0$8 larger than $\rho^{T_B}\ge 0$9 certifies entanglement. For $2\times 2$0-qubit maximally disordered subsystems (MDS), the corresponding sufficient criterion is an eigenvalue larger than $2\times 2$1. The same analysis shows that for odd $2\times 2$2 MDS states, PTU does not change the spectrum, so the Peres–Horodecki criterion becomes mute in that sector (Ben-Aryeh et al., 2016).

A third reformulation is combinatorial. For grid-labelled graph Laplacian states

$2\times 2$3

partial transpose becomes an operation on graph edges, and PPT is equivalent to preservation of the degree matrix: $2\times 2$4 In $2\times 2$5, this degree criterion is necessary and sufficient for separability; in $2\times 2$6, it is only necessary, and explicit PPT-entangled graph patterns such as the “cross-hatch” and “skew-mesh” show the same failure of sufficiency familiar from the ordinary matrix formulation (Lockhart et al., 2016).

These reformulations do not replace the original theorem. Rather, they show that the Horodecki criterion has a wide operational envelope: spectral, witness-based, uncertainty-based, Hilbert–Schmidt, and graph-theoretic.

5. Continuous-variable and phase-space version

For continuous-variable Gaussian states, the finite-dimensional matrix test is replaced by Simon’s phase-space form of the Peres–Horodecki criterion. In the Wigner representation, partial transpose becomes momentum reversal on one subsystem,

$2\times 2$7

and on covariance matrices it acts as

$2\times 2$8

The separability condition is

$2\times 2$9

or, equivalently, that the smallest symplectic eigenvalue satisfy

$2\times 3$0

For bipartite Gaussian states this condition is necessary and sufficient (Górska et al., 2024).

In the specific family of squeezed coherent states generated from holomorphic Hermite functions, the product construction has diagonal covariance and remains separable, whereas the genuinely two-variable construction produces a non-factorized Gaussian with

$2\times 3$1

Since $2\times 3$2, the minimal symplectic eigenvalue is $2\times 3$3, so the state is entangled. The same paper identifies

$2\times 3$4

as the squeezing parameter and

$2\times 3$5

as the logarithmic negativity, making explicit how squeezing and entanglement are linked in the phase-space version of the criterion (Górska et al., 2024).

This continuous-variable form is not a different principle. It is the Gaussian-state transcription of the same PPT logic into covariance-matrix language.

6. Bell-nonlocality and other distinct usages

A separate and well-established usage of “Horodecki criterion” concerns Bell nonlocality rather than separability. For a two-qubit state with correlation matrix

$2\times 3$6

let $2\times 3$7 be the singular values of $2\times 3$8. The CHSH-maximization criterion is

$2\times 3$9

and the state violates CHSH iff

$(I\otimes \Lambda)(\rho)\ge 0$0

This result is necessary and sufficient when the local measurements are unrestricted projective qubit observables (Hall et al., 2021).

That CHSH criterion has itself been generalized. For nonprojective two-outcome qubit observables

$(I\otimes \Lambda)(\rho)\ge 0$1

exact fixed-strength criteria exist for unbiased measurements on arbitrary two-qubit states and for arbitrary measurements on $(I\otimes \Lambda)(\rho)\ge 0$2-states with maximally mixed marginals. In those regimes the Bell-violation condition becomes $(I\otimes \Lambda)(\rho)\ge 0$3 or $(I\otimes \Lambda)(\rho)\ge 0$4, where $(I\otimes \Lambda)(\rho)\ge 0$5 and $(I\otimes \Lambda)(\rho)\ge 0$6 are explicit functions of the state singular values, the measurement strengths, the biases, and the relative angles (Hall et al., 2021).

The same program has been pushed to a multi-setting two-outcome Bell family for two qudits of local dimension $(I\otimes \Lambda)(\rho)\ge 0$7. There the Horodecki-like quantity is

$(I\otimes \Lambda)(\rho)\ge 0$8

and

$(I\otimes \Lambda)(\rho)\ge 0$9

is always sufficient for violation. It becomes necessary and sufficient for $\Lambda$0 copies of Bell diagonal states, for non-decomposable states whose correlation matrix is diagonalized by local unitaries, and for any arbitrary two-qubit state when $\Lambda$1 (Bhowmick et al., 2024).

The same name also appears in the “Brandão–Horodecki” theorem on correlation decay and one-dimensional area laws. That result concerns entropy bounds of the form

$\Lambda$2

for pure states with exponential decay of correlations, and is explicitly distinct from the PPT separability criterion (Hastings, 2015).

Taken together, these usages suggest a precise disambiguation. In quantum information, “Horodecki criterion” most often denotes the PPT-based separability criterion and its positive-map completion. In Bell theory it denotes the CHSH state criterion $\Lambda$3. In one-dimensional many-body theory, “Brandão–Horodecki” refers to a different theorem linking correlation decay to area-law entanglement.