REVIEW 4 major objections 5 minor 28 references
Nonlocality distillation can outperform entanglement distillation
T0 review · 4 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read The paper proves that for two or three copies of a weakly entangled state, directly distilling nonlocal correlations yields a higher CHSH violation than first distilling a Bell state, even though the latter uses communication.
desk verdict Plausible finite-copy comparison, but the proof has load-bearing gaps—especially the unproven n=3 attainability claim. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The comparison is driven by two quantities: V_ED, the CHSH value after optimal entanglement distillation, which equals 2√2 times the Bell-state success probability plus 2 times the failure probability; and V_ND, the best known CHSH value from collective measurements on n copies, computed from the coefficients λ_i of the n-copy bipartite decomposition via the formula V_ND = 2 Σ_{n=1}^{⌊d/2⌋} √( (λ_{2n−1}^2 + λ_{2n}^2)^2 + 4λ_{2n}^2 λ_{2n−1}^2 ). For mixed states, the proof bounds the operator norm of the effective measurement N by writing N^2 = 4 I⊗K̃ + (2A)⊗L̃ and bounding K̃ and L̃, yielding ∥N∥ ≤ 2√(1+(1−2p)^2) for n=1,2 and a higher-degree polynomial bound for n=3.
What would settle it
Explicitly construct or find the measurements that achieve the n=3 collective CHSH bound and demonstrate a CHSH value above V_ED at some p in [0.746,0.904]. If no such measurements exist—that is, the bound is not attainable—the n=3 claim fails. A direct experiment on two copies at p=0.7 would test the n=2 claim: the measured CHSH should exceed V_ED for p in [0.5,0.85].
Extended reading notes
Core claim
For the state |Ψ⟩ = √p|ψ⟩ + √(1−p)|ϕ⟩ (a superposition of two maximally entangled states), the paper proves that the best known nonlocality-distillation value for n=2 and n=3 copies exceeds the CHSH value of optimal entanglement distillation in the intervals p∈[0.5,0.85] and p∈[0.746,0.904]. The entanglement value is a weighted average: with success probability p_succ the protocol yields a Bell state with CHSH 2√2, otherwise a product state with CHSH 2. The nonlocality value comes from a collective-measurement bound expressed in terms of the coefficients of the n-copy bipartite decomposition. For the mixed state ρ = p|ψ⟩⟨ψ| + (1−p)|ϕ⟩⟨ϕ|, the paper proves the optimal nonlocality-distillation
Load-bearing premise
The n=3 pure-state advantage assumes the collective-measurement CHSH bound in Eq. (3) is attainable, but the paper states the corresponding measurements have only been verified numerically; if the bound is merely an upper bound, the n=3 branch of Theorem 1 is not established.
Editorial extensions
If this is right
- For n=2 and n=3 copies of the pure state, nonlocality distillation achieves a higher CHSH value than optimal entanglement distillation for concrete parameter ranges (p∈[0.5,0.85] and p∈[0.746,0.904] respectively).
- At n=4 copies, the comparison flips: entanglement distillation is always better, so the advantage is a small-copy phenomenon.
- For mixed states, the optimal nonlocality distillation protocol for two copies attains the same CHSH value as for the corresponding pure state, so the pure-state advantage carries over to mixed states with the same form.
- Nonlocality distillation requires fewer quantum resources than entanglement distillation in the n=2 pure-state case—about 3 fewer logical qubits, roughly 8 times less logical depth, and about 3 times fewer T states according to the resource estimate.
- The advantage exists even though entanglement distillation uses one-way communication; the communicated bit carries no input information, so the comparison isolates the value of the distillation strategy itself.
Reading between the lines
- If the n=3 nonlocality-distillation bound is proven tight with explicit measurements (currently only numerical), the advantage window might extend or shift; until then, the n=3 branch of the theorem rests on an unverified attainment assumption.
- For device-independent QKD, higher CHSH values from nonlocality distillation could improve key rates or tolerable noise, but only if the distilled correlations have the right secrecy structure—nonlocal correlations do not automatically yield secrecy.
- The resource estimate suggests a concrete experimental test: with two copies of |Ψ⟩, directly performing the collective CHSH measurements should outperform the full distillation-plus-measurement circuit on near-term hardware, provided a fair accounting of communication overhead.
- The result points to a general principle: when the target is a Bell-inequality violation, the optimal distillation strategy should be optimized for that observable, not for Bell-state fidelity; entanglement concentration is a different goal.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper compares nonlocality distillation with entanglement distillation for the task of maximizing CHSH violation from n copies of a bipartite state. For pure states of the form |Ψ⟩ = √p|ψ⟩ + √(1−p)|ϕ⟩, Theorem 1 claims that for n=2 and n=3 nonlocality distillation achieves a higher CHSH value than the optimal entanglement distillation protocol. Theorem 2 makes a similar claim for a mixed-state family ρ = p|ψ⟩⟨ψ| + (1−p)|ϕ⟩⟨ϕ| for n=2, and provides a (non-tight) bound for n=3. The paper also includes a resource-estimation comparison for the n=2 pure-state case, finding that nonlocality distillation requires fewer logical qubits, lower logical depth, and fewer T states than entanglement distillation.
Significance. The central question — whether nonlocality distillation can beat entanglement distillation when only a few copies are available — is interesting and conceptually relevant to the distinction between entanglement and nonlocality as resources. If the n=2 pure-state claim holds, it provides a concrete small-copy regime where directly measuring collective nonlocality outperforms first concentrating a Bell state, even though the latter uses communication. The paper also makes an explicit attempt at resource estimation, which is a useful addition for practical relevance. However, the manuscript as written contains several load-bearing algebraic and logical gaps that prevent the claims from being accepted as proven; the n=3 branch relies on an unproven attainability statement, and the comparison is made against a protocol that is optimal for Bell-state probability, not necessarily for CHSH.
major comments (4)
- [Section III, proof of Theorem 1] The displayed formulas for V_ED are algebraically incorrect and produce unphysical values. For n=2, the formula V_ED = 2 + 4(2√2−2)t + 2((√p+√(1−p))/√2)^4 gives V_ED=4 at p=0.5, while the state is then product and the true CHSH value is 2. For n=3, the analogous formula gives values above 2√2 in the stated intervals (e.g., at p=0.9 it exceeds 3.7). These errors invalidate the proof of Theorem 1 as written. The authors must re-derive the expressions for p_succ and V_ED and re-check the claimed inequalities.
- [Section II-B and Theorem 1 n=3 branch] The n=3 branch of Theorem 1 uses V_ND from Eq. (3) as an attained value, but the paper states in Sec. II-B that for n=3 the corresponding measurements 'have only been verified numerically.' If Eq. (3) is only an upper bound, the inequality V_ED ≤ V_ND only shows that the optimal entanglement-distillation value does not exceed a possibly unreachable upper bound; it does not prove that nonlocality distillation attains the higher value. To support the claim, the authors must either prove attainability of Eq. (3) for n=3 or rephrase the theorem as a comparison of upper bounds.
- [Section II-A and Theorem 1] The comparison is made against the Lo-Popescu protocol, which is optimal for the probability of distilling a Bell state, but the task here is to maximize CHSH. It is not shown that the Lo-Popescu protocol is optimal for CHSH, nor is it justified that the failure state is product (which is assumed in the V_ED formula). Without an optimality proof for CHSH, the claim that nonlocality distillation 'outperforms the optimal entanglement distillation protocol' is not established. A counterexample or a proof that any successful Bell-distillation protocol has failure product and is CHSH-optimal is needed.
- [Section III, proof of Theorem 2] The proof bounds ||N^2||, which yields an upper bound on the CHSH value, but the theorem claims that the optimal nonlocality distillation protocol 'can attain' a higher CHSH value for n=2. The proof does not explicitly show that the bound is attained for n=2; it only observes that the bound equals the n=1 value. For n=3, the text admits the bound is not known to be tight, so the theorem's statement for n=3 is only an upper bound. Additionally, the comparison to 'optimal entanglement distillation' for mixed states is missing entirely: no mixed-state V_ED is defined or computed. The n=2 L̃ bound also contains a duplicated sum (the same four C terms appear twice with different coefficients), which appears to be a typo and obscures the derivation.
minor comments (5)
- [Eq. (2)] The notation p_succ = min_{1≤r≤2} (2/r)(λ_{2−r+1}+...+λ_8) is unclear for general n; the upper limit of the sum should depend on the dimension of the state. Please clarify the formula and specify the Schmidt dimension for each n.
- [Section II-C] There is a punctuation error: 'where, The CHSH value is then given by' should be a new sentence. Also, the derivation of the CHSH value for ρ would benefit from explicitly writing the four correlators and the resulting expression.
- [Section III, Theorem 2 proof] The bound ||L1|| ≤ 8|a−b| + 24|c−b| + 8|d−b| is stated without derivation. Please provide the eigenvalue or norm argument, or cite a standard result, so the reader can verify the step.
- [Figure 1 and proof of Theorem 1] The intervals stated in the text are inconsistent: for n=3 the proof says the inequality holds for p∈[0.5,0.746] and then concludes it proves the result for p∈[0.746,0.904]. The figure labels should match the text.
- [Section III-A] The resource comparison is based on a specific circuit implementation and a particular sparse-state-preparation algorithm. Please state clearly that these are implementation-dependent estimates, not general complexity-theoretic claims.
Circularity Check
No significant circularity: the central comparisons use external Lo-Popescu and Liang-Doherty results; the stated n=3 attainability gaps are missing proofs, not circular reductions.
full rationale
The paper's core derivations are not circular. Theorem 1 compares the Lo-Popescu entanglement-distillation value V_ED (Eq. 2, from Ref. [5]) with the Liang-Doherty collective-measurement bound V_ND (Eq. 3, from Ref. [8]). Both are external, parameter-free expressions in the Schmidt coefficients of the same state, and the proof is an explicit algebraic inequality. Theorem 2 is a direct operator-norm estimate on the operator N defined in Eq. 7; no fitted constants appear and the argument does not assume the theorem it claims to prove. The only self-references are [11] (background on box-world nonlocality distillation) and [23] (a GitHub implementation used for resource estimation); neither is load-bearing for the main results. The manuscript itself flags real limitations: for n=3, "the corresponding measurements have only been verified numerically" (Sec. II-B); for the mixed-state n=3 bound, "it is not known to be tight" (Sec. II-C) and "It is open whether the bound for n=3 is tight" (Sec. III). These weaken the attainability of the n=3 branch of Theorem 1 and the n=3 expression in Theorem 2, but they are omitted proofs or unverified attainability claims, not circular redefinitions or fitted-parameter predictions. Since no prediction reduces to its input by construction and no uniqueness theorem is imported from the authors' own prior work, the circularity score is low.
Assumptions & free parameters
assumptions (4)
- standard math Tsirelson bound: CHSH of any quantum state is at most 2√2, and classically correlated states give at most 2.
- domain assumption Lo-Popescu is the optimal entanglement-distillation protocol and Eq. (2) gives its optimal success probability.
- domain assumption The Liang-Doherty bound, Eq. (3), is an attainable CHSH value for collective measurements on n copies.
- domain assumption A failed entanglement-distillation attempt leaves a product state with CHSH value 2.
Cite this review
Pith. "Pith review of Nonlocality distillation can outperform entanglement distillation." pith.science (2026). https://pith.science/paper/X6ZDDVXD
@misc{pith2026260300940,
author = {Pith},
title = {Pith review of: Nonlocality distillation can outperform entanglement distillation},
year = {2026},
howpublished = {\url{https://pith.science/paper/X6ZDDVXD}},
note = {Machine review of arXiv:2603.00940}
}
read the original abstract
Given the goal of maximizing CHSH violation, we compare the optimal strategies of entanglement and nonlocality distillation. In the limit of the number of copies of the shared state, entanglement distillation is guaranteed to work by generating a Bell state. For a small number of copies of the state, we show that nonlocality distillation can achieve a higher CHSH value, even though optimal entanglement distillation requires communication. Nonlocality distillation not only outperforms entanglement distillation but also demonstrates superior resource efficiency across multiple metrics for quantum resource estimation.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[1]
Entanglement and nonlocality are different resources,
N. Brunner, N. Gisin, and V . Scarani, “Entanglement and nonlocality are different resources,”NJP, vol. 7, p. 88, 2005
2005
-
[2]
Bell nonlocality,
N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, “Bell nonlocality,”RMP, vol. 86, pp. 419–478, 2014
2014
-
[3]
Concentrat- ing partial entanglement by local operations,
C. Bennett, H. Bernstein, S. Popescu, and B. Schumacher, “Concentrat- ing partial entanglement by local operations,”PRA, vol. 53, p. 2046, 1996
-
[4]
Purification of noisy entanglement and faithful teleportation via noisy channels,
C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, “Purification of noisy entanglement and faithful teleportation via noisy channels,”PRL, vol. 76, p. 722, 1996
1996
-
[5]
Concentrating entanglement by local actions: Beyond mean values,
H. Lo and S. Popescu, “Concentrating entanglement by local actions: Beyond mean values,”PRA, vol. 63, p. 022301, 2001
2001
-
[6]
Collective tests for quantum nonlocality,
A. Peres, “Collective tests for quantum nonlocality,”PRA, vol. 54, p. 4, 1996
1996
-
[7]
Proposed experiment to test local hidden–variable theories,
J. Clauser, M. Horne, A. Shimony, and R. Holt, “Proposed experiment to test local hidden–variable theories,”PRL, vol. 23, p. 880, 1969
1969
-
[8]
Better Bell-inequality violation by collective measurements,
Y . Liang and A. Doherty, “Better Bell-inequality violation by collective measurements,”PRA, vol. 73, p. 052116, 2006
2006
Show all 28 references
-
[9]
A limit on non-locality distillation,
D. Dukaric and S. Wolf, “A limit on non-locality distillation,”arXiv preprint arXiv:0808.3317, 2008
2008 arXiv
-
[10]
Recovering part of the boundary between quantum and nonquantum correlations from information causality,
J. Allcock, N. Brunner, M. Pawłowski, and V . Scarani, “Recovering part of the boundary between quantum and nonquantum correlations from information causality,”PRA, vol. 80, p. 040103, 2009
2009
-
[11]
Optimal protocols for nonlocality distillation,
P. Høyer and J. Rashid, “Optimal protocols for nonlocality distillation,” PRA, vol. 82, p. 042118, 2010
2010
-
[12]
Bounds for nonlocality distillation protocols,
M. Forster, “Bounds for nonlocality distillation protocols,”PRA, vol. 83, p. 062114, 2011
2011
-
[13]
Maximal violation of bell’s inequality for arbitrarily large spin,
N. Gisin and A. Peres, “Maximal violation of bell’s inequality for arbitrarily large spin,”PLA, vol. 162, pp. 15–17, 1992
1992
-
[14]
Resource estimation of quantum multiplication algorithms,
E. Hansen, S. Joshi, and H. Rarick, “Resource estimation of quantum multiplication algorithms,” in2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 2. IEEE, 2023, pp. 199–202
2023
-
[15]
Utilizing resource estimation for the development of quantum computing applications,
N. Quetschlich, M. Soeken, P. Murali, and R. Wille, “Utilizing resource estimation for the development of quantum computing applications,” arXiv preprint, vol. arXiv:2402.12434, 2024
2024 arXiv
-
[16]
Using azure quantum resource estimator for assessing performance of fault-tolerant quantum computation,
W. van Dam, M. Mykhailova, and M. Soeken, “Using azure quantum resource estimator for assessing performance of fault-tolerant quantum computation,” inProceedings of the SC’23 Workshops of the Interna- tional Conference on High Performance Computing, Network, Storage, and Analy...
2023
-
[17]
Pyliqtr (lincoln laboratory quantum algorithm test and research),
K. O. et al., “Pyliqtr (lincoln laboratory quantum algorithm test and research),” https://github.com/isi-usc-edu/pyLIQTR, 2023
2023
-
[18]
Qualtran documentation,
Google, “Qualtran documentation,” https://qualtran.readthedocs.io/en/ latest/, 2023
2023
-
[19]
benchq: Resource estimation for fault-tolerant quantum compu- tation,
Z. AI, “benchq: Resource estimation for fault-tolerant quantum compu- tation,” https://github.com/zapatacomputing/benchq, 2023
2023
-
[20]
Quantum resource estimator,
“Quantum resource estimator,” https://github.com/microsoft/qdk/tree/ main/source/resource estimator
-
[21]
Approximation by quantum circuits,
E. Knill, “Approximation by quantum circuits,”arXiv preprint quant- ph/9508006, unpublished, 1995
1995
-
[22]
An efficient algorithm for sparse quantum state preparation,
N. Gleinig and T. Hoefler, “An efficient algorithm for sparse quantum state preparation,” in2021 58th ACM/IEEE Design Automation Confer- ence (DAC). IEEE, 2021, pp. 433–438
2021
-
[23]
Quantum sparse state preparation algorithm implementation,
R. U. Din, “Quantum sparse state preparation algorithm implementation,” 2025, https://github.com/Razeen-ud-din/ Quantum-Resource-Estimation-for-Distillation
2025
-
[24]
Enhancing distillability of secret keys with entanglement distillation and classical advantage distillation,
S. Sun, K. Goodenough, D. Bhatti, K. Azuma, and D. Elkouss, “Enhancing distillability of secret keys with entanglement distillation and classical advantage distillation,”PRA, vol. 112, p. 052602, Nov
-
[25]
Bell nonlocality is not sufficient for the security of standard device-independent quantum key distribution protocols,
M. Farkas, J. Haah, D. Elkouss, and V . B. Scholz, “Bell nonlocality is not sufficient for the security of standard device-independent quantum key distribution protocols,”PRL, vol. 127, no. 5, p. 050503, 2021
2021
-
[26]
Device-independent quantum key distribution with arbitrarily small nonlocality,
L. Wooltorton, P. Brown, and R. Colbeck, “Device-independent quantum key distribution with arbitrarily small nonlocality,”PRL, vol. 132, no. 21, p. 210802, 2024
2024
-
[27]
Linking classical and quantum key agreement: Is there “bound information
N. Gisin and S. Wolf, “Linking classical and quantum key agreement: Is there “bound information”?” inAdvances in Cryptology — CRYPTO 2000, ser. Lecture Notes in Computer Science, 8 2000, pp. 482–500
2000
-
[2025]
Available: https://link.aps.org/doi/10.1103/95k8-3zxd
[Online]. Available: https://link.aps.org/doi/10.1103/95k8-3zxd
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.