Pith. sign in

REVIEW 3 major objections 3 minor 91 references

Systematic improvement of the quantum approximate optimisation ansatz for combinatorial optimisation using quantum subspace expansion

T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read QAOA plus a quantum subspace expansion step systematically improves maximum-independent-set solutions and overtakes plain QAOA beyond about 75 nodes.

desk verdict QAOA + QSE is a credible small-N improvement for MIS, but the N=75 crossover rests on an inverted ratio in Eq. (14) and an uncontrolled Fermi-Dirac extrapolation. read the letter →

arxiv 2506.18594 v1 pith:SP6ETXJO submitted 2025-06-23 quant-ph nucl-th

classification quant-phnucl-th
keywords QAOAquantumsubspaceexpansiongeneratorcoordinatemethodmaximumindependentsetErdős–Rényigraphsapproximationratiofidelitygatecount
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out to show that appending a quantum subspace expansion (QSE) step to a QAOA-prepared state systematically improves the approximation ratio and fidelity for the maximum independent set problem on Erdős–Rényi graphs. In simulations on graphs with 2 to 10 nodes, adding eight trial states roughly doubles the approximation ratio at $N=10$ and raises the fidelity from about 0.15 to above 0.96, while also correcting the Hamming-weight and parity errors left by QAOA. Combining a fitted fidelity curve with logical CNOT and T gate counts for three kernel-estimation strategies, the paper estimates that QAOA-plus-QSE surpasses plain QAOA in cost-to-solution for graphs above about 75 nodes. This matters because QSE is a post-processing layer that can be added on top of an existing optimiser rather than a replacement for it.

What carries the argument

The central object is the quantum subspace expansion (QSE), a generator-coordinate method in which the QAOA output $|\Phi_0\rangle$ is used to build $K$ trial states $|\chi_k\rangle = e^{-i\hat{H}_C t_k}|\Phi_0\rangle$ at equally spaced times $t_k$, and the cost Hamiltonian is diagonalised in the span of these states through the generalised eigenvalue problem $H f = E S f$. Uniform time spacing gives the Hamiltonian and overlap kernels an index-difference (Toeplitz) structure, so the number of matrix elements to estimate grows only linearly in $K$. The overlap kernel is regularised by deleting eigenvectors with eigenvalues below $\varepsilon_\text{cut}=10^{-3}$. The cost comparison is carried by the inequality $\frac{F_\mathrm{GCM}}{F_\mathrm{QAOA}} \gtrsim 4(K-1)(1+1/L') f$, with $f$ set by the kernel-estimation circuit, and by leading-order CNOT/T counts for three estimation strategies: direct Pauli grouping, real-time-evolution finite differences, and linear combination of unitaries.

What would settle it

Run the QAOA-plus-QSE protocol on Erdős–Rényi graphs of density $1/2$ with $L=20$ and $K=8$ at $N=20,30,50,75$; if the measured fidelity ratio $F_\mathrm{QSE}/F_\mathrm{QAOA}$ stops increasing along the fitted curve, or if the logical CNOT/T counts at a fixed approximation ratio do not favour QSE, the predicted crossover at $N>75$ is refuted.

Watch

Extended reading notes

Core claim

The central claim is that a generator-coordinate method in its quantum subspace expansion form, applied to the state produced by a QAOA circuit, yields systematically better solutions to the maximum independent set problem, with the improvement growing as the number $K$ of trial states increases. For Erdős–Rényi graphs of average density $1/2$ and a 20-layer QAOA optimised one layer at a time, the QSE step improves the approximation ratio and fidelity at every tested size ($N=2$ to $10$) and drives the Hamming-weight and parity errors essentially to zero. A Fermi-Dirac fit to the fidelity decay, combined with explicit leading-order CNOT and T gate counts for three ways of computing the Hamiltonian and overlap kernels, gives the estimate that $K=8$ trial states already make the combined method cheaper per solution than plain QAOA for graphs with more than about 75 nodes. The same construction, on a regular time grid, can implement a Gaussian energy filter or imaginary-time evolution, which is what makes the subspace expansion improve with $K$.

Load-bearing premise

The load-bearing premise is that the fidelity decay of QAOA and of QAOA-plus-QSE, measured only for graphs of 2 to 10 nodes, keeps following the fitted S-shaped Fermi-Dirac curves introduced in Sec. V and used in Sec. VIII.C all the way to 75 nodes and beyond; the paper itself says the precise extrapolated value 'bears little meaning,' but the claimed advantage beyond 75 nodes is exactly that extrapolation.

Editorial extensions

If this is right

  • For Erdős–Rényi graphs of density $1/2$ and a fixed 20-layer QAOA, the estimated crossover graph size beyond which QAOA-plus-QSE beats plain QAOA in logical-gate cost is about 75 at $K=8$; larger $K$ is expected to lower that threshold.
  • At every tested size and on both the cube graph and the $K^+_{3,3}$ graph, the QSE step improves approximation ratio and fidelity monotonically with $K$; $K=8$ gives fidelity above 0.98 on the two test graphs and above 0.96 at $N=10$ on random graphs.
  • Because the QSE layer is independent of how the initial state was prepared, the same post-processing can be stacked on QAOA variants, warm-started circuits, or adiabatic protocols, as the conclusion argues.
  • Under the optimistic assumption that QAOA finds near-optimal solutions, the real-time-evolution kernel estimator has the best asymptotic leading-order gate count among the three methods considered, scaling as $N^2 \log^p N$ rather than $N^5$ or $N^6/\log^2 N$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial: the specific crossover $N\approx75$ is an extrapolation from a fit on $N=2$ to $10$; if the true fidelity decay deviates from the fitted Fermi-Dirac curves, the crossover could move substantially or disappear, even though the small-$N$ improvements are direct numerical results.
  • Editorial: the gate-count comparison fixes the QAOA depth at $L=20$ and sequential layer-by-layer optimisation; allowing the depth to grow with $N$ may erode the advantage, while using QSE to reduce the depth needed for a target accuracy may strengthen it.
  • Editorial: since the QSE construction acts as a Gaussian energy filter, the same eight-state recipe might serve as a verification or error-mitigation layer: a large gap between the filtered energy and the bare variational energy could flag a failed QAOA optimisation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper proposes appending a quantum subspace expansion (QSE) step, formulated as a generator coordinate method, on top of a QAOA-prepared state for the maximum independent set problem on Erdős–Rényi graphs. The QSE kernel matrix elements are estimated with Hadamard tests, and the resulting generalized eigenvalue problem is solved classically. Numerical statevector experiments for graph sizes N=2 to 10 (14 random graphs per size) show systematic improvements in approximation ratio, fidelity, Hamming-weight error, and parity error when QSE with up to K=8 trial states is added. A cost model in logical CNOT and T gates is developed for three kernel-evaluation strategies, and a Fermi–Dirac fit to the fidelity data is used to extrapolate a graph-size crossover N*≈75 beyond which QSE is claimed to surpass plain QAOA. The paper also discusses an LCU-based re-encoding of the QSE state and compares the three kernel-estimation methods.

Significance. If the numerical results are taken at face value, the paper contributes a useful and simple post-processing layer for QAOA: the QSE step demonstrably raises fidelity and approximation ratio for small MIS instances, and the detailed logical-gate accounting for the Hadamard/Pauli, real-time-evolution, and LCU approaches is a valuable reference. The main quantitative claim, however, is the extrapolated crossover at N*≈75, and that claim currently rests on an equation-level inversion error and on an unvalidated empirical scaling law fitted to only nine data points. The core small-N result is likely sound, but the headline crossover is not supported as written and needs either substantial correction and validation or removal/qualification.

major comments (3)
  1. [Sec. VIII.C, Eq. (14)] The fidelity ratio in Eq. (14) is inverted relative to the cost condition in Eq. (12). Eq. (12) requires F(GCM)/F(QAOA) to exceed a polynomial factor, but the left-hand side of Eq. (14) is β_QAOA/(1+e^{Nα_QAOA}) × (1+e^{Nα_QSE})/β_QSE = F_QAOA/F_QSE. Since the stated fits have α_QSE < α_QAOA, this ratio decays exponentially with N and cannot cross the growing polynomial right-hand side; therefore the reported value N*=75 cannot be obtained from Eq. (14) as printed. The corrected condition should place F_QSE/F_QAOA on the left, and the factor 2K should be reconciled with the 4(K−1)(1+1/L′) factor appearing in Eq. (12).
  2. [Secs. V and VIII.C] The Fermi–Dirac form F(N)=β(1+e^{αN})^{-1} is introduced as a simple empirical fit and is fitted only to N=2..10 with 14 graphs per size, but the manuscript reports no fitted values of α and β, no goodness-of-fit measures, and no uncertainty estimates. The crossover location is exponentially sensitive to the difference α_QAOA−α_QSE, so extrapolating this fit to N≈75 is not quantitatively justified. The statement in the abstract and conclusion that the approach surpasses QAOA for graphs of size greater than 75 is therefore unsupported by the evidence shown. The authors should either supply validation of the scaling law (for example, tests at larger N or on held-out graph densities) with explicit fit uncertainties, or rewrite the abstract and conclusion to present N* as only an illustrative extrapolation, consistent with the caveat already stated in Sec. VIII.C.
  3. [Sec. VIII.A] The statement that 'the QSE is guaranteed to deliver improved solution with respect to the QAOA' is too strong if applied to the fidelity rather than the variational energy. The trial subspace includes the QAOA state when the evolution-time grid contains t=0, so the generalized-eigenvalue solution cannot have higher energy than the QAOA state; however, the K=3 row in Fig. 7 shows that the fidelity can deteriorate relative to QAOA. The sentence should specify that the guarantee applies to the cost value, not to the fidelity.
minor comments (3)
  1. [Throughout] There are several typographical errors: 'Addtionally' (Sec. I), 'Erdös' (abstract and elsewhere) should be 'Erdős', 'degrade' should be 'degrades' (Sec. VIII.C), 'correpond' in the Fig. 8 caption, 'yieding' and 'smaler' (App. B), 'assummption' (App. A.2), and a missing closing parenthesis after 'see App. B' in Sec. IV.
  2. [Fig. 8 caption] The caption states that the shaded areas correspond to one standard deviation, but it does not specify whether the spread is over the 14 random graph instances only or also includes the QAOA angle optimization runs; please clarify.
  3. [Sec. VIII.A] The parameters L′ and ε_cut are introduced in the text, but the relation between L′ and the number of layers L used in the cost estimate of Eq. (12) and Eq. (14) is not made explicit near their first use; please define all symbols consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the small-N QAOA-plus-QSE improvements are directly simulated, and the N*>75 crossover is a caveated extrapolation rather than a fitted parameter masquerading as an independent prediction.

full rationale

The paper's core small-N claim of systematic fidelity and approximation-ratio improvement is obtained from explicit statevector simulations on Erdős-Rényi graphs of size N=2 to 10 (Fig. 8). These results are observed, not derived from the fitted Fermi-Dirac scaling, so the main qualitative conclusion does not reduce to its inputs. The N*>75 statement is an extrapolation: Section V introduces the fidelity scaling as a 'simple empirical fit', and Section VIII.C inserts that fit into the cost condition to 'extract' a critical graph size. This is a model-based extrapolation, and the paper itself warns that 'the precise value obtained here bears little meaning'. That makes the crossover estimate fragile, but not circular: the predicted crossover is not an input to the fit, and the fitted parameters are not defined in terms of the crossover. The only self-citation, the author's earlier GCM work [30], is used as methodological background and for the generic symmetry-restoration property; it is not load-bearing for the present numerical claims. The apparent inversion of the fidelity ratio in Eq. (14) and the lack of reported fit parameters are correctness and reproducibility concerns, not instances of circular reasoning under the rubric used here.

Assumptions & free parameters 7 free parameters · 6 assumptions · 0 invented entities

The central N* estimate rests on several hand-chosen parameters and an assumed fidelity scaling law. The small-N improvement is empirical, but the crossover claim is a fit-based extrapolation.

free parameters (7)
  • Fermi-Dirac fit parameter alpha_QAOA = not reported
    Decay rate of the QAOA fidelity fit, Eq. (14), fitted to N=2 to 10 fidelity data; determines how fast F(QAOA) drops, critical for the N* crossover.
  • Fermi-Dirac fit parameter beta_QAOA = not reported
    Plateau scale for the QAOA fidelity fit, from the same fit used in Eq. (14).
  • Fermi-Dirac fit parameter alpha_QSE(K) = not reported
    Decay rate of QSE fidelity for K trial states, fitted to N=2 to 10 data; the inequality alpha_QSE less than alpha_QAOA drives the exponential growth of the fidelity ratio.
  • Fermi-Dirac fit parameter beta_QSE(K) = not reported
    Plateau scale for the QSE fidelity fit, used together with alpha_QSE to compute N*.
  • QAOA layer count L = 20
    Chosen by hand; affects the gate cost in Eq. (A4) and the retained depth L'.
  • QSE evolution time range = [-pi(1-1/K), pi(1-1/K)]
    Chosen by hand to give Toeplitz kernels; the grid may or may not contain t=0 depending on the parity of K.
  • Overlap truncation threshold epsilon_cut = 10^{-3}
    Chosen by hand to regularize the Hill-Wheeler equation; the paper states the parameters are chosen somewhat arbitrarily.
assumptions (6)
  • standard math The Rayleigh-Ritz variational principle applied to the GCM subspace yields the optimal approximation to the ground state within that subspace.
    Used to justify solving the generalized eigenvalue problem (8).
  • domain assumption The MIS cost Hamiltonian (1) correctly encodes the maximum independent set problem as a ground state search.
    Standard mapping from MIS to an Ising-type Hamiltonian, used throughout.
  • ad hoc to paper Fidelity scaling of QAOA and QSE follows F(N) = beta (1 + e^{alpha N})^{-1} for all graph sizes.
    Assumed in Sec. V and used in Sec. VIII.C to extrapolate N*; no derivation and no validation beyond N=10.
  • ad hoc to paper The QSE is guaranteed to deliver an improved solution compared with QAOA.
    Stated in Sec. VIII.A; contradicted by the K=3, K+_{3,3} result in Sec. VIII.B where odd-parity states are incorrectly cancelled.
  • domain assumption The logical gate counts for Clifford+T decompositions (Tables I and II) give a fair cost measure for early fault-tolerant implementations.
    Counts assume specific decompositions of RZZ, CRZZ, and CnZZ gates; other decompositions or error-correction overheads could change the crossover.
  • domain assumption The time-evolved states e^{-i H_C t_k} |Phi_0> form a sufficiently expressive subspace for MIS ground states at the chosen grid.
    The grid is chosen for Toeplitz structure, not guaranteed to contain the QAOA state; for even K, t=0 is not in the grid.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Systematic improvement of the quantum approximate optimisation ansatz for combinatorial optimisation using quantum subspace expansion." pith.science (2026). https://pith.science/paper/SP6ETXJO

@misc{pith2026250618594,
  author       = {Pith},
  title        = {Pith review of: Systematic improvement of the quantum approximate optimisation ansatz for combinatorial optimisation using quantum subspace expansion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SP6ETXJO}},
  note         = {Machine review of arXiv:2506.18594}
}
abstract

The quantum approximate optimisation ansatz (QAOA) is one of the flagship algorithms used to tackle combinatorial optimisation on graphs problems using a quantum computer, and is considered a strong candidate for early fault-tolerant advantage. In this work, I study the enhancement of the QAOA with a generator coordinate method (GCM), and achieve systematic performances improvements in the approximation ratio and fidelity for the maximal independent set on Erd\"os-R\'enyi graphs. The cost-to-solution of the present method and the QAOA are compared by analysing the number of logical CNOT and $T$ gates required for either algorithm. Extrapolating on the numerical results obtained, it is estimated that for this specific problem and setup, the approach surpasses QAOA for graphs of size greater than 75 using as little as eight trial states. The potential of the method for other combinatorial optimisation problems is briefly discussed.

Figures

Figures reproduced from arXiv: 2506.18594 by the authors.

Figure 2
Figure 2. FIG. 2. Circuit implementing the Hadamard test for esti [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. |0⟩ H Rz(ϕ) • H |Ψ0⟩ / N e −iHˆC (tj+tk′ −tk) FIG. 3. Circuit implementing the Hadamard test plus RTE method for estimating ⟨e −iHˆC tj ⟩kk′ ≡ ⟨Ψk|e −iHˆC tj |Ψk′ ⟩. The circuit is run for all values of tj , yielding the ex￾pectation values {⟨e −iHˆC tj ⟩kk′}j=1,··· ,p. These are even￾tually combined in a post-processing step, giving Hkk′ = Pp j=1 aj ⟨e −iHˆC tj ⟩kk′ + O(t p ). The same matrix elements can be ued to… view at source ↗
Figure 1
Figure 1. FIG. 1. Circuit for the evaluation of [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: FIG. 4. Circuit implementing the Hadamard test plus LCU [PITH_FULL_IMAGE:figures/full_fig_p005_4.png]
Figure 5
Figure 5. Figure 5: FIG. 5. LCU circuit encoding the state [PITH_FULL_IMAGE:figures/full_fig_p005_5.png]
Figure 6
Figure 6. Figure 6: FIG. 6. Probabilities of measuring different bit-strings with [PITH_FULL_IMAGE:figures/full_fig_p006_6.png]
Figure 7
Figure 7. Figure 7: FIG. 7. Probabilities of measuring different bit-strings with [PITH_FULL_IMAGE:figures/full_fig_p006_7.png]
Figure 8
Figure 8. Figure 8: FIG. 8. Approximation ratio (top left), fidelity (top right), error in the Hamming weight/particle number (bottom left), and [PITH_FULL_IMAGE:figures/full_fig_p007_8.png]
Figure 10
Figure 10. Figure 10: The C nX gates can then be implemented in mul￾tiple manners [84–87]. Which decomposition is optimal will, among others, be dictated by hardware-related con￾siderations, lying outside the scope of the present work. The final gate count given in table II reflects a spec…
Figure 10
Figure 10. Figure 10: FIG. 10. Top: decomposition of a [PITH_FULL_IMAGE:figures/full_fig_p009_10.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

91 extracted references · 66 canonical work pages

  1. [1]

    Cost of controlled coherent rotations a. Decomposition of the circuits The cost of each of the three methods breaks down in three parts, namely the cost of the QAOA state prepara- tion, the cost of the circuit itself, and a final multiplica- tive factor accounting for either the success probability or the increase in the number of shots, that compensates ...

  2. [2]

    truncation method

    Comparison of the methods A first observation is that comparing the RTE and the Pauli circuits is straightforward; which one requires fewer resources is simply given by whetherpC(p)/(√ρN)3 is smaller or greater than one. However, which value of 9 Gate CNOT T Toffoli Ancillas RZZ 2 8 log2(1/ε) 0 0 CR ZZ 4 8 log2(1/ε) 0 0 C nZZ 12(n− 1) + 4 14(n− 1) 2(n− 1)...

  3. [3]

    Tropical rainforest bird community structure in relation to altitude, tree species composition, and null models in the Western Ghats, India

    S. Bhattacharya, A. Raghunathan, and S. Singh, “A graph-theoretic approach to protein structure predic- tion,” arXiv preprint q-bio/0510033, 2005

  4. [4]

    Mendes, M

    P. Mendes, M. Nunes, and S. Oliveira, Protein Inter- 5 To be rigorous, all quantities in that equation should be writ- ten with a tilde, since they are not the same as in the original equation. But I omit this for convenience. action Networks and Computational Biology. Springer, 2005

  5. [5]

    Aluru,Handbook of Computational Molecular Biology (1st ed.)

    S. Aluru,Handbook of Computational Molecular Biology (1st ed.). Chapman and Hall/CRC, 2005

  6. [6]

    Stauffer and A

    D. Stauffer and A. Aharony,Introduction to Percolation Theory. Taylor & Francis, 1994

  7. [7]

    Minimalvertexcoverson finite-connectivityrandomgraphs: Ahard-spherelattice- gas picture,

    M.WeigtandA.K.Hartmann, “Minimalvertexcoverson finite-connectivityrandomgraphs: Ahard-spherelattice- gas picture,” Physical Review E, vol. 63, Apr. 2001

  8. [8]

    Korte and J

    B. Korte and J. Vygen, Combinatorial Optimization: 11 Theory and Algorithms. Springer, 2006

Show all 91 references
  1. [9]

    F. S. Hillier and G. J. Lieberman,Introduction to Oper- ations Research. McGraw-Hill, 8th ed., 2005

  2. [10]

    Button, Handbook of Transportation Science

    K. Button, Handbook of Transportation Science . Springer, 2010

  3. [11]

    Vehicle routing problems: A sur- vey,

    P. Toth and D. Vigo, “Vehicle routing problems: A sur- vey,” Computers & Operations Research, vol. 29, no. 3, pp. 187–213, 2002

  4. [12]

    Nebel and R

    W. Nebel and R. Drechsler, VLSI Design and Test. Springer, 2008

  5. [13]

    Sherwani,Algorithms for VLSI Physical Design Au- tomation

    N. Sherwani,Algorithms for VLSI Physical Design Au- tomation. Kluwer Academic Publishers, 1999

  6. [14]

    Quantum annealing with manufactured spins,

    M. W. Johnson, M. H. S. Amin, S. Gildert, T. Lanting, F. Hamze, N. Dickson, R. Harris, A. J. Berkley, J. Jo- hansson, P. Bunyk, E. M. Chapple, C. Enderud, J. P. Hilton, K. Karimi, E. Ladizinsky, N. Ladizinsky, T. Oh, I.Perminov, C.Rich, M.C.Thom, E.Tolkacheva, C.J.S. Truncik, ...

  7. [15]

    Quantum Optimization of Maximum Indepen- dent Set using Rydberg Atom Arrays,

    S. Ebadi, A. Keesling, M. Cain, T. T. Wang, H. Levine, D. Bluvstein, G. Semeghini, A. Omran, J. Liu, R. Sama- jdar, X.-Z. Luo, B. Nash, X. Gao, B. Barak, E. Farhi, S. Sachdev, N. Gemelke, L. Zhou, S. Choi, H. Pich- ler, S. Wang, M. Greiner, V. Vuletic, and M. D. Lukin, “Quantu...

  8. [16]

    Exploring the impact of graph locality for the res- olution of MIS with neutral atom devices,

    C. Dalyac, L.-P. Henry, M. Kim, J. Ahn, and L. Hen- riet, “Exploring the impact of graph locality for the res- olution of MIS with neutral atom devices,” June 2023. arXiv:2306.13373 [quant-ph]

  9. [17]

    Quan- tum Computing Dataset of Maximum Independent Set Problem on King’s Lattice of over Hundred Rydberg Atoms,

    K. Kim, M. Kim, J. Park, A. Byun, and J. Ahn, “Quan- tum Computing Dataset of Maximum Independent Set Problem on King’s Lattice of over Hundred Rydberg Atoms,” Scientific Data, vol. 11, p. 111, Jan. 2024. arXiv:2311.13803 [quant-ph]

  10. [18]

    Implementing transferable annealing protocols for combinatorial optimisation on neutral atom quantum processors: a case study on smart-charging of electric vehicles,

    L. Leclerc, C. Dalyac, P. Bendotti, R. Griset, J. Mikael, and L. Henriet, “Implementing transferable annealing protocols for combinatorial optimisation on neutral atom quantum processors: a case study on smart-charging of electric vehicles,” Nov. 2024. arXiv:2411.16656 [quant- ph]

  11. [19]

    Filtering varia- tional quantum algorithms for combinatorial optimiza- tion,

    D. Amaro, C. Modica, M. Rosenkranz, M. Fioren- tini, M. Benedetti, and M. Lubasch, “Filtering varia- tional quantum algorithms for combinatorial optimiza- tion,” arXiv preprint arXiv:2106.10055, 2021. Presents a filtering-enhanced VQE variant on gate-based quantum hardware to ...

  12. [20]

    Quantum approximate optimization of non-planar graph problems on a planar superconducting processor,

    M. P. Harrigan, K. J. Sung, M. Neeley, K. J. Satzinger, F. Arute, K. Arya, J. Atalaya, J. C. Bardin, R. Barends, S. Boixo, M. Broughton, B. B. Buckley, D. A. Buell, B. Burkett, N. Bushnell, Y. Chen, Z. Chen, B. Chiaro, R. Collins, W. Courtney, S. Demura, A. Dunsworth, D. Eppen...

  13. [21]

    Graph neuralnetworkinitializationofquantumapproximateop- timization,

    N. Jain, B. Coyle, E. Kashefi, and N. Kumar, “Graph neuralnetworkinitializationofquantumapproximateop- timization,” Quantum, vol. 6, 2022. Uses a graph neural network to initialize QAOA circuits for improved perfor- mance on digital quantum computers

  14. [22]

    Qaoa-in-qaoa: Solving large-scale maxcut problems on small quantum machines,

    Z. Zhou, Y. Du, X. Tian, and D. Tao, “Qaoa-in-qaoa: Solving large-scale maxcut problems on small quantum machines,” arXiv preprint arXiv:2205.11762, 2022. Pro- poses a QAOA decomposition framework to solve large MaxCut problems on limited-qubit gate-based quantum computers

  15. [23]

    Graph decom- position techniques for solving combinatorial optimiza- tion problems with variational quantum algorithms,

    M. Ponce, R. Herrman, P. C. Lotshaw, S. Powers, G. Siopsis, T. Humble, and J. Ostrowski, “Graph decom- position techniques for solving combinatorial optimiza- tion problems with variational quantum algorithms,” arXiv preprint arXiv:2306.00494, 2023. Applies graph decomposition...

  16. [24]

    Quantum- enhanced greedy combinatorial optimization solver,

    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,”Sci- en...

  17. [25]

    A Quan- tum Approximate Optimization Algorithm,

    E. Farhi, J. Goldstone, and S. Gutmann, “A Quan- tum Approximate Optimization Algorithm,” Nov. 2014. arXiv:1411.4028 [quant-ph]

  18. [26]

    A review on quantum approximate optimization algorithm and its variants,

    K. Blekos, D. Brand, A. Ceschini, C.-H. Chou, R.-H. Li, K. Pandya, and A. Summer, “A review on quantum approximate optimization algorithm and its variants,” Physics Reports, vol. 1068, p. 1–66, June 2024

  19. [27]

    An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum com- puter,

    L. Zhu, H. L. Tang, G. S. Barron, F. A. Calderon-Vargas, N. J. Mayhall, E. Barnes, and S. E. Economou, “An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum com- puter,” Dec. 2020. arXiv:2005.10258 [quant-ph]

  20. [28]

    Multi-angle quantum approximate opti- mization algorithm,

    R. Herrman, P. C. Lotshaw, J. Ostrowski, T. S. Humble, and G. Siopsis, “Multi-angle quantum approximate opti- mization algorithm,” Scientific Reports, vol. 12, p. 6781, Apr. 2022

  21. [29]

    Iterative Layerwise Training for Quantum Approximate Optimization Algorithm,

    X. Lee, X. Yan, N. Xie, Y. Saito, D. Cai, and N. Asai, “Iterative Layerwise Training for Quantum Approximate Optimization Algorithm,” Sept. 2023. arXiv:2309.13552 [quant-ph]

  22. [30]

    Quantum algorithms for generator coor- dinate methods,

    M. Zheng, B. Peng, N. Wiebe, A. Li, X. Yang, and K. Kowalski, “Quantum algorithms for generator coor- dinate methods,” Dec. 2022. arXiv:2212.09205

  23. [31]

    Quantum sub- space expansion algorithm for Green’s functions,

    F. Jamet, A. Agarwal, and I. Rungger, “Quantum sub- space expansion algorithm for Green’s functions,” Dec

  24. [32]

    Solving the Lip- kin model using quantum computers with two qubits only with a hybrid quantum-classical technique based on the Generator Coordinate Method,

    Y. Beaujeault-Taudiere and D. Lacroix, “Solving the Lip- kin model using quantum computers with two qubits only with a hybrid quantum-classical technique based on the Generator Coordinate Method,” Dec. 2023. 12 arXiv:2312.04703

  25. [33]

    West, Introduction to Graph Theory (2nd Edition)

    D. West, Introduction to Graph Theory (2nd Edition). Prentice Hall, 08 2000

  26. [34]

    Gross, J

    J. Gross, J. Yellen, and M. Anderson, Graph Theory and Its Applications (3rd ed.). Chapman and Hall/CRC, 2018

  27. [35]

    Quan- tum computing with neutral atoms,

    L. Henriet, L. Beguin, A. Signoles, T. Lahaye, A. Browaeys, G.-O. Reymond, and C. Jurczak, “Quan- tum computing with neutral atoms,” Quantum, vol. 4, p. 327, Sept. 2020

  28. [36]

    Quantum optimization for maximum indepen- dent set using rydberg atom arrays,

    H. Pichler, S.-T. Wang, L. Zhou, S. Choi, and M. D. Lukin, “Quantum optimization for maximum indepen- dent set using rydberg atom arrays,” arXiv preprint arXiv:1808.10816, 2018

  29. [37]

    Rydberg quantum wires for maximum independent set problems with nonplanar and high-degree graphs,

    M. Kim, K. Kim, J. Hwang, E.-G. Moon, and J. Ahn, “Rydberg quantum wires for maximum independent set problems with nonplanar and high-degree graphs,”arXiv preprint arXiv:2109.03517, 2021

  30. [38]

    Quantum optimization with arbitrary connectivity using rydberg atom arrays,

    M.-T. Nguyen, J.-G. Liu, J. Wurtz, M. D. Lukin, S.- T. Wang, and H. Pichler, “Quantum optimization with arbitrary connectivity using rydberg atom arrays,”PRX Quantum, vol. 4, p. 010316, Feb 2023

  31. [39]

    Quantum hamiltonian algorithms for maximum inde- pendent sets,

    X. Zhao, P. Ge, H. Yu, L. You, F. Wilczek, and B. Wu, “Quantum hamiltonian algorithms for maximum inde- pendent sets,” 2024

  32. [40]

    Iterative quantum algo- rithms for maximum independent set: A tale of low- depth quantum algorithms,

    L. T. Brady and S. Hadfield, “Iterative quantum algo- rithms for maximum independent set: A tale of low- depth quantum algorithms,” 2023

  33. [41]

    Missing puzzle pieces in the per- formance landscape of the quantum approximate opti- mization algorithm,

    E. Wybo and M. Leib, “Missing puzzle pieces in the per- formance landscape of the quantum approximate opti- mization algorithm,” 2024

  34. [42]

    Progressive quantum algorithm for maxi- mum independent set with quantum alternating operator ansatz,

    X.-H. Ni, L.-X. Li, Y.-Q. Song, Z.-P. Jin, S.-J. Qin, and F. Gao, “Progressive quantum algorithm for maxi- mum independent set with quantum alternating operator ansatz,” 2025

  35. [43]

    Qaoa parameter transferability for maximum independent set using graph attention networks,

    H. Xu, X. Liu, A. Pothen, and I. Safro, “Qaoa parameter transferability for maximum independent set using graph attention networks,” 2025

  36. [44]

    Barren plateaus in quantum neural network training landscapes,

    J. R. McClean, S. Boixo, V. N. Smelyanskiy, R. Bab- bush, and H. Neven, “Barren plateaus in quantum neural network training landscapes,” Nature Communications, vol. 9, Nov. 2018

  37. [45]

    Diagnosing barren plateaus with tools from quantum optimal control,

    M. Larocca, P. Czarnik, K. Sharma, G. Muraleedharan, P. J. Coles, and M. Cerezo, “Diagnosing barren plateaus with tools from quantum optimal control,” Quantum, vol. 6, p. 824, Sept. 2022

  38. [46]

    Barren plateaus in variational quantum computing,

    M. Larocca, S. Thanasilp, S. Wang, K. Sharma, J. Bia- monte, P. J. Coles, L. Cincio, J. R. McClean, Z. Holmes, and M. Cerezo, “Barren plateaus in variational quantum computing,” Nature Reviews Physics, vol. 7, p. 174–189, Mar. 2025

  39. [47]

    Exploring the role of parameters in variational quantum algorithms,

    A. Anand, S. Alperin-Lea, A. Choquette, and A. Aspuru- Guzik, “Exploring the role of parameters in variational quantum algorithms,” 2022

  40. [48]

    On the dynamical lie algebras of quantum approximate op- timization algorithms,

    J. Allcock, M. Santha, P. Yuan, and S. Zhang, “On the dynamical lie algebras of quantum approximate op- timization algorithms,” 2024

  41. [49]

    Analyzing the quantum approximate op- timization algorithm: ansätze, symmetries, and lie alge- bras,

    S. Kazi, M. Larocca, M. Farinati, P. J. Coles, M. Cerezo, and R. Zeier, “Analyzing the quantum approximate op- timization algorithm: ansätze, symmetries, and lie alge- bras,” 2024

  42. [50]

    Warm-Started QAOA with Aligned Mixers Converges Slowly Near the Poles of the Bloch Sphere,

    R. Tate and S. Eidenbenz, “Warm-Started QAOA with Aligned Mixers Converges Slowly Near the Poles of the Bloch Sphere,” Sept. 2024. arXiv:2410.00027

  43. [51]

    Nuclear Constitution and the Interpretation of Fission Phenomena,

    D. L. Hill and J. A. Wheeler, “Nuclear Constitution and the Interpretation of Fission Phenomena,”Physical Re- view, vol. 89, pp. 1102–1145, Mar. 1953

  44. [52]

    Collective Motions in Nuclei by the Method of Generator Coordinates,

    J. J. Griffin and J. A. Wheeler, “Collective Motions in Nuclei by the Method of Generator Coordinates,”Phys- ical Review, vol. 108, pp. 311–327, Oct. 1957

  45. [53]

    Generator-coordinate methods in nuclear physics,

    C. Wa Wong, “Generator-coordinate methods in nuclear physics,” Phys. Rep., vol. 15, pp. 283–357, Jan. 1975

  46. [54]

    Ring and P

    P. Ring and P. Schuck,The Nuclear Many-Body Problem, vol. 103. Springer Berlin, Heidelberg, Jan. 1980

  47. [55]

    Self- consistent mean-field models for nuclear structure,

    M. Bender, P.-H. Heenen, and P.-G. Reinhard, “Self- consistent mean-field models for nuclear structure,”Re- views of Modern Physics, vol. 75, pp. 121–180, Jan. 2003

  48. [56]

    The time-dependent gen- erator coordinate method in nuclear physics,

    M. Verriere and D. Regnier, “The time-dependent gen- erator coordinate method in nuclear physics,”Frontiers in Physics, vol. 8, p. 233, July 2020. arXiv:2004.10147 [nucl-th]

  49. [57]

    The shapes of nuclei,

    G. F. Bertsch, “The shapes of nuclei,”International Jour- nal of Modern Physics E, vol. 26, p. 1740001, Jan. 2017

  50. [58]

    Generator coordinate method for transition-state dynamics in nuclear fission,

    G. F. Bertsch and K. Hagino, “Generator coordinate method for transition-state dynamics in nuclear fission,” Physical Review C, vol. 105, Mar. 2022

  51. [59]

    Be- yond mean-field study of excited states: Analysis within the Lipkin model,

    A. P. Severyukhin, M. Bender, and P.-H. Heenen, “Be- yond mean-field study of excited states: Analysis within the Lipkin model,”Physical Review C, vol. 74, p. 024311, Aug. 2006. arXiv:nucl-th/0603069

  52. [60]

    Relativistic nu- clear energy density functionals: Mean-field and be- yond,

    T. Nikšić, D. Vretenar, and P. Ring, “Relativistic nu- clear energy density functionals: Mean-field and be- yond,” Progress in Particle and Nuclear Physics, vol. 66, p. 519–548, July 2011

  53. [61]

    Sym- metry restoration for odd-mass nuclei with a Skyrme energy density functional,

    B. Bally, B. Avez, M. Bender, and P.-H. Heenen, “Sym- metry restoration for odd-mass nuclei with a Skyrme energy density functional,” International Journal of Modern Physics E , vol. 21, p. 1250026, May 2012. arXiv:1111.0451 [nucl-th]

  54. [62]

    State-of-the-art of beyond mean field the- ories with nuclear density functionals,

    J. L. Egido, “State-of-the-art of beyond mean field the- ories with nuclear density functionals,”Physica Scripta, vol. 91, p. 073003, June 2016

  55. [63]

    Time-dependent generator-coordinate-method study of mass-asymmetric fission of actinides,

    J.Zhao, J.Xiang, Z.-P.Li, T.Nikšić, D.Vretenar, andS.- G. Zhou, “Time-dependent generator-coordinate-method study of mass-asymmetric fission of actinides,”Physical Review C, vol. 99, May 2019

  56. [64]

    The collective vibrations of a many-fermion system,

    B. Jancovici and D. H. Schiff, “The collective vibrations of a many-fermion system,” Nuclear Physics, vol. 58, pp. 678–686, Sept. 1964

  57. [65]

    Union of rotational and vibrational modes in generator-coordinate-type calcula- tions, with application to neutrinoless double-β decay,

    C. Jiao and C. W. Johnson, “Union of rotational and vibrational modes in generator-coordinate-type calcula- tions, with application to neutrinoless double-β decay,” Physical Review C, vol. 100, Sept. 2019

  58. [66]

    Quantum fluc- tuations induce collective multiphonons in finite Fermi liquids,

    P. Marević, D. Regnier, and D. Lacroix, “Quantum fluc- tuations induce collective multiphonons in finite Fermi liquids,” Physical Review C, vol. 108, p. 014620, July

  59. [67]

    Quantum Fil- ter Diagonalization: Quantum Eigendecomposition with- out Full Quantum Phase Estimation,

    R. M. Parrish and P. L. McMahon, “Quantum Fil- ter Diagonalization: Quantum Eigendecomposition with- out Full Quantum Phase Estimation,” Sept. 2019. 13 arXiv:1909.08925 [quant-ph]

  60. [68]

    Quantum subspace expansion approach for simulating dynamical response functions of kitaev spin liquids,

    C. Umeano, F. Jamet, L. P. Lindoy, I. Rungger, and O. Kyriienko, “Quantum subspace expansion approach for simulating dynamical response functions of kitaev spin liquids,” 2024

  61. [69]

    Unleashed from Constrained Optimization: Quantum Computing for Quantum Chemistry Employing Gener- ator Coordinate Method,

    M. Zheng, B. Peng, A. Li, X. Yang, and K. Kowalski, “Unleashed from Constrained Optimization: Quantum Computing for Quantum Chemistry Employing Gener- ator Coordinate Method,” Aug. 2024. arXiv:2312.07691

  62. [70]

    Marević,Towards a unified description of quantum liq- uid and cluster states in atomic nuclei within the rela- tivistic energy density functional framework

    P. Marević,Towards a unified description of quantum liq- uid and cluster states in atomic nuclei within the rela- tivistic energy density functional framework. PhD thesis, Université Paris-Saclay, 2018. Thèse de doctorat dirigée par Khan, Elias Structure et réactions nucléaire...

  63. [71]

    Amultiref- erence quantum krylov algorithm for strongly correlated electrons,

    N.H.Stair, R.Huang, andF.A.Evangelista, “Amultiref- erence quantum krylov algorithm for strongly correlated electrons,” 2019

  64. [72]

    Variational quantum simulation of chemical dynamics with quantum computers,

    C.-K.Lee, C.-Y.Hsieh, S.Zhang, andL.Shi, “Variational quantum simulation of chemical dynamics with quantum computers,” 2021

  65. [73]

    An ex- tension of the generator coordinate method with basis optimization,

    M. Matsumoto, Y. Tanimura, and K. Hagino, “An ex- tension of the generator coordinate method with basis optimization,” Physical Review C, vol. 108, p. L051302, Nov. 2023. arXiv:2308.13233 [nucl-th]

  66. [74]

    M. M. Hamermesh,Group theory and its application to physical problems. Reading, MA. : Addison-Wesley Pub. Co., 1962

  67. [75]

    H. J. Lipkin, Lie groups for pedestrians. Amsterdam : North-Holland Pub. Co. [sole distributors for U.S.A. and Canada, Inter-science Publishers, New York], 1966

  68. [76]

    A the- ory of quantum subspace diagonalization,

    E. N. Epperly, L. Lin, and Y. Nakatsukasa, “A the- ory of quantum subspace diagonalization,” June 2023. arXiv:2110.07492

  69. [77]

    Über eine neue methode zur lösung gewisser variationsprobleme der mathematischen physik,

    W. Ritz, “Über eine neue methode zur lösung gewisser variationsprobleme der mathematischen physik,”Journal für die reine und angewandte Mathematik, 1909

  70. [78]

    Analysis of the generator coordinate method in a study of shape isomerism in 194Hg,

    P. Bonche, J. Dobaczewski, H. Flocard, P. H. Heenen, and J. Meyer, “Analysis of the generator coordinate method in a study of shape isomerism in 194Hg,”Nu- clear Physics A, vol. 510, pp. 466–502, Apr. 1990

  71. [79]

    A limited memory algorithm for bound constrained optimization,

    R. H. Byrd, P. Lu, J. Nocedal, and C. Zhu, “A limited memory algorithm for bound constrained optimization,” SIAM Journal on Scientific Computing, vol. 16, no. 5, pp. 1190–1208, 1995

  72. [80]

    Variational Quan- tum Computation of Excited States,

    O. Higgott, D. Wang, and S. Brierley, “Variational Quan- tum Computation of Excited States,”Quantum, vol. 3, p. 156, July 2019

  73. [81]

    Hamiltonian Simulation Us- ing Linear Combinations of Unitary Operations,

    A. M. Childs and N. Wiebe, “Hamiltonian Simulation Us- ing Linear Combinations of Unitary Operations,”Quan- tum Information and Computation, vol. 12, Feb 2012. arXiv:1202.5822 [quant-ph]

  74. [82]

    Finite difference coefficient — Wikipedia, the free encyclopedia

    Wikipedia, “Finite difference coefficient — Wikipedia, the free encyclopedia.” http://en.wikipedia. org/w/index.php?title=Finite%20difference% 20coefficient&oldid=1275142675, 2025. [Online; accessed 20-March-2025]

  75. [83]

    Algorithm 778: L-bfgs-b: Fortran subroutines for large-scale bound- constrained optimization,

    C. Zhu, R. H. Byrd, P. Lu, and J. Nocedal, “Algorithm 778: L-bfgs-b: Fortran subroutines for large-scale bound- constrained optimization,” ACM Trans. Math. Softw., vol. 23, p. 550–560, Dec. 1997

  76. [84]

    Identify- ing hard native instances for the maximum independent set problem on neutral atoms quantum processors,

    P. Cazals, A. François, L. Henriet, L. Leclerc, M. Marin, Y. Naghmouchi, W. d. S. Coelho, F. Sikora, V. Vitale, R. Watrigant, M. W. Garzillo, and C. Dalyac, “Identify- ing hard native instances for the maximum independent set problem on neutral atoms quantum processors,” Feb

  77. [85]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, 2010

  78. [86]

    Constructing Large Controlled Nots — al- gassert.com

    C. Gidney, “Constructing Large Controlled Nots — al- gassert.com.” https://algassert.com/circuits/2015/ 06/05/Constructing-Large-Controlled-Nots.html. [Accessed 16-05-2025]

  79. [87]

    Optimal ancilla-free clif- ford+t approximation of z-rotations,

    N. J. Ross and P. Selinger, “Optimal ancilla-free clif- ford+t approximation of z-rotations,” 2016

  80. [88]

    Elementary gates for quantum compu- tation,

    A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, “Elementary gates for quantum compu- tation,” Physical Review A, vol. 52, p. 3457–3467, Nov. 1995

  81. [91]

    Polylogarithmic-depth controlled-not gates without ancilla qubits,

    B. Claudon, J. Zylberman, C. Feniou, F. Debbasch, A. Peruzzo, and J.-P. Piquemal, “Polylogarithmic-depth controlled-not gates without ancilla qubits,” Nature Communications, vol. 15, July 2024

  82. [2023]

    arXiv:2304.07380 [nucl-th]

  83. [2025]

    arXiv:2502.04291 [quant-ph]

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.