On the Addressability Problem on CSS Codes
关于CSS码的可寻址性问题
Jérôme Guyot, Samuel Jaques
AI总结 研究CSS码中逻辑门对逻辑量子比特子集的可寻址性,证明在非零率CSS码中无法用1-局域Clifford门实现某些逻辑门,并给出高率码的置换和CNOT/CZ门的不可行性结果。
详情
最近在渐近好量子码方面的发现加强了对它们在量子计算和容错操作中应用的研究。本研究聚焦于CSS码中的可寻址性问题:我们询问哪些电路可以在逻辑量子比特的严格子集上实现逻辑门。在一定的容错概念下,我们证明了几个不可能性结果:对于非零率的CSS码,无法使用仅由1-局域Clifford门构成的电路将逻辑$H$、$HS$、$SH$或$\mathsf{CNOT}$寻址到逻辑量子比特的任何非空严格子集。此外,我们证明,如果码的率(渐近地)大于1/3且距离至少为3,则不能仅通过置换物理量子比特来置换码中的逻辑量子比特。对于两个这样的高率码之间的$\mathsf{CNOT}$和$\mathsf{CZ}$,我们可以展示类似的不可能性结果,尽管对电路有更严格的假设,我们称之为“全局”(尽管最近的可寻址CCZ门使用全局电路)。这项工作开创了量子码中保持距离的可寻址性的研究,主要通过考虑码的自同构。这一视角为未来研究提供了新的见解和潜在方向。我们认为,研究可寻址性与码效率之间的权衡对于更好地理解如何进行高效量子计算至关重要。
Recent discoveries in asymptotically good quantum codes have intensified research on their application in quantum computation and fault-tolerant operations. This study focuses on the addressability problem within CSS codes: we ask what circuits might implement logical gates on strict subsets of logical qubits. With some notion of fault-tolerance, we prove several impossibility results: for CSS codes with non-zero rate, one cannot address a logical $H$, $HS$, $SH$, or $\mathsf{CNOT}$ to any non-empty strict subset of logical qubits using a circuit made only from 1-local Clifford gates. Furthermore, we show that one cannot permute the logical qubits in a code purely by permuting the physical qubits, if the rate of the code is (asymptotically) greater than 1/3 and the distance is at least 3. We can show a similar no-go result for $\mathsf{CNOT}$s and $\mathsf{CZ}$s between two such high-rate codes, albeit under a more restrictive assumption on the circuit, which we call "global" (though recent addressable CCZ gates use global circuits). This work pioneers the study of distance-preserving addressability in quantum codes, mainly by considering automorphisms of the code. This perspective offers new insights and potential directions for future research. We argue that studying this trade off between addressability and efficiency of the codes is essential to understand better how to do efficient quantum computation.