Numerical Study of Quantum Adiabatic Computations for the Case of Hardest 2SAT and 3SAT realizations
Dr. Thomas Neuhaus (Forschungszentrum Jülich)

In a first step we construct unique satisfying assignement realizations for the theories 2SAT and 3SAT that are likely to be the hardest. In a second step we determine the quantum spectrum of quantum adiabatic Hamiltonians at constant transverse field. For both theories the minimum mass-gap diverges exponentially with the number of spins. We also discuss first steps in exploring the corresponding Maximum Independent Set problems.