Benchmarking Variational Quantum Algorithms for Combinatorial Optimization in Practice
Pith reviewed 2026-05-23 22:30 UTC · model grok-4.3
The pith
Shallow variational quantum algorithms for Max-Cut outperform sampling only beyond a minimum problem size under fixed resources.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Numerical simulations with fixed resources show that a shallow variational quantum algorithm on Max-Cut instances begins to outperform sampling with replacement above a minimum problem size; for each size the separation from the greedy algorithm is characterized, and instance-wise correlations in performance across the three methods are quantified.
What carries the argument
Average-case and instance-correlated performance comparison of shallow variational quantum circuit training versus sampling with replacement versus greedy search on Max-Cut problems under identical resource limits and starting points.
If this is right
- Above the identified minimum size, variational quantum methods deliver a measurable edge over pure sampling for the same computational budget.
- The quantified gap to greedy shows the regime in which the quantum approach could compete with established classical heuristics.
- Instance-wise correlations indicate that performance on one problem instance can be used to anticipate results on related instances.
- The benchmarks translate abstract scaling results into concrete guidance on resource requirements for practical use.
Where Pith is reading between the lines
- Extending the comparison to larger problem sizes or different ansatz depths could reveal whether the minimum-size threshold shifts or saturates.
- The instance-correlation result suggests a possible hybrid workflow in which classical pre-screening selects instances likely to benefit from quantum training.
- If the same separation pattern appears on other combinatorial problems, the minimum-size finding may generalize beyond Max-Cut.
Load-bearing premise
Numerical simulations that use fixed resources and chosen shallow ansatzes accurately reflect the practical performance of variational quantum algorithms on combinatorial optimization problems without extra hardware noise or connectivity constraints.
What would settle it
Running the same Max-Cut instances on actual quantum hardware and finding that the variational circuit never outperforms sampling even at the sizes identified in simulation would falsify the reported minimum-size threshold.
Figures
read the original abstract
Variational quantum algorithms and, in particular, variants of the varational quantum eigensolver have been proposed to address combinatorial optimization (CO) problems. Using only shallow ansatz circuits, these approaches are deemed suitable for current noisy intermediate-scale quantum hardware. However, the resources required for training shallow variational quantum circuits often scale superpolynomially in problem size. In this study we numerically investigate what this scaling result means in practice for solving CO problems using Max-Cut as a benchmark. For fixed resources, we compare the average performance of training a shallow variational quantum circuit, sampling with replacement, and a greedy algorithm starting from the same initial point as the quantum algorithm. We identify a minimum problem size for which the quantum algorithm can consistently outperform sampling and, for each problem size, characterize the separation between the quantum algorithm and the greedy algorithm. Furthermore, we extend the average case analysis by investigating the correlation between the performance of the algorithms by instance. Our results provide a step towards meaningful benchmarks of variational quantum algorithms for CO problems for a realistic set of resources.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript numerically benchmarks shallow variational quantum algorithms (VQAs) for Max-Cut combinatorial optimization by comparing, under fixed circuit resources and noiseless simulations, the average performance of VQA training against random sampling with replacement and a greedy algorithm started from the same initial point. It reports identification of a minimum problem size at which the VQA consistently outperforms sampling, characterization of the performance separation from the greedy algorithm at each size, and an extension to instance-wise performance correlations. The work is framed as providing practical benchmarks relevant to NISQ hardware.
Significance. If the numerical thresholds and separations prove robust, the study supplies concrete empirical data on when shallow VQAs may offer advantages over elementary classical methods for CO problems at fixed resources, moving beyond abstract scaling arguments. The instance-correlation analysis is a strength that adds nuance to average-case comparisons. The absence of noise modeling, however, restricts the direct applicability of the reported minimum sizes and separations to actual hardware.
major comments (2)
- [Introduction and Results] Introduction (motivation paragraph on NISQ suitability) and Results (performance comparison sections): the central claim of identifying a 'minimum problem size' for consistent outperformance 'in practice' and 'for a realistic set of resources' rests on noiseless ideal unitary simulations; because the abstract positions the benchmarks as relevant to current hardware, the omission of decoherence, readout errors, and connectivity constraints is load-bearing and could shift the reported thresholds.
- [Methods and Results] Methods/Results (numerical protocol): the determination of the minimum problem size where VQA 'consistently outperforms sampling' does not specify the number of Max-Cut instances, random seeds, statistical tests, or data-selection criteria used to establish consistency; without these, the threshold identification cannot be assessed for robustness against post-hoc choices or insufficient sampling.
minor comments (2)
- [Abstract] Abstract: 'varational' appears twice and should be corrected to 'variational'.
- [Abstract] Abstract: the statement that training resources 'often scale superpolynomially' would benefit from an explicit citation to the referenced scaling result.
Simulated Author's Rebuttal
We thank the referee for the careful review and constructive feedback. We address the two major comments point by point below, indicating where revisions will strengthen the manuscript while preserving its core contributions on ideal-case benchmarks.
read point-by-point responses
-
Referee: [Introduction and Results] Introduction (motivation paragraph on NISQ suitability) and Results (performance comparison sections): the central claim of identifying a 'minimum problem size' for consistent outperformance 'in practice' and 'for a realistic set of resources' rests on noiseless ideal unitary simulations; because the abstract positions the benchmarks as relevant to current hardware, the omission of decoherence, readout errors, and connectivity constraints is load-bearing and could shift the reported thresholds.
Authors: We agree that all reported results are obtained from noiseless ideal unitary simulations and that this is a genuine limitation for direct claims about NISQ hardware. The manuscript deliberately isolates the effect of fixed circuit resources in the ideal case to establish a baseline; including realistic noise would introduce additional modeling choices (error rates, connectivity graphs) that lie outside the present scope. We will revise the abstract and the motivation paragraph in the introduction to state explicitly that the thresholds and separations apply to the noiseless setting and to note that decoherence and connectivity constraints may alter the observed minimum sizes. This is a partial revision: the numerical protocol and results themselves remain unchanged. revision: partial
-
Referee: [Methods and Results] Methods/Results (numerical protocol): the determination of the minimum problem size where VQA 'consistently outperforms sampling' does not specify the number of Max-Cut instances, random seeds, statistical tests, or data-selection criteria used to establish consistency; without these, the threshold identification cannot be assessed for robustness against post-hoc choices or insufficient sampling.
Authors: The referee is correct that the current text does not provide a consolidated description of the statistical protocol. We will add a dedicated subsection in Methods that states the exact numbers of Max-Cut instances per problem size, the number of random seeds per instance, the precise criterion used to declare 'consistent outperformance,' and any statistical measures employed. This addition will allow readers to evaluate robustness directly and removes any ambiguity about post-hoc selection. revision: yes
Circularity Check
No circularity: purely empirical numerical benchmarking with independent performance metrics.
full rationale
The paper conducts numerical simulations comparing VQA training, sampling, and greedy algorithms on Max-Cut instances for fixed resources. It reports observed performance thresholds and instance correlations directly from these computations. No derivations, first-principles predictions, fitted parameters renamed as predictions, or self-citation chains are present in the abstract or described methodology. All metrics (outperformance thresholds, separations) are defined and measured independently of any internal fitting that would make results tautological. This matches the default case of a self-contained empirical study.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
M. Eskandarpour, P. Dejax, J. Miemczyk, and O. P´ eton, Sustainable supply chain network design: An optimization-oriented review, Omega 54, 11 (2015)
work page 2015
-
[2]
A. Sbihi and R. Eglese, Combinatorial optimization and green logistics, Annals of Operations Research 175, 254 (2010)
work page 2010
-
[3]
F. Barahona, M. Gr¨ otschel, M. J¨ unger, and G. Reinelt, An Application of Combinatorial Optimization to Sta- tistical Physics and Circuit Layout Design, Operations Research 36, 493 (1988)
work page 1988
- [4]
-
[5]
H. M. Gray, Quantum pattern recognition algorithms for charged particle tracking, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engi- neering Sciences 380, 10.1098/rsta.2021.0103 (2021)
-
[6]
A. Zlokapa, A. Anand, J.-R. Vlimant, J. M. Duarte, J. Job, D. Lidar, and M. Spiropulu, Charged particle tracking with quantum annealing optimization, Quan- tum Machine Intelligence 3, 10.1007/s42484-021-00054-w (2021)
- [7]
-
[8]
T. Schw¨ agerl, C. Issever, K. Jansen, T. J. Khoo, S. K¨ uhn, C. T¨ uys¨ uz, and H. Weber,Particle track reconstruction with noisy intermediate-scale quantum computers , Tech. Rep. (2023) arXiv:2303.13249
- [9]
-
[10]
H. Okawa, Charged particle reconstruction for future high energy colliders with Quantum Approximate Optimiza- tion Algorithm , Tech. Rep. (2023) arXiv:2310.10255
-
[11]
R. M. Karp, Reducibility among combinatorial prob- lems, in Complexity of Computer Computations: Pro- ceedings of a symposium on the Complexity of Com- puter Computations, held March 20–22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, and sponsored by the Office of Naval Research, Mathematics Program, IBM World Trade Corp...
work page 1972
-
[12]
P. Shor, Algorithms for quantum computation: discrete logarithms and factoring, in Proceedings 35th Annual Symposium on Foundations of Computer Science (1994) pp. 124–134
work page 1994
-
[13]
L. K. Grover, A fast quantum mechanical algorithm for database search, in Proceedings of the Twenty-Eighth An- nual ACM Symposium on Theory of Computing , STOC ’96 (Association for Computing Machinery, New York, NY, USA, 1996) p. 212–219
work page 1996
-
[14]
Quantum Computing in the NISQ era and beyond
J. Preskill, Quantum Computing in the NISQ era and beyond, Quantum 2, 79 (2018), arXiv:1801.00862
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[15]
A Quantum Approximate Optimization Algorithm
E. Farhi, J. Goldstone, and S. Gutmann, A Quantum Approximate Optimization Algorithm , Tech. Rep. (2014) arXiv:1411.4028. 11
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[16]
A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, A variational eigenvalue solver on a photonic quantum processor, Nature Communications 5, 4213 (2014)
work page 2014
- [17]
-
[18]
H. Mohammadbagherpoor, P. Dreher, M. Ibrahim, Y.- H. Oh, J. Hall, R. E. Stone, and M. Stojkovic, Exploring airline gate-scheduling optimization using quantum com- puters, arXiv:2111.09472 (2021)
-
[19]
T. Stollenwerk, V. Michaud, E. Lobe, M. Picard, A. Basermann, and T. Botter, Agile earth observa- tion satellite scheduling with a quantum annealer, IEEE Transactions on Aerospace and Electronic Systems 57, 3520 (2021)
work page 2021
- [20]
- [21]
-
[22]
J. Hancock, M. J. Craven, C. McNeile, and D. Vadacchino, Investigating techniques to optimise the layout of turbines in a windfarm using a quantum computer, Tech. Rep. (2023) arXiv:2312.13123
- [23]
-
[24]
Performance of hybrid quantum/classical variational heuristics for combinatorial optimization
G. Nannicini, Performance of hybrid quantum/classical variational heuristics for combinatorial optimization, Physical Review E 99, 013304 (2019), arXiv:1805.12037
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[25]
A. Arrasmith, Z. Holmes, M. Cerezo, and P. J. Coles, Equivalence of quantum barren plateaus to cost concen- tration and narrow gorges, Quantum Science and Tech- nology 7, 045015 (2022), arXiv:2104.05868
-
[26]
E. R. Anschuetz and B. T. Kiani, Quantum variational algorithms are swamped with traps, Nature Communica- tions 13, 7760 (2022)
work page 2022
- [27]
-
[28]
H˚ astad, Some optimal inapproximability results, Jour- nal of the ACM 48, 798 (2001)
J. H˚ astad, Some optimal inapproximability results, Jour- nal of the ACM 48, 798 (2001)
work page 2001
-
[29]
M. X. Goemans and D. P. Williamson, Improved approx- imation algorithms for maximum cut and satisfiability problems using semidefinite programming, Journal of the ACM 42, 1115 (1995)
work page 1995
-
[30]
A. Javadi-Abhari, M. Treinish, K. Krsulich, C. J. Wood, J. Lishman, J. Gacon, S. Martiel, P. D. Nation, L. S. Bishop, A. W. Cross, B. R. Johnson, and J. M. Gambetta, Quantum computing with Qiskit (2024), arXiv:2405.08810 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[31]
E. B. Wilson, Probable Inference, the Law of Succession, and Statistical Inference, Journal of the American Sta- tistical Association 22, 209 (1927)
work page 1927
-
[32]
S. Seabold and J. Perktold, statsmodels: Econometric and statistical modeling with python, in 9th Python in Science Conference (2010)
work page 2010
-
[33]
Note that for simplicity of notation, we assume the opti- mization algorithm only takes the parameter values and the current cost function value as in input. Additional arguments, which would be required, e.g., for gradient- based optimization algorithms would not affect any of the arguments presented in the following
- [34]
-
[35]
M. J. D. Powell, Direct search algorithms for optimiza- tion calculations, Acta Numerica 7, 287 (1998)
work page 1998
-
[36]
P. Virtanen, R. Gommers, T. E. Oliphant, M. Haber- land, T. Reddy, D. Cournapeau, E. Burovski, P. Pe- terson, W. Weckesser, J. Bright, S. J. van der Walt, M. Brett, J. Wilson, K. J. Millman, N. Mayorov, A. R. J. Nelson, E. Jones, R. Kern, E. Larson, C. J. Carey, ˙I. Po- lat, Y. Feng, E. W. Moore, J. VanderPlas, D. Laxalde, J. Perktold, R. Cimrman, I. Henr...
work page 2020
- [37]
- [38]
-
[39]
G. Marin-Sanchez and D. Amaro, Performance analysis of a filtering variational quantum algorithm , Tech. Rep. (2024) arXiv:2404.08933
-
[40]
Gurobi Optimization, LLC, Gurobi Optimizer Reference Manual (2023)
work page 2023
-
[41]
M. Dupont, B. Evert, M. J. Hodson, B. Sundar, S. Jef- frey, Y. Yamaguchi, D. Feng, F. B. Maciejewski, S. Had- field, M. S. Alam, Z. Wang, S. Grabbe, P. A. Lott, E. G. Rieffel, D. Venturelli, and M. J. Reagor, Quantum- Enhanced Greedy Combinatorial Optimization Solver, Science Advances 9, eadi0487 (2023), arXiv:2303.05509
-
[42]
M. Sciorilli, L. Borges, T. L. Patti, D. Garc´ ıa-Mart´ ın, G. Camilo, A. Anandkumar, and L. Aolita, Towards large-scale quantum optimization solvers with few qubits , Tech. Rep. (2024) arXiv:2401.09421
-
[43]
C. R. Harris, K. J. Millman, S. J. van der Walt, R. Gom- mers, P. Virtanen, D. Cournapeau, E. Wieser, J. Tay- lor, S. Berg, N. J. Smith, R. Kern, M. Picus, S. Hoyer, M. H. van Kerkwijk, M. Brett, A. Haldane, J. F. del R´ ıo, M. Wiebe, P. Peterson, P. G´ erard-Marchant, K. Shep- pard, T. Reddy, W. Weckesser, H. Abbasi, C. Gohlke, and T. E. Oliphant, Array ...
work page 2020
- [44]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.