CN113614752B - 量子算法的验证和估计运行时间 - Google Patents

量子算法的验证和估计运行时间 Download PDF

Info

Publication number
CN113614752B
CN113614752B CN202080019974.8A CN202080019974A CN113614752B CN 113614752 B CN113614752 B CN 113614752B CN 202080019974 A CN202080019974 A CN 202080019974A CN 113614752 B CN113614752 B CN 113614752B
Authority
CN
China
Prior art keywords
quantum
parameters
algorithm
data processing
computer
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
CN202080019974.8A
Other languages
English (en)
Chinese (zh)
Other versions
CN113614752A (zh
Inventor
A.贾瓦迪亚巴里
J.M.甘贝塔
I.法罗塞尔塔奇
P.内申
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 CN113614752A publication Critical patent/CN113614752A/zh
Application granted granted Critical
Publication of CN113614752B publication Critical patent/CN113614752B/zh
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/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
    • 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
    • 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)
CN202080019974.8A 2019-03-09 2020-02-28 量子算法的验证和估计运行时间 Active CN113614752B (zh)

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
CN113614752A CN113614752A (zh) 2021-11-05
CN113614752B true CN113614752B (zh) 2025-05-09

Family

ID=69743224

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202080019974.8A Active CN113614752B (zh) 2019-03-09 2020-02-28 量子算法的验证和估计运行时间

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 (1)

* Cited by examiner, † Cited by third party
Title
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems;Prakash Murali 等;arXiv.org;20190308;第5-8页，第11-20页 *

Also Published As

Publication number Publication date
AU2020233909B2 (en) 2023-04-13
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

Similar Documents

Publication Publication Date Title
CN113646780B (zh) 量子计算中的自适应纠错
CN113614752B (zh) 量子算法的验证和估计运行时间
CN113168580B (zh) 量子程序的噪声和校准自适应编译
AU2020237590B2 (en) Compilation of quantum algorithms
JP7232902B2 (ja) ハイブリッド古典－量子コンピューティング・システムを使用した分子系の励起状態特性の計算
CN113661501B (zh) 量子特征核对齐
US10831455B2 (en) Quantum circuit compilation with quantum libraries as a service

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant