Fault-tolerant scalable modular quantum computer architecture with an enhanced control of multi-mode couplings between trapped ion qubits
11195117 · 2021-12-07
Assignee
- University Of Maryland (College Park, MD)
- Duke University (Durham, NC)
- University Of British Columbia (Vancouver, CA)
Inventors
- Christopher Monroe (Ellicott City, MD, US)
- Jungsang Kim (Chapel Hill, NC, US)
- Robert RAUSSENDORF (Vancouver, CA)
Cpc classification
G06N10/00
PHYSICS
International classification
Abstract
A modular quantum computer architecture is developed with a hierarchy of interactions that can scale to very large numbers of qubits. Local entangling quantum gates between qubit memories within a single modular register are accomplished using natural interactions between the qubits, and entanglement between separate modular registers is completed via a probabilistic photonic interface between qubits in different registers, even over large distances. This architecture is suitable for the implementation of complex quantum circuits utilizing the flexible connectivity provided by a reconfigurable photonic interconnect network. The subject architecture is made fault-tolerant which is a prerequisite for scalability. An optimal quantum control of multimode couplings between qubits is accomplished via individual addressing the qubits with segmented optical pulses to suppress crosstalk in each register, thus enabling high-fidelity gates that can be scaled to larger qubit registers for quantum computation and simulation.
Claims
1. A quantum computer comprising: a processor; a plurality of modular elementary logic units (ELUs), each ELU including a plurality of qubits, the plurality of qubits including ion qubits; a photonic interconnect network operatively coupled to the plurality of ELUs and configured for multiplexing under control of the processor; a control sub-system configured to control qubit-state-dependent forces; a photon detection sub-system operatively coupled to a first and second quantum gates via the photonic interconnect network; at least one multi-dimensional quantum computational structure configured as a multi-dimensional hypercell of multiplexed modular ELUs; a measurement sub-system operatively coupled to the detection sub-system and the first and second quantum gates; and the ion qubits including a laser sub-system having a first laser configured to initialize each ion qubits in a respective ELU; a second continuous wave laser configured to stimulate Raman transitions between the ion qubits; and a third resonant laser configured to participate in ion qubits state measurement.
2. The quantum computer of claim 1, wherein the hypercell includes: a snowflake contoured connectivity tree having ELUs positioned at a respective node of the snowflake's connectivity tree; wherein the ELUs in said connectivity tree are interconnected to form a root ELU, and multiple layers of ELU branches are coupled to the root ELU, thereby forming an extended surface area with a number of external ELU's communication ports; wherein at least two of the snowflake hypercells are entangled at said surface areas thereof via said external communication ports thereby attaining a photons link therebetween; and wherein a Bell pair created between said at least two hypercells is teleported to a Bell pair between the root ELUs of said hypercells.
3. The quantum computer of claim 1, wherein the ELUs are linked through the photonic interconnect network into at least one three-dimensional (3D) hypercell.
Description
BRIEF DESCRIPTION OF THE DRAWINGS
(1)
(2)
(3)
(4)
(5)
(6) .sub.L is prepared by measuring the X.sub.1 and CNOT.sub.12 of 3-qubit state |0
.sub.1 (|0
.sub.2+|1
.sub.2) |0
.sub.3/√{square root over (2)}.; and
(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31)
(32)
(33)
(34)
(35)
(36)
(37)
DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS OF THE PRESENT INVENTION
(38) The subject Modular Universal Scalable Ion-Trap Quantum Computer (MUSIQC) is a hierarchical design for a quantum computer (QC) that uses a new approach to entangle both nearby and non-local qubits in a dynamically reconfigurable fashion as required by a computational problem to be solved. In executing large quantum algorithms supported by a Central Processor Unit, an interconnect architecture for moving quantum information (QI) within the QC has a large impact on the system scalability. MUSIQC presents a novel concept for achieving such scalability with technologies that are either already available or within an experimental reach.
(39) Although the principles underlying the design and operation of the subject quantum computer are applicable to different types of memory qubits, such as stationary matter qubits including trapped ions, quantum dots, cold atoms, NV color centers in diamonds, and other quantum systems featuring strong optical transitions, as an example of one of many possible implementations, the subject quantum computer architecture is described as being based on a set of modular high performance quantum memory registers (each also being referred to herein as an “elementary logic unit”, or ELU) of trapped ions where high fidelity gates via Coulomb interaction can be realized via photonic qubits through the dynamic and reconfigurable photonic interconnect network.
(40) The MUSIQC architecture offers significant advantages over more traditional ion trap architectures, e.g., segmented traps and the shuttling of ions, by relaxing the required technical complexity and suppressing conventional crosstalk issues, while providing a higher level of connectivity between the qubits for an efficient algorithm implementation.
(41) Scaling up to multi-qubit operation is attained through application of necessary control mechanisms adapted to efficiently prepare and manipulate the large quantum system. A versatile general purpose 80-qubits QC has been proposed with the capability of complex quantum algorithms execution.
(42) MUSIQC is a hierarchical processor architecture that may enable construction of quantum processors with thousands or more qubits utilizing component technologies that have already been demonstrated. This architecture features (inter alia): (1) simple and compact trapped ion qubit registers (ELUs) that do not necessarily require ion shuttling, multi-electrode structures and are relatively insensitive to ion heating, and (2) the linking of individual modular registers using scalable photonic interconnects that incorporate a fully non-blocking N×N optical crossconnect (OXC) switch.
(43) The flexibility of this approach provides the tailoring of the subject architecture (e.g., how many ions per ELU, how many ion/photonic interfaces per ELU, how many ELUs) to the actual noise sources or crosstalk issues that may emerge, which is an important large-scale design criterion. Substantial architectural advantages of the subject modular approach are enabled by the ability to operate quantum gates between qubits throughout the entire quantum computer regardless of their relative location. Such an architectural advantage provides a substantial speedup of quantum circuit execution over other hardware architectures.
(44) MUSIQC employs new methods for extending stationary ion registers up to about a hundred ions, involving simple extensions to existing ion trap designs to form the ELU register without employing ion shuttling. An anharmonic axial trap provided by static electrode potentials is proposed in the subject system intended to stabilize a single linear crystal containing a large number of ions (≤100). Tightly-confined and closely-spaced transverse phonon modes can mediate quantum gate operations in this architecture, while eliminating the need for single-mode resolution and multimode side-band cooling and reducing the sensitivity to ion motion heating.
(45) Gate operations in the large ion array exploit the local character of the laser-induced dipole interaction that is only dominated by nearby ions. As a result, the complexity of the quantum gate does not necessarily increase with the size of the quantum register. Such gates can be realized through amplitude and spectral shaping of the laser pulses with gate fidelities expected to be beyond conventional error thresholds, even in a large quantum register consisting of up to a hundred ions. Effectively, the difficulty with complex ion trap structures is transferred in the subject quantum computer to the complexity of the applied laser pulse properties which can be addressed leveraging known optical and laser technology.
(46) A photonic interface between the trapped ions is accomplished by interfering and detecting single photons emitted from the respective ion qubits. Appropriate photon detection events herald the entanglement of the ions, or the successful operation of an entangling quantum gate between the ions.
(47) Simple versions of the ion/photon link have been demonstrated in a series of experiments with the Yb.sup.+ system, and has recently been exploited to teleport an atomic qubit through a photonic channel and to operate a quantum gate between remote ions. This type of ion/photon link is inherently probabilistic, but it does not necessarily affect the fidelity of the resulting entangled states of the ions and only limits the speed of the connection.
(48) The experiments performed used free space optics that limits the net two-photon success probability of only p=3×10.sup.−8, and the connection speed is on the order of R=0.001 Hz. The overarching factor in small success probability is a low light collection efficiency from a single ion into an optical fiber (which is squared for the two independent photons). By integrating novel optical structures with ion traps, success probabilities approaching p˜10.sup.−3 are expected, significantly enhancing the entanglement rate. A substantial research effort throughout the development of the subject quantum computer has been dedicated to improving the success rate of the photonic interface, and the connection rate of R=4.5 Hz, well beyond typical decoherence rates in the Yb.sup.+ qubit has been achieved (D. Hucul, et al., Modular Entanglement of Atomic Qubits using both Photons and Phonons, arXiv:1403.3696v1, 2014).
(49) Many individual trapped ion ELU registers can be further multiplexed by linking them in a superstructure using a reconfigurable optical interconnect network. The availability of a scalable, fully non-blocking N×N optical crossconnect (OXC) switch enables the construction of a globally connected distributed QC with N.sub.ELU registers each connected to an input port of the OXC switch, as depicted in
(50) By connecting any two ELUs to the output ports corresponding to a Bell-State detector, entangled ion pairs can be generated between these ELUs in parallel. The configuration of the ELU connection may be dynamically modified via the OXC switch.
(51) A distributed quantum information processor constructed in this manner can support N×m physical qubits (where m is the number of ions per quantum register). The construction of the MUSIQC with up to 100,000 ion qubits may be feasible by connecting N=1000 ELUs, each containing m=100 ions.
(52) Referring to
(53) The hierarchical modular quantum computer architecture 10 hosts N=N.sub.ELU×N.sub.q qubits, where each elementary logic unit ELU 12 constitutes a modular register of N.sub.q trapped atomic ion qubits, and where entangling quantum logic gates are mediated through the local Coulomb interactions between qubits. One or more atomic qubits within each of the N.sub.ELU registers are coupled to photonic quantum channels 16, and through a reconfigurable optical cross-connect (OXC) switch 18, fiber beam splitters 20, and position sensitive imager 22, the qubits between different registers 12 may be entangled.
(54) A central processor unit (CPU) 24 receives INPUT data to be processed and computed, and controls the operation of the quantum computer system 10 for execution of scheduled 29 operations in accordance with a prescribed quantum algorithm 26 for realization of dynamically reconfigurable circuit schemes for quantum computing of the INPUT data with the purpose of producing the results of the computation, depicted as OUTPUT in
(55) The Modular Elementary Logic Unit (ELU)
(56) The base unit of the subject Modular Universal Scalable ion trap quantum computer (MUSIQC) 10 may be a collection of N.sub.q modular Elementary Logic Units (ELUs) 12 which are qubit memories with local interactions. Quantum logic operations within each modular ELU are ideally fast and deterministic, with error rates sufficiently small that fault-tolerant error correction within each ELU 12 is possible.
(57) Each ELU 12 is represented with a crystal of N.sub.q>>1 trapped atomic ions 28, also referred to herein as physical qubits, as shown in and |↓
, and separated by frequency ω.sub.0.
(58) In the present description, the term “physical qubits” refers to individual ions in each ELU, to which quantum logic operations are applied individually in accordance with a scheduling mechanism 29 (depicted in
(59) Some physical qubits also may be used as communication qubits 34 (shown in
(60) In addition, the physical qubits may serve as “refrigerator” qubits 32 used to remove motional excitations between gates. Physical qubits also may serve as ancilla qubits which may be used to support the initial state preparation, as well as other logical operations, as needed.
(61) The roles of the physical qubits, as well as grouping into logical qubits, in the overall computational process supported by the subject quantum computer architecture dynamically change as required by a computational problem to be solved in accordance with instructions issued by the CPU 24 in agreement with the algorithm 26.
(62) As shown in
(63) The qubit levels are assumed to be coupled through an atomic dipole operator
{circumflex over (μ)}=μ(|↑↓|
|↓
↑|). (Eq. 1)
(64) The ions interact through their external collective modes of quantum harmonic motion, and when entangled, i.e., realizing a quantum gate, can produce a photon. Such photons can be used to mediate entangling gates through application of qubit-state-dependent optical or microwave dipole forces.
(65) There are a number of protocols existing for phonon-based gates between ions. The main points relevant to the size of the ELU and the larger architecture will be summarized in the following paragraphs.
(66) An externally applied near-resonant running wave field 30 with amplitude
E({circumflex over (X)})=E.sub.0e.sup.tk{circumflex over (x)} (Eq. 2)
and wavenumber k couples to the atomic dipole through the interaction Hamiltonian Ĥ=−{circumflex over (μ)}E({circumflex over (x)}).
(67) By suitably tuning the field near sidebands induced by the harmonic motion of the ions, a qubit state dependent force results. In this manner, qubits can be mapped onto phonon states and subsequently onto other qubits for entangling operations with characteristic speed
R.sub.gate=ηΩ, (Eq. 3)
where η=√{square root over (ℏk.sup.2/(2m.sub.0N.sub.qω))} (Eq. 4)
(68) is the Lamb Dicke parameter, m.sub.0 is the mass of each ion, ω the frequency of harmonic oscillation of the collective phonon mode, and
Ω=μE.sub.0/2ℏ (Eq. 5)
(69) is the Rabi frequency of the atomic dipole independent of motion.
(70) For optical Raman transitions between qubit states (e.g., atomic hyperfine ground states), two fields are each detuned by Δ from an excited state of linewidth γ<<Δ, and when their difference frequency is near resonant with the qubit frequency splitting ω.sub.0,
Ω=(μE.sub.0).sup.2/(2ℏ.sup.2Δ). (Eq. 6)
is used instead the frequency in Eq. 5.
(71) The typical gate speed R.sub.gate within an ELU therefore slows down with the number of qubits N.sub.q as
R.sub.gate˜N.sub.q.sup.−1/2 (Eq. 7)
(72) As the size of the ELU grows, so will the coupling between the modes of collective motion that could lead to crosstalk. However, through the use of pulse-shaping techniques, as will be detailed in the following paragraphs, the crosstalk errors need not be debilitating, although the effective speed of a gate will slow down with size N.sub.q.
(73) It is estimated that implementation of ELUs 12 with the N.sub.q ranging from 10 to 100 may be possible in the subject system.
(74) Changes of the ions' motional states during the gate realization arising from sources like heating of the motional modes or fluctuating fields, may degrade the quality of the gates, leading to practical limits on the size of the ELU on which high performance gates can be realized.
(75) It is likely that long chains of ions will require periodic “refrigerator” ions 32 (shown in
(76) More than one chain of the physical ions may be contemplated to be integrated into a single ELU 12 by employing ion shuttling through more complex ion trap structures. Such Extended ELUs (EELUs) consisting of N.sub.E ELU chains can contain a total of N.sub.q×N.sub.E=20-1,000 physical qubits. As an example only, and not in any way to limit the scope of the present inventive concept, as well as for the sake of simplicity of description, systems with one ELU per chip (N.sub.E=1) will be addressed herein. However, any number of ELUs per chip is contemplated in the present system.
(77) Probabilistic Linking of ELUs
(78) As presented in
(79) In the scheme presented in
(80) One or more of the ions (communication qubits) 34, 34′ are coupled to a photonic interface, where a classical laser pulse 30 maps the state of these communication qubits 34 and 34′ onto the states of single photons (e.g., polarization or frequency), which then propagate through the collection optics 38 along an optical fiber 40 to be interfaced with other ELUs.
(81) When the photons from two communication qubits are mode-matched and interfere on a 50/50 beam splitter 42 (shown in
(82) The photon can be post-selected so that one of its status, also referred to herein as degrees of freedom (polarization, frequency, etc.) is entangled with the state of the communication qubit.
(83) Two types of photonic connections are considered, characterized by the number of total photons used in the entanglement protocol between two communication qubits.
(84)
(85) In Type I connections, each communication qubit 34 or 34′ (with an index i or j) is weakly excited with probability p.sub.e<<1 and the state of the ion+photon qubit pair is approximately written (ignoring the higher-order excitation probabilities) as
˜√{square root over (1−p.sub.e)}|↓.sub.f|0
.sub.f+e.sup.tkx.sup.
.sub.f|1
.sub.f (Eq. 8)
(86) where |n.sub.i denotes the state of n photons radiating from the communication qubit into an optical mode i, x.sub.i is the path length from the emitter i to a beam splitter 42, and k the optical wavenumber.
(87) When two communication qubits (i and j) are excited in this way and the photons interfere at the beam splitter 42, the detection of a single photon 44 in either detector 46 placed at the two output ports 54 of the beam splitter 42 heralds the creation of the state
[e.sup.tkxj|↓.sub.f|↑
.sub.f±e.sup.tkx.sup.
.sub.f|↓
.sub.f]/√{square root over (2)} (Eq. 9)
(88) with success probability
p=p.sub.eFη.sub.D, (Eq. 10)
(89) where F is the fractional solid angle of emission collected, η.sub.D is the detection efficiency including any losses between the emitter and the detector, and the sign in this state is determined by which one of the two detectors 46 “fires”.
(90) Following the heralding of a single photon 44, the (small) probability of errors from double excitation and the detector “dark” counts are given respectively by p.sub.e.sup.2 and R.sub.dark/γ, where R.sub.dark is the rate of the detector “dark” counts.
(91) For Type I connections to be useful in quantum computing, the relative optical path length x.sub.i−x.sub.j must be stable to a value greater than the optical wavelength ˜2π/k.
(92) Referring to
(93) For the Type II connections, each communication qubit (i and j) is excited with near unit probability p.sub.e˜1, and the single photon 44 (or 44′) carries its qubit through two distinguishable internal photonic states (e.g., polarization or optical frequency). For example, the state of the system containing both communication and photonic qubits is written as
[e.sup.tkjx.sup..sub.i|v.sub.↓
.sub.i+e.sup.tkjx.sup.
.sub.i|v.sub.↑
.sub.i]/√{square root over (2)} (Eq. 11)
(94) where |v.sub.↓.sub.i and |v.sub.↑
.sub.i denote the frequency qubit states of a single-photon emitted by the i-th communication qubit with wavenumbers k.sub.↑ and k.sub.↓ associated with optical frequencies v.sub.↑ and v.sub.↓, respectively.
(95) Here,
|v.sub.↑−v.sub.↓|=ω.sub.0>>γ (Eq. 12)
(96) so that these two frequency qubit states are distinguishable. The coincidence detection of photons 44 and 44′ from two such communication qubits 34 and 34′ (i and j) after interfering at the 50/50 beam splitter 42 provide the successful entanglement of the communication qubits, creating the state
[e.sup.t(kjx.sup..sub.i|↑
.sub.f−e.sup.t(kjx.sup.
.sub.f|↓
.sub.f]/√{square root over (2)} (Eq. 13)
with success probability
p=(p.sub.eFη.sub.D).sup.2/2 (Eq. 14)
(97) Other schemes can also be used in the present system that scale similar to Type II connections. For example, the 3-particle entanglement illustrated in
(98) The success probability of the 2-photon type II connection may be lower than that of the Type I connection when the light collection efficiency is low, but Type II connections are much less sensitive to optical path length fluctuations. The stability requirement of the relative path length x.sub.i−x.sub.j is only at the level of the wavelength associated with the difference frequency 2πc/ω.sub.0 of the photonic frequency qubit, which is typically at the centimeter scale for hyperfine-encoded communication qubits.
(99) In both cases, the mean connection time is given by
τ.sub.E=1/(Rp) (Eq. 15)
(100) where R is the repetition rate of the initialization/excitation process and p is the success probability of generating the entanglement. For atomic transitions, R˜0.1 (γ/2π), and for typical free-space light collection (F˜10.sup.−2) and taking η.sub.D˜0.2, the mean connection time is found for the type I connection as τ.sub.E˜5 msec (p.sub.e=0.05).
(101) For the Type II connection, τ.sub.E˜250 msec where it is assumed γ/2π=20 MHz. Type II connections eventually outperform that of Type I connections with more efficient light collection, which can be accomplished by integrating optical elements with the ion trap structure without any fundamental loss in fidelity. Eventually, τ.sub.E˜1 msec should be possible in both types of connections.
(102) The process to generate ion-ion entanglement using photon interference requires resonant excitation of the communication qubits, and steps must be taken to isolate the communication qubit from other memory qubits so that scattered light from the excitation laser 48 and the emitted photons do not disturb the spectator memory qubits.
(103) It may be necessary to physically separate or shuttle the communication qubit away from the others, invoking some of the techniques from the QCCD approach. This crosstalk can also be eliminated by utilizing a different atomic species for the communication qubit so that the excitation and emitted light is sufficiently far from the memory qubit optical resonance to avoid causing decoherence. The communication qubits do not require excellent quantum memory characteristics, because once the entanglement is established between the communication qubits in different (distant) ELUs, they can immediately be swapped with neighboring memory qubits in each ELU.
(104) Reconfigurable Connection Network in MUSIQC
(105) The MUSIQC architecture 10 allows a large number N.sub.ELU of ELUs (or EELUs) 12 to be connected with each other using the photonic channels 16, as shown in
(106) OXC switches that support 200-1,100 ports utilizing micro-electromechanical systems (MEMS) technology have been described in the literature, for example, in Kim, J., et al., 1100×1100 port mems-based optical crossconnect with 4-db maximum loss. IEEE Photon. Technol. Lett. 15, 1537-1539 (2003). For the purposes of the present system the OXC switch should be capable of a full non-blocking connectivity with uniform optical path lengths. This optical network 14 provides fully reconfigurable interconnect network for the photonic qubits, allowing entanglement generation between any pair of ELUs 12 in the processor with up to N.sub.ELU/2 with such operations running in parallel.
(107) In practice, the photon detection can be accomplished in parallel with a conventional charge-coupled-device (CCD) imager or an array of photon-counting detectors, with pairs of regions on the CCD or the array elements associated with particular pairs of output ports from the fiber beam splitters 42, as shown in
(108) Up to N.sub.ELU/2 Bell state detectors 46, each comprised of two fibers 54, 56 interfering on a beam splitter 42 and two detectors 58, 60, are connected to the respective output ports 52 of the OXC switch 18. The OXC switch 18 is capable of providing an optical path between any input fiber 16 to any output fiber 54, 56 that is not already connected to another input fiber.
(109) Computation Model in MUSIQC
(110) The subject MUSIQC architecture 10 follows the circuit model of computation within each ELU, but the probabilistic connection between ELUs is carried out by generation of entangled Bell pairs. In this fashion, the MUSIQC architecture may accommodate the cluster-state computation model. Thus, MUSIQC realizes a hybrid model of quantum computation, driven by the generation rate and burn (measurement) rate of entanglement between the ELUs.
(111) In the circuit model of quantum computation, execution of two-qubit gates creates the entanglement necessary to exploit the power of quantum physics in computation. In an alternate model of the measurement-based cluster-state quantum computation, all entanglements are generated at the beginning of the computation, followed by conditional measurements of the qubits.
(112) In the event that the generation rate of entangled Bell pairs between ELUs is lower than the burn (measurement) rate, each ELU would require the capacity to store enough initial entanglement so that the end of the computation can be reached at the given generation and burn rates of entanglement. The hybrid nature of MUSIQC provides a unique hardware platform with three distinct advantages: (1) fully reconfigurable connectivity to dynamically adjust the connectivity graph, (2) constant timescale to perform operations between distant qubits, and (3) moderate ELU size adequate for practical implementation.
(113) The entanglement generation time may be further reduced in the subject system by time-division multiplexing (TDM) of the communication ports of the OXC switch at the expense of added qubits. Moreover, the temporal mismatch between the remote entanglement generation and local gates is reduced as the requirement of error correction increases the logical gate time.
(114) For a complex quantum algorithm associated with a problem size of n bits, logical operations between spatially distant qubit pairs are necessary. In hardware architecture where only local gate operations are allowed (e.g., nearest neighbor gates), gate operations between two (logical) qubits separated by long distances can be implemented with resource overhead (number of qubits, parallel operations, and/or communication time) polynomial in the distance between qubits, O(n.sup.k). When a large number of parallel operations is available, one can employ entanglement swapping protocols to efficiently distribute entanglement with communication times scaling either poly-logarithmically, or independent of the communication distance.
(115) This procedure requires extra qubits that are used to construct quantum buses for long-distance entanglement distribution, and the architecture adopting such buses was referred to as Quantum Logic Array (QLA).
(116) A simple model has been constructed that provides a direct comparison between the QLA and MUSIQC architectures in terms of the resources required to execute.
(117) The performance of the MUSIQC architecture has been studied under the assumption of large ELUs and low errors. This permits direct comparison of the subject results to previous studies on ion traps using the Steane code.
(118) It was found that the performance of MUSIQC architecture is comparable to QLA (and its variations), with substantial advantage in required resources and feasibility for implementation.
(119) In the simplified model presented herein, hardware is considered which is capable of implementing a Steane quantum error correction code to multiple levels of concatenation, and where all gate operations are performed following fault-tolerant procedures. The concatenated error-correction mechanism addresses the fault-tolerant procedures where logical qubits distributed across various ELUs are used to encode another logical qubit. In this case, the lowest-level logical qubits are treated as physical qubits with respect to higher-level logical qubits.
(120) The simplified model addressed herein as an example is designed to estimate the execution time of the circuits in select exemplary architectures, and is not intended to provide the complete fault-tolerant analysis of the quantum circuit. For this model, it is required that the physical error levels are sufficiently low (˜10.sup.−7) to produce the correct answer with order-unity probability using only up to three levels of concatenation of the Steane code.
(121) It is also assumed that the quality of entangled pairs that are generated in MUSIQC architecture is high enough that error correction schemes can improve its fidelity sufficient to achieve fault-tolerance.
(122) The hardware is based on trapped ion quantum computing with the assumptions for the timescales for quantum operation primitives summarized in Table 1. The details of fault-tolerant implementation of universal gate set utilized in this analysis will be presented in the following paragraphs.
(123) TABLE-US-00001 TABLE 1 Assumptions on the timescales of quantum operation primitives used in the model Single- Two- Remote Quantum Qubit Qubit Toffoli Qubit Entanglement Primitive Gate Gate Gate Measurement Generation Operation 1 10 10 30 3000 Time (μs)
(124) Returning to
(125) The fault tolerance mechanism may be implemented through the error-correction approach by the application of Steane Code as will be presented infra herein. Alternatively, the fault-tolerance mechanism can be implemented through construction of fault-tolerant multi-dimensional hypercells for dynamically linking the ELUs, and scheduling of the gates realization and measurements of qubit states with the result of 3D cluster states mapping, as will be detailed in the following paragraphs.
(126) Universal Fault-Tolerant Quantum Computer Using Steane Code
(127) The basic operational primitives of universal quantum computation using Steane code are presented in Jiang, L., et al., Distributed quantum computation based on small quantum registers. Phys. Rev. A 76, 062323 (2007); Ladd, T. D. et al., Quantum computers. Nature 464, 45 (2010); and Neeley, M., et al., Generation of three-qubit entangled states using superconducting phase qubits. Nature 467, 570-573 (2010).
(128) The application of these concepts in the subject system is summarized in the following paragraphs:
(129) 1. The preparation of a logical qubit |0.sub.L is performed by measuring the six stabilizers of the code using four-qubit Schrodinger cat state, further referred to herein as “cat state”,
(130) |cat.sub.4≡ (|0000
+1111
)/√{square root over (2)}, following the procedure that minimizes the use of ancilla qubits as outlined in DiVincenzo, D. P., et al., Effective fault-tolerant quantum computation with slow measurements. Phys. Rev. Lett. 98, 020501 (2007). The stabilizer measurement is performed up to three times to ensure that the error arising from the measurement process itself can be corrected.
(131) A sequential measurement of the six stabilizers is performed through re-using the four ancilla qubits for each logical memory qubit, which reduces the number of physical qubits and parallel operations necessary for the state preparation at the expense of the execution time.
(132) Once all the stabilizers are measured, a three-qubit cat state is used to measure the logical Z.sub.L operator to finalize the qubit initialization process. This procedure requires eleven physical qubits to complete preparation of logical qubit |0.sub.L.
(133) 2. In the Steane code considered in the present system, all operators in the Pauli group {X.sub.L, Y.sub.L, Z.sub.L} and the Clifford group {H.sub.L, S.sub.L, CNOT.sub.L} can be performed transversally (i.e., in a bit-wise fashion). It is assumed that seven parallel operations are available, so that these logical operations can be executed in one time step corresponding to the single- or two-qubit operation. The transversal CNOT.sub.L considered is between two qubits that are close, so the operation can be performed locally (in a single ELU) without further need for qubit communication.
(134) 3. In order to construct effective arithmetic circuits, Toffoli gate (a.k.a. CCNOT.sub.L) is needed which is not in the Clifford group.
(135) Toffoli gate is a 3-qubit gate. If the first two qubits are in the same state, it applies to Pauli-X on the third qubit or else it does nothing Since a transversal implementation of this gate is not possible in Steane code, fault-tolerant implementation requires preparation of a special three (logical) qubit state
|ϕ.sub.+.sub.L=½(|000
.sub.L+|010
.sub.L+|100
.sub.L+|111
.sub.L), (Eq. 16)
and “teleport” the gate into this state.
(136) This state can be prepared by measuring its stabilizer operator using a 7-qubit cat state on three logical qubits |0.sub.L, as shown in
.sub.L is prepared by measuring the X.sub.1 and CNOT.sub.12 of three qubit state |0
.sub.1 (|0
.sub.2+|1
.sub.2) |0
.sub.3/√{square root over (2)}. The Toffoli gate shown in
(137) Successful preparation of this state requires a bit-wise Toffoli gate (at the physical level), which is assumed to only be performed locally among qubits that are close to one another. Once this state is prepared, the three qubits |x.sub.L, |y
.sub.L and |z
.sub.L participating in the Toffoli gate can be teleported to execute the gate 62′, as shown in
(138) A successful Toffoli gate operation requires 3 logical qubits (which in turn require extra ancilla qubits for the initialization) and 7 physical qubits as ancillary qubits, in addition to the three logical qubits on which the gate operates on.
(139) 4. When a CNOT gate is formed between two qubits that are separated by large distances, the approach is taken where each of the two qubits of a maximally-entangled state is distributed to the vicinity of the two qubits, and then the gate is teleported using the protocol described in Gottesman, D., et al., Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations. Nature 402, 390-393 (1999). Efficient distribution of the entangled states makes this approach much more effective than where the qubits themselves are transported directly.
(140) Construction of Efficient Arithmetic Circuits
(141) The example quantum circuit which was analyzed is an adder circuit that computes the sum of two n-bit numbers. Simple adder circuits form the basis of more complex arithmetic circuits, such as the modular exponentiation circuit that dominates the execution time of Shor's factoring algorithm.
(142) Quantum adder circuits can be constructed using X, CNOT and Toffoli gates. When only local interactions are available without dedicated buses for entanglement distribution, a quantum ripple-carry adder (QRCA) is the adequate adder of choice for which the execution time is O(n).
(143) For QLA and MUSIQC architectures, one can implement quantum carry-lookahead adder (QCLA) that is capable of reducing the runtime to O(log n), at the expense of extra qubits and parallel operations. QCLA dramatically outperforms the QRCA for n above ˜100 in terms of execution time.
(144) Practical implementation of large-scale QCLAs are hindered by the requirement of executing Toffoli gates among qubits that are separated by large distances within the quantum computer. MUSIQC architecture flattens the communication cost between qubits in different ELUs, providing a suitable platform for implementing QCLAs.
(145) Alternatively, QLA architecture can also efficiently execute QCLAs using dedicated communication bus that reduces the connection time between two qubits (defined as the time it takes to generate entangled qubit pairs that can be used to teleport one of the qubits or the gate itself) to increase only as a logarithmic function of the separation between them.
(146) MUSIQC Implementation
(147) In order to implement the QCLA circuit in MUSIQC architecture, each ELU should be large enough to accommodate the generation of the |ϕ.sub.+.sub.L state shown in
(148) Implementation of each Toffoli gate is realized by allocating a fresh ELU and preparing the |ϕ.sub.+.sub.L state, then teleporting the three qubits from other ELUs into this state. Once the gate is performed, the original logical qubits from the other ELUs are freed up and become available for another Toffoli gate. It has been found that 6n logical qubits placed on 6n/4=1.5n ELUs are sufficient to compute the sum of two n-bit integers using the QCLA circuit at the first concatenation level of Steane code encoding.
(149) Teleportation of qubits into the ELU containing the prepared |ϕ.sub.+.sub.L state requires generation of entangled states via photon interference. In order to minimize the entanglement generation time, at least three optical ports are provided to connect to these ELUs in parallel. In order to successfully teleport the gate, seven entangled pairs need to be created to each ELU holding the input qubits.
(150) The entanglement generation time can be reduced by running multiple optical ports to other ELUs in parallel (this is called the port multiplexity m.sub.p), as will be presented in detail in the following paragraphs.
(151) In a typical entanglement generation procedure, the ion is prepared in an initial state, and then excited using a short pulse laser (˜5 ps). The ion emits a photon over a spontaneous emission lifetime (˜10 ns), and the photon detection process will determine whether the entanglement generation from a pair of such ions is successful.
(152) If the entanglement generation is successful, the pair is ready for use in the computation. If entanglement is not successful, the ions will be re-initialized (˜1 μs) and the process is repeated. Since the initialization time of the ion is ˜100 times longer than the time a photon is propagating in the optical port, multiple ions can be used per optical port and “pipeline” the photon emission process.
(153) In this time-division-multiplex (TDM) scheme, another ion is brought into the optical port to make another entanglement generation attempt while the initialization process is proceeding for the unsuccessful ion. This process can be repeated m.sub.T times using as many extra ions, before the first ion can be brought back (m.sub.T is called the TDM multiplexity). Using the port and TDM multiplexity, the entanglement generation time can be reduced by a factor of m.sub.p m.sub.T.
(154) In this example, multiplexities m.sub.p=2 and m.sub.T=10 are assumed that require 100 physical qubits including (4×7=28) logical qubits, +(3×4=12) ancilla qubits, and (3×2×10=60) communication qubits, and 12 parallel operations per ELU as shown in
(155) Multiple ELUs 12 are connected by the optical switch 18 to complete the MUSIQC hardware, as shown in
(156)
for sufficiently large n (n>6) where └x┘ denotes the largest integer not greater than x, where two time steps contain X gates, four contain CNOT gates, and the rest contain Toffoli gates which dominate the execution time of the circuit. An error correction step is performed on all qubits after each time step, by measuring all stabilizers of the Steane code and making necessary corrections based on the measurement outcome.
(157) Once the basic operational primitives (gates, qubit measurements, remake entanglement generation) outlined in the previous paragraph are modeled at the first level of code concatenation, all of these primitives can be constructed at the second level of concatenation using the primitives at the first level. The primitives can be recursively constructed at higher levels of code concatenation. Since the cost of remote CNOT gates between ELUs are independent of the distance between them, recursive estimation of circuit execution at higher levels of code concatenation is straightforward on MUSIQC hardware.
(158) QLA Implementation
(159) A concrete layout of a QLA device optimized for n-bit adder with one level of Steane encoding is formed, which can be used to construct circuits at higher levels of code concatenation. In order to implement the fault-tolerant Toffoli gate described in
(160) In the QLA implementation, a Logic Unit (LU) 66 shown in
(161) As shown in
(162) It is assumed that the communication of the qubits within each LU 66 is “free”. The time it takes for such communication is not considered. This simplified assumption is justified as the communication time between LUs utilizing the qubits in the communication units dominate the computation time, and therefore does not change the qualitative conclusion of this estimate.
(163) Similar to the MUSIQC hardware example, a Toffoli gate execution involves the preparation of the |ϕ.sub.+.sub.L state in an “empty” LU, then teleporting three qubits onto this LU to complete the gate operation. The execution time of the Toffoli gate therefore is comprised of (1) the time it takes to prepare the |ϕ.sub.+
.sub.L state, (2) the time it takes to distribute entanglement between adequate pairs of LUs, and then (3) utilizing the distributed entanglement to teleport the gate operation. Among these, the distribution time for the entanglement is a function of the distance between the two LUs involved, while the other two LUs are independent of the distance.
(164) The Quantum Carry-Lookahead Adder (QCLA) Logic Block circuit 68 shown in
(165) In a 2D layout, as considered in
(166) A more careful analysis shows that the linear distance is approximately given by d(t)≈3.Math.2.sup.t/2+1 when t is even, and d(t)≈2.sup.(t+1)/2+1 when t is odd.
(167) Since each communication unit has 7 qubits along a length, the actual teleportation distance is L(t)=7 d(t) in units of the length of ion chain. The nested entanglement swapping protocol can create entanglement between the two end ions in └ log.sub.2 L(t)┘ time steps, where each time step consists of one CNOT gate, two single qubit gates, and one qubit measurement process. Using the expression for d(t), log.sub.2 L(t)≈t/2+4 is approximate for both even and odd t, without loss of accuracy.
(168) Unlike the case of MUSIQC, the entanglement generation time is now dependent on the distance between the qubits (although only in a logarithmic way), and the resulting time steps needed for entanglement distribution within the QCLA 70 is (approximately) given by
(169)
(170) It should be noted that in order to achieve this logarithmic time, one has to have the ability to perform two qubit gates between every pair of qubits in the entire communication unit 70 in parallel. The addition of two n qubit numbers requires n/4 LBs 68. Since each LB 68 has 18 communication units, there are a total of 7×7×18=882 communication qubits in the LB.
(171) The number of parallel operations necessary is therefore 441 simultaneous CNOT operations per LB, or 441 n/4≈110 n parallel operations for n-bit QCLA. The number of X, CNOT and Toffoli gates that have to be performed remains identical to the MUSIQC case since an identical circuit is executed. The error correction is performed after every logic gate. The entanglement distribution process has a high enough fidelity so that no further distillation process is necessary.
(172) Similar to the MUSIQC design, basic operational primitives can be generated at higher levels of code concatenation in the QLA model. Unlike the first encoding level, communication channels for the second level of code concatenation do not have to be explicitly provided if the quality of the distributed entanglement is sufficiently high so that neither entanglement purification (Dür, W., et al., Quantum repeaters based on entanglement purification. Phys. Rev. A 59, 169-181 (1999) nor error correction of the entangled pairs (Jiang, L. et al. Quantum repeater with encoding. Phys. Rev. A 79, 032325 (2009) is needed. This type of “inter-level optimization” can be justified since the remote interaction between two logical qubits at second level of code concatenation occurs rarely, and the communication units at the first level can be used to accommodate this communication at higher level without significant time overhead.
(173) If dedicated communication qubits were additionally provided, these qubits might remain idle most of the time leading to inefficient use of the qubit resources. The number of physical qubits therefore scales much more favorably at higher levels of code concatenation than in the first level of the QLA architecture. The distance-dependent gate operation at higher levels of code concatenation is somewhat difficult to predict accurately, but the logarithmic scaling of communication time permits effective estimation of the gate operation time with only small errors.
(174) Results and Comparison
(175) The resource requirements and performance of the QCLA circuit on MUSIQC and QLA architecture, as well as the QRCA circuit on a nearest neighbor (NN) quantum hardware, where multi-qubit gates can only operate on qubits positioned adjacent one to another are summarized in
(176) TABLE-US-00002 TABLE II Summary of the resource estimation and execution times of various adders in MUSIQC and QLA architecture. Performance QCLA on QCLA on QRCA on Metrics MUSIQC QLA NN Physical Qubits 150n 1,176n 20(n + 1) # Parallel Operations 18n 110n 8n + 43 Logical Toffoli (μs) 3,250 2,327.sup.a 2,159 128-bit addition 0.16 s 0.13 s 0.56 s 1,024-bit addition 0.22 s 0.18 s 4.5 s 16,384-bit addition 0.29 s 0.25 s 72 s
(177) Shown in
(178) Shown in
(179) Although the QLA architecture considered in this example is also a NN (nearest neighbor) hardware, presence of the dedicated communication units (quantum bus) allows remote gate operation with an execution time that depends only logarithmically on the distance between qubits, enabling fast execution of the QCLA.
(180) The cost in resources, however, is significant: realization of efficient communication channels requires ˜3 times as many physical qubits as used for storing and manipulating the qubits in the first level of encoding, and requires a large number of parallel operations as well as the necessary control hardware to run them. The execution time can be fast compared to the MUSIQC architecture, which is hampered by the probabilistic nature of the photonic network in establishing the entanglement.
(181) Substantial resources in MUSIQC are dedicated to speed up the entanglement generation time as described in the previous paragraphs. Although MUSIQC architecture takes ˜15-30% more time to execute the adder circuit, the resources it requires to operate the same task is only about 13% of that required in the QLA architecture. In both cases, the importance of moving qubits between different parts of a large quantum computer is noted. The speed advantage in adder circuits translate directly to faster execution of the Shor algorithm. Thus, QCLA is adapted for further analysis.
(182) Once the execution time and resource requirements are identified for the adder circuit, the analyses provided in Van Meter, R., et al. Fast quantum modular exponentiation. Phys. Rev. A 71, 052320 (2005), can be adopted to estimate the performance metrics of running the Shor algorithm. The execution time and total number of physical qubits necessary to run the Shor algorithm depends strongly on the level of code concatenation required to successfully obtain the correct answer.
(183) The number of logical qubits (Q) and the total number of logic gate operations (K) required to complete the Shor algorithm of a given size is first estimated, to obtain the product KQ. In order to obtain correct results with a probability of order unity, the individual error rate corresponding to one logic gate operation must be on the order of 1/KQ. From this consideration, the level of code concatenation to be used is determined.
(184) Table III summarizes the comparison on the number of physical qubits and the execution time of running the Shor algorithm on MUSIQC and QLA architectures for factoring 32, 512 and 4,096 bit numbers.
(185) TABLE-US-00003 TABLE III Estimated execution time and physical qubits necessary to complete Shor algorithm of a given size. The numbers on top (bottom) correspond to MUSIQC (QLA) architecture. Performance Metrics n = 32 n = 512 n = 4,096 Code Level 1 2 3 # Physical MUSIQC 4.7 × 10.sup.4 9.2 × 10.sup.7 4.1 × 10.sup.10 Qubits QLA 3.7 × 10.sup.5 7.2 × 10.sup.8 3.2 × 10.sup.11 Execution MUSIQC 2.5 min 2.1 days 650 days Time QLA 2.2 min 1.5 days 520 days
(186) Shown in
(187) Furthermore, the total size of the single ELU necessary to implement the QLA architecture grows quickly (over 4.5×10.sup.7 physical qubits for a machine that can factor a 128-bit number), while the ELU size in MUSIQC architecture is fixed at moderate numbers (≈58,000 ELUs with 100 qubits per ELU). Therefore, the MUSIQC architecture substantially lowers the practical technological barrier in integration levels necessary for a large-scale quantum computer.
(188) Fault Tolerance of Probabilistic Photonic Gates
(189) As presented in previous paragraphs, the MUSIQC architecture can be used to perform algorithms in the limit of large ELUs and low errors using Steane code. The fundamental question arises: The analysis of how slow can the creation of entanglement be to still allow for fault-tolerance given a finite coherence time is presented in the following paragraphs. In this context, it is adequate to consider a MUSIQC system where a plurality of small ELUs are connected through the photonic network. The demonstration of fault tolerant circuit construction on MUSIQC architecture, rather than quantitative analysis of the resource overhead for these schemes, is detailed in further paragraphs.
(190) Naïvely, it would appear that the average entanglement creation time τ.sub.E must be much smaller than the decoherence time scale τ.sub.D to achieve fault tolerance. But that scalable fault-tolerant quantum computation is found to be possible for any ratio τ.sub.E/τ.sub.D, even in the presence of additional gate errors. While large values of τ.sub.E/τ.sub.D would lead to impractical levels of overhead in qubits and time (similar to the case of conventional quantum fault tolerance near threshold error levels), this result is still remarkable and indicates that fault tolerance is always possible in the MUSIQC architecture. A complete description of the strategies used to secure fault tolerance in MUSIQC architecture in this limit is presented in the following paragraphs.
(191) Analysis of Fault-Tolerance for Fast Entangling Gates
(192) First, the case is considered where τ.sub.E/τ.sub.D<<1, where fault tolerant coding is more practical. When each ELU is large enough to accommodate several logical qubits encoded with a conventional error correcting code, full fault-tolerant procedure within an ELU can be supplemental as in the example presented in the previous paragraphs.
(193) Opposingly, when the ELUs are too small to fit a logical qubit, fault-tolerance can be achieved by mapping to three-dimensional (3D) cluster states, one approach for supporting fault-tolerant universal quantum computation presented in Raussendorf, R., et al. A fault-tolerant one-way quantum computer. Ann. Phys. 321, 2242 (2006). This type of encoding is well-matched to the MUSIQC architecture, because the small degree of their interaction graph leads to small ELUs.
(194) Scheduling.
(195) For τ.sub.E<<τ.sub.D, the 3D cluster state with qubits on the faces and edges of a three-dimensional lattice can be created using the procedure presensed in
(196) If the ELU represents a face (edge) qubit in the underlying lattice, the measurements are in the Z- (X-)basis. As can be easily shown using standard stabilizer arguments, the resulting state is a 3D cluster state, up to local Hadamard gates on the edge qubits.
(197) The operations can be scheduled such that (a) qubits are never idle, and (b) no qubit is acted upon by multiple gates (even commuting ones) at the same time. The latter is required in some situations for realizing quantum gates with ion qubits.
(198) To this end, the schedule presented in Raussendorf, R., Harrington, J. & Goyal, K. A fault-tolerant one-way quantum computer. Ann. Phys. 321, 2242 (2006) for the 3D cluster state generation is adapted to the MUSIQC architecture, and the three-step sequence shown in
(199) As presented in Steps 1-3 in
(200) The local measurement of the 3D cluster state remains to complete the computation. All remaining measurements are performed in Step 5 of the procedure detailed in previous paragraphs. This works trivially for cluster qubits intended for topological error correction or the implementation of topologically protected encoded Clifford gates, since these measurements require no adjustment of the measurement basis.
(201) To avoid delay in the measurement of qubits for the implementation of non-Clifford gates, it is necessary to break the 3D cluster states into overlapping slabs of bounded thickness.
(202) Fault-Tolerance Threshold.
(203) The following error models are considered.
(204) (1) Every gate operation, i.e. preparation and measurement of individual qubits, gates within an ELU, and Bell pair creation between different ELUs, can all be achieved within a clock cycle of duration T. An erroneous one-qubit (two-qubit) gate is modeled by the perfect gate followed by a partially depolarizing one-qubit (two qubit) channel. In the one-qubit channel, X, Y, and Z errors each occur with probability ϵ/3. In the two-qubit channel, each of the 15 possible errors X.sub.1,X.sub.2,X.sub.1X.sub.2, . . . ,Z.sub.1Z.sub.2 occurs with a probability of ϵ/15. All gates have the same error ϵ.; and
(205) (2) In addition, the effect of decoherence per time step T is described by local probabilistic Pauli errors X, Y, Z, each happen with a probability T/3τ.sub.D.
(206) A criterion for the error threshold of measurement-based quantum computation with cluster states that has been established numerically for a variety of error models isK.sub.∂q
({error parameters})=0.70 (Eq. 19)
where, K.sub.∂q is a cluster state stabilizer operator associated with the boundary of a single volume q, consisting of six faces. Let f be a face of the three-dimensional cluster, and
K.sub.f=σ.sub.x.sup.(f).Math..sub.σϵ∂fσ.sub.z.sup.(σ) (Eq. 20)
as shown in
K.sub.∂q=Π.sub.fϵ∂qK.sub.f=.Math..sub.fϵ∂qσ.sub.x.sup.(f) (Eq. 20)
(207) Furthermore, for the above criterion to apply, all errors (for preparation of local states, local and entangling unitaries, and measurement) are propagated forward or backward in time, to solely affect the 3D cluster state.
(208) In
(209) The criterion in question applies for a phenomenological error-model with local memory error and measurement error (the threshold error probability per memory step and measurement is 2.9% (Wang, C., et al., Confinement-higgs transition in a disordered gauge theory and the accuracy threshold for quantum memory. Ann. Phys. 303, 31 (2003)), for a gate-based error model (the threshold error probability per gate is 0.67% (Raussendorf, R., et al., A fault-tolerant one-way quantum computer. Ann. Phys. 321, 2242 (2006)), and further error models with only low-order correlated error.
(210) Specifically, the criterion (2), i.e., the effect of decoherence, has numerically been tested for cluster state creation procedures with varying relative strength of local vs 2-local gate error with excellent agreement. In all cases, the error-correction was performed using Edmonds' perfect matching algorithm.
(211) The detailed procedure for calculating the error probability of the stabilizer measurement process for the 3D cluster state is presented in further paragraphs.
(212) Error Probability for 3D Cluster States with Fast Entangling Gates
(213) The total error probability of the stabilizer measurement process for the above-presented model is calculated with the assumption of independent strengths for the local errors and 2-local gate errors, where local errors with strength T/τ.sub.D, and 2-local gate errors with strength ϵ and considered.
(214) The expectation value of the stabilizer operator K.sub.∂q in Eq. (19) is
(215)
where p.sub.E is the total probability of those Pauli errors in the error source E which, after (forward) propagation to the endpoint of the cluster state creation procedure, anti-commute with the stabilizer operator K.sub.∂q. The right-hand-side of Eq. (22) is simply a product due to the statistical independence of the individual error sources. Since the cluster state creation procedure is of bounded temporal depth and built of local and nearest-neighbor gates only, errors can only propagate a finite distance. Therefore, only a finite number of error sources contribute in Eq. (22).
(216) To simplify calculations, the following observations are considered:
(217) (a) A Bell state preparation, 2 CNOT gates (one on either side) of the cluster, and two local measurements on the qubits of the former Bell pair (one in the Z- and one in the X basis) amount to a CNOT gate between remaining participating qubits. Therein, the qubit on the edge of the underlying lattice is the target, the qubit on the face of the lattice is the control qubit. This is called a teleported CNOT link;
(218) (b) Errors can only propagate once from a face qubit to an edge qubit or vice versa, but never farther. To see this, consider, e.g., a face qubit. There, an X- or Y-error can be propagated (face=control of CNOTs). In either case it causes an X-error on a neighboring edge qubit. But X-errors are not propagated from edge-qubits (edge=target of all CNOTs); and
(219) (c) The stabilizer K.sub.∂q has only a support on face qubits, and is not affected by X-errors.
(220) Based on these observations, the error sources affecting K.sub.∂q
are subdivided into three categories, namely:
(221) Type-1: First Bell pair created on each face (according to the 5-step schedule presented in
(222) Type-2: The CNOT links, consuming the remaining Bell pairs; and
(223) Type-3: The final measurements of the cluster qubits (1 per ELU).
(224) Type-2 contributions:
(225) For every CNOT link it is only necessary to count Z-errors (and Y ≅ Z) on both the control (=face) and target (=edge), because on the face qubit the Z-errors are the ones that are important [with the observation (c)], and on the edge qubit, such errors may still propagate to a neighboring face qubit [with the observation (b)] and are of importance.
(226) With these simplifications, the effective error of each CNOT link between two neighboring ELUs is described by the probabilities p.sub.ZI for a Z-error on the face qubit, p.sub.IZ for a Z-error on the edge qubit, and p.sub.ZZ for the combined error; and
(227)
(228) Only contributions up to a linear order in ϵ, T/τ.sub.D are maintained. The contributions to the error come from (1) the Bell pair, (2) a first round of memory error on all qubits, (3) the CNOT gates, (4) a second round of memory error on all qubits, and (5) the two local measurements per link.
(229) The effect of each of the above gates on K.sub.∂q
is further presented taking into account propagation effects. For example, consider the link established between the face qubit of a front face f with its left neighboring edge qubit. The Bell pair for this link is created in a Step 1, the required CNOTs are performed in a Step 2 subsequent to the Step 1, and the local measurements in the following Step 3. The Z-error on f does not propagate further.
(230) The Z-error on e is propagated in later steps to a neighboring face, as may be seen in K.sub.∂q
by a factor of 1−(68/15)ϵ−8 T/τ.sub.D.
(231) The following links contribution takes place in the following scenario: three for every face in ∂q from within the cell, and three more per face of ∂q from the neighboring cells (links ending in an edge belonging to the cell q can affect K.sub.∂q
by propagation).
(232) Contributions from Within the Cell.
(233) If a Z.sub.e-error of the link propagates to an even (odd) number of neighboring faces in q, the total error probability affecting K.sub.∂q
is p.sub.ZZ+p.sub.ZI (p.sub.IZ+p.sub.ZI). But since p.sub.IZ=p.sub.ZZ, all 18 contributions from within the cell q are the same, irrespective of propagation.
(234) Contributions from Neighboring Cells.
(235) Each of the 18 links in question contributes an effective error probability p.sub.IZ+p.sub.ZZ if an error on the edge qubit of the link propagates to an odd number of face qubits in ∂q. As illustrated in K.sub.∂q
by a factor of
(236)
(237) Type-1 Contributions:
(238) Each of the initial Bell pair creations carries a two-qubit gate error of strength ϵ, and memory error of strength T/τ.sub.D on either qubit. Similar to the above case, the 15 possible Pauli errors are grouped into the equivalence classes I, Z.sub.f (Z.sub.eZ.sub.f≡ I and Z.sub.e ≡ Z.sub.f for Bell states). The single remaining error probability, for Z.sub.f, is
(239)
For each face of ∂q, there is one Bell pair within the face that reduces K.sub.∂q
by a factor of 1-2 p.sub.ZI. Bell pairs from neighboring cells do not contribute an error here. Thus, all the Type-1 errors reduce
K.sub.∂q
by a factor of
(240)
Again, only the contributions to linear order in ϵ, T/τ.sub.D were maintained.
(241) Type-3 Contributions:
(242) The only remaining error source is in the measurement of the one qubit per ELU which is part of the 3D cluster state. The strength of the effective error on each face qubit is p.sub.Z=2/3ϵ. Each of the six faces in ∂q is affected by this error. Thus, all the Type-3 errors reduce K.sub.∂q
by a factor of
1−8ϵ (Eq. 27)
(243) Combining the contributions Eqs. (24, 26, 27) of error Types 1-3 yields
(244)
for the expectation value K.sub.∂q
.
(245) In combination with Criterion (2), the threshold condition is obtained:
(246)
(247) The operational cost of creating a 3D cluster state and then locally measuring it for the purpose of computation is 24 gates per elementary cell in the standard setting, and 54 gates per elementary cell in MUSIQC.
(248) Creation of probabilistic links between several 3D clusters and the elementary cell of a 3D four-valent cluster state is shown in
(249) Analysis of Fault-Tolerance for Slow Entangling Gates
(250) The construction presented in previous paragraphs fails for τ.sub.E/τ.sub.D≥1, where decoherence occurs while waiting for Bell-pair entanglement. However, scalable fault-tolerant computing can still be achieved in the MUSIQC architecture for any ratio τ.sub.E/τ.sub.D, even for ELUs of only 3 qubits. Compared to the case of τ.sub.E<<τ.sub.D, the operational cost of fault-tolerance is increased by a factor that depends strongly on τ.sub.E/τ.sub.D but is independent of the size of the computation. Thus, while quantum computation becomes more costly when τ.sub.E≥τ.sub.D, it remains scalable. This surprising result shows that there is no hard threshold for the ratio τ.sub.E/τ.sub.D, and opens up the possibility for efficient fault-tolerant constructions with slow entangling gates. Scalable quantum computation can be achieved for arbitrarily slow entangling gates.
(251) The solid idea underlying the subject scalable quantum computer is to construct a “hypercell” out of several ELUs. A hypercell has the same storage capacity for quantum information as a single ELU, but with the ability to become (close to) deterministically entangled with four other hypercells. Fault-tolerant universal quantum computation can then be achieved by mapping to a 4-valent three-dimensional cluster state.
(252) In quantum computing, a cluster state is a type of highly entangled state of multiple qubits. Cluster states are generated in the subject structure in lattices (or arrays, or grids) of qubits. A cluster 96 (
(253) It is shown herein that arbitrarily large ratios τ.sub.E/τ.sub.D can be tolerated in the limiting case where the gate error rate ϵ=0 (Construction I shown in
(254) Hypercell Construction I is based on the snowflake design where in the subject hypercell 78, each node in the connectivity tree represents an entire ELU 12. At the root of the connectivity tree 80 is an ELU 82 that contains the qubit 84 used in the computation, while multiple layers of bifurcating branches 86 lead to a large “surface area” 88 with many ports 90 from which entanglement generation between two trees can be attempted. Once a Bell pair is created, it can be converted to a Bell pair between the root qubits A and B via teleportation as shown in
(255) The part of the hypercell needed to connect to a neighboring hypercell is called a “tree”. The number m of ports 90 that are available to connect two hypercells 78 is twice the number of ELUs in the top layer of the tree.
(256) If the surface area is large, with high probability one or more Bell pairs are created between the surface areas via the photonic link. By Bell measurements within individual ELUs 12, one such Bell pair is teleported to the roots A and B.
(257) The links (each representing a Bell pair) within the snowflake structure 78 are created probabilistically, each with a probability p of success. The success probability of each hypercell is small, but if the surface area 92 between two neighboring hypercells is large enough, the probability of creating a Bell pair between them via a probabilistic photonic link approaches unity. Thus, the cost of entangling an entire grid of hypercells is linear in the size of the computation, as opposed to the exponential dependence that would be expected if the hypercells could not be entangled deterministically. Correspondingly, the operational cost of creating a hypercell is large, but the cost of linking this qubit into the grid is independent of the size of the computation. The hypercell 78 offers a qubit which can be near-deterministically entangled with a constant number of other qubits on demand.
(258) A quantum computer made up of such hypercells can create a four-valent, 3D cluster state with few missing qubits, and is thus fault-tolerant.
(259) If ELUs of size N.sub.q=3 are used in the hypercells 78, resulting in hypercells of valency 3, then two such hypercells can be combined into one of valency 4.
(260) Hypercells 78 can readily be implemented in the modular ion trap quantum computer since the probability of entanglement generation does not depend on the physical distance between the ELUs.
(261) The probability for all m attempts to generate entanglement between two trees to fail is P.sub.fail=(1−p).sup.m≈exp(−mp). In practice, a constant probability of failure can be permitted which is tolerable in 3D cluster states. In addition, the number of ELUs in the top layer 88 is 2.sup.#layers, and the path length l (number of Bell pairs between the roots) is
l=2 log.sub.2m+1. (Eq. 30)
(262) Combining the above, it is found that
l=2 log.sub.2[c/p]+1, for c=−lnP.sub.fail. (Eq. 31)
(263) For simplification it is assumed that the time t for attempting entanglement generation is the same when creating the trees and when connecting the trees. Then, p=t/τ.sub.E in both cases. From the beginning of the creation of the trees to completion of entangling two trees, a time 2t has passed. The Bell pairs within the trees have been around, on average, for a time 3t/2, and the Bell pairs between the two trees for an average time of t/2. If overall error probabilities remain small, the total probability of error for creating a Bell pair is proportional to 1. The memory error alone is
(264)
(265) This function monotonically increases with t, and ϵ.sub.mem(t=0)=0. The task now is to suppress the memory error rate ϵ.sub.mem below the error threshold ϵ.sub.crit that applies to fault-tolerant quantum computation with 3D cluster states. From (Eq. 19) it is known that ϵ.sub.crit>0.
(266) From (Eq. 32), it is found that, for any ratio τ.sub.E/τ.sub.D, the t can be made small enough such that ϵ.sub.mem<ϵ.sub.crit.
(267) The operational cost for creating a hypercell with sufficiently many ports is
(268)
(269) This cost is high for small p=t/τ.sub.E, but independent of the size of the computation. Thus, whenever decoherence on waiting qubits is the only source of error, scalable fault-tolerant QC is possible for arbitrarily slow entangling gates.
(270) To analyze how the Hypercell Construction I (
(271)
Now it is no longer true that for any choice of τ.sub.E/τ.sub.D it is possible to realize ϵ.sub.crit>ϵ.sub.total.
(272) A non-vanishing gate error sets an upper limit to the tree depth, since the accumulated gate error is proportional to the tree depth (
(273) In more detail, suppose that ϵ.sub.crit>ϵ.sub.total holds. Considering only gate errors,
(274)
and hence
(275)
Now, recalling that
(276)
with Eq. 34, it is found that
ϵ.sub.crit>3t/τ.sub.D+2ϵ (Eq. 37)
or
t<⅓(ϵ.sub.crit−2ϵ)τ.sub.D. (Eq. 38)
The two conditions Eq. 36 and 38 can be simultaneously obeyed only if
(277)
It is seen that there is now an upper bound to the ratio τ.sub.E/τ.sub.D. Eq. 39 is a necessary but not sufficient condition for fault-tolerant quantum computation using the hypercells of
(278) The process of constructing these hypercells for various values of the decoherence parameters ϵ and τ.sub.E/τ.sub.D was numerically simulated. The boundary of the fault-tolerance region for gate error ϵ and ratio τ.sub.E/τ.sub.D, for various ELU sizes is shown in
(279) However, there are various possible refinements:
(280) (1) The computational overhead can be significantly decreased by creating the hypercell in stages, starting with the leaves of the trees and iteratively combining them to create the next layers;
(281) (2) Using numerical simulations it was found that if each of the 4 trees making up a hypercell has coordination number 4 or 5 rather then 3 (i.e., a ternary tree instead of a binary tree), the overhead can be further reduced. These optimizations were used to produce
(282) Hypercell Construction II, shown in
(283) Therein, the “outer” cluster state is created near-deterministically from the hypercells. Its purpose is to ensure fault-tolerance of the construction. The “inner” 3D cluster state is created probabilistically. Its purpose is to provide a means to connect distant qubits in such a way that the error of the operation does not grow with distance. Specifically, if the local error level is below the threshold for error-correction with 3D cluster states, the error of (quasi-)deterministically creating a Bell pair between two root qubits A and B in distinct 3D cluster states is independent of the path length between A and B.
(284) Hypercell Construction II. Construction of the 3-D hypercell II 96 starts from a three-dimensional grid 97 with ELUs 12 on the edges and on the faces. Each ELU contains four qubits and can be linked to four neighboring ELUs. Such a grid of ELUs (of suitable size) is used to probabilistically create a 4-valent cluster state (
(285) After such cluster states have been successfully created, in each ELU three qubits are freed up, and can now be used for near-deterministic links between different 3D cluster states 96, as shown in
(286) Due to the topological error-correction capability of 3D cluster states 96, the conversion from the 3D cluster state 96 to the star-shaped graph state 98 is fault-tolerant. By further Bell measurement in the ELUs, the graph states created in different hypercells can now be linked, e.g., to form again a 4-valent 3D cluster state 100 which is a resource for fault-tolerant quantum computation, as shown in
(287) The only error sources remaining after error-correction in the 3D cluster state 96 are from (i) the (two) ports per link, and (ii) the two root qubits A and B, which are not protected topologically. The total error ϵ.sub.total of a Bell pair created between A and B in this case is given by
ϵ.sub.total=c.sub.1t/τ.sub.D+c.sub.2ϵ (Eq. 40)
where t is the time spent attempting Bell pair generation, and c.sub.1 and c.sub.2 are algebraic constants which do not depend on the time scales τ.sub.E and τ.sub.D, and not on the distance between the root qubits A and B.
(288) Then, if the threshold error rate ϵ.sub.crit for fault-tolerance of the outer 3D cluster state is larger than c.sub.2ϵ, we can reach an overall error ϵ.sub.total below the threshold value ϵ.sub.crit by making t sufficiently small. Smaller t requires larger inner 3D cluster states, but does not limit the success probability for linking Construction II hypercells. Thus, fault-tolerance is possible for all ratios τ.sub.E/τ.sub.D, even in the presence of small gate errors.
(289) Optimal Quantum Control of Multimode Couplings Between Trapped Ion Qubits
(290) Referring again to
(291) The precalculated pulse shapes optimize theoretical gate fidelity, achieving unity for sufficiently complex pulses. The shaped gates are concatenated to entangle multiple pairs of qubits, and multiqubit entanglement in the crystal is directly measured. Extensions of this approach can be scaled to larger ion chains and also incorporate higher levels of pulse shaping to reduce sensitivity to particular experimental errors and drifts. A laser unit 112 (shown in
(292) In an experiment, five .sup.171Yb.sup.+ ions were confined in a three-layer linear rf trap similar to W. K. Hensinger, et al., Appl. Phys. Lett. 88, 034101 (2006), with transverse center-of-mass (CM) frequency ranging from ω.sub.x/2π=2.5-4.5 MHz and axial CM frequency ω.sub.z/2π=310-550 kHz, with a minimal ion separation of ˜5 μm. Each qubit is represented by the .sup.2S.sub.1/2 hyperfine “clock” states within .sup.171Yb.sup.+, denoted by |0 and |1
and having a splitting of ω.sub.0/2π=12.642821 GHz (S. Olmschenk, et al., Phys. Rev. A 76, 052314 (2007)).
(293) Each qubit is initialized by optically pumping to state |0 using laser light produced by a laser 114 resonant with the .sup.2S.sub.1/2.Math..sup.2P.sub.1/2 transition near 369.5 nm.
(294) Subsequently, the qubits are coherently manipulated with a mode-locked laser 116 (or alternatively, a pair of high-power lasers) at 355 nm whose frequency comb beat notes drive stimulated Raman transitions between the qubit states and produce qubit state-dependent forces.
(295) The Raman laser 116 may be split into two beams (or each of the high-lasers will produce a laser beam) 115, 117, one illuminating the entire chain and the other focused to a waist of ˜3.5 μm for addressing any subset of adjacent ion pairs in the chain, with a wave vector difference Δk aligned along the x direction of transverse motion.
(296) Subsequently, the state of each qubit is measured in the measurement unit 120 by applying a pulse 122 near 369.5 nm of a resonant laser 118 (shown as a part of the laser sub-system 112) that results in state-dependent fluorescence that is imaged onto a multichannel photomultiplier tube for individual qubit state detection. Each experiment is repeated at least 300 times and state populations are extracted by fitting to previously measured fluorescence histograms.
(297) When a constant state-dependent force is applied to the ion qubits, the multiple incommensurate modes generally remain entangled with the qubits following the interaction, thereby degrading the quantum gate fidelity. However, more complex optical pulses can be created that satisfy a set of constraints for disentangling every mode of motion following the gate. This optimal control approach involves engineering a sufficiently complex laser pulse that can in principle achieve near-unit fidelity.
(298) The qubit state-dependent optical force is applied by generating bichromatic beat notes near the upper and lower motional sideband frequencies at ω.sub.0±μ, where the detuning μ is in the neighborhood of the motional mode frequencies. Using the rotating wave approximation in the Lamb-Dicke and resolved-sideband limits, the evolution operator of the dipole interaction Hamiltonian becomes
(299)
(300) The first term in Eq. 41 corresponds to the qubit-motion coupling on ion i, where
{circumflex over (Φ)}.sub.i(τ)=Σ.sub.m[α.sub.i,m(τ){circumflex over (α)}.sup.t.sub.m−α.sub.i,m*(τ){circumflex over (α)}.sub.m],{circumflex over (α)}.sub.m.sup.t({circumflex over (α)}.sub.m) (Eq. 42)
is the raising (lowering) operator of mode m, and {circumflex over (σ)}.sub.x.sup.(i) is the Pauli-X operator of the ith qubit, where we define the x axis of the qubit Bloch sphere according to the phase of the bichromatic beatnotes (P. J. Lee, et al., Opt. B 7, S371 (2005)).
(301) This is a state-dependent displacement of the ion i such that the |0±|1
states follow the trajectories±α.sub.i.m(τ) in phase space of the mth motional mode according to (S.-L Zhu, et al., Europhys. Lett. 73, 485 (2006)).
α.sub.i.m(τ)=iη.sub.i,m∫.sub.0.sup.τΩ.sub.i(t)sin(μt)e.sup.iω.sup.
(302) , where, η.sub.i,m=b.sub.i,m.Math.Δk√{square root over (ℏ/2Mω.sub.m)} is the Lamb-Dicke parameter, b.sub.i,m is the normal mode transformation matrix for ion I and mode m (D. F. V. James, Appl. Phys. B 66, 181 (1998)), ω.sub.m is the frequency of the m.sup.th motional mode, and M is the mass of a single .sup.171Yb.sup.+ ion.
(303) The second term of Eq. 41 describes the entangling interaction between qubits i and j, with
(304)
as presented in S.-L Zhu, et al., Europhys. Lett. 73, 485 (2006).
(305) In Eqs. 43-44, the time-dependent Rabi frequency Ω.sub.i(t) on the i.sup.th ion is used as a control parameter for optimization of the gate and is assumed to be real without loss of generality. Alternatively the detuning μ can be varied, as presented in S. Korenblit, et al., New J. Phys. 14, 095024 (2012), or the beatnote phase can be altered over time for control.
(306) In order to perform an entangling XX gate on two ions a and b in a chain of N ions, identical state-dependent forces are applied to just these target ions a and b and realize
.Math.(τ.sub.g)=exp[iπ{circumflex over (σ)}.sub.x.sup.(a){circumflex over (σ)}.sub.x.sup.(b)/4]. (Eq. 45)
(307) This requires x.sub.a,b(τ.sub.g)=π/4 along with the 2N conditions α.sub.a.m(τ.sub.g)=0, so that the phase space trajectories of all N motional modes return to their origin and disentangle the qubits form their motion.
(308) These constraints can be satisfied by evenly partitioning the pulse shape Ω.sub.a(t)=Ω.sub.b(t) into (2N+1) segments as presented in S.-L. Zhu, et al., Phys. Rev. Lett. 97, 050505 (2006); and S.-L. Zhu, et al., Europhys. Lett. 73, 485 (2006), thus reducing the problem to a system of linear equations with a guaranteed solution. The detuning and gate duration become independent parameters, so that, the gate can be performed with near-unit fidelity at any detuning μ≠ω.sub.m on any two ions in a chain, given sufficient optical power.
(309)
.Math.(τ.sub.g)|00=|00
+i|11
(Eq. 46)
for both a simple constant pulse and a five-segment pulse on a two-ion chain, as a function of detuning μ for a fixed gate time τ.sub.g=104 μs.
(310) For two ions, the five segments provide full control (2N+1=5), meaning that a pulse shape can be calculated at each detuning that should yield unit fidelity.
(311)
(312) As seen in
(313) The observed fidelity of the constant pulse follows theory, with uniformly lower fidelities consistent with known errors in the system. On the other hand, relatively high fidelities of the 5-segment pulse are observed over a wide range of detunings for the same gate time, with the details of a particular pulse sequence shown in and |11
states, then extracting their coherence by repeating the experiment with an additional global π/2 analysis rotation R(π/2, Φ) and measuring the contrast in qubit parity as the phase Φ is scanned.
(314)
(315) When the number of ions in a chain increases to N>2, it becomes difficult to find detunings μ−ω.sub.m from all modes which are nearly commensurate, without significantly slowing the gate.
(316) Using a different nine-segment pulse solution, a fidelity of 95(2)% is also achieved for an ion pair 2 and 3 as seen in
(317)
(318) A further advantage of using multisegment pulses is their relative insensitivity to fluctuations in detuning μ and trap frequency ω.sub.m. For conventional constant pulses, such noise strongly affects the simple phase space trajectories, and the fidelity degrades quickly. Segmented pulses also show errors, but because of the complex phase space trajectories (
(319)
(320) As seen in
(321) state.
.sub.3 and |1
.sub.3, respectively, in accordance with Eq. 47.
(322)
(323) To demonstrate pulse-shaped gates on subsets of qubits in a linear crystal, tripartite entangled states were produced by concatenating two XX gates in a five ion chain, as shown in
(324) The ions were adiabatically shuttled across the fixed laser beams in order to address nearest neighbor pairs of the three target ions and ideally create a GHZ-type state,
|000.fwdarw.|000
+i|110
+i|011
−|101
(Eq. 47)
The measured state populations are consistent with the state, as shown in
(325) In order to measure the coherences of the three-qubit subsystem, analysis rotations R(π/2, ϕ) was applied to any two of the three qubits, and their parity were measured. As the phase ϕ of the analysis rotation is scanned, the parity should oscillate with period π or 2π when the third ion is postselected to be in state |0 or |1
, respectively as seen in
(326) To prove genuine tripartite entanglement within the five ion chain, single qubit rotations were used to transform the state given by Eq. 47 into a GHZ “cat” state |000+i|111
. As shown in the circuit of
(327) It was shown how a single control parameter can be used to mitigate multimode couplings between a collection of qubits, but this approach can be expanded to include additional parameters, such as spectral, phase, or spatial addressing of each qubit. This could allow for the efficient implementation of more complicated quantum circuits, such as Toffoli and other gates involving more than two qubits, or global operations for quantum simulations of particular Hamiltonian models. The optimal quantum control demonstrated here can apply to any quantum information and simulation architectures that entangle subsets of qubits through a bosonic quantum bus having multimode components, such as cavity QED and superconducting.
(328) The success of silicon-based information processors in the past five decades hinged upon the scalability of integrated circuits (IC) technology characterized by Moore's law. IC technology integrated all the components necessary to construct a functional circuit, using the same conceptual approach over many orders of magnitude in integration levels. The subject hierarchical modular ion trap quantum computer architecture promises scalability, not only in the number of physical systems (trapped ions) that represent the qubits, but also in the entire control structure to manipulate each qubit at such integration levels.
(329) The technology necessary to realize each and every component of the MUSIQC architecture is currently available. The recognition that ion traps can be mapped onto a two dimensional surface that can be fabricated using standard silicon microfabrication has led to a rapid development in complex surface trap technology. Present-day trap development exploits extensive electromagnetic simulation codes to design optimized trap structures and control voltages, allowing sufficient control and stability of ion positioning. Integration of optical components into such microfabricated traps enables stronger interaction between the ions and photons for better photon collection and qubit detection through the use of high numerical aperture optics or integration of an optical cavity with the ion trap. Moreover, electro-optic and MEMS-based beam steering systems allows the addressing of individual atoms in a chain with tightly focused laser beams. An optical interconnect network can be constructed using large-scale all-optical crossconnect switches. While technical challenges such as the operation of narrowband (typically ultraviolet) lasers or the presence of residual heating of ion motion still remain such are not fundamental roadblocks to scalability. Within the MUSIQC architecture an access is provided to a full suite of technologies to realize the ELU in a scalable manner, where the detailed parameters of the architecture such as the number of ions per ELU, the number of ELUs, or the number of photonic interfaces per ELU can be adapted to optimize performance of the quantum computer.
(330) Besides the benefits of scaling to such a large number of qubits using technologies within reach, the proposed MUSIQC has unparalleled architectural advantages for efficiently implementing fully fault-tolerant quantum circuits and quantum algorithms:
(331) The qubit registers are globally connected, as the generated entangled ion pairs, can be utilized to operate a deterministic two-qubit gate between any qubits within these registers. Moreover, the “cost” of two-qubit gate operations between ions in different qubit ELU registers is independent of their relative location within the QC. This is a unique and powerful property of the MUSIQC architecture that can be exploited to realize highly parallel implementation of quantum algorithms. An example is a carry-lookahead adder that can be used in modular exponentiation circuit, capable of computing the addition in logarithmic number of steps as the number of digits increases. MUSIQC architecture can implement arbitrary size carry-lookahead adders in an efficient way, which is expected to reduce the execution time of Shor's algorithm by many orders of magnitude over other architectures.
(332) The MUSIQC architecture explores a novel regime in the space of architectures for QCs due to the low cost of two-qubit gates within a single ELU as compared to the high cost of gates between different ELUs, and the independence of the cost with distance within and between ELUs. This set of “islands of hundreds of qubits” has not been considered in the fault-tolerant quantum computing community and interpolates between schemes with high thresholds and high overhead costs and schemes with low thresholds and low overhead costs. Existing fault-tolerance schemes could be pasted onto the MUSIQC architecture, but we believe we can obtain significantly better fault-tolerant schemes are achieved in the subject system by exploiting the novel structure.
(333) Although this invention has been described in connection with specific forms and embodiments thereof, it will be appreciated that various modifications other than those discussed above may be resorted to without departing from the spirit or scope of the invention as defined in the appended claims. For example, functionally equivalent elements may be substituted for those specifically shown and described, certain features may be used independently of other features, and in certain cases, particular locations of the elements may be reversed or interposed, all without departing from the spirit or scope of the invention as defined in the appended claims.