Genuinely entangled subspaces beyond strongly nonlocal unextendible biseparable bases

TL;DR

This paper introduces a method to construct high-dimensional genuinely entangled subspaces from unextendible biseparable bases, demonstrating their strong nonlocality and robustness for quantum cryptography.

Contribution

It provides a systematic way to build the largest known GESs from UBBs, proves their 1-distillability, and introduces a no-go condition for certifying extreme nonlocality.

Findings

Constructed the largest known GES from UBBs.

Proved every state in the GES is 1-distillable across all bipartitions.

Demonstrated UBBs exhibit strong nonlocality, enhancing cryptographic security.

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.