Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908414469210112 |
|---|---|
| author | Hu, Siwei Lopata, Victor Soudjani, Sadegh Zuliani, Paolo |
| author_facet | Hu, Siwei Lopata, Victor Soudjani, Sadegh Zuliani, Paolo |
| contents | In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrating the correctness of such systems. These certificates ensure that, starting from initial states and applying the system's dynamics, the system will never reach undesired states. In this paper, we propose a methodology for synthesizing such certificates for quantum circuits using a scenario-based approach, for both finite and infinite time horizons. In addition, our approach can handle uncertainty in the initial states and in the system's dynamics. We present several case studies on quantum circuits, comparing the performance of different types of barrier certificate and analyzing which one is most suitable for each case. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_07635 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Hu, Siwei Lopata, Victor Soudjani, Sadegh Zuliani, Paolo Logic in Computer Science Quantum Physics In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrating the correctness of such systems. These certificates ensure that, starting from initial states and applying the system's dynamics, the system will never reach undesired states. In this paper, we propose a methodology for synthesizing such certificates for quantum circuits using a scenario-based approach, for both finite and infinite time horizons. In addition, our approach can handle uncertainty in the initial states and in the system's dynamics. We present several case studies on quantum circuits, comparing the performance of different types of barrier certificate and analyzing which one is most suitable for each case. |
| title | Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach |
| topic | Logic in Computer Science Quantum Physics |
| url | https://arxiv.org/abs/2506.07635 |