AU2020233909B2 - Validating and estimating runtime for quantum algorithms - Google Patents

Validating and estimating runtime for quantum algorithms Download PDF

Info

Publication number
AU2020233909B2
AU2020233909B2 AU2020233909A AU2020233909A AU2020233909B2 AU 2020233909 B2 AU2020233909 B2 AU 2020233909B2 AU 2020233909 A AU2020233909 A AU 2020233909A AU 2020233909 A AU2020233909 A AU 2020233909A AU 2020233909 B2 AU2020233909 B2 AU 2020233909B2
Authority
AU
Australia
Prior art keywords
quantum
parameters
algorithm
gates
data processing
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
AU2020233909A
Other languages
English (en)
Other versions
AU2020233909A1 (en
Inventor
Ismael Faro Sertage
Jay Michael Gambetta
Ali JAVADIABHARI
Paul Nation
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by International Business Machines Corp filed Critical International Business Machines Corp
Publication of AU2020233909A1 publication Critical patent/AU2020233909A1/en
Application granted granted Critical
Publication of AU2020233909B2 publication Critical patent/AU2020233909B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
    • G06N10/60—Quantum algorithms, e.g. based on quantum optimisation, quantum Fourier or Hadamard transforms
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G06F11/0754—Error or fault detection not based on redundancy by exceeding limits
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G06F11/0754—Error or fault detection not based on redundancy by exceeding limits
    • G06F11/076—Error or fault detection not based on redundancy by exceeding limits by exceeding a count or rate limit, e.g. word- or bit count limit
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3612—Analysis of software for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
    • G06N10/70—Quantum error correction, detection or prevention, e.g. surface codes or magic state distillation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B82—NANOTECHNOLOGY
    • B82Y—SPECIFIC USES OR APPLICATIONS OF NANOSTRUCTURES; MEASUREMENT OR ANALYSIS OF NANOSTRUCTURES; MANUFACTURE OR TREATMENT OF NANOSTRUCTURES
    • B82Y10/00—Nanotechnology for information processing, storage or transmission, e.g. quantum computing or single electron logic
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • G06F11/3419—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment by assessing time
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/81—Threshold

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Evolutionary Computation (AREA)
  • Computing Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Condensed Matter Physics & Semiconductors (AREA)
  • Computational Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Artificial Intelligence (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Geometry (AREA)
  • Devices For Executing Special Programs (AREA)
  • Advance Control (AREA)
  • Debugging And Monitoring (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
AU2020233909A 2019-03-09 2020-02-28 Validating and estimating runtime for quantum algorithms Active AU2020233909B2 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US16/297,604 US11580433B2 (en) 2019-03-09 2019-03-09 Validating and estimating runtime for quantum algorithms
US16/297,604 2019-03-09
PCT/EP2020/055256 WO2020182489A1 (en) 2019-03-09 2020-02-28 Validating and estimating runtime for quantum algorithms

Publications (2)

Publication Number Publication Date
AU2020233909A1 AU2020233909A1 (en) 2021-09-30
AU2020233909B2 true AU2020233909B2 (en) 2023-04-13

Family

ID=69743224

Family Applications (1)

Application Number Title Priority Date Filing Date
AU2020233909A Active AU2020233909B2 (en) 2019-03-09 2020-02-28 Validating and estimating runtime for quantum algorithms

Country Status (7)

Country Link
US (2) US11580433B2 (https=)
EP (1) EP3938971A1 (https=)
JP (1) JP7315684B2 (https=)
KR (1) KR102714246B1 (https=)
CN (1) CN113614752B (https=)
AU (1) AU2020233909B2 (https=)
WO (1) WO2020182489A1 (https=)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11580433B2 (en) * 2019-03-09 2023-02-14 International Business Machines Corporation Validating and estimating runtime for quantum algorithms
US11474867B2 (en) * 2019-07-11 2022-10-18 Microsoft Technology Licensing, Llc Measurement sequence determination for quantum computing device
US11853731B2 (en) * 2020-03-24 2023-12-26 IonQ, Inc. Pulse generation
CN114757225B (zh) * 2022-03-31 2023-05-30 北京百度网讯科技有限公司 信号采样质量的确定方法、装置、设备及存储介质
US12450513B2 (en) * 2022-05-31 2025-10-21 Q.M Technologies Ltd. Quantum controller validation
CN117744819A (zh) * 2022-09-14 2024-03-22 本源量子计算科技（合肥）股份有限公司 评测量子设备性能的方法、装置、存储介质及电子装置
US20240160475A1 (en) * 2022-11-11 2024-05-16 Dell Products L.P. Manual qubit mapping during transpilation
CN115934346B (zh) * 2022-12-28 2023-10-20 北京大学 算子的自动检测方法、装置、电子设备及介质
KR102696751B1 (ko) * 2024-02-21 2024-08-20 (주)노르마 복수의 시뮬레이터들을 이용하여 게이트 별 처리시간을 획득하는 양자 시뮬레이터 테스트 방법 및 이를 수행하는 서버

Family Cites Families (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030121028A1 (en) * 2001-12-22 2003-06-26 Michael Coury Quantum computing integrated development environment
US20060224547A1 (en) * 2005-03-24 2006-10-05 Ulyanov Sergey V Efficient simulation system of quantum algorithm gates on classical computer based on fast algorithm
US8832165B2 (en) 2007-12-12 2014-09-09 Lockheed Martin Corporation Computer systems and methods for quantum verification and validation
CN106796587B (zh) * 2014-04-30 2020-11-13 皮沃塔尔软件公司 用于验证分析结果的方法和系统
WO2016044917A1 (en) * 2014-09-24 2016-03-31 Quantum Valley Investment Fund LP Generating a control sequence for quantum control
US11113084B2 (en) 2015-04-10 2021-09-07 Microsoft Technology Licensing, Llc Method and system for approximate quantum circuit synthesis using quaternion algebra
WO2017078731A1 (en) * 2015-11-06 2017-05-11 Rigetti & Co., Inc. Analyzing quantum information processing circuits
US10664249B2 (en) 2015-11-20 2020-05-26 Microsoft Technology Licensing, Llc Verified compilation of reversible circuits
EP3593298B1 (en) 2017-03-10 2024-11-20 Rigetti & Co, LLC Performing a calibration process in a quantum computing system
US10275721B2 (en) 2017-04-19 2019-04-30 Accenture Global Solutions Limited Quantum computing machine learning module
US10430162B2 (en) 2017-05-18 2019-10-01 Microsoft Technology Licensing, Llc Quantum resource estimates for computing elliptic curve discrete logarithms
US10977570B2 (en) 2017-06-19 2021-04-13 Rigetti & Co, Inc. Distributed quantum computing system
US11580000B2 (en) 2017-07-23 2023-02-14 Keysight Technologies Canada Inc. Systems and methods for local randomized benchmarking
US11494681B1 (en) * 2017-12-14 2022-11-08 Rigetti & Co, Llc Quantum instruction compiler for optimizing hybrid algorithms
US11367010B2 (en) * 2018-05-02 2022-06-21 IonQ, Inc. Quantum computer simulator characterization
US11374594B2 (en) 2018-05-05 2022-06-28 Intel Corporation Apparatus and method including neural network learning to detect and correct quantum errors
US11531922B2 (en) 2018-09-27 2022-12-20 Intel Corporation Apparatus and method for scalable qubit addressing
US11354460B2 (en) * 2018-10-16 2022-06-07 Red Hat, Inc. Validator and optimizer for quantum computing simulator
US11086665B2 (en) * 2018-10-22 2021-08-10 Red Hat, Inc. Scheduling services for quantum computing
US11132482B2 (en) * 2019-01-24 2021-09-28 IonQ, Inc. Tracking references to information storage resources in a quantum circuit
US11580433B2 (en) * 2019-03-09 2023-02-14 International Business Machines Corporation Validating and estimating runtime for quantum algorithms

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
LAROSE, R., "Overview and Comparison of Gate Level Quantum Software Platforms", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 6 July 2018. *
MURALI, P. et al., "Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems", 8 March 2019, [retrieved from internet on 19 July 2022], . *

Also Published As

Publication number Publication date
KR102714246B1 (ko) 2024-10-08
JP7315684B2 (ja) 2023-07-26
EP3938971A1 (en) 2022-01-19
US20200285986A1 (en) 2020-09-10
US12106182B2 (en) 2024-10-01
CN113614752A (zh) 2021-11-05
US20230409938A1 (en) 2023-12-21
KR20210119533A (ko) 2021-10-05
JP2022522101A (ja) 2022-04-14
WO2020182489A1 (en) 2020-09-17
US11580433B2 (en) 2023-02-14
AU2020233909A1 (en) 2021-09-30
CN113614752B (zh) 2025-05-09

Similar Documents

Publication Publication Date Title
US12106182B2 (en) Validating and estimating runtime for quantum algorithms
EP3948696B1 (en) Adaptive error correction in quantum computing
AU2020237590B2 (en) Compilation of quantum algorithms
US11645132B2 (en) Noise and calibration adaptive compilation of quantum programs
US10831455B2 (en) Quantum circuit compilation with quantum libraries as a service
US20200334563A1 (en) Modular quantum circuit transformation
US11410069B2 (en) Grouping of Pauli observables using Bell measurements

Legal Events

Date Code Title Description
FGA Letters patent sealed or granted (standard patent)