Loop Composition in Quantum Algorithms
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911662042251264 |
|---|---|
| author | Jeffery, Stacey Mamindlapally, Manideep Tankeu, Alex Baudoin Nguetsa |
| author_facet | Jeffery, Stacey Mamindlapally, Manideep Tankeu, Alex Baudoin Nguetsa |
| contents | The quantum circuit model essentially treats every quantum algorithm as a straight-line program. While this view is universal, recent work has shown that it is inconvenient for using different-length quantum subroutines in superposition. Using the quantum walk formalism of quantum algorithms, it is possible to model such branching behaviour, and get better composition in this setting.
We apply the above branching composition to Grover's algorithm, which gives a variable-time quantum search algorithm that is worse than previous work. The reason it is worse is because branching composition does not take into account another deviation from straight-line programs: looping. We show that by modifying branching composition to also include looping, we can get a complexity that matches previous work. This highlights the importance of properly modeling the program control flow when designing quantum algorithms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_07518 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Loop Composition in Quantum Algorithms Jeffery, Stacey Mamindlapally, Manideep Tankeu, Alex Baudoin Nguetsa Quantum Physics Data Structures and Algorithms The quantum circuit model essentially treats every quantum algorithm as a straight-line program. While this view is universal, recent work has shown that it is inconvenient for using different-length quantum subroutines in superposition. Using the quantum walk formalism of quantum algorithms, it is possible to model such branching behaviour, and get better composition in this setting. We apply the above branching composition to Grover's algorithm, which gives a variable-time quantum search algorithm that is worse than previous work. The reason it is worse is because branching composition does not take into account another deviation from straight-line programs: looping. We show that by modifying branching composition to also include looping, we can get a complexity that matches previous work. This highlights the importance of properly modeling the program control flow when designing quantum algorithms. |
| title | Loop Composition in Quantum Algorithms |
| topic | Quantum Physics Data Structures and Algorithms |
| url | https://arxiv.org/abs/2605.07518 |