WO2021011412A1 - Systems and methods for simulating a quantum processor - Google Patents
Systems and methods for simulating a quantum processor Download PDFInfo
- Publication number
- WO2021011412A1 WO2021011412A1 PCT/US2020/041703 US2020041703W WO2021011412A1 WO 2021011412 A1 WO2021011412 A1 WO 2021011412A1 US 2020041703 W US2020041703 W US 2020041703W WO 2021011412 A1 WO2021011412 A1 WO 2021011412A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- processor
- representation
- digital
- waveform
- quantum processor
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
- G06N10/20—Models of quantum computing, e.g. quantum circuits or universal quantum computers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
- G06N10/80—Quantum programming, e.g. interfaces, languages or software-development kits for creating or handling programs capable of running on quantum computers; Platforms for simulating or accessing quantum computers, e.g. cloud-based quantum computing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06J—HYBRID COMPUTING ARRANGEMENTS
- G06J3/00—Systems for conjoint operation of complete digital and complete analogue computers
Definitions
- a common problem Hamiltonian includes a first component proportional to diagonal single qubit terms and a second component proportional to diagonal multiqubit terms, and may be of the following form:
- a device connectivity representation is generated manually from the intent of a design and the correctness of the device connectivity representation is validated by testing processor structures after fabrication.
- manual validation methods are time-consuming and highly susceptible to errors.
- manual validation methods require fabricated processors which are expensive and unsuitable for design verification.
- Quantum processor calibration can involve calibration rules that are used for dependency resolution and to track progress.
- calibration rules require describing and validating relationships between programmable devices, device connectivity, and bias mechanisms.
- One approach is to generate a suitable representation of such data and quantities is to devise a data structure for each calibration rule independently.
- designing a suitable data structure for each calibration algorithm is time-consuming, especially if there is significant overlap in requirements for a set of calibration algorithms.
- designing a suitable persistence and version control mechanism for each calibration algorithm is time- consuming, inefficient, and error prone.
- Aspect 4 The method of aspect 1 wherein identifying a subset of the set of channels in the device connectivity representation includes identifying a subset of the set of channels representing a subset of the set of programmable devices communicatively coupled to a subset of the set of control lines in the quantum processor topology.
- a method of simulating a quantum processor including a set of programmable devices communicatively coupled to a set of control lines, each one of the set of control lines operable to apply a bias to at least one of the set of programmable devices, the method executed by a digital processor, may be summarized as comprising: generating a digital waveform representation; decomposing the digital waveform representation into a set of waveform values based on a device connectivity representation comprising a set of channels; identifying a subset of the set of channels in the device connectivity representation; selecting a subset of the set of waveform values corresponding to the subset of the set of channels; setting a plurality of physical parameter values characterizing at least one of the set of programmable devices of the quantum processor; and computing a response via a representation model.
- Aspect 23 The method of aspect 15 wherein computing a response via a representation model includes computing a response based on the plurality of physical parameter values and the subset of the set of waveform values.
- Aspect 24 The method of aspect 15 wherein computing a response via a representation model includes computing a set of output values.
- Aspect 25. The method of aspect 15 may further comprise: converting the response into a classical state.
- a method of extracting a device object model from an integrated circuit layout may be summarized as comprising autonomously by the digital processor: extracting a device schematic from a design schematic; extracting device connectivity data from the device schematic; writing the device connectivity data to a device connectivity representation; extracting a set of biases from the device connectivity data; and writing the set of biases to the device connectivity representation.
- Aspect 30 The method of aspect 28 wherein extracting a device schematic from a design schematic includes extracting a device schematic corresponding to a directed acyclic graph.
- the method of aspect 30 wherein extracting a device schematic corresponding to a directed acyclic graph includes extracting a device schematic comprising at least one atomic device node corresponding to a directed acyclic graph.
- the method of aspect 28 wherein extracting the device connectivity data includes extracting at least one of: a device specification, a property annotation, and at least one neighboring device connection.
- Aspect 40 The method of aspect 37 wherein identifying a set of rules includes identifying a set of rules checking a number of control devices.
- waveform 112 follows a sequence illustrated by the dashed arrows in Figure 1. If a problem is to be solved on digital processor 102, waveform 1 12 follows a sequence illustrated by the solid arrows in Figure 1. The sequence illustrated by the solid arrows is described immediately below.
- Digital processor 102 uses representation model 126 to compute a response in the form of a set of output values 130 based on physical parameter values 114 and waveform values 120.
- representation model 126 characterizes or represents a respective response of an individual programmable device 118.
- representation model 126 characterizes a response of multiple programmable devices 118.
- Annealing parameters of a programmable device can be derived from output values 130.
- Annealing parameters can provide information about energy scales of quantum processor 106. For example, annealing parameters such as a tunneling energy and a persistent current of a qubit can be derived from output values 130.
- quantum processor 106 is a theoretical quantum processor or a quantum processor design. In some
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Condensed Matter Physics & Semiconductors (AREA)
- Computational Mathematics (AREA)
- Artificial Intelligence (AREA)
- Data Mining & Analysis (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Geometry (AREA)
- Tests Of Electronic Circuits (AREA)
- Superconductor Devices And Manufacturing Methods Thereof (AREA)
Abstract
A digital processor simulates a quantum computing system by implementing a QPU model including a set of representation models and a device connectivity representation to simulate a quantum processor design or a physical quantum processor. The digital processor receives an analog waveform and generates a digital waveform representation comprising a set of waveform values that correspond to biases applied to programmable devices in a quantum processor. The digital processor selects a subset of waveform values based on channels in the device connectivity representation. The digital processor implements a representation model to compute a response based on the waveform values and a plurality of physical parameter values, the physical parameters characterizing a programmable device in a quantum processor. The device connectivity representation can be generated from a design implementation, validated against a set of rules, and adjusted to change the device connectivity representation until all of the rules are passed.
Description
SYSTEMS AND METHODS FOR SIMULATING A QUANTUM PROCESSOR
FIELD
This disclosure generally relates to systems and methods for simulating a quantum processor. The disclosed systems and techniques can be applied to a digital processor or to a computing system including a digital processor and a quantum processor. The digital processor is operable to generate a digital waveform
representation based on an analog waveform, and compute a response based on a set of waveform values and physical parameter values via a representation model.
Systems and methods for generating and validating the device connectivity representation are also described.
BACKGROUND
Quantum Computation
A quantum computer is a system that makes direct use of at least one quantum-mechanical phenomenon, such as superposition, tunneling, and
entanglement, to perform operations on data. The elements of a quantum computer are qubits. Quantum computers can provide speedup for certain classes of computational problems such as computational problems simulating quantum physics.
Quantum Annealing
Quantum annealing is a computational method that may be used to find a low-energy state of a system, typically preferably the ground state of the system. Similar in concept to classical simulated annealing, the method relies on the underlying principle that natural systems tend towards lower energy states because lower energy states are more stable. Quantum annealing may use quantum effects, such as quantum tunneling, as a source of delocalization to reach an energy minimum more accurately and/or more quickly than classical annealing.
Adiabatic quantum computation may be considered a special case of quantum annealing. In adiabatic quantum computation, ideally, the system begins and
remains in its ground state throughout an adiabatic evolution. Thus, those of skill in the art will appreciate that quantum annealing systems and methods may generally be implemented on an adiabatic quantum computer. Throughout this specification and the appended claims, any reference to quantum annealing is intended to encompass adiabatic quantum computation unless the context requires otherwise.
Quantum annealing uses quantum mechanics as a source of disorder during the annealing process. An objective function, such as an optimization problem, is encoded in a Hamiltonian Hp, and the algorithm introduces quantum effects by adding a disordering Hamiltonian HD that does not commute with Hp. An example case is:
HE <x A(t)HD + B (t)HP
where A(t) and B(t) are time dependent envelope functions. For example, A(t) can change from a large value to substantially zero during the evolution and HE can be thought of as an evolution Hamiltonian. The disorder is slowly removed by removing HD (i.e., by reducing A(t)).
Thus, in quantum annealing, the system starts with an initial
Hamiltonian and evolves through an evolution Hamiltonian to a final“problem” Hamiltonian Hp whose ground state encodes a solution to the problem.
A common problem Hamiltonian includes a first component proportional to diagonal single qubit terms and a second component proportional to diagonal multiqubit terms, and may be of the following form:
where N represents the number of qubits, s[ is the Pauli z-matrix for the ith qubit,
and Jij are dimensionless local fields for the qubits, and couplings between qubits, respectively, and e is some characteristic energy scale for HP .
Here, the s[ and s*s* terms are examples of diagonal terms. The former is a single-qubit term, and the latter a two-qubit term.
Throughout this specification, the terms“problem Hamiltonian” and“final Hamiltonian” are used interchangeably unless the context dictates otherwise. Certain states of the quantum processor are, energetically preferred, or simply preferred by the problem Hamiltonian. These include the ground states but may include excited states.
Hybrid Computing System Comprising a Quantum Processor
A hybrid computing system can include a digital computer communicatively coupled to an analog computer. In some implementations, the analog computer is a quantum computer and the digital computer is a classical computer. A quantum computer can be a gate-model quantum computer or a quantum computer that performs adiabatic quantum computation. The digital computer can include a digital processor that can be used to perform classical digital processing tasks described in the present systems and methods. The digital computer can include at least one system memory which can be used to store various sets of computer- or processor-readable instructions, application programs and/or data.
The quantum computer can include a quantum processor with programmable elements such as qubits, couplers, and other programmable devices. The qubits can be read out via a readout system , and the results communicated to the digital computer. The qubits and the couplers can be characterized by a qubit control system and a coupler control system, respectively. In some implementations, the qubit and the coupler control systems can be used to implement quantum annealing on the analog computer.
A computing system can include a server that takes a problem
Hamiltonian and compiles it into commands that are sent to either a digital processor or an analog processor. It can be advantageous for a system to include more than one server in order to reduce variations in problem solving throughput.
Testing, developing, validating, and calibrating a quantum computing system typically requires a quantum processor that is installed in a cryogenic refrigerator. However, installing the quantum processor can be time and resource intensive, making user-ready quantum processors a limited resource. Furthermore,
quantum processors are typically shared between multiple users. Some users may submit large problems to the quantum processor that are computationally expensive and take a long time to solve, which can further reduce the availability of quantum processors. In some cases, limited quantum processor availability can be a problem when a user needs to develop an experiment that is time-sensitive and other users are using the quantum processor. One approach to addressing this problem is to implement a quantum processor scheduler which allocates time on the quantum processor based on priority. However, it can be impractical to pause or stop problems that are in progress in order to run a different experiment instead. Another approach is to increase the number of quantum processors that are accessible. However, fabrication and installation of quantum processors can be expensive and can be time- consuming. Furthermore, in some cases, the number of programmable parameters may be limited for each device of the quantum processor which can make absolute validation of calibration processes and algorithms difficult.
The limited availability of quantum processors can also reduce the efficiency of processor design. Methods for designing processors can require a design object model that is generated based on a device connectivity representation. A device connectivity representation includes representations of devices in a processor and couplings of devices to one another extracted from a device connectivity data and couplings of devices to global bias lines.
The existence, various properties, biases, and connectivity of devices such as qubits, couplers, and readout devices can be programmatically extracted from a device connectivity representation. Typically, a device connectivity representation is generated manually from the intent of a design and the correctness of the device connectivity representation is validated by testing processor structures after fabrication. However, such manual validation methods are time-consuming and highly susceptible to errors. Additionally, manual validation methods require fabricated processors which are expensive and unsuitable for design verification.
Quantum processor calibration can involve calibration rules that are used for dependency resolution and to track progress. In some cases, calibration rules
require describing and validating relationships between programmable devices, device connectivity, and bias mechanisms. One approach is to generate a suitable representation of such data and quantities is to devise a data structure for each calibration rule independently. However, designing a suitable data structure for each calibration algorithm is time-consuming, especially if there is significant overlap in requirements for a set of calibration algorithms. Furthermore, designing a suitable persistence and version control mechanism for each calibration algorithm is time- consuming, inefficient, and error prone.
Thus, there is a general desire for systems and methods to test an infrastructure of a quantum computing system, develop experiments for
characterization and calibration purposes, and validate design object models associated with processor designs without depending on an available user-ready quantum processor.
The foregoing examples of the related art and limitations related thereto are intended to be illustrative and not exclusive. Other limitations of the related art will become apparent to those of skill in the art upon a reading of the specification and a study of the drawings.
BRIEF SUMMARY
A quantum computing system comprises, in addition to one or more quantum computers and/or digital computer, an infrastructure to aid in building and operating the quantum computing system. A quantum computing infrastructure may comprise servers, device connectivity, software APIs, etc. Typically, to test a quantum computing system infrastructure (e.g., test server capacity, device connectivity validity, software connectivity, etc.), it is beneficial to have an already built quantum processor. Similarly, it is beneficial to have an already built quantum processor to develop experiments for characterization and calibration purposes, and to verify the accuracy and robustness of calibration algorithms. In addition, it is challenging to test design ideas before designing and fabricating actual processors.
A quantum computing system may be shared between users, including users that perform routine calibration and maintenance. Since only one user may be able to access the quantum computing system at a time, it can be inefficient to develop experiments that are time sensitive or that require extensive research. Also, developing and testing calibration processes for future generation of quantum processors may be postponed until a new processor chip is installed in a quantum computing system, incurring in delays in bringing a new quantum computer system in operation.
Therefore, there exists a need for systems and methods to test, develop, and calibrate a quantum computing system and to validate design object models without relying on the availability of a user-ready quantum processor.
A device object model, representing a physical design of a device, can be created by reading a device connectivity representation. The existence, various properties, biases, and connectivity of devices in the processor can be
programmatically extracted from the device connectivity representation. Existing approaches for validating the design object model and/or the device connectivity representation require the associated processor to be fabricated, and validation steps are manual and consequently prone to error. Therefore, there exists a need for systems and methods for generating a device connectivity representation and validating a design object model without requiring fabrication of the associated processor.
Processor calibration can involve a set of calibration rules that require a description of relationships between programmable devices, device connectivity, and bias mechanisms for each calibration instance. Designing a suitable data structure for each calibration rule is time-consuming, especially if there is significant overlap in requirements for calibration rules. Designing a suitable persistence and version control mechanism separately for each calibration rule is time-consuming, inefficient, and error prone. Therefore, there exists a need for a data structure that is suitable to represent a processor in many calibration instances.
Aspect 1. A method of operation of at least one digital processor may be summarized as comprising: generating a digital waveform representation for a set of programmable devices of a quantum processor topology, the quantum processor topology specifying a set of control lines by which biases can be applied to at least one of the set of programmable devices; decomposing the digital waveform representation into a set of waveform values based on a device connectivity representation comprising a set of channels; identifying a subset of the set of channels in the device connectivity representation; selecting a subset of the set of waveform values that correspond to the subset of the set of channels; setting a plurality of physical parameter values characterizing at least one of the set of programmable devices of the quantum processor topology; and computing a response via a representation model.
Aspect 2. The method of aspect 1 wherein generating a digital waveform representation includes generating a digital waveform representation based on an analog waveform received from a server coupled to a quantum processor. Aspect 3. The method of aspect 1 wherein decomposing the digital waveform representation into a set of waveform values includes decomposing the digital waveform representation into a set of waveform values based on the set of channels in the device connectivity representation, the set of channels representing a number of communicative couplings of the set of programmable devices to a set of control lines in the quantum processor topology.
Aspect 4. The method of aspect 1 wherein identifying a subset of the set of channels in the device connectivity representation includes identifying a subset of the set of channels representing a subset of the set of programmable devices
communicatively coupled to a subset of the set of control lines in the quantum processor topology.
Aspect 5. The method of aspect 1 wherein selecting a subset of the set of waveform values corresponding to the subset of the set of channels includes selecting a subset of the set of waveform values that each represent a bias to apply to a respective qubit or coupler in the quantum processor topology.
Aspect 6. The method of aspect 1 wherein setting a plurality of physical parameter values characterizing at least one of the set of programmable devices in the quantum processor topology includes setting a plurality of physical parameter values for at least one of: a critical current, a body inductance, and a capacitance of a programmable device in a quantum processor topology.
Aspect 7. The method of aspect 1 wherein computing a response via a representation model includes computing a response based on the plurality of physical parameter values and the subset of the set of waveform values. Aspect 8. The method of aspect 1 wherein computing a response via a representation model includes computing a set of output values.
Aspect 9. The method of aspect 1 may further comprise converting the response into a classical state.
Aspect 10. The method of aspect 1 may further comprise returning the response to a user.
Aspect 1 1. The method of aspect 1 wherein the quantum processor topology is embodied in at least one physical instance of a physical quantum processor, and generating a digital waveform representation for a set of programmable
devices of a quantum processor topology includes generating the digital waveform representation for the at least one physical instance of the physical quantum processor.
Aspect 12. The method of aspect 1 wherein the quantum processor topology is embodied in at least one non-physical instance of a theoretical quantum processor, and generating a digital waveform representation for a set of programmable devices of a quantum processor topology includes generating the digital waveform representation for the at least one non-physical instance of the theoretical quantum processor. Aspect 13. A system may be summarized as comprising: at least one digital processor; and at least one non-transitory computer-readable storage medium communicatively coupled to the at least one digital processor and that stores processor-executable instructions which, when executed, causes the at least one digital processor to perform the methods of any of the aspects 1 to 12. Aspect 14. The system of aspect 13 may further comprise: at least one server operable to generate a waveform based on a received Hamiltonian that characterizes or represents a problem, the at least one server communicatively coupled to the at least one digital processor to provide the generated waveform thereto and the at least one server communicatively coupled to at least one quantum processor.
Aspect 15. A method of simulating a quantum processor, the quantum processor including a set of programmable devices communicatively coupled to a set of control lines, each one of the set of control lines operable to apply a bias to at least one of the set of programmable devices, the method executed by a digital processor, may be summarized as comprising: generating a digital waveform
representation; decomposing the digital waveform representation into a set of waveform values based on a device connectivity representation comprising a set of channels; identifying a subset of the set of channels in the device connectivity representation; selecting a subset of the set of waveform values corresponding to the subset of the set of channels; setting a plurality of physical parameter values characterizing at least one of the set of programmable devices of the quantum processor; and computing a response via a representation model.
Aspect 16. The method of aspect 15 wherein generating a digital waveform representation includes generating a digital waveform representation based on an analog waveform received from a server coupled to a quantum processor.
Aspect 17. The method of aspect 15 wherein decomposing the digital waveform representation into a set of waveform values includes decomposing the digital waveform representation into a set of waveform values based on the set of channels in the device connectivity representation, the set of channels representing a number of communicative couplings of the set of programmable devices to a set of control lines in a quantum processor.
Aspect 18. The method of aspect 15 wherein identifying a subset of the set of channels in the device connectivity representation includes identifying a subset of the set of channels representing a subset of the set of programmable devices communicatively coupled to a subset of the set of control lines in a quantum processor.
Aspect 19. The method of aspect 15 wherein selecting a subset of the set of waveform values corresponding to the subset of the set of channels includes
selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor.
Aspect 20. The method of aspect 19 wherein selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor includes selecting a subset of the set of waveform values that each represent a bias applied to a qubit in a quantum processor.
Aspect 21. The method of aspect 19 wherein selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor includes selecting a subset of the set of waveform values that each represent a bias applied to a coupler in a quantum processor.
Aspect 22. The method of aspect 15 wherein setting a plurality of physical parameter values characterizing at least one of the set of programmable devices in a quantum processor includes setting a plurality of physical parameter values for at least one of: a critical current, a body inductance, and a capacitance of a programmable device in a quantum processor.
Aspect 23. The method of aspect 15 wherein computing a response via a representation model includes computing a response based on the plurality of physical parameter values and the subset of the set of waveform values. Aspect 24. The method of aspect 15 wherein computing a response via a representation model includes computing a set of output values.
Aspect 25. The method of aspect 15 may further comprise: converting the response into a classical state.
Aspect 26. The method of aspect 150 may further comprise: returning the response to a user. Aspect 27. A system for simulating a quantum processor, the quantum processor including a set of programmable devices communicatively coupled to a set of control lines, each one of the set of control lines operable to apply a bias to one of the set of programmable devices, may be summarized as comprising: a digital processor; and a non-transitory computer-readable storage medium that stores processor-executable instructions which, when executed, causes the digital processor to perform the method of any of the aspects 15 to 26.
Aspect 28. A method of extracting a device object model from an integrated circuit layout, the method executed by a digital processor, may be summarized as comprising autonomously by the digital processor: extracting a device schematic from a design schematic; extracting device connectivity data from the device schematic; writing the device connectivity data to a device connectivity representation; extracting a set of biases from the device connectivity data; and writing the set of biases to the device connectivity representation.
Aspect 29. The method of aspect 28 wherein extracting a device schematic from a design schematic includes extracting a device schematic from a design schematic that is verifiable by a layout-versus-schematic tool.
Aspect 30. The method of aspect 28 wherein extracting a device schematic from a design schematic includes extracting a device schematic corresponding to a directed acyclic graph.
Aspect 31. The method of aspect 30 wherein extracting a device schematic corresponding to a directed acyclic graph includes extracting a device schematic comprising at least one atomic device node corresponding to a directed acyclic graph. Aspect 32. The method of aspect 28 wherein extracting the device connectivity data includes extracting at least one of: a device specification, a property annotation, and at least one neighboring device connection.
Aspect 33. The method of aspect 28 wherein extracting a set of biases from the device connectivity data includes extracting a set of global biases. Aspect 34. The method of aspect 33 wherein extracting a set of global biases includes extracting a set of connections electrically coupling a pad to at least one programmable device.
Aspect 35. The method of aspect 28 may further comprise executing the device connectivity representation to compute a device object model. Aspect 36. A computing system may be summarized as comprising: at least one digital processor; and at least one non-transitory processor-readable storage medium communicatively couplable to the at least one digital processor and that stores at least one of processor-executable instructions which, when executed by the at least one digital processor, causes the at least one digital processor to perform the method of any of the aspects 28 to 35.
Aspect 37. A method of validating a design of an analog processor comprising a set of programmable devices, the method executed by a digital processor, may be comprised autonomously by the digital processor: loading a device connectivity representation based on at least a portion of a design implementation, the
device connectivity representation including a set of properties characterizing at least one programmable device; identifying a set of n rules; iteratively, until the device connectivity representation passes the nth rule: selecting an ith rule of the set of rules, where 1 < i < n; and determining if the device connectivity representation passes or fails the ith rule.
Aspect 38. The method of aspect 37 may further comprise: in response to the determination that the device connectivity representation fails the ith rule, until the device connectivity representation passes the ith rule, repeatedly:
identifying at least one property of the set of properties that fails the ith rule; identifying a portion of the design implementation corresponding to the at least one property that fails the ith rule; and adjusting the design implementation.
Aspect 39. The method of aspect 37 wherein identifying a set of rules includes identifying a set of rules checking a number of programmable devices.
Aspect 40. The method of aspect 37 wherein identifying a set of rules includes identifying a set of rules checking a number of control devices.
Aspect 41. The method of aspect 37 wherein identifying a set of rules includes identifying a set of rules checking a set of device connectivity data properties.
Aspect 42. The method of aspect 37 wherein identifying a set of rules includes identifying a set of rules checking a set of addressing line properties.
Aspect 43. A computing system may be summarized as comprising: at least one digital processor; and at least one non-transitory processor-readable storage medium communicatively couplable to the at least one digital processor and that stores at least one of processor-executable instructions which, when executed by
the at least one digital processor, causes the at least one digital processor to perform the method of any of the aspects 37 to 42.
BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWING(S) In the drawings, identical reference numbers identify similar elements or acts. The sizes and relative positions of elements in the drawings are not necessarily drawn to scale. For example, the shapes of various elements and angles are not necessarily drawn to scale, and some of these elements may be arbitrarily enlarged and positioned to improve drawing legibility. Further, the particular shapes of the elements as drawn, are not necessarily intended to convey any information regarding the actual shape of the particular elements, and may have been solely selected for ease of recognition in the drawings.
Figure 1 is a schematic diagram of an example computing system including a quantum processor and a digital processor in communication with a storage medium that stores instructions associated with a quantum processing unit (QPU) model, in accordance with the present systems and methods.
Figure 2 is a flowchart illustrating a method of simulating a quantum processor, in accordance with the present systems and methods.
Figure 3 is a schematic diagram of an exemplary computing system including a digital computer and an analog computer, in accordance with the present systems and methods.
Figure 4 is a flow diagram of an example method of generating a device connectivity representation by a processor, in accordance with the present systems and methods.
Figure 5 is a flow diagram of an example method of validating a device object model based on a device connectivity representation by a processor, in accordance with the present systems and methods.
Figure 6 is a schematic diagram of an example system of extracting and validating a design object model, in accordance with the present systems and methods.
Figure 7 is a schematic diagram illustrating an example data structure 700 operable to represent a processor in operation.
DETAILED DESCRIPTION
In the following description, certain specific details are set forth in order to provide a thorough understanding of various disclosed implementations. However, one skilled in the relevant art will recognize that implementations may be practiced without one or more of these specific details, or with other methods, components, materials, etc. In other instances, well-known structures associated with computer systems, server computers, and/or communications networks have not been shown or described in detail to avoid unnecessarily obscuring descriptions of the
implementations.
Unless the context requires otherwise, throughout the specification and claims that follow, the word“comprising” is synonymous with“including,” and is inclusive or open-ended ( i. e does not exclude additional, unrecited elements or method acts).
Reference throughout this specification to“one implementation” or“an implementation” means that a particular feature, structure or characteristic described in connection with the implementation is included in at least one implementation. Thus, the appearances of the phrases“in one implementation” or“in an implementation” in various places throughout this specification are not necessarily all referring to the same implementation. Furthermore, the particular features, structures, or characteristics may be combined in any suitable manner in one or more implementations.
As used in this specification and the appended claims, the singular forms“a,”“an,” and“the” include plural referents unless the context clearly dictates
otherwise. It should also be noted that the term“or” is generally employed in its sense including“and/or” unless the context clearly dictates otherwise.
The headings and Abstract of the Disclosure provided herein are for convenience only and do not interpret the scope or meaning of the implementations.
The term‘representation model' is used in this specification and the appended claims to include, for example, numerical or analytical methods,
mathematical models and physical simulations.
The term‘output value' is used in this specification and the appended claims to include, for example, eigenvalues, eigenvectors, output from a look up table, output from a mathematical model, waveforms, etc.
The term‘device connectivity representation' is used in this specification and the appended claims to include, for example, device connectivity files, databases, graphs, etc.
Typically, a quantum processor can allow access to only one user at a time so it can be relatively inefficient for a user to develop experiments that are time sensitive or require extensive research if multiple users require the quantum processor. One approach for addressing this issue is to use a digital processor implementing a quantum processing unit (QPU) model to represent the quantum processor for time sensitive or research-intensive experiments.
QPU Model for Simulating an Existing Physical Quantum Processor
A QPU model comprises a set of representation models that are executable by a digital computer. In some cases, the QPU model can be considered a software infrastructure that is a digital representation of a physical quantum processor. For example, the QPU model can be a digital representation of a physical quantum processor installed in a cryostat and the QPU model can be used to develop testing and calibration algorithms for the physical quantum processor while the physical quantum processor is unavailable. When the physical quantum processor becomes
available, the testing and calibration algorithms developed via the QPU model can be executed on the physical quantum processor.
A physical quantum processor comprises programmable devices, such as qubits and couplers, in the form of superconducting quantum interference devices (SQUIDs). A QPU model can include a set of representation models (e.g., device models) that each characterize a response from a respective device or a combination of devices in the physical quantum processor. Each representation model can digitally represent a respective device in the physical quantum processor. For example, a first representation model can represent a qubit in the physical quantum processor, and a second representation model can represent a coupler in the physical quantum processor. A representation model can digitally represent qubits comprising compound Josephson Junctions (JJs). Examples of qubits in the form of JJ SQUIDs are described in US Patent No. 9,152,923.
QPU Model for Simulating a Quantum Processor Design
In some cases, the QPU model can be considered a software infrastructure that is a digital representation of a theoretical quantum processor (i.e., a quantum processor design that has not yet been fabricated into a physical quantum processor). A QPU model, which is implemented in a digital processor, can be useful for simulating a quantum processor design because a QPU model can circumvent some of the challenges associated with conventional methods for calibrating and testing physical quantum processors.
Conventional calibration techniques require a quantum processor to be fabricated. Variations in programmable devices (e.g., qubits, couplers, etc.) of a physical quantum processor can exist due to fabrication imperfections and can lead to poor results when performing a computation. A typical approach for addressing this is to adjust a set of physical parameters to at least partially homogenize the
programmable devices across the physical quantum processor. Examples of such physical parameters include, but are not limited to, physical inductance, capacitance,
and critical current. However, adjusting these physical parameters in a physical quantum processor can sometimes be difficult. For example, applying a bias to a qubit may be straightforward, while controlling critical current and inductance may be difficult. In such cases where physical parameters are difficult to control, the values for these physical parameters are derived from a response from the quantum processor. However, having these values as outputs rather than controllable inputs can significantly limit capabilities of the quantum processor because controlling these physical parameters is fundamental to proper operation of the quantum processor.
Thus, the aforementioned limitations of a physical quantum processor can render a digital representation of a quantum processor, such as a QPU model, favorable for calibration and design.
From a calibration context, a digital processor implementing a QPU model can be used to simulate an existing physical quantum processor so that calibration algorithms can be executed. For example, the digital processor can simulate a quantum processor that is unavailable because of usage by high-priority experiments. Instead of interrupting an experiment running on the physical quantum processor, the digital processor implementing the QPU model can be used to test the computing infrastructure (e.g., server capacity, device connectivity validation, solver connectivity, etc.) and develop calibration algorithms.
From a design context, using a digital processor implementing a QPU model to design a theoretical processor can be more flexible than using a physical quantum processor. This is because a user can input values for physical parameters into device models included in the QPU model implemented in a digital processor. However, adjusting these physical parameters in a physical quantum processor is difficult. A digital processor implementing a QPU model can allow a user to model a quantum processor design without spending resources to fabricate and test a physical quantum processor. Additionally, the ability to adjust physical parameters in a QPU model can be useful for developing calibration algorithms for future quantum processor designs before they are fabricated. For example, a digital processor implementing a
QPU model can be used to develop algorithms that characterize how device responses are affected by varying physical parameters. Once the relationship is better understood, learnings can be applied to optimize a quantum processor design by, for example, determining specifications and device properties.
The present systems and methods describe a digital processor implementing a QPU model to simulate a quantum processor. The digital processor is coupled to a server that is operable to serve either a digital processor or a quantum processor. The digital processor is operable to receive an analog waveform that is executable on a quantum processor. The digital processor is operable to generate a digital representation of the waveform (referred to herein as the“waveform
representation”) upon receiving the waveform. The waveform representation can be decomposed into a set of waveform values by the digital processor. Each waveform value represents a bias applied to a programmable device in a quantum processor. Waveform values can be in the form of numerical values that are readable by the digital processor. Decomposing the waveform representation into waveform values can be based on a device connectivity representation implemented in the digital processor.
The device connectivity representation can be a rigorously accurate representation of a quantum processor (e.g., an existing physical quantum processor or a quantum processor design) and can include data characterizing the response of programmable devices in a quantum processor. The device connectivity representation can include data describing programmable device specifications and couplings between programmable devices, also referred to as“channels”. For example, the device connectivity representation can include a channel describing a control line for biasing the compound Josephson Junction (CJJ) of a particular qubit.
The digital processor can implement the QPU model to decompose the waveform representation into waveform values based on the device connectivity representation. In one implementation, this can include determining a number of channels in the device connectivity representation which relate to a particular programmable device, select a set of waveform values that correspond to biases
applied to the programmable device, and sending the set of waveform values to a representation model.
The digital processor is operable to set a number of physical parameter values to implement in the representation model. Based on the physical parameter values and the waveform values, the digital processor can implement the
representation model to compute a set of output values characterizing a response. In some cases, values for annealing parameters, including persistent current and tunneling energy, can be derived from the set of output values.
A physical instance of a quantum processor or a design for a physical or even a theoretical quantum processor has an associated topology (e.g., a collection and arrangement of qubits, couplers, programming or biasing interfaces, control lines, and/or readouts (e.g., SQUIDS)) that inherently defines the quantum processor, and based on applied values (e.g., biases) defines the operation of the quantum processor. The quantum processor topology, for example, specifies a set of control lines through which biases can be applied to at least one device of the set of programmable devices.
Figure 1 is a schematic diagram of an example computing system 100 including a digital processor 102 implementing a QPU model 104 to simulate a quantum processor 106. Digital processor 102 is in communication with a non- transitory computer-readable storage medium (not shown in Figure 1 , see Figure 3). System 100 includes a server 108 that is operable to serve digital processor 102 and quantum processor 106. Server 108 is communicatively coupled to both digital processor 102 and quantum processor 106. Server 108 is coupled to quantum processor 106 via a set of input/output (I/O) electronics 110 (e.g., signal conductors, filters, switches, etc.) that are operable to transfer an analog waveform 1 12 to quantum processor 106.
Server 108 may be a hardware-based server or a software-based server executing on a processor-based device. Server 108 is operable to receive a Hamiltonian characterizing or representing a problem (e.g., a problem submitted by a
user), and to generate a waveform 1 12 based on the Hamiltonian. Waveform 112 is executable on quantum processor 106 and is receivable by digital processor 102.
In some cases, waveform 112 is sent to digital processor 102 when quantum processor 106 is unavailable. For example, when quantum processor 106 is unavailable to due to other users, waveform 1 12 is sent to digital processor 102 which is in communication with a non-transitory processor-readable storage medium (e.g., memory circuits, magnetic or optical media) storing processor-executable instructions associated with QPU model 104.
In other cases, waveform 112 is sent to digital processor 102 when a user is interested in simulating a theoretical quantum processor or a quantum processor design. For example, when a user is designing a theoretical quantum processor, it may be desirable to adjust physical parameter values 114 of devices of the theoretical quantum processor, submit a problem to server 108, and observe a response of QPU model 104 in order to optimize the theoretical quantum processor. In such cases, quantum processor 106 of system 100 is a theoretical quantum processor or quantum processor design. Learnings from simulating the theoretical quantum processor with adjusted physical parameter values 114 can be applied to design cycles prior to fabricating a physical quantum processor.
If a problem is to be solved on quantum processor 106, waveform 112 follows a sequence illustrated by the dashed arrows in Figure 1. If a problem is to be solved on digital processor 102, waveform 1 12 follows a sequence illustrated by the solid arrows in Figure 1. The sequence illustrated by the solid arrows is described immediately below.
Waveform 112 is executable on quantum processor 106 and receivable by digital processor 102. Digital processor 102 is in communication with at least one non-transitory storage medium storing processor-executable instructions for implementing QPU model 104. In operation, upon receiving waveform 1 12, digital processor 102 generates a digital waveform representation 116 that characterizes or represents a set of programmable devices 118 of quantum processor 106. Digital
processor 102 decomposes digital waveform representation 116 into a set of waveform values 120a, 120b, 120c (collectively and individually 120). Only three waveform values 120 are shown in Figure 1 for simplicity of illustration; however, a person skilled in art will understand that digital waveform representation 116 may be decomposed into less than or more than three waveform values 120. Waveform values 120 can be a set of numbers that represent biases applied to programmable devices 1 18 of quantum processor 106.
Digital processor 102 is operable to identify the programmable devices 118 being simulated and to implement a device connectivity representation 122.
Device connectivity representation 122 includes a number of channels 124a, 124b, 124c (collectively, 124), each representing a communicative coupling of a
programmable device 118 to a control line for applying a bias or another
programmable device 118. Only three channels 124 are shown in Figure 1 for simplicity of illustration; however, a person skilled in art will understand that device connectivity representation 122 may include less than or more than three channels 124. Device connectivity representation 122 also includes data that characterizes or represents device specification, device connectivity, and biases applied to
programmable devices 118 in quantum processor 106. In some implementations, quantum processor 106 is a quantum processor design (i.e., a theoretical quantum processor). Digital processor 102 is operable to identify a subset of channels 124 in device connectivity representation 122 that control the programmable devices being simulated and is operable to select a corresponding subset of waveform values 120 to send to a representation model 126.
Each waveform value 120 corresponds to a respective one of a set of biases 128 (individually 128a, 128b, 128c) applied to programmable devices 1 18 of quantum processor 106. Only three biases 128 are shown in Figure 1 for simplicity of illustration; however, a person skilled in art will understand that less than or more than three biases 128 may be applied to programmable devices 118. In one
implementation, a waveform value 120a can correspond to a bias 128a that is applied
to a qubit and can correspond to the
terms in a system Hamiltonian. In one implementation, a waveform value 120b can correspond to a bias 128b that is applied to a coupler to set a coupling strength and can correspond to the /ί;· terms in a system Hamiltonian (i.e., a coupling strength of a coupler in a quantum processor).
When instructions associated with QPU model 104 are executed, digital processor 102 sets a number of physical parameter values 114. Physical parameters values 114 include macroscopic (i.e., directly measurable) parameter values that characterize the behavior of a programmable device 118. In some cases, physical parameter values 114 can be adjusted to at least partially homogenize programmable devices 118 across quantum processor 106. Physical parameter values 114 can include values for a critical current, an inductance, a capacitance, or a combination thereof. In one implementation, a physical parameter is a critical current carried by a Josephson junction of a programmable device. In one implementation, a physical parameter value is a value for capacitance across a Josephson junction of a programmable device. In one implementation, a physical parameter value is a value for inductance in a body loop of a programmable device. At least a portion of physical parameter values 114 are derived from the design of quantum processor 106 and programmable devices 118. In some implementations, where quantum processor 106 is a theoretical quantum processor, at least a portion of physical parameter values 114 are defined by an external user.
Digital processor 102 uses representation model 126 to compute a response in the form of a set of output values 130 based on physical parameter values 114 and waveform values 120. In some implementations, representation model 126 characterizes or represents a respective response of an individual programmable device 118. In some implementations, representation model 126 characterizes a response of multiple programmable devices 118. Annealing parameters of a programmable device can be derived from output values 130. Annealing parameters can provide information about energy scales of quantum processor 106. For example, annealing parameters such as a tunneling energy and a persistent current of a qubit
can be derived from output values 130. In some cases, quantum processor 106 is a theoretical quantum processor or a quantum processor design. In some
implementations, digital processor 102 converts output values 130 into a classical state (e.g., +1 or -1 state) and returns the classical state to the user via digital processor 102.
In a example application of system 100 in operation, a user sends a request to server 108 to simulate biasing a programmable device 1 18 named“qubit A” in quantum processor 106 for a calibration experiment. Server 108 generates and sends a waveform 1 12 to digital processor 102. Upon receiving waveform 1 12, digital processor 102 generates a digital waveform representation 116 that characterizes or represents all programmable devices 118 (e.g.,“qubit A”,“qubit B”, etc. ) of quantum processor 106. Digital processor 102 decomposes digital waveform representation 1 16 into a set of waveform values 120 representing biases applied to all programmable devices 118 of quantum processor 106. Device connectivity representation 122 includes a first channel 124a“qubit-cjj-A” representing a bias applied on the CJJ of “qubit A”, a second channel 124b“qubit-fb-A” representing a bias applied on the body loop of“qubit A”, and a third channel 124c“qubit-cjj-B” representing a bias applied on the CJJ of“qubit B”. (It is noted that typically implementations may employ a substantially larger number of channels 124, and three channels is selected here only for convenience of description.) To simulate“qubit A”, digital processor 102 identifies a subset of channels (e.g., channel“qubit-cjj-A” 124a and channel“qubit-fb-A” 124b) representing lines communicatively coupled to“qubit A” in device connectivity representation 122. Digital processor selects a corresponding subset of waveform values 120a, 120b that represent instructions to apply a bias into channel“qubit-cjj-A” and a bias into channel“qubit-fb-A” from waveform values 120. Digital processor 102 uses representation model 126 to calculate a response based on waveform values 120a, 120b and physical parameter values 114.
In some cases, server 108 may send waveform 112 to be executed on quantum processor 106. If the problem is to be solved on quantum processor 106,
waveform 1 12 is operable to follow a sequence illustrated by the dashed arrows in Figure 1.
In an example implementation of the sequence illustrated by the dashed arrows, waveform 112 is executable on quantum processor 106. Quantum processor 106 is operable to receive waveform 112 via I/O electronics 1 10. Quantum processor 106 is operable to execute waveform 1 12, which can include applying biases 128 to programmable devices 118. Biases 128 can be applied to programmable devices 118 via control lines 132. Control lines 132 are communicatively coupled to programmable devices 118. For example, a bias can be applied to a qubit via a control line that is inductively coupled to the qubit to realize the
term of a system Hamiltonian. In another example, a bias can be applied to a coupler via an inductively coupled control line to realize the /ί;· terms of a system Hamiltonian.
Quantum processor 106 is operable to compute a response in the form of output values 130. Annealing parameters, which provide information about a quantum annealing process and energy scales (e.g., transverse energy A(s) and energy applied to the problem Hamiltonian S(s)), can be derived from output values 130. Examples of annealing parameters can include a persistent current, a tunneling energy, and other parameters of programmable devices 118. In some
implementations, quantum processor 106 is not operable to set physical parameter values 114 and therefore, physical parameter values are derived. Physical parameter values 114 can be derived from output values 130. Examples of physical parameters can include critical current, inductance, and capacitance. In some cases, output values 130 computed by QPU model 104 are within a magnitude of or equal to output values 130 computed by quantum processor 106.
Figure 2 is a flowchart illustrating a method 200 for simulating a quantum processor, in accordance with the present systems and methods. Method 200 includes acts 202-216, though in other implementations, certain acts can be omitted and/or additional acts can be added. Method 200 can be executed by a computing system including one or more digital processors, one or more non-transitory computer-
readable storage medium (also referred to herein as a non-transitory processor- readable storage medium), and optionally a physical analog processor, in response to instructions or a problem submitted by a user.
Method 200 starts at 202, for example in response to a call from another routine.
At 204, a digital waveform representation is generated. Generating a digital waveform representation can include generating a digital waveform
representation based on an analog waveform received from a server coupled to both a digital processor and a quantum processor. In one implementation, the digital waveform representation characterizes or represents a set of programmable devices in a quantum processor. In one implementation, the digital waveform representation characterizes or represents all programmable devices in a theoretical quantum processor (e.g., a quantum processor design).
At 206, a digital waveform representation is decomposed into a set of waveform values. The digital waveform representation can be decomposed into a set of waveform values based on a device connectivity representation comprising a number of channels. A device connectivity representation can include data
characterizing device specification, device connectivity, and biases applied to programmable devices in a quantum processor. In one implementation, decomposing the digital waveform representation into a set of waveform values can include decomposing the digital waveform representation into a set of waveform values based on a number of channels representing communicative couplings of programmable devices to control lines that apply biases in a quantum processor.
At 208, a subset of channels in a device connectivity representation are identified. Identifying a subset of channels in a device connectivity representation can include identifying a subset of channels that control a subset of programmable devices in a quantum processor. In one implementation, identifying a subset of channels in a device connectivity representation includes identifying a subset of channels that control
a subset of programmable devices in a theoretical quantum processor (i.e., a quantum processor design).
At 210, a subset of waveform values corresponding to a subset of channels is selected from the set of waveform values. Selecting a subset of waveform values corresponding to a subset of channels can include selecting a subset of waveform values that each represent a bias applied to a respective programmable device in a quantum processor. A waveform value can be a number or set of numbers that correspond to a respective bias applied to a qubit to realize the hi terms of a system Hamiltonian or to a respective bias applied to a coupler to realize the /ί;· terms (i.e., coupling strength) of a system Hamiltonian. In one implementation, selecting a subset of waveform values corresponding to a subset of channels includes selecting a subset of waveform values that each represent a bias applied to a qubit in a quantum processor. In one implementation, selecting a subset of waveform values
corresponding to a subset of channels includes selecting a subset of waveform values that each represent a bias applied to a programmable device in a theoretical quantum processor (i.e., a quantum processor design).
At 212, a number of physical parameter values are set. Physical parameters include macroscopic (i.e., directly measurable) parameters that characterize the behavior of a programmable device. Physical parameter values can be set to at least partially homogenize programmable devices across a quantum processor. Examples of physical parameters can include a critical current carried by a JJ of a programmable device, an inductance of a body loop of a programmable device, a capacitance across a JJ of a programmable device, or a combination thereof. In one implementation, setting a number of physical parameter values can include setting values for a critical current, an inductance, a capacitance, or a combination thereof.
At 214, a response is computed. Computing a response can include implementing a representation model to compute a set of output values based on the number of physical parameter values set at 212 and the subset of waveform values selected at 210. A representation model characterizes a response of a programmable
device or interactions between multiple programmable devices in a quantum processor. In some implementations, computing a response can include computing a set of output values characterizing a response of a set of programmable devices in a quantum processor. In some implementations, computing a response can include computing a set of output values characterizing a response of a set of programmable devices in a theoretical quantum processor (i.e., a quantum processor design). In some implementations, computing a response can also include converting a set of output values into a classical state and returning the classical state to a user.
At 216, method 200 ends, until it is, for example, invoked again.
Figure 3 illustrates a computing system 300 comprising a digital computer 302. The example digital computer 302 includes one or more digital processors 304 that may be used to perform classical digital processing tasks. Digital computer 302 may further include at least one system memory 306, and at least one system bus 308 that couples various system components, including system memory 306, to digital processor(s) 304. System memory 306 may store a QPU model instructions module 310 and other instructions. Other instructions can include methods for extracting a device object model and for validating a processor design. System memory 306 may store processor-executable instructions to cause one or more processors to implement methods of gathering and modifying devices, methods of aggregating and retrieving data from an object device model, and methods of persisting and managing aggregate data. System memory 306 can store methods that can each be applied to a plurality of algorithms, for example, calibration algorithms.
System memory 306 can store a data structure to represent a processor in operation. A processor in operation can include a processor in calibration or testing. The data structure can be applied to a plurality of algorithms for calibration. The data structure can include a representation of a set of devices, connectivity between each of the set of devices, intrinsic properties of each device, and bias information for each device. System memory 306 can store an interface (e.g., device connectivity
representation 614 of Figure 6) for loading the data structure and a set of prescriptions for each device.
The digital processor(s) 304 may be any logic processing unit or circuitry (e.g., integrated circuits), such as one or more central processing units ("CPUs"), graphics processing units ("GPUs"), digital signal processors ("DSPs"), application-specific integrated circuits ("ASICs"), programmable gate arrays ("FPGAs"), programmable logic controllers (“PLCs”), etc., and / or combinations of the same.
In some implementations, computing system 300 comprises an analog computer 312, which may include one or more quantum processors 314. Digital computer 302 may communicate with analog computer 312 via, for instance, a controller 316. Certain computations may be performed by analog computer 312 at the instruction of digital computer 302, as described in greater detail herein.
Digital computer 302 may include a user input/output subsystem 318. In some implementations, the user input/output subsystem includes one or more user input/output components such as a display 320, mouse 322, and/or keyboard 324.
System bus 308 can employ any known bus structures or architectures, including a memory bus with a memory controller, a peripheral bus, and a local bus. System memory 306 may include non-volatile memory, such as read-only memory ("ROM"), static random access memory (“SRAM”), Flash NAND; and volatile memory such as random access memory ("RAM") (not shown), which may comprise the non- transitory computer- or processor-readable storage media.
Digital computer 302 may also include other non-transitory computer- or processor-readable storage media or non-volatile memory 326. Non-volatile memory 326 may take a variety of forms, including: a hard disk drive for reading from and writing to a hard disk (e.g., magnetic disk), an optical disk drive for reading from and writing to removable optical disks, and/or a solid state drive (SSD) for reading from and writing to solid state media (e.g., NAND-based Flash memory). The optical disk can be a CD-ROM or DVD, while the magnetic disk can be a rigid spinning magnetic disk or a
magnetic floppy disk or diskette. Non-volatile memory 326 may communicate with digital processor(s) via system bus 308 and may include appropriate interfaces or controllers 316 coupled to system bus 308. Non-volatile memory 326 may serve as long-term storage for processor- or computer-readable instructions, data structures, or other data (sometimes called program modules) for digital computer 302.
Although digital computer 302 has been described as employing hard disks, optical disks and/or solid state storage media, those skilled in the relevant art will appreciate that other types of nontransitory and non-volatile computer-readable media may be employed, such magnetic cassettes, flash memory cards, Flash, ROMs, smart cards, etc. Those skilled in the relevant art will appreciate that some computer architectures employ nontransitory volatile memory and nontransitory non-volatile memory. For example, data in volatile memory can be cached to non-volatile memory. Or a solid-state disk that employs integrated circuits to provide non-volatile memory.
Various processor- or computer-readable instructions, data structures, or other data can be stored in system memory 306. For example, system memory 306 may store instruction for communicating with remote clients and scheduling use of resources including resources on the digital computer 302 and analog computer 312. Also, for example, system memory 306 may store at least one of processor executable instructions or data that, when executed by at least one processor, causes the at least one processor to execute the various algorithms to execute instructions to perform quantum processor simulation methods described herein. For instance, system memory 306 may store a quantum processor simulation instructions module 310 that includes processor- or computer-readable instructions to generate a digital waveform representation, select waveform values corresponding to channels in a device connectivity representation, and/or compute a response. Such provision may comprise decomposing the waveform representation into a set of waveform values and computing a set of output values, e.g., as described in greater detail herein.
In some implementations system memory 306 may store processor- or computer-readable calculation instructions and/or data to perform pre-processing, co-
processing, and post-processing to analog computer 312. System memory 306 may store a set of analog computer interface instructions to interact with analog computer 312. Analog computer 312 may include at least one analog processor such as quantum processor 314. Analog computer 312 can be provided in an isolated environment, for example, in an isolated environment that shields the internal elements of the quantum computer from heat, magnetic field, and other external noise (not shown). The isolated environment may include a refrigerator, for instance a dilution refrigerator, operable to cryogenically cool the analog processor, for example to temperature below approximately 1 ° Kelvin.
Analog computer 312 can include programmable elements such as qubits, couplers, and other programmable devices. Qubits can be read out via readout system 328. Readout results can be received by other computer- or processor- readable instructions of digital computer 302. Qubits can be controlled via a qubit control system 330. Qubit control system 330 can include on-chip digital-to-analog converters (DACs) and analog lines that are operable to apply a bias to a target device. Couplers that couple qubits can be controlled via a coupler control system 332. Coupler control system 332 can include tuning elements such as on-chip DACs and analog lines.
A design object model is a representation of data of a system, for example a computing system, articulating the intent of the design of the system and can include a description of the input and output ports of a device in a processor (e.g., a quantum processor). A device object model, representing a physical design of a device, can be created by reading a device connectivity representation. The existence, various properties, biases, and connectivity of devices in the processor can be programmatically extracted from the device connectivity representation. Existing approaches for validating the design object model and/or the device connectivity representation require the associated processor to be fabricated, and validation steps are manual and consequently prone to error. Figure 4, Figure 5, and Figure 6 describe systems and methods for generating a device connectivity representation and
validating a design object model without requiring fabrication of the associated processor.
Figure 4 is a flow diagram of an example method 400 of generating a device connectivity representation in a processor, in accordance with the present systems and methods. In some implementations, a device connectivity representation generated by method 400 can be implemented in device connectivity representation 122 of Figure 1 or in method 200 of Figure 2. In some implementations, method 400 can be succeeded by method 500 of Figure 5. Method 400 includes acts 402-420, though in other implementations, certain acts can be omitted and/or additional acts can be added. Method 400 can be performed by a processor, such as digital processor 304 of Figure 3.
Method 400 starts at 402, for example in response to a call from another routine.
At 404, a conceptual design is created. The conceptual design can be a representation of a user's intent for a processor design. The conceptual design can include a simulation of at least one structure or feature of a processor design. For example, the conceptual design can include a simulation of a Josephson junction in a superconducting integrated circuit.
At 406, a design implementation is created to realize the conceptual design. The design implementation can be an integrated circuit layout. In one implementation, creating a design implementation includes designing an analog processor layout in an analog design and simulation environment.
At 408, a design schematic is created. The design schematic may be created based on a design implementation (i.e., an analog processor layout). In one implementation, the design schematic may be created based on the conceptual design. The design schematic can be verifiable by a layout-versus-schematic tool. In some implementations, the design schematic is verifiable by other conventional electronic design automation tools. In one implementation, the design schematic can
be created in the same analog design and simulation environment as the design implementation.
At 410, a device schematic isextracted. The device schematic may be extracted from on the design schematic. The device schematic may correspond to a directed acyclic graph. In one implementation, the device schematic includes at least one atomic device node that corresponds to an element (e.g., a vertex, a leaf, etc.) of a directed acyclic graph.
At 412, device connectivity data is extracted from the device schematic. The device connectivity data may be represented in a device connectivity graph. The device connectivity data can be extracted by a netlister, a tool to write out a device schematic to a text file, where each feature of the device connectivity data is represented. In one implementation, the device connectivity data is extracted by a custom-written netlister. The device connectivity data can include device properties and connectivity of each device to at least one neighboring device. One example of a device property is a device specification which indicates the device type or function.
For instance, a device specification may indicate that the device is a qubit. Another example of a device property is a property annotation, which can include metadata attached to the device. The property annotation can include at least one default property. In one implementation, extracting the device connectivity data includes extracting a device specification, a property annotation, a neighboring device connection (i.e., local bias), or a combination thereof.
Optionally, at 414, the device connectivity data is written to a device connectivity representation stored on non-transitory computer-readable media.
At 416, bias information is extracted. Bias information can be extracted from the device connectivity data by an algorithm. Extracting bias information may include extracting a set of global biases. Global biases include biases applied to at least one device by a set of global bias lines. A global bias line can bias a set of devices in series. In a quantum processor, global bias lines electrically couple a pad (e.g., a bonding pad) to a set of devices and apply a respective bias to each of the
devices. Bias information includes representations of electrical couplings of a pad to a respective set of devices in a quantum processor. In one implementation, extracting bias information includes extracting a set of local biases comprising biases applied to a device by at least one neighboring device. At 418, the bias information is written to the device connectivity representation. If act 414 is omitted in method 400, the device connectivity data and the bias information are both written to the device connectivity representation at 418.
At 420, method 400 terminates, until it is, for example, invoked again.
In some cases, a device object model can be considered an accurate conceptual representation of a processor design. Thus, it can be desirable to perform certain checks on the device object model to validate correctness and completeness of the processor design. In one implementation, checks on the device object model can include checking that a certain number of qubits have been included. Since a device object model can be created by reading in a device connectivity representation in memory, a device object model can be validated by checking properties of the device connectivity representation, including device connectivity data properties, against a list of rules. The rules depend on the specific design of the processor and show the design intent. An example of a rule is the processor having a certain number of qubits. The device connectivity representation is part of a chain that includes a design
implementation. Thus, in cases where a property does not pass a rule, the failed property can be identified and traced back to the design implementation, and the design implementation can be adjusted until the property passes the rule.
Figure 5 is a flow diagram of an example method 500 of validating a device object model based on a device connectivity representation in a processor, in accordance with the present systems and methods. In some implementations, method 500 can be preceded by method 400 of Figure 4. Method 500 includes acts 502 to 520, though in other implementations, certain acts can be omitted and/or additional acts can be added. Method 500 can be performed by a processor, such as digital processor 304 of Figure 3.
Method 500 starts at 502, for example in response to a call from another routine.
At 504, a device connectivity representation is loaded. The device connectivity representation can be based on at least a portion of a design
implementation (e.g., a design layout). The device connectivity representation can include a set of properties that characterize at least one programmable device. In one implementation, loading a device connectivity representation includes loading the device connectivity representation in a calibration environment. In some
implementations, loading a device connectivity representation can include loading a device object model (e.g., device object model 622 in Figure 6).
At 506, a set of n rules is identified. The set of n rules can check properties of the device connectivity representation. In some implementations, the set of n rules can check properties of the device schematic, the device connectivity data, the bias information, or a combination thereof. The set of n rules can check at least one of the following:
Existence and/or number of programmable devices (e.g., qubits, couplers, shift register elements, readout elements, etc.).
Completeness and/or number of control devices (e.g., digital-to- analog converters (DACs)) associated with each programmable device.
Device connectivity data properties including qubit degree, connections between control devices and programmable devices, etc.
A shift register graph including inspection of a visual representation of the shift register graph, couplings from qubits to readout elements (e.g., readout routes), etc.
Addressing line properties including existence of uniquely addressable DACs, speed of parallel programming, efficiency of filling addressable spaces, etc.
Bias-coloring of devices (e.g., ability of each qubit to anneal independently from neighboring qubits).
In some implementations, identifying a set of n rules can include identifying a set of n rules checking for properties that are different from the aforementioned properties.
At 508, an ith rule is selected from the set of n rules, where 1 < i < n. For example, a first rule is selected from the set of n rules.
At 510, a determination of whether the device connectivity representation passes or fails the ith rule is made. For example, a digital processor can determine whether the device connectivity representation passes or fails a first rule. For example, a digital processor can determine whether the device connectivity representation includes a certain number of qubits. The device connectivity representation includes representations of devices that are written in from a device connectivity data. The device connectivity representation also includes representations of biases that are written in from bias information. Each element of the device connectivity representation can be associated with a respective device connectivity data property. Each device connectivity data property can correspond to a portion of the design implementation of act 504. If the device connectivity representation passes the ith rule, act 518 is performed. If the device connectivity representation fails the ith rule, act 512 is performed. For example, if the device connectivity representation fails the first rule indicating that the device connectivity representation requires a certain number of qubits, then act 512 is performed.
At 512, a failed device connectivity data property is identified. The failed device connectivity data property may fail the first rule. For example, if the first rule indicates the device connectivity data requires a certain number of qubits, the digital
processor may identify the failed device connectivity data property as the number of qubits. The device connectivity data can be extracted from a device schematic that is based on a design schematic. In turn, the design schematic can be created based on the design implementation. Thus, a chain comprising the aforementioned elements (as described in system 600 of Figure 6) can be traced from the device connectivity data to the design implementation.
At 514, a portion of the design implementation corresponding to the failed device connectivity data property is identified. For example, in the case of the first rule indicating the device connectivity representation requires a certain number of qubits, the design implementation can be an analog processor layout and the failed device connectivity data property is the number of qubits. Thus, the digital processor can identify a portion of the analog processor layout corresponding to the number of qubits.
At 516, at least a portion of the design implementation is adjusted until the device connectivity representation passes the ith rule. For example, in the case of the first rule indicating the device connectivity representation requires a certain number of quits, a portion of the analog processor layout can be adjusted. Adjusting the analog processor layout can directly or indirectly change the device connectivity
representation by changing, for example, the failed device connectivity data property. The analog processor layout can be adjusted until the device connectivity
representation includes the number of qubits indicated by the first rule. In some implementations, adjusting at least a portion of the design implementation can directly or indirectly change the device connectivity representation by changing a design schematic, a device schematic, bias information, or a combination thereof.
At 518, a determination of whether the device connectivity representation passes all of the set of n rules is made. If the device connectivity representation passes all of the set of n rules, method 500 ends at act 520, until it is, for example, invoked again. If the device connectivity representation does not pass all of the set of n rules or not all rules of the set n rules have been checked, act 508 is
performed. In such cases, the next rule (i.e., the i+1th rule) is selected in act 508 and subsequent acts of method 500 are performed. For example, in at least one implementation n = 2 and the set of n rules can comprise a first rule indicating the device connectivity representation requires a certain number of qubits and a second rule indicating the device connectivity representation requires a certain number of DACs. A digital processor may determine whether the device connectivity
representation passes the two rules. If the device connectivity representation passes the two rules, method 500 ends at 520. If the device connectivity representation passes the first rule but not the second rule (i.e. , includes the required number of qubits but does not include the required number of DACs, or the number of DACs has not been checked), then act 508 is performed. The second rule indicating the number of DACs is then identified and subsequent acts of method 500 are performed.
In some implementations, the device connectivity representation in method 500 can be replaced by a device object model. In such cases, act 504 is replaced with the act of loading a device object model. Loading a device object model can include extracting a device connectivity data and a representation of bias information from a device schematic. Loading a device object model can include loading the device connectivity data and the bias information in a calibration software environment. The device connectivity data can include local biases of a device on a neighboring device and the bias information can include global biases of an analog line on a set of devices.
Method 400 of Figure 4 can be used to generate a device connectivity representation and method 500 of Figure 5 can be used to validate a device object model. At least one of methods 400 and method 500 can be executed by a digital processor storing instructions including system 600 of Figure 6.
Figure 6 is a schematic diagram of an example system 600 to extract and validate a design object model. Elements of system 600 can be stored in a non- transitory computer-readable storage medium. The non-transitory computer-readable
storage medium, when executed, causes a digital processor perform actions involving elements of system 600.
System 600 includes a conceptual design 602 which can be a representation of a user's intent for a processor design. In one implementation, conceptual design 602 can include a simulation of a structure (e.g., a Josephson junction) constituting a portion of a superconducting integrated circuit. Conceptual design 602 can be realized in a design implementation 604. Design implementation 604 can be at least a portion of a design layout. In one implementation, design implementation 604 is at least a portion of an integrated circuit design layout. In one implementation, design implementation 604 is at least a portion of an analog processor (e.g., a quantum processor) layout. Design implementation 604 can be created in an analog design and simulation environment. System 600 includes a design schematic 606 based on design implementation 604. In some implementations, design schematic 606 is based on conceptual design 602. Design schematic 606 can be verified against design implementation 604 using a layout-versus-schematic tool 608 or other electronic design automation tools. In one implementation, design implementation 604 and design schematic 606 can be created in the same analog design and simulation environment.
System 600 includes a device schematic 610. Device schematic 610 can be extracted from design schematic 606. In some implementations, device schematic 610 can be in the form of a directed acyclic graph. For example, device schematic 610 can include at least one atomic device node corresponding to an element (e.g., a vertex, a leaf, etc.) of a directed acyclic graph.
System 600 includes a device connectivity data 612. Device connectivity data 612 includes device properties and connectivity of each device to at least one neighboring device. In one implementation, device connectivity data 612 can be a graph. In one implementation, device connectivity data 612 includes a set of local biases comprising a bias applied to a device by at least one neighboring device. One example of a device property is a device specification, which can indicate a device type
or function. For instance, a device specification may indicate that the device is a qubit. Another example of a device property is a property annotation, which can include metadata attached to the device. Device connectivity data 612 can also be known as a netlist. Device connectivity data 612 can be written into a device connectivity representation 614.
System 600 includes bias information 616. Bias information 616 can be extracted from device connectivity data 612. Bias information 616 includes a set of global biases comprising biases applied to at least one device by a set of global bias lines. In a quantum processor, global bias lines electrically couple a pad (e.g., a bonding pad) to a set of devices and apply a respective bias to each of the devices. A global bias line can bias a set of devices in series. Bias information 616 includes representations of electrical couplings of a pad to a respective set of devices. Bias information 616 can be written into device connectivity representation 614.
Device connectivity representation 614 includes representations of programmable devices 618 written in from device connectivity data 612 and representations of biases 620 written in from bias information 616. Device connectivity representation 614 can be read by a digital processor. In response to reading device connectivity representation 614, the digital processor can compute a device object model 622. In some implementations, device object model 622 can be conputed by extracting device connectivity data 612 and bias information 616 from device schematic 610 (i.e., without device connectivity representation 614). Device connectivity data 612 and bias information 616 are operable to be loaded in a calibration software environment.
Elements of system 600 constitute a chain of reference from conceptual design 602 to device object model 622. Conceptual design 602 can be validated against device object model 622. Validation 624 can include checks on device object model 622 to assess conceptual correctness of conceptual design 602. Errors can be identified by tracing back through the chain of reference. A method of validation 624 is
described by method 500 in Figure 5. In some implementations, device object model 622 is a representation of a quantum processor.
Processor calibration can involve a set of calibration rules that require a description of relationships between programmable devices, device connectivity, and bias mechanisms for each calibration instance. Figure 7 illustrates a data structure that is suitable to represent a processor in many calibration instances and includes certain elements of system 600 in Figure 6.
Figure 7 is a schematic diagram illustrating an example data structure 700 operable to represent a processor in operation. Elements of date structure 700 can be stored in a non-transitory computer-readable storage medium. The non-transitory computer-readable storage medium, when executed, causes a digital processor perform actions involving elements of data structure 700.
Data structure 700 includes a device connectivity representation 702 comprising programmable device descriptions and bias information extracted from a device schematic (e.g., device schematic 610 of Figure 6). Device connectivity representation 702 is an interface for loading programmable device descriptions into memory, thereby computing a device object model. Programmable device descriptions can include device specifications, device connectivity, intrinsic properties of each device, and local biases on each device by a neighboring device. Programmable device descriptions can be representative of a processor, such as an analog processor or quantum processor, under operation. In particular, programmable device descriptions can be representative of a quantum process under calibration. Examples of programmable devices include, but are not limited to: qubits, couplers, DACs, shift register stages, readout elements, inductance tuners, process control monitor devices, and heaters.
Data structure 700 includes a representation of persisted calibration data 704. Calibration data 704 can be data aggregated onto and retrieved from a device object model 710. Data structure 700 includes a representation of
programmable device prescriptions 706. Programmable device prescriptions 706
include construction property annotation, bias annotation, and connectivity annotation for each programmable device. Programmable device prescriptions 706 include at least one set of metaobjects such as structures and classes. Data structure 700 also includes instructions for programmable device methods 708 including methods for gathering and modifying devices. Some examples of programmable device methods 708 can include, but are not limited to:
Identifying a set of qubits coupled to a particular qubit.
Identifying biases for addressing a particular DAC.
Identifying a set of DACs associated with a particular device.
Identifying shift register stages forming at least part of path from qubit to readout.
Device object model 710 includes programmable device representations based on device connectivity representation 702. Data structure 700 includes instructions for calibration algorithms 712. Calibration algorithms 712 can include methods for aggregating data and retrieving data from programmable device representations included in device object model 710. For example, calibration algorithms 712 can be used to aggregate data onto device representations from device object model 710 during calibration. Calibration algorithms 712 can include methods for persisting and managing versions of calibration data 704.
The above described method(s), process(es), or technique(s) could be implemented by a series of processor readable instructions stored on one or more nontransitory processor-readable media. Some examples of the above described method(s), process(es), or technique(s) method are performed in part by a specialized device such as an adiabatic quantum computer or a quantum annealer or a system to program or otherwise control operation of an adiabatic quantum computer or a quantum annealer, for instance a computer that includes at least one digital processor. The above described method(s), process(es), or technique(s) may include various acts, though those of skill in the art will appreciate that in alternative examples certain
acts may be omitted and/or additional acts may be added. Those of skill in the art will appreciate that the illustrated order of the acts is shown for exemplary purposes only and may change in alternative examples. Some of the exemplary acts or operations of the above described method(s), process(es), or technique(s) are performed iteratively. Some acts of the above described method(s), process(es), or technique(s) can be performed during each iteration, after a plurality of iterations, or at the end of all the iterations.
The above description of illustrated implementations, including what is described in the Abstract, is not intended to be exhaustive or to limit the
implementations to the precise forms disclosed. Although specific implementations of and examples are described herein for illustrative purposes, various equivalent modifications can be made without departing from the spirit and scope of the disclosure, as will be recognized by those skilled in the relevant art. The teachings provided herein of the various implementations can be applied to other methods of quantum computation, not necessarily the exemplary methods for quantum computation generally described above.
The various implementations described above can be combined to provide further implementations. All of the commonly assigned US patent application publications, US patent applications, foreign patents, and foreign patent applications referred to in this specification and/or listed in the Application Data Sheet are incorporated herein by reference, in their entirety, including but not limited to: U.S. Patent No. 9,152,923; U.S. Patent Publication No. 2007/0239366; U.S. Patent Application No. 62/873,711 , filed July 12, 2019; and U.S. Patent Application No. 62/879,946, filed July 29, 2019. These and other changes can be made to the implementations in light of the above-detailed description. In general, in the following claims, the terms used should not be construed to limit the claims to the specific implementations disclosed in the specification and the claims, but should be construed to include all possible
implementations along with the full scope of equivalents to which such claims are entitled. Accordingly, the claims are not limited by the disclosure.
Claims
1. A method of operation of at least one digital processor, the method comprising:
generating a digital waveform representation for a set of programmable devices of a quantum processor topology, the quantum processor topology specifying a set of control lines by which biases can be applied to at least one of the set of programmable devices;
decomposing the digital waveform representation into a set of waveform values based on a device connectivity representation comprising a set of channels;
identifying a subset of the set of channels in the device connectivity representation;
selecting a subset of the set of waveform values that correspond to the subset of the set of channels;
setting a plurality of physical parameter values characterizing at least one of the set of programmable devices of the quantum processor topology; and
computing a response via a representation model.
2. The method of claim 1 wherein generating a digital waveform representation includes generating a digital waveform representation based on an analog waveform received from a server coupled to a quantum processor.
3. The method of claim 1 wherein decomposing the digital waveform representation into a set of waveform values includes decomposing the digital waveform representation into a set of waveform values based on the set of channels in the device connectivity representation, the set of channels representing a number of communicative
couplings of the set of programmable devices to a set of control lines in the quantum processor topology.
4. The method of claim 1 wherein identifying a subset of the set of channels in the device connectivity representation includes identifying a subset of the set of channels representing a subset of the set of programmable devices communicatively coupled to a subset of the set of control lines in the quantum processor topology.
5. The method of claim 1 wherein selecting a subset of the set of waveform values corresponding to the subset of the set of channels includes selecting a subset of the set of waveform values that each represent a bias to apply to a respective qubit or coupler in the quantum processor topology.
6. The method of claim 1 wherein setting a plurality of physical parameter values characterizing at least one of the set of programmable devices in the quantum processor topology includes setting a plurality of physical parameter values for at least one of: a critical current, a body inductance, and a capacitance of a programmable device in a quantum processor topology.
7. The method of claim 1 wherein computing a response via a representation model includes computing a response based on the plurality of physical parameter values and the subset of the set of waveform values.
8. The method of claim 1 wherein computing a response via a representation model includes computing a set of output values.
9. The method of claim 1 further comprising converting the response into a classical state.
10. The method of claim 1 further comprising returning the response to a user.
1 1. The method of claim 1 wherein the quantum processor topology is embodied in at least one physical instance of a physical quantum processor, and generating a digital waveform representation for a set of programmable devices of a quantum processor topology includes generating the digital waveform representation for the at least one physical instance of the physical quantum processor.
12. The method of claim 1 wherein the quantum processor topology is embodied in at least one non-physical instance of a theoretical quantum processor, and generating a digital waveform representation for a set of programmable devices of a quantum processor topology includes generating the digital waveform representation for the at least one non-physical instance of the theoretical quantum processor.
13. A system, the system comprising:
at least one digital processor; and
at least one non-transitory computer-readable storage medium communicatively coupled to the at least one digital processor and that stores processor- executable instructions which, when executed, causes the at least one digital processor to perform the methods of any of the claims 1 to 12.
14. The system of claim 13, further comprising:
at least one server operable to generate a waveform based on a received Hamiltonian that characterizes or represents a problem, the at least one server communicatively coupled to the at least one digital processor to provide the generated waveform thereto and the at least one server communicatively coupled to at least one quantum processor.
15. A method of simulating a quantum processor, the quantum processor including a set of programmable devices communicatively coupled to a set of control lines, each one of the set of control lines operable to apply a bias to at least one of the set of programmable devices, the method executed by a digital processor, the method comprising:
generating a digital waveform representation;
decomposing the digital waveform representation into a set of waveform values based on a device connectivity representation comprising a set of channels;
identifying a subset of the set of channels in the device connectivity representation;
selecting a subset of the set of waveform values corresponding to the subset of the set of channels;
setting a plurality of physical parameter values characterizing at least one of the set of programmable devices of the quantum processor; and
computing a response via a representation model.
16. The method of claim 15 wherein generating a digital waveform representation includes generating a digital waveform representation based on an analog waveform received from a server coupled to a quantum processor.
17. The method of claim 15 wherein decomposing the digital waveform representation into a set of waveform values includes decomposing the digital waveform representation into a set of waveform values based on the set of channels in the device connectivity representation, the set of channels representing a number of communicative couplings of the set of programmable devices to a set of control lines in a quantum processor.
18. The method of claim 15 wherein identifying a subset of the set of channels in the device connectivity representation includes identifying a subset of the set
of channels representing a subset of the set of programmable devices communicatively coupled to a subset of the set of control lines in a quantum processor.
19. The method of claim 15 wherein selecting a subset of the set of waveform values corresponding to the subset of the set of channels includes selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor.
20. The method of claim 19 wherein selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor includes selecting a subset of the set of waveform values that each represent a bias applied to a qubit in a quantum processor.
21. The method of claim 19 wherein selecting a subset of the set of waveform values that each represent a bias applied to a respective programmable device in a quantum processor includes selecting a subset of the set of waveform values that each represent a bias applied to a coupler in a quantum processor.
22. The method of claim 15 wherein setting a plurality of physical parameter values characterizing at least one of the set of programmable devices in a quantum processor includes setting a plurality of physical parameter values for at least one of: a critical current, a body inductance, and a capacitance of a programmable device in a quantum processor.
23. The method of claim 15 wherein computing a response via a representation model includes computing a response based on the plurality of physical parameter values and the subset of the set of waveform values.
24. The method of claim 15 wherein computing a response via a representation model includes computing a set of output values.
25. The method of claim 15, further comprising:
converting the response into a classical state.
26. The method of claim 15,0 further comprising:
returning the response to a user.
27. A system for simulating a quantum processor, the quantum processor including a set of programmable devices communicatively coupled to a set of control lines, each one of the set of control lines operable to apply a bias to one of the set of programmable devices, the system comprising:
a digital processor; and
a non-transitory computer-readable storage medium that stores processor- executable instructions which, when executed, causes the digital processor to perform the method of any of the claims 15 to 26.
28. A method of extracting a device object model from an integrated circuit layout, the method executed by a digital processor, the method comprising autonomously by the digital processor:
extracting a device schematic from a design schematic;
extracting device connectivity data from the device schematic; writing the device connectivity data to a device connectivity representation; extracting a set of biases from the device connectivity data; and writing the set of biases to the device connectivity representation.
29. The method of claim 28 wherein extracting a device schematic from a design schematic includes extracting a device schematic from a design schematic that is verifiable by a layout-versus-schematic tool.
30. The method of claim 28 wherein extracting a device schematic from a design schematic includes extracting a device schematic corresponding to a directed acyclic graph.
31. The method of claim 30 wherein extracting a device schematic corresponding to a directed acyclic graph includes extracting a device schematic comprising at least one atomic device node corresponding to a directed acyclic graph.
32. The method of claim 28 wherein extracting the device connectivity data includes extracting at least one of: a device specification, a property annotation, and at least one neighboring device connection.
33. The method of claim 28 wherein extracting a set of biases from the device connectivity data includes extracting a set of global biases.
34. The method of claim 33 wherein extracting a set of global biases includes extracting a set of connections electrically coupling a pad to at least one programmable device.
35. The method of claim 28 further comprising executing the device connectivity representation to compute a device object model.
36. A computing system comprising:
at least one digital processor; and
at least one non-transitory processor-readable storage medium
communicatively couplable to the at least one digital processor and that stores at least one of processor-executable instructions which, when executed by the at least one digital processor, causes the at least one digital processor to perform the method of any of the claims 28 to 35.
37. A method of validating a design of an analog processor comprising a set of programmable devices, the method executed by a digital processor, the method comprising autonomously by the digital processor:
loading a device connectivity representation based on at least a portion of a design implementation, the device connectivity representation including a set of properties characterizing at least one programmable device;
identifying a set of n rules;
iteratively, until the device connectivity representation passes the nth rule: selecting an ith rule of the set of rules, where 1 < i < n; and determining if the device connectivity representation passes or fails the ith rule.
38. The method of claim 37 further comprising:
in response to the determination that the device connectivity representation fails the ith rule, until the device connectivity representation passes the ith rule, repeatedly:
identifying at least one property of the set of properties that fails the ith rule;
identifying a portion of the design implementation corresponding to the at least one property that fails the ith rule; and
adjusting the design implementation.
39. The method of claim 37 wherein identifying a set of rules includes identifying a set of rules checking a number of programmable devices.
40. The method of claim 37 wherein identifying a set of rules includes identifying a set of rules checking a number of control devices.
41. The method of claim 37 wherein identifying a set of rules includes identifying a set of rules checking a set of device connectivity data properties.
42. The method of claim 37 wherein identifying a set of rules includes identifying a set of rules checking a set of addressing line properties.
43. A computing system comprising:
at least one digital processor; and
at least one non-transitory processor-readable storage medium communicatively couplable to the at least one digital processor and that stores at least one of processor-executable instructions which, when executed by the at least one digital processor, causes the at least one digital processor to perform the method of any of the claims 37 to 42.
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP20841331.0A EP3997608A4 (en) | 2019-07-12 | 2020-07-10 | Systems and methods for simulating a quantum processor |
US17/617,388 US20220253740A1 (en) | 2019-07-12 | 2020-07-10 | Systems and methods for simulating a quantum processor |
JP2021571752A JP2022540311A (en) | 2019-07-12 | 2020-07-10 | Systems and methods for simulating quantum processors |
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201962873711P | 2019-07-12 | 2019-07-12 | |
US62/873,711 | 2019-07-12 | ||
US201962879946P | 2019-07-29 | 2019-07-29 | |
US62/879,946 | 2019-07-29 |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2021011412A1 true WO2021011412A1 (en) | 2021-01-21 |
Family
ID=74211233
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/US2020/041703 WO2021011412A1 (en) | 2019-07-12 | 2020-07-10 | Systems and methods for simulating a quantum processor |
Country Status (4)
Country | Link |
---|---|
US (1) | US20220253740A1 (en) |
EP (1) | EP3997608A4 (en) |
JP (1) | JP2022540311A (en) |
WO (1) | WO2021011412A1 (en) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115688927A (en) * | 2021-07-23 | 2023-02-03 | 清华大学 | Quantum computing chip, quantum processor and quantum computer |
US11847534B2 (en) | 2018-08-31 | 2023-12-19 | D-Wave Systems Inc. | Systems and methods for operation of a frequency multiplexed resonator input and/or output for a superconducting device |
US11900185B2 (en) | 2018-01-22 | 2024-02-13 | 1372934 B.C. Ltd. | Systems and methods for improving performance of an analog processor |
US12033033B2 (en) | 2019-06-11 | 2024-07-09 | D-Wave Systems Inc. | Input/output systems and methods for superconducting devices |
US12039465B2 (en) | 2019-05-31 | 2024-07-16 | D-Wave Systems Inc. | Systems and methods for modeling noise sequences and calibrating quantum processors |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110138344A1 (en) * | 2009-12-08 | 2011-06-09 | University Of Seoul Industry Cooperation Foundation | Quantum karnaugh map |
US8175995B2 (en) * | 2008-06-10 | 2012-05-08 | D-Wave Systems Inc. | Quantum and digital processor hybrid systems and methods to solve problems |
KR101446943B1 (en) * | 2006-12-05 | 2014-10-06 | 디-웨이브 시스템즈, 인코포레이티드 | Systems, methods and apparatus for local programming of quantum processor elements |
US8972237B2 (en) * | 2012-08-06 | 2015-03-03 | Microsoft Technology Licensing, Llc | Optimizing quantum simulations by intelligent permutation |
WO2018064535A1 (en) * | 2016-09-30 | 2018-04-05 | Rigetti & Co., Inc. | Simulating quantum systems with quantum computation |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2470715A1 (en) * | 2001-12-22 | 2003-07-10 | D-Wave Systems, Inc. | Quantum computing integrated development environment |
US10332024B2 (en) * | 2017-02-22 | 2019-06-25 | Rigetti & Co, Inc. | Modeling superconducting quantum circuit systems |
AU2017420803B2 (en) * | 2017-06-26 | 2020-12-10 | Google Llc | Nonlinear calibration of a quantum computing apparatus |
US11308248B2 (en) * | 2018-05-05 | 2022-04-19 | Intel Corporation | Apparatus and method for quantum computing performance simulation |
-
2020
- 2020-07-10 US US17/617,388 patent/US20220253740A1/en active Pending
- 2020-07-10 JP JP2021571752A patent/JP2022540311A/en active Pending
- 2020-07-10 WO PCT/US2020/041703 patent/WO2021011412A1/en unknown
- 2020-07-10 EP EP20841331.0A patent/EP3997608A4/en active Pending
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101446943B1 (en) * | 2006-12-05 | 2014-10-06 | 디-웨이브 시스템즈, 인코포레이티드 | Systems, methods and apparatus for local programming of quantum processor elements |
US8175995B2 (en) * | 2008-06-10 | 2012-05-08 | D-Wave Systems Inc. | Quantum and digital processor hybrid systems and methods to solve problems |
US20110138344A1 (en) * | 2009-12-08 | 2011-06-09 | University Of Seoul Industry Cooperation Foundation | Quantum karnaugh map |
US8972237B2 (en) * | 2012-08-06 | 2015-03-03 | Microsoft Technology Licensing, Llc | Optimizing quantum simulations by intelligent permutation |
WO2018064535A1 (en) * | 2016-09-30 | 2018-04-05 | Rigetti & Co., Inc. | Simulating quantum systems with quantum computation |
Non-Patent Citations (1)
Title |
---|
See also references of EP3997608A4 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11900185B2 (en) | 2018-01-22 | 2024-02-13 | 1372934 B.C. Ltd. | Systems and methods for improving performance of an analog processor |
US11847534B2 (en) | 2018-08-31 | 2023-12-19 | D-Wave Systems Inc. | Systems and methods for operation of a frequency multiplexed resonator input and/or output for a superconducting device |
US12039465B2 (en) | 2019-05-31 | 2024-07-16 | D-Wave Systems Inc. | Systems and methods for modeling noise sequences and calibrating quantum processors |
US12033033B2 (en) | 2019-06-11 | 2024-07-09 | D-Wave Systems Inc. | Input/output systems and methods for superconducting devices |
CN115688927A (en) * | 2021-07-23 | 2023-02-03 | 清华大学 | Quantum computing chip, quantum processor and quantum computer |
Also Published As
Publication number | Publication date |
---|---|
US20220253740A1 (en) | 2022-08-11 |
EP3997608A1 (en) | 2022-05-18 |
EP3997608A4 (en) | 2023-07-26 |
JP2022540311A (en) | 2022-09-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20220253740A1 (en) | Systems and methods for simulating a quantum processor | |
US11880741B2 (en) | Systems and methods for embedding problems into an analog processor | |
US11520956B2 (en) | Systems and methods for automatically realizing models for co-simulation | |
US10552755B2 (en) | Systems and methods for improving the performance of a quantum processor to reduce intrinsic/control errors | |
US9026574B2 (en) | Systems and methods for solving computational problems | |
US20200257987A1 (en) | Systems and methods for hybrid quantum-classical computing | |
Yondo et al. | A review of surrogate modeling techniques for aerodynamic analysis and optimization: current limitations and future challenges in industry | |
US12045158B2 (en) | Test case selection and ordering with covert minimum set cover for functional qualification | |
US10275548B1 (en) | Interactive diagnostic modeling evaluator | |
US11386345B2 (en) | Strong simulation methods for unit testing quantum software | |
JP7334298B2 (en) | Method and apparatus for calibrating quantum measuring instruments, electronics and media | |
CN114897175A (en) | Noise elimination method and device for quantum measurement equipment, electronic equipment and medium | |
Zhou et al. | Computational inference of vibratory system with incomplete modal information using parallel, interactive and adaptive Markov chains | |
CN115329972B (en) | Quantum computer performance determining method and device, electronic equipment and medium | |
US11960859B2 (en) | Automated process for discovering optimal programs and circuits in new computing platforms | |
Mesman et al. | Q-profile: Profiling tool for quantum control stacks applied to the quantum approximate optimization algorithm | |
US20210304050A1 (en) | Systems and methods for implementing finite element modelling | |
CN114997060A (en) | Time-varying reliability testing method for photonic crystal, computing equipment and storage medium | |
KR20220133915A (en) | Automatic Test Pattern Generation (ATPG) for Parametric Failures | |
Darema | Cyberinfrastructures of Cyber-applications-systems | |
Ju et al. | Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition | |
Ding et al. | Trainable parameterized quantum encoding and application based on enhanced robustness and parallel computing | |
Guimarães et al. | Optimized noise-assisted simulation of the Lindblad equation with time-dependent coefficients on a noisy quantum processor | |
Robert et al. | Tools for quantum computing based on decision diagrams | |
JP7451606B2 (en) | Learning system and learning method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 20841331 Country of ref document: EP Kind code of ref document: A1 |
|
ENP | Entry into the national phase |
Ref document number: 2021571752 Country of ref document: JP Kind code of ref document: A |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
ENP | Entry into the national phase |
Ref document number: 2020841331 Country of ref document: EP Effective date: 20220214 |