Approximate Equivalence Checking of Noisy Quantum Circuits

We study the fundamental design automation problem of equivalence checking in the NISQ (Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present inevitably. The notion of approximate equivalence of (possibly noisy) quantum circuits is defined based on the Jamiolkowski fidelit...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2021 58th ACM/IEEE Design Automation Conference (DAC) S. 637 - 642
Hauptverfasser:	Hong, Xin, Ying, Mingsheng, Feng, Yuan, Zhou, Xiangzhen, Li, Sanjiang
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 05.12.2021
Schlagworte:	Approximation algorithms Benchmark testing Design automation equivalence checking noise Noise measurement Quantum circuit quantum circuits Quantum computing Scalability Tensors
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!