Aspects of the present disclosure relate generally to systems and methods for use in the implementation and/or operation of quantum information processing (QIP) systems.
Trapped atoms are one of the leading implementations for quantum information processing or quantum computing. Other implementations include those based on superconducting qubits or photonic qubits, for example. Atomic-based qubits may be used as quantum memories, as quantum gates in quantum computers and simulators, and may act as nodes for quantum communication networks. Qubits based on trapped atomic ions enjoy a rare combination of attributes. For example, qubits based on trapped atomic ions have very good coherence properties, may be prepared and measured with nearly 100% efficiency, and are readily entangled with each other by modulating their Coulomb interaction with suitable external control fields such as optical or microwave fields. These attributes make atomic-based qubits attractive for extended quantum operations such as quantum computations or quantum simulations.
It is therefore important to develop new techniques that improve the design, fabrication, implementation, and/or control of different QIP systems used as quantum computers or quantum simulators, and particularly for those QIP systems that handle operations based on atomic-based qubits.
The following presents a simplified summary of one or more aspects to provide a basic understanding of such aspects. This summary is not an extensive overview of all contemplated aspects and is intended to neither identify key or critical elements of all aspects nor delineate the scope of any or all aspects. Its sole purpose is to present some concepts of one or more aspects in a simplified form as a prelude to the more detailed description that is presented later.
This disclosure describes various aspects of methods and systems that use computational symmetries to reduce error accumulation in next-generation quantum architectures, including architectures used for QIP systems that handle operations based on atomic-based qubits and/or solid-state-based qubits.
To the accomplishment of the foregoing and related ends, the one or more aspects comprise the features hereinafter fully described and particularly pointed out in the claims. The following description and the annexed drawings set forth in detail certain illustrative features of the one or more aspects. These features are indicative, however, of but a few of the various ways in which the principles of various aspects may be employed, and this description is intended to include all such aspects and their equivalents.
The disclosed aspects will hereinafter be described in conjunction with the appended drawings, provided to illustrate and not to limit the disclosed aspects, wherein like designations denote like elements, and in which.
The present disclosure recognizes and addressed the issue of error mitigation in quantum computers (QCs). Searching for the best implementation of quantum computation on a physical qubit architecture can present some challenges. Rather than doing so, this disclosure proposes to simultaneously use multiple circuit implementations and/or circuit variations (both collectively referred to as “execution variants”) with subsequent aggregation of measured results. This approach promises powerful noise-cancellation and can handle some systematic inaccuracies in quantum circuits but compared to error-correction, this approach uses temporal rather than wide-circuit redundancy. Empirical results demonstrate a performance boost for an ion-trap quantum computer as well as scalable benefits in simulation.
Aspects of the present disclosure, individually or in combination, permit enhancing the performance of quantum computers with high-quality qubits by implementing an error-mitigation approach based on symmetries of computation and nonlinear aggregation. To avoid qubit-level overhead and gate-level overhead, the error-mitigation approach of the present disclosure can distinguish an ideal quantum computation by its invariance under certain symmetries that arise at multiple levels of physical implementation. Such symmetries are referred to as symmetries of computation or computational symmetries. Computational symmetries include computation-specific symmetries that pertain to the particular quantum computation being carried out. Aspects of the present disclosure can first use computational symmetries (e.g., computation-specific symmetries) to generate variant circuit implementations. Such variants can be executed on one or multiple QCs. Collected measurement data (e.g., measurement statistics) can then be aggregated via linear techniques or nonlinear techniques. As a result of such an aggregation, symmetrized effects of deterministic inaccuracies can largely cancel out while random noise does not get amplified.
The error-mitigation approach in accordance with this disclosure provides a tangible improvement to the technological field of quantum information processing (QIP). Indeed, on a commercial trapped-ion quantum computer, the implementation of the error-mitigation approach of this disclosure can improve performance of multiple practical quantum algorithms by a factor of about 100 without qubit overhead and/or gate overhead. More specifically, the error-mitigation approach of this disclosure has been validated on a commercial QC for quantum algorithms of practical interest. For quantum machine-learning (QML) circuits, linear aggregation can improve performance by factors of 1.5 to 2. Nonlinear aggregation by voting can provide much greater gains, in some cases. For a 15-qubit quantum Fourier transform (QFT) adder circuit with voting, aspects of this disclosure provide a performance gain of approximately 100 times over computations without such an aggregation, without distortion.
Further, the error-mitigation approach in accordance with this disclosure can be applicable to multiple types of QIPs and qubit technologies, and is compatible with existing error-mitigation strategies. While various aspects of the error-mitigation approach are described with reference to a QIP system based on trapped-atom qubits, the disclosure is not limited in that respect. Indeed, the error-mitigation approach in accordance with this disclosure can be used in other types of QIP systems based on solid-state qubits. Additionally, while described with reference to qubits, the error-mitigation approach of this disclosure can in some cases be implemented for other types of quantum devices, such as qudit devices.
Solutions to the issues described above are explained in more detail in connection with
In the example shown in
Shown in
The QIP system 200 may include an algorithms component 210 that may operate with other parts of the QIP system 200 to perform quantum algorithms or quantum operations, including a stack or sequence of combinations of single qubit operations and/or multi-qubit operations (e.g., two-qubit operations) as well as extended quantum computations. As such, the algorithms component 210 may provide instructions to various components of the QIP system 200 (e.g., to the optical and trap controller 220) to enable the implementation of the quantum algorithms or quantum operations. The algorithms component 210 may receive information resulting from the implementation of the quantum algorithms or quantum operations and may process the information and/or transfer the information to another component of the QIP system 200 or to another device for further processing.
The QIP system 200 may include an optical and trap controller 220 that controls various aspects of a trap 270 in a chamber 250, including the generation of signals to control the trap 270, and controls the operation of lasers and optical systems that provide optical beams that interact with the atoms or ions in the trap. When used to confine or trap ions, the trap 270 may be referred to as an ion trap. The trap 270, however, may also be used to trap neutral atoms, Rydberg atoms, different atomic ions or different species of atomic ions. The lasers and optical systems can be at least partially located in the optical and trap controller 220 and/or in the chamber 250. For example, optical systems within the chamber 250 may refer to optical components or optical assemblies.
The QIP system 200 may include an imaging system 230. The imaging system 230 may include a high-resolution imager (e.g., CCD camera) or other type of detection device (e.g., photomultiplier tube or PMT) for monitoring the atomic ions while they are being provided to the trap 270 and/or after they have been provided to the trap 270. In an aspect, the imaging system 230 can be implemented separate from the optical and trap controller 220, however, the use of fluorescence to detect, identify, and label atomic ions using image processing algorithms may need to be coordinated with the optical and trap controller 220.
In addition to the components described above, the QIP system 200 can include a source 260 that provides atomic species (e.g., a plume or flux of neutral atoms) to the chamber 250 having the trap 270. When atomic ions are the basis of the quantum operations, that trap 270 confines the atomic species once ionized (e.g., photoionized). The trap 270 may be part of a processor or processing portion of the QIP system 200. That is, the trap 270 may be considered at the core of the processing operations of the QIP system 200 since it holds the atomic-based qubits that are used to perform the quantum operations or simulations. At least a portion of the source 260 may be implemented separate from the chamber 250.
It is to be understood that the various components of the QIP system 200 described in
Aspects of this disclosure may be implemented at least partially using the general controller 205, the automation and calibration controller 280, and/or the algorithms component 210.
Referring now to
The computer device 300 may include a processor 310 for carrying out processing functions associated with one or more of the features described herein. The processor 310 may include a single or multiple set of processors or multi-core processors. Moreover, the processor 310 may be implemented as an integrated processing system and/or a distributed processing system. The processor 310 may include one or more central processing units (CPUs) 310a, one or more graphics processing units (GPUs) 310b, one or more quantum processing units (QPUs) 310c, one or more intelligence processing units (IPUs) 310d (e.g., artificial intelligence or AI processors), or a combination of some or all those types of processors. In one aspect, the processor 310 may refer to a general processor of the computer device 300, which may also include additional processors 310 to perform more specific functions (e.g., including functions to control the operation of the computer device 300).
The computer device 300 may include a memory 320 for storing instructions executable by the processor 310 to carry out operations. The memory 320 may also store data for processing by the processor 310 and/or data resulting from processing by the processor 310. In an implementation, for example, the memory 320 may correspond to a computer-readable storage medium that stores code or instructions to perform one or more functions or operations. Just like the processor 310, the memory 320 may refer to a general memory of the computer device 300, which may also include additional memories 320 to store instructions and/or data for more specific functions.
It is to be understood that the processor 310 and the memory 320 may be used in connection with different operations including but not limited to computations, calculations, simulations, controls, calibrations, system management, and other operations of the computer device 300, including any methods or processes described herein.
Further, the computer device 300 may include a communications component 330 that provides for establishing and maintaining communications with one or more parties utilizing hardware, software, and services. The communications component 330 may also be used to carry communications between components on the computer device 300, as well as between the computer device 300 and external devices, such as devices located across a communications network and/or devices serially or locally connected to computer device 300. For example, the communications component 330 may include one or more buses, and may further include transmit chain components and receive chain components associated with a transmitter and receiver, respectively, operable for interfacing with external devices. The communications component 330 may be used to receive updated information for the operation or functionality of the computer device 300.
Additionally, the computer device 300 may include a data store 340, which can be any suitable combination of hardware and/or software, which provides for mass storage of information, databases, and programs employed in connection with the operation of the computer device 300 and/or any methods or processes described herein. For example, the data store 340 may be a data repository for operating system 360 (e.g., classical OS, or quantum OS, or both). In one implementation, the data store 340 may include the memory 320. In an implementation, the processor 310 may execute the operating system 360 and/or applications or programs, and the memory 320 or the data store 340 may store them.
The computer device 300 may also include a user interface component 350 configured to receive inputs from a user of the computer device 300 and further configured to generate outputs for presentation to the user or to provide to a different system (directly or indirectly). The user interface component 350 may include one or more input devices, including but not limited to a keyboard, a number pad, a mouse, a touch-sensitive display, a digitizer, a navigation key, a function key, a microphone, a voice recognition component, any other mechanism capable of receiving an input from a user, or any combination thereof. Further, the user interface component 350 may include one or more output devices, including but not limited to a display, a speaker, a haptic feedback mechanism, a printer, any other mechanism capable of presenting an output to a user, or any combination thereof. In an implementation, the user interface component 350 may transmit and/or receive messages corresponding to the operation of the operating system 360. When the computer device 300 is implemented as part of a cloud-based infrastructure solution, the user interface component 350 may be used to allow a user of the cloud-based infrastructure solution to remotely interact with the computer device 300.
The control subsystem 410 can be functionally coupled to quantum hardware 420 via multiple links 414 that permits the exchange of data and/or controls signal between the control subsystem 410 and the quantum hardware 420. The quantum hardware 420 can embody, or can include, one or more quantum computers. In some cases, the quantum hardware 420 embodies a cloud-based quantum computer. In other cases, the quantum hardware 420 embodies, or includes, a local quantum computer. Regardless of its spatial footprint, the quantum hardware 420 includes multiple qubits 430 arranged in a particular layout. Each qubit of the qubits 430 can be coupled to an environment and/or to one another. Such coupling(s) decoheres and relaxes quantum information contained in the qubit. Thus, the quantum hardware 420 can be noisy. The type of the multiple links can be based on the type of qubits 430 used by the quantum hardware 420 for computation. In some cases, the multiple links 414 can include wireline links or optical links, or a combination of both. In other cases, the multiple links 414 can include microwave resonator devices or microwave transmission lines, or a combination of both.
The qubits 430 can include atomic qubits assembled in an atom-trap. Thus, the atomic qubits can be referred to as trapped-atom qubits. In some cases, each one of the atomic qubits can be a neutral atom. In other cases, each one of the atomic qubits can be an ion, such as an Ytterbium ion, a calcium ion, or similar ions. The atomic-qubits in such cases can be confined within an ion-trap (e.g., the trap 270 (
The control subsystem 410 can cause the quantum hardware 420 to execute each one of multiple execution variants. Such variants are illustrated as single-open-head arrows in
The control subsystem 410 also can be functionally coupled to a post-processing subsystem 450 via a communication architecture 440. The communication architecture 440 can include wirelines links, wireless links, network devices (such as gateway devices, servers, and the like), or a combination thereof. The post-processing subsystem 450 can apply one or several post-processing techniques to measurement data 418 received from the quantum hardware 420. By applying such techniques, the post-processing subsystem 450 can generate a result 454 of a quantum computation executed by the quantum hardware. The post-processing subsystem 450 can send the result 454 (or data indicative of the result 454) to the computing 402 and/or other computing device(s) 458. The post-processing subsystem 450 also can cause the computing device 402 to present the result 454 in a particular way. For example, the post-processing subsystem 450 can direct the computing device 402 to present a user interface including the result 454.
To address noise and other types of errors (e.g., computational error and miscalibration) in the quantum hardware 420, rather than implementing an error-correction approach, the example QIP system 400 can apply various symmetrization strategies via the error-mitigation subsystem formed by at least the control subsystem 410 and the post-processing subsystem 450. Even without hardware improvement, the symmetrization strategy in accordance with aspects of this disclosure can improve performance of a QC because systematic errors vary between certain symmetric implementations. As is used herein, “symmetrization” refers to the process of creating variant implementations of quantum computation on specific hardware, so as to diminish errors and improve QC performance.
To implement a symmetrization strategy, in some aspects, a set of n-qubit computations n, each including state initialization, some operator from SU (2n), and final measurements. Let n be a set of realizations (of all quantum computations in n) that represent gate-level quantum circuits with qubit assignment, initialization, measurements, postprocessing, and possibly implementation details such as pulse sequences specified. A function π: n→n finds the computation u performed by a given concrete realization r. The realization r is an execution variant. The realization r is an execution variant. That is, the realization r is particular realization of a quantum algorithm, including the quantum algorithm's gate-level quantum circuit with qubit assignment, initialization, measurements, postprocessing, and possibly implementation details (such as pulse sequences). The general symmetries of n, denoted Γ(n) can be defined as the set of functions γ: n→n that satisfy
π○γ=π. (1)
That is, γϵΓ(n) if and only if for all rϵn, whenever π(r)=u, π(γ(r))=u. In other words, applying γ to any realization can produce the same quantum computation. Further, computation-specific symmetries, Γ(n, r), can be defined as the set of functions γ: n→n that satisfy π(γ(r))=π(r) for a particular realization r. For example, general symmetries could be conjugations (in group-action sense) of gate-level circuits by qubit permutations. Namely, the initial state is replaced by its permutation, the gates are applied on permuted qubits, and the measurement results are permuted back. Examples of computation-specific symmetries are gate decompositions, permutations of commuting gates, the addition of gates that preserve a given state (e.g., before measurement), and changes of gates and measurements compensated by changes in postprocessing. In cases where n specifies pulse sequences, symmetries can replace them with physically equivalent ones.
Without intended to be bound by theory and/or modeling, by distributing a quantum computation (e.g., an n-qubit computation) over multiple computation-specific symmetries, the effect of control inaccuracies can be cancelled out, at least partially, without amplification of random errors. The example QIP system 400 can implement the error-mitigation technique described herein by implementing various stages including, for example:
Using all possible symmetries for a given quantum computation is impractical. Accordingly, the example QIP system 400 (
With respect to the sampling or selection of computation-specific symmetries, uniformly random selection provides a computationally scalable sampling method in that the memory of all previously selected symmetries is not necessary to select the next symmetry γ. Because k uniformly random symmetries produce a uniformly random set of δhγ, δhγΓ∝1/√k. Selecting dissimilar symmetries can reduce the expectation δhγ, similar to how low-discrepancy sequences improve upon random samples. To avoid specializing symmetry selection to each individual computation, the example QIP system 400 (
Additionally, the example QIP system 400 (
Aggregation by componentwise averaging is stable for measurement statistics of any type. As is described herein, applying componentwise averaging can provide a factor of 2 in fidelity improvement for QML and VQE algorithms which produce few low-frequency outputs.
In addition, or in other implementations, the aggregation process includes plurality voting. To apply such an aggregation process, measurement data indicative of computation output for each circuit variant defines a set of bitstrings, one bitstring per shot. Since each variant has the same number of shots, each shot can be represented by the same number of variant bitstrings (see
By applying plurality voting, a performance improvement of up to 100 times on a 20-qubit commercial QC based on trapped-atom qubits can be attained. Without intending to be bound by theory and/or simulation, due to the nonlinearity of voting, plurality voting can be a stable aggregation strategy for ideal output probabilities with l equally probable outputs and r−l zero frequencies. That is, plurality voting can be stable for this measurement statistics having at least one zero-frequency output where the output result is encoded in a small set of target output states. Whether or not the set of target output state is small is dictated by the size of Hilbert space associated with qubits involved in a quantum computation and number of measurements. For example, for a circuit on a 20-qubit QC, a set of 16 target output states is a small set. Yet, that same set would not be small for a circuit on four qubits, given that 16 target output states span the entire Hilbert space for the four qubits. Relevant quantum circuits include QFT-based adders, phase and amplitude estimation algorithms, some Monte Carlo algorithms, for example.
With respect to aggregation, it is noted that runtime and memory complexity can depend on the number of observed output states rather than the number of all possible states. For componentwise averaging, the postprocessing involved in the aggregation includes the simple or weighted merger of output counts (zero frequencies are implicit). Plurality voting can be performed in small groups of outputs and, thus, the post-processing that is involved does not require significant memory. For example, memory usage does not exceed the size of all measured data plus the output result.
The control subsystem 410, the post-processing subsystem 450, and the communication architecture 440 can include one or multiple computing devices that can form an error-mitigation subsystem. The error-mitigation subsystem can include various computing resources that permit hosting and executing one or more modules for causing the execution of the quantum program 404 in the quantum hardware 420, via the qubits 430. in accordance with aspects of this disclosure.
Simply as an illustration, the error-mitigation subsystem 500 can implement symmetrization strategies in accordance with aspects of this disclosure. The error-mitigation subsystem 500 can include an ingestion module 510 that can receive the quantum program 404 (
The error-mitigation subsystem 500 can include a compilation module 520 that can compile the quantum program 404. As a result, the compilation module 520 can generate a quantum circuit. To compile the quantum program 404, the compilation module 520 can apply one or several optimizations.
Using the quantum circuit, the error-mitigation subsystem 500 can include a symmetrization module 530 that can generate multiple execution variants (including, in some cases, circuit variants). To that end, the multiple execution variants can apply one or more computation-specific symmetries to the quantum circuit. As is described herein, in some cases, rather than using a complete set of computation-specific symmetries, the symmetrization module 530 can include, or can use, a symmetry selector component 534 that can sample the complete set of computation-specific symmetries. In this way, the symmetry selector component 534 can select (or otherwise identify) at least one computation-specific symmetry from the complete set of computation-specific symmetries. Such a set can include at least one of a qubit assignment, gate decomposition, a permutation of commuting gates, an addition of a gate that preserves a defined state, or a change of one or more gates and measurements compensated by one or more changes in postprocessing.
The error-mitigation subsystem 500 can include, or can be functionally coupled to, a job execution module 540 that can cause the quantum hardware 420 (
The error-mitigation subsystem 500 can include an aggregation module 550 that can determine a result (e.g., the result 454 (
The error-mitigation subsystem 500 can include a report module 560 that can cause a computing device (such as the computing device 402 (
As mentioned, the error-mitigation subsystem 500 can be embodied in, or hosted by, the computing system 580 shown in
The processor(s) 590 can be operatively coupled to the memory 598 via one or several communication interfaces 594, for example. The communication interface(s) 594 can be suitable for the particular arrangement (localized or distributed) of the processor(s) 590. In some embodiments, the communication interface(s) 594 can include one or multiple bus architectures for communication of data and/or control signals. Examples of the bus architectures include Ethernet-based industrial bus, a controller area network (CAN) bus, a Modbus, other types of fieldbus architectures, or the like. In addition, or in other embodiments, the communication interface(s) can include a wireless network and/or a wireline network having respective footprints.
The memory 598 can retain or otherwise store therein machine-accessible components (e.g., computer-readable and/or computer-executable components) and data in accordance with this disclosure. As such, in some embodiments, machine-accessible instructions (e.g., computer-readable and/or computer-executable instructions) embody or otherwise constitute each one of the machine-accessible components within the memory 598. The machine-accessible instructions can be encoded in the memory 598 and can be arranged to form each one of the machine-accessible components. The machine-accessible instructions can be built (e.g., linked and compiled) and retained in computer-executable form within the memory 598 or in one or several other machine-accessible non-transitory storage media. Specifically, as is shown in
The machine-accessible components, individually or in a particular combination, can be accessed and executed by at least one of the processor(s) 590. In response to execution, each one of the machine-accessible components can provide the functionality described herein in connection with using computational symmetries for error mitigation in a quantum computation. Accordingly, execution of the machine-accessible components retained in the memory 598 can cause the error-mitigation subsystem 500 to operate in accordance with aspects described herein. More concretely, at least one of the processor(s) 590 can execute the machine-accessible components to cause the error-mitigation subsystem 500 to use computational symmetries for error-mitigation in quantum computations, in accordance with aspects of this disclosure.
Although not illustrated in
More specifically, first, for each qubit pair of four selected qubit pairs, an execution variant produces a superposition state (|00+|11)/√2 (target qubits are represented by dark grey circles; see panel (a)). For each qubit pair, the output state is recreated and measured five times in the computational basis, as is depicted in panel (b) in
Without intended to be bound by theory and/or modeling, the error-mitigation approach of this disclosure; that is, the symmetrization approach is effective for at least the following reasons. Let inaccurate realizations {tilde over (r)}u be determined by instantaneous parameters of the physical system, such that π({tilde over (r)}u)=u+δu. An example is unitary under-rotations or over-rotations of particular gates.
Further, to mitigate the impact of inaccuracies, γ({tilde over (r)}u) is considered for multiple γϵΓ=Γ(n, ru) so as to symmetrize the error term in π(γ({tilde over (r)}u))=u+δuΓ-inv+δuγ. In the absence of errors, all realizations ru of u implement the same quantum computation. In the presence of errors, symmetrization over multiple γϵΓ is relied upon to produce a quantum computation u+δuΓ-inv+δuγγ. As long as an uncorrelated set of γ is selected, ∥δuγΓ∥«∥δuγ∥Γ, and the cumulative effect of non-Γ-invariant errors is much reduced.
Further, rather than aggregating all π(γ({tilde over (r)}u)), the example QIP system 400 can use the output states produced by π(γ({tilde over (r)}u)) and aggregate their measurement statistics (because coherently adding two quantum states would require additional qubits, for example). The impact of inaccuracies on an ideal distribution huϵ+(2n) may be expressed as hu+δhΓ-inv+δhγ. Aggregating measurement statistics can “enhance the contrast” between the target output states and erroneously observed states. The error terms may cancel out, but more typically they would be uncorrelated. For example, if hu=(0, . . . , 1k, . . . , 02
where ε is the average error on k and Γ is sufficiently large. The probability of output k is no better, but other probabilities (that should ideally be 0) become less pronounced. This decreases the probability that an erroneous output is observed repeatedly by chance and thus can permit finding the desired outputs with fewer samples.
The term δhΓ-inv in Eq. (2) can capture the remaining fully-depolarizing error channel; that is, the effect of incoherent errors. This residual error can be reduced with aggregation techniques such as plurality voting, e.g., for hu with l output states of frequency 1/l if ε<1−l/2n.
Further, as a concrete example, the effect of symmetrization is demonstrated on 4-qubit circuits (on eight trapped-ion qubits) with six two-qubit gates on different qubit pairs and random single-qubit gates mapped to eight ions. Gate miscalibrations are modeled as random under-rotations of multiple two-qubit gates fixed per qubit pair. An average under-rotation across all qubit pairs causing a similar error for all variant is assumed, as is depicted in
In the present disclosure, an aggregation strategy for measurement statistics is a process that combines measurement statics from multiple implementations of the same computation. Without errors, all implementations should produce identical statistics in the limit (with infinite repetition count). An aggregation strategy is considered stable for a given type of statistics if, provided a set of identical statistics of this type, it produces another copy. Aggregation by componentwise averaging is trivially stable for statistics of any type. Yet, aggregation by voting is not. This can be seen for the probability distribution (1−ε, ε) which voting-based aggregation brings closer to (1, 0) for ε<½. Without intending to be bound by conjecture and/or interpretation, what makes aggregation strategies useful is that (i) they coerce arbitrary statistics to statistics of the desired type, (ii) they distill original statistics from multiple erroneous variants of the original. To this end, output probability distributions are analytically characterized for many quantum algorithms including Shor's and Grover's. The choice of aggregation can be determined by the type of output probability distribution of a given quantum algorithm.
For best performance, aggregation by plurality voting can be used for quantum algorithms with ideal measurement statistics comprising l outputs with frequencies 1/l. Such quantum algorithms have zero-frequency outputs and a subset of target outputs that needs to be determined. For quantum algorithms with different measurement statistics, aggregation by averaging can be used instead. By using aggregation by averaging, distortion can be avoided.
The impact of symmetrization and the choice of aggregation strategy is also validated herein experimentally by comparing results of unsymmetrized computations to symmetrized computations with componentwise averaging and plurality voting. Experiments have been performed in a quantum computer configured to utilize 20 individually addressable qubits. More specifically, the quantum computer is a trapped-ion quantum computer that utilizes trapped Ytterbium ions individually addressed by pulses of 355 nm light. These pulses can be engineered to generate a Mølmer-Sørensen entangling gate between ions as well as single qubit rotations/gates. The quantum computer uses 22 such ions as qubits to perform quantum information processing. In this disclosure, the experiments are split into 25 different maps (variants) between physical and computational qubits, running 100 experimental shots on each variant resulting in 2500 total experimental repetitions. For circuits on more than six qubits, permutations on a set of physical qubits were generated. Otherwise, two additional physical qubits were utilized to increase the number of diverse mappings. All variants were measured under similar conditions. To that end, for most of the experiments, computation jobs were executed within one calibration cycle. In situations where execution was not feasible within a single calibration cycle (e.g., due to ion-chain loss), the calibration parameters were carefully replicated.
Quantum computer performance is measured by Hellinger fidelity, defined as a statistical overlap FH=(Σi√{square root over (piqi)})2 between the actual output statistics pi and the ideal result qi is computed via an error-free simulator. The statistical overlap FH ranges from 0 to 1, with 0 capturing probability distributions that do not overlap, and 1 corresponding to a pair of identical distributions. Also known as the Bhattacharyya coefficient, FH is commonly used to measure the discrepancy between probability distributions and is consistent with the definition of fidelity for quantum states.
The impact of symmetrization is demonstrated on a 13-qubit single-output QFT-based adder circuit. In
The effect of symmetrization on performance of other computations also can be evaluated. For example, the effect if symmetrization on performance for several use cases is shown in
More specifically, all jobs had 2500 shots taken with output probability distributions that vary in the number of correct output states with non-zero probability, and thus benefit differently from different aggregation strategies. In chart 910, results for QFT-based adders, phase estimation, and amplitude estimation with a single output state are shown. It can be gleaned that symmetrization with plurality voting (represented by solid circles) significantly increases FH whereas symmetrized computations with componentwise averaging (represented by diamonds) show no improvement. In chart 930, results for amplitude estimation and Monte Carlo sampling circuits, before tracing out the ancillary qubits, are compared. Symmetrization with plurality voting (represented by solid circles) still shows the strongest improvement in FH, but componentwise averaging (represented by diamonds) is also better than no symmetrization (represented by squares) because it evens out errors across the four target states. In chart 950, symmetrization on VQE circuits and QML circuits are compared. Such circuits have broader, irregular output probability distribution, so that symmetrization with componentwise averaging (represented by diamonds) shows the best improvement while symmetrization with plurality voting (represented by circles) can skew the results. Circuits with more peaked output probability distributions may often benefit more from aggregation with plurality voting.
In the first case (see
In some cases, a computing system can implement, at least partially, the example computer-implemented method 1100. The computing system can host the ingestion module 510, the compilation module 520, the symmetrization module 530, the job execution module 540, the aggregation module 550, and the report module 560. The computing system can implement the example method 1100 by executing at least one of such modules. In one example, the computing system can be embodied in, or can constitute, the error-mitigation subsystem 500 in accordance with the various aspects described herein.
At block 1110, the computing system can receive or otherwise obtain, via the ingestion module 510 (
At block 1120, the computing system can generate a quantum circuit by compiling the quantum program.
At block 1130, the computing system can generate multiple execution variants of the quantum circuit by applying one or more symmetries to the quantum circuit. As is described herein, each symmetry of the one or more symmetries can be a computational symmetry (such as a computation-specific symmetry). Thus, in some cases, to generate the multiple execution variants, the computing system can select the one or more symmetries from a set of computation-specific symmetries. Such a set can include at least one of a qubit assignment, gate decomposition, a permutation of commuting gates, an addition of a gate that preserves a defined state, or a change of one or more gates and measurements compensated by one or more changes in post-processing. In some cases, selecting the one or more symmetries can include selecting a first symmetry and a second symmetry from the set of computation-specific symmetries, where the first symmetry and the second symmetry can reduce error correlation between respective resulting execution variants. In one example, the computing system can select a particular symmetry from the set of computation-specific symmetries by executing the symmetry selector 534 (
At block 1140, the computing system can cause quantum hardware (e.g., the quantum hardware 420 (
At block 1150, the computing system can receive measurement data indicative of computation outputs for respective ones of the multiple execution variants. The measurement data include multiple measurement datasets, wherein each measurement dataset is indicative of a computation output of a respective execution variant of the multiple execution variants. The computing system can receive the measurement data via the job execution module 540 (
At block 1160, the computing system can determine a result of the defined quantum computation (e.g., the n-qubit computation) by aggregating the multiple measurement datasets. In this way, as is described herein, errors in the result of the defined computation can be mitigated. The computing system can determine the result in such a fashion via the aggregation module 540 (
At block 1170, the computing system can cause, via the report module 560, for example, a computing device to provide the result. The computing device can be remotely located relative to the computing system. For example, the computing device can be the computing device 402 (
Numerous other aspects emerge from the foregoing detailed description and annexed drawings. Those aspects are represented by the following Clauses.
A Clause 1 includes a computer-implemented method, where the computer-implemented method includes generating a quantum circuit by compiling a quantum program corresponding to a defined quantum computation; generating multiple execution variants of the quantum circuit by applying a first symmetry of one or more symmetries to the quantum circuit; causing quantum hardware to execute each one of the multiple execution variants; receiving multiple measurement datasets indicative of computation outputs for respective ones of the multiple execution variants; and determining a result of the defined quantum computation by aggregating the multiple measurement datasets.
A Clause 2 includes Clause 1 and further includes causing a computing device to provide the result.
A Clause 3 includes any of the preceding Clauses 1 or 2, and further includes selecting the one or more symmetries from a set of computation-specific symmetries corresponding to the defined quantum computation.
A Clause 4 includes any of the preceding Clauses 1 to 3, where the selecting comprises selecting a first symmetry and a second symmetry from the set of computation-specific symmetries, wherein the first symmetry and the second symmetry reduce error correlation between respective resulting execution variants.
A Clause 5 includes any of the preceding Clauses 1 to 4, where the aggregating the multiple measurement datasets includes selecting, based on an output probability distribution corresponding to the defined computation, an aggregation process to combine the multiple measurement datasets; and applying the aggregation process to the multiple measurement datasets.
A Clause 6 includes any of the preceding Clauses 1 to 5, where the aggregation process comprises componentwise averaging.
A Clause 7 includes any of the preceding Clauses 1 to 6, where the multiple measurement datasets define multiple sequences of bitstrings, and wherein applying the componentwise averaging comprises determining, over the multiple sequences of bitstrings, an average number of occurrences for each bitstring in the multiple sequence of bitstrings.
A Clause 8 includes any of the preceding Clauses 1 to 7, where the aggregation process comprises plurality voting.
A Clause 9 includes any of the preceding Clauses 1 to 8, where the multiple measurement datasets define multiple sequences of bitstrings, and wherein applying the plurality voting comprises determining, over the multiple sequences of bitstrings, a particular bitstring exhibiting a number of occurrences that exceeds a defined threshold number.
A Clause 10 includes any of the preceding Clauses 1 to 9, where the set of computation-specific symmetries comprises at least one of a qubit assignment, gate decomposition, a permutation of commuting gates, an addition of a gate that preserves a defined state, or a change of one or more gates and measurements compensated by one or more changes in postprocessing.
A Clause 11 includes a computing system, where the computing system includes at least one processor; and at least one memory devices storing processor-executable instructions that, in response to being executed by the at least one processor, cause the computing system at least to: generate a quantum circuit by compiling a quantum program corresponding to a defined quantum computation; generate multiple execution variants of the quantum circuit by applying a first symmetry of one or more symmetries to the quantum circuit; cause quantum hardware to execute each one of the multiple execution variants; receive multiple measurement datasets indicative of computation outputs for respective ones of the multiple circuit variants; and determine a result of the defined quantum computation by aggregating the multiple measurement datasets.
A Clause 12 includes Clause 11, and also includes the at least one memory device storing further processor-executable instructions that, in response to being executed, further cause the at least one processor to cause a computing device to provide the result.
A Clause 13 includes any of Clause 11 or Clause 12, and also includes the at least one memory device storing further processor-executable instructions that, in response to being executed, further cause the at least one processor to select the one or more symmetries from a set of computation-specific symmetries corresponding to the defined quantum computation.
A Clause 14 includes any of the preceding Clauses 1 to 13, where aggregating the multiple measurement datasets includes selecting, based on an output probability distribution corresponding to the defined computation, an aggregation process to combine the multiple measurement datasets; and applying the aggregation process to the multiple measurement datasets.
A Clause 15 includes any of the preceding Clauses 1 to 14, where the aggregation process comprises one of componentwise averaging or plurality voting.
A Clause 16 includes a quantum information processing (QIP) system, where the QIP system includes: at least one processor; and at least one memory device storing processor-executable instructions that, in response to being executed by the at least one processor, cause the QIP system at least to: generate a quantum circuit by compiling a quantum program corresponding to a defined quantum computation; generate multiple execution variants of the quantum circuit by applying a first symmetry of one or more symmetries to the quantum circuit; cause quantum hardware to execute each one of the multiple execution variants; receive multiple measurement datasets indicative of computation outputs for respective ones of the multiple circuit variants; and determine a result of the defined quantum computation by aggregating the multiple measurement datasets.
A Clause 17 includes Clause 16, and also includes the at least one memory devices storing further processor-executable instructions that, in response to being executed, further cause the at least one processor to cause a computing device to provide the result.
A Clause 18 includes any of Clause 16 or Clause 17, where aggregating the multiple measurement datasets includes selecting, based on an output probability distribution corresponding to the defined computation, an aggregation process to combine the multiple measurement datasets, the aggregation process comprising one a linear aggregation process or a non-linear aggregation process; and applying the aggregation process to the multiple measurement datasets.
A Clause 19 includes any of the preceding Clause 16 to 18, where the quantum hardware comprises multiple trapped-atom qubits individually addressable by a continuous-wave laser beam.
A Clause 20 includes any of the preceding Clause 16 to 19, where the quantum hardware comprises multiple superconducting qubits individually addressable by microwave electromagnetic radiation.
Various aspects of the disclosure may take the form of an entirely or partially hardware aspect, an entirely or partially software aspect, or a combination of software and hardware. Furthermore, as described herein, various aspects of the disclosure (e.g., systems and methods) may take the form of a computer program product comprising a computer-readable non-transitory storage medium having computer-accessible instructions (e.g., computer-readable and/or computer-executable instructions) such as computer software, encoded or otherwise embodied in such storage medium. Those instructions can be read or otherwise accessed and executed by one or more processors to perform or permit the performance of the operations described herein. The instructions can be provided in any suitable form, such as source code, compiled code, interpreted code, executable code, static code, dynamic code, assembler code, combinations of the foregoing, and the like. Any suitable computer-readable non-transitory storage medium may be utilized to form the computer program product. For instance, the computer-readable medium may include any tangible non-transitory medium for storing information in a form readable or otherwise accessible by one or more computers or processor(s) functionally coupled thereto. Non-transitory storage media can include read-only memory (ROM); random access memory (RAM); magnetic disk storage media; optical storage media; flash memory, and so forth.
Aspects of this disclosure are described herein with reference to block diagrams and flowchart illustrations of methods, systems, apparatuses, and computer program products. It can be understood that each block of the block diagrams and flowchart illustrations, and combinations of blocks in the block diagrams and flowchart illustrations, respectively, can be implemented by computer-accessible instructions. In certain implementations, the computer-accessible instructions may be loaded or otherwise incorporated into a general-purpose computer, a special-purpose computer, or another programmable information processing apparatus to produce a particular machine, such that the operations or functions specified in the flowchart block or blocks can be implemented in response to execution at the computer or processing apparatus.
Unless otherwise expressly stated, it is in no way intended that any protocol, procedure, process, or method set forth herein be construed as requiring that its acts or steps be performed in a specific order. Accordingly, where a process or method claim does not actually recite an order to be followed by its acts or steps, or it is not otherwise specifically recited in the claims or descriptions of the subject disclosure that the steps are to be limited to a specific order, it is in no way intended that an order be inferred, in any respect. This holds for any possible non-express basis for interpretation, including: matters of logic with respect to the arrangement of steps or operational flow; plain meaning derived from grammatical organization or punctuation; the number or type of aspects described in the specification or annexed drawings; or the like.
As used in this disclosure, including the annexed drawings, the terms “component,” “module,” “system,” and the like are intended to refer to a computer-related entity or an entity related to an apparatus with one or more specific functionalities. The entity can be either hardware, a combination of hardware and software, software, or software in execution. One or more of such entities are also referred to as “functional elements.” As an example, a component can be a process running on a processor, a processor, an object, an executable, a thread of execution, a program, and/or a computer. For example, both an application running on a server or network controller, and the server or network controller can be a component. One or more components can reside within a process and/or thread of execution and a component can be localized on one computer and/or distributed between two or more computers. Also, these components can execute from various computer readable media having various data structures stored thereon. The components can communicate via local and/or remote processes such as in accordance with a signal having one or more data packets (e.g., data from one component interacting with another component in a local system, distributed system, and/or across a network such as the Internet with other systems via the signal). As another example, a component can be an apparatus with specific functionality provided by mechanical parts operated by electric or electronic circuitry, which parts can be controlled or otherwise operated by program code executed by a processor. As yet another example, a component can be an apparatus that provides specific functionality through electronic components without mechanical parts, the electronic components can include a processor to execute program code that provides, at least partially, the functionality of the electronic components. As still another example, interface(s) can include I/O components or Application Programming Interface (API) components. While the foregoing examples are directed to aspects of a component, the exemplified aspects or features also apply to a system, module, and similar.
In addition, the term “or” is intended to mean an inclusive “or” rather than an exclusive “or.” That is, unless specified otherwise, or clear from context, “X employs A or B” is intended to mean any of the natural inclusive permutations. That is, if X employs A; X employs B; or X employs both A and B, then “X employs A or B” is satisfied under any of the foregoing instances. Moreover, articles “a” and “an” as used in this specification and annexed drawings should be construed to mean “one or more” unless specified otherwise or clear from context to be directed to a singular form.
In addition, the terms “example” and “such as” are utilized herein to mean serving as an instance or illustration. Any aspect or design described herein as an “example” or referred to in connection with a “such as” clause is not necessarily to be construed as preferred or advantageous over other aspects or designs described herein. Rather, use of the terms “example” or “such as” is intended to present concepts in a concrete fashion. The terms “first,” “second,” “third,” and so forth, as used in the claims and description, unless otherwise clear by context, is for clarity only and doesn't necessarily indicate or imply any order in time or space.
The term “processor,” as utilized in this disclosure, can refer to any computing processing unit or device comprising processing circuitry that can operate on data and/or signaling. A computing processing unit or device can include, for example, single-core processors; single-processors with software multithread execution capability; multi-core processors; multi-core processors with software multithread execution capability; multi-core processors with hardware multithread technology; parallel platforms; and parallel platforms with distributed shared memory. Additionally, a processor can include an integrated circuit, an application specific integrated circuit (ASIC), a digital signal processor (DSP), a field programmable gate array (FPGA), a programmable logic controller (PLC), a complex programmable logic device (CPLD), a discrete gate or transistor logic, discrete hardware components, or any combination thereof designed to perform the functions described herein. In some cases, processors can exploit nano-scale architectures, such as molecular and quantum-dot based transistors, switches and gates, in order to optimize space usage or enhance performance of user equipment. A processor may also be implemented as a combination of computing processing units.
In addition, terms such as “store,” “data store,” data storage,” “database,” and substantially any other information storage component relevant to operation and functionality of a component, refer to “memory components,” or entities embodied in a “memory” or components comprising the memory. It will be appreciated that the memory components described herein can be either volatile memory or nonvolatile memory, or can include both volatile and nonvolatile memory. Moreover, a memory component can be removable or affixed to a functional element (e.g., device, server).
Simply as an illustration, nonvolatile memory can include read only memory (ROM), programmable ROM (PROM), electrically programmable ROM (EPROM), electrically erasable ROM (EEPROM), or flash memory. Volatile memory can include random access memory (RAM), which acts as external cache memory. By way of illustration and not limitation, RAM is available in many forms such as synchronous RAM (SRAM), dynamic RAM (DRAM), synchronous DRAM (SDRAM), double data rate SDRAM (DDR SDRAM), enhanced SDRAM (ESDRAM), Synchlink DRAM (SLDRAM), and direct Rambus RAM (DRRAM). Additionally, the disclosed memory components of systems or methods herein are intended to comprise, without being limited to comprising, these and any other suitable types of memory.
Various aspects described herein can be implemented as a method, apparatus, or article of manufacture using standard programming and/or engineering techniques. In addition, various of the aspects disclosed herein also can be implemented by means of program modules or other types of computer program instructions stored in a memory device and executed by a processor, or other combination of hardware and software, or hardware and firmware. Such program modules or computer program instructions can be loaded onto a general-purpose computer, a special-purpose computer, or another type of programmable data processing apparatus to produce a machine, such that the instructions which execute on the computer or other programmable data processing apparatus create a means for implementing the functionality of disclosed herein.
The term “article of manufacture” as used herein is intended to encompass a computer program accessible from any computer-readable device, carrier, or media. For example, computer readable media can include but are not limited to magnetic storage devices (e.g., hard drive disk, floppy disk, magnetic strips, or similar), optical discs (e.g., compact disc (CD), digital versatile disc (DVD), blu-ray disc (BD), or similar), smart cards, and flash memory devices (e.g., card, stick, key drive, or similar).
The detailed description set forth herein in connection with the annexed figures is intended as a description of various configurations or implementations and is not intended to represent the only configurations or implementations in which the concepts described herein may be practiced. The detailed description includes specific details for the purpose of providing a thorough understanding of various concepts. However, it will be apparent to those skilled in the art that these concepts may be practiced without these specific details or with variations of these specific details. In some instances, well-known components are shown in block diagram form, while some blocks may be representative of one or more well-known components.
The previous description of the disclosure is provided to enable a person skilled in the art to make or use the disclosure. Various modifications to the disclosure will be readily apparent to those skilled in the art, and the common principles defined herein may be applied to other variations without departing from the scope of the disclosure. Furthermore, although elements of the described aspects may be described or claimed in the singular, the plural is contemplated unless limitation to the singular is explicitly stated. Additionally, all or a portion of any aspect may be utilized with all or a portion of any other aspect, unless stated otherwise. Thus, the disclosure is not to be limited to the examples and designs described herein but is to be accorded the widest scope consistent with the principles and novel features disclosed herein.
This application claims the benefit of and priority to U.S. Provisional Patent Application No. 63/387,224, filed Dec. 13, 2022, and U.S. Provisional Patent Application No. 63/312,205, filed Feb. 21, 2022, the contents of which applications are hereby incorporated by reference herein in their entireties.
Number | Date | Country | |
---|---|---|---|
63387224 | Dec 2022 | US | |
63312205 | Feb 2022 | US |