Disconnectivity graphs for visualizing combinatorial optimization problems:
challenges of embedding to Ising machines
Abstract
Physics-based Ising machines (IM) have risen to the challenge of solving hard combinatorial optimization problems with higher speed and better energy efficiency. Generally, such dedicated systems employ local search heuristics to traverse energy landscapes in searching for optimal solutions. Extending landscape geometry visualization tools, disconnectivity graphs, we quantify and address some of the major challenges met by IMs in the field of combinatorial optimization. Using efficient sampling methods, we visually capture landscapes of problems having diverse structure and hardness and featuring strong degeneracies, which act as entropic barriers for IMs. Furthermore, we investigate energy barriers, local minima, and configuration space clustering effects caused by locality reduction methods when embedding combinatorial problems to the Ising hardware. For this purpose, we sample disconnectivity graphs of PUBO energy landscapes and their different QUBO mappings accounting for both local minima and saddle regions. We demonstrate that QUBO energy landscape properties lead to the subpar performance of quadratic IMs and suggest directions for their improvement.
I Introduction
Recent years have seen an increasing interest in using classical and quantum Ising machines (IM) for solving combinatorial optimization problems relevant for fundamental research and industrial applications [1]. Most of these devices rely on algorithms and physical principles implementing heuristic local search routines, e.g. discrete Monte-Carlo (MC) sampling (simulated annealing, parallel tempering) or noisy/chaotic continuous dynamics. Examples of the former are memristive crossbar arrays employed to efficiently perform vector-matrix multiplication [2, 3], or digital ASIC annealers [4]. The latter versions of IMs include coherent Ising machines, oscillator networks, quantum annealers, and others [5, 6, 7, 8]. The main attraction for the use of IM is the match of algorithm operations with their physical implementations, which offers to reduce the exponential scaling (polynomially or by a prefactor) of time-to-solution and/or energy-to-solution metrics for the hardest problems to date.
In this context, there are several outstanding challenges faced by IMs on both algorithmic and hardware levels, resulting in strong compromises being adopted in their practical deployment. One and possibly the most important difficulty concerns their application to practically interesting (large) problem sizes. The support of only second-order couplings of “spins”, together with connectivity topology constraints (e.g. the chimera graph [9]) results in the introduction of multiple auxiliary variables in order to either avoid higher-order terms, or reach necessary levels of sparsity. The added new variables can scale super-linearly in the number of original variables, not only further challenging the scaling to large problems, but also increasing the search space and modifying the optimization energy landscape. As a result, IMs can be limited to smaller-scale problems, and even these can become harder than their native formulation [10, 11] due to the worsened landscape geometry.
A second challenge lies in the algorithmic limitations of IMs. In particular, their reliance on local search heuristics fundamentally puts a bound on the problem classes they are capable of solving [12]. Being inherently local, IMs are prone to suffer from energy barriers rejecting MC moves, and from entropic barriers or degeneracies hampering both sensible exploration and exploitation [13]. Clear understanding of features of benchmark problems and the corresponding constraints of the Ising hardware is essential to facilitate future advances in the field.
A major challenge for optimization solver design and understanding is the navigation of the high-dimensional configuration space. Only a few methods have been developed over the years to visualize high-dimensional cost (energy) functions of optimization problems. One example is disconnectivity graphs (DG, also called barrier trees) [14, 15, 16], which aim to simplify the exponentially large configuration space by capturing local minima and their connectivity through energy barriers. It is possible to use DGs to gain quantitative insights into phenomena in a variety of applications ranging from metastable states of protein folding [17] to thermodynamic effects in Lennard-Jones systems [18], biomolecules [19], and spin glasses [20]. However, due to exponential complexity of DG construction and the degeneracy of optimization problems of interest, attaining energy landscape visualization is a computational feat on its own [21].
The contribution of this paper is as follows. Firstly, in Sec. III.1 we describe an extension for the efficient sampling algorithm of [22] to support DGs of energy landscapes featuring strong degeneracy of the configuration space (millions of states), capturing not only local minima but also degenerate saddle points. We further modify this approach providing means to construct DGs for quadratic optimization problems resulting from locality reduction due to IM hardware mapping. We achieve this by meaningfully reducing the search space over auxiliary variables and defining “effective” barriers. Secondly, in Sec. III.2 and Sec. III.3 using 3-SAT as a representative higher-order problem class, we plot DGs for problems of sizes inaccessible to the methods reported previously. With our methods we compare easy to hard instances, and random to industrial (structured) instances. Finally, in Sec. III.4 we demonstrate suboptimal energy landscape features of hardware embedding quadratization methods for 3-SAT from the perspective of clustering and entropy of energy minima, which are some of the culprits of algorithmic hardness [23, 24].
II Background
The Ising Hamiltonian (2-local), which IMs natively solve is:
(1) |
where , are spin interaction strengths, and denote local magnetic fields. Finding the ground state of Eq. 1 is an NP-Complete problem [25], and therefore solving (approximating) this task efficiently is of profound practical interest. Alternatively, the Ising Hamiltonian can be formulated as a quadratic pseudo-boolean function:
(2) |
with binary variables . Deciding the ground state of this function among possible configurations is what is commonly called quadratic unconstrained binary optimization (QUBO) problem. In this work we will use Ising and QUBO terms interchangeably due to their equivalence.
The generalization of QUBO to support higher order interactions of variables is what is usually referred to as PUBO (“P” for polynomial):
(3) |
which is correspondingly equivalent to the k-local Ising. Here denote all possible subsets of the set of variables of highest cardinality .
The present work devotes particular attention to the k-SAT problem (see below Eq. 4), one of the oldest and well-studied NP-Complete problems [26, 27, 28]. The motivation behind this choice lies in the fact that apart from being practically important for a variety of applications [29], k-SAT highlights the hardware and algorithmic challenges of IMs [30]. As will be discussed in this work, it features strong degeneracy of the solution space, an abundance of energy barriers, clustering of solutions, and can only be natively supported by the PUBO formulation, making it a formidable problem class for local search based quadratic IMs.
A general statement of the k-SAT decision problem is simple: is there a binary variable assignment of the following conjunctive normal form (CNF):
(4) |
where , , or , so that all clauses are satisfied? With it is NP-Complete like Ising/QUBO and thus worst case exponentially hard [31]. The k-local PUBO cost function Eq. 3 is easily obtained from Eq. 4 by the De-Morgan law of logic and using the equality .
Many optimization landscape features have been established for hard constraint satisfaction problems [27, 32], of which k-SAT is a conventional example. By increasing the number of constraints from the small number, where the problem is easily satisfiable, to larger values up to a point of unsatisfiability, optimization landscapes undergo phase transitions where the dominating “simple” configuration region of connected solutions gets shattered into exponentially many clusters of solutions. Each cluster consists of several configurations which can be easily accessed from each other by local dynamics [33]. Furthermore, some of the variables in such cluster configurations could also be “frozen” [34, 35], i.e. remain unchanged regardless of the state of others. In other words, not only it can be difficult to traverse the landscape in the search of isolated clusters, but also to transition between such clusters, it is imperative to modify an extensive fraction of variables simultaneously; thus, non-local moves can be essential [36]. For the recent fundamental results on this topic we mention the works [37, 12, 38]. In order to highlight such hardness of combinatorial optimization, in this work we focus on illustrating how the landscapes are perceived by local search.
Early efforts to visualize energy/fitness landscapes arose in the context of theoretical chemistry and biology [14, 15, 16]. Authors of these works introduced the concept of disconnectivity graphs (DG) implementing a map of exponentially large potential energy configuration spaces to a two-dimensional tree. Fig. 1 sketches the idea behind such mapping: every leaf corresponds to a local minimum, while the branches represent the magnitude of energy barriers and connectivity (lowest barrier separation) of local minima with respect to each other.
In principle, arbitrary energy landscapes can be defined by a triplet [40]: being a set of configurations, neighbourhood of every state in , and energy/fitness function . A local move of a solver can then be defined as a change of state from to a state in based on a certain search algorithm, e.g. choosing a random neighbour or the one with largest energy change.
Special attention, however, should be given to the degeneracy of such landscapes: many configurations form neighbourhoods which can be traversed by a local rule at no energy cost. Furthermore, the concept of a local minimum becomes ambiguous and non-local in degenerate landscapes [39, 41]. As Figs. 1(a) and 1(b) demonstrate, it is impossible to know if a descending energy path exists from the leftmost stable state unless exploration finding the rightmost state is performed. In this work we will call a stable “plateau” of Fig. 1(a) a saddle cluster, while the plateau in Fig. 1(b) will be called a local/global minimum cluster. The terminology of saddles/local minima of this work is chosen to resemble similar terms from continuous optimization. There, multiple works highlight profound difficulties of navigating high-dimensional landscapes arising from both types of critical points [42, 43].
The works of [39, 41, 21] have addressed the complexity of constructing DGs of degenerate landscapes with exhaustive enumeration of states. While being computationally infeasible for problems larger than variables, these works carried out classifications of saddles or local minima and the ways the states can be connected within a cluster and to other clusters. For example, a difference in possible connectivity of stable points is illustrated in Fig. 1(c). Approach of this work is closest to that of [20] in which the highlighted saddle points are treated as being disconnected. This choice is motivated by the golf-course-type energy landscapes of 3-XORSAT problems [24], where the paths to good solutions are mostly impeded by the entropic barriers, rather than the energy barriers.
In Fig. 1(c) there is no barrier between and the global minimum , but the path to it lies through a local minimum . As a result, joining the states separated by a “hole” would result in a deceiving visualization hiding landscape features important for local search routines. With the methods this work (see Sec. III.1.2-III.1.3), we will address such diversity of scenarios by distinguishing the states with connections to global minimum from those separated from it by either barriers or “holes”. This will provide a clear explanation of why second order IMs can be greatly challenged by higher-order combinatorial optimization problems.
III Results
III.1 Methods
III.1.1 Locality reduction of k-SAT
The issue of locality reduction to support the formulation of Eq. 2 has been heavily investigated over the recent years [44], with the efforts aimed at introducing quadratizations that have the smallest possible number of auxiliary variables, minimize bit-precision requirements on the weights, or have algorithmically favourable properties, e.g. submodularity [45].
Perhaps the simplest method to meet the first requirement is to use quadratization by substitution, i.e. to introduce auxiliary variables for each pair of variables in the original PUBO function (3) until the problem of required order is obtained, i.e. 2nd order for QUBO (2). The constraints are then enforced by either explicitly considering the equalities , or by the addition of quadratic penalty terms in the cost function for each substitution:
(5) | |||||
The choice of the function is not unique; for instance, one can make sure that
(6) |
is satisfied, thereby preserving global minima of the original problem. Additionally, the choice of admits some freedom and can be optimized for the minimum number of auxiliary variables by solving a vertex cover problem [46]. For simplicity, we use an efficient greedy routine to perform such optimization (for more details on quadratization methods outlined below cf. App. B).
For example, a commonly used quadratization penalty choice for locality reduction was suggested by Rosenberg (3rd order example) [47]:
(7) |
where was replaced by , and the remaining terms penalize the mismatch of and . Thus, every appearance of in the terms of the PUBO function is substituted by the same , and for each such substitution penalty is added. This mapping is also implicitly used when the approach of reversible logic of [48, 49] is employed.
Performing standard simulated annealing optimization of 3-SAT problems we found a different mapping to be computationally superior to the Rosenberg version. The new mapping extends the quadratization ideas [50, 51] and [46] by approaching the monomials with positive and negative coefficients differently:
(8) |
and thus we call it KZFD-BG after the authors. However, contrary to the original application of these penalties individually for each term in the PUBO function, the variable substitution in this work is done as in the Rosenberg case, i.e. sharing substituted pairs across multiple monomials (see App. B). As a result, this yields the same number of native and auxiliary variables regardless of the mapping used. We address simulated annealing performance difference of the mappings in the context of PUBO and QUBO comparison in Sec. III.4.
Any locality reduction method modifies the “native” optimization landscape in non-trivial ways and can make its exploration algorithmically more challenging. In particular, Eq. 6 guarantees that for every stable state of with respect to a single bit-flip: , the quadratization is also in a stable state, which is given by . Indeed, the bit-flip energy changes with respect to auxiliary variables are non-negative due to the definition of : . In turn, the energy change of flipping is also non-negative because of the following chain:
(9) | |||
(10) |
However, such correspondence does not hold in the opposite direction, i.e. a stable state of is not guaranteed to be a stable state of .
For illustration, in Fig. 3 a “linear” landscape represents states connected by a bitflip local move in the dimensional hypercube. The left sketch depicts a degenerate case with states , being stable, but and unstable. In turn, the right sketch shows how the quadratization mapping induces a rugged structure on top of the original manifold due to the auxiliary variables and the penalty terms. For every state there is a corresponding minimizing auxiliary state (possibly non-unique) according to Eq. 6. The low energy state that was easily accessible by a greedy local search descend can now be separated by energy barriers due to the necessity to adapt for every .
If and are treated on equal footing, then one is forced to explore a configuration space times bigger than the native problem. The problem that already had highly non-trivial landscape structure caused by frustrations and long-distance correlations of variables, after quadratization will have these features hidden or worsened by the mismatch of “gradients” and energy barriers, ultimately causing significant deterioration of the IMs’ ability to find solutions [11].
Finally, we note that the sparsifying approaches that aim to reduce degrees of interaction between variables can introduce even more energy barriers into the problem due to auxiliary variables and penalties akin to the locality reduction methods. We do not focus on sparsification in this work; nonetheless, one example is given in App. A.
III.1.2 Sampling algorithm outline
In order to study and visualize with DGs the energy landscapes of degenerate optimization problems and their QUBO mapping modifications, we extend the Generalized Wang-Landau (GWL) [52, 53] sampling approach of the works [22, 54]. The GWL non-Markov Chain Monte-Carlo algorithm carries out random walks in the configuration space aiming to achieve approximately uniform attendance of all predefined energy levels and all recorded basins of attraction .
During preprocessing steps (see Fig. 4a) one defines the landscape partition into sectors in energy and affinity to a basin of attraction of a local minimum : , if and . We note that the routine can be defined differently, and it makes sense to choose its definition mimicking the actual solver algorithm that would be used for solving studied problems in practice (see below Sec. III.1.3). Next, the sampling of states (random walk) is performed with the following acceptance probability:
(11) |
where is a current estimation of the statistical weight of a sector:
(12) |
This estimation is constantly updated, when the sector is visited, by:
(13) |
where can follow a decreasing schedule usually starting from the value . It is numerically convenient to also define a histogram , which is initialized at 0 for all at the beginning of the algorithm. If the exploration of as many minima as possible is preferred, then is not decreased over time [54], but in this case the estimation of would not be accurate [55].
When a step is tried (accepted or not), one saves the energy as a current energy barrier estimation between basins and . This “educated guess” can then potentially be improved with the ridge descent algorithm [22]. If the zero energy barrier is found for a state perceived as local minimum (e.g. in Fig. 1(c)), the status of such minimum is changed to a saddle, and its histogram is added to the corresponding lower basin of attraction (e.g. ). If a saddle is connected to several lower basins, then the visits are distributed uniformly at random among them.
We keep track of only number of lowest in energy local minimum/saddle clusters adaptively uniting them by discovered connectivity and thus allowing space for additional clusters to be taken into account. In addition, we define a special column of the histogram for all of the states that do not fit into the first clusters [54]. If a certain basin has insufficiently flat histogram of visits, then it was not explored enough during sampling due to its negligible statistical weight. We found these states to be rare and at high energies; thus, if encountered, these minima are not displayed in the final DG.
More details on DG construction of this work are provided in App. C.
III.1.3 Extension for degeneracy
By design, GWL uniformly samples states across basins of attraction of local minima and energy levels. Its main purpose in this work is to discover as many regions of the landscape as possible without being stuck in a particular place, thereby not biasing the DG estimation. What is crucial in the definition of the algorithm is the routine, which identifies local minima and saddle points. When a problem has no degeneracies, e.g. S-K spin glass with Gaussian weights, one can define the descend (hill climbing) as the steepest descent, i.e. spins with the highest energy reduction are flipped. However, in this work we are interested in highly degenerate integer valued optimization problems, where such definition is not possible.
As briefly discussed above in Fig. 2, local minima and saddles are perceived differently depending on the algorithm employed for solving such problems. In this case, constructing exact DGs, apart from being infeasible for large problems, may result in misleading conclusions. For instance, a very large saddle point may have only one zero energy exit from itself, which may never be found by a local search routine, effectively being a local minimum, but it would still be depicted as a saddle on a DG, or even worse, not shown at all if saddles are not considered.
Here we aim to balance between efficient exploration of the landscape and visualization of relevant landscape features. For this purpose, we use random descent (see Fig. 4b), in which a greedy local move is performed in the first-seen random direction decreasing the energy. Once a stable state is encountered (white circle in Fig. 4b), a limited exploration of the “plateau” region is performed until either the budget of allowed moves is exhausted, or an exit from the saddle is found (green circle in Fig. 4b). The states encountered during such exploration of saddles/local minima are stored in a single cluster (including the unstable exit states, i.e. 4 states are stored in Fig. 4b). If some of the stored states are encountered again during GWL sampling, all of the states that belong to a single cluster are joined, with their histograms summed up.
Previously, the works [56, 57] addressed the difficulty of clustering in the context of improving the uniform sampling of the ground states. Once a ground state was found, a ballistic search (BS) routine was carried out: starting from some global minimum state, a chain of zero energy states was constructed by flipping every variable maximum once. With the use of such chains, the cluster sizes and thus connectivity of states were estimated more reliably. We experimented with this method for clusters at every energy level and found it useful for clustering remote configurations when the number of states becomes infeasibly large.
Finally, in Fig. 4 we illustrate breadth-first search (BFS) that we use to exactly evaluate sizes of clusters at the end of sampling, when such statistics are of interest. Both stable and unstable states (exits) participate in BFS, and we confine their number by a predefined bound of states per energy level (usually in this work).
III.1.4 Extension for QUBO mapping
Two neighbouring configurations are considered to be a part of a single degenerate cluster in the native (PUBO Eq. 3) landscape if a local move separating them is of zero energy cost, as shown for states and in Fig. 3. The state does not belong to a cluster since it has a move of negative energy to the state . However, in the special case of the QUBO mapping landscape, the same state would now be considered a saddle point since the decrease in energy is only achieved through an intermediate adjustment.
The presence of a barrier in QUBO for a transition (when originally there could be no barrier at all) puts the local search at a disadvantage due to the higher rejection rate of local moves. Raising the temperature of sampling, e.g. of simulated annealing, would not fully solve the problem since it would harm the necessary exploitation of the low-energy manifold. Additionally, once local search is complete, a solver discards values using the states of as a solution. The search over the subspace of , thus, does not look for new solutions, but rather varies the induced QUBO barriers between the neighbours in the space.
To highlight the significance of landscape ruggedness of quadratization compared to the native space and facilitate fairer comparison, here we provide QUBO with additional capabilities by assuming that a local search solver can “look beyond” the QUBO landscape barriers to a certain adjustable degree. Fig. 5 depicts the case where the penalty terms of a QUBO mapping introduce interactions that favour auxiliary variable states different by Hamming distance 3 for two native configurations separated by a single bit-flip, i.e. and .
If the problem is approached head-on, one would need to either climb a steep barrier of and then adapt 3 auxiliary variables, or sequentially flip each of , i.e. climb a long barrier. Such scenario of long barriers is argued to be difficult for tunnelling in quantum annealers [58], considering that the mapping quadratization is essential due to strict hardware limitations. We note, however, that with every sequential flip of , the barrier of the move is reduced, i.e. allowing more to be explored raises the chance to overcome the QUBO barriers introduced by the mapping in the first place.
As a result, we augment disconnectivity graph analysis by introducing a QUBO factor , which stands for the maximum number of allowed auxiliary variable flips for every native move . With large enough the original (PUBO) landscape is recovered, while for small values “effective” energy barriers are still present, and thus the landscape connectivity is worsened by the mapping. In addition, serves as means to compare different QUBO mappings head-to-head, with mappings allowing small being arguably better for the local search of IMs. We perform such comparison supported by the simulated annealing results in Sec. III.4.
The algorithm to compute the effective barriers is as follows. First, at a fixed position in the space of we set the auxiliary variables in a valid state required by Eq. 6 111 This valid state may not be unique, i.e. there could be degeneracy in the auxiliary variable space for each fixed . In this case we consider all such configurations and take the minimum of the computed effective QUBO barrier. . Next, the bit-flip energy change is computed, which corresponds to the “vanilla” QUBO barrier at . Second, in order to calculate the effective QUBO barrier of , we list all auxiliary variables that interact with , i.e. . Out of all listed , we choose variables with the minimum values of . Finally, the effective barrier (see Fig. 5) is obtained by (assuming variables don’t interact with each other):
(14) | ||||
III.1.5 Disconnectivity graphs notation
In the following sections we adopt the following convention when plotting disconnectivity graphs (e.g. see Fig. 6). The y-axis stands for the PUBO/QUBO energy. Every circle represents a separate local minimum/saddle cluster. The diameter of such circle corresponds to the square root of the cluster degeneracy, i.e. the area of a circle is proportional the number of connected configurations within a cluster. There is no explicit meaning behind the x-axis distance between the DG leaves and branches. If a circle is shown to have a zero-energy connection to lower clusters, then it represents a saddle cluster. If two or more saddles appear connected, then the situation depicted in Fig. 1(c) between and is in place. Red clusters in Figs. 7a and 7b have no direct connection to the global minimum denoted by green, i.e. all local minima are red, as well as some saddles (e.g. the state in Fig. 1(c)). Blue saddle clusters in Figs. 7a and 7b were found to be connected to the global minimum by a descent algorithm of choice without energy barriers (e.g. in Fig. 1(c)).
Every DG is accompanied by a histogram of the number of states obtained with BFS at each energy level. The degeneracy of every cluster is denoted by , while the total number of states per energy is plotted as a normalized by (number of variables) natural logarithm of . The grey histogram shows the total number of BFS aggregated states (including saddle exits). The blue and red histograms count the corresponding stable states shown by circles on the DG.
III.2 Easy and hard problems
The finite size fluctuations of relatively small random 3-SAT problems usually employed for IM benchmarking in practice results in a strong spread of their hardness. In this section, with the help of DGs we aim to highlight the landscape features exhibited by such instances of different hardness. In [11] IM TTS 222Time-to-solution (TTS) is the time needed for a stochastic solver to reach a solution at least once with probability . was estimated for a collection of randomly generated problems from the open benchmarking library SATLIB [61]. The instance uf50-920 shown in Fig. 5(a) was observed to be relatively “hard” with TTS algorithmic steps, while the instance uf50-933 in Fig. 5(b) was “easy” with steps.
A clear distinction is seen in both the number of global minimum configurations, as well as the number of distinct global minimum clusters (1 vs 7). It is in general unclear what is the property of optimization landscapes that would measure hardness best for a particular solver. In [36] authors use the number of global minimum clusters as a proxy for predicting Survey Propagation’s ability to find global minima in 4-SAT random instances. The same correlation is clearly observed in this work. However, instead of trying to predict the hardness of instances by DGs, we demonstrate how DGs can be used to gain insights into experimentally observed algorithm behaviours by a diverse set of sampled landscape properties.
In addition to much larger cardinality of the set of global minima, the easy problem features a large saddle point at ( states) which is only connected to global minima and acts as a basin of attraction for solvers. In comparison, the hard instance contains similar saddles with only states. There were no local minima found at in the easy instance, while the hard instance features local minima even at .
At every energy level we observe massive saddle points which are connected to the global minimum. We note, however, that it becomes very important for local search not to descend in the wrong local minimum cluster, even though in principle it is possible to descent to a solution without overcoming any barriers. With this observation we highlight the higher ratio of local minima/disconnected saddles in the “hard” instance compared to the “easy” one.
The majority of energy barriers in both tested 3-SAT problems is the minimum possible one, (as also previously observed in [62]). In other words, the constructed DGs illustrate the significance of entropic barriers that are determined by probabilities of descending into better areas of the landscape, which resulted in the observed times difference in the time-to-solution metric.
III.3 Random and industrial problems
The uniform random 3-SAT problems are a common benchmark for testing the performance of heuristic solvers. In the thermodynamic limit of and their static properties are understood within the framework of the replica symmetry breaking (or cavity) methods of statistics [32]. In general, the lack of structure of random CSP causes state-of-the-art exact solvers to struggle near the phase transition ratio and ultimately take exponential time to find solutions due to the difficulty of truncating the search space based on exponentially growing deep decision trees [26].
On the other hand, it is not a difficult task to engineer a structured problem to challenge a heuristic solver. A very small basin of attraction of a global minimum with overall rugged landscape would make a local search heuristic relying on stochastic exploration get lost. As a result, stochastic by design, IMs can have a hard time outperforming exact routines exploiting inherent structures of problems. In order to draw conclusions about the capabilities that IMs would need to tackle both combinatorial optimization classes, we employ DGs to visualize the distinction in landscape properties between fully random and structured “industrial” instances.
To represent the structured industrial class, we generated a 3-SAT formulation of the factoring problem of the number 55 using the method from [63]. This resulted in a 3-SAT instance having 68 boolean variables and 248 clauses with only one global minimum. For comparison, a random uniform instance near the phase transition ratio was generated of the same 68 variable size, but with 295 clauses. We obtained an instance with a single global minimum cluster having 4 configurations. The DG of the uniform random instance is shown in Fig. 6(a), while the DG of factoring — in Fig. 6(b).
We truncated the DG of the random problem to energy levels 5 or lower, resulting in distinct local minimum/saddle clusters, while the semi-prime factoring DG has managed to fit as many as clusters already at the energy . This indicates much more pronounced ruggedness of the factoring 3-SAT problem with weak connectivity of saddle points.
As in the previous section, we observed exponentially large connected saddle clusters at every energy level of random 3-SAT: it is possible to traverse huge distances in the optimization landscape without the need to overcome any energy barriers. It means that the hardness of this problem class arises mainly from the entropic barriers, leaving gradient-based solvers oblivious about meaningful exploration directions.
In comparison, the number of saddle clusters disconnected from the global minimum in the factoring problem constitute a much bigger fraction of the overall number of captured clusters. Moreover, the number of stable states of the factoring problem at the given energies is much smaller than in the random case (we didn’t need to impose sampling limits), indicating that the energy barriers are the main contributor to the hardness. These results support the conclusion of [64], where authors argue there is no evidence for an advantage of employing SAT reductions for factoring problems, both using classical SOTA SAT solvers, and their hypothetical quantum counterparts.
The limitation of DGs is that they compress combinatorial landscape information to local minima and barriers between them, while the distances in solution space are left aside. Since we are able to store all of the discovered by GWL+BFS states, one approach to probing such distance information is by calculating the mutual overlaps of local minima. The mutual overlap of states for Ising formulated problems is defined by [28], where . We show computed histograms of overlaps of local minima for the given random and industrial instances in Figs. 6(c) and 6(d).
The histograms of random and structured problems exhibit distinct behaviour with the random instance having the majority of states at zero overlap values. This property is not explicitly shown by the DG visualization. It is implied, however, by the very large saddle clusters. Compared to the random instance, the local minima of the factoring problem at are closer to each other without showing evidence of a gap in the overlaps [12]. Thus, IMs can be challenged by different landscape features depending on the problem class, suggesting a strong algorithmic need for specialization.
III.4 QUBO mappings of 3-SAT
In this section we study energy landscapes of QUBO mappings of 3-SAT using the DGs construction extension introduced in Sec. III.1.4. We explicitly state the factor when mappings are compared with each other. We say that when all auxiliary variables are probed, essentially recovering the native (PUBO) landscape. At a given the “effective” barrier definition is illustrated in Fig. 5.
In Fig. 8 we plot a KZFD-BG QUBO mapping landscape of the instance from Fig. 5(a) truncated to the subspace of energies . The QUBO barrier factor was chosen to be , meaning that at every step only one QUBO auxiliary variable is allowed to be flipped in order to overcome the QUBO barriers between the native states . One can observe the following features of the QUBO landscape of 3-SAT:
-
•
The connectivity of states is drastically reduced with large saddle point clusters of the PUBO landscape shattered into multiple disconnected saddles or local minima in the QUBO landscape (in total clusters). This has a direct negative effect on the ability to find global minima for the local search heuristics at low temperatures/noise.
-
•
The global minimum cluster (which consists of 2 states for this instance) is preserved, but only from the original configurations were found to be connected from energy towards the solution. In other words, blue clusters have become red clusters. The same behaviour is observed higher in energies, i.e. local search faces energy barriers and “holes” in addition to entropic barriers.
In order to highlight the necessity to carefully approach mapping into Ising hardware, we would like to directly compare the QUBO mappings introduced in Sec. III.1.1 to each other from the perspective of connectivity of states (clustering) at different values of the QUBO factor . We use 1000 SATLIB instances of size 50 with 218 clauses (uf50 1-1000) to accumulate statistics from sampled DGs. On average, our QUBO mapping scheme of variable substitution and penalty terms introduced auxiliary variables.
In Fig. 8(a) we show the histogram of the number of local minimum/disconnected saddle clusters of size for KZFD-BG and Rosenberg mappings, and for the native space. The parameter is usually referred to as cluster complexity, while is the cluster entropy [27]. As mentioned in Sec. III.1.3, the distinct clusters are sampled with the GWL algorithm; however, the cluster entropy estimations are improved further by BFS. The results are averaged over all considered instances for the states sampled at energies .
We explicitly plot the global minima () distribution as a sanity check: the RSB theory predicts its maximum value in the thermodynamic limit being at the entropy , while the curve itself should be below 0 complexity when the clause-to-variable ratio of 3-SAT is above the phase transition value (we have ) [32]. Both features are present for our sampled data.
We observe shattering of the native landscape clusters by the Rosenberg mapping to be stronger than that of the KZFD-BG mapping. This result can be interpreted as follows. On average, in order to transition (overcome the barrier) from state to state having the same energy, the Rosenberg mapping needs to flip at least auxiliary variables, introduced by quadratization, while KZFD-BG would safely transition after flipping only . As a result, can be seen as a measure of the ruggedness or shattering of the quadratizatized optimization landscape induced by the mapping.
As displayed by the histogram in Fig. 8(a), both QUBO mappings feature large clusters that are not accounted for in the PUBO case. These are the native space saddle clusters connected to the global minimum (thus not shown on the histogram), which were transformed by quadratization to either local minima or disconnected saddles. In Sec. III.2 we discussed the value of connected saddle points at low temperatures/noise for finding global minima using IMs. QUBO mappings, thus, can transform saddle points into local minima effectively impeding the descend in energy. The ratio of local minima/disconnected saddles to all stable states is shown in Fig. 8(b). With increasing we approach the native landscape faster for the KZFD-BG mapping than for the Rosenberg mapping. This suggests a potential algorithm for IMs that are forced by hardware to use quadratization methods. With sufficient exploration of the auxiliary space, it is possible to recover the native (PUBO) landscape geometry and thereby benefit from the reduced number of local minima/disconnected saddles, provided that the costs of specific hardware implementations do not outweigh such benefits in terms of time-to-solution/energy-to-solution metrics.
With our analysis we would also like to highlight the effect of choosing quadratization methods on performance of solvers. While all such methods preserve global minima, the geometry of combinatorial landscapes may change beyond recognition, thereby drastically decreasing the local search performance. To support the observed landscape advantage of KZFD-BG mapping over Rosenberg, we performed simulated annealing for a collection of SATLIB 3-SAT problem instances in Fig. 10. The advantage of the KZFD-BG mapping clearly exhibits itself in the solver performance giving dominating TTS for the majority of instances. For the problem size of none of the KZFD-BG mapped instances timed-out within our imposed computational budget of SA sweeps. On the other hand, the solver using the Rosenberg mapping failed to find a solution for several instances even at this modest problem size.
IV Conclusion
In this work we have suggested methods to sample disconnectivity graphs of degenerate combinatorial optimization problems, while also introducing extensions for quadratic embeddings motivated by hardware constraints of Ising machines. DGs have proven to be able to visually capture energy landscape properties of instances with different structure (industrial and random), hardness, and order (quadratic and higher order). To characterize clustering/ruggedness of the configuration space arising from locality reduction, we have introduced a new method, QUBO factor . From this perspective we have discussed the reasons behind observed experimental performance gap between different QUBO mappings, as well as between QUBO and PUBO.
The directions for future work include investigating other definitions of neighbourhoods beyond the simple bit-flip in order to visualize and gain intuition into how optimization landscapes are perceived by different local (or non-local) search routines. For example, isoenergetic cluster moves [65] allow solvers to make large Hamming distance steps, defining a different neighbourhood for each configuration, thus a new DG with distinct connectivity of states. Moreover, understanding of the energy landscape geometry is of great importance in a variety of fields ranging from inference and learning in energy-based models [66] to attractor dynamics and storage capacity in associative memories [67, 68]. One application example is non-equilibrium inhomogeneous sampling methods [36, 69] which essentially modify energy barriers reducing the hardness of sampling of high-quality and diverse solutions.
Sparsifying methods motivated by the available connectivity topology of the Ising hardware constitute a complementary problem which can also be studied with the methods of this work. Finally, the distinct properties of auxiliary variables imply the possibility to introduce adaptive algorithms leveraging the specific native-auxiliary interactions within the constrains of Ising machines.
V Acknowledgements
This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under the Air Force Research Laboratory (AFRL) Agreement No. FA8650-23-3-7313. The views, opinions, and/or findings expressed are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government. The authors gratefully acknowledge computing time on the supercomputer JURECA [70] Forschungszentrum Jülich under grant no. “optimization”. We also gratefully acknowledge the generous funding of this work under NEUROTEC II (Verbundkoordinator / Förderkennzeichen: Forschungszentrum Jülich / 16ME0398K) by the Bundesministerium für Bildung und Forschung.
Appendix A Sparsification by auxiliary variables
Let’s assume that due to hardware limitations we are unable to support full interaction connectivity of a variable of the PUBO function in Eq. 3. Due to its multilinear form, we can split the interactions of , i.e.
(15) |
where and are independent functions (assuming such exist). in the second term can be substituted by an auxiliary variable with the introduction of a penalty as follows:
(16) |
which obeys as in locality reduction methods if . As a result, the local search move can only be made with single flips through a higher energy barrier than in the denser original formulation (see Tab. 1).
0 | 0 | 0 | 0 |
0 | 1 | ||
1 | 0 | ||
1 | 1 |
Appendix B 3-SAT to QUBO mappings
In this section we describe in detail the mappings of 3-SAT problems formulated as conjugate normal forms (CNF) to quadratic pseudo-boolean functions (QUBO).
Notation:
are boolean variables, are literals that stand for either or its negation , are boolean auxiliary variables.
The problem of maximizing the total number of clauses of size is reformulated as a minimization problem of a third order pseudo-boolean polynomial of literals as follows (inverting the expression and using De-Morgan law):
(17) |
where each or , , . The simplest mapping of this expression to QUBO (quadratization) would be to introduce the Rosenberg penalties for every term in the sum:
(18) | ||||
The validity of such quadratizaton (Eq. 6) directly follows from the fact that auxiliary variables are introduced independently for each term of Eq. (17) and .
B.1 Non-term-wise Rosenberg
In order to get the “classic” Rosenberg [47] quadratizaton, we write the PUBO of Eq. (17) for variables :
(19) | |||||
The pairs in a set covering all terms of order 3 are substituted by auxiliary variables with the addition of a penalties as in Eq. (18):
(20) |
where the lower bound penalty coefficients are now index-dependent [71]:
(21) |
B.2 Non-term-wise KZFD-BG
Here we modify the Rosenberg mapping of Sec. B.1 applying quadratization ideas of [50, 51, 46], where the positive and negative monomials get different penalty terms of Eq. 8 (here third order):
(22) |
Rearranging the summands in these equations, we get for the positive monomial:
(23) |
and for the negative monomial:
(24) |
As a result, an arbitrary 3rd order pseudo-boolean function is quadratizatized as:
(25) |
where denote coefficients of positive and negative monomials. The penalty parameters are chosen as:
(26) |
Indeed, for every auxiliary variable index we have
(27) |
where we defined
(28) |
As a result, due to Eq. 26 is guaranteed, as shown in Tab. 2. Compared to the Rosenberg mapping, non-term-wise KZFD-BG has smaller dynamic range 2nd order interactions, since that .
The same native variable pairs are chosen for substitution for both mappings in this work for fair comparison. Their choice is a result of a greedy (i.e. efficient) optimization algorithm choosing the most frequent variable pairs which achieves significant reduction (possibly not the optimal 333Finding a minimal set of pairs of variables to be substituted is in general an NP-Hard problem.) of the QUBO space compared to the term-wise methods (e.g. Eq. 18).
0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | ||
0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | ||
0 | 1 | 1 | ||
1 | 1 | 1 |
Appendix C implementation details
The original code developed for this work uses GWL sampling described in Sec. III.1 and has the following output: GWL histogram of visits to basins of attraction and energy levels, sampled cluster sizes, symmetric matrix of energy barriers between clusters. The information about the connectivity of clusters and their type (local minimum/saddle) is then derived from the barrier matrix during postprocessing. As input the program takes the conjugate normal form of a 3-SAT problem, or the equivalent 3rd order sparse PUBO formulation.
The hyperparameters that can be tuned of DG sampling are: number of parallel threads of sampling, total GWL steps per thread, hill climbing type (random/steepest), usage of ballistic search, cluster exploration and breadth-first search limits.
Extended disconnectivity graphs construction from the aforementioned data sampled with the GWL algorithm is based on the functions from pele library [73].
References
- Mohseni et al. [2022] N. Mohseni, P. L. McMahon, and T. Byrnes, Ising machines as hardware solvers of combinatorial optimization problems, Nature Reviews Physics 4, 363 (2022).
- Mahmoodi et al. [2019] M. R. Mahmoodi, M. Prezioso, and D. B. Strukov, Versatile stochastic dot product circuits based on nonvolatile memories for high performance neurocomputing and neurooptimization, Nature Communications 10, 5113 (2019).
- Cai et al. [2020] F. Cai, S. Kumar, T. Van Vaerenbergh, X. Sheng, R. Liu, C. Li, Z. Liu, M. Foltin, S. Yu, Q. Xia, J. J. Yang, R. Beausoleil, W. D. Lu, and J. P. Strachan, Power-efficient combinatorial optimization using intrinsic noise in memristor hopfield neural networks, Nature Electronics 3, 409 (2020).
- Aramon et al. [2019] M. Aramon, G. Rosenberg, E. Valiante, T. Miyazawa, H. Tamura, and H. G. Katzgraber, Physics-inspired optimization for quadratic unconstrained problems using a digital annealer, Frontiers in Physics 7, 10.3389/fphy.2019.00048 (2019).
- Peng et al. [2008] X. Peng, Z. Liao, N. Xu, G. Qin, X. Zhou, D. Suter, and J. Du, Quantum adiabatic algorithm for factorization and its experimental implementation, Phys. Rev. Lett. 101, 220405 (2008).
- Borders et al. [2019] W. A. Borders, A. Z. Pervaiz, S. Fukami, K. Y. Camsari, H. Ohno, and S. Datta, Integer factorization using stochastic magnetic tunnel junctions, Nature 573, 390 (2019).
- Mallick et al. [2020] A. Mallick, M. K. Bashar, D. S. Truesdell, B. H. Calhoun, S. Joshi, and N. Shukla, Using synchronized oscillators to compute the maximum independent set, Nature Communications 11, 4689 (2020).
- Goto et al. [2021] H. Goto, K. Endo, M. Suzuki, Y. Sakai, T. Kanao, Y. Hamakawa, R. Hidaka, M. Yamasaki, and K. Tatsumura, High-performance combinatorial optimization based on classical mechanics, Science Advances 7, eabe7953 (2021).
- Könz et al. [2021] M. S. Könz, W. Lechner, H. G. Katzgraber, and M. Troyer, Embedding overhead scaling of optimization problems in quantum annealing, PRX Quantum 2, 040322 (2021).
- Valiante et al. [2021] E. Valiante, M. Hernandez, A. Barzegar, and H. G. Katzgraber, Computational overhead of locality reduction in binary optimization problems, Computer Physics Communications 269, 108102 (2021).
- Hizzani et al. [2023] M. Hizzani, A. Heittmann, G. Hutchinson, D. Dobrynin, T. V. Vaerenbergh, T. Bhattacharya, A. Renaudineau, D. Strukov, and J. P. Strachan, Memristor-based hardware and algorithms for higher-order hopfield optimization solver outperforming quadratic ising machines (2023), arXiv:2311.01171 [cs.ET] .
- Gamarnik [2021] D. Gamarnik, The overlap gap property: A topological barrier to optimizing over random structures, Proceedings of the National Academy of Sciences 118, 10.1073/pnas.2108492118 (2021).
- Bernaschi et al. [2021] M. Bernaschi, M. Bisson, M. Fatica, E. Marinari, V. Martin-Mayor, G. Parisi, and F. Ricci-Tersenghi, How we are leading a 3-xorsat challenge: From the energy landscape to the algorithm and its efficient implementation on gpus(a), Europhysics Letters 133, 60005 (2021).
- Becker and Karplus [1997] O. M. Becker and M. Karplus, The topology of multidimensional potential energy surfaces: Theory and application to peptide structure and kinetics, The Journal of Chemical Physics 106, 1495 (1997).
- Wales et al. [1998] D. J. Wales, M. A. Miller, and T. R. Walsh, Archetypal energy landscapes, Nature 394, 758 (1998).
- Doye et al. [1999] J. P. K. Doye, M. A. Miller, and D. J. Wales, The double-funnel energy landscape of the 38-atom Lennard-Jones cluster, The Journal of Chemical Physics 110, 6896 (1999).
- Chakraborty et al. [2014] D. Chakraborty, R. Collepardo-Guevara, and D. J. Wales, Energy landscapes, folding mechanisms, and kinetics of rna tetraloop hairpins, Journal of the American Chemical Society 136, 18052 (2014).
- Calvo et al. [2007] F. Calvo, T. V. Bogdan, V. K. de Souza, and D. J. Wales, Equilibrium density of states and thermodynamic properties of a model glass former, The Journal of Chemical Physics 127, 044508 (2007).
- Wales [2005] D. J. Wales, Energy landscapes and properties of biomolecules, Physical Biology 2, S86 (2005).
- Garstecki et al. [1999] P. Garstecki, T. X. Hoang, and M. Cieplak, Energy landscapes, supergraphs, and “folding funnels” in spin systems, Phys. Rev. E 60, 3219 (1999).
- Biswas and Katzgraber [2020] K. Biswas and H. G. Katzgraber, Adding color: Visualization of energy landscapes in spin glasses (2020), arXiv:2004.12431 [cond-mat.dis-nn] .
- Zhou [2011] Q. Zhou, Random walk over basins of attraction to construct ising energy landscapes, Phys. Rev. Lett. 106, 180602 (2011).
- Coja-Oghlan et al. [2017] A. Coja-Oghlan, A. Haqshenas, and S. Hetterich, Walksat stalls well below satisfiability, SIAM Journal on Discrete Mathematics 31, 1160 (2017).
- Bellitti et al. [2021] M. Bellitti, F. Ricci-Tersenghi, and A. Scardicchio, Entropic barriers as a reason for hardness in both classical and quantum algorithms, Phys. Rev. Res. 3, 043015 (2021).
- Barahona [1982] F. Barahona, On the computational complexity of ising spin glass models, Journal of Physics A: Mathematical and General 15, 3241 (1982).
- Selman and Kirkpatrick [1996] B. Selman and S. Kirkpatrick, Critical behavior in the computational cost of satisfiability testing, Artificial Intelligence 81, 273 (1996), frontiers in Problem Solving: Phase Transitions and Complexity.
- Mé zard et al. [2005] M. Mé zard, T. Mora, and R. Zecchina, Clustering of solutions in the random satisfiability problem, Physical Review Letters 94, 10.1103/physrevlett.94.197205 (2005).
- Mezard and Montanari [2009] M. Mezard and A. Montanari, Information, Physics, and Computation (Oxford University Press, Inc., USA, 2009).
- Marques-Silva [2008] J. Marques-Silva, Practical applications of boolean satisfiability, in 2008 9th International Workshop on Discrete Event Systems (2008) pp. 74–80.
- Bhattacharya et al. [2024] T. Bhattacharya, G. H. Hutchinson, G. Pedretti, X. Sheng, J. Ignowski, T. V. Vaerenbergh, R. Beausoleil, J. P. Strachan, and D. B. Strukov, Computing high-degree polynomial gradients in memory (2024), arXiv:2401.16204 [cs.ET] .
- Garey and Johnson [1990] M. R. Garey and D. S. Johnson, Computers and Intractability; A Guide to the Theory of NP-Completeness (W. H. Freeman & Co., USA, 1990).
- Montanari et al. [2008] A. Montanari, F. Ricci-Tersenghi, and G. Semerjian, Clusters of solutions and replica symmetry breaking in random k-satisfiability, Journal of Statistical Mechanics: Theory and Experiment 2008, P04004 (2008).
- Zdeborová and Krząkała [2007] L. Zdeborová and F. Krząkała, Phase transitions in the coloring of random graphs, Phys. Rev. E 76, 031131 (2007).
- Ardelius and Zdeborová [2008] J. Ardelius and L. Zdeborová, Exhaustive enumeration unveils clustering and freezing in the random 3-satisfiability problem, Phys. Rev. E 78, 040101 (2008).
- Li et al. [2009] K. Li, H. Ma, and H. Zhou, From one solution of a 3-satisfiability formula to a solution cluster: Frozen variables and entropy, Phys. Rev. E 79, 031102 (2009).
- Mohseni et al. [2021] M. Mohseni, D. Eppens, J. Strumpfer, R. Marino, V. Denchev, A. K. Ho, S. V. Isakov, S. Boixo, F. Ricci-Tersenghi, and H. Neven, Nonequilibrium monte carlo for unfreezing variables in hard combinatorial optimization (2021), arXiv:2111.13628 [cond-mat.dis-nn] .
- Bresler and Huang [2021] G. Bresler and B. Huang, The algorithmic phase transition of random -sat for low degree polynomials (2021), arXiv:2106.02129 [cs.CC] .
- Gamarnik et al. [2022] D. Gamarnik, C. Moore, and L. Zdeborová, Disordered systems insights on computational hardness, Journal of Statistical Mechanics: Theory and Experiment 2022, 114015 (2022).
- Flamm et al. [2002] C. Flamm, I. L. Hofacker, P. F. Stadler, and M. T. Wolfinger, Barrier trees of degenerate landscapes, Zeitschrift für Physikalische Chemie 216, 155 (2002).
- Reidys and Stadler [2002] C. M. Reidys and P. F. Stadler, Combinatorial landscapes, SIAM Review 44, 3 (2002).
- Hallam and Prugel-Bennett [2005] J. Hallam and A. Prugel-Bennett, Large barrier trees for studying search, IEEE Transactions on Evolutionary Computation 9, 385 (2005).
- Dauphin et al. [2014] Y. Dauphin, R. Pascanu, C. Gulcehre, K. Cho, S. Ganguli, and Y. Bengio, Identifying and attacking the saddle point problem in high-dimensional non-convex optimization (2014), arXiv:1406.2572 [cs.LG] .
- Lee et al. [2019] J. D. Lee, I. Panageas, G. Piliouras, M. Simchowitz, M. I. Jordan, and B. Recht, First-order methods almost always avoid strict saddle points, Mathematical Programming 176, 311 (2019).
- Dattani [2019] N. Dattani, Quadratization in discrete optimization and quantum mechanics (2019), arXiv:1901.04405 [quant-ph] .
- Schrijver [2000] A. Schrijver, A combinatorial algorithm minimizing submodular functions in strongly polynomial time, Journal of Combinatorial Theory, Series B 80, 346 (2000).
- Boros and Gruber [2014] E. Boros and A. Gruber, On quadratization of pseudo-boolean functions (2014), arXiv:1404.6538 [math.OC] .
- Rosenberg [1975] I. G. Rosenberg, Reduction of bivalent maximization to the quadratic case, Cahiers Centre Études Recherche Opér. 17 (1975).
- Biamonte [2008] J. D. Biamonte, Nonperturbative -body to two-body commuting conversion hamiltonians and embedding problem instances into ising spins, Phys. Rev. A 77, 052331 (2008).
- Aadit et al. [2022] N. A. Aadit, A. Grimaldi, M. Carpentieri, L. Theogarajan, J. M. Martinis, G. Finocchio, and K. Y. Camsari, Massively parallel probabilistic computing with sparse ising machines, Nature Electronics 5, 460 (2022).
- Kolmogorov and Zabin [2004] V. Kolmogorov and R. Zabin, What energy functions can be minimized via graph cuts?, IEEE Transactions on Pattern Analysis and Machine Intelligence 26, 147 (2004).
- Freedman and Drineas [2005] D. Freedman and P. Drineas, Energy minimization via graph cuts: settling what is possible, in 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR’05), Vol. 2 (2005) pp. 939–946 vol. 2.
- Landau et al. [2004] D. P. Landau, S.-H. Tsai, and M. Exler, A new approach to Monte Carlo simulations in statistical physics: Wang-Landau sampling, American Journal of Physics 72, 1294 (2004).
- Liang [2005] F. Liang, A generalized wang-landau algorithm for monte carlo computation, Journal of the American Statistical Association 100, 1311 (2005).
- Tang and Zhou [2012] W. Tang and Q. Zhou, Finding multiple minimum-energy conformations of the hydrophobic-polar protein model via multidomain sampling, Phys. Rev. E 86, 031909 (2012).
- Barbu and Zhu [2020] A. Barbu and S.-C. Zhu, Monte Carlo Methods (Springer Singapore, 2020).
- Hartmann [2000] A. K. Hartmann, A new method for analysing ground-state landscapes: ballistic search, Journal of Physics A: Mathematical and General 33, 657 (2000).
- Mann and Hartmann [2010] A. Mann and A. K. Hartmann, Numerical solution-space analysis of satisfiability problems, Phys. Rev. E 82, 056702 (2010).
- Denchev et al. [2016] V. S. Denchev, S. Boixo, S. V. Isakov, N. Ding, R. Babbush, V. Smelyanskiy, J. Martinis, and H. Neven, What is the computational value of finite-range tunneling?, Phys. Rev. X 6, 031015 (2016).
- Note [1] This valid state may not be unique, i.e. there could be degeneracy in the auxiliary variable space for each fixed . In this case we consider all such configurations and take the minimum of the computed effective QUBO barrier.
- Note [2] Time-to-solution (TTS) is the time needed for a stochastic solver to reach a solution at least once with probability .
- Hoos and Stützle [2000] H. Hoos and T. Stützle, Satlib: An online resource for research on sat (2000) pp. 283–292.
- Frank et al. [1997] J. Frank, P. Cheeseman, and J. Stutz, When gravity fails: Local search topology (1997), arXiv:cs/9712101 [cs.AI] .
- [63] P. Purdom and A. Sabry, Cnf generator for factoring problems.
- Mosca and Verschoor [2022] M. Mosca and S. R. Verschoor, Factoring semi-primes with (quantum) sat-solvers, Scientific Reports 12, 7982 (2022).
- Houdayer [2001] J. Houdayer, A cluster monte carlo algorithm for 2-dimensional spin glasses, The European Physical Journal B - Condensed Matter and Complex Systems 22, 479 (2001).
- Lecun et al. [2006] Y. Lecun, S. Chopra, and R. Hadsell, A tutorial on energy-based learning (2006).
- Hopfield [1982] J. J. Hopfield, Neural networks and physical systems with emergent collective computational abilities., Proceedings of the National Academy of Sciences 79, 2554 (1982), https://www.pnas.org/doi/pdf/10.1073/pnas.79.8.2554 .
- Krotov and Hopfield [2016] D. Krotov and J. J. Hopfield, Dense associative memory for pattern recognition (2016), arXiv:1606.01164 [cs.NE] .
- Mohseni et al. [2023] M. Mohseni, M. M. Rams, S. V. Isakov, D. Eppens, S. Pielawa, J. Strumpfer, S. Boixo, and H. Neven, Sampling diverse near-optimal solutions via algorithmic quantum annealing, Phys. Rev. E 108, 065303 (2023).
- Jülich Supercomputing Centre [2021] Jülich Supercomputing Centre, JURECA: Data Centric and Booster Modules implementing the Modular Supercomputing Architecture at Jülich Supercomputing Centre, Journal of large-scale research facilities 7, 10.17815/jlsrf-7-182 (2021).
- Babbush et al. [2013] R. Babbush, B. O’Gorman, and A. Aspuru-Guzik, Resource efficient gadgets for compiling adiabatic quantum optimization problems, Annalen der Physik 525, 877 (2013).
- Note [3] Finding a minimal set of pairs of variables to be substituted is in general an NP-Hard problem.
- [73] pele: Python energy landscape explorer.