{"id":"arxiv/2605.07518","url":"https://arxiv.org/abs/2605.07518","tags":["quant-ph","cs.DS"],"score":0,"title":"Loop Composition in Quantum Algorithms","domain":"quant-ph","source":"arxiv","authors":["Stacey Jeffery","Manideep Mamindlapally","Alex Baudoin Nguetsa Tankeu"],"reviews":0,"subject":"quant-ph","summary":"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…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}