---
title: Unextendible Biseparable Basis (UBB)
url: https://www.emergentmind.com/topics/unextendible-biseparable-basis-ubb
type: topic
---

# Unextendible Biseparable Basis (UBB)

An unextendible biseparable basis (UBB) is a multipartite orthogonal-state structure defined by a separation property of its complement: it is a set of pairwise orthogonal pure biseparable states spanning a proper subspace of a composite Hilbert space such that the orthogonal complement contains no biseparable state. Consequently, the complement is a genuinely entangled subspace (GES), so every nonzero vector in it is genuinely multipartite entangled. Since its introduction as a multipartite strengthening of the unextendible product basis (UPB) mechanism, the notion has become a focal point for constructing GESs with additional operational properties, including distillability across all bipartitions and strong quantum nonlocality [1809.04202, 2404.05882].

## 1. Definition and basic geometry

For a multipartite Hilbert space
\[
\mathcal H=\bigotimes_{j=1}^{m}\mathbb C^{d_j},
\]
a pure state is biseparable if it is product across at least one nontrivial bipartition of the parties. In the tripartite case, this means product in one of the cuts \(A|BC\), \(B|AC\), or \(C|AB\). A UBB is then defined as a set of pairwise orthogonal states \(\{|\psi_i\rangle\}\) spanning a proper subspace of \(\bigotimes_j \mathbb C^{d_j}\) such that every \( |\psi_i\rangle \) is biseparable and the complementary subspace contains no biseparable state [1809.04202, 2603.09040].

If \(\mathcal H_{\rm UBB}:=\operatorname{span}\{|\psi_i\rangle\}\), the defining property is that
\[
\mathcal H_{\rm UBB}^{\perp}
\]
contains no biseparable pure state. In a tripartite system, that immediately implies that every pure state in \(\mathcal H_{\rm UBB}^{\perp}\) is genuinely entangled, so \(\mathcal H_{\rm UBB}^{\perp}\) is a GES [2404.05882].

A useful technical criterion appears in the tripartite rank formulation. For
\[
|\phi\rangle=\sum_{i,j,k} y_{i,j,k}\,|i\rangle|j\rangle|k\rangle \in \mathbb C^m\otimes\mathbb C^n\otimes\mathbb C^\ell,
\]
the state is biseparable iff in at least one bipartition the reshaped coefficient array has matrix rank \(1\); it is genuinely entangled iff in every bipartition the corresponding reshaped matrix has rank \(>1\). This criterion is used explicitly in unextendibility proofs for concrete UBBs [2404.05882].

## 2. Relation to UPBs, CESs, and GESs

UBBs are the biseparable analogue of UPBs. A UPB is a set of orthogonal fully product states spanning a proper subspace whose orthogonal complement contains no fully product state. Its complement is therefore a completely entangled subspace (CES), meaning that it contains no fully product vector. A UBB strengthens this logic by excluding not merely fully product states but all biseparable states from the complement, and therefore yields a GES rather than merely a CES [1809.04202, 2404.05882].

This distinction is structurally important. In multipartite systems, a vector may fail to be fully product while remaining separable across some bipartition. Thus a CES need not be genuinely entangled. This was already emphasized in work on UPB-generated GESs: a multipartite UPB has a GES in the orthocomplement of its span iff it is a bipartite UPB across every possible cut [1712.08916]. That criterion identifies the precise gap between ordinary product-state unextendibility and the stronger condition needed to eliminate all biproduct or biseparable structure.

Several precursor lines sharpened this gap without yet formulating UBB directly. One \(4\times4\) UPB in four-qubit space was shown to be orthogonal to an “almost genuinely entangled space,” in the sense that its complement contains no \(4\times4\) product vector in any balanced bipartition, though it is not a full GES because \(2\times N\) product vectors remain [1901.06093]. Related work on tile structures and stopper constructions produced UPBs that are uncompletable or, under sufficient conditions, remain UPBs in every bipartition, thereby providing a combinatorial route toward subspaces with stronger multipartite entanglement properties [2207.04763].

## 3. Original UBB constructions and the distillability program

The term UBB was introduced in the three-party setting as a systematic way to construct GESs in \((\mathbb C^d)^{\otimes 3}\) for all \(d\ge 3\). Two classes were given: party-symmetric and party-asymmetric UBBs. In the symmetric construction, the resulting GES was shown to be bidistillable, meaning that every supported state has distillable entanglement across every bipartition [1809.04202].

The original three-qutrit construction was formulated through a twisted orthogonal product basis on a \(3\times3\times3\) block-cube. The local superpositions
\[
\ket{\eta_i}:=\ket{0}+(-1)^i\ket{1},\qquad
\ket{\xi_j}:=\ket{1}+(-1)^j\ket{2}
\]
generate six face blocks together with a body-diagonal block \(\mathcal B_0=\{|000\rangle,|111\rangle,|222\rangle\}\). The UBB mechanism then removes selected states and uses a stopper configuration so that the missing directions cannot be reinserted by any biseparable vector orthogonal to the retained set [1809.04202].

This early framework fixed two themes that continue through later work. First, UBBs are valuable because they convert an orthogonality problem into a subspace-construction problem: once the basis is unextendible against biseparable states, the complement is automatically a GES. Second, the most useful GESs are not merely genuine but distillable across every cut. That “all-encompassing distillable entanglement across every bipartition” became a recurring criterion for evaluating the operational strength of UBB-derived subspaces [1809.04202].

## 4. Strong quantum nonlocality and the \(\mathcal{UBB}_{\mathcal{II}}\) construction

A major development was the connection between UBBs and strong quantum nonlocality in the local irreducibility paradigm. In this framework, a local measurement is orthogonality-preserving if the postmeasurement states remain pairwise orthogonal; a set is locally irreducible if no party can eliminate one or more states by any nontrivial orthogonality-preserving local measurement; and in a tripartite system it is strongly nonlocal if it is locally irreducible both in the full tripartition and in every bipartition. This notion is stronger than ordinary LOCC indistinguishability and stronger than the usual “nonlocality without entanglement” criterion [2404.05882].

Earlier proof techniques for strong nonlocality were developed in the UPB setting, where strongly nonlocal UPBs were shown to exist in \(d\otimes d\otimes d\) for all \(d\ge 3\) [2101.00735]. The 2024 UBB advance carried this program beyond UPB-based constructions. It introduced two subclasses: \(\mathcal{UBB}_{\mathcal I}\), which contains a UPB as a subset, and \(\mathcal{UBB}_{\mathcal{II}}\), which does not contain any UPB as a subset. The main result is a family of tripartite \(\mathcal{UBB}_{\mathcal{II}}\) constructions in \((\mathbb C^n)^{\otimes 3}\), \(n\ge 3\), thereby going beyond UBBs obtained by extending UPBs [2404.05882].

In the explicit \(3\otimes3\otimes3\) instance, the basis \(\mathcal U^{0,2}_3\) is built from a complete orthogonal biseparable basis, a stopper state
\[
|S\rangle=(|0\rangle+|1\rangle+|2\rangle)_A(|0\rangle+|1\rangle+|2\rangle)_B(|0\rangle+|1\rangle+|2\rangle)_C,
\]
and the removal of three states \( |\kappa^{(i)}_{0,2}\rangle^+ \) together with the three diagonal states \(|\kappa_k\rangle=|k\rangle|k\rangle|k\rangle\). The resulting set has size \(22\) in a \(27\)-dimensional space, so its complement has dimension \(5\). Unextendibility is proved by showing that any vector in the orthogonal complement must be a linear combination of the six missing states and orthogonal to the stopper, after which a bipartition rank analysis rules out biseparability. This construction was shown to be strongly nonlocal and thereby answered positively the open problem raised by Agrawal et al. concerning the existence of a UBB with strong quantum nonlocality in the local irreducibility sense [2404.05882].

## 5. Structural results, no-go phenomena, and corrected misconceptions

One persistent question has been whether the complement of a product-state construction can already be genuinely entangled. In that language, the relevant object is a genuinely unextendible product basis (GUPB): a multipartite UPB that is also a UPB for every bipartition. This is effectively the product-state analogue of the UBB objective. Broad no-go results show that such constructions are highly constrained. In particular, for equal local dimensions \(d_1=\cdots=d_n=d\), all candidate cardinalities
\[
d^{\,n-1}+d-1
\quad\text{and}\quad
d^{\,n-1}+d
\]
are forbidden for GUPBs, so maximal-dimension and near-maximal-dimension GESs cannot in general be obtained from orthogonal UPBs of those smallest sizes [2202.08356].

These negative results do not imply nonexistence of UBBs. Rather, they show that product-state unextendibility is much more restrictive when one demands absence of biproduct vectors in the complement. This sharpened the motivation for genuine biseparable-state constructions, as opposed to attempts to realize all GESs as complements of UPBs [2202.08356].

A later conceptual consolidation established that every UBB is LOCC-indistinguishable. The same work introduced a sufficient criterion for proving that a subspace is genuinely entangled by using product-forming matrices and symmetrization matrices: if these span the full matrix space \(M(n,\mathbb C)\) in each bipartition, then the subspace contains no product state in that cut. Applied to every bipartition, this yields a practical sufficient condition that a complementary subspace is a GES, and hence that the original orthogonal biseparable set is a UBB [2508.17154].

That paper also corrected a potential misconception. Because previously known UBBs satisfied strong-nonlocality criteria, it was natural to suspect that strong nonlocality might be inherent to UBBs. The paper proves instead that while every UBB is LOCC-indistinguishable, strong nonlocality is not automatic: it constructs a UBB that violates the stated no-go condition and exhibits locality across certain bipartitions [2508.17154]. This suggests that unextendibility, LOCC indistinguishability, and strong nonlocality form a strict hierarchy rather than a single equivalence class.

## 6. Low-dimensional and multipartite extensions

Recent work has pushed UBBs both downward in local dimension and upward in party number. In \(2\otimes2\otimes2\), a five-state orthogonal biseparable set
\[
\mathcal U=\{\ket{\phi_{00}^{-}},\ket{\phi_{01}^{-}},\ket{\psi_{10}^{+}},\ket{\psi_{11}^{+}},\ket{\kappa}\}
\]
was shown to be a UBB. Here \(|\mathcal U|=5\) in an \(8\)-dimensional Hilbert space, so \(\dim(\mathcal U^\perp)=3\). The orthogonal complement is proved to be a GES by constructing an explicit three-vector spanning set and excluding product states in each of the cuts \(A|BC\), \(B|CA\), and \(C|AB\) through a product-forming matrix criterion and Gröbner-basis reduction. The same work shows that \(\operatorname{Span}(\mathcal U)\) is a locally indistinguishable subspace and that every state supported on \(\mathcal U^\perp\) is one-shot distillable in every cut. The construction is presented as the smallest possible UBB in the three-qubit system and as realizing the \(d=2\) case of the proposed \(d^2+d-1\) benchmark [2604.06412].

At the same time, UBB theory has been extended to four-partite systems \((\mathbb C^d)^{\otimes 4}\), \(d\ge 3\). An explicit 4-qutrit UBB \(\mathcal U\) is obtained by modifying a strongly nonlocal orthogonal product set: selected product states are removed from local blocks and replaced by orthogonal biseparable states spanning the same subblocks, after which a stopper state
\[
|S\rangle=|0+1+2\rangle_1|0+1+2\rangle_2|0+1+2\rangle_3|0+1+2\rangle_4
\]
enforces unextendibility. The qutrit complement \(\mathcal H_{\mathcal U}^{\perp}\) has dimension \(8\), and the general family \(\mathcal U^d\) in \((\mathbb C^d)^{\otimes4}\) yields
\[
\dim(\mathcal H_{\mathcal U^d}^{\perp})=8\left\lfloor\frac{d-1}{2}\right\rfloor.
\]
These four-partite UBBs are proved to be strongly nonlocal, and the paper also isolates proper GESs of dimension
\[
7\left\lfloor\frac{d-1}{2}\right\rfloor-1
\]
that are distillable across every bipartition [2603.09040].

A parallel 2025 construction program in \(2\otimes2\otimes2\) and \(3\otimes3\otimes3\) emphasizes the geometry of the complement rather than the basis itself. Using stopper states
\[
|\tau_d^r\rangle=\left(\sum_{i=0}^{d-1}|i\rangle\right)^{\otimes r},
\]
it constructs UBBs whose complements include a \(2\)-dimensional GES in \(2\otimes2\otimes2\) and an \(8\)-dimensional GES in \(3\otimes3\otimes3\), the latter described there as the largest known GES obtained from a UBB. The same work states that every state supported on that \(8\)-dimensional subspace is \(1\)-distillable across every bipartition [2508.17154].

Taken together, these developments place UBBs at the intersection of multipartite entanglement geometry, state discrimination, and distillation theory. The established picture is that UBBs provide a direct method for constructing GESs; some such complements are bidistillable or \(1\)-distillable across every cut; every UBB is LOCC-indistinguishable; and only a proper subclass is strongly nonlocal [1809.04202, 2404.05882, 2508.17154].

Source: https://www.emergentmind.com/topics/unextendible-biseparable-basis-ubb