Imagine you run a recycling plant, but the law says you can only use tools that don't scratch a certain coating on the materials. You know some coated items contain valuable metal inside — the question is: how much refined metal can you actually extract per ton, given the constraint on your tools? That's the core mechanism here. The 'coating' is the positivity of the partial transpose (PPT), the 'tools' are quantum channels that respect it, and the 'refined metal' is distilled entanglement — pure Bell pairs you can extract from noisy quantum states. The committed claim: PPT distillable entanglement is strictly smaller than the regularised Rains bound. This was an open question since Regula, Fang, Wang, and Adesso posed it in 2019. Lami doesn't just prove the gap exists abstractly — he exhibits it on a specific, well-studied family of states (3×3 Werner states at antisymmetric weight 25/26), pinning a certified upper bound of 0.62107 ebits against a Rains bound of approximately 0.64766 ebits. The gap is ~0.027 ebits. Small in absolute terms, enormous in what it tells us about the structure of the theory. The paper delivers two independent converse techniques, each interesting in its own right. The first uses operator quadratic forms — think of it as exploiting a convexity structure that the Rains bound doesn't fully capture. The second leans on Hirschman's strengthening of the classical Hadamard three-line theorem from complex analysis, importing an interpolation inequality into quantum information theory. Both yield single-letter (non-regularised) upper bounds on PPT distillable entanglement, which is remarkable because such bounds are notoriously hard to de-regularise in quantum Shannon theory. On the constructive side, result (a) gives a regularised formula for PPT distillable entanglement in terms of a measured-relative-entropy-like quantity. This formula also yields a faithful lower bound via entanglement negativity: if a state has any negativity at all (is NPT), you can certify a nonzero distillation rate. This quantifies the qualitative result of Eggeling, Vollbrecht, and Werner from 2001 — upgrading a yes/no statement to a number. Where does this sit on the ladder? The Rains bound has been the gold-standard computable upper bound on distillable entanglement under PPT operations since Rains (1999/2001). Audenaert, Plenio, and Eisert tightened it; Regula et al. showed its regularised version was the tightest known bound and asked whether it was exact. Lami's answer is no — and the proof is constructive. The gap is demonstrated, not just existence-proven. This is a clean advance over the previous best understanding. Integrity is high for a mathematical physics paper. The results are analytic proofs — not simulations, not numerics. The 0.62107 upper bound is a certified bound from the converse theorems, and the Rains bound value is an exact computation. There's no sampling noise, no cherry-picking of benchmarks. The one limitation is that the gap is shown for a single parameter value on a single state family; generality beyond Werner states is left open. The obvious next experiment Lami didn't run: extending the separation to the full LOCC (local operations and classical communication) setting. PPT operations are a strict superset of LOCC, and the relationship between PPT distillable entanglement and true LOCC distillable entanglement remains murky. My honest read: this is being saved for the next paper or is genuinely harder — the techniques here are tailored to PPT structure, and LOCC lacks the same algebraic tractability.
