公开(公告)号：US12217090B2

公开(公告)日：2025-02-04

申请号：US17525716

申请日：2021-11-12

Applicant: Amazon Technologies, Inc.

Inventor： Milan Krneta ,  Eric M Kessler ,  Christian Bruun Madsen

IPC: G06F9/50

Abstract: An algorithm execution management system of a provider network may receive a request from a user for executing an algorithm using different types of computing resources, including classical computing resources and quantum computing resources. The request may indicate a container that includes the algorithm code and dependencies such as libraries for executing the algorithm. The algorithm execution management system may first determine that the quantum computing resources are available to execute the algorithm, and then cause the classical computing resources to be provisioned. The algorithm execution management system may cause at least one portion of the algorithm to be executed at the classical computing resources using the container indicated by the user, and at least another portion of the algorithm to be executed at the quantum computing resources. The quantum task of the algorithm may be provided a priority during execution of the algorithm for using the quantum computing resources.

公开(公告)号：US11907092B2

公开(公告)日：2024-02-20

申请号：US17525723

申请日：2021-11-12

Applicant: Amazon Technologies, Inc.

Inventor： Milan Krneta ,  Eric M Kessler ,  Christian Bruun Madsen ,  Michael D Pratt

IPC: G06F11/32 ,  G06N10/00 ,  G06F11/30 ,  G06F11/34

CPC classification number: G06F11/328 ,  G06F11/3006 ,  G06F11/3495 ,  G06N10/00

Abstract: A quantum computing monitoring system may receive a request from user describing an algorithm to be executed using classical and quantum computing resources and a metric to be monitored associated with execution of the algorithm at the quantum computing resources. In execution, the quantum computing monitoring system may cause measurements to be obtained from the quantum computing resources at individual steps of the execution of the algorithm at the quantum computing resources, and the metric to be determined based on the obtained measurements. The quantum computing monitoring system may evaluate the metric with respect to a threshold, and provide an alert to the user responsive to determining that the metric fails to satisfy the threshold. The quantum computing monitoring system may further perform an operation to modify the execution of the algorithm at the quantum computing resources as needed.

公开(公告)号：US20240330738A1

公开(公告)日：2024-10-03

申请号：US18193294

申请日：2023-03-30

Applicant: Amazon Technologies, Inc.

Inventor： Yunong Shi ,  Ravi Kiran Chilakapati ,  Jeffrey Paul Heckey ,  Jon-Mychael Allen Best ,  Eric M Kessler

IPC: G06N10/80

CPC classification number: G06N10/80

Abstract: Systems and method for implementing quantum circuit compilation as-a-service are disclosed. In some embodiments, a quantum circuit compilation service is configured to compile quantum circuits for a plurality of third-party customers, wherein the compilation service supports compiling quantum circuits to be executed on a plurality of different quantum processing units that utilize various different quantum computing technologies. In some embodiments, the quantum computing service generates a customized compilation job plan for each quantum circuit to be compiled. The compilation job plan may reference modular compilation passes stored in a repository of the quantum circuit compilation service. The modular passes may be mixed and matched as needed to allow for compilation of a wide-variety of quantum circuits to be executed using various different quantum computing technologies.

公开(公告)号：US20240330735A1

公开(公告)日：2024-10-03

申请号：US18193358

申请日：2023-03-30

Applicant: Amazon Technologies, Inc.

Inventor： Yunong Shi ,  Marijn J. Heule ,  Michael William Whalen ,  Bruno Dutertre ,  Eric M Kessler ,  Benjamin Kiesl-Reiter ,  Robert Jones ,  David Nunnerley

IPC: G06N10/60 ,  G06N10/20 ,  G06N10/40

CPC classification number: G06N10/60 ,  G06N10/20 ,  G06N10/40

Abstract: Techniques for encoding quantum circuit mapping problems as SAT solver optimization problems are disclosed. Quantum circuit mapping often requires the use of SWAP gates in order to configure logical quantum computations to be executed using fixed quantum hardware device layouts. A quantum compilation service takes a logical quantum circuit, a physical qubit connectivity graph, and a requested number of SWAP gates to solve the mapping using and encodes the information into a Conjunctive Normal Form (CNF) equation using a layout-transition-based encoding scheme. The CNF equation is then provided to a SAT solver which attempts to determine an assignment for the mapping using the set number of SWAP gates requested. Multiple CNF equations corresponding to different requested numbers of SWAP gates may be solved for in parallel using multiple SAT solving instances.