From near to eternity: Spin-glass planting, tiling puzzles, and constraint-satisfaction problems.

  title={From near to eternity: Spin-glass planting, tiling puzzles, and constraint-satisfaction problems.},
  author={Firas Hamze and Darryl C Jacob and Andrew J. Ochoa and Dilina Perera and Wenlong Wang and Helmut G. Katzgraber},
  journal={Physical review. E},
  volume={97 4-1},
We present a methodology for generating Ising Hamiltonians of tunable complexity and with a priori known ground states based on a decomposition of the model graph into edge-disjoint subgraphs. The idea is illustrated with a spin-glass model defined on a cubic lattice, where subproblems, whose couplers are restricted to the two values {-1,+1}, are specified on unit cubes and are parametrized by their local degeneracy. The construction is shown to be equivalent to a type of three-dimensional… 
Computational hardness of spin-glass problems with tile-planted solutions.
It is demonstrated that the harder samples undergo magnetic ordering transitions which are also ultimately responsible for the observed hardness transitions on changing the sample composition, as well as investigating thermodynamic properties of these planted systems.
Accuracy and minor embedding in subqubo decomposition with fully connected large problems: a case study about the number partitioning problem
This work investigates the capabilities of a hybrid quantum-classical procedure to explore the solution space using the D-Wave 2000 Q T M quantum annealer device and finds remarkable results in most instances of the model.
Wishart planted ensemble: A tunably rugged pairwise Ising model with a first-order phase transition.
An analytical expression for the location of the hardness peak is proposed and it is shown that at fixed precision, the number of constraints in the integer program must increase with system size to yield truly hard problems.
On the computational complexity of curing non-stoquastic Hamiltonians
It is proved that if such transformations are limited to single-qubit Clifford group elements or general single- qubit orthogonal matrices, finding the curing transformation is NP-complete even for the simplest class of transformations.
Generating Weighted MAX-2-SAT Instances with Frustrated Loops: an RBM Case Study
This work proposes a method of generating weighted MAX-2-SAT instances inspired by the frustrated-loop algorithm used by the quantum annealing community, and demonstrates a double phase transition behavior in the hardness scaling behavior driven by the frustration index.
Fluctuation-guided search in quantum annealing
This work examines how the well known tendency of quantum annealers to seek solutions where higher levels of quantum fluctuations are present can be used to trade off optimality of the solution to a synthetic problem for the ability to have a more flexible solution, where some variables can be changed at little or no cost.
Adding color: Visualization of energy landscapes in spin glasses
A classification scheme is developed that categorizes highly-degenerate minima of spin glasses based on similarity and accessibility of the individual states to condense the information pertained in different dales of the energy landscape to a single representation.
Chook - A comprehensive suite for generating binary optimization problems with planted solutions
Chook is presented, an open-source Python-based tool to generate discrete optimization problems of tunable complexity with a priori known solutions for higher-order (beyond quadratic) binary optimization problems.


On the computational complexity of Ising spin glass models
In a spin glass with Ising spins, the problems of computing the magnetic partition function and finding a ground state are studied and are shown to belong to the class of NP-hard problems, both in the two-dimensional case within a magnetic field, and in the three-dimensional cases.
Probing for quantum speedup in spin-glass problems with planted solutions
This work introduces a method to construct a set of frustrated Ising-model optimization problems with tunable hardness, and studies the performance of a D-Wave Two device with up to 503 qubits on these problems and compares it to a suite of classical algorithms.
Minor-embedding in adiabatic quantum computation: I. The parameter setting problem
  • V. Choi
  • Computer Science, Physics
    Quantum Inf. Process.
  • 2008
The embedded Ising Hamiltonian for solving the maximum independent set (MIS) problem via adiabatic quantum computation (AQC) using an Ising spin-1/2 system is demonstrated.
Patch-planting spin-glass solution for benchmarking.
An algorithm to generate spin-glass instances with planted solutions of arbitrary size and structure is introduced and the scaling of the typical computational complexity of these planted instances with various numbers of patches and patch sizes is investigated and compared to random instances.
Ground-state clusters of two-, three-, and four-dimensional +/-J Ising spin glasses.
  • A. Hartmann
  • Physics
    Physical review. E, Statistical, nonlinear, and soft matter physics
  • 2001
A huge number of independent true ground-state configurations is calculated for two-, three- and four-dimensional +/-J spin-glass models using the genetic cluster-exact approximation method, which allows even for large system sizes to identify clusters of ground states that are connected by chains of zero-energy flips of spins.
Efficient Cluster Algorithm for Spin Glasses in Any Space Dimension.
This work presents a cluster algorithm for Ising spin glasses that works in any space dimension and speeds up thermalization by at least one order of magnitude at temperatures where thermalization is typically difficult.
Seeking Quantum Speedup Through Spin Glasses: The Good, the Bad, and the Ugly
This work proposes to complement head-to-head scaling studies that compare quantum annealing machines to state-of-the-art classical codes with an approach that compares the performance of different algorithms and/or computing architectures on different classes of computationally hard tunable spin-glass instances.
Max 2-SAT with up to 108 qubits
We experimentally study the performance of a programmable quantum annealing processor, the D-Wave One (DW1) with up to 108 qubits, on maximum SAT problem with 2 variables per clause (MAX 2-SAT)
Effective optimization using sample persistence: A case study on quantum annealers and various Monte Carlo optimization methods
A general-purpose, multistart algorithm for improving the performance of low-energy samplers used for solving optimization problems that iteratively fixes the value of a large portion of the variables to values that have a high probability of being optimal.