Realistic Runtime Analysis for Quantum Simplex Computation

Publikation: Arbeitspapier/PreprintPreprint

Autoren

  • 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

Organisationseinheiten

Externe Organisationen

  • Technische Universität Braunschweig
  • Universität zu Köln
  • Infineon Technologies AG
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seitenumfang39
PublikationsstatusElektronisch veröffentlicht (E-Pub) - 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.

Zitieren

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

Publikation: Arbeitspapier/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
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. Vorabveröffentlichung online. https://doi.org/http://arxiv.org/abs/2311.09995v1
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
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 -

Von denselben Autoren