Genuinely entangled subspaces beyond strongly nonlocal unextendible biseparable bases
Pith reviewed 2026-05-18 21:14 UTC · model grok-4.3
The pith
A sufficient condition on subspaces yields the largest known genuinely entangled subspaces from unextendible biseparable bases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The orthogonal complement of an unextendible biseparable basis forms a genuinely entangled subspace once the basis satisfies a sufficient condition that forces every vector in the complement to be genuinely multipartite entangled. The explicit construction gives the largest such subspace reported, with the added property that every state is 1-distillable across all bipartitions. All unextendible biseparable bases are shown to be LOCC-indistinguishable, and a no-go condition for strong nonlocality is stated that holds for earlier examples yet fails for the new basis that exhibits locality on some cuts.
What carries the argument
The sufficient condition that certifies a subspace is genuinely entangled by ensuring its orthogonal complement contains only genuine multipartite entangled states.
If this is right
- Every state in the constructed subspace is 1-distillable across every bipartition.
- Every unextendible biseparable basis is indistinguishable under LOCC protocols.
- The bases support cryptographic protocols secure against both LOCC attacks and coordinated group attacks.
- A no-go condition identifies an extreme form of nonlocality that is not satisfied by every unextendible biseparable basis.
Where Pith is reading between the lines
- The same sufficient condition could be applied to other families of bases to produce still larger genuinely entangled subspaces.
- The existence of unextendible biseparable bases that are local on some cuts suggests a finer classification of nonlocality beyond the strong form.
- Experimental verification of 1-distillability on the constructed states would test the practical utility of the subspaces for quantum communication tasks.
Load-bearing premise
The sufficient condition for genuine entanglement of the subspace holds for the particular unextendible biseparable bases constructed here.
What would settle it
A single vector inside the reported subspace that is either separable across some bipartition or not 1-distillable would show the sufficient condition does not apply to these bases.
Figures
read the original abstract
Quantum information theory reveals a clear distinction between local and nonlocal correlations through the entanglement across spatially separated subsystems. The orthogonal complement of an unextendible biseparable basis (UBB) consists entirely of genuine multipartite entangled states, representing the most robust form of such nonlocal correlations. In this letter, we provide a sufficient condition for any subspace to be genuinely entangled, enabling the systematic construction of high-dimensional genuinely entangled subspaces (GESs) from UBBs. Our construction yields the largest known GES ever obtained from a UBB. In fact, every state in this subspace is 1-distillable across every bipartition which is one of the crucial result we obtained. Furthermore, we prove that every UBB is indistinguishable under LOCC protocols, underscoring a distinct manifestation of quantum nonlocality. The UBBs we construct exhibit strong nonlocality in this scenario, making cryptographic protocols secure not only against LOCC-based attacks but also against coordinated group attacks. We introduce a no-go condition that certifies such an extreme form of nonlocality. All previously known UBBs satisfy this condition, which may lead to the misconception that strong nonlocality is an inherent property of every UBB. However, we construct a UBB that violates the no-go condition and exhibits locality across certain bipartitions, challenging conventional notions of unextendibility and nonlocality in multipartite quantum systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper provides a sufficient condition for a subspace to be genuinely entangled and uses it to construct unextendible biseparable bases (UBBs) yielding high-dimensional genuinely entangled subspaces (GESs), claiming the largest known GES obtained from a UBB. It asserts that every state in the constructed subspace is 1-distillable across every bipartition, proves that every UBB is indistinguishable under LOCC protocols, introduces a no-go condition for strong nonlocality satisfied by all prior UBBs, and constructs a new UBB violating the condition that exhibits locality across certain bipartitions.
Significance. If the sufficient condition and its application to the full orthogonal complement are rigorously established, along with the LOCC indistinguishability proof, the work would advance constructions of robust multipartite entanglement and clarify the relationship between unextendibility and strong nonlocality, with potential implications for quantum cryptography against coordinated attacks.
major comments (1)
- [Main construction and sufficient condition (around the statement following the abstract claims)] The sufficient condition for genuine entanglement of a subspace (invoked to guarantee that the orthogonal complement of the new UBB is a GES with the 1-distillability property) must be shown to apply to every vector in the complement rather than only to a generating set or basis states. If verification is limited to specific vectors or assumes support properties that do not hold uniformly, states with vanishing entanglement across some bipartition could exist in the complement, directly undermining the headline claims of the largest known GES and universal 1-distillability.
minor comments (1)
- [Section introducing the no-go condition] Clarify the precise definition of the no-go condition and its relation to prior notions of strong nonlocality to avoid potential overlap with existing literature.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable feedback on our manuscript. We address the major comment point by point below.
read point-by-point responses
-
Referee: [Main construction and sufficient condition (around the statement following the abstract claims)] The sufficient condition for genuine entanglement of a subspace (invoked to guarantee that the orthogonal complement of the new UBB is a GES with the 1-distillability property) must be shown to apply to every vector in the complement rather than only to a generating set or basis states. If verification is limited to specific vectors or assumes support properties that do not hold uniformly, states with vanishing entanglement across some bipartition could exist in the complement, directly undermining the headline claims of the largest known GES and universal 1-distillability.
Authors: We agree that a sufficient condition for a subspace to be genuinely entangled requires the property to hold for every vector in the subspace, not merely a basis or generating set, as convex combinations could in principle reduce entanglement. In the manuscript, the condition is applied to the orthogonal complement by verifying 1-distillability on the basis vectors constructed from the UBB. However, to rigorously close this point, the revised version will include an explicit argument showing that the UBB structure and uniform 1-distillability across bipartitions extend the property to arbitrary states: suppose a state in the complement had vanishing distillable entanglement across some bipartition; its support would then allow extension of the biseparable basis, contradicting unextendibility. This clarification strengthens rather than changes the claims. revision: yes
Circularity Check
No circularity detected in derivation chain
full rationale
The paper introduces a new sufficient condition for a subspace to be genuinely entangled and applies it to construct GESs from UBBs, along with independent proofs of 1-distillability across bipartitions and LOCC indistinguishability of UBBs. No quoted steps reduce by construction to inputs via self-definition, fitted parameters renamed as predictions, or load-bearing self-citations; the central claims rest on the provided condition and explicit constructions rather than circular reductions. This is the expected self-contained case for most papers.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinctionreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
we provide a sufficient condition for any subspace to be genuinely entangled, enabling the systematic construction of high-dimensional genuinely entangled subspaces (GESs) from UBBs... the dimension of the space spanned by the product-forming matrices and symmetrization matrices turns out to be 64 which is exactly the square of the number of states
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Strong nonlocality with more imaginarity and less entanglement
Five orthogonal three-qubit states exhibit strong nonlocality if and only if they contain imaginary components, forming the smallest unextendible biseparable basis of cardinality d² + d - 1 while spanning a locally in...
Reference graph
Works this paper leans on
-
[1]
Therefore, by Corollary 1 the set G + constitutes a UBB in the 2 ⊗ 2 ⊗ 2 Hilbert space
This implies these matrices spans M(2, C). Therefore, by Corollary 1 the set G + constitutes a UBB in the 2 ⊗ 2 ⊗ 2 Hilbert space. The following theorem establishes that not every UBB exhibits the highest form of nonlocality. Theorem 3: The set U is neither strongly nonlocal nor genuinely nonlocal. Suppose Bob and Charlie go first with two outcome joint P...
-
[2]
Therefore by Theorem 2, GE (8) hqm is entangled in each bipartion and hence the set Uhqm follows Corollary 1. GE (8) hqm holds particular significance as it represents the highest dimensional GES ever constructed from a UBB. A remarkable feature of this GES is its one-shot distillability across every bipartition, not merely for select states, but for ever...
-
[3]
For any such choices rank[Trα(∑n−1 i=0 |φi⟩ ⟨φi|)] ⩾ n + 1, where α ∈ {A,B,C}. Therefore, bimarginals of an arbitrary projector P(n) have rank at least n + 1 which assures distillability of the normalized projectors across every bipartition. ■ The distillability of the complementary space of Uhqm marks a significant achievement, something rarely realized ...
-
[4]
A. Einstein, N. Rosen and B. Podolsky, Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Phys. Rev. 47, 777 (1935)
work page 1935
-
[5]
C. H. Bennett, D. P. DiVincenzo, T. Mor, P. W. Shor, J. A. Smolin, and B. M. Terhal, Unextendible Product Bases and Bound Entangle- ment, Phys. Rev. Lett. 82, 5385 (1999)
work page 1999
-
[6]
D. P. DiVincenzo, T. Mor, P. W. Shor, J. A. Smolin, and B. M. Terhal, Unextendible product bases, uncompletable product bases and bound entanglement, Commun. Math. Phys. 238, 379 (2003)
work page 2003
-
[7]
Chitambar, E., Leung, D., Mancinska, L. et al. Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask). Commun. Math. Phys. 328, 303-326 (2014)
work page 2014
-
[8]
Four-party unlockable bound entangled state, Physical Rev A
Smolin, John A. Four-party unlockable bound entangled state, Physical Rev A. 63, 032306 (2001)
work page 2001
-
[9]
”Evidence for bound entangled states with negative partial transpose”
DiVincenzo, David P.; Shor, Peter W.; Smolin, John A.; Terhal, Barbara M.; Thapliyal, Ashish V .. ”Evidence for bound entangled states with negative partial transpose”. Physical Review A. 61 062312 (2000)
work page 2000
- [10]
- [11]
-
[12]
J. Walgate, A. J. Short, L. Hardy, and V . Vedral, Local Distinguishability of Multipartite Orthogonal Quantum States, Phys. Rev. Lett. 85, 4972 (2000)
work page 2000
-
[13]
S. Virmani, M. F. Sacchi, M. B. Plenio, and D. Markham, Optimal local discrimination of two multipartite pure states, Phys. Lett. A 288, 62 (2001)
work page 2001
- [14]
- [15]
-
[16]
B. Groisman and L. Vaidman, Nonlocal variables with product state eigenstates, J. Phys. A: Math. Gen. 34, 6881 (2001)
work page 2001
-
[17]
J. Walgate and L. Hardy, Nonlocality, Asymmetry, and Distinguishing Bipartite States, Phys. Rev. Lett. 89, 147901 (2002)
work page 2002
-
[18]
M. Horodecki, A. Sen(De), U. Sen, and K. Horodecki, Local Indistinguishability: More Nonlocality with Less Entanglement, Phys. Rev. Lett. 90, 047902 (2003)
work page 2003
-
[19]
H. Fan, Distinguishability and Indistinguishability by Local Operations and Classical Communication, Phys. Rev. Lett. 92, 177905 (2004)
work page 2004
- [20]
-
[21]
Nathanson, Distinguishing bipartite orthogonal states by LOCC: Best and worst cases, J
M. Nathanson, Distinguishing bipartite orthogonal states by LOCC: Best and worst cases, J. Math. Phys. 46, 062103 (2005)
work page 2005
-
[22]
J. Niset and N. J. Cerf, Multipartite nonlocality without entanglement in many dimensions, Phys. Rev. A 74, 052103 (2006)
work page 2006
-
[23]
M.-Y . Ye, W. Jiang, P.-X. Chen, Y .-S. Zhang, Z.-W. Zhou, and G.-C. Guo, Local distinguishability of orthogonal quantum states and generators of SU(N), Phys. Rev. A 76, 032329 (2007)
work page 2007
-
[24]
Fan, Distinguishing bipartite states by local operations and classical communication, Phys
H. Fan, Distinguishing bipartite states by local operations and classical communication, Phys. Rev. A 75, 014305 (2007)
work page 2007
-
[25]
R. Duan, Y . Feng, Z. Ji, and M. Ying, Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication, Phys. Rev. Lett. 98, 230502 (2007)
work page 2007
-
[26]
S. Bandyopadhyay and J. Walgate, Local distinguishability of any three quantum states, J. Phys. A: Math. Theor. 42, 072002 (2009). 7
work page 2009
-
[27]
Y . Feng and Y .-Y . Shi, Characterizing locally indistinguishable orthogonal product states, IEEE Trans. Inf. Theory 55, 2799 (2009)
work page 2009
-
[28]
N. Yu, R. Duan, and M. Ying, Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States, Phys. Rev. Lett. 109, 020506 (2012)
work page 2012
-
[29]
Y .-H. Yang, F. Gao, G.-J. Tian, T.-Q. Cao, and Q.-Y .Wen, Local distinguishability of orthogonal quantum states in a 2 ⊗2⊗2 system, Phys. Rev. A 88, 024301 (2013)
work page 2013
- [30]
-
[31]
S. Bandyopadhyay, G. Brassard, S. Kimmel, and W. K. Wootters, Entanglement cost of nonlocal measurements, Phys. Rev. A 80, 012313 (2009)
work page 2009
-
[32]
S. Bandyopadhyay, R. Rahaman, and W. K. Wootters, Entanglement cost of two-qubit orthogonal measurements, J. Phys. A: Math. Theor. 43, 455303 (2010)
work page 2010
-
[33]
N. Yu, R. Duan, and M. Ying, Distinguishability of quantum states by positive operator-valued measures with positive partial transpose, IEEE Trans. Inf. Theory 60, 2069 (2014)
work page 2069
-
[34]
S. Bandyopadhyay, A. Cosentino, N. Johnston, V . Russo, J. Watrous, and N. Yu, Limitations on separable measurements by convex optimization, IEEE Trans. Inf. Theory 61, 3593 (2014)
work page 2014
-
[35]
S. Bandyopadhyay, S. Halder, and M. Nathanson, Entanglement as a resource for local state discrimination in multipartite systems, Phys. Rev. A 94, 022311 (2016)
work page 2016
-
[36]
Accordingly, nonlocality refers to local indistinguishability
It is important to note that when we refer to a set as local, we specifically mean that it is locally distinguishable and nonlocal if it is locally indistinguishable. Accordingly, nonlocality refers to local indistinguishability. This usage occurs frequently throughout the letter. It is crucial not to confuse these with the terms as used in the context of...
-
[37]
J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics 1, 195 (1964)
work page 1964
-
[38]
Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, and Stephanie Wehner, Bell nonlocality, Rev. Mod. Phys. 86, 419 (2013) Rev. Mod. Phys. 86, 419 (2013)
work page 2013
-
[39]
B. M. Terhal, D. P. DiVincenzo, and D. W. Leung, Hiding Bits in Bell States, Phys. Rev. Lett. 86, 5807 (2001)
work page 2001
-
[40]
T. Eggeling and R. F. Werner, Hiding Classical Data in Multipartite Quantum States, Phys. Rev. Lett. 89, 097905 (2002)
work page 2002
-
[41]
I. Chattopadhyay and D. Sarkar, Local indistinguishability and possibility of hiding cbits in activable bound entangled states, Phys. Lett. A, 365, 273 (2007)
work page 2007
-
[42]
W. Matthews, S. Wehner, and A. Winter, Distinguishability of quantum states under restricted families of measurements with an applica- tion to quantum data hiding, Commun. Math. Phys. 291, 813 (2009)
work page 2009
-
[43]
D. Markham and B. C. Sanders, Graph states for quantum secret sharing, Phys. Rev. A 78, 042309 (2008)
work page 2008
-
[44]
Charles H. Bennett, David P. DiVincenzo, Christopher A. Fuchs, Tal Mor, Eric Rains, Peter W. Shor, John A. Smolin, and William K. Wootters, Quantum nonlocality without entanglement, Phys. Rev. A 59, 1070(1999)
work page 1999
- [45]
-
[46]
Y .-L. Wang, M.-S. Li, Z.-J. Zheng, and S.-M. Fei, Nonlocality of orthogonal product-basis quantum states, Phys. Rev. A 92, 032313 (2015)
work page 2015
-
[47]
J. Chen and N. Johnston, The minimum size of unextendible product bases in the bipartite case (and some multipartite cases), Commun. Math. Phys. 333, 351 (2015)
work page 2015
-
[48]
Y .-H. Yang, F. Gao, G.-B. Xu, H.-J. Zuo, Z.-C. Zhang, and Q.-Y .Wen, Characterizing unextendible product bases in qutritququad system, Sci. Rep. 5, 11963 (2015)
work page 2015
- [49]
- [50]
- [51]
- [52]
- [54]
- [55]
- [56]
-
[57]
Y .-L. Wang, M.-S. Li, Z.-J. Zheng, and S.-M. Fei, The local indistinguishability of multipartite product states, Quantum Inf. Process. 16, 5 (2017)
work page 2017
-
[58]
S. M. Cohen, Understanding entanglement as resource: Locally distinguishing unextendible product bases, Phys. Rev. A 77, 012304 (2008)
work page 2008
- [59]
-
[60]
S. Bandyopadhyay, S. Halder, and M. Nathanson, Optimal resource states for local state discrimination, Phys. Rev. A 97, 022314 (2018)
work page 2018
-
[61]
Z.-C. Zhang, Y .-Q. Song, T.-T. Song, F. Gao, S.-J. Qin, and Q.-Y . Wen, Local distinguishability of orthogonal quantum states with multiple copies of 2⊗2 maximally entangled states, Phys. Rev. A 97, 022334 (2018)
work page 2018
-
[62]
P. Yuan, G. Tian and X. Sun, Strong quantum nonlocality without entanglement in multipartite quantum systems, Phys. Rev. A 102, 042228 (2020)
work page 2020
- [63]
- [64]
-
[65]
Johnston, Non-positive partial transpose subspaces can be as large as any entangled subspace, Phys
N. Johnston, Non-positive partial transpose subspaces can be as large as any entangled subspace, Phys. Rev. A 87, 064302 (2013)
work page 2013
-
[66]
L. Chen and D. Z. Djokovic, Non-positive-partial-transpose quantum states of rank four are distillable, Phys. Rev. A 94, 052318 (2016)
work page 2016
-
[67]
S. Agrawal, S. Halder, and M. Banik, Genuinely entangled subspace with all-encompassing distillable entanglement across every bipar- tition, Phys. Rev. A 99, 032335 (2019)
work page 2019
- [68]
-
[69]
A. Peres, Quantum Theory: Concepts and Methods (Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993)
work page 1993
-
[70]
S. Rout, A. G. Maity, A. Mukherjee, S. Halder, and M. Banik, Genuinely nonlocal product bases: Classification and entanglement-assisted discrimination, Phys. Rev. A 100, 032321 (2019)
work page 2019
- [71]
- [72]
- [73]
-
[74]
Halder, Several nonlocal sets of multipartite pure orthogonal product states, Phys
S. Halder, Several nonlocal sets of multipartite pure orthogonal product states, Phys. Rev. A 98, 022303 (2018)
work page 2018
-
[75]
Somshubhro Bandyopadhyay and Saronath Halder, Genuine activation of nonlocality: From locally available to locally hidden informa- tion, Phys. Rev. A 104, L050201 (2021)
work page 2021
-
[76]
S. Bera, A. Bhunia, I. Biswas, I. Chattopadhyay, and D. Sarkar, Exploring strong locality: Quantum-state-discrimination regime and beyond, Phys. Rev. A 110, 042424 (2024)
work page 2024
-
[77]
C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, Mixed-state entanglement and quantum error correction, Phys. Rev. A 54, 3824 (1996)
work page 1996
-
[78]
E. M. Rains, Rigorous treatment of distillable entanglement, Phys. Rev. A 60, 173 (1999)
work page 1999
-
[79]
E. M. Rains, Bound on distillable entanglement, Phys. Rev. A 60, 179 (1999)
work page 1999
-
[80]
P. Horodecki, R. Horodecki, Distillation and bound entanglement, Quantum Information and Computation, V ol. 1, No. 1, 45-75 (2001)
work page 2001
-
[81]
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.