Imagine you have two stacks of counterfeit bills. One stack looks crumpled, dog-eared, well-handled — it looks like it's been through many wallets. The other stack looks fresh, sequential serial numbers, straight off the press. A bank teller with unlimited time could tell both stacks are fake, but under time pressure, she can only tell the stacks apart — not catch either one as counterfeit. This paper is about what it means when quantum states behave like those two stacks: computationally indistinguishable in entanglement content despite being structurally different. The authors prove that having states with this property is exactly equivalent to having the foundational primitive of quantum cryptography. The committed claim: pseudoentanglement — quantum states that look equally entangled to efficient observers but actually differ in entanglement — is equivalent to EFI (Efficiently preparable, statistically Far but computationally Indistinguishable) pairs, the accepted minimal assumption for quantum cryptography. This means pseudoentanglement is not merely an interesting information-theoretic curiosity; it is cryptography. The two concepts are the same thing in disguise, formalized through two operational definitions the authors call "Type I" (distinguishing entanglement amounts) and "Type II" (distinguishing entanglement from separability). To understand the ladder: EFI pairs were established by Brakerski, Canetti, and Qian (2023) as the minimal hardness assumption from which all of quantum computational cryptography can be bootstrapped — commitments, oblivious transfer, secure computation, the whole stack. Before this paper, it was known that EFI pairs imply pseudoentanglement (under the Type II definition). This paper closes the loop, proving the reverse direction for both Type I and Type II, and establishing full equivalence for Type II. This is a genuine tightening of the foundational hierarchy. Architecturally, this is pure complexity-theoretic and information-theoretic work — no algorithms to benchmark, no hardware to run. The proofs operate in the framework of computational entanglement measures (pseudo-entropy of entanglement, computational entanglement of formation) and relate them via new technical lemmas to trace distance and statistical distinguishability. Key tools include a new continuity bound for computational entanglement of formation and a distinguishing lemma for mixtures of state families given pairwise distances. The machinery is measure-theoretic rather than algorithmic. On integrity: this is a mathematical proof paper, so the validation regime is deductive — theorems and lemmas, not experiments. The results are conditional on the existence of the primitives in question (if pseudoentanglement exists, then EFI pairs exist, and vice versa). No simulation, no benchmarks, no code. The validation is as strong as the proof is correct, and the paper introduces several new lemmas that would need community scrutiny. The main risk is in the technical details of the continuity bound and the mixture-distinguishing lemma. The milestone question is unusual here because this is a foundations paper, not an experimental one. The concrete next threshold is whether pseudoentanglement can be demonstrated with explicit, efficient constructions from standard assumptions (like LWE or random oracles) that practitioners could implement. Currently, candidate constructions exist but are tied to specific hardness assumptions. The bridge this paper builds means any advance in constructing pseudoentangled states automatically yields new cryptographic primitives, and vice versa. The obvious experiment the authors did not run — or rather, the obvious theorem they did not prove — is full equivalence under the Type I definition. They show sufficiency (Type I pseudoentanglement implies EFI) but not necessity. The likely reason is (a): the converse direction for Type I appears to require showing that EFI pairs can always be used to construct states with a gap in entanglement entropy, which is technically harder than the Type II case where the gap is between entangled and separable. This is almost certainly the next paper.
