01860nas a2200145 4500008004100000245007100041210006900112260001500181520139900196100001601595700002101611700002401632700002101656856003701677 2023 eng d00aFault-Tolerant Quantum Memory using Low-Depth Random Circuit Codes0 aFaultTolerant Quantum Memory using LowDepth Random Circuit Codes c11/29/20233 a

Low-depth random circuit codes possess many desirable properties for quantum error correction but have so far only been analyzed in the code capacity setting where it is assumed that encoding gates and syndrome measurements are noiseless. In this work, we design a fault-tolerant distillation protocol for preparing encoded states of one-dimensional random circuit codes even when all gates and measurements are subject to noise. This is sufficient for fault-tolerant quantum memory since these encoded states can then be used as ancillas for Steane error correction. We show through numerical simulations that our protocol can correct erasure errors up to an error rate of 2%. In addition, we also extend results in the code capacity setting by developing a maximum likelihood decoder for depolarizing noise similar to work by Darmawan et al. As in their work, we formulate the decoding problem as a tensor network contraction and show how to contract the network efficiently by exploiting the low-depth structure. Replacing the tensor network with a so-called ''tropical'' tensor network, we also show how to perform minimum weight decoding. With these decoders, we are able to numerically estimate the depolarizing error threshold of finite-rate random circuit codes and show that this threshold closely matches the hashing bound even when the decoding is sub-optimal.

1 aNelson, Jon1 aBentsen, Gregory1 aFlammia, Steven, T.1 aGullans, Michael uhttps://arxiv.org/abs/2311.1798501577nas a2200145 4500008004100000245006900041210006300110260001400173520112200187100002101309700002101330700001601351700002701367856003701394 2023 eng d00aHamiltonians whose low-energy states require $\Omega(n)$ T gates0 aHamiltonians whose lowenergy states require Omegan T gates c10/2/20233 a

The recent resolution of the NLTS Conjecture [ABN22] establishes a prerequisite to the Quantum PCP (QPCP) Conjecture through a novel use of newly-constructed QLDPC codes [LZ22]. Even with NLTS now solved, there remain many independent and unresolved prerequisites to the QPCP Conjecture, such as the NLSS Conjecture of [GL22]. In this work we focus on a specific and natural prerequisite to both NLSS and the QPCP Conjecture, namely, the existence of local Hamiltonians whose low-energy states all require ω(logn) T gates to prepare. In fact, we prove a stronger result which is not necessarily implied by either conjecture: we construct local Hamiltonians whose low-energy states require Ω(n) T gates. Following a previous work [CCNN23], we further show that our procedure can be applied to the NLTS Hamiltonians of [ABN22] to yield local Hamiltonians whose low-energy states require both Ω(logn)-depth and Ω(n) T gates to prepare. Our results utilize a connection between T-count and stabilizer groups, which was recently applied in the context of learning low T-count states [GIKL23a, GIKL23b, GIKL23c].

1 aCoble, Nolan, J.1 aCoudron, Matthew1 aNelson, Jon1 aNezhadi, Seyed, Sajjad uhttps://arxiv.org/abs/2310.0134701454nas a2200145 4500008004100000245006000041210005900101260001400160520101200174100002101186700002101207700001601228700002701244856003701271 2023 eng d00aLocal Hamiltonians with no low-energy stabilizer states0 aLocal Hamiltonians with no lowenergy stabilizer states c2/28/20233 a

The recently-defined No Low-energy Sampleable States (NLSS) conjecture of Gharibian and Le Gall [GL22] posits the existence of a family of local Hamiltonians where all states of low-enough constant energy do not have succinct representations allowing perfect sampling access. States that can be prepared using only Clifford gates (i.e. stabilizer states) are an example of sampleable states, so the NLSS conjecture implies the existence of local Hamiltonians whose low-energy space contains no stabilizer states. We describe families that exhibit this requisite property via a simple alteration to local Hamiltonians corresponding to CSS codes. Our method can also be applied to the recent NLTS Hamiltonians of Anshu, Breuckmann, and Nirkhe [ABN22], resulting in a family of local Hamiltonians whose low-energy space contains neither stabilizer states nor trivial states. We hope that our techniques will eventually be helpful for constructing Hamiltonians which simultaneously satisfy NLSS and NLTS.

1 aCoble, Nolan, J.1 aCoudron, Matthew1 aNelson, Jon1 aNezhadi, Seyed, Sajjad uhttps://arxiv.org/abs/2302.14755