Realistic Runtime Analysis for Quantum Simplex Computation

Research output: Working paper/PreprintPreprint

Authors

  • Sabrina Ammann
  • Sándor P. Fekete
  • Paulina L. A. Goedicke
  • David Gross
  • Maximilian Hess
  • Andreea Lefterovici
  • Tobias J. Osborne
  • Michael Perk
  • Debora Ramacciotti
  • Antonio Rotundo
  • S. E. Skelton
  • Sebastian Stiller
  • Timo de Wolff

Research Organisations

External Research Organisations

  • Technische Universität Braunschweig
  • University of Cologne
  • Infineon Technologies AG
View graph of relations

Details

Original languageEnglish
Number of pages39
Publication statusE-pub ahead of print - 16 Nov 2023

Abstract

In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods. In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.

Keywords

    quant-ph, cs.DS, math.OC

Cite this

Realistic Runtime Analysis for Quantum Simplex Computation. / Ammann, Sabrina; Fekete, Sándor P.; Goedicke, Paulina L. A. et al.
2023.

Research output: Working paper/PreprintPreprint

Ammann, S, Fekete, SP, Goedicke, PLA, Gross, D, Hess, M, Lefterovici, A, Osborne, TJ, Perk, M, Ramacciotti, D, Rotundo, A, Skelton, SE, Stiller, S & Wolff, TD 2023 'Realistic Runtime Analysis for Quantum Simplex Computation'. https://doi.org/http://arxiv.org/abs/2311.09995v1, https://doi.org/10.48550/arXiv.2311.09995
Ammann, S., Fekete, S. P., Goedicke, P. L. A., Gross, D., Hess, M., Lefterovici, A., Osborne, T. J., Perk, M., Ramacciotti, D., Rotundo, A., Skelton, S. E., Stiller, S., & Wolff, T. D. (2023). Realistic Runtime Analysis for Quantum Simplex Computation. Advance online publication. https://doi.org/http://arxiv.org/abs/2311.09995v1, https://doi.org/10.48550/arXiv.2311.09995
Ammann S, Fekete SP, Goedicke PLA, Gross D, Hess M, Lefterovici A et al. Realistic Runtime Analysis for Quantum Simplex Computation. 2023 Nov 16. Epub 2023 Nov 16. doi: http://arxiv.org/abs/2311.09995v1, 10.48550/arXiv.2311.09995
Ammann, Sabrina ; Fekete, Sándor P. ; Goedicke, Paulina L. A. et al. / Realistic Runtime Analysis for Quantum Simplex Computation. 2023.
Download
@techreport{32494478c6b4482392ca0a8dea53a92d,
title = "Realistic Runtime Analysis for Quantum Simplex Computation",
abstract = " In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods. In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations. ",
keywords = "quant-ph, cs.DS, math.OC",
author = "Sabrina Ammann and Fekete, {S{\'a}ndor P.} and Goedicke, {Paulina L. A.} and David Gross and Maximilian Hess and Andreea Lefterovici and Osborne, {Tobias J.} and Michael Perk and Debora Ramacciotti and Antonio Rotundo and Skelton, {S. E.} and Sebastian Stiller and Wolff, {Timo de}",
year = "2023",
month = nov,
day = "16",
doi = "http://arxiv.org/abs/2311.09995v1",
language = "English",
type = "WorkingPaper",

}

Download

TY - UNPB

T1 - Realistic Runtime Analysis for Quantum Simplex Computation

AU - Ammann, Sabrina

AU - Fekete, Sándor P.

AU - Goedicke, Paulina L. A.

AU - Gross, David

AU - Hess, Maximilian

AU - Lefterovici, Andreea

AU - Osborne, Tobias J.

AU - Perk, Michael

AU - Ramacciotti, Debora

AU - Rotundo, Antonio

AU - Skelton, S. E.

AU - Stiller, Sebastian

AU - Wolff, Timo de

PY - 2023/11/16

Y1 - 2023/11/16

N2 - In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods. In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.

AB - In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods. In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.

KW - quant-ph

KW - cs.DS

KW - math.OC

U2 - http://arxiv.org/abs/2311.09995v1

DO - http://arxiv.org/abs/2311.09995v1

M3 - Preprint

BT - Realistic Runtime Analysis for Quantum Simplex Computation

ER -

By the same author(s)