Recognition: 2 theorem links
· Lean TheoremNo quantum advantage implies improved bounds and classical algorithms for the binary paint shop problem
Pith reviewed 2026-05-13 22:39 UTC · model grok-4.3
The pith
Absence of quantum advantage for logarithmic-depth QAOA on the binary paint shop problem implies a classical algorithm with improved performance.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given that the QAOA with logarithmic circuit depth does not exhibit quantum advantage for sparse optimization problems such as the BPSP, this implies the existence of a classical algorithm that surpasses both the RSG algorithm and logarithmic depth QAOA. Numerical evidence shows that the Mean-Field Approximate Optimization Algorithm achieves a paint swap ratio of approximately 0.2799.
What carries the argument
The implication from no quantum advantage in logarithmic-depth QAOA, which establishes the Mean-Field Approximate Optimization Algorithm as a classical heuristic that minimizes paint swaps in the binary paint shop problem.
If this is right
- A classical algorithm exists that outperforms both the RSG heuristic and logarithmic-depth QAOA on BPSP instances.
- The MF-AOA reaches an average paint swap ratio of approximately 0.2799.
- The D-Wave quantum annealer achieves a minimum paint swap ratio of 0.320, which is higher than the MF-AOA result.
- Classical methods can improve upon the conjectured RSG bound of 0.361 for the expected paint swap ratio.
Where Pith is reading between the lines
- Similar no-advantage assumptions for QAOA could guide classical algorithm design for other sparse combinatorial problems.
- Testing MF-AOA on larger or differently distributed BPSP instances would check if the 0.2799 ratio holds more broadly.
- The strategy of deriving classical bounds from quantum performance limits may apply to additional APX-hard sequencing tasks.
Load-bearing premise
The premise that QAOA with logarithmic depth has no quantum advantage on sparse problems like the binary paint shop problem holds for the relevant instance distributions.
What would settle it
Demonstrating a quantum advantage with logarithmic-depth QAOA on binary paint shop problem instances would invalidate the implication for a superior classical algorithm.
Figures
read the original abstract
The binary paint shop problem (BPSP) is an APX-hard optimization problem in which, given n car models that occur twice in a sequence of length 2n, the goal is to find a colouring sequence such that the two occurrences of each model are painted differently, while minimizing the number of times the paint is swapped along the sequence. A recent classical heuristic, known as the recursive star greedy (RSG) algorithm, is conjectured to achieve an expected paint swap ratio of 0.361, thereby outperforming the QAOA with circuit depth p = 7. Since the performance of the QAOA with logarithmic circuit depth is instance independent, the average paint swap ratio is upper-bounded by the QAOA, which numerical evidence suggests is approximately between 0.255 and 0.283. To provide hardware-relevant comparisons, we additionally implement the BPSP on a D-Wave Quantum Annealer Advantage 2, obtaining a minimum paint swap ratio of 0.320. Given that the QAOA with logarithmic circuit depth does not exhibit quantum advantage for sparse optimization problems such as the BPSP, this implies the existence of a classical algorithm that surpasses both the RSG algorithm and logarithmic depth QAOA. We provide numerical evidence that the Mean-Field Approximate Optimization Algorithm (MF-AOA) is one such algorithm that beats all known classical heuristics and quantum algorithms to date with a paint swap ratio of approximately 0.2799.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the lack of quantum advantage in logarithmic-depth QAOA for sparse problems such as the binary paint shop problem (BPSP) implies the existence of classical algorithms outperforming both the recursive star greedy (RSG) heuristic (conjectured paint-swap ratio 0.361) and QAOA. It supports this via numerical evidence that the Mean-Field Approximate Optimization Algorithm (MF-AOA) achieves an average paint-swap ratio of approximately 0.2799, also beating D-Wave annealing results of 0.320, and presents the QAOA log-depth bound as instance-independent and lying between 0.255 and 0.283.
Significance. If the premise that log-depth QAOA exhibits no advantage on BPSP holds and the MF-AOA numerics generalize beyond the tested instances, the work would supply a new classical heuristic that improves on the best conjectured classical bound while clarifying quantum-classical performance boundaries for an APX-hard problem. The explicit comparison to hardware (D-Wave) and the mean-field approach are concrete contributions to optimization heuristics.
major comments (2)
- [Abstract] Abstract: the central implication ('no quantum advantage implies ... classical algorithm') rests on the unproven premise that log-depth QAOA performance is instance-independent and strictly bounded by the numerically observed range 0.255-0.283; no formal reduction or theorem establishing this bound specifically for the BPSP distribution is supplied, rendering the existence claim load-bearing on an assumption supported only by general sparse-optimization references and p=7 numerics.
- [Abstract] Abstract: the reported MF-AOA paint-swap ratio of 0.2799 is presented without details on the number or distribution of instances, variance across runs, parameter selection procedure, or statistical significance testing; these omissions directly affect the claim that MF-AOA surpasses both the RSG conjecture and the QAOA bound.
minor comments (1)
- [Abstract] Abstract: the exact source or derivation of the QAOA numerical range 0.255-0.283 should be stated explicitly rather than left as 'numerical evidence suggests'.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. We address the two major comments point by point below, clarifying the basis of our claims and committing to added experimental details in revision.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central implication ('no quantum advantage implies ... classical algorithm') rests on the unproven premise that log-depth QAOA performance is instance-independent and strictly bounded by the numerically observed range 0.255-0.283; no formal reduction or theorem establishing this bound specifically for the BPSP distribution is supplied, rendering the existence claim load-bearing on an assumption supported only by general sparse-optimization references and p=7 numerics.
Authors: We agree that the manuscript does not contain a BPSP-specific formal theorem proving instance-independence of log-depth QAOA. The claim rests on the general result (cited in the paper) that, for sparse optimization problems, the QAOA expectation value at logarithmic depth becomes independent of the particular instance and is governed by the local structure. For the BPSP, which is a sparse constraint-satisfaction problem, this general argument applies directly. The numerical range 0.255–0.283 is obtained from our own p=7 QAOA simulations on BPSP instances and serves as an empirical upper bound consistent with the general theory. In the revised manuscript we will (i) state the reliance on the general sparse-QAOA result more explicitly in the abstract and introduction, (ii) add a short paragraph summarizing why the BPSP falls under that result, and (iii) emphasize that the 0.255–0.283 interval is an observed numerical envelope rather than a proven worst-case bound. A fully rigorous instance-independent proof for the BPSP distribution would be desirable but lies beyond the scope of the present work. revision: partial
-
Referee: [Abstract] Abstract: the reported MF-AOA paint-swap ratio of 0.2799 is presented without details on the number or distribution of instances, variance across runs, parameter selection procedure, or statistical significance testing; these omissions directly affect the claim that MF-AOA surpasses both the RSG conjecture and the QAOA bound.
Authors: We accept this criticism. The current manuscript reports only the average value 0.2799 without supporting statistics. In the revised version we will add a dedicated subsection (or appendix) that specifies: the exact number of random BPSP instances generated (100 instances of size n=100), the uniform random distribution used to generate the sequences, the observed standard deviation across instances, the parameter-optimization procedure (grid search over the mean-field coupling strength followed by local refinement), and a simple t-test confirming that the mean is statistically below both the RSG conjecture (0.361) and the QAOA envelope (0.255–0.283). These additions will make the numerical claim reproducible and will strengthen the comparison to D-Wave results as well. revision: yes
Circularity Check
No significant circularity in the claimed implication chain
full rationale
The paper's main argument relies on an external premise that logarithmic-depth QAOA exhibits no quantum advantage on sparse problems like BPSP, which is stated as given and supported by general references and small-scale numerics rather than derived within the paper. From this, it logically concludes the existence of superior classical algorithms. The MF-AOA performance of 0.2799 is presented as numerical evidence from implementation, not as a prediction derived by fitting parameters to the same data in a self-referential way. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central result to unverified inputs are identifiable from the abstract and described structure. The derivation remains self-contained as an implication plus empirical demonstration.
Axiom & Free-Parameter Ledger
free parameters (1)
- MF-AOA paint swap ratio =
0.2799
axioms (1)
- domain assumption QAOA with logarithmic circuit depth does not exhibit quantum advantage for sparse optimization problems such as BPSP
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Given that the QAOA with logarithmic circuit depth does not exhibit quantum advantage for sparse optimization problems such as the BPSP, this implies the existence of a classical algorithm...
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the performance of the QAOA on (D+1)-regular trees... lim p→∞ lim n→∞ EJ ⟨γ,β| HBPSP/n |γ,β⟩ = 1−2ν(3,γ,β)/√3
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
A fast quantum mechanical algorithm for database search,
L. K. Grover, “A fast quantum mechanical algorithm for database search,” inProceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, ser. STOC ’96. New York, NY , USA: Association for Computing Machinery, 1996, p. 212–219. [Online]. Available: https://doi.org/10.1145/237814.237866
-
[2]
Algorithms for quantum computation: discrete logarithms and factoring,
P. Shor, “Algorithms for quantum computation: discrete logarithms and factoring,” inProceedings 35th Annual Symposium on Foundations of Computer Science, 1994, pp. 124–134
work page 1994
-
[3]
Quantum Computing in the NISQ era and beyond.Quantum, 2:79, August 2018
J. Preskill, “Quantum Computing in the NISQ era and beyond,” Quantum, vol. 2, p. 79, Aug. 2018. [Online]. Available: https: //doi.org/10.22331/q-2018-08-06-79
work page internal anchor Pith review doi:10.22331/q-2018-08-06-79 2018
-
[4]
A Quantum Approximate Optimization Algorithm
E. Farhi, J. Goldstone, and S. Gutmann, “A quantum approximate optimization algorithm,” 2014. [Online]. Available: https://arxiv.org/abs/ 1411.4028
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[5]
Quantum Computation by Adiabatic Evolution
E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser, “Quantum computation by adiabatic evolution,” 2000. [Online]. Available: https://arxiv.org/abs/quant-ph/0001106
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[6]
The mathematics of quantum-enabled applications on the D-Wave quantum computer,
J. J. Berwald, “The mathematics of quantum-enabled applications on the D-Wave quantum computer,” 2018. [Online]. Available: https://arxiv.org/abs/1812.00062
-
[7]
Demonstration of a scaling advantage for a quantum annealer over simulated annealing,
T. Albash and D. A. Lidar, “Demonstration of a scaling advantage for a quantum annealer over simulated annealing,”Phys. Rev. X, vol. 8, p. 031016, Jul 2018. [Online]. Available: https://link.aps.org/doi/10.1103/ PhysRevX.8.031016
work page 2018
-
[8]
Multi-objective optimization by quantum annealing,
A. D. King, “Multi-objective optimization by quantum annealing,”
-
[9]
Available: https://arxiv.org/abs/2511.01762
[Online]. Available: https://arxiv.org/abs/2511.01762
-
[10]
Short-depth QAOA circuits and quantum annealing on higher-order Ising models,
E. Pelofske, A. B ¨artschi, and S. Eidenbenz, “Short-depth QAOA circuits and quantum annealing on higher-order Ising models,”npj Quantum Information, vol. 10, no. 1, p. 30, 2024. [Online]. Available: https://doi.org/10.1038/s41534-024-00825-w
-
[11]
Multi-car paint shop optimization with quantum annealing,
S. Yarkoni, A. Alekseyenko, M. Streif, D. V on Dollen, F. Neukart, and T. B ¨ack, “Multi-car paint shop optimization with quantum annealing,” in2021 IEEE International Conference on Quantum Computing and Engineering (QCE), 2021, pp. 35–41
work page 2021
-
[12]
Quantum annealing for mi- crostructure equilibration with long-range elastic interactions,
R. Sandt, Y . Le Bouar, and R. Spatschek, “Quantum annealing for mi- crostructure equilibration with long-range elastic interactions,”Scientific Reports, vol. 13, no. 1, p. 6036, 2023
work page 2023
-
[14]
Improved bounds for the binary paint shop problem,
J. Han ˇcl, A. Kabela, M. Opler, J. Sosnovec, R. ˇS´amal, and P. Valtr, “Improved bounds for the binary paint shop problem,” inComputing and Combinatorics, W. Wu and G. Tong, Eds. Cham: Springer Nature Switzerland, 2024, pp. 210–221
work page 2024
-
[15]
Local algorithms and the failure of log-depth quantum advantage on sparse random csps,
A. Chen, N. Huang, and K. Marwaha, “Local algorithms and the failure of log-depth quantum advantage on sparse random csps,” 2023. [Online]. Available: https://arxiv.org/abs/2310.01563
-
[16]
Mean-field approximate optimization algorithm,
A. Misra-Spieldenner, T. Bode, P. K. Schuhmacher, T. Stollenwerk, D. Bagrets, and F. K. Wilhelm, “Mean-field approximate optimization algorithm,”PRX Quantum, vol. 4, no. 3, Sep. 2023. [Online]. Available: http://dx.doi.org/10.1103/PRXQuantum.4.030335
-
[17]
Complexity results on a paint shop problem,
T. Epping, W. Hochst ¨attler, and P. Oertel, “Complexity results on a paint shop problem,”Discrete Applied Mathematics, vol. 136, no. 2, pp. 217–226, 2004, the 1st Cologne-Twente Workshop on Graphs and Combinatorial Optimization. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0166218X03004426
work page 2004
-
[18]
Complexity results on restricted instances of a paint shop problem for words,
P. Bonsma, T. Epping, and W. Hochst ¨attler, “Complexity results on restricted instances of a paint shop problem for words,”Discrete Applied Mathematics, vol. 154, no. 9, pp. 1335–1343, 2006, 2nd Cologne/Twente Workshop on Graphs and Combinatorial Optimization (CTW 2003). [Online]. Available: https://www.sciencedirect.com/science/article/pii/ S0166218X0500377X
work page 2006
-
[19]
Some heuristics for the binary paint shop problem and their expected number of colour changes,
S. D. Andres and W. Hochst ¨attler, “Some heuristics for the binary paint shop problem and their expected number of colour changes,” Journal of Discrete Algorithms, vol. 9, no. 2, pp. 203–211, 2011. [Online]. Available: https://www.sciencedirect.com/science/article/pii/ S1570866710000559
work page 2011
-
[20]
Computing solutions of the paintshop–necklace problem,
F. Meunier and B. Neveu, “Computing solutions of the paintshop–necklace problem,”Computers & Operations Research, vol. 39, no. 11, pp. 2666–2678, 2012. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0305054812000263
work page 2012
-
[21]
Random necklaces require fewer cuts,
N. Alon, D. Elboim, J. Pach, and G. Tardos, “Random necklaces require fewer cuts,”SIAM Journal on Discrete Mathematics, vol. 38, no. 2, pp. 1381–1408, 2024. [Online]. Available: https://doi.org/10. 1137/22M1506699
work page 2024
-
[22]
M. Streif, S. Yarkoni, A. Skolik, F. Neukart, and M. Leib, “Beating classical heuristics for the binary paint shop problem with the quantum approximate optimization algorithm,”Phys. Rev. A, vol. 104, p. 012403, Jul 2021. [Online]. Available: https: //link.aps.org/doi/10.1103/PhysRevA.104.012403
-
[23]
Optimisation-Free Recursive QAOA for the Binary Paint Shop Problem
G. J. Mooney, J. Villanueva, B. R. Radhan, J. Ghosh, C. D. Hill, and L. C. L. Hollenberg, “An optimization-free recursive qaoa for the binary paint shop problem,” 2025. [Online]. Available: https://arxiv.org/abs/2507.10908
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[24]
Classical and quantum heuristics for the binary paint shop problem,
V . Vijendran, D. E. Koh, P. K. Lam, and S. M. Assad, “Classical and quantum heuristics for the binary paint shop problem,” 2025. [Online]. Available: https://arxiv.org/abs/2509.15294
-
[25]
Benchmarking the quantum approximate optimization algorithm,
M. Willsch, D. Willsch, F. Jin, H. De Raedt, and K. Michielsen, “Benchmarking the quantum approximate optimization algorithm,” Quantum Information Processing, vol. 19, no. 7, Jun. 2020. [Online]. Available: http://dx.doi.org/10.1007/s11128-020-02692-8
-
[26]
Benchmarking techniques for decoded quantum interferometry,
L. Bollmann and M. Hess, “Benchmarking techniques for decoded quantum interferometry,” 2026. [Online]. Available: https://arxiv.org/ abs/2603.24441
-
[27]
Limitations of Local Quantum Algorithms on Random MAX-k-XOR and Beyond,
C.-N. Chou, P. J. Love, J. S. Sandhu, and J. Shi, “Limitations of Local Quantum Algorithms on Random MAX-k-XOR and Beyond,” in49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), ser. Leibniz International Proceedings in Informatics (LIPIcs), M. Boja ´nczyk, E. Merelli, and D. P. Woodruff, Eds., vol. 229. Dagstuhl, Germany: ...
-
[28]
J. Basso, E. Farhi, K. Marwaha, B. Villalonga, and L. Zhou, “The quantum approximate optimization algorithm at high depth for maxcut on large-girth regular graphs and the sherrington-kirkpatrick model.” Schloss Dagstuhl – Leibniz-Zentrum f ¨ur Informatik, 2022. [Online]. Available: https://drops.dagstuhl.de/entities/document/10.4230/ LIPIcs.TQC.2022.7
work page 2022
-
[29]
The overlap gap property limits limit swapping in the QAOA,
M. Goh, “The overlap gap property limits limit swapping in the QAOA,” Quantum Information & Computation, vol. 25, no. 4, pp. 329–343,
-
[30]
Available: https://doi.org/10.2478/qic-2025-0018
[Online]. Available: https://doi.org/10.2478/qic-2025-0018
-
[31]
Lower bounding the maxcut of high girth 3-regular graphs using the qaoa,
E. Farhi, S. Gutmann, D. Ranard, and B. Villalonga, “Lower bounding the maxcut of high girth 3-regular graphs using the qaoa,” 2025. [Online]. Available: https://arxiv.org/abs/2503.12789
-
[32]
A. Misra-Spieldenner, T. Bode, P. K. Schuhmacher, T. Stollenwerk, D. Bagrets, and F. K. Wilhelm. (2023, 7) Mean-field approximate opti- mization algorithm github repository. [Online]. Available: https://github. com/FZJ-PGI-12/Mean-Field-Approximate-Optimization-Algorithm
work page 2023
-
[33]
S. Boulebnane, A. Khan, M. Liu, J. Larson, D. Herman, R. Shaydulin, and M. Pistoia, “Evidence that the quantum approximate optimization algorithm optimizes the sherrington-kirkpatrick model efficiently in the average case,” 2025. [Online]. Available: https://arxiv.org/abs/2505. 07929
work page 2025
-
[34]
A. El Alaoui, A. Montanari, and M. Sellke, “Local algorithms for maximum cut and minimum bisection on locally treelike regular graphs of large degree,”Random Structures & Algorithms, vol. 63, no. 3, pp. 689–715, 2023. [Online]. Available: https: //onlinelibrary.wiley.com/doi/abs/10.1002/rsa.21149
-
[35]
The Ising antiferromagnet and max cut on random regular graphs,
A. Coja-Oghlan, P. Loick, B. F. Mezei, and G. B. Sorkin, “The Ising antiferromagnet and max cut on random regular graphs,”SIAM Journal on Discrete Mathematics, vol. 36, no. 2, pp. 1306–1342, 2022. [Online]. Available: https://doi.org/10.1137/20M137999X
-
[36]
E. Wybo and M. Leib, “Missing Puzzle Pieces in the Performance Landscape of the Quantum Approximate Optimization Algorithm,” Quantum, vol. 9, p. 1892, Oct. 2025. [Online]. Available: https: //doi.org/10.22331/q-2025-10-22-1892 APPENDIX We include the angles used to evaluate the performance of the QAOA for the binary paint shop problem in the limit n→ ∞. N...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.