AUTHOR=Dominguez Federico , Unger Josua , Traube Matthias , Mant Barry , Ertler Christian , Lechner Wolfgang TITLE=Encoding-independent optimization problem formulation for quantum computing JOURNAL=Frontiers in Quantum Science and Technology VOLUME=2 YEAR=2023 URL=https://www.frontiersin.org/journals/quantum-science-and-technology/articles/10.3389/frqst.2023.1229471 DOI=10.3389/frqst.2023.1229471 ISSN=2813-2181 ABSTRACT=

We review encoding and hardware-independent formulations of optimization problems for quantum computing. Using this generalized approach, an extensive library of optimization problems from the literature and their various derived spin encodings are discussed. Common building blocks that serve as a construction kit for formulating these spin Hamiltonians are provided. This previously introduced approach paves the way toward a fully automatic construction of Hamiltonians for arbitrary discrete optimization problems and this freedom in the problem formulation is a key step for tailoring optimal spin Hamiltonians for different hardware platforms.