AU2020237590B2 - Compilation of quantum algorithms - Google Patents

Compilation of quantum algorithms Download PDF

Info

Publication number
AU2020237590B2
AU2020237590B2 AU2020237590A AU2020237590A AU2020237590B2 AU 2020237590 B2 AU2020237590 B2 AU 2020237590B2 AU 2020237590 A AU2020237590 A AU 2020237590A AU 2020237590 A AU2020237590 A AU 2020237590A AU 2020237590 B2 AU2020237590 B2 AU 2020237590B2
Authority
AU
Australia
Prior art keywords
quantum
quantum gates
program instructions
gates
subset
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
AU2020237590A
Other languages
English (en)
Other versions
AU2020237590A1 (en
Inventor
Ali JAVADIABHARI
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 AU2020237590A1 publication Critical patent/AU2020237590A1/en
Application granted granted Critical
Publication of AU2020237590B2 publication Critical patent/AU2020237590B2/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/20—Models of quantum computing, e.g. quantum circuits or universal quantum computers
    • 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
    • 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 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
    • 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Condensed Matter Physics & Semiconductors (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computing Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Physics (AREA)
  • Computational Mathematics (AREA)
  • Artificial Intelligence (AREA)
  • Geometry (AREA)
  • Logic Circuits (AREA)
  • Devices For Executing Special Programs (AREA)
AU2020237590A 2019-03-08 2020-02-25 Compilation of quantum algorithms Active AU2020237590B2 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US16/296,817 US20200285985A1 (en) 2019-03-08 2019-03-08 Constant folding for compilation of quantum algorithms
US16/296,817 2019-03-08
PCT/EP2020/054913 WO2020182466A1 (en) 2019-03-08 2020-02-25 Compilation of quantum algorithms

Publications (2)

Publication Number Publication Date
AU2020237590A1 AU2020237590A1 (en) 2021-09-30
AU2020237590B2 true AU2020237590B2 (en) 2023-04-27

Family

ID=69699904

Family Applications (1)

Application Number Title Priority Date Filing Date
AU2020237590A Active AU2020237590B2 (en) 2019-03-08 2020-02-25 Compilation of quantum algorithms

Country Status (7)

Country Link
US (1) US20200285985A1 (https=)
EP (1) EP3935582A1 (https=)
JP (1) JP7320065B2 (https=)
KR (1) KR20210124417A (https=)
CN (1) CN113544710A (https=)
AU (1) AU2020237590B2 (https=)
WO (1) WO2020182466A1 (https=)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11853731B2 (en) * 2020-03-24 2023-12-26 IonQ, Inc. Pulse generation
US12468538B2 (en) * 2020-05-12 2025-11-11 Jpmorgan Chase Bank, N.A. Systems and methods for optimized quantum searching
WO2022115156A2 (en) * 2020-09-30 2022-06-02 IonQ, Inc. Optimizing circuit compiler for trapped-ion quantum computers
US12277477B2 (en) * 2020-12-14 2025-04-15 International Business Machines Corporation Quantum circuit optimization routine evaluation and knowledge base generation
US11687821B2 (en) * 2021-06-22 2023-06-27 Classiq Technologies LTD. Efficient execution of a quantum program
KR102867830B1 (ko) * 2021-11-23 2025-10-13 한국전자통신연구원 Sha-256 양자 회로 설계 장치 및 방법
JP7716030B2 (ja) 2022-06-29 2025-07-31 富士通株式会社 量子回路設計プログラム、量子回路設計方法および量子回路設計装置
US20230108339A1 (en) * 2022-12-07 2023-04-06 Intel Corporation Circuit Implementation on Processing Circuitry
US20240211791A1 (en) * 2022-12-22 2024-06-27 University Of Chicago Systems and methods for optimized pulses for continuous quantum gate families through parameter space interpolation
WO2024154265A1 (ja) * 2023-01-18 2024-07-25 富士通株式会社 量子回路設計支援プログラム、量子回路設計支援方法および量子回路設計支援装置
US20250124325A1 (en) * 2023-10-13 2025-04-17 Red Hat, Inc. Test method validation using quantum algorithms

Family Cites Families (2)

* 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
DK3105718T3 (da) * 2014-02-12 2020-08-03 Microsoft Technology Licensing Llc Forbedret kredsløb til kemisimulering

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
HÄNER, T. et al., "Using Hoare logic for quantum circuit optimization", arXiv.org, 29 November 2018, <https://arxiv.org/pdf/1810.00375.pdf> *
YUNSEONG N. et al., "Automated optimization of large quantum circuits with continuous parameters", NPJ QUANTUM INFORMATION, vol. 4, no. 1, 1 June 2018, pp. 1-12. *

Also Published As

Publication number Publication date
JP7320065B2 (ja) 2023-08-02
CN113544710A (zh) 2021-10-22
US20200285985A1 (en) 2020-09-10
KR20210124417A (ko) 2021-10-14
WO2020182466A1 (en) 2020-09-17
AU2020237590A1 (en) 2021-09-30
EP3935582A1 (en) 2022-01-12
JP2022522600A (ja) 2022-04-20

Similar Documents

Publication Publication Date Title
AU2020237590B2 (en) Compilation of quantum algorithms
JP7493526B2 (ja) 量子コンピューティングにおける適応エラー修正
US11645132B2 (en) Noise and calibration adaptive compilation of quantum programs
US12106182B2 (en) Validating and estimating runtime for quantum algorithms
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
US20200202247A1 (en) Adaptive quantum circuit construction for multiple-controlled-not gates

Legal Events

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