  A book about turning high-degree optimization problems into quadratic
optimization problems that maintain the same global minimum (ground state).
This book explores quadratizations for pseudo-Boolean optimization,
perturbative gadgets used in QMA completeness theorems, and also
non-perturbative k-local to 2-local transformations used for quantum mechanics,
quantum annealing and universal adiabatic quantum computing. The book contains
~70 different Hamiltonian transformations, each of them on a separate page,
where the cost (in number of auxiliary binary variables or auxiliary qubits, or
number of sub-modular terms, or in graph connectivity, etc.), pros, cons,
examples, and references are given. One can therefore look up a quadratization
appropriate for the specific term(s) that need to be quadratized, much like
using an integral table to look up the integral that needs to be done. This
book is therefore useful for writing compilers to transform general
optimization problems, into a form that quantum annealing or universal
adiabatic quantum computing hardware requires; or for transforming quantum
chemistry problems written in the Jordan-Wigner or Bravyi-Kitaev form, into a
form where all multi-qubit interactions become 2-qubit pairwise interactions,
without changing the desired ground state. Applications cited include computer
vision problems (e.g. image de-noising, un-blurring, etc.), number theory (e.g.
integer factoring), graph theory (e.g. Ramsey number determination), and
quantum chemistry. The book is open source, and anyone can make modifications
here: https://github.com/HPQC-LABS/Book_About_Quadratization.
