---
title: Positive Partial Transpose (PPT) Criterion
url: https://www.emergentmind.com/topics/positive-partial-transpose-ppt-criterion
type: topic
---

# Positive Partial Transpose (PPT) Criterion

The Positive Partial Transpose (PPT) criterion is a central separability test in quantum information theory, characterizing entanglement via the spectral properties of a bipartite quantum state’s partial transpose. Formulated originally by Peres and the Horodecki family, the PPT criterion establishes a necessary condition for separability—positivity under partial transposition—whose sufficiency is guaranteed only in low-dimensional settings. Subsequent research has developed a rich hierarchy of moment-based relaxations, graph-theoretic and tensor-analytic reformulations, and sharpened rank inequalities. The PPT criterion further underpins the construction and classification of bound entangled states, informs the convex structure of quantum states, and motivates alternative separability tests.

## 1. Definition and Formalism of the PPT Criterion

Given finite-dimensional Hilbert spaces $\mathcal{H}_A$ and $\mathcal{H}_B$, a density operator $\rho$ on $\mathcal{H}_A \otimes \mathcal{H}_B$ admits a partial transpose with respect to $B$ defined by $T_B[\rho] = (\mathrm{id} \otimes T)(\rho)$, where $T$ denotes ordinary transposition in a fixed orthonormal basis of $\mathcal{H}_B$. In components, $\langle e_k \otimes f_l | T_B[\rho] | e_m \otimes f_n \rangle = \langle e_k \otimes f_n | \rho | e_m \otimes f_l \rangle$.

**PPT Criterion**: If $\rho$ is separable, then $T_B[\rho] \geq 0$ (i.e., $T_B[\rho]$ is positive semidefinite). In $2 \otimes 2$ and $2 \otimes 3$ dimensions, this is also a sufficient condition for separability. The presence of any negative eigenvalue in $T_B[\rho]$ certifies entanglement (“NPT” states), while positivity is only a necessary condition above these dimensions [2505.06882], [2509.06565], [2604.12576].

## 2. Moment-Based Hierarchies and Analytical Strength

A major advance homogenizes the PPT criterion with classical moment and symmetric function theory. Let the $k$-th moment of the partial transpose be $p_k = \operatorname{Tr}\left[ (T_B[\rho])^k \right]$. Newton's identities relate the elementary symmetric polynomials $e_k$ (encoding positivity) to the power sums $p_j$:

\[
k e_k = \sum_{j=1}^{k} (-1)^{j-1} e_{k-j} p_j \,.
\]

**Moment-based entanglement test**: PPT requires $e_k(\operatorname{spec}(T_B[\rho])) \geq 0$ for all $k$. These $e_k$ admit an explicit Bell polynomial expansion in the moments $p_j$ [2503.17525]:

\[
e_m = \frac{(-1)^m}{m!} B_m(-p_1, -1!p_2, \ldots, -(m-1)!p_m).
\]

Violation of any such inequality certifies entanglement. These relations can be checked experimentally via multi-copy measurements, and for $2\times 2$ and $2\times 3$ are both necessary and sufficient [2503.17525], [2509.06565], [2604.12576].

**Stieltjes–PPT hierarchy**: The classical Stieltjes moment problem yields an alternative via positivity of the sequence $\{p_k\}$: positivity of all principal Hankel matrices $H_m = (p_{i+j-1})_{i,j}$ is required for PPT. For finite $N$-level spectra, order $m=2N-1$ suffices (Stieltjes completeness) [2604.12576].

**Three-moment criterion**: For any $k < l < m$, $p_l \leq p_k^x p_m^{1-x}$ with $x = (m-l)/(m-k)$. Violation indicates NPT entanglement, and such tests are experimentally favorable [2604.12576].

## 3. Structural Aspects and Rank Inequalities

The PPT criterion can be sharpened by analyzing matrix invariants under symmetrization and antisymmetrization. For $\rho \in M_k \otimes M_k$, define the flip operator $F$ and projectors $P_\pm = (I \pm F)/2$; marginal ranks and projections onto the symmetric/antisymmetric sectors sharpen the PPT bound.

**Rank inequalities** ([1609.07079]): For separable $\rho$, the following must hold:
\[
\operatorname{rank}((I+F) \rho (I+F)) \geq \max\left\{ \frac{2}{r} \operatorname{rank}((I-F) \rho (I-F)), \frac{r}{2} \right\}
\]
where $r$ is the marginal rank of $(\rho + F\rho F)$. Rank-one symmetric PPTs are always separable.

Edge states—states at the boundary of the PPT cone—can be constructed that saturate corank minima. For $n \geq 3$, Choi–Kiem–Kye constructed $n \otimes n$ PPT states of corank one whose partial transposes have corank $2n-3$, violating the range criterion maximally [1903.10745].

## 4. Extensions: Multipartite, Symmetric, and Graph-Theoretic Views

For multipartite systems, the PPT criterion generalizes to positivity under all possible partial transpositions. The range criterion can be recast as the solvability of a system of homogeneous equations in the components of local product vectors across the supports of all partial transposes, yielding upper bounds on the ranks of PPT entangled edge states. In multiqubit settings, criticality is controlled by the vanishing of the permanent of an associated $\pm1$ matrix, revealing deep combinatorial structure [1401.3181].

For permutation-symmetric states (e.g., Dicke, spin-j states), the PPT criterion translates into positivity conditions on real symmetric matrices constructed from tensor moments, unitarily equivalent to the partial transpose [1606.07635]. Positivity of an associated correlation (“Schur complement”) matrix connects the PPT criterion to covariance inequalities.

A graph-theoretic formulation emerges via the Ihara zeta function of the weighted adjacency matrix $T_B[\rho]$, where the Maclaurin coefficients directly correspond to the moment-based PPT inequalities, and prime path products correspond to higher-order invariants [2503.17525].

## 5. Generalizations, No-Go Results, and Experimental Considerations

While PPT suffices for separability in $2\otimes 2$ and $2\otimes 3$, there is provably no finite extension of the criterion to $3\otimes 3$ or higher via positive maps and local operations: the cone of positive maps is not finitely generated as a mapping cone—witnessed by the infinite Ha–Kye family of indecomposable positive maps [1605.05254].

Moment-based relaxations like the $p_3$-PPT and $(k, l, m)$-PPT tests provide practical, experimentally viable alternatives to full spectral tests. For stabilizer states, low-order moment criteria (Stieltjes-$5$) are equivalent to full PPT [2604.12576], and moments can be efficiently estimated using multi-copy permutations or randomized measurement strategies [2509.06565].

## 6. PPT Criterion in Thermodynamic and Dynamical Contexts

Merkli–Zagrodnik established that in quantum equilibrium, the PPT property is robust: for Gibbs states $\rho_\beta = e^{-\beta H}/Z$ generated by perturbed Hamiltonians $H = H_0 + V$, PPT is preserved under bounded perturbations provided the temperature is sufficiently high or the interaction sufficiently weak. The mathematical engine is a Dyson expansion in the Hilbert–Schmidt norm and careful factorizations shifting the perturbation analysis to an operator whose spectrum remains bounded away from zero, ensuring uniform spectral stability even in infinite dimensions [2505.06882].

In high-temperature or weak-coupling regimes, any distillable entanglement in equilibrium is eliminated, but bound entanglement may persist; PPT stability is thus a nontrivial property of large or infinite systems.

## 7. Operational Implications and Applications

The PPT criterion underpins a variety of diagnostic tools, including bilinear and nonlinear entanglement witnesses (e.g., those arising from uncertainty relations [1608.01177]), phase-dependent separability criteria for specific families of states (notably three-qubit X-states [1610.06645]), and guides the experimental design of entanglement detection schemes.

Moreover, moment-based PPT relaxations are not only useful for entanglement detection but also inform quantum cryptography. Constructed PPT entangled states can be embedded in private states with nonzero distillable key, directly implying cryptographically useful bound entanglement [2509.06565].

---

**References** (by arXiv id):

- [2505.06882] Stability of PPT in equilibrium states
- [2503.17525] A Closed Form for Moment–Based Entanglement Tests Associated to the PPT Criterion
- [2509.06565] Construction of PPT entangled state and its detection by using second-order moment of the partial transposition
- [2604.12576] Detecting entanglement from few partial transpose moments and their decay via weight enumerators
- [1609.07079] A gap for PPT entanglement
- [1605.05254] There is no direct generalization of positive partial transpose criterion to the three-by-three case
- [1401.3181] Product vectors in the ranges of multi-partite states with positive partial transposes and permanents of matrices
- [1610.06645] The role of phases in detecting three-qubit entanglement
- [1606.07635] Partial transpose criteria for symmetric states
- [1903.10745] Entangled edge states of corank one with positive partial transposes
- [1608.01177] Uncertainty relation and inseparability criterion

Source: https://www.emergentmind.com/topics/positive-partial-transpose-ppt-criterion