Equivalence checking of quantum circuits via intermediary matrix product operator
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vital role in identifying errors that may arise during compilation and optimization of these circuits and is a critical st...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
American Physical Society
2025-06-01
|
| Series: | Physical Review Research |
| Online Access: | http://doi.org/10.1103/3q71-y8cf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|