Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.11675 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911957119926272 |
|---|---|
| author | Quist, Arend-Jan Mei, Jingyi Coopmans, Tim Laarman, Alfons |
| author_facet | Quist, Arend-Jan Mei, Jingyi Coopmans, Tim Laarman, Alfons |
| contents | This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the exponential blow-up that makes them hard to analyze. Then, we show how weighted model counting (\#SAT) can be used to solve hard analysis tasks for quantum circuits.
This tutorial is aimed at everyone in the formal methods community with an interest in quantum computing. Familiarity with quantum computing is not required, but basic linear algebra knowledge (particularly matrix multiplication and basis vectors) is a prerequisite. The goal of the tutorial is to inspire the community to advance the development of quantum computing with formal methods. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_11675 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Advancing Quantum Computing with Formal Methods Quist, Arend-Jan Mei, Jingyi Coopmans, Tim Laarman, Alfons Quantum Physics This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the exponential blow-up that makes them hard to analyze. Then, we show how weighted model counting (\#SAT) can be used to solve hard analysis tasks for quantum circuits. This tutorial is aimed at everyone in the formal methods community with an interest in quantum computing. Familiarity with quantum computing is not required, but basic linear algebra knowledge (particularly matrix multiplication and basis vectors) is a prerequisite. The goal of the tutorial is to inspire the community to advance the development of quantum computing with formal methods. |
| title | Advancing Quantum Computing with Formal Methods |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2407.11675 |