Practical Modern Quantum Programming
In this thesis we present a compiler for Cavy, an imperative quantum programming language. The main contribution of the Cavy system is the application of region inference to the problem of safe and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
Massachusetts Institute of Technology
2022
|
| Online Access: | https://hdl.handle.net/1721.1/140068 |
| _version_ | 1826196809103441920 |
|---|---|
| author | McNally, Christopher Michael |
| author2 | Oliver, William D. |
| author_facet | Oliver, William D. McNally, Christopher Michael |
| author_sort | McNally, Christopher Michael |
| collection | MIT |
| description | In this thesis we present a compiler for Cavy, an imperative quantum programming language. The main contribution of the Cavy system is the application of region inference to the problem of safe and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible subset. This approach enables the compilation of optimized quantum circuits from programs with arbitrary ancilla operations. In contrast with other recent work on ancilla deallocation, the safety analysis is a variant of the borrow checker introduced in the Rust programming language. It features “move references,” a unique reference type that can safely transfer ownership of its referent.
To frame the problem and motivate these features, we describe a quantum algorithm whose recent experimental implementation strains the expressiveness of traditional linearly-typed quantum programming languages, and give a Cavy implementation of this algorithm. |
| first_indexed | 2024-09-23T10:38:18Z |
| format | Thesis |
| id | mit-1721.1/140068 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:38:18Z |
| publishDate | 2022 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1400682022-02-08T03:49:24Z Practical Modern Quantum Programming McNally, Christopher Michael Oliver, William D. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science In this thesis we present a compiler for Cavy, an imperative quantum programming language. The main contribution of the Cavy system is the application of region inference to the problem of safe and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible subset. This approach enables the compilation of optimized quantum circuits from programs with arbitrary ancilla operations. In contrast with other recent work on ancilla deallocation, the safety analysis is a variant of the borrow checker introduced in the Rust programming language. It features “move references,” a unique reference type that can safely transfer ownership of its referent. To frame the problem and motivate these features, we describe a quantum algorithm whose recent experimental implementation strains the expressiveness of traditional linearly-typed quantum programming languages, and give a Cavy implementation of this algorithm. S.M. 2022-02-07T15:22:12Z 2022-02-07T15:22:12Z 2021-09 2021-09-21T19:54:12.892Z Thesis https://hdl.handle.net/1721.1/140068 In Copyright - Educational Use Permitted Copyright MIT http://rightsstatements.org/page/InC-EDU/1.0/ application/pdf Massachusetts Institute of Technology |
| spellingShingle | McNally, Christopher Michael Practical Modern Quantum Programming |
| title | Practical Modern Quantum Programming |
| title_full | Practical Modern Quantum Programming |
| title_fullStr | Practical Modern Quantum Programming |
| title_full_unstemmed | Practical Modern Quantum Programming |
| title_short | Practical Modern Quantum Programming |
| title_sort | practical modern quantum programming |
| url | https://hdl.handle.net/1721.1/140068 |
| work_keys_str_mv | AT mcnallychristophermichael practicalmodernquantumprogramming |