JPWO2020126537A5 - - Google Patents
Download PDFInfo
- Publication number
- JPWO2020126537A5 JPWO2020126537A5 JP2021519738A JP2021519738A JPWO2020126537A5 JP WO2020126537 A5 JPWO2020126537 A5 JP WO2020126537A5 JP 2021519738 A JP2021519738 A JP 2021519738A JP 2021519738 A JP2021519738 A JP 2021519738A JP WO2020126537 A5 JPWO2020126537 A5 JP WO2020126537A5
- Authority
- JP
- Japan
- Prior art keywords
- quantum
- logic gates
- circuit
- quantum circuit
- quantum logic
- 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.)
- Granted
Links
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US16/223,959 US10803215B2 (en) | 2018-12-18 | 2018-12-18 | Incremental generation of quantum circuits |
| US16/223,959 | 2018-12-18 | ||
| PCT/EP2019/083933 WO2020126537A1 (en) | 2018-12-18 | 2019-12-06 | Incremental generation of quantum circuits |
Publications (4)
| Publication Number | Publication Date |
|---|---|
| JP2022512061A JP2022512061A (ja) | 2022-02-02 |
| JP2022512061A5 JP2022512061A5 (https=) | 2022-02-09 |
| JPWO2020126537A5 true JPWO2020126537A5 (https=) | 2022-02-09 |
| JP7431491B2 JP7431491B2 (ja) | 2024-02-15 |
Family
ID=68841092
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2021519738A Active JP7431491B2 (ja) | 2018-12-18 | 2019-12-06 | 量子回路の増分的生成 |
Country Status (5)
| Country | Link |
|---|---|
| US (3) | US10803215B2 (https=) |
| EP (1) | EP3899812B1 (https=) |
| JP (1) | JP7431491B2 (https=) |
| CN (1) | CN113383348B (https=) |
| WO (1) | WO2020126537A1 (https=) |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10996979B2 (en) * | 2017-09-29 | 2021-05-04 | International Business Machines Corporation | Job processing in quantum computing enabled cloud environments |
| US10803215B2 (en) * | 2018-12-18 | 2020-10-13 | International Business Machines Corporation | Incremental generation of quantum circuits |
| US11829842B2 (en) | 2020-10-07 | 2023-11-28 | International Business Machines Corporation | Enhanced quantum circuit execution in a quantum service |
| WO2022087143A1 (en) * | 2020-10-20 | 2022-04-28 | Zapata Computing, Inc. | Parameter initialization on quantum computers through domain decomposition |
| CN112230818A (zh) * | 2020-10-30 | 2021-01-15 | 合肥本源量子计算科技有限责任公司 | 一种在终端界面编辑量子逻辑门的方法及装置 |
| US12293140B2 (en) | 2022-03-31 | 2025-05-06 | International Business Machines Corporation | Feed-forward design of three-dimensional quantum chips |
| WO2024111068A1 (ja) | 2022-11-22 | 2024-05-30 | 富士通株式会社 | 情報処理プログラム、情報処理方法、および情報処理装置 |
Family Cites Families (21)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20040122643A1 (en) | 2002-08-29 | 2004-06-24 | Anderson Howard C. | Apparatus and method for simulating switched-capacitor circuits |
| JP4700413B2 (ja) | 2005-05-31 | 2011-06-15 | 日本電信電話株式会社 | 量子演算装置及び量子回路を用いた量子演算方法 |
| US20140041040A1 (en) * | 2012-08-01 | 2014-02-06 | The Regents Of The University Of California | Creating secure multiparty communication primitives using transistor delay quantization in public physically unclonable functions |
| US9430595B2 (en) | 2012-12-01 | 2016-08-30 | Synopsys, Inc. | Managing model checks of sequential designs |
| CN103679751B (zh) * | 2013-12-03 | 2016-08-17 | 大连大学 | 一种基于量子计算的碰撞检测方法 |
| US10127499B1 (en) * | 2014-08-11 | 2018-11-13 | Rigetti & Co, Inc. | Operating a quantum processor in a heterogeneous computing architecture |
| US11010682B2 (en) | 2014-09-11 | 2021-05-18 | Microsoft Technology Licensing, Llc | Efficient synthesis of probabilistic quantum circuits with fallback |
| US10740689B2 (en) * | 2015-04-10 | 2020-08-11 | Microsoft Technology Licensing, Llc | Method and system for quantum circuit synthesis using quaternion algebra |
| US11113084B2 (en) * | 2015-04-10 | 2021-09-07 | Microsoft Technology Licensing, Llc | Method and system for approximate quantum circuit synthesis using quaternion algebra |
| US10664249B2 (en) | 2015-11-20 | 2020-05-26 | Microsoft Technology Licensing, Llc | Verified compilation of reversible circuits |
| US10360088B2 (en) * | 2015-11-20 | 2019-07-23 | Quantum Benchmark, Inc. | Randomized compiling for quantum computation |
| US10496931B2 (en) | 2016-10-19 | 2019-12-03 | Microsoft Technology Licensing, Llc | Exact quantum circuits and circuit syntheses for qudit and multiple qubit circuits |
| CN106528045B (zh) * | 2016-11-11 | 2018-12-04 | 重庆邮电大学 | 一种基于可逆逻辑门的4位可逆加/减法器 |
| US10332024B2 (en) | 2017-02-22 | 2019-06-25 | Rigetti & Co, Inc. | Modeling superconducting quantum circuit systems |
| EP3642959B1 (en) * | 2017-06-19 | 2023-11-08 | Rigetti & Co, LLC | Parametrically activated quantum logic gates |
| CA3133427A1 (en) * | 2017-10-18 | 2019-04-25 | Google Llc | Simulation of quantum circuits |
| US10922457B2 (en) * | 2017-10-19 | 2021-02-16 | University Of Maryland | Automated optimization of large-scale quantum circuits with continuous parameters |
| US11562277B2 (en) * | 2017-12-28 | 2023-01-24 | University Of Maryland, College Park | Use of global interactions in efficient quantum circuit constructions |
| CN108428023B (zh) * | 2018-05-24 | 2022-03-15 | 四川大学 | 基于量子加权门限重复单元神经网络的趋势预测方法 |
| US10803215B2 (en) * | 2018-12-18 | 2020-10-13 | International Business Machines Corporation | Incremental generation of quantum circuits |
| US11609751B2 (en) * | 2018-12-19 | 2023-03-21 | International Business Machines Corporation | Adaptive quantum circuit construction for multiple-controlled-NOT gates |
-
2018
- 2018-12-18 US US16/223,959 patent/US10803215B2/en active Active
-
2019
- 2019-12-06 JP JP2021519738A patent/JP7431491B2/ja active Active
- 2019-12-06 CN CN201980081493.7A patent/CN113383348B/zh active Active
- 2019-12-06 EP EP19817647.1A patent/EP3899812B1/en active Active
- 2019-12-06 WO PCT/EP2019/083933 patent/WO2020126537A1/en not_active Ceased
-
2020
- 2020-07-21 US US16/934,254 patent/US11182523B2/en active Active
-
2021
- 2021-09-24 US US17/484,171 patent/US11657196B2/en active Active
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2022512061A5 (https=) | ||
| Muralidharan et al. | Nitro: A framework for adaptive code variant tuning | |
| Ortona et al. | Rudik: Rule discovery in knowledge bases | |
| CN111104335B (zh) | 一种基于多层次分析的c语言缺陷检测方法及装置 | |
| Claessen et al. | Generating constrained random data with uniform distribution | |
| US12379872B2 (en) | Program detection method and apparatus | |
| Claessen et al. | Generating constrained random data with uniform distribution | |
| CN104090798A (zh) | 动静态结合的中断驱动程序数据竞争检测方法 | |
| Essertel et al. | Flare: Native compilation for heterogeneous workloads in Apache Spark | |
| Kamil et al. | Concurrency analysis for parallel programs with textually aligned barriers | |
| Kourta et al. | Caviar: an e-graph based TRS for automatic code optimization | |
| JPWO2020126537A5 (https=) | ||
| Eslamimehr et al. | Efficient detection and validation of atomicity violations in concurrent programs | |
| CN116610700A (zh) | 查询语句检测方法及装置、存储介质 | |
| Fang et al. | Evaluating the error resilience of parallel programs | |
| Calvagna et al. | Combinatorial interaction testing of a Java Card static verifier | |
| CN117273171A (zh) | 深度学习框架适配方法、装置、计算机设备和存储介质 | |
| Alowibdi et al. | An empirical study of data race detector tools | |
| CN114153750A (zh) | 代码检查方法及装置、代码编写方法、电子设备 | |
| Stetsenko et al. | Simulation of multithreaded algorithms using Petri-object models | |
| Arcaini et al. | Test generation for sequential nets of Abstract State Machines with information passing | |
| Yogananda Jeppu et al. | Enhancing active model learning with equivalence checking using simulation relations | |
| Betts et al. | Implementing and evaluating candidate-based invariant generation | |
| Cui et al. | Binary code vulnerability location identification with fine-grained slicing | |
| Wang et al. | Jstifuzz: Type-inference-based javascript engine fuzzing |