Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Solving Constrained Combinatorial Optimization Problems with Variational Quantum Imaginary Time Evolution

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

Pith's one-line read Variational quantum imaginary time evolution solves constrained problems like the Multiple Knapsack Problem with lower optimality gaps than QAOA and VQE.

desk verdict Plausible but under-specified empirical case for VarQITE on constrained optimization; the headline gap numbers are likely biased by an ambiguous infeasible-solution convention and an undisclosed rescaling factor. read the letter →

arxiv 2504.12607 v2 pith:GY2CLQAZ submitted 2025-04-17 quant-ph

classification quant-ph
keywords variationalquantumimaginarytimeevolutionVarQITEmultipleknapsackproblemQUBOMax-CutHamiltonianansatzconstrainedcombinatorialoptimizationrescaling
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

This paper argues that imaginary time evolution, implemented variationally, is a better optimizer for constrained combinatorial problems than conventional variational quantum eigensolver approaches. It tests this on the Multiple Knapsack Problem with up to three knapsacks and four items, converting each instance into an unbalanced QUBO and then a Max-Cut graph to use the imaginary Hamiltonian variational ansatz. Across 68 instances, the QITE+iHVA protocol achieves feasibility rates comparable to VQE methods but with drastically lower mean optimality gaps. Rescaling the Hamiltonian coefficients further narrows the gap and reduces the number of integration steps needed.

What carries the argument

The framework chains three components: the unbalanced penalization QUBO formulation that avoids slack variables, a conversion of the QUBO into a Max-Cut instance by adding one vertex, and the iHVA ansatz whose RZY gates are assembled from breadth-first spanning trees of the Max-Cut graph. Parameter updates come from the McLachlan variational principle, which solves the linear system M θ̇ = V at each imaginary-time Euler step. Scaling the Hamiltonian by 1/d is shown to be equivalent to taking larger time steps, reducing the number of linear-system solves.

What would settle it

Run the same QITE+iHVA versus VQE comparison on larger MKP instances (e.g., 20 items) and check whether the mean optimality gap advantage persists; or deliberately pick Max-Cut graphs where the spanning-tree-based iHVA is known to be inexpressive and see whether VarQITE's energy stops following imaginary-time evolution.

Watch

Extended reading notes

Core claim

The paper's central claim is that the variational quantum imaginary time evolution (VarQITE) protocol, combined with the Max-Cut-tailored imaginary Hamiltonian variational ansatz (iHVA), finds solutions far closer to the exact optimum than conventional VQE methods. On the 68 tested MKP instances, the median optimality gap for the rescaled QITE+iHVA is roughly 0.2, while HEA and ma-QAOA sit around 2.0-2.5 and iHVA optimized by BFGS near 4.0. The authors attribute this to the McLachlan variational principle, which updates parameters by tracing imaginary-time evolution rather than minimizing a nonconvex expectation landscape.

Load-bearing premise

The iHVA ansatz must be expressive enough to approximate the true imaginary-time-evolved state at every Euler step; if the ansatz manifold is too small, the reported gap advantage could be an artifact of the 10 to 13 qubit instances selected.

Editorial extensions

If this is right

  • Constrained problems expressible as QUBO can be attacked with VarQITE by converting them to Max-Cut, avoiding the ancilla qubits and multi-controlled Toffoli gates of QAOA+.
  • Hamiltonian rescaling acts as a cost-accuracy hyperparameter: moderate scaling (e.g., d = 10) improves solution quality, while larger scaling cuts the number of time steps but can miss the optimum.
  • Because QITE's parameter path bypasses nonconvex gradient landscapes, the method may be less sensitive to random initialization than VQE.
  • The same pipeline could be applied to other inequality-constrained problems such as bin packing or vehicle routing.
  • On real hardware, the bottleneck shifts to estimation of the matrix M and vector V, which require circuit evaluations and classical linear algebra at every step.

Reading between the lines

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

  • If the iHVA expressivity assumption holds at scale, the advantage over VQE could grow on larger instances where classical local optimizers get trapped in more local minima.
  • The rescaling trick suggests an adaptive schedule that adjusts d along the evolution could further reduce the number of steps without losing accuracy.
  • The QUBO-to-Max-Cut conversion may be a key enabler: because iHVA exploits Max-Cut's bit-flip symmetry, a direct QUBO ansatz might not reap the same QITE benefit.
  • The claimed advantage is measured on 10-13 qubit instances; a natural test is to see whether the mean optimality gap separation persists on 20+ qubit problems.
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 / 4 minor

Summary. This paper proposes a variational quantum imaginary time evolution (VarQITE) framework for the Multiple Knapsack Problem (MKP). The MKP is converted to an unbalanced QUBO and then to a Max-Cut instance so that a Max-Cut-tailored imaginary Hamiltonian variational ansatz (iHVA) can be used. The authors compare QITE+iHVA with iHVA, ma-QAOA, and HEA optimized by VQE on 68 small MKP instances (10-13 qubits), reporting feasibility rates, optimality rates, and mean optimality gaps. They find that QITE+iHVA, especially with rescaled Hamiltonian coefficients, achieves lower mean optimality gaps, and they discuss how scaling the Hamiltonian by 1/d allows larger effective time steps and fewer QITE iterations.

Significance. The paper addresses a timely problem: applying VarQITE to constrained combinatorial optimization, specifically MKP. If the reported results hold, the work would provide one of the first demonstrations that variational imaginary-time evolution can beat conventional VQE/QAOA variants on constrained QUBOs, and the Hamiltonian-rescaling observation in Eq. (22) is a useful practical idea for reducing QITE simulation cost. The benchmark is externally anchored to Gurobi optima, several ansatze are compared under a common workflow, and the rescaling algebra is internally consistent. However, the numerical support is currently weakened by the undefined treatment of infeasible trials in the mean optimality gap and by the undisclosed scale factor d; the experiments are also limited to 10-13 qubits. The iHVA expressivity concern raised by the stress-test note is plausible but secondary on these small instances. With the main reproducibility issues resolved, the qualitative conclusion that QITE+iHVA is competitive with or better than VQE baselines on small MKP instances would be credible.

major comments (3)
  1. [Section III, Definition 3, Eq. (18)] The mean optimality gap is not well-defined for infeasible solutions. The definition substitutes the sampled bit-string back into the original constrained problem; an infeasible string can produce an objective value larger than C_opt, making the gap negative. The text says the average is taken over all trials, while Fig. 3(c) starts its y-axis at 0, so it is not clear whether infeasible trials are excluded, clipped, or counted at face value. Since Table I and Fig. 3(c) are the primary evidence for the central claim, the authors must state the convention explicitly and recompute the mean gaps under a fair convention, such as feasible trials only or mapping infeasible trials to a fixed gap.
  2. [Section IV, Eq. (21), Table I, Fig. 3] The scale factor d used for the 'rescaled QITE+iHVA' results is not reported anywhere in the manuscript. Section IV only says d=10 is best for solution quality and d=100 is best for cost on the six instances in Fig. 4, and the main experiments in Table I and Fig. 3 do not state which d was used or whether it was chosen per instance. Because d is a tunable hyperparameter, the improved mean gap of the rescaled method in Table I is not reproducible and may reflect tuning on the benchmark instances. Please disclose d for the main experiments and provide a sensitivity analysis over d.
  3. [Section II.C, Eq. (17) and Section IV, Eq. (19)] The main QITE experiments do not report the total evolution time tau and the number of time steps N_tau. The experimental settings in Section III list the optimizer, ansatz, and penalty coefficients, but omit these two parameters, although Eq. (19) identifies them as controlling accuracy and cost, and Fig. 4 fixes tau=10. Without these values, the QITE results in Table I cannot be reproduced, and the comparison with VQE methods is under-specified. Please add these settings to Section III and state whether they were fixed across instances.
minor comments (4)
  1. [Section II.C, Section III] The expressivity assumption of iHVA is stated but not empirically checked; a sentence acknowledging that iHVA may not track the imaginary-time-evolved state for larger instances would help scope the claims.
  2. [Section III, Fig. 3(c) and Table I] The text says 'the mean optimality gap of QITE is drastically lower than those of the classical VQE methods,' but the table reports 0.64 for QITE+iHVA and 0.31 for rescaled QITE+iHVA; please clarify which version is meant in each statement.
  3. [Table I caption] The column headers 'Feasibility' and 'Optimality' would be clearer if they repeated 'best out of 5' in both the header row and the caption, since the table uses two different notions of feasibility/optimality rates.
  4. [General] There is no data or code availability statement; providing the 68 MKP instances and the implementation would significantly improve reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central benchmark is anchored to externally computed Gurobi optima, and the QITE parameter-update rule is an independent variational principle not fitted to the target results.

full rationale

The paper's central claim is an empirical comparison against Gurobi-optimal solutions (Definition 3 and Table I), so the reported optimality gaps are anchored to an external classical solver rather than derived from the method's own assumptions. The VarQITE update rule (Eqs. 12-17) is the standard McLachlan variational principle applied to the problem Hamiltonian; it does not assume the target optimality-gap conclusion. The iHVA ansatz is adopted from external prior work by Wang et al. [31], not from the present authors, and the QUBO-to-Max-Cut conversion is taken from Barahona et al. [39]. The few self-citations ([17], [18], [21], [23]) appear only in contextual lists of parameter-initialization and ansatz heuristics; none of them supplies a load-bearing premise for the QITE advantage. The Hamiltonian rescaling in Eq. (21) is a hyperparameter d whose value is chosen empirically, and the paper explicitly acknowledges this limitation in the conclusion ('heuristics that cleverly determine the scale of the Hamiltonian are required, instead of finding the scales empirically'); empirical tuning is a reproducibility concern, not circularity. The possible issue that infeasible samples could enter the mean optimality gap of Eq. (18) is an evaluation-metric concern, not a case of a prediction reducing to its inputs. No quoted equation or cited result makes the derivation equivalent to its own conclusion, so no circular step can be exhibited and the appropriate score is 0.

Assumptions & free parameters 4 free parameters · 4 assumptions · 0 invented entities

The central claim rests on a chain of modeling choices: the unbalanced QUBO penalty must encode feasibility correctly, the QUBO-to-Max-Cut conversion must preserve the optimum, the iHVA manifold must contain the relevant imaginary-time-evolved states, and the chosen integration parameters must be accurate. The paper does not prove the first, acknowledges the third as the core challenge, and leaves d and Ntau under-specified.

free parameters (4)
  • Penalty coefficients lambda1 and lambda2 in unbalanced QUBO = lambda1 = lambda2 = 10
    Set by hand for all instances, not derived. Controls the trade-off between objective and constraint satisfaction; the central performance comparison uses this fixed choice.
  • Hamiltonian scale factor d for rescaled QITE+iHVA = not reported for Table I; grid {1, 10, 100, 1000} explored in Figure 4
    The rescaled variant's performance depends on d. Figure 4 selects d=10 for best solution quality and d=100 for best cost, but the benchmark does not disclose the d used for the headline results.
  • Total imaginary time tau and time-step count Ntau = tau=10; Ntau varied up to 500 in Figure 4, not stated for Figure 3
    QITE integration hyperparameters chosen manually. The number of linear-system solves per instance is a core determinant of optimization cost, and it is not pinned down for the 68-instance comparison.
  • Ansatz repetition depth p = p=1
    Set to one repetition for all methods; depth affects expressivity and the central comparison.
assumptions (4)
  • domain assumption The unbalanced penalization with Taylor-expanded exponential e^{-h} approx 1 - lambda1 h + lambda2 h^2 and lambda1=lambda2=10 produces a QUBO whose ground states correspond to the original MKP optima.
    Invoked in Equation (6). No feasibility-guarantee proof is given for lambda=10; the approximation is nonlinear and the penalty may distort the solution landscape.
  • standard math A QUBO instance with n variables can be mapped losslessly to a Max-Cut instance with n+1 vertices.
    Taken from Barahona et al. and used in Section II.A and Algorithm 1. The transformation is exact if the coefficients are handled correctly.
  • domain assumption The iHVA ansatz is expressive enough to represent the imaginary-time-evolved quantum state of the MKP-derived Max-Cut Hamiltonian at every integration step.
    Section II.B constructs iHVA from the Max-Cut graph's spanning trees; Section II.C assumes an expressive unitary. The paper itself notes the expressivity challenge in Section III.
  • domain assumption Euler integration of the McLachlan equations with step Delta tau is an accurate surrogate for exact imaginary time evolution for all instances tested.
    Section II.C Equation (17). Accuracy depends on Delta tau and the spectral norm; the paper relies on this to interpret converged parameters as ground states.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Solving Constrained Combinatorial Optimization Problems with Variational Quantum Imaginary Time Evolution." pith.science (2026). https://pith.science/paper/GY2CLQAZ

@misc{pith2026250412607,
  author       = {Pith},
  title        = {Pith review of: Solving Constrained Combinatorial Optimization Problems with Variational Quantum Imaginary Time Evolution},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GY2CLQAZ}},
  note         = {Machine review of arXiv:2504.12607}
}
read the original abstract

Solving combinatorial optimization problems using variational quantum algorithms (VQAs) has emerged as a promising research direction. Since the introduction of the Quantum Approximate Optimization Algorithm (QAOA), numerous variants have been proposed to enhance its performance. QAOA was later extended to the Quantum Alternating Operator Ansatz (QAOA+), which generalizes the initial state, phase-separation operator, and mixer to address constrained problems without relying on the standard Quadratic Unconstrained Binary Optimization (QUBO) formulation. However, QAOA+ often requires additional ancilla qubits and a large number of multi-controlled Toffoli gates to prepare the superposition of feasible states, resulting in deep circuits that are challenging for near-term quantum devices. Furthermore, VQAs are generally hindered by issues such as barren plateaus and suboptimal local minima. Recently, Quantum Imaginary Time Evolution (QITE), a ground-state preparation algorithm, has been explored as an alternative to QAOA and its variants. QITE has demonstrated improved performance in quantum chemistry problems and has been applied to unconstrained combinatorial problems such as Max-Cut. In this work, we apply the variational form of QITE (VarQITE) to solve the Multiple Knapsack Problem (MKP), a constrained problem, using a Max-Cut-tailored ansatz. To the best of our knowledge, this is the first attempt to address constrained optimization using VarQITE. We show that VarQITE achieves significantly lower mean optimality gaps compared to QAOA and other conventional methods. Moreover, we demonstrate that scaling the Hamiltonian coefficients can further reduce optimization costs and accelerate convergence.

Figures

Figures reproduced from arXiv: 2504.12607 by the authors.

Figure 1
Figure 1. Workflow for the framework used in this work. [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. The convergence of QITE+iHVA to the solution [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Performance comparison of different methods (HEA, [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Effect of scaling the Hamiltonian coefficients by [PITH_FULL_IMAGE:figures/full_fig_p008_4.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Optimization by VarQITE on Adaptive Variational Quantum Kolmogorov-Arnold Network

    quant-ph 2025-06 conditional novelty 5.0 of 10

    Using variational quantum imaginary time evolution as a training rule can fit toy functions with a KAN-style quantum circuit, but classification performance remains worse than standard approaches.

Reference graph

Works this paper leans on

49 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [1]

    A quantum approximate optimization algorithm,

    E. Farhi, J. Goldstone, and S. Gutmann, “A quantum approximate optimization algorithm,” arXiv:1411.4028, 2014

  2. [2]

    An expressive ansatz for low-depth quantum approximate optimisation,

    V . Vijendran, A. Das, D. E. Koh, S. M. Assad, and P. K. Lam, “An expressive ansatz for low-depth quantum approximate optimisation,” Quantum Science and Technology , vol. 9, p. 025010, Feb. 2024

  3. [3]

    The quantum alternating operator ansatz on maximum k-vertex cover,

    J. Cook, S. Eidenbenz, and A. B ¨artschi, “The quantum alternating operator ansatz on maximum k-vertex cover,” 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 83–92, 2020

  4. [4]

    Grover mixers for QAOA: Shifting complexity from mixer design to state preparation,

    A. Bartschi and S. Eidenbenz, “Grover mixers for QAOA: Shifting complexity from mixer design to state preparation,” in 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), IEEE, oct 2020

  5. [5]

    A feasibility-preserved quantum approximate solver for the capacitated vehicle routing problem,

    N. Xie, X. Lee, D. Cai, Y . Saito, N. Asai, and H. C. Lau, “A feasibility-preserved quantum approximate solver for the capacitated vehicle routing problem,” Quantum Information Processing , vol. 23, no. 8, p. 291, 2024

  6. [6]

    Performance Upper Bound of Grover-Mixer Quantum Alternating Operator Ansatz

    N. Xie, J. Xu, T. Chen, X. Lee, Y . Saito, N. Asai, and D. Cai, “Performance upper bound of grover-mixer quantum alternating operator ansatz,” arXiv:2405.03173, 2024

  7. [7]

    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

  8. [8]

    Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets,

    A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J. M. Chow, and J. M. Gambetta, “Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets,”Nature, vol. 549, pp. 242–246, Sep 2017

Show all 49 references
  1. [9]

    Multi-angle quantum approximate optimization algorithm,

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

  2. [10]

    Barren plateaus in quantum neural network training landscapes,

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

  3. [11]

    Characterizing barren plateaus in quantum ans ¨atze with the adjoint representation,

    E. Fontana, D. Herman, S. Chakrabarti, N. Kumar, R. Yalovetzky, J. Heredge, S. H. Sureshbabu, and M. Pistoia, “Characterizing barren plateaus in quantum ans ¨atze with the adjoint representation,” Nature Communications, vol. 15, Aug. 2024

  4. [12]

    A lie algebraic theory of barren plateaus for deep parameterized quantum circuits,

    M. Ragone, B. N. Bakalov, F. Sauvage, A. F. Kemper, C. Ortiz Marrero, M. Larocca, and M. Cerezo, “A lie algebraic theory of barren plateaus for deep parameterized quantum circuits,” Nature Communications, vol. 15, Aug. 2024

  5. [13]

    For fixed control parameters the quantum approximate optimization algorithm’s objective function value concentrates for typical instances,

    F. G. S. L. Brandao, M. Broughton, E. Farhi, S. Gutmann, and H. Neven, “For fixed control parameters the quantum approximate optimization algorithm’s objective function value concentrates for typical instances,” 2018

  6. [14]

    Warm-starting quantum optimization,

    D. J. Egger, J. Mare ˇcek, and S. Woerner, “Warm-starting quantum optimization,” Quantum, vol. 5, p. 479, June 2021

  7. [15]

    Transferability of optimal qaoa parameters between random graphs,

    A. Galda, X. Liu, D. Lykov, Y . Alexeev, and I. Safro, “Transferability of optimal qaoa parameters between random graphs,” 2021

  8. [16]

    Quantum annealing initialization of the quantum approximate optimization algorithm,

    S. H. Sack and M. Serbyn, “Quantum annealing initialization of the quantum approximate optimization algorithm,” Quantum, vol. 5, p. 491, July 2021

  9. [17]

    Parameters fixing strategy for quantum approximate optimization algorithm,

    X. Lee, Y . Saito, D. Cai, and N. Asai, “Parameters fixing strategy for quantum approximate optimization algorithm,” in 2021 IEEE Inter- national Conference on Quantum Computing and Engineering (QCE) , IEEE, oct 2021

  10. [18]

    A depth-progressive initialization strategy for quantum approximate optimization algorithm,

    X. Lee, N. Xie, D. Cai, Y . Saito, and N. Asai, “A depth-progressive initialization strategy for quantum approximate optimization algorithm,” Mathematics, vol. 11, p. 2176, May 2023

  11. [19]

    Space-efficient binary opti- mization for variational quantum computing,

    A. Glos, A. Krawiec, and Z. Zimbor ´as, “Space-efficient binary opti- mization for variational quantum computing,” npj Quantum Information, vol. 8, p. 39, Apr 2022

  12. [20]

    Xy-mixers: Analytical and numerical results for the quantum alternating operator ansatz,

    Z. Wang, N. C. Rubin, J. M. Dominy, and E. G. Rieffel, “Xy-mixers: Analytical and numerical results for the quantum alternating operator ansatz,” Physical Review A , vol. 101, Jan. 2020

  13. [21]

    Light cone cancellation for variational quantum eigensolver ansatz,

    X. Yan, X. Lee, N. Xie, Y . Saito, L. Kurosawa, N. Asai, D. Cai, and H. C. Lau, “Light cone cancellation for variational quantum eigensolver ansatz,” arXiv:2404.19497, 2024

  14. [22]

    Training saturation in layerwise quantum approximate optimization,

    E. Campos, D. Rabinovich, V . Akshay, and J. Biamonte, “Training saturation in layerwise quantum approximate optimization,” Physical Review A, vol. 104, Sep 2021

  15. [23]

    Iterative layerwise training for the quantum approximate optimization algorithm,

    X. Lee, X. Yan, N. Xie, D. Cai, Y . Saito, and N. Asai, “Iterative layerwise training for the quantum approximate optimization algorithm,” Phys. Rev. A, vol. 109, p. 052406, May 2024

  16. [24]

    Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolution,

    M. Motta, C. Sun, A. T. K. Tan, M. J. O’Rourke, E. Ye, A. J. Minnich, F. G. S. L. Brand ˜ao, and G. K.-L. Chan, “Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolution,” Nature Physics, vol. 16, p. 205–210, Nov. 2019

  17. [25]

    Variational ansatz-based quantum simulation of imaginary time evolu- tion,

    S. McArdle, T. Jones, S. Endo, Y . Li, S. C. Benjamin, and X. Yuan, “Variational ansatz-based quantum simulation of imaginary time evolu- tion,” npj Quantum Information , vol. 5, Sept. 2019

  18. [26]

    A variational solution of the time-dependent schrodinger equation,

    A. McLachlan, “A variational solution of the time-dependent schrodinger equation,” Molecular Physics, vol. 8, no. 1, pp. 39–44, 1964

  19. [27]

    Implementation of quan- tum imaginary-time evolution method on nisq devices by introducing nonlocal approximation,

    H. Nishi, T. Kosugi, and Y .-i. Matsushita, “Implementation of quan- tum imaginary-time evolution method on nisq devices by introducing nonlocal approximation,” npj Quantum Information , vol. 7, June 2021

  20. [28]

    Solving maxcut with quantum imaginary time evolution,

    R. Alam, G. Siopsis, R. Herrman, J. Ostrowski, P. C. Lotshaw, and T. S. Humble, “Solving maxcut with quantum imaginary time evolution,” Quantum Information Processing , vol. 22, p. 281, Jul 2023

  21. [29]

    Combinatorial op- timization with quantum imaginary time evolution,

    N. M. Bauer, R. Alam, J. Ostrowski, and G. Siopsis, “Combinatorial op- timization with quantum imaginary time evolution,” arXiv:2312.16664, 2023

  22. [30]

    Symmetry enhanced variational quantum imaginary time evolution,

    X. Wang, Y . Chai, M. Demidik, X. Feng, K. Jansen, and C. T ¨uys¨uz, “Symmetry enhanced variational quantum imaginary time evolution,” arXiv:2307.13598, 2023

  23. [31]

    Imaginary hamiltonian variational ansatz for combinatorial optimiza- tion problems,

    X. Wang, Y . Chai, X. Feng, Y . Guo, K. Jansen, and C. T ¨uys¨uz, “Imaginary hamiltonian variational ansatz for combinatorial optimiza- tion problems,” arXiv:2408.09083, 2025

  24. [32]

    Knapsack problem variants of qaoa for battery revenue optimisation,

    P. D. de la Grand’rive and J.-F. Hullo, “Knapsack problem variants of qaoa for battery revenue optimisation,” 2019

  25. [33]

    Quantum optimization heuristics with an application to knapsack problems,

    W. v. Dam, K. Eldefrawy, N. Genise, and N. Parham, “Quantum optimization heuristics with an application to knapsack problems,” in 2021 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 160–170, 2021

  26. [34]

    A quantum algorithm for solving 0-1 knapsack problems,

    S. Wilkening, A.-I. Lefterovici, L. Binkowski, M. Perk, S. Fekete, and T. J. Osborne, “A quantum algorithm for solving 0-1 knapsack problems,” arXiv:2310.06623, 2024

  27. [35]

    Quantum computing techniques for multi-knapsack problems,

    A. Awasthi, F. B ¨ar, J. Doetsch, H. Ehm, M. Erdmann, M. Hess, J. Klep- sch, P. A. Limacher, A. Luckow, C. Niedermeier, L. Palackal, R. Pfeiffer, P. Ross, H. Safi, J. Sch ¨onmeier-Kromer, O. von Sicard, Y . Wenger, K. Wintersperger, and S. Yarkoni, “Quantum computing technique...

  28. [36]

    Quantum relaxation for solving multiple knapsack problems,

    M. Sharma, Y . Jin, H. C. Lau, and R. Raymond, “Quantum relaxation for solving multiple knapsack problems,” in 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) , vol. 01, pp. 692–698, 2024

  29. [37]

    Unbalanced penalization: a new approach to encode inequality constraints of combinatorial problems for quantum optimiza- tion algorithms,

    J. A. Monta ˜nez-Barrera, D. Willsch, A. Maldonado-Romo, and K. Michielsen, “Unbalanced penalization: a new approach to encode inequality constraints of combinatorial problems for quantum optimiza- tion algorithms,” Quantum Science and Technology , vol. 9, p. 025022, Apr. 2024

  30. [38]

    Improving performance in combinatorial optimization problems with inequality constraints: An evaluation of the unbalanced penalization method on d-wave advantage,

    J. A. Monta ˜nez-Barrera, P. van den Heuvel, D. Willsch, and K. Michielsen, “Improving performance in combinatorial optimization problems with inequality constraints: An evaluation of the unbalanced penalization method on d-wave advantage,” in 2023 IEEE Interna- tional Confere...

  31. [39]

    Experiments in quadratic 0-1 programming,

    F. Barahona, M. Junger, and G. Reinelt, “Experiments in quadratic 0-1 programming,” Math. Program., vol. 44, p. 127–137, July 1989

  32. [40]

    Remark on “algorithm 778: L-bfgs-b: Fortran subroutines for large-scale bound constrained optimization

    J. L. Morales and J. Nocedal, “Remark on “algorithm 778: L-bfgs-b: Fortran subroutines for large-scale bound constrained optimization”,” ACM Trans. Math. Softw. , vol. 38, dec 2011

  33. [41]

    M. J. D. Powell, A Direct Search Optimization Method That Models the Objective and Constraint Functions by Linear Interpolation , pp. 51–67. Springer Dordrecht, 1994

  34. [42]

    Backpropagation and stochastic gradient descent method,

    S. ichi Amari, “Backpropagation and stochastic gradient descent method,” Neurocomputing, vol. 5, no. 4, pp. 185–196, 1993

  35. [43]

    Quantum computing with Qiskit,

    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,” arXiv:2405.08810, 2024

  36. [44]

    Ibm quantum documentation

    “Ibm quantum documentation.” https://quantum.cloud.ibm.com/docs/en/ api/qiskit/0.40/qiskit.algorithms.optimizers.L BFGS B

  37. [45]

    Gurobi Optimizer Reference Manual,

    Gurobi Optimization, LLC, “Gurobi Optimizer Reference Manual,”

  38. [46]

    Adaptive variational quantum imaginary time evolution approach for ground state preparation,

    N. Gomes, A. Mukherjee, F. Zhang, T. Iadecola, C. Wang, K. Ho, P. P. Orth, and Y . Yao, “Adaptive variational quantum imaginary time evolution approach for ground state preparation,” Advanced Quantum Technologies, vol. 4, Oct. 2021

  39. [47]

    Time- dependent hamiltonian simulation with l1-norm scaling,

    D. W. Berry, A. M. Childs, Y . Su, X. Wang, and N. Wiebe, “Time- dependent hamiltonian simulation with l1-norm scaling,” Quantum, vol. 4, p. 254, Apr. 2020

  40. [48]

    Improving quantum and classical decomposition methods for vehicle routing,

    L. S. Herzog, F. Wagner, C. Ufrecht, L. Palackal, A. Plinge, C. Mutschler, and D. D. Scherer, “Improving quantum and classical decomposition methods for vehicle routing,” arXiv:2404.05551, 2024

  41. [2024]

    Available at https://www.gurobi.com

Pith tools

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