aiqbench analysis
This study investigates the fundamental limits of generating peaked quantum circuits for verifiable advantage, challenging existing hypotheses about barren plateaus and solution fragmentation as the primary bottlenecks. By analyzing optimization landscapes across varying qubit counts, the authors demonstrate that decay in peakedness persists even with improved optimizers, suggesting intrinsic hardness rather than just training inefficiency. The findings imply that future breakthroughs must address deeper structural constraints in variational circuit generation to scale beyond current hardware limits.
The optimization landscape of peaked-circuit generation
arXiv:2608.11890v2 Announce Type: replace Abstract: Peaked circuits are random quantum circuits whose measurement returns one bitstring far more often than chance. The probability of that string is the peakedness, and a verifier who knows the string checks the device in a few shots. Peaked circuits are a candidate route to verifiable quantum advantage, and classical generation is the bottleneck. Aaronson and Zhang train a variational circuit by gradient descent, and the peakedness they reach decays exponentially with the number of qubits. They state that either their optimizer stalls or no efficient generation method exists. Here we show that no bare fixed base fits the decay we measure and that neither the barren plateau nor fragmentation of the solution set explains it. We measure the optimization landscape on eighteen instances per size, from eight to sixteen qubits, under a protocol whose falsifiers were fixed in advance. The decay steepens as the qubit number grows, leaving extrapolations to larger devices unsupported. A better optimizer exists, but it gains a few percent and the peakedness it reaches decays at nearly the same rate. Aaronson and Zhang attribute the difficulty to a barren plateau. The plateau is present, but the second-order amplitude data are depth-independent while the attained peakedness is not. Independent runs land on uncorrelated solutions, yet paths connecting them stay well above the scale of a random state, so fragmentation fails at that scale. In the deep limit we take the scrambled state Haar-random. There we prove that no search over a polynomial-parameter Lipschitz family, exhaustive search included, beats the scale of a random state by more than a poly(n) factor on average. Both branches of the Aaronson-Zhang alternative therefore stay open. A generation method must beat a preregistered baseline, and a hardness argument must accommodate a solution set connected at the scale of a random state.
Abstract:Peaked circuits are random quantum circuits whose measurement returns one bitstring far more often than chance. The probability of that string is the peakedness, and a verifier who knows the string checks the device in a few shots. Peaked circuits are a candidate route to verifiable quantum advantage, and classical generation is the bottleneck. Aaronson and Zhang train a variational circuit by gradient descent, and the peakedness they reach decays exponentially with the number of qubits. They state that either their optimizer stalls or no efficient generation method exists. Here we show that no bare fixed base fits the decay we measure and that neither the barren plateau nor fragmentation of the solution set explains it. We measure the optimization landscape on eighteen instances per size, from eight to sixteen qubits, under a protocol whose falsifiers were fixed in advance. The decay steepens as the qubit number grows, leaving extrapolations to larger devices unsupported. A better optimizer exists, but it gains a few percent and the peakedness it reaches decays at nearly the same rate. Aaronson and Zhang attribute the difficulty to a barren plateau. The plateau is present, but the second-order amplitude data are depth-independent while the attained peakedness is not. Independent runs land on uncorrelated solutions, yet paths connecting them stay well above the scale of a random state, so fragmentation fails at that scale. In the deep limit we take the scrambled state Haar-random. There we prove that no search over a polynomial-parameter Lipschitz family, exhaustive search included, beats the scale of a random state by more than a poly(n) factor on average. Both branches of the Aaronson-Zhang alternative therefore stay open. A generation method must beat a preregistered baseline, and a hardness argument must accommodate a solution set connected at the scale of a random state.
35 pages, 6 figures, 2 tables. Analysis code, logs and data archived on Zenodo (doi:https://doi.org/10.5281/zenodo.22121530, doi:https://doi.org/10.5281/zenodo.22033295%29%3B see the Data and code availability section
arXiv:2608.11890 [quant-ph]
(or arXiv:2608.11890v2 [quant-ph] for this version)
Full text under the publisher's open licence · 331 words
Related coverage
The hard physics and complex economics of AI’s insatiable hunger for power
SiliconANGLE · Sep 11, 2026
A brief history of quantum vs classical computational advantage
Quantum Journal · Sep 1, 2026
PIRAMID: Progress and Plans
LessWrong · Jul 27, 2026
AI solves 100-variable quantum circuit problems faster
Quantum Zeitgeist · Jul 23, 2026