Equivalence Checking of Dynamic Quantum Circuits-Reference-Cited by-同舟云学术

Equivalence Checking of Dynamic Quantum Circuits

Published:2022-10-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
language:
Short-container-title:

Author:

Hong Xin¹,Feng Yuan¹,Li Sanjiang¹,Ying Mingsheng²

Affiliation:

1. University of Technology Sydney, Sydney, Australia

2. Tsinghua University, Beijing, China

Funder

National Key R&D Program of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3508352.3549479

Reference26 articles.

1. Christian Kraglund Andersen , Ants Remm , Stefania Lazar , Sebastian Krinner , Johannes Heinsoo , Jean-Claude Besse , Mihai Gabureac , Andreas Wallraff , and Christopher Eichler . 2019. Entanglement stabilization using ancilla-based parity detection and real-time feedback in superconducting circuits. npj Quantum Information 5, 1 ( 2019 ), 1--7. Christian Kraglund Andersen, Ants Remm, Stefania Lazar, Sebastian Krinner, Johannes Heinsoo, Jean-Claude Besse, Mihai Gabureac, Andreas Wallraff, and Christopher Eichler. 2019. Entanglement stabilization using ancilla-based parity detection and real-time feedback in superconducting circuits. npj Quantum Information 5, 1 (2019), 1--7.

2. MD Barrett J Chiaverini T Schaetz J Britton WM Itano JD Jost E Knill C Langer D Leibfried R Ozeri etal 2004. Deterministic quantum teleportation of atomic qubits. Nature 429 6993 (2004) 737--739. MD Barrett J Chiaverini T Schaetz J Britton WM Itano JD Jost E Knill C Langer D Leibfried R Ozeri et al. 2004. Deterministic quantum teleportation of atomic qubits. Nature 429 6993 (2004) 737--739.

3. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels

4. Jacob Biamonte . 2019. Lectures on quantum tensor networks. arXiv:1912.10049 ( 2019 ). Jacob Biamonte. 2019. Lectures on quantum tensor networks. arXiv:1912.10049 (2019).

5. Simulation of quantum circuits by low-rank stabilizer decompositions

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence, identity, and unitarity checking in black-box testing of quantum programs;Journal of Systems and Software;2024-05

2. On the need for effective tools for debugging quantum programs;Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering;2024-04-16

3. Equivalence Checking of Quantum Circuits by Model Counting;Lecture Notes in Computer Science;2024

4. Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?;Lecture Notes in Computer Science;2024

5. Simulating Quantum Circuits by Model Counting;Lecture Notes in Computer Science;2024