Tools for Quantum Software Engineering
Gespeichert in:
| Veröffentlicht in: | PQDT - Global (2025) |
|---|---|
| 1. Verfasser: | |
| Veröffentlicht: |
ProQuest Dissertations & Theses
|
| Schlagworte: | |
| Online-Zugang: | Citation/Abstract Full Text - PDF Full text outside of ProQuest |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3273138800 | ||
| 003 | UK-CbPIL | ||
| 020 | |a 9798263317966 | ||
| 035 | |a 3273138800 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 084 | |a 189128 |2 nlm | ||
| 100 | 1 | |a Gavriel, Jason | |
| 245 | 1 | |a Tools for Quantum Software Engineering | |
| 260 | |b ProQuest Dissertations & Theses |c 2025 | ||
| 513 | |a Dissertation/Thesis | ||
| 520 | 3 | |a This thesis studies the multiple levels of the quantum software development stack, spanning from high-level algorithm design to fault-tolerant architectures. We begin by presenting a novel technique for preparing non-Pauli resource states directly on the surface code. These resources can be used to enact non-Clifford logical gates which are a costly but essential requirement for universal quantum computation. Alongside this result, we demonstrate the use of automated tools for benchmarking this state preparation protocol leveraging modern hardware and innovative software approaches for accelerating the generation of results. The following chapter focuses on resource estimation tools and addresses the problem of translating between different quantum software development platforms. In this work, we produce a tool for Q# to Cirq translation that operates in conjunction with graph visualisation tools and benchmarking tools. We use these resource estimation tools to benchmark a supremacy-type experiment run on fault-tolerant architectures. We then utilise graph theory to prove a grid structure is optimal for demonstrating quantum advantage on a processor with bounded physical resources. We conclude this thesis with a study on minimal gate-sets, namely the Toffoli + Hadamard gate-set, and demonstrate the process of compiling an algorithm in an alternative, restricted gate-set. | |
| 653 | |a Circuits | ||
| 653 | |a Decomposition | ||
| 653 | |a Software | ||
| 653 | |a Fourier transforms | ||
| 653 | |a Error correction & detection | ||
| 653 | |a Computer engineering | ||
| 773 | 0 | |t PQDT - Global |g (2025) | |
| 786 | 0 | |d ProQuest |t Publicly Available Content Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3273138800/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3273138800/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u https://opus.lib.uts.edu.au/handle/10453/190582 |