analiza aiqbench
This research rigorously demonstrates that realistic structural properties of power grids, such as regional splitting and long transmission chains, impose polynomial or quadratic growth in condition numbers that preclude end-to-end quantum advantage for DC and AC power flow problems. By formally verifying these bounds with Lean 4 code, the study effectively rules out near-term utility for quantum computers in solving standard optimal power flow and unit commitment tasks under current grid topologies. These findings provide a critical theoretical boundary for researchers aiming to apply quantum algorithms to energy systems, shifting focus toward hybrid classical-quantum approaches or specific problem subsets where these structural obstructions do not dominate.
The Limits of Quantum Computers for Power Flow
arXiv:2607.19263v1 Announce Type: new Abstract: This letter proves realistic grid properties limit the applicability of quantum computers for power flow. Grids that split into two large regions meeting at only a few buses, common in transmission networks, force the pseudo condition number of the DC susceptance matrix to grow polynomially in the network size, and long chains of lines bridging such regions force quadratic growth, making recent empirical observations rigorous. The bounds also hold with overwhelming probability for arbitrary bounded random line susceptances. Combined with query and tomography lower bounds, this precludes end-to-end quantum advantage for DC power flow at every readout level, and these obstructions persist through AC power flow, optimal power flow, and unit commitment. All proofs are formally verified with accompanying Lean 4 source code.
Abstract:This letter proves realistic grid properties limit the applicability of quantum computers for power flow. Grids that split into two large regions meeting at only a few buses, common in transmission networks, force the pseudo condition number of the DC susceptance matrix to grow polynomially in the network size, and long chains of lines bridging such regions force quadratic growth, making recent empirical observations rigorous. The bounds also hold with overwhelming probability for arbitrary bounded random line susceptances. Combined with query and tomography lower bounds, this precludes end-to-end quantum advantage for DC power flow at every readout level, and these obstructions persist through AC power flow, optimal power flow, and unit commitment. All proofs are formally verified with accompanying Lean 4 source code.
Quantum Physics (quant-ph); Systems and Control (eess.SY)
arXiv:2607.19263 [quant-ph]
(or arXiv:2607.19263v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2607.19263 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 221 cuvinte
Subiecte conexe

PGLib Rules Out Quantum Power Flow Advantage at Every Readout Level
Quantum Zeitgeist · 11 aug. 2026

AI and Quantum Computing Briefing
livetradingnews.com · 4 aug. 2026

Quantum Computing Is Emerging as a Tool for Tomorrow Electrical Grids
powermag.com · 21 iul. 2026

University of Waterloo Finds Entanglement Limits Simulation
Quantum Zeitgeist · 15 iul. 2026