KR102714246B1 - 양자 알고리즘의 런타임 검증 및 추정 - Google Patents
양자 알고리즘의 런타임 검증 및 추정 Download PDFInfo
- Publication number
- KR102714246B1 KR102714246B1 KR1020217028759A KR20217028759A KR102714246B1 KR 102714246 B1 KR102714246 B1 KR 102714246B1 KR 1020217028759 A KR1020217028759 A KR 1020217028759A KR 20217028759 A KR20217028759 A KR 20217028759A KR 102714246 B1 KR102714246 B1 KR 102714246B1
- Authority
- KR
- South Korea
- Prior art keywords
- quantum
- parameters
- computer
- algorithm
- 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
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
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
-
- 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)
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 |
|---|---|
| KR20210119533A KR20210119533A (ko) | 2021-10-05 |
| KR102714246B1 true KR102714246B1 (ko) | 2024-10-08 |
Family
ID=69743224
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| KR1020217028759A Active KR102714246B1 (ko) | 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)
| 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 | (주)노르마 | 복수의 시뮬레이터들을 이용하여 게이트 별 처리시간을 획득하는 양자 시뮬레이터 테스트 방법 및 이를 수행하는 서버 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20200285986A1 (en) | 2019-03-09 | 2020-09-10 | International Business Machines Corporation | Validating and estimating runtime for quantum algorithms |
Family Cites Families (20)
| 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 |
-
2019
- 2019-03-09 US US16/297,604 patent/US11580433B2/en active Active
-
2020
- 2020-02-28 KR KR1020217028759A patent/KR102714246B1/ko active Active
- 2020-02-28 WO PCT/EP2020/055256 patent/WO2020182489A1/en not_active Ceased
- 2020-02-28 CN CN202080019974.8A patent/CN113614752B/zh active Active
- 2020-02-28 JP JP2021543345A patent/JP7315684B2/ja active Active
- 2020-02-28 EP EP20709146.3A patent/EP3938971A1/en active Pending
- 2020-02-28 AU AU2020233909A patent/AU2020233909B2/en active Active
-
2022
- 2022-10-28 US US17/975,690 patent/US12106182B2/en active Active
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20200285986A1 (en) | 2019-03-09 | 2020-09-10 | International Business Machines Corporation | Validating and estimating runtime for quantum algorithms |
Also Published As
| Publication number | Publication date |
|---|---|
| AU2020233909B2 (en) | 2023-04-13 |
| 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 |
|---|---|---|
| KR102779560B1 (ko) | 양자 컴퓨팅의 적응형 오류 수정 | |
| KR102714246B1 (ko) | 양자 알고리즘의 런타임 검증 및 추정 | |
| AU2020237590B2 (en) | Compilation of quantum algorithms | |
| JP7442515B2 (ja) | 量子プログラムのノイズおよび較正適応コンパイル | |
| US20200334563A1 (en) | Modular quantum circuit transformation | |
| US10831455B2 (en) | Quantum circuit compilation with quantum libraries as a service | |
| US11874838B2 (en) | Automatic quantum searching of object databases |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PA0105 | International application |
Patent event date: 20210907 Patent event code: PA01051R01D Comment text: International Patent Application |
|
| A201 | Request for examination | ||
| PA0201 | Request for examination |
Patent event code: PA02012R01D Patent event date: 20210914 Comment text: Request for Examination of Application |
|
| PG1501 | Laying open of application | ||
| E701 | Decision to grant or registration of patent right | ||
| PE0701 | Decision of registration |
Patent event code: PE07011S01D Comment text: Decision to Grant Registration Patent event date: 20240830 |
|
| GRNT | Written decision to grant | ||
| PR0701 | Registration of establishment |
Comment text: Registration of Establishment Patent event date: 20240930 Patent event code: PR07011E01D |
|
| PR1002 | Payment of registration fee |
Payment date: 20241002 End annual number: 3 Start annual number: 1 |
|
| PG1601 | Publication of registration |