Table of Contents
Fetching ...

Quantum Interior Point Methods: A Review of Developments and An Optimally Scaling Framework

Mohammadhossein Mohammadisiahroudi, Zeguan Wu, Pouya Sampourmahani, Adrian Harkness, Tamás Terlaky

TL;DR

This hybrid quantum-classical approach constructs and solves the Newton system entirely on a quantum computer, while performing solution updates classically, and achieves an optimal worst-case scalability w.r.t dimension, surpassing the scalability of existing classical and quantum IPMs.

Abstract

The growing demand for solving large-scale, data-intensive linear and conic optimization problems, particularly in applications such as artificial intelligence and machine learning, has highlighted the limitations of classical interior point methods (IPMs). Despite their favorable polynomial-time convergence, conventional IPMs often suffer from high per-iteration computational costs, especially for dense problem instances. Recent advances in quantum computing, particularly quantum linear system solvers, offer promising avenues to accelerate the most computationally intensive steps of IPMs. However, practical challenges such as quantum error, hardware noise, and sensitivity to poorly conditioned systems remain significant obstacles. In response, a series of Quantum IPMs (QIPMs) has been developed to address these challenges, incorporating techniques such as feasibility maintenance, iterative refinement, and preconditioning. In this work, we review this line of research with a focus on our recent contributions, including an almost-exact QIPM framework. This hybrid quantum-classical approach constructs and solves the Newton system entirely on a quantum computer, while performing solution updates classically. Crucially, all matrix-vector operations are executed on quantum hardware, enabling the method to achieve an optimal worst-case scalability w.r.t dimension, surpassing the scalability of existing classical and quantum IPMs.

Quantum Interior Point Methods: A Review of Developments and An Optimally Scaling Framework

TL;DR

This hybrid quantum-classical approach constructs and solves the Newton system entirely on a quantum computer, while performing solution updates classically, and achieves an optimal worst-case scalability w.r.t dimension, surpassing the scalability of existing classical and quantum IPMs.

Abstract

The growing demand for solving large-scale, data-intensive linear and conic optimization problems, particularly in applications such as artificial intelligence and machine learning, has highlighted the limitations of classical interior point methods (IPMs). Despite their favorable polynomial-time convergence, conventional IPMs often suffer from high per-iteration computational costs, especially for dense problem instances. Recent advances in quantum computing, particularly quantum linear system solvers, offer promising avenues to accelerate the most computationally intensive steps of IPMs. However, practical challenges such as quantum error, hardware noise, and sensitivity to poorly conditioned systems remain significant obstacles. In response, a series of Quantum IPMs (QIPMs) has been developed to address these challenges, incorporating techniques such as feasibility maintenance, iterative refinement, and preconditioning. In this work, we review this line of research with a focus on our recent contributions, including an almost-exact QIPM framework. This hybrid quantum-classical approach constructs and solves the Newton system entirely on a quantum computer, while performing solution updates classically. Crucially, all matrix-vector operations are executed on quantum hardware, enabling the method to achieve an optimal worst-case scalability w.r.t dimension, surpassing the scalability of existing classical and quantum IPMs.

Paper Structure

This paper contains 13 sections, 7 theorems, 33 equations, 1 table, 3 algorithms.

Key Result

lemma thmcounterlemma

Let $(x^*,y^*,s^*)\in \mathcal{PD}^*$ be a basic solution. If $x_i^*>0$, then we have $x_i^*\geq 2^{-L}$. If $s_i^*>0$, then we have $s_i^*\geq 2^{-L}$.

Theorems & Definitions (8)

  • lemma thmcounterlemma
  • theorem thmcountertheorem
  • lemma thmcounterlemma
  • lemma thmcounterlemma
  • theorem thmcountertheorem
  • theorem thmcountertheorem: Lemma 13 of wu2024quantum
  • theorem thmcountertheorem
  • proof