Uniqueness of Complementary Recovery in Holographic Error-Correcting Codes

Holographic codes are a type of error-correcting code with extra geometric structure ensured by a ``complementary recovery'' property: given a division of the physical Hilbert space $\mathcal{H}$ into $\mathcal{H}_A$ and $\mathcal{H}_{\bar A}$, and an algebra of physical operators $\mathcal{M}\subseteq (\mathcal{L}(\mathcal{H}_A)\otimes I_{\mathcal{H}_{\bar A}})$, the logical operators in $\mathcal{L}(\mathcal{H}_L)\simeq \mathcal{L}(P\mathcal{H})$ which can be created by acting in $\mathcal{M}$ are identical to the logical operators whose expectation values cannot be altered by acting in the commutant $\mathcal{M}^\prime$, and vice versa. In arXiv:2110.14691, a uniqueness theorem was stated: the only possible tuple of (code, bipartition, algebra) which can exhibit complementary recovery is the maximal one $\mathcal{M}=P(\mathcal{L}(\mathcal{H}_A)\otimes I_{\mathcal{H}_{\bar A}})P$. We point out a counterexample to this result, using a ``non-adjacent'' bipartition of a four-qubit code proposed in arXiv:2110.14691. We show that the failure of uniqueness is due to a failure to enforce error correction against erasure of $\mathcal{H}_{\bar A}$, which requires enforcing the algebraic Knill-Laflamme condition $[P E_i^\dagger E_j P,\mathcal{M}]=0$ for each pair of error operators. When we add the additional requirement that $\mathcal{M}$ be correctable with respect to this channel, uniqueness is restored, and we re-prove the theorem of arXiv:2110.14691 with this added assumption. We present the list of bipartitions of the ``atomic'' holographic codes in arXiv:2110.14691 in which the correctability assumption can be violated.