Abstract

The design of a four-dimensional toric code is explored with the goal of finding a lattice capable of implementing a logical $\mathsf{CCCZ}$ gate transversally. The established lattice is the octaplex tessellation, which is a regular tessellation of four-dimensional Euclidean space whose underlying 4-cell is the octaplex, or hyper-diamond. This differs from the conventional 4D toric code lattice, based on the hypercubic tessellation, which is symmetric with respect to logical $X$ and $Z$ and only allows for the implementation of a transversal Clifford gate. This work further develops the established connection between topological dimension and transversal gates in the Clifford hierarchy, generalizing the known designs for the implementation of transversal $\mathsf{CZ}$ and $\mathsf{CCZ}$ in two and three dimensions, respectively.

Highlights

  • We have established the existence of a 4D topological code with a transversal CCCZ gate

  • The natural candidate in 5D would be to consider lattices with Schläfli symbol: {3, 3, 4, a, b}, where a, b are integer degrees of freedom. This choice is motivated by the fact that underlying 4-cells composing the lattice are hyperoctahedra, which are the 4D analog of the octahedron

  • The only regular tessellation of 5D Euclidean space is from the hypercubic family: {4, 3, 3, 3, 4}, and no regular tessellation with the required conditions exist

Read more

Summary

MOTIVATION

Quantum error correction is expected to play an essential role in the development of large-scale quantum computers. Topological error correcting codes are among the most well-studied forms of quantum error correcting codes These codes are defined by their spatially local stabilizer checks in D dimensions, while embedding their logical information in macroscopic non local degrees of freedom. Such codes provide numerous computing advantages, including a pathway for experimental qubit layout [2,3,4,5,6], efficient decoding algorithms [7,8,9,10,11,12], and provable target threshold error rates for numerous local noise models [2,13,14]. Topological codes in D dimensions will be limited to having transversal gates that are in the Dth level of the Clifford hierarchy [21]. VI provides a discussion on the difficulty in finding higher-dimensional generalizations and other open questions

BACKGROUND
Pauli sandwich trick
Schläfli symbols
The dual picture
Stabilizer weights
Coordinate system for the octaplex tessellation
Stabilizer operators of codeblock 0
Logical operators of codeblock 0
It is straightforward to verify that it intersects the logical
Equivalence of all four codeblocks
Transversal CCCZ gate
BOUNDARY CONDITIONS
COUNTING STABILIZERS
DISCUSSION

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.