-
Quantum annealing speedup of embedded problems via suppression of Griffiths singularities
Authors:
Sergey Knysh,
Eugeniu Plamadeala,
Davide Venturelli
Abstract:
Optimal parameter setting for applications problems embedded into hardware graphs is key to practical quantum annealers (QA). Embedding chains typically crop up as harmful Griffiths phases, but can be used as a resource as we show here: to balance out singularities in the logical problem changing its universality class. Smart choice of embedding parameters reduces annealing times for random Ising…
▽ More
Optimal parameter setting for applications problems embedded into hardware graphs is key to practical quantum annealers (QA). Embedding chains typically crop up as harmful Griffiths phases, but can be used as a resource as we show here: to balance out singularities in the logical problem changing its universality class. Smart choice of embedding parameters reduces annealing times for random Ising chain from $O(exp[c\sqrt N])$ to $O(N^2)$. Dramatic reduction in time-to-solution for QA is confirmed by numerics, for which we developed a custom integrator to overcome convergence issues.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Supplementary information for "Quantum supremacy using a programmable superconducting processor"
Authors:
Frank Arute,
Kunal Arya,
Ryan Babbush,
Dave Bacon,
Joseph C. Bardin,
Rami Barends,
Rupak Biswas,
Sergio Boixo,
Fernando G. S. L. Brandao,
David A. Buell,
Brian Burkett,
Yu Chen,
Zijun Chen,
Ben Chiaro,
Roberto Collins,
William Courtney,
Andrew Dunsworth,
Edward Farhi,
Brooks Foxen,
Austin Fowler,
Craig Gidney,
Marissa Giustina,
Rob Graff,
Keith Guerin,
Steve Habegger
, et al. (52 additional authors not shown)
Abstract:
This is an updated version of supplementary information to accompany "Quantum supremacy using a programmable superconducting processor", an article published in the October 24, 2019 issue of Nature. The main article is freely available at https://www.nature.com/articles/s41586-019-1666-5. Summary of changes since arXiv:1910.11333v1 (submitted 23 Oct 2019): added URL for qFlex source code; added Er…
▽ More
This is an updated version of supplementary information to accompany "Quantum supremacy using a programmable superconducting processor", an article published in the October 24, 2019 issue of Nature. The main article is freely available at https://www.nature.com/articles/s41586-019-1666-5. Summary of changes since arXiv:1910.11333v1 (submitted 23 Oct 2019): added URL for qFlex source code; added Erratum section; added Figure S41 comparing statistical and total uncertainty for log and linear XEB; new References [1,65]; miscellaneous updates for clarity and style consistency; miscellaneous typographical and formatting corrections.
△ Less
Submitted 28 December, 2019; v1 submitted 23 October, 2019;
originally announced October 2019.
-
Noise amplification at spin-glass bottlenecks of quantum annealing: a solvable model
Authors:
David Roberts,
Lukasz Cincio,
Avadh Saxena,
Andre Petukhov,
Sergey Knysh
Abstract:
To gain better insight into the complexity theory of quantum annealing, we propose and solve a class of spin systems which contain bottlenecks of the kind expected to dominate the runtime of quantum annealing as it tries to solve difficult optimization problems. We uncover a noise amplification effect at these bottlenecks, whereby tunneling rates caused by flux-qubit noise scale in proportion to t…
▽ More
To gain better insight into the complexity theory of quantum annealing, we propose and solve a class of spin systems which contain bottlenecks of the kind expected to dominate the runtime of quantum annealing as it tries to solve difficult optimization problems. We uncover a noise amplification effect at these bottlenecks, whereby tunneling rates caused by flux-qubit noise scale in proportion to the number of qubits $N$ in the limit that $N\to \infty$. By solving the incoherent annealing dynamics exactly, we find a wide range of regimes where the probability that a quantum annealer remains in the ground-state upon exiting the bottleneck is close to one-half. We corroborate our analysis with detailed simulations of the performance of the D-Wave 2X quantum annealer on our class of computational problems.
△ Less
Submitted 1 September, 2019;
originally announced September 2019.
-
A NASA Perspective on Quantum Computing: Opportunities and Challenges
Authors:
Rupak Biswas,
Zhang Jiang,
Kostya Kechezhi,
Sergey Knysh,
Salvatore Mandrà,
Bryan O'Gorman,
Alejandro Perdomo-Ortiz,
Andre Petukhov,
John Realpe-Gómez,
Eleanor Rieffel,
Davide Venturelli,
Fedir Vasko,
Zhihui Wang
Abstract:
In the last couple of decades, the world has seen several stunning instances of quantum algorithms that provably outperform the best classical algorithms. For most problems, however, it is currently unknown whether quantum algorithms can provide an advantage, and if so by how much, or how to design quantum algorithms that realize such advantages. Many of the most challenging computational problems…
▽ More
In the last couple of decades, the world has seen several stunning instances of quantum algorithms that provably outperform the best classical algorithms. For most problems, however, it is currently unknown whether quantum algorithms can provide an advantage, and if so by how much, or how to design quantum algorithms that realize such advantages. Many of the most challenging computational problems arising in the practical world are tackled today by heuristic algorithms that have not been mathematically proven to outperform other approaches but have been shown to be effective empirically. While quantum heuristic algorithms have been proposed, empirical testing becomes possible only as quantum computation hardware is built. The next few years will be exciting as empirical testing of quantum heuristic algorithms becomes more and more feasible. While large-scale universal quantum computers are likely decades away, special-purpose quantum computational hardware has begun to emerge that will become more powerful over time, as well as some small-scale universal quantum computers.
△ Less
Submitted 16 April, 2017;
originally announced April 2017.
-
Quantum annealing via environment-mediated quantum diffusion
Authors:
Vadim N. Smelyanskiy,
Davide Venturelli,
Alejandro Perdomo-Ortiz,
Sergey Knysh,
Mark I. Dykman
Abstract:
We show that quantum diffusion near the quantum critical point can provide a highly very efficient mechanism of open-system quantum annealing. It is based on the diffusion-mediated recombination of excitations. For an Ising spin chain coupled to a bosonic bath, excitation diffusion in a transverse field sharply slows down as the system moves away from the quantum critical region. This leads to spa…
▽ More
We show that quantum diffusion near the quantum critical point can provide a highly very efficient mechanism of open-system quantum annealing. It is based on the diffusion-mediated recombination of excitations. For an Ising spin chain coupled to a bosonic bath, excitation diffusion in a transverse field sharply slows down as the system moves away from the quantum critical region. This leads to spatial correlations and effective freezing of the excitation density. We find that obtaining an approximate solution via the diffusion-mediated quantum annealing can be faster than via closed-system quantum annealing or Glauber dynamics.
△ Less
Submitted 9 December, 2015; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Computational Bottlenecks of Quantum Annealing
Authors:
Sergey Knysh
Abstract:
A promising approach to solving hard binary optimisation problems is quantum adiabatic annealing (QA) in a transverse magnetic field. An instantaneous ground state --- initially a symmetric superposition of all possible assignments of $N$ qubits --- is closely tracked as it becomes more and more localised near the global minimum of the classical energy. Regions where the energy gap to excited stat…
▽ More
A promising approach to solving hard binary optimisation problems is quantum adiabatic annealing (QA) in a transverse magnetic field. An instantaneous ground state --- initially a symmetric superposition of all possible assignments of $N$ qubits --- is closely tracked as it becomes more and more localised near the global minimum of the classical energy. Regions where the energy gap to excited states is small (e.g. at the phase transition) are the algorithm's bottlenecks. Here I show how for large problems the complexity becomes dominated by $O(\log N)$ bottlenecks inside the spin glass phase, where the gap scales as a stretched exponential. For smaller $N$, only the gap at the critical point is relevant, where it scales polynomially, as long as the phase transition is second order. This phenomenon is demonstrated rigorously for the two-pattern Gaussian Hopfield Model. Qualitative comparison with the Sherrington-Kirkpatrick Model leads to similar conclusions.
△ Less
Submitted 17 May, 2016; v1 submitted 29 June, 2015;
originally announced June 2015.
-
Comparative Study of the Performance of Quantum Annealing and Simulated Annealing
Authors:
Hidetoshi Nishimori,
Junichi Tsuda,
Sergey Knysh
Abstract:
Relations of simulated annealing and quantum annealing are studied by a map** from the transition matrix of classical Markovian dynamics of the Ising model to a quantum Hamiltonian and vice versa. It is shown that these two operators, the transition matrix and the Hamiltonian, share the eigenvalue spectrum. Thus, if simulated annealing with slow temperature change does not encounter a difficulty…
▽ More
Relations of simulated annealing and quantum annealing are studied by a map** from the transition matrix of classical Markovian dynamics of the Ising model to a quantum Hamiltonian and vice versa. It is shown that these two operators, the transition matrix and the Hamiltonian, share the eigenvalue spectrum. Thus, if simulated annealing with slow temperature change does not encounter a difficulty caused by an exponentially long relaxation time at a first-order phase transition, the same is true for the corresponding process of quantum annealing in the adiabatic limit. One of the important differences between the classical-to-quantum map** and the converse quantum-to-classical map** is that the Markovian dynamics of a short-range Ising model is mapped to a short-range quantum system, but the converse map** from a short-range quantum system to a classical one results in long-range interactions. This leads to a difference in efficiencies that simulated annealing can be efficiently simulated by quantum annealing but the converse is not necessarily true. We conclude that quantum annealing is easier to implement and is more flexible than simulated annealing. We also point out that the present map** can be extended to accommodate explicit time dependence of temperature, which is used to justify the quantum-mechanical analysis of simulated annealing by Somma, Batista, and Ortiz. Additionally, an alternative method to solve the non-equilibrium dynamics of the one-dimensional Ising model is provided through the classical-to-quantum map**.
△ Less
Submitted 11 December, 2014; v1 submitted 22 September, 2014;
originally announced September 2014.
-
Quantum Optimization of Fully-Connected Spin Glasses
Authors:
Davide Venturelli,
Salvatore Mandrà,
Sergey Knysh,
Bryan O'Gorman,
Rupak Biswas,
Vadim Smelyanskiy
Abstract:
The Sherrington-Kirkpatrick model with random $\pm1$ couplings is programmed on the D-Wave Two annealer featuring 509 qubits interacting on a Chimera-type graph. The performance of the optimizer compares and correlates to simulated annealing. When considering the effect of the static noise, which degrades the performance of the annealer, one can estimate an improvement on the comparative scaling o…
▽ More
The Sherrington-Kirkpatrick model with random $\pm1$ couplings is programmed on the D-Wave Two annealer featuring 509 qubits interacting on a Chimera-type graph. The performance of the optimizer compares and correlates to simulated annealing. When considering the effect of the static noise, which degrades the performance of the annealer, one can estimate an improvement on the comparative scaling of the two methods in favor of the D-Wave machine. The optimal choice of parameters of the embedding on the Chimera graph is shown to be associated to the emergence of the spin-glass critical temperature of the embedded problem.
△ Less
Submitted 29 June, 2014;
originally announced June 2014.
-
True Limits to Precision via Unique Quantum Probe
Authors:
Sergey I. Knysh,
Edward H. Chen,
Gabriel A. Durkin
Abstract:
Quantum instruments derived from composite systems allow greater measurement precision than their classical counterparts due to coherences maintained between N components; spins, atoms or photons. Decoherence that plagues real-world devices can be particle loss, or thermal excitation and relaxation, or dephasing due to external noise sources -- and also due to prior parameter uncertainty. All thes…
▽ More
Quantum instruments derived from composite systems allow greater measurement precision than their classical counterparts due to coherences maintained between N components; spins, atoms or photons. Decoherence that plagues real-world devices can be particle loss, or thermal excitation and relaxation, or dephasing due to external noise sources -- and also due to prior parameter uncertainty. All these adversely affect precision estimation of time, phase or frequency. We develop a novel technique uncovering the uniquely optimal probe states of the N `qubits' alongside new tight bounds on precision under local and collective mechanisms of these noise types above. For large quantum ensembles where numerical techniques fail, the problem reduces by analogy to finding the ground state of a 1-D particle in a potential well; the shape of the well is dictated by the type and strength of decoherence. The formalism is applied to prototypical Mach-Zehnder and Ramsey interferometers to discover the ultimate performance of real-world instruments.
△ Less
Submitted 3 February, 2014;
originally announced February 2014.
-
Estimation of Phase and Diffusion: Combining Quantum Statistics and Classical Noise
Authors:
Sergey I. Knysh,
Gabriel A. Durkin
Abstract:
Coherent ensembles of $N$ qubits present an advantage in quantum phase estimation over separable mixtures, but coherence decay due to classical phase diffusion reduces overall precision. In some contexts, the strength of diffusion may be the parameter of interest. We examine estimation of both phase and diffusion in large spin systems using a novel mathematical formulation. For the first time, we…
▽ More
Coherent ensembles of $N$ qubits present an advantage in quantum phase estimation over separable mixtures, but coherence decay due to classical phase diffusion reduces overall precision. In some contexts, the strength of diffusion may be the parameter of interest. We examine estimation of both phase and diffusion in large spin systems using a novel mathematical formulation. For the first time, we show a closed form expression for the quantum Fisher information for estimation of a unitary parameter in a noisy environment. The optimal probe state has a non-Gaussian profile and differs also from the canonical phase state; it saturates a new tight precision bound. For noise below a critical threshold, entanglement always leads to enhanced precision, but the shot-noise limit is beaten only by a constant factor, independent of $N$. We provide upper and lower bounds to this factor, valid in low and high noise regimes. Unlike other noise types, it is shown for $N \gg 1$ that phase and diffusion can be measured simultaneously and optimally.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
-
A Near-Term Quantum Computing Approach for Hard Computational Problems in Space Exploration
Authors:
Vadim N. Smelyanskiy,
Eleanor G. Rieffel,
Sergey I. Knysh,
Colin P. Williams,
Mark W. Johnson,
Murray C. Thom,
William G. Macready,
Kristen L. Pudenz
Abstract:
In this article, we show how to map a sampling of the hardest artificial intelligence problems in space exploration onto equivalent Ising models that then can be attacked using quantum annealing implemented in D-Wave machine. We overview the existing results as well as propose new Ising model implementations for quantum annealing. We review supervised and unsupervised learning algorithms for class…
▽ More
In this article, we show how to map a sampling of the hardest artificial intelligence problems in space exploration onto equivalent Ising models that then can be attacked using quantum annealing implemented in D-Wave machine. We overview the existing results as well as propose new Ising model implementations for quantum annealing. We review supervised and unsupervised learning algorithms for classification and clustering with applications to feature identification and anomaly detection. We introduce algorithms for data fusion and image matching for remote sensing applications. We overview planning problems for space exploration mission applications and algorithms for diagnostics and recovery with applications to deep space missions. We describe combinatorial optimization algorithms for task assignment in the context of autonomous unmanned exploration. Finally, we discuss the ways to circumvent the limitation of the Ising map** using a "blackbox" approach based on ideas from probabilistic computing. In this article we describe the architecture of the D-Wave One machine and report its benchmarks. Results on random ensemble of problems in the range of up to 96 qubits show improved scaling for median core quantum annealing time compared with classical algorithms; whether this scaling persists for larger problem sizes is an open question. We also review previous results of D-Wave One benchmarking studies for solving binary classification problems with a quantum boosting algorithm which is shown to outperform AdaBoost. We review quantum algorithms for structured learning for multi-label classification and introduce a hybrid classical/quantum approach for learning the weights. Results of D-Wave One benchmarking studies for learning structured labels on four different data sets show a better performance compared with an independent Support Vector Machine approach with linear kernel.
△ Less
Submitted 18 April, 2012; v1 submitted 12 April, 2012;
originally announced April 2012.
-
Scaling laws for precision in quantum interferometry and bifurcation landscape of optimal state
Authors:
Sergey Knysh,
Vadim N. Smelyanskiy,
Gabriel A. Durkin
Abstract:
Phase precision in optimal 2-channel quantum interferometry is studied in the limit of large photon number $N\gg 1$, for losses occurring in either one or both channels. For losses in one channel an optimal state undergoes an intriguing sequence of local bifurcations as the losses or the number of photons increase. We further show that fixing the loss paramater determines a scale for quantum metro…
▽ More
Phase precision in optimal 2-channel quantum interferometry is studied in the limit of large photon number $N\gg 1$, for losses occurring in either one or both channels. For losses in one channel an optimal state undergoes an intriguing sequence of local bifurcations as the losses or the number of photons increase. We further show that fixing the loss paramater determines a scale for quantum metrology -- a crossover value of the photon number $N_c$ beyond which the supra-classical precision is progressively lost. For large losses the optimal state also has a different structure from those considered previously.
△ Less
Submitted 23 September, 2010; v1 submitted 8 June, 2010;
originally announced June 2010.
-
On the relevance of avoided crossings away from quantum critical point to the complexity of quantum adiabatic algorithm
Authors:
S. Knysh,
V. Smelyanskiy
Abstract:
Two recent preprints [B. Altshuler, H. Krovi, and J. Roland, "Quantum adiabatic optimization fails for random instances of NP-complete problems", arXiv:0908.2782 and "Anderson localization casts clouds over adiabatic quantum optimization", arXiv:0912.0746] argue that random 4th order perturbative corrections to the energies of local minima of random instances of NP-complete problem lead to avoided…
▽ More
Two recent preprints [B. Altshuler, H. Krovi, and J. Roland, "Quantum adiabatic optimization fails for random instances of NP-complete problems", arXiv:0908.2782 and "Anderson localization casts clouds over adiabatic quantum optimization", arXiv:0912.0746] argue that random 4th order perturbative corrections to the energies of local minima of random instances of NP-complete problem lead to avoided crossings that cause the failure of quantum adiabatic algorithm (due to exponentially small gap) close to the end, for very small transverse field that scales as an inverse power of instance size N. The theoretical portion of this work does not to take into account the exponential degeneracy of the ground and excited states at zero field. A corrected analysis shows that unlike those in the middle of the spectrum, avoided crossings at the edge would require high [O(1)] transverse fields, at which point the perturbation theory may become divergent due to quantum phase transition. This effect manifests itself only in large instances [exp(0.02 N) >> 1], which might be the reason it had not been observed in the authors' numerical work. While we dispute the proposed mechanism of failure of quantum adiabatic algorithm, we cannot draw any conclusions on its ultimate complexity.
△ Less
Submitted 17 May, 2010;
originally announced May 2010.
-
First order phase transition in the Quantum Adiabatic Algorithm
Authors:
A. P. Young,
S. Knysh,
V. N. Smelyanskiy
Abstract:
We simulate the quantum adiabatic algorithm (QAA) for the exact cover problem for sizes up to N=256 using quantum Monte Carlo simulations incorporating parallel tempering. At large N we find that some instances have a discontinuous (first order) quantum phase transition during the evolution of the QAA. This fraction increases with increasing N and may tend to 1 for N -> infinity.
We simulate the quantum adiabatic algorithm (QAA) for the exact cover problem for sizes up to N=256 using quantum Monte Carlo simulations incorporating parallel tempering. At large N we find that some instances have a discontinuous (first order) quantum phase transition during the evolution of the QAA. This fraction increases with increasing N and may tend to 1 for N -> infinity.
△ Less
Submitted 19 January, 2010; v1 submitted 7 October, 2009;
originally announced October 2009.
-
Size dependence of the minimum excitation gap in the Quantum Adiabatic Algorithm
Authors:
A. P. Young,
S. Knysh,
V. N. Smelyanskiy
Abstract:
We study the typical (median) value of the minimum gap in the quantum version of the Exact Cover problem using Quantum Monte Carlo simulations, in order to understand the complexity of the quantum adiabatic algorithm (QAA) for much larger sizes than before. For a range of sizes, N <= 128, where the classical Davis-Putnam algorithm shows exponential median complexity, the QAA shows polynomial med…
▽ More
We study the typical (median) value of the minimum gap in the quantum version of the Exact Cover problem using Quantum Monte Carlo simulations, in order to understand the complexity of the quantum adiabatic algorithm (QAA) for much larger sizes than before. For a range of sizes, N <= 128, where the classical Davis-Putnam algorithm shows exponential median complexity, the QAA shows polynomial median complexity. The bottleneck of the algorithm is an isolated avoided crossing point of a Landau-Zener type (collision between the two lowest energy levels only).
△ Less
Submitted 23 October, 2008; v1 submitted 27 March, 2008;
originally announced March 2008.
-
Statistical Mechanics of the Quantum K-Satisfiability problem
Authors:
S. Knysh,
V. N. Smelyanskiy
Abstract:
We study the quantum version of the random $K$-Satisfiability problem in the presence of the external magnetic field $Γ$ applied in the transverse direction. We derive the replica-symmetric free energy functional within static approximation and the saddle-point equation for the order parameter: the distribution $P[h(m)]$ of functions of magnetizations. The order parameter is interpreted as the h…
▽ More
We study the quantum version of the random $K$-Satisfiability problem in the presence of the external magnetic field $Γ$ applied in the transverse direction. We derive the replica-symmetric free energy functional within static approximation and the saddle-point equation for the order parameter: the distribution $P[h(m)]$ of functions of magnetizations. The order parameter is interpreted as the histogram of probability distributions of individual magnetizations. In the limit of zero temperature and small transverse fields, to leading order in $Γ$ magnetizations $m \approx 0$ become relevant in addition to purely classical values of $m \approx \pm 1$. Self-consistency equations for the order parameter are solved numerically using Quasi Monte Carlo method for K=3. It is shown that for an arbitrarily small $Γ$ quantum fluctuations destroy the phase transition present in the classical limit $Γ=0$, replacing it with a smooth crossover transition. The implications of this result with respect to the expected performance of quantum optimization algorithms via adiabatic evolution are discussed. The replica-symmetric solution of the classical random $K$-Satisfiability problem is briefly revisited. It is shown that the phase transition at T=0 predicted by the replica-symmetric theory is of continuous type with atypical critical exponents.
△ Less
Submitted 27 March, 2008; v1 submitted 3 March, 2008;
originally announced March 2008.
-
Quantum Adiabatic Evolution Algorithm and Quantum Phase Transition in 3-Satisfiability Problem
Authors:
S. Knysh,
V. N. Smelyanskiy
Abstract:
In this paper we show that the performance of the quantum adiabatic algorithm is determined by phase transitions in underlying problem in the presence of transverse magnetic field $Γ$. We show that the quantum version of random Satisfiability problem with 3 bits in a clause (3-SAT) has a first-order quantum phase transition. We analyze the phase diagram $γ=γ(Γ)$ where $γ$ is an average number of…
▽ More
In this paper we show that the performance of the quantum adiabatic algorithm is determined by phase transitions in underlying problem in the presence of transverse magnetic field $Γ$. We show that the quantum version of random Satisfiability problem with 3 bits in a clause (3-SAT) has a first-order quantum phase transition. We analyze the phase diagram $γ=γ(Γ)$ where $γ$ is an average number of clauses per binary variable in 3-SAT. The results are obtained in a closed form assuming replica symmetry and neglecting time correlations at small values of the transverse field $Γ$. In the limit of $Γ=0$ the value of $γ(0)\approx$ 5.18 corresponds to that given by the replica symmetric treatment of a classical random 3-SAT problem. We demonstrate the qualitative similarity between classical and quantum versions of this problem.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
Adiabatic Quantum Computing in systems with constant inter-qubit couplings
Authors:
S. Knysh,
V. N. Smelyanskiy
Abstract:
We propose an approach suitable for solving NP-complete problems via adiabatic quantum computation with an architecture based on a lattice of interacting spins (qubits) driven by locally adjustable effective magnetic fields. Interactions between qubits are assumed constant and instance-independent, programming is done only by changing local magnetic fields. Implementations using qubits coupled b…
▽ More
We propose an approach suitable for solving NP-complete problems via adiabatic quantum computation with an architecture based on a lattice of interacting spins (qubits) driven by locally adjustable effective magnetic fields. Interactions between qubits are assumed constant and instance-independent, programming is done only by changing local magnetic fields. Implementations using qubits coupled by magnetic-, electric-dipole and exchange interactions are discussed.
△ Less
Submitted 15 November, 2005; v1 submitted 14 November, 2005;
originally announced November 2005.
-
Approximating satisfiability transition by suppressing fluctuations
Authors:
S. Knysh,
V. N. Smelyanskiy,
R. D. Morris
Abstract:
Using methods and ideas from statistical mechanics, we propose a simple method for obtaining rigorous upper bounds for satisfiability transition in random boolean expressions composed of N variables and M clauses with K variables per clause. Determining the location of satisfiability threshold $α_c=M/N$ for a number of difficult combinatorial problems is a major open problem in the theory of ran…
▽ More
Using methods and ideas from statistical mechanics, we propose a simple method for obtaining rigorous upper bounds for satisfiability transition in random boolean expressions composed of N variables and M clauses with K variables per clause. Determining the location of satisfiability threshold $α_c=M/N$ for a number of difficult combinatorial problems is a major open problem in the theory of random graphs. The method is based on identification of the core -- a subexpression (subgraph) that has the same satisfiability properties as the original expression. We formulate self-consistency equations that determine macroscopic parameters of the core and compute an improved annealing bound. We illustrate the method for three sample problems: K-XOR-SAT, K-SAT and positive 1-in-K-SAT.
△ Less
Submitted 17 March, 2004;
originally announced March 2004.
-
Quantum adiabatic optimization and combinatorial landscapes
Authors:
V. N. Smelyanskiy,
S. Knysh,
R. D. Morris
Abstract:
In this paper we analyze the performance of the Quantum Adiabatic Evolution algorithm on a variant of Satisfiability problem for an ensemble of random graphs parametrized by the ratio of clauses to variables, $γ=M/N$. We introduce a set of macroscopic parameters (landscapes) and put forward an ansatz of universality for random bit flips. We then formulate the problem of finding the smallest eige…
▽ More
In this paper we analyze the performance of the Quantum Adiabatic Evolution algorithm on a variant of Satisfiability problem for an ensemble of random graphs parametrized by the ratio of clauses to variables, $γ=M/N$. We introduce a set of macroscopic parameters (landscapes) and put forward an ansatz of universality for random bit flips. We then formulate the problem of finding the smallest eigenvalue and the excitation gap as a statistical mechanics problem. We use the so-called annealing approximation with a refinement that a finite set of macroscopic variables (versus only energy) is used, and are able to show the existence of a dynamic threshold $γ=γ_d$ starting with some value of K -- the number of variables in each clause. Beyond dynamic threshold, the algorithm should take exponentially long time to find a solution. We compare the results for extended and simplified sets of landscapes and provide numerical evidence in support of our universality ansatz. We have been able to map the ensemble of random graphs onto another ensemble with fluctuations significantly reduced. This enabled us to obtain tight upper bounds on satisfiability transition and to recompute the dynamical transition using the extended set of landscapes.
△ Less
Submitted 2 March, 2004; v1 submitted 25 February, 2004;
originally announced February 2004.
-
Superconductivity in a two-dimensional Electron Gas
Authors:
Philip Phillips,
Yi Wan,
Ivar Martin,
Sergey Knysh,
Denis Dalidovich
Abstract:
In a series of recent experiments, Kravchenko and colleagues observed unexpectedly that a two-dimensional electron gas in zero magnetic field can be a conductor. The two-dimensionality was imposed by confining the electron gas to move laterally at the interface between two semiconductors. The observation of a conductor in two dimensions (2D) is surprising as the conventional theory of metals pre…
▽ More
In a series of recent experiments, Kravchenko and colleagues observed unexpectedly that a two-dimensional electron gas in zero magnetic field can be a conductor. The two-dimensionality was imposed by confining the electron gas to move laterally at the interface between two semiconductors. The observation of a conductor in two dimensions (2D) is surprising as the conventional theory of metals precludes the presence of a metallic state at zero temperature in 2D. Nonetheless, there are now several experiments confirming the existence of the new conducting phase in a dilute two-dimensional electron gas in zero magnetic field. Here we argue based on an analysis of the experiments and general theoretical grounds that this phase is a zero-temperature superconductor with an inhomogeneous charge density.
△ Less
Submitted 21 September, 1998; v1 submitted 16 September, 1997;
originally announced September 1997.