One for All: Universal Quantum Conic Programming Framework for Hard-Constrained Combinatorial Optimization Problems
Year: 2024
Type: preprint
Abstract: We present a unified quantum-classical framework for addressing NP-complete constrained combinatorial optimisation problems, generalising the recently proposed Quantum Conic Programming (QCP) approach. Accordingly, it inherits many favourable properties of the original proposal such as preventing barren plateaus and NP-hard parameter optimisation. By collecting the entire classical feasibility structure in a single constraint, we enlarge QCP's scope to arbitrary hard-constrained problems. Yet, we prove that the additional restriction is mild enough to still allow for an efficient parameter optimisation via the formulation of a generalised eigenvalue problem (GEP) of adaptable dimension. Our rigorous proof further fills some apparent gaps in prior derivations of GEPs from parameter optimisation problems. We further detail a measurement protocol for formulating the classical parameter optimisation that does not require us to implement any problem-specific objective Hamiltonian or a quantum feasibility oracle. Lastly, we prove that, even under the influence of noise, QCP's parameterised ansatz class always captures the optimum attainable within its generated subcone. All of our results hold true for arbitrarily-constrained combinatorial optimisation problems.
Source: arXiv (Cornell University)
Institution: Leibniz University Hannover
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: G3809911834, G4285572622
OpenAlex ID: W4404344973