The present disclosure generally relates to a method of performing computation in a quantum computing system, and more specifically, to a method of searching for a bit pattern in a bit string using a computing system that are a group of trapped ions.
In quantum computing, quantum bits or qubits, which are analogous to bits representing a “0” and a “1” in a classical (digital) computer, are required to be prepared, manipulated, and measured (read-out) with near perfect control during a computation process.
Among physical systems upon which it is proposed to build large-scale quantum computers, is a group of ions (e.g., charged atoms), which are trapped and suspended in vacuum by electromagnetic fields. The ions have internal hyperfine states which are separated by frequencies in the several GHz range and can be used as the computational states of a qubit (referred to as “qubit states”). These hyperfine states can be controlled using radiation provided from a laser, or sometimes referred to herein as the interaction with laser beams. The ions can be cooled to near their motional ground states using such laser interactions. The ions can also be optically pumped to one of the two hyperfine states with high accuracy (preparation of qubits), manipulated between the two hyperfine states (single-qubit gate operations) by laser beams, and their internal hyperfine states detected by fluorescence upon application of a resonant laser beam (read-out of qubits). A pair of ions can be controllably entangled (two-qubit gate operations) by qubit-state dependent force using laser pulses that couple the ions to the collective motional modes of a group of trapped ions, which arise from their Coulombic interaction between the ions. In general, entanglement occurs when pairs or groups of ions (or particles) are generated, interact, or share spatial proximity in ways such that the quantum state of each ion cannot be described independently of the quantum state of the others, even when the ions are separated by a large distance.
Pattern matching is ubiquitously used in various areas, such as image processing, study of DNA sequences, and data compression and statistics. Computational complexity of a pattern matching process (i.e., the amount of resources required to run the pattern matching process, in particular, time and memory requirements) varies as the size of input varies. For example, in a string matching process that is the simplest pattern matching process, in which a bit pattern of length M is searched within a bit string of length N (M≤N), the amount of time resources scales as Θ(N+M) in units of elementary logic operations (which takes a constant amount of time on a given computer) and the amount of memory resources scales as (N+M) in units of bits, by the best known classical methods.
Therefore, there is a need for method for using a quantum processor to speed up pattern matching in a quantum computing system.
Embodiments described herein provide a method of determining a pattern in a sequence of bits using a quantum computing system. The method includes setting a first register of a quantum processor in a superposition of a plurality of string index states, encoding a bit string in a second register of the quantum processor, encoding a bit pattern in a third register of the quantum processor, circularly shifting qubits of the second register conditioned on the first register, amplifying an amplitude of a state combined with the first register in which the circularly shifted qubits of the second register matches qubits of the third register, measuring an amplitude of the first register and determining a string index state of the plurality of string index states associated with the amplified state, and outputting, by use of a classical computer, a string index associated with the first register in the measured state.
Embodiments described herein also provides a quantum computing system for determining a pattern in a sequence of bits. The quantum computing system includes a quantum processor including a group of trapped ions, each of the trapped ions having two frequency-separated states, one or more lasers configured to emit a laser beam, which is provided to trapped ions in the quantum processor, a classical computer, and a system controller. The classical computer is configured to select a bit string and a bit pattern to be searched within the bit string, each bit of the bit string having a string index. The system controller is configured to set a first register of the quantum processor in a superposition of a plurality of string index states, each of which is associated with a string index, encode the bit string in a second register of the quantum processor, encode the bit pattern in a third register of the quantum processor, circularly shift qubits of the second register conditioned on the first register in each string index state in the superposition of the plurality of string index states, amplify an amplitude of a state combined with the first register in a string index state of the plurality of string index states in which the circularly shifted qubits of the second register matches qubits of the third register, and measure an amplitude of the first register and determining the string index state of the plurality of string index states associated with the amplified state. The classical computer is further configured to output the string index associated with the first register in the measured state.
Embodiments described herein further provide a quantum computing system including non-volatile memory having a number of instructions stored therein. The instruction, when executed by one or more processors, cause the quantum computing system to perform operations including setting a first register of the quantum processor in a superposition of a plurality of string index states, each of which is associated with a string index, where the quantum processor includes a plurality of qubits, encoding a bit string in a second register of the quantum processor, encoding a bit pattern in a third register of the quantum processor, circularly shifting qubits of the second register conditioned on the first register in each string index state in the superposition of the plurality of string index states, amplifying an amplitude of a state combined with the first register in a string index state of the plurality of string index states in which the circularly shifted qubits of the second register matches qubits of the third register, measuring an amplitude of the first register and determining the string index state of the plurality of string index states associated with the amplified state, and outputting, by use of a classical computer, the string index associated with the first register in the measured state. The quantum computing system further includes selecting, by use of the classical computer, the bit string and the bit pattern to be searched within the bit string, each bit of the bit string having a string index, where each qubit of the plurality of qubits includes a trapped ion having two frequency-separated states. The quantum computing system further includes preparing the quantum processor in an initial state by setting, by a system controller, each trapped ion in the quantum processor in the lower energy state of the two frequency-separated states. Setting the first register of the quantum processor in the superposition of the plurality of string index states includes transferring, by the system controller, each trapped ion in the first register in a superposition of the two frequency-separated states. Encoding the bit string in the second register of the quantum processor includes applying, by the system controller, a combination of single-qubit gate operations to the second register of the quantum processor. Encoding the bit pattern in the third register of the quantum processor includes applying, by the system controller, a combination of single-qubit gate operations to the third register of the quantum processor. Circularly shifting qubits of the second register conditioned on the first register includes applying, by the system controller, a combination of single-qubit gate operations and two-qubit gate operations to the first and second registers of the quantum processor. The two-qubit gate operations includes controlled-SWAP operations applied to the second register conditioned on the first register. The two-qubit gate operations includes controlled-SWAP operations applied to the second register conditioned on a plurality of ancillary qubits in which the first register is copied by fan-out CNOT operations applied on the plurality of ancillary qubits conditioned on the first register. Amplifying the state combined with the first register in the string index state of the plurality of string index states in which the circularly shifted qubits of the second register matches qubits of the third register includes applying, by the system controller, a combination of single-qubit gate operations and two-qubit gate operations to the second and third registers of the quantum processor.
So that the manner in which the above-recited features of the present disclosure can be understood in detail, a more particular description of the disclosure, briefly summarized above, may be had by reference to embodiments, some of which are illustrated in the appended drawings. It is to be noted, however, that the appended drawings illustrate only typical embodiments of this disclosure and are therefore not to be considered limiting of its scope, for the disclosure may admit to other equally effective embodiments.
To facilitate understanding, identical reference numerals have been used, where possible, to designate identical elements that are common to the figures. In the figures and the following description, an orthogonal coordinate system including an X-axis, a Y-axis, and a Z-axis is used. The directions represented by the arrows in the drawing are assumed to be positive directions for convenience. It is contemplated that elements disclosed in some embodiments may be beneficially utilized on other implementations without specific recitation.
Embodiments described herein are generally related to a method of performing computation in a quantum computing system, and more specifically, to a method of searching for a bit pattern in a bit string using a computing system that are a group of trapped ions.
A quantum computing system that is able to solve a pattern matching problem may include a classical computer, a system controller, and a quantum processor. The classical computer performs supporting and system control tasks including selecting a bit string and a bit pattern to be searched within the bit string by use of a user interface. The classical computer further converts a series of logic gates into laser pulses to be applied on the quantum processor by the system processor. A software program for performing the tasks is stored in a non-volatile memory within the classical computer. The quantum processor includes trapped ions that are coupled by use of various hardware, including lasers to manipulate internal hyperfine states (qubit states) of the trapped ions and photomultiplier tubes (PMTs) to read-out the internal hyperfine states (qubit states) of the trapped ions. The system controller receives from the classical computer instructions for controlling the quantum processor, and controls various hardware associated with controlling any and all aspects of the process of controlling the quantum processor, and returns a read-out of the quantum processor and thus output of results of the computation(s) to the classical computer.
The methods and systems described herein include an efficient pattern matching routine that provides improvements over conventional pattern matching routines.
An imaging objective 108, such as an objective lens with a numerical aperture (NA), for example, of 0.37, collects fluorescence along the Y-axis from the ions and maps each ion onto a multi-channel photo-multiplier tube (PMT) 110 for measurement of individual ions. Non-copropagating Raman laser beams from a laser 112, which are provided along the X-axis, perform operations on the ions. A diffractive beam splitter 114 creates an array of static Raman beams 116 that are individually switched using a multi-channel acousto-optic modulator (AOM) 118 and is configured to selectively act on individual ions. A global Raman laser beam 120 illuminates all ions at once. In some embodiments, individual Raman laser beams (not shown) each illuminate individual ions. The system controller (also referred to as a “RF controller”) 104 controls the AOM 118 and thus controls laser pulses to be applied to trapped ions in the group 106 of trapped ions. The system controller 104 includes a central processing unit (CPU) 122, a read-only memory (ROM) 124, a random access memory (RAM) 126, a storage unit 128, and the like. The CPU 122 is a processor of the system controller 104. The ROM 124 stores various programs and the RAM 126 is the working memory for various programs and data. The storage unit 128 includes a nonvolatile memory, such as a hard disk drive (HDD) or a flash memory, and stores various programs even if power is turned off. The CPU 122, the ROM 124, the RAM 126, and the storage unit 128 are interconnected via a bus 130. The system controller 104 executes a control program which is stored in the ROM 124 or the storage unit 128 and uses the RAM 126 as a working area. The control program will include software applications that include program code that may be executed by processor in order to perform various functionalities associated with receiving and analyzing data and controlling any and all aspects of the methods and hardware used to create the ion trap quantum computer system 100 discussed herein.
During operation, a sinusoidal voltage V1 (with an amplitude VRF/2) is applied to an opposing pair of the electrodes 202, 204 and a sinusoidal voltage V2 with a phase shift of 180° from the sinusoidal voltage V1 (and the amplitude VRF/2) is applied to the other opposing pair of the electrodes 206, 208 at a driving frequency ωRF, generating a quadrupole potential. In some embodiments, a sinusoidal voltage is only applied to one opposing pair of the electrodes 202, 204, and the other opposing pair 206, 208 is grounded. The quadrupole potential creates an effective confining force in the X-Y plane perpendicular to the Z-axis (also referred to as a “radial direction” or “transverse direction”) for each of the trapped ions, which is proportional to a distance from a saddle point (i.e., a position in the axial direction (Z-direction)) at which the RF electric field vanishes. The motion in the radial direction (i.e., direction in the X-Y plane) of each ion is approximated as a harmonic oscillation (referred to as secular motion) with a restoring force towards the saddle point in the radial direction and can be modeled by spring constants kx and ky, respectively, as is discussed in greater detail below. In some embodiments, the spring constants in the radial direction are modeled as equal when the quadrupole potential is symmetric in the radial direction. However, undesirably in some cases, the motion of the ions in the radial direction may be distorted due to some asymmetry in the physical trap configuration, a small DC patch potential due to inhomogeneity of a surface of the electrodes, or the like and due to these and other external sources of distortion the ions may lie off-center from the saddle points.
An individual qubit state of each trapped ion may be manipulated by, for example, a mode-locked laser at 355 nanometers (nm) via the excited 2P1/2 level (denoted as |e). As shown in
It should be noted that the particular atomic species used in the discussion provided herein is just one example of atomic species which have stable and well-defined two-level energy structures when ionized and an excited state that is optically accessible, and thus is not intended to limit the possible configurations, specifications, or the like of an ion trap quantum computer according to the present disclosure. For example, other ion species include alkaline earth metal ions (Be+, Ca+, Sr+, Mg+, and Ba+) or transition metal ions (Zn+, Hg+, Cd+).
It should be noted that the particular configuration described above is just one among several possible examples of a trap for confining ions according to the present disclosure and does not limit the possible configurations, specifications, or the like of traps according to the present disclosure. For example, the geometry of the electrodes is not limited to the hyperbolic electrodes described above. In other examples, a trap that generates an effective electric field causing the motion of the ions in the radial direction as harmonic oscillations may be a multi-layer trap in which several electrode layers are stacked and an RF voltage is applied to two diagonally opposite electrodes, or a surface trap in which all electrodes are located in a single plane on a chip. Furthermore, a trap may be divided into multiple segments, adjacent pairs of which may be linked by shuttling one or more ions, or coupled by photon interconnects. A trap may also be an array of individual trapping regions arranged closely to each other on a micro-fabricated ion trap chip. In some embodiments, the quadrupole potential has a spatially varying DC component in addition to the RF component described above.
In an ion trap quantum computer, the motional modes may act as a data bus to mediate entanglement between two qubits and this entanglement is used to perform an XX gate operation. That is, each of the two qubits is entangled with the motional modes, and then the entanglement is transferred to an entanglement between the two qubits by using motional sideband excitations, as described below.
By controlling and/or directing transformations of the combined qubit-motional states as described above, an XX-gate operation may be performed on two qubits (i-th and j-th qubits). In general, the XX-gate operation (with maximal entanglement) respectively transforms two-qubit states |0i|0j, |0ij, |1i|0j, and |1i|1j as follows:
|0i|0j→|0i|0j−i|1i|1j
|0i|1j→|0i|1j−i|1i|0j
|1i|0j→−i|0i|1j+|1i|0j
|1i|1j→|i|0i|0j+|1i|1j.
For example, when the two qubits (i-th and j-th qubits) are both initially in the hyperfine ground state |0 (denoted as |0i|0i) and subsequently a π/2-pulse on the blue sideband is applied to the i-th qubit, the combined state of the i-th qubit and the motional mode |0i|nphm is transformed into a superposition of |0i|nphm and |1i|nph+1m, and thus the combined state of the two qubits and the motional mode is transformed into a superposition of |0i|0j|nphm and |1i|0j|nph+1m. When a π/2-pulse on the red sideband is applied to the j-th qubit, the combined state of the j-th qubit and the motional mode |0j|nphm is transformed to a superposition of |0j|nphm and |1j|nph−1m and the combined state |0j|nph+1m is transformed into a superposition of |0j|nph+1m and |1j|nphm.
Thus, applications of a π/2-pulse on the blue sideband on the i-th qubit and a π/2-pulse on the red sideband on the j-th qubit may transform the combined state of the two qubits and the motional mode |0i|0j|nphm into a superposition of |0i|0j|nphm and |1i|1i|nphm, the two qubits now being in an entangled state. For those of ordinary skill in the art, it should be clear that two-qubit states that are entangled with motional mode having a different number of phonon excitations from the initial number of phonon excitations nph (i.e., |1i|0j|nph+1m and |0i|1j|nph−1m can be removed by a sufficiently complex pulse sequence, and thus the combined state of the two qubits and the motional mode after the XX-gate operation may be considered disentangled as the initial number of phonon excitations nph in the m-th motional mode stays unchanged at the end of the XX-gate operation. Thus, qubit states before and after the XX-gate operation will be described below generally without including the motional modes.
More generally, the combined state of i-th and j-th qubits transformed by the application of pulses on the sidebands for duration τ (referred to as a “gate duration”), having amplitudes Ω(i) and Ω(i) and detuning frequency μ, can be described in terms of an entangling interaction χ(i,j)(τ) as follows:
|0i|0j→cos(2χ(i,j)(τ))|0i|0j−i sin(2χ(i,j)(τ))|1i|1j
|0i|1j→cos(2χ(i,j)(τ))|0i|1j−i sin(2χ(i,j)(τ))|1i|0j
|1i|0j→−i sin(2χ(i,j)(τ))|0i|0nj+cos(2χ(i,j)(τ))|1i|1j
|1i|1j→−i sin(2χ(i,j)(τ))|0i|0j−cos(2χ(i,j)(τ))|1i|1j
where,
and ηm(i) is the Lamb-Dicke parameter that quantifies the coupling strength between the i-th ion and the m-th motional mode having the frequency ωm, and M is the number of the motional modes (equal to the number N of ions in the group 106).
The entanglement interaction between two qubits described above can be used to perform an XX-gate operation. The XX-gate operation (XX gate) along with single-qubit operations (R gates) forms a set of elementary logic operations {R, XX} that can be used to build a quantum computer that is configured to perform desired computational processes. Among several known sets of elementary logic operations by which any quantum algorithm can be decomposed, a set of elementary logic operations, commonly denoted as {R, XX}, is native to a quantum computing system of trapped ions described herein. Here, the R gate corresponds to manipulation of individual qubit states of trapped ions, and the XX gate (also referred to as an “entangling gate”) corresponds to manipulation of the entanglement of two trapped ions.
To perform an XX-gate operation between i-th and j-th qubits, pulses that satisfy the condition χ(i,j)(τ)=θ(i,j) (0<θ(i,j)≤π/8) (i.e., the entangling interaction χ(i,j)(τ) has a desired value θ(i,j), referred to as condition for a non-zero entanglement interaction) are constructed and applied to the i-th and the j-th qubits. The transformations of the combined state of the i-th and the j-th qubits described above corresponds to the XX-gate operation with maximal entanglement when θ(i,j)=π/8. Amplitudes Ω(i)(t) and Ω(j)(t) of the pulses to be applied to the i-th and the j-th qubits are control parameters that can be adjusted to ensure a non-zero tunable entanglement of the i-th and the j-th qubits to perform a desired XX gate operation on i-th and j-th qubits.
Other two-qubit gate operations, such as a controlled-NOT (referred to as “CNOT”) gate and a SWAP gate, may be used in the method of pattern matching described below and implemented by use of a combination of the XX gate operations and single-qubit gate operations.
In general, a CNOT gate operation conditioned on i-th qubit (control bit) and targeted on j-th qubit (target bit) inverts the j-th qubit (target bit) if the i-th qubit (control bit) in state |1, and leaves both the i-th and j-th qubits unchanged otherwise, thus transforming a two-qubit state |xi|yj(x,y={0,1}) to a two-qubit state |xi|x⊕yj:
The output of the j-th qubit (target bit) is the exclusive OR (XOR, denoted by “⊕”) of the i-th and j-th qubits. A SWAP gate operation between i-th and j-th qubits swaps the i-th and j-th qubits, thus transforming a two-qubit state |xi|yj(x,y={0,1}) to a two-qubit state |yi|xj:
Three-qubit gate operations, such as a controlled-controlled-NOT gate (also referred to as “Toffoli gate”) and a controlled-SWAP gate (also referred to as “Fredkin gate”), may also be used in the method of pattern matching described below and implemented by use of a combination of the XX gate operations and single-qubit gate operations. A Toffoli gate operation applied to two control bits and one target bit inverts the target bit only if both of the control bits are in state |1, and leaves all three qubits unchanged otherwise, thus transforming a three-qubit state |x|y|z (x, y, z={0,1}) to a three-qubit state |x|y|(x·y)⊕z:
The output of the target bit includes XOR(⊕) of the target bit and AND (denoted by “·”) of the control qubits. A Fredkin gate operation applied to one control bit and two target bits swaps the target bits if the control bit is state |1, and laves all three qubits unchanged otherwise, thus transforming a three-qubit state |x|y|z (x,y,z={0,1}) to a three-qubit state |x|(x·z)⊕(
where the output of the target bits include NOT of the target bit (denoted by “
In a quantum computing system, a quantum computer is a domain-specific accelerator (also referred to as a “quantum processor” hereinafter) that is able to accelerate certain computational tasks beyond the reach of classical computers. Examples of such computational tasks include searching a given set of data that can be used for pattern matching. Pattern matching is used in a wide range of applications, such image processing, study of DNA sequences, and data compression and statistics. However, complexity of pattern matching increases drastically as a problem size (e.g., the lengths of a string and a pattern to be searched within the string) increases and may be unsolvable or be too complex to complete in a reasonable amount of time by a classical computer alone. Thus, methods for accelerated pattern matching on a quantum computing system are described herein.
It should be noted that the particular example embodiments described herein are just some possible examples of a quantum computing system according to the present disclosure and do not limit the possible configurations, specifications, or the like of quantum computer systems according to the present disclosure. For example, a quantum computing system according to the present disclosure can be applied to other types of computational task in which searching of data contributes to the computational complexity and can be accelerated by use of a quantum processor.
In block 702, by the classical computer 102, a pattern matching problem is selected, for example, by use of a user interface of the classical computer 102, or retrieved from the memory of the classical computer 102. Specifically, a bit string (t0t1 . . . tN-1) of length N and a bit pattern (p0p1 . . . pM-1) of length M with M≤N are selected. The pattern matching problem is to search and locate the bit pattern within the bit string . Pattern matching may be exact match (i.e., a M-bit long sequence contained in the bit string exactly matches the bit pattern ) or fuzzy match (i.e., (M−d) bits of a M-bit long sequence contained in the bit string matches the bit pattern , where d is a predetermined number indicating fuzziness in the matching).
In block 704, by the system controller 104, the quantum processor 106 is set in an initial state |ψ0=|0I|0T|0P. The first register (denoted by the subscript “I” and referred to also as an “index register” hereinafter) is formed of n=log2 N qubits |k0 . . . |kn-1=⊗i=0n-1|ki to be used to encode a string index
In the initial state |ψ0=|0I|0T|0P, all qubits of the index register are prepared in state |0 (i.e., |0I=|0⊗n), for example, the hyperfine ground state |0, by optical pumping in an exemplary quantum computer with trapped ions. The second register (denoted by the subscript “T” and referred to also as a “string register” hereinafter) is formed of N qubits to be used to encode the bit string (t0t1 . . . tN-1). In the initial state |ψ0=|0I|0T|0P, all qubits of the string register are prepared in state |0 (i.e., |0T=|0⊗N). The third register (denoted by the subscript “P” and referred to as a “pattern register” hereinafter) is formed of M qubits to be used to encode the bit pattern . In the initial state |ψ0=|0I|0T|0P, all qubits of the pattern register are prepared in state |0 (i.e., |0P=|0⊗M).
In block 706, by the system controller 104, each qubit of the index register is transformed from state |0 to a linear superposition state of |0 and |1, (|0+|1)/√{square root over (2)}, thus transforming the index register from the initial state |01=|0⊗n to a superposition state
in the quantum processor 106. The index register is now in a superposition of 2n(=N) states (|0|0 . . . |0, |0|0 . . . |1, . . . , |1|1 . . . |1) each associated with a string index k(=0, 1, . . . N−1) (thus, referred to as string index states), and may be denoted as
where |kI is a state formed of n (=log2 N) qubits defined as
By this transformation, the quantum processor 106 is transformed from the initial state |ψ0=|01|0T|0P to an initial superposition state
(i.e., a superposition of combined states of the index register, the string register, and the pattern register). This transformation may be implemented by application of a proper combination of single-qubit operations to the n=(log2 N) qubits of the index register in the initial state |ψ0=|01|0T|0P in a single time step in units of elementary logic operations.
In block 708, by the system controller 104, the bit string (t0t1 . . . tN-1) is encoded in the string register, and the bit pattern (p0p1 . . . pM-1) is encoded in the pattern register in the quantum processor 106. Specifically, the i-th bit information ti(i=0, 1, . . . N−1) of the bit string (t0t1 . . . tN-1) is encoded in the i-th qubit of the string register as |T=|t0t1 . . . |tN-1=⊗i=0N-1|ti(i=0, 1, . . . N−1) (referred to as a string encoded state). That is, the string register is transformed form the initial state of the string register |0T to the string encoded state |T. Similarly, the i-th bit information pi(i=0, 1, . . . M−1) of the bit pattern (p0p1 . . . pM) is encoded in the i-th qubit of the pattern register as |P=|p0|p1 . . . |pM-1=⊗i=0M-1|pi(0, 1, . . . M−1) (referred to as a pattern encoded state). That is, the pattern register is transformed from the initial state of the pattern register |0P to the pattern encoded state |P. These operations may be implemented by application of a proper combination of single-qubit operations to the N qubits of the string register in the initial state |0T and to the M qubits of the pattern register in the initial state |0P in a single time step in units of elementary logic operations.
In block 710, by the system controller 104, a controlled-circular-shift operation S is applied on the string register in the string encoded state |T=⊗i=0N-1|ti conditioned on the index register in the initial superposition state
in the quantum processor 106. That is, all qubits of the string register are circularly shifted (e.g., left-circularly shifted) by k bit positions in a combined state having the index register in state |kI (referred to as an operation k:
[|kI⊗i=0N-1|ti]=|kI⊗i=0N-1k|ti=|kI⊗i=0N-1|ti+k mod N.
Thus, the operation k transforms the string register in the state having the index register in |kI from the string encoded state |T=⊗i=0N-1|ti to a circularly shifted state |T(k)=⊗i=0N-1|ti+k mod N .
The controlled-circular-shift operation k conditioned on the n-qubit long index register |kI may be implemented as a series of bit-wise circular shift operation 2
The bit-wise controlled-circular-shift operator 2
To implement, in one time step in units of elementary logic operations, at most N/2 controlled-SWAP operations controlled by the same control qubit, N/2 ancillary qubits, each initialized to state |0, may be used. Using a fan-out CNOT operation on the ancillary qubits with the control qubit, the control qubit state may be copied into the ancillary qubits. With the N/2 available copies of the control qubit state, each controlled-SWAP operations may then be implemented in parallel since each one of at most N/2 controlled-SWAP operations may use each one of the available control state copies encoded in the ancillary qubits. Once all of controlled-SWAP operations in a given bit-wise controlled-circular-shift operator 2
The CNOT gate operations and the controlled-SWAP operations used to perform the controlled-circular-shift operation S may be each implemented by application of a proper combination of single-qubit operations and two-qubit gate operations to the n=(log2 N) qubits of the index register in the initial superposition state
the N qubits of the string register in the string encoded state |T=⊗i=0N-1|ti, and N/2 ancillary qubits, each initialized to state |0.
In block 712, by the system controller 104, a bit-wise CNOT gate operation is applied on the pattern register in the pattern encoded state |P=⊗i=0M-1|pi conditioned on the first M bits of the string register in the string encoded state |T(k)=⊗i+kN-1|ti+k mod N. That is, the bit-wise CNOT gate operation brings the pattern register from the pattern encoded state |P=⊗i+0N-1|pi to a string-pattern matching evaluation state (⊗i=0M-1|pi⊕ti+k mod N). After this transformation, if the first M bits of the string register in the circularly shifted state |T(k)=⊗i=0M-1|ti+k mod N exactly match all qubits of the pattern register in the pattern encoded state |p=⊗i=0M-1|pi (i.e., exact matching), all qubits |pi⊕ti+k mod N of the pattern register in the string-pattern matching evaluation state (⊗i=0M-1|pi⊕ti+k mod N)) are in state |0. If the first M qubits except ford qubits of the string register in the circularly shifted state |T(k)=⊗i=0N-1|ti+k mod N) match the qubits of the pattern register in the pattern encoded state |P=⊗i=0M-1|pi (i.e., fuzzy matching), (M−d) qubits |pi⊕ti+k mod N) of the pattern register in the string-pattern matching evaluation state (⊗i=0M-1|pi⊕ti+k mod N) are in state |0 and d bits are in state |1.
The bit-wise CNOT gate operations can be implemented by the application of a combination of single-qubit gate operations and two-qubit gate operations by the system controller 104 in a single time step in units of elementary logic operations.
In block 714, by the system controller 104, the string-pattern matching evaluation state (⊗i=0M-1|pi⊕ti+k mod N) having (M−d) or more qubits in state |0 (referred to as a matched state) is amplified and measured. The exact matching corresponds to d=0. The fuzzy matching corresponds to d≥0. The string index k specifies the location of the matched string. The amplification of the matched state may be performed by applying an oracle operation Uw on the pattern register, which reverses a phase of the matched state:
Oracle operations, such as the oracle operation Uw described herein, may be implemented in (log(M)) time steps in units of elementary logic operations using (M) ancillary qubits in a quantum processor that has a long-range interactions, such as the exemplary quantum computer with trapped ions and needs to be repeated (√{square root over (N)}) times for successful amplification. Once an amplitude of the index register (in the superposition of string index states) is measured, the matched state in which the string-pattern matching evaluation state (⊗i=0M-1|pi⊕ti+k mod N) having (M−d) or more qubits in state |0 has the largest amplitude. The string index k associated with the measured matched state corresponds to the location of the pattern within the bit string . Subsequently, the classical computer 102 generally outputs the measured result including whether or not the bit string contains the bit pattern and if it does, the location of the pattern within the bit string .
In the embodiments described herein, the methods for a more efficient and accelerated pattern matching process is provided. The amount of time resources required to run a matching process for searching a bit pattern of length M within a bit string of length N by the method described herein scales as (√{square root over (N)}(log(N)2+log(M))) time steps in units of elementary logic operations. As described above, transformation of the index register to the superposition state in block 706 and encoding of the bit string and the pattern in block 708 may be each implemented in a single time step in units of elementary logic operations. In block 710, each bit-wise controlled-circular-shift operator 2
The amount of memory resources required to run a matching process for searching a bit pattern of length M within a bit string of length N by the method described herein scales as (N+M) qubits. As described above, the amount of memory resources includes N to encode the bit string (t0t1 . . . tN-1) of length N, M to encode the bit pattern (p0p1 . . . pM-1) of length M, n=log2 N to encode the string index, N/2 of ancillary qubits to implement parallel controlled-SWAP operations, and (M) of ancillary qubits to implement the oracle operation Uw. Thus, the method requires (N+M) qubits in total. Therefore, the method described herein provides improvement in the amount of time required to run a matching process by use of a quantum processor over a purely classical computational method, by allowing simultaneous search of a bit pattern in multiple locations in a bit string due to the use of the multiple states created by a quantum superposition.
While the foregoing is directed to specific embodiments, other and further embodiments may be devised without departing from the basic scope thereof, and the scope thereof is determined by the claims that follow.
This application claims the benefit to U.S. Provisional Application No. 63/031,385, filed May 28, 2020, which is incorporated by reference herein.
This invention was made with Government support under DESC0019040 and DE-SC0020312 awarded by the Department of Energy. The Government has certain rights in the invention.
Number | Name | Date | Kind |
---|---|---|---|
8633437 | Dantus et al. | Jan 2014 | B2 |
9335606 | Hanson et al. | May 2016 | B2 |
9858531 | Monroe et al. | Jan 2018 | B1 |
11144689 | Cowtan | Oct 2021 | B1 |
11411658 | Vacon | Aug 2022 | B1 |
20040024750 | Ulyanov | Feb 2004 | A1 |
20060249670 | Monroe et al. | Nov 2006 | A1 |
20090213444 | Goto et al. | Aug 2009 | A1 |
20180096258 | Burchard | Apr 2018 | A1 |
20180114138 | Monroe et al. | Apr 2018 | A1 |
20180189653 | Burchard | Jul 2018 | A1 |
20190171784 | Shao | Jun 2019 | A1 |
20200034347 | Selly | Jan 2020 | A1 |
20200119748 | Lucarelli | Apr 2020 | A1 |
20200272926 | Chaplin | Aug 2020 | A1 |
20200342344 | Gambetta | Oct 2020 | A1 |
20200394544 | Low | Dec 2020 | A1 |
20210150403 | Grigoryan | May 2021 | A1 |
20210374593 | Niroula | Dec 2021 | A1 |
20220164505 | Mosca | May 2022 | A1 |
20220398483 | Chernoguzov | Dec 2022 | A1 |
Number | Date | Country |
---|---|---|
WO-2022019443 | Jan 2022 | WO |
WO-2022177895 | Aug 2022 | WO |
WO-2023016650 | Feb 2023 | WO |
WO-2023084425 | May 2023 | WO |
Entry |
---|
Kassal, I., Jordan, S. P., Love, P. J., Mohseni, M., Aspuru-Guzik, A. (2008). Polynomial-time quantum algorithm for the simulation of chemical dynamics. Proceedings of the National Academy of Sciences of the United States of America, 105(48), 18681-18686. https://doi.org/10.1073/pnas.0808245105. |
Kim, I. H. (2017). Noise-resilient preparation of quantum many-body ground states. ArXiv:1703.00032 [Quant-Ph]. |
Kim, I. H., Swingle, B. (2017). Robust entanglement renormalization on a noisy quantum computer. ArXiv:1711.07500 [Quant-Ph]. |
Kitaev, A. Y., Landau, L. D. (1995). Quantum measurements and the Abelian Stabilizer Problem. ArXiv:Quant-Ph/9511026. |
Klco, N., Dumitrescu, E. F., McCaskey, A. J., Morris, T. D., Pooser, R. C., Sanz, M., Solano, E., Lougovski, P., Savage, M. J. (2018). Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers. Physical Review A, 98(3), 032331. https://doi.org/10.1103/PhysRevA.98.032331. |
Landsman, K. A., Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., Monroe, C. (2019). Verified Quantum Information Scrambling. Nature, 567(7746), 61-65. https://doi.org/10.1038/s41586-019-0952-6. |
Leung, P. H., Brown, K. R. (2018). Entangling an arbitrary pair of qubits in a long ion crystal. Physical Review A, 98(3), 032318. https://doi.org/10.1103/PhysRevA.98.032318. |
Leung, P. H., Landsman, K. A., Figgatt, C., Linke, N. M., Monroe, C., Brown, K. R. (2018). Robust 2-Qubit Gates in a Linear Ion Crystal Using a Frequency-Modulated Driving Force. Physical Review Letters, 120(2), 020501. https://doi.org/10.1103/PhysRevLett.120.020501. |
Lin, G.-D., Zhu, S.-L., Islam, R., Kim, K., Chang, M.-S., Korenblit, S., Monroe, C., Duan, L.-M. (2009). Large-scale quantum computation in an anharmonic linear ion trap. Europhysics Letters, 86(6), 60004. https://doi.org/10.1209/0295-5075/86/60004. |
Linke, N. M., Maslov, D., Roetteler, M., Debnath, S., Figgatt, C., Landsman, K. A., Wright, K., Monroe, C. (2017). Experimental comparison of two quantum computing architectures. Proceedings of the National Academy of Sciences of the United States of America, 114(13), 3305-3310. https://doi.org/10.1073/pnas.1618020114. |
Liu, J.-G., Zhang, Y.-H., Wan, Y., Wang, L. (2019). Variational quantum eigensolver with fewer qubits. Physical Review Research, 1(2), 023025. https://doi.org/10.1103/physrevresearch.1.023025. |
Lloyd, S., Mohseni, M., Rebentrost, P. (2014). Quantum principal component analysis. Nature Physics, 10(9), 631-633. https://doi.org/10.1038/NPHYS3029. |
Lu, Y., Zhang, S., Zhang, K., Chen, W., Shen, Y., Zhang, J., Zhang, J.-N., Kim, K. (2019). Scalable global entangling gates on arbitrary ion qubits. Nature, 572, 363-367. https://doi.org/10.1038/s41586-019-1428-4. |
Lu, D., Xu, N., Xu, R., Chen, H., Gong, J., Peng, X., Du, J. (2011). Simulation of chemical isomerization reaction dynamics on a NMR quantum simulator. Physical Review Letters, 107(2), 020501. https://doi.org/10.1103/PhysRevLett.107.020501. |
MacDonald, J. K. L. (1934). On the Modified Ritz Variation Method. Physical Review, 46(9), 828. https://doi.org/10.1103/PhysRev.46.828. |
Marquet, C., Schmidt-Kaler, F., James, D. F. V. (2003). Phonon-phonon interactions due to non-linear effects in a linear ion trap. Applied Physics B, 76(3), 199-208. https://doi.org/10.1007/s00340-003-1097-7. |
Maslov, D. (2017). Basic circuit compilation techniques for an ion-trap quantum machine. New Journal of Physics, 19(2), 023035. https://doi.org/10.1088/1367-2630/aa5e47. |
Maslov, D. (2016). Advantages of using relative-phase Toffoli gates with an application to multiple control Toffoli optimization. Physical Review A, 93(2), 022311. https://doi.org/10.1103/PhysRevA.93.022311. |
Maslov, D., Nam, Y. (2018). Use of global interactions in efficient quantum circuit constructions. New Journal of Physics, 20(3), 033018. https://doi.org/10.1088/1367-2630/aaa398. |
Maslov, D., Nam, Y., Kim, J. (2019). An Outlook for Quantum Computing [Point of View]. Proceedings of the IEEE, 107(1), 5-10. https://doi.org/10.1109/JPROC.2018.2884353. |
McArdle, S., Endo, S., Aspuru-Guzik, A., Benjamin, S., Yuan, X. (2020). Quantum computational chemistry. Reviews of Modern Physics, 92(1), 015003. https://doi.org/10.1103/RevModPhys.92.015003. |
McArdle, S., Yuan, X., Benjamin, S. (2019). Error-mitigated digital quantum simulation. Physical Review Letters, 122(18), 180501. https://doi.org/10.1103/PhysRevLett.122.180501. |
McClean, J. R., Boixo, S., Smelyanskiy, V. N., Babbush, R., Neven, H. (2018). Barren plateaus in quantum neural network training landscapes. Nature Communications, 9, 4812. https://doi.org/10.1038/s41467-018-07090-4. |
McClean, J. R., Romero, J., Babbush, R., Aspuru-Guzik, A. (2016). The theory of variational hybrid quantum-classical algorithms. New Journal of Physics, 18(2), 023023. https://doi.org/10.1088/1367-2630/18/2/023023. |
McClean, J. R., Schwartz, M. E., Carter, J., de Jong, W. A. (2017). Hybrid Quantum-Classical Hierarchy for Mitigation of Decoherence and Determination of Excited States. Physical Review A, 95(4), 042308. https://doi.org/10.1103/PhysRevA.95.042308. |
Merrill, J. T., Brown, K. R. (2014). Progress in compensating pulse sequences for quantum computation. In Sabre Kais (Ed.), Quantum Information and Computation for Chemistry (pp. 241-294). John Wiley Sons. https://doi.org/10.1002/9781118742631.ch10. |
Moll, N., Fuhrer, A., Staar, P., Tavernelli, I. (2016). Optimizing qubit resources for quantum chemistry simulations in second quantization on a quantum computer. Journal of Physics A: Mathematical and Theoretical, 49(29), 295301. https://doi.org/10.1088/1751-8113/49/29/295301. |
Mølmer, K., Sørensen, A. (1999). Multiparticle Entanglement of Hot Trapped Ions. Physical Review Letters, 82(9), 1835. https://doi.org/10.1103/PhysRevLett.82.1835. |
Muller, M. M., Haakh, H. R., Calarco, T., Koch, C. P., Henkel, C. (2011). Prospects for fast Rydberg gates on an atom chip. Quantum Information Processing, 10(6), 771-792. https://doi.org/10.1007/s11128-011-0296-0. |
Nam, Y., Chen, J. S., Pisenti, N. C., Wright, K., Delaney, C., Maslov, D., Brown, K. R., Allen, S., Amini, J. M., Apisdorf, J., Beck, K. M., Blinov, A., Chaplin, V., Chmielewski, M., Collins, C., Debnath, S., Hudek, K. M., Ducore, A. M., Keesan, M., Kim, J. (2020). Ground-state energy estimation of the water molecule on a trapped-ion quantum computer. Npj Quantum Information, 6, 33. https://doi.org/10.1038/s41534-020-0259-3. |
Nam, Y., Maslov, D. (2019). Low-cost quantum circuits for classically intractable instances of the Hamiltonian dynamics simulation problem. Npj Quantum Information, 5, 44. https://doi.org/10.1038/s41534-019-0152-0. |
Nam, Y., Su, Y., Maslov, D. (2020). Approximate quantum Fourier transform with O(n log(n)) T gates. Npj Quantum Information, 6, 26. https://doi.org/10.1038/s41534-020-0257-5. |
Nielsen, M. A., Chuang, I. L. (2010). Quantum computation and quantum information. Cambridge University Press. https://doi.org/10.1017/CBO9780511976667. |
OGorman, J., Campbell, E. T. (2017). Quantum computation with realistic magic-state factories. Physical Review A, 95(3), 032338. https://doi.org/10.1103/PhysRevA.95.032338. |
OMalley, P. J. J., Babbush, R., Kivlichan, I. D., Romero, J., McClean, J. R., Barends, R., Kelly, J., Roushan, P., Tranter, A., Ding, N., Campbell, B., Chen, Y., Chen, Z., Chiaro, B., Dunsworth, A., Fowler, A. G., Jeffrey, E., Megrant, A., Mutus, J. Y., Martinis, J. M. (2016). Scalable Quantum Simulation of Molecular Energies. Physical Review X, 6(3), 031007. https://doi.org/10.1103/PhysRevX.6.031007. |
Orus, R., Mugel, S., Lizaso, E. (2019). Quantum computing for finance: overview and prospects. Reviews in Physics, 4, 100028. https://doi.org/10.1016/j.revip.2019.100028. |
Peruzzo, A., McClean, J., Shadbolt, P., Yung, M. H., Zhou, X. Q., Love, P. J., Aspuru-Guzik, A., OBrien, J. L. (2014). A variational eigenvalue solver on a photonic quantum processor. Nature Communications, 5, 4213. https://doi.org/10.1038/ncomms5213. |
Preskill, J. (2018). Quantum Computing in the NISQ era and beyond. Quantum, 2, 79. https://doi.org/10.22331/q-2018-08-06-79. |
Reiher, M., Wiebe, N., Svore, K. M., Wecker, D., Troyer, M. (2017). Elucidating reaction mechanisms on quantum computers. Proceedings of the National Academy of Sciences of the United States of America, 114(29), 7555-7560. https://doi.org/10.1073/pnas.1619152114. |
Richardson, L., Gaunt, J. A. (1927). The deferred approach to the limit. Phil. Trans. R. Soc. Lond. A, 226(636-646), 299-361. https://doi.org/10.1098/rsta.1927.0008. |
Santagati, R., Wang, J., Gentile, A. A., Paesani, S., Wiebe, N., Mcclean, J. R., Morley-Short, S., Shadbolt, P. J., Bonneau, D., Silverstone, J. W., Tew, D. P., Zhou, X., Obrien, J. L., Thompson, M. G. (2018). Witnessing eigenstates for quantum simulation of Hamiltonian spectra. Science Advances, 4(1), eaap9646. https://doi.org/10.1126/sciadv.aap9646. |
Seeley, J. T., Richard, M. J., Love, P. J. (2012). The Bravyi-Kitaev transformation for quantum computation of electronic structure. Journal of Chemical Physics, 137(22), 224109. https://doi.org/10.1063/1.4768229. |
Shantanu, D. (2016). A Programmable Five Qubit Quantum Computer Using Trapped Atomic lons. University of Maryland Department of Physics and National Institute of Standards and Technology. |
Shen, Y., Zhang, X., Zhang, S., Zhang, J. N., Yung, M. H., Kim, K. (2017). Quantum implementation of the unitary coupled cluster for simulating molecular electronic structure. Physical Review A, 95(2). https://doi.org/10.1103/PhysRevA.95.020501. |
Shehab, O., Landsman, K. A., Nam, Y., Zhu, D., Linke, N. M., Keesan, M. J., Pooser, R. C., Monroe, C. R. (2019). Toward convergence of effective field theory simulations on digital quantum computers. Physical Review A, 100(6), 062319. https://doi.org/10.1103/PhysRevA.100.062319. |
Shor, P. W. (1999). Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a. SIAM Review, 41(2), 303-332. |
Shende, V. V., Markov, I. L., Bullock, S. S. (2004). Minimal universal two-qubit controlled-NOT-based circuits. Physical Review A, 69(6), 062321. https://doi.org/10.1103/PhysRevA.69.062321. |
Sørensen, A., Mølmer, K. (1999). Quantum Computation with Ions in Thermal Motion. Physical Review Letters, 82(9), 1971. https://doi.org/10.1103/PhysRevLett.82.1971. |
Sporl, A., Schulte-Herbruggen, T., Glaser, S. J., Bergholm, V., Storcz, M. J., Ferber, J., Wilhelm, F. K. (2007). Optimal control of coupled Josephson qubits. Physical Review A, 75(1), 012302. https://doi.org/10.1103/PhysRevA.75.012302. |
Takeshita, T., Rubin, N. C., Jiang, Z., Lee, E., Babbush, R., McClean, J. R. (2020). Increasing the representation accuracy of quantum simulations of chemistry without extra quantum resources. Physical Review X, 10(1), 011004. https://doi.org/10.1103/PhysRevX.10.011004. |
Abraham J Wyner. (1994). String matching theorems and applications to data compression and statistics. Stanford University. |
Brassard, G., Høyer, P., Mosca, M., & Tapp, A. (2002). Quantum amplitude amplification and estimation. In S. J. Lomonaco & H. E. Brandt (Eds.), Quantum Computation and Information (pp. 53-74). American Mathematical Society. https://doi.org/10.1090/conm/305. |
Grover, L. K. (1996). A fast quantum mechanical algorithm for database search. Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing—STOC '96. https://doi.org/10.1145/237814.237866. |
Hakak, S. I., Kamsin, A., Shivakumara, P., Gilkar, G. A., Khan, W. Z., & Imran, M. (2019). Exact String Matching Algorithms: Survey, Issues, and Future Research Directions. IEEE Access, 7. https://doi.org/10.1109/ACCESS.2019.2914071. |
Knuth, D. E., Morris, J. H., Jr. & Pratt, V. R. (1977). Fast Pattern Matching in Strings. SIAM Journal on Computing, 6 (2). https://doi.org/10.1137/0206024. |
Kuperberg, G. (2005). A Subexponential-Time Quantum Algorithm for the Dihedral Hidden Subgroup Problem. SIAM Journal on Computing, 35(1). https://doi.org/10.1137/S0097539703436345. |
Landau, G. M., & Vishkin, U. (1994). Pattern matching in a digitized image. Algorithmica, 12(4-5). <https://doi.org/10.1007/BF01185433>. |
Montanaro, A. (2017). Quantum Pattern Matching Fast on Average. Algorithmica, 77(1). https://doi.org/10.1007/s00453-015-0060-4. |
Nam, Y., Ross, N. J., Su, Y., Childs, A. M., & Maslov, D. (2018). Automated optimization of large quantum circuits with continuous parameters. Npj Quantum Information, 4(1). https://doi.org/10.1038/s41534-018-0072-4. |
Owen, B. J., & Sathyaprakash, B. S. (1999). Matched filtering of gravitational waves from inspiraling compact binaries: Computational cost and template placement. Physical Review D, 60(2). https://doi.org/10.1103/PhysRevD.60.022002. |
Ramesh, H., & Vinay, V. (2003). String matching in O(n+m) quantum time. Journal of Discrete Algorithms, 1(1). https://doi.org/10.1016/S1570-8667(03)00010-8. |
Rasmussen, S. E., Groenland, K., Gerritsma, R., Schoutens, K., & Zinner, N. T. (2020). Single-step implementation of high-fidelity n-bit Toffoli gates. Physical Review A, 101(2). https://doi.org/10.1103/PhysRevA.101.022308. |
Sasaki, M., Carlini, A., & Jozsa, R. (2001). Quantum template matching. Physical Review A, 64(2). https://doi.org/10.1103/PhysRevA.64.022317. |
Charras, C., & Lecroq, T. (2004). Handbook of Exact string matching algorithms. Citeseer. (Book—220 pages). |
International Search Report dated May 29, 2020 for Application No. PCT/US2020/015232. |
International Search Report dated May 28, 2020 for Application No. PCT/US2020/015234. |
International Search Report dated May 28, 2020 for Application No. PCT/US2020/015235. |
Aspuru-Guzik. Alan, Dutoi. Anthony D., Love, P. J., Head-Gordon, M. (2005). Simulated Quantum Computation of Molecular Energies. Science, 309(5741), 1704-1707. https://doi.org/10.1126/science.1113479. |
Aloul, F. A., Ramani, A., Markov, I. L., Sakallah, K. A. (2002). Solving Difficult SAT Instances in the Presence of Symmetry. Proceedings of the 39th Annual Design Automation Conference, 731-736. https://doi.org/10.1145/513918.514102. |
Babbush, R., Gidney, C., Berry, D. W., Wiebe, N., McClean, J., Paler, A., Fowler, A., Neven, H. (2018). Encoding Electronic Spectra in Quantum Circuits with Linear T Complexity. Physical Review X, 8(4), 041015. https://doi.org/10.1103/PhysRevX.8.041015. |
Ballance, C. J., Harty, T. P., Linke, N. M., Sepiol, M. A., Lucas, D. M. (2016). High-Fidelity Quantum Logic Gates Using Trapped-Ion Hyperfine Qubits. Physical Review Letters, 117(6), 060504. https://doi.org/10.1103/PhysRevLett.117.060504. |
Barkoutsos, P. K., Gonthier, J. F., Sokolov, I., Moll, N., Salis, G., Fuhrer, A., Ganzhorn, M., Egger, D. J., Troyer, M., Mezzacapo, A., Filipp, S., Tavemelli, I. (2018). Quantum algorithms for electronic structure calculations: particle-hole Hamiltonian and optimized wavefunction expansions. Physical Review A, 98(2), 022322. https://doi.org/10.1103/PhysRevA.98.022322. |
Beauregard, S. (2003). Circuit for Shor's algorithm using 2n+3 qubits. Quantum Information and Computation, 3(2), 175-185. https://doi.org/https://dl.acm.org/doi/10.5555/2011517.2011525. |
Benedetti, M., Garcia-Pintos, D., Perdomo, O., Leyton-Ortega, V., Nam, Y., Perdomo-Ortiz, A. (2019). A generative modeling approach for benchmarking and training shallow quantum circuits. Npj Quantum Information, 5, 45. https://doi.org/10.1038/s41534-019-0157-8. |
Bera, D., Fenner, S., Green, F., Homer, S. (2008). Universal Quantum Circuits. ArXiv:0804.2429 [Cs.CC]. |
Bernstein, E., Vazirani, U., Comput, S. J. (1997). Quantum Complexity Theory. SIAM Journal on Computing, 26(5), 1411-1473. https://doi.org/10.1137/S0097539796300921. |
Blumel, R., Grzesiak, N., Nam, Y. (2019). Power-optimal, stabilized entangling gate between trapped-ion qubits. ArXiV:1905.09292 [Quant-Ph]. |
Boyd, S. P., Vandenberghe, L. (2004). Convex optimization. Cambridge University Press. |
Bravyi, S., Gambetta, J. M., Mezzacapo, A., Temme, K. (2017). Tapering off qubits to simulate fermionic Hamiltonians. ArXiv:1701.08213 [Quant-Ph]. |
Bravyi, S., Haah, J. (2012). Magic-state distillation with low overhead. Physical Review A, 86(5), 052329. https://doi.org/10.1103/PhysRevA.86.052329. |
Bravyi, S. B., Landau, L. D., Kitaev, A. Y. (2002). Fermionic quantum computation. Annals of Physics, 298(1), 210-226. https://doi.org/10.1006/aphy.2002.6254Calderon-Vargas, F. A., Barron, G. S., Deng, X.-H., Sigillito, A. J., Barnes, E., Economou, S. E. (2019). Fast high-fidelity entangling gates for spin qubits in Si double quantum dots. Physical Review B, 100(3), 035304. https://doi.org/10.1103/PhysRevB.100.035304. |
Childs, A. M., Maslov, D., Nam, Y., Ross, N. J., Su, Y. (2018). Toward the first quantum simulation with quantum speedup. Proceedings of the National Academy of Sciences of the United States of America, 115(38), 9456-9461. https://doi.org/10.1073/pnas.1801723115. |
Choi, T., Debnath, S., Manning, T. A., Figgatt, C., Gong, Z. X., Duan, L. M., Monroe, C. (2014). Optimal quantum control of multimode couplings between trapped ion qubits for scalable entanglement. Physical Review Letters, 112(19), 190502. https://doi.org/10.1103/PhysRevLett.112.190502. |
Chow, J. M. (2010). Quantum Information Processing with Superconducting Qubits. Yale University. |
Colless, J. I., Ramasesh, V. V., Dahlen, D., Blok, M. S., Kimchi-Schwartz, M. E., McClean, J. R., Carter, J., De Jong, W. A., Siddiqi, I. (2018). Computation of Molecular Spectra on a Quantum Processor with an Error-Resilient Algorithm. Physical Review X, 8(1), 011021. https://doi.org/10.1103/PhysRevX.8.011021. |
Cormen, T. H., Leiserson, C. E., Rivest, R. L., Clifford Stein. (2009). Introduction to algorithms. MIT press. |
Crooks, G. E. (2018). Performance of the Quantum Approximate Optimization Algorithm on the Maximum Cut Problem. ArXiv:1811.08419 [Quant-Ph]. |
Debnath, S., Linke, N. M., Figgatt, C., Landsman, K. A., Wright, K., Monroe, C. (2016). Demonstration of a small programmable quantum computer with atomic qubits. Nature, 536(7614), 63-66. https://doi.org/10.1038/nature18648. |
Dobsi{hacek over (c)}ek, M., Johansson, G., Shumeiko, V., Wendin, G. (2007). Arbitrary accuracy iterative phase estimation algorithm as a two qubit benchmark. Physical Review A, 76(3), 030306. https://doi.org/10.1103/PhysRevA.76.030306. |
Draper, T. G., Kutin, S. A., Rains, E. M., Svore, K. M. (2006). A Logarithmic-Depth Quantum Carry-Lookahead Adder. Quantum Information Computation, 6(4), 351-369. https://doi.org/10.5555/2012086.2012090. |
Dumitrescu, E. F., McCaskey, A. J., Hagen, G., Jansen, G. R., Morris, T. D., Papenbrock, T., Pooser, R. C., Dean, D. J., Lougovski, P. (2018). Cloud Quantum Computing of an Atomic Nucleus. Physical Review Letters, 120(21), 210501. https://doi.org/10.1103/PhysRevLett.120.210501. |
Endo, S., Benjamin, S. C., Li, Y. (2018). Practical Quantum Error Mitigation for Near-Future Applications. Physical Review X, 8(3), 031027. https://doi.org/10.1103/PhysRevX.8.031027. |
Endo, S., Jones, T., McArdle, S., Yuan, X., Benjamin, S. (2019). Variational quantum algorithms for discovering Hamiltonian spectra. Physical Review A, 99(6), 062304. https://doi.org/10.1103/PhysRevA.99.062304. |
Jordan, V. P., Wigner in GSttingen, E. (1928). Uber das Paulische Aquivalenzverbot. Zeitschrift Fur Physik, 47, 631-651. https://doi.org/0.1007/BF01331938. |
Evenbly, G., Vidal, G. (2007). Algorithms for entanglement renormalization. Physical Review B, 79(14), 144108. https://doi.org/10.1103/PhysRevB.79.144108. |
Farhi, E., Goldstone, J., Gutmann, S. (2014). A Quantum Approximate Optimization Algorithm. ArXiv:1411.4028 [Quant-Ph]. |
Feynman, R. P. (1982). Simulating Physics with Computers. In International Journal of Theoretical Physics (vol. 21, Issue 6). https://doi.org/10.1007/BF02650179. |
Figgatt, C., Ostrander, A., Linke, N. M., Landsman, K. A., Zhu, D., Maslov, D., Monroe, C. (2019). Parallel Entangling Operations on a Universal Ion Trap Quantum Computer. Nature, 572, 368-372. https://doi.org/10.1038/s41586-019-1427-5. |
Figgatt, C. M. (2018). Building and Programming a Universal Ion Trap Quantum Computer. University of Maryland. |
Gaebler, J. P., Tan, T. R., Lin, Y., Wan, Y., Bowler, R., Keith, A. C., Glancy, S., Coakley, K., Knill, E., Leibfried, D., Wineland, D. J. (2016). High-Fidelity Universal Gate Set for Be 9 + Ion Qubits. Physical Review Letters, 117(6), 060505. https://doi.org/10.1103/PhysRevLett.117.060505. |
Gambetta, J. M., Motzoi, F., Merkel, S. T., Wilhelm, F. K. (2011). Analytic control methods for high-fidelity unitary operations in a weakly nonlinear oscillator. Physical Review A, 83(1), 012308. https://doi.org/10.1103/PhysRevA.83.012308. |
Gene M. Amdahl. (1967). Validity of the single processor approach to achieving large scale computing capabilities. AFIPS Spring Joint Computer Conference. |
Goemans, E. X., Williamson, D. P., Williamson, D. P., Goemans, M. X. (1994). Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming. Journal of the Association for Computing Machinery, 42(6), 1115-1145. https://doi.org/10.1145/227683.227684. |
Green, T. J., Biercuk, M. J. (2015). Phase-modulated decoupling and error suppression in qubit-oscillator systems. Physical Review Letters, 114(12), 120502. https://doi.org/10.1103/PhysRevLett.114.120502. |
Grover, L. K. (1997). Quantum Mechanics Helps in Searching for a Needle in a Haystack. Physical Review Letters, 79(2), 325. https://doi.org/https://doi.org/10.1103/PhysRevLett.79.325. |
Grzesiak, N., Blumel, R., Wright, K., Beck, K. M., Pisenti, N. C., Li, M., Chaplin, V., Amini, J. M., Debnath, S., Chen, J. S., Nam, Y. (2020). Efficient arbitrary simultaneously entangling gates on a trapped-ion quantum computer. Nature Communications, 11, 2963. https://doi.org/10.1038/s41467-020-16790-9. |
Hadfield, S., Papageorgiou, A. (2018). Divide and conquer approach to quantum Hamiltonian simulation. New Journal of Physics, 20(4), 043003. https://doi.org/10.1088/1367-2630/aab1ef. |
Harrow, A. W., Hassidim, A., Lloyd, S. (2009). Quantum algorithm for linear systems of equations. Physical Review Letters, 103(15), 150502. https://doi.org/10.1103/PhysRevLett.103.150502. |
Harty, T. P., Allcock, D. T. C., Ballance, C. J., Guidoni, L., Janacek, H. A., Linke, N. M., Stacey, D. N., Lucas, D. M. (2014). High-fidelity preparation, gates, memory, and readout of a trapped-ion quantum bit. Physical Review Letters, 113(22), 220501. https://doi.org/10.1103/PhysRevLett.113.220501. |
Hempel, C., Maier, C., Romero, J., McClean, J., Monz, T., Shen, H., Jurcevic, P., Lanyon, B., Love, P., Babbush, R., Aspuru-Guzik, A., Blatt, R., Roos, C. (2018). Quantum chemistry calculations on a trapped-ion quantum simulator. Physical Review X, 8(3), 031022. https://doi.org/10.1103/PhysRevX.8.031022. |
Hewitt, E., Hewitt, R. E. (1979). The Gibbs-Wilbraham Phenomenon: An Episode in Fourier Analysis. Archive for History of Exact Sciences, 21, 129-160. https://doi.org/10.1007/BF00330404. |
Higgott, O., Wang, D., Brierley, S. (2019). Variational Quantum Computation of Excited States. Quantum, 156. https://doi.org/10.22331/q-2019-07-01-156. |
Jones, N. C., Whitfield, J. D., McMahon, P. L., Yung, M. H., Meter, R. Van, Aspuru-Guzik, A., Yamamoto, Y. (2012). Faster quantum chemistry simulation on fault-tolerant quantum computers. New Journal of Physics, 14, 115023. https://doi.org/10.1088/1367-2630/14/11/115023. |
Kandala, A., Mezzacapo, A., Temme, K., Takita, M., Brink, M., Chow, J. M., Gambetta, J. M. (2017). Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets. Nature, 549, 242-246. https://doi.org/10.1038/nature23879. |
Toloui, B., Love, P. J. (2013). Quantum Algorithms for Quantum Chemistry based on the sparsity of the CI-matrix. ArXiv:1312.2579 [Quant-Ph]. |
Tranter, A., Sofia, S., Seeley, J., Kaicher, M., McClean, J., Babbush, R., Coveney, P. V., Mintert, F., Wilhelm, F., Love, P. J. (2015). The Bravyi-Kitaev transformation: Properties and applications. International Journal of Quantum Chemistry, 115(19), 1431-1441. https://doi.org/10.1002/qua.24969. |
Van Dam, W., Hallgren, S., Ip, L. (2006). Quantum algorithms for some hidden shift problems. SIAM Journal on Computing, 36(3), 763-778. https://doi.org/10.1137/S009753970343141X. |
Wang, Y., Um, M., Zhang, J., An, S., Lyu, M., Zhang, J. N., Duan, L. M., Yum, D., Kim, K. (2017). Single-qubit quantum memory exceeding ten-minute coherence time. Nature Photonics, 11(10), 646-650. https://doi.org/10.1038/s41566-017-0007-1. |
Ward, N. J., Kassal, I., Aspuru-Guzik, A. (2009). Preparation of many-body states for quantum simulation. Journal of Chemical Physics, 130(19), 194105. https://doi.org/10.1063/1.3115177. |
Webb, A. E., Webster, S. C., Collingbourne, S., Bretaud, D., Lawrence, A. M., Weidt, S., Mintert, F., Hensinger, W. K. (2018). Resilient entanglement gates for trapped ions. Physical Review Letters, 121(18), 180501. https://doi.org/10.1103/PhysRevLett.121.180501. |
Wecker, D., Bauer, B., Clark, B. K., Hastings, M. B., Troyer, M. (2014). Gate count estimates for performing quantum chemistry on small quantum computers. Physical Review A, 90(2), 022305. https://doi.org/10.1103/PhysRevA.90.022305. |
Weinstein, D. H. (1934). Modified Ritz Method. Proceedings of the National Academy of Sciences, 20, 529-532. |
Welch, J., Greenbaum, D., Mostame, S., Aspuru-Guzik, A. (2014). Efficient quantum circuits for diagonal unitaries without ancillas. New Journal of Physics, 16, 033040. https://doi.org/10.1088/1367-2630/16/3/033040. |
Whitfield, J. D., Biamonte, J., Aspuru Guzik, A. (2011). Simulation of electronic structure Hamiltonians using quantum computers. Molecular Physics, 109(5), 735-750. https://doi.org/10.1080/00268976.2011.552441. |
Wineland, D. J., Monroe, C., Itano, W. M., Leibfried, D., King, B. E., Meekhof, D. M. (1998). Experimental Issues in Coherent Quantum-State Manipulation of Trapped Atomic Ions. Journal of Research of the National Institute of Standards and Technology, 103(3), 259. https://doi.org/10.6028/jres.103.019. |
Wright, K., Beck, K. M., Debnath, S., Amini, J. M., Nam, Y., Grzesiak, N., Chen, J. S., Pisenti, N. C., Chmielewski, M., Collins, C., Hudek, K. M., Mizrahi, J., Wong-Campos, J. D., Allen, S., Apisdorf, J., Solomon, P., Williams, M., Ducore, A. M., Blinov, A., Kim, J. (2019). Benchmarking an 11-qubit quantum computer. Nature Communications, 10, 5464. https://doi.org/10.1038/s41467-019-13534-2. |
Wu, Y., Wang, S. T., Duan, L.-M. (2018). Noise analysis for high-fidelity quantum entangling gates in an anharmonic linear Paul trap. Physical Review A, 97(6), 062325. https://doi.org/10.1103/PhysRevA.97.062325. |
Zhu, S. L., Monroe, C., Duan, L. M. (2006). Arbitrary-speed quantum gates within large ion crystals through minimum control of laser beams. Europhysics Letters, 73, 485-491. https://doi.org/10.1209/epl/i2005-10424-4. |
Zhu, S.-L., Monroe, C., Duan, L.-M. (2006). Trapped ion quantum computation with transverse phonon modes. Physical Review Letters, 97(5), 050505. https://doi.org/10.1103/PhysRevLett.97.050505. |
Number | Date | Country | |
---|---|---|---|
20210374593 A1 | Dec 2021 | US |
Number | Date | Country | |
---|---|---|---|
63031385 | May 2020 | US |