Recent experimental achievements have demonstrated the potential of neutral atom architectures for fault-tolerant quantum computing. These architectures feature the dynamic rearrangement of atoms during computation, enabling nearly arbitrary two-dimensional rearrangements. Additionally, they employ a zoned layout with dedicated regions for entangling, storage, and readout. This architecture requires design automation software that efficiently compiles quantum circuits to this hardware and takes care that atoms are in the right place at the right time. In this paper, we initiate this line of work by providing, (1) an abstract model of the novel architecture and, (2) an efficient solution to the routing problem of entangling gates. By this, we aim to maximize the parallelism of entangling gates and minimize the overhead caused by the routing of atoms between zones. In addition to that, we keep the realm of fault-tolerant quantum computing in mind and consider logical qubit arrays, each of which encodes one logical qubit. We implemented the proposed idea as a tool called NALAC and demonstrated its effectiveness and efficiency by showing that it can significantly reduce the routing overhead of logical entangling gates compared to the naive approach. As part of the Munich Quantum Toolkit (MQT), NALAC is publicly available as open-source at https://github.com/cda-tum/mqt-qmap.
Future quantum computers will require quantum error correction for faithful operation. The correction capabilities come with an overhead for performing fault-tolerant logical operations on the encoded qubits. One of the most resource efficient ways to implement logical operations is lattice surgery, where groups of physical qubits, arranged on lattices, can be merged and split to realize entangling gates and teleport logical information. Here, we report on the experimental realization of lattice surgery between two topologically encoded qubits in a 10-qubit ion trap quantum information process…
We use a gradient-based optimization scheme to find single-qubit rotations to be interwoven between timesteps of a noisy logical two-qubit entangling gate in order to suppress arbitrary logical and leakage errors in the two-qubit gate. We show how the sequence fidelity is affected by imperfections in the single-qubit operations, as well as by various relative strengths of the logical and leakage noise. Our approach is completely general and system-independent, allowing for application to any two-qubit system regardless of the experimental implementation details.
The three-spin-$1/2$ decoherence-free subsystem defines a logical qubit protected from collective noise and supports exchange-only universal gates. Such logical qubits are well-suited for implementation with electrically-defined quantum dots. Exact exchange-only entangling logical gates exist but are challenging to construct and understand. We use a decoupling strategy to obtain straightforward approximate entangling gates. A benefit of the strategy is that if the physical spins are aligned, then it can implement evolution under entangling Hamiltonians. Hamiltonians expressible as linear combi…
We propose a scheme to implement geometric entangling gates for two logical qubits in a coupled cavity system in decoherence-free subspaces. Each logical qubit is encoded with two atoms trapped in a single cavity and the geometric entangling gates are achieved by cavity coupling and controlling the external classical laser fields. Based on the coupled cavity system, the scheme allows the scalability for quantum computing and relaxes the requirement for individually addressing atoms.
We present an approach to one-way quantum computation (1WQC) that can compensate for single-qubit errors, by encoding the logical information residing on physical qubits into five-qubit error-correcting code states. A logical two-qubit cluster state that is the fundamental resource for encoded quantum teleportation is then described by a graph state containing ten vertices with constant degree seven. Universal 1WQC that incorporates error correction requires only multiple copies of this logical two-qubit state and a logical four-qubit linear cluster state, which are prepared only just in advan…
ZAP: Zoned Architecture and Performant Compiler for Field Programmable Atom Array
Beijing Academy of Quantum Information Sciences（北京量子信息科学研究院）；Beijing Key Laboratory of Fault-Tolerant Quantum Computing（北京容错量子计算北京市重点实验室）；Department of Computer Science and Engineering, The Chinese University of Hong Kong（香港中文大学计算机科学与工程系）；CAS Key Laboratory of Quantum Information, University of Science and Technology of China（中国科学院量子信息重点实验室，中国科学技术大学）
Implementation of logical entangling gates is an important step towards realizing a quantum computer. We use a gradient-based optimization approach to find single-qubit rotations which can be interleaved between applications of a noisy nonlocal gate to dramatically suppress arbitrary logical errors, while steering the evolution operator towards the perfectly entangling subset of SU(4) gates. The modularity of the approach allows for application to any two-qubit system, regardless of the Hamiltonian or details of the experimental implementation. This approach is effective for both quasi-static …
We propose a resonator-assisted entangling gate for spin qubits with high fidelity. Each spin qubit corresponds to two electrons in a nanowire double quantum dot, with the singlet and one of the triplets as the logical qubit states. The gate is effected by virtual charge dipole transitions. We include noise in our model to show feasibility of the scheme under current experimental conditions.
We compare two different implementations of fault-tolerant entangling gates on logical qubits. In one instance, a twelve-qubit trapped-ion quantum computer is used to implement a non-transversal logical CNOT gate between two five qubit codes. The operation is evaluated with varying degrees of fault tolerance, which are provided by including quantum error correction circuit primitives known as flagging and pieceable fault tolerance. In the second instance, a twenty-qubit trapped-ion quantum computer is used to implement a transversal logical CNOT gate on two [[7,1,3]] color codes. The two codes…
A system consisting of two single-mode cavities spatially separated and connected by an optical fiber and multiple two-level atoms trapped in the cavities is considered. If the atoms resonantly and collectively interact with the local cavity fields but there is no direct interaction between the atoms, we show that an ideal quantum state transfer and highly reliable quantum swap, entangling, and controlled-Z gates can be deterministically realized between the distant cavities. We find that the operation of state transfer and swap, entangling, and controlled-Z gates can be greatly speeded up as …
The Mølmer-Sørensen gate is a state-of-the-art entangling gate in the ion trap quantum computing where the gate fidelity can exceed 99\%. Here we propose an analogous implementation in the setting of cavity QED. The cavity photon mode acts as the bosonic degree of freedom in the gate in contrast of that played by a phonon mode in ion traps. This is made possible by utilising cavity assisted Raman transitions interconnecting the logical qubit states embedded in a four-level energy structure, making the "anti-Jaynes-Cummings" (AJC) term available under the rotating-wave approximation. We identif…
We study a means of creating multiparticle entanglement of neutral atoms using pairwise controlled dipole-dipole interactions in a three dimensional optical lattice. For tightly trapped atoms the dipolar interaction energy can be much larger than the photon scattering rate, and substantial coherent evolution of the two-atom state can be achieved before decoherence occurs. Excitation of the dipoles can be made conditional on the atomic states, allowing for deterministic generation of entanglement. We derive selection rules and a figure-of-merit for the dipole-dipole interaction matrix elements,…
Quantum error-correcting codes are many-body entangled states that are prepared and measured using complex sequences of entangling operations. Each element of such an entangling sequence introduces noise to delicate quantum information during the encoding or reading out of the code. It is important therefore to find efficient entangling protocols to avoid the loss of information. Here we propose an experiment that uses only global entangling operations to encode an arbitrary logical qubit to either the five-qubit repetition code or the five-qubit code, with a six-ion Coulomb crystal architectu…
Entangling gates between qubits are a crucial component for performing algorithms in quantum computers. However, any quantum algorithm must ultimately operate on error-protected logical qubits encoded in high-dimensional systems. Typically, logical qubits are encoded in multiple two-level systems, but entangling gates operating on such qubits are highly complex and have not yet been demonstrated. Here, we realize a controlled NOT (CNOT) gate between two multiphoton qubits in two microwave cavities. In this approach, we encode a qubit in the high-dimensional space of a single cavity mode, rathe…
We study the structure of logical operators in local D-dimensional quantum codes, considering both subsystem codes with geometrically local gauge generators and codes defined by geometrically local commuting projectors. We show that if the code distance is d, then any logical operator can be supported on a set of specified geometry containing \tilde d qubits, where \tilde d d^{1/(D-1)} = O(n) and n is the code length. Our results place limitations on partially self-correcting quantum memories, in which at least some logical operators are protected by energy barriers that grow with system size.…
Fault-tolerant quantum computation with static atomic buses
University of Strasbourg（斯特拉斯堡大学）；CNRS（法国国家科学研究中心）；CESQ（量子化学中心）；ISIS（结构与成像研究所）；Department of Physics, University of Wisconsin-Madison（威斯康星大学麦迪逊分校物理系）；QPerfect SAS（QPerfect公司）；Institut Universitaire de France (IUF)（法兰西学院）；Infleqtion（Infleqtion公司）
Controlled-NOT (CNOT) gates are commonly included in the standard gate set of quantum processors and provide an important way to entangle qubits. For fixed-frequency qubits using the cross-resonance entangling technique, using the higher-frequency qubit to control the lower-frequency qubit enables much shorter entangling times than using the lower-frequency qubit as the control. Consequently, when implementing a CNOT gate where logical control by the lower-frequency qubit is needed, compilers may implement this functionality by using an equivalent circuit such as placing Hadamard gates on both…
Modular fault-tolerant quantum computing on a non-CSS code
Universität Innsbruck（因斯布鲁克大学）；Forschungszentrum Jülich（于利希研究中心）；RWTH Aachen University（亚琛工业大学）；Universidad Autonoma de Madrid（马德里自治大学）；Alpine Quantum Technologies GmbH（阿尔卑斯量子技术公司）
Active quantum error correction has been identified as a crucial ingredient of future quantum computers, motivating the recent experimental efforts to encode logical quantum bits using small topological codes. In addition to the demonstration of the beneficial role of the encoding, a break-even point in the progress towards large-scale quantum computers will be the implementation of a universal set of gates. This mid-term challenge will soon be faced by various quantum technologies, which urges the need of realistic assessments of their prospects. In this work, we pursue this goal by assessing…
We extend recent work on a leakage-protected, adiabatic entangling gate for exchange-only spin qubits [Doherty and Wardrop, PRL 111, 050503 (2013)] by adapting to a setting where single spins are not assumed to be polarized on preparation. Previous gate constructions do not function correctly when "gauge spins" are uninitialized, because the entangling gate has different, non-trivial action in different gauge subspaces. Our construction inherits many of the desirable features of the previous work while addressing the gauge-dependent behavior. Using numerical simulation, we show that the result…
A quantum computer has the potential to effciently solve problems that are intractable for classical computers. Constructing a large-scale quantum processor, however, is challenging due to errors and noise inherent in real-world quantum systems. One approach to this challenge is to utilize modularity--a pervasive strategy found throughout nature and engineering--to build complex systems robustly. Such an approach manages complexity and uncertainty by assembling small, specialized components into a larger architecture. These considerations motivate the development of a quantum modular architect…
We study the deterministic entanglement of a pair of neutral atoms trapped in an optical lattice by coupling to excited-state molecular hyperfine potentials. Information can be encoded in the ground-state hyperfine levels and processed by bringing atoms together pair-wise to perform quantum logical operations through induced electric dipole-dipole interactions. The possibility of executing both diagonal and exchange type entangling gates is demonstrated for two three-level atoms and a figure of merit is derived for the fidelity of entanglement. The fidelity for executing a CPHASE gate is calcu…
The stabilizing properties of one-error correcting jump codes are explored under realistic non-ideal conditions. For this purpose the quantum algorithm of the tent-map is decomposed into a universal set of Hamiltonian quantum gates which ensure perfect correction of spontaneous decay processes under ideal circumstances even if they occur during a gate operation. An entanglement gate is presented which is capable of entangling any two logical qubits of different one-error correcting code spaces. With the help of this gate simultaneous spontaneous decay processes affecting physical qubits of dif…
Logical qubits with erasure conversion using metastable neutral atoms
Princeton University（普林斯顿大学）；Peking University（北京大学）；University of California, Berkeley（加州大学伯克利分校）；The Hong Kong University of Science and Technology（香港科技大学）；Yale University（耶鲁大学）
