Quadratic constrained mixed discrete optimization with an adiabatic quantum optimizer

Rishabh Chandra, N. Tobias Jacobson, Jonathan E. Moussa, Steven H. Frankel, Sabre Kais

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

We extend the family of problems that may be implemented on an adiabatic quantum optimizer (AQO). When a quadratic optimization problem has at least one set of discrete controls and the constraints are linear, we call this a quadratic constrained mixed discrete optimization (QCMDO) problem. QCMDO problems are NP-hard, and no efficient classical algorithm for their solution is known. Included in the class of QCMDO problems are combinatorial optimization problems constrained by a linear partial differential equation (PDE) or system of linear PDEs. An essential complication commonly encountered in solving this type of problem is that the linear constraint may introduce many intermediate continuous variables into the optimization while the computational cost grows exponentially with problem size. We resolve this difficulty by developing a constructive mapping from QCMDO to quadratic unconstrained binary optimization (QUBO) such that the size of the QUBO problem depends only on the number of discrete control variables. With a suitable embedding, taking into account the physical constraints of the realizable coupling graph, the resulting QUBO problem can be implemented on an existing AQO. The mapping itself is efficient, scaling cubically with the number of continuous variables in the general case and linearly in the PDE case if an efficient preconditioner is available.

Original languageEnglish
Article number012308
JournalPhysical Review A - Atomic, Molecular, and Optical Physics
Volume90
Issue number1
DOIs
Publication statusPublished - 8 Jul 2014

Fingerprint

optimization
partial differential equations
pulse detonation engines
embedding
costs
scaling

ASJC Scopus subject areas

  • Atomic and Molecular Physics, and Optics

Cite this

Quadratic constrained mixed discrete optimization with an adiabatic quantum optimizer. / Chandra, Rishabh; Jacobson, N. Tobias; Moussa, Jonathan E.; Frankel, Steven H.; Kais, Sabre.

In: Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 90, No. 1, 012308, 08.07.2014.

Research output: Contribution to journalArticle

Chandra, Rishabh ; Jacobson, N. Tobias ; Moussa, Jonathan E. ; Frankel, Steven H. ; Kais, Sabre. / Quadratic constrained mixed discrete optimization with an adiabatic quantum optimizer. In: Physical Review A - Atomic, Molecular, and Optical Physics. 2014 ; Vol. 90, No. 1.
@article{8e9a7aa140664cf4b801891fc4adba40,
title = "Quadratic constrained mixed discrete optimization with an adiabatic quantum optimizer",
abstract = "We extend the family of problems that may be implemented on an adiabatic quantum optimizer (AQO). When a quadratic optimization problem has at least one set of discrete controls and the constraints are linear, we call this a quadratic constrained mixed discrete optimization (QCMDO) problem. QCMDO problems are NP-hard, and no efficient classical algorithm for their solution is known. Included in the class of QCMDO problems are combinatorial optimization problems constrained by a linear partial differential equation (PDE) or system of linear PDEs. An essential complication commonly encountered in solving this type of problem is that the linear constraint may introduce many intermediate continuous variables into the optimization while the computational cost grows exponentially with problem size. We resolve this difficulty by developing a constructive mapping from QCMDO to quadratic unconstrained binary optimization (QUBO) such that the size of the QUBO problem depends only on the number of discrete control variables. With a suitable embedding, taking into account the physical constraints of the realizable coupling graph, the resulting QUBO problem can be implemented on an existing AQO. The mapping itself is efficient, scaling cubically with the number of continuous variables in the general case and linearly in the PDE case if an efficient preconditioner is available.",
author = "Rishabh Chandra and Jacobson, {N. Tobias} and Moussa, {Jonathan E.} and Frankel, {Steven H.} and Sabre Kais",
year = "2014",
month = "7",
day = "8",
doi = "10.1103/PhysRevA.90.012308",
language = "English",
volume = "90",
journal = "Physical Review A - Atomic, Molecular, and Optical Physics",
issn = "1050-2947",
publisher = "American Physical Society",
number = "1",

}

TY - JOUR

T1 - Quadratic constrained mixed discrete optimization with an adiabatic quantum optimizer

AU - Chandra, Rishabh

AU - Jacobson, N. Tobias

AU - Moussa, Jonathan E.

AU - Frankel, Steven H.

AU - Kais, Sabre

PY - 2014/7/8

Y1 - 2014/7/8

N2 - We extend the family of problems that may be implemented on an adiabatic quantum optimizer (AQO). When a quadratic optimization problem has at least one set of discrete controls and the constraints are linear, we call this a quadratic constrained mixed discrete optimization (QCMDO) problem. QCMDO problems are NP-hard, and no efficient classical algorithm for their solution is known. Included in the class of QCMDO problems are combinatorial optimization problems constrained by a linear partial differential equation (PDE) or system of linear PDEs. An essential complication commonly encountered in solving this type of problem is that the linear constraint may introduce many intermediate continuous variables into the optimization while the computational cost grows exponentially with problem size. We resolve this difficulty by developing a constructive mapping from QCMDO to quadratic unconstrained binary optimization (QUBO) such that the size of the QUBO problem depends only on the number of discrete control variables. With a suitable embedding, taking into account the physical constraints of the realizable coupling graph, the resulting QUBO problem can be implemented on an existing AQO. The mapping itself is efficient, scaling cubically with the number of continuous variables in the general case and linearly in the PDE case if an efficient preconditioner is available.

AB - We extend the family of problems that may be implemented on an adiabatic quantum optimizer (AQO). When a quadratic optimization problem has at least one set of discrete controls and the constraints are linear, we call this a quadratic constrained mixed discrete optimization (QCMDO) problem. QCMDO problems are NP-hard, and no efficient classical algorithm for their solution is known. Included in the class of QCMDO problems are combinatorial optimization problems constrained by a linear partial differential equation (PDE) or system of linear PDEs. An essential complication commonly encountered in solving this type of problem is that the linear constraint may introduce many intermediate continuous variables into the optimization while the computational cost grows exponentially with problem size. We resolve this difficulty by developing a constructive mapping from QCMDO to quadratic unconstrained binary optimization (QUBO) such that the size of the QUBO problem depends only on the number of discrete control variables. With a suitable embedding, taking into account the physical constraints of the realizable coupling graph, the resulting QUBO problem can be implemented on an existing AQO. The mapping itself is efficient, scaling cubically with the number of continuous variables in the general case and linearly in the PDE case if an efficient preconditioner is available.

UR - http://www.scopus.com/inward/record.url?scp=84904118231&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84904118231&partnerID=8YFLogxK

U2 - 10.1103/PhysRevA.90.012308

DO - 10.1103/PhysRevA.90.012308

M3 - Article

VL - 90

JO - Physical Review A - Atomic, Molecular, and Optical Physics

JF - Physical Review A - Atomic, Molecular, and Optical Physics

SN - 1050-2947

IS - 1

M1 - 012308

ER -