The Harrow-Hassidim-Lloyd (HHL) algorithm remains a paradigmatic quantum routine for solving linear systems and a widely used benchmark in theoretical and experimental studies. Several circuit-level variants have been proposed to simplify its implementation, including constructions in which the clock register is factorized via Hadamard gates to reduce circuit depth and entanglement. In this work, we show that this commonly deployed modification can fundamentally alter the asymptotic behavior of the algorithm and may fail to converge in the limit of large clock size due to persistent phase interference effects. This phenomenon is not a finite-size artifact and compromises the correctness guarantees of the factorized-clock implementation. We provide an analytic characterization of the underlying mechanism and demonstrate that a minimal and experimentally feasible modification suffices to restore convergence while preserving the practical advantages of the simplified circuit. Our results clarify an overlooked correctness issue in a widely used HHL implementation pattern and delineate the conditions under which simplified realizations faithfully reproduce the intended algorithmic behavior.
Error convergence of quantum linear system solvers / Ginzburg, M., Marzolino, U.. - In: PHYSICAL REVIEW A. - ISSN 2469-9926. - 113:6(2026), pp. 062436."-"-062436."-". [10.1103/rjvs-sj7h]
Error convergence of quantum linear system solvers
Marzolino, Ugo
2026-01-01
Abstract
The Harrow-Hassidim-Lloyd (HHL) algorithm remains a paradigmatic quantum routine for solving linear systems and a widely used benchmark in theoretical and experimental studies. Several circuit-level variants have been proposed to simplify its implementation, including constructions in which the clock register is factorized via Hadamard gates to reduce circuit depth and entanglement. In this work, we show that this commonly deployed modification can fundamentally alter the asymptotic behavior of the algorithm and may fail to converge in the limit of large clock size due to persistent phase interference effects. This phenomenon is not a finite-size artifact and compromises the correctness guarantees of the factorized-clock implementation. We provide an analytic characterization of the underlying mechanism and demonstrate that a minimal and experimentally feasible modification suffices to restore convergence while preserving the practical advantages of the simplified circuit. Our results clarify an overlooked correctness issue in a widely used HHL implementation pattern and delineate the conditions under which simplified realizations faithfully reproduce the intended algorithmic behavior.| File | Dimensione | Formato | |
|---|---|---|---|
|
Phys Rev A113,062436(2026).pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Creative commons
Dimensione
1.21 MB
Formato
Adobe PDF
|
1.21 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


