scholarly journals Analog errors in quantum annealing: doom and hope

2019 ◽  
Vol 5 (1) ◽  
Author(s):  
Adam Pearson ◽  
Anurag Mishra ◽  
Itay Hen ◽  
Daniel A. Lidar
Keyword(s):  
Optimization Problems ◽  
Optimal Solution ◽  
Quantum Annealing ◽  
Ising Spin ◽  
Analog Control ◽  
Quantum Device ◽  
Correction Scheme ◽  
Simple Error ◽  
Error Suppression ◽  
D Wave

AbstractQuantum annealing has the potential to provide a speedup over classical algorithms in solving optimization problems. Just as for any other quantum device, suppressing Hamiltonian control errors will be necessary before quantum annealers can achieve speedups. Such analog control errors are known to lead to $$J$$J-chaos, wherein the probability of obtaining the optimal solution, encoded as the ground state of the intended Hamiltonian, varies widely depending on the control error. Here, we show that $$J$$J-chaos causes a catastrophic failure of quantum annealing, in that the scaling of the time-to-solution metric becomes worse than that of a deterministic (exhaustive) classical solver. We demonstrate this empirically using random Ising spin glass problems run on the two latest generations of the D-Wave quantum annealers. We then proceed to show that this doomsday scenario can be mitigated using a simple error suppression and correction scheme known as quantum annealing correction (QAC). By using QAC, the time-to-solution scaling of the same D-Wave devices is improved to below that of the classical upper bound, thus restoring hope in the speedup prospects of quantum annealing.

scholarly journals Benchmarking Quantum Annealing Against “Hard” Instances of the Bipartite Matching Problem

2021 ◽  
Vol 2 (2) ◽  
Author(s):  
Daniel Vert ◽  
Renaud Sirdey ◽  
Stéphane Louise
Keyword(s):  
Simulated Annealing ◽  
Polynomial Time ◽  
Optimal Solution ◽  
Quantum Computers ◽  
Quantum Annealing ◽  
Maximum Cardinality ◽  
Matching Problem ◽  
Bipartite Matching ◽  
Wave Device ◽  
D Wave

AbstractThis paper experimentally investigates the behavior of analog quantum computers as commercialized by D-Wave when confronted to instances of the maximum cardinality matching problem which is specifically designed to be hard to solve by means of simulated annealing. We benchmark a D-Wave “Washington” (2X) with 1098 operational qubits on various sizes of such instances and observe that for all but the most trivially small of these it fails to obtain an optimal solution. Thus, our results suggest that quantum annealing, at least as implemented in a D-Wave device, falls in the same pitfalls as simulated annealing and hence provides additional evidences suggesting that there exist polynomial-time problems that such a machine cannot solve efficiently to optimality. Additionally, we investigate the extent to which the qubits interconnection topologies explains these latter experimental results. In particular, we provide evidences that the sparsity of these topologies which, as such, lead to QUBO problems of artificially inflated sizes can partly explain the aforementioned disappointing observations. Therefore, this paper hints that denser interconnection topologies are necessary to unleash the potential of the quantum annealing approach.

scholarly journals A QUBO Formulation of Minimum Multicut Problem Instances in Trees for D-Wave Quantum Annealers

2019 ◽  
Vol 9 (1) ◽  
Author(s):  
William Cruz-Santos ◽  
Salvador E. Venegas-Andraca ◽  
Marco Lanzagorta
Keyword(s):  
Optimization Problems ◽  
Theoretical Computer Science ◽  
Scaling Analysis ◽  
Quantum Annealing ◽  
Theoretical Computer ◽  
Combinatorial Optimization Problems ◽  
Hard Problems ◽  
Problem Instances ◽  
Annealing Algorithms ◽  
D Wave

AbstractQuantum annealing algorithms were introduced to solve combinatorial optimization problems by taking advantage of quantum fluctuations to escape local minima in complex energy landscapes typical of NP − hard problems. In this work, we propose using quantum annealing for the theory of cuts, a field of paramount importance in theoretical computer science. We have proposed a method to formulate the Minimum Multicut Problem into the QUBO representation, and the technical difficulties faced when embedding and submitting a problem to the quantum annealer processor. We show two constructions of the quadratic unconstrained binary optimization functions for the Minimum Multicut Problem and we review several tradeoffs between the two mappings and provide numerical scaling analysis results from several classical approaches. Furthermore, we discuss some of the expected challenges and tradeoffs in the implementation of our mapping in the current generation of D-Wave machines.

scholarly journals Exploring Embeddings for MIMO Channel Decoding on Quantum Annealers

2021 ◽  
Vol 13 (1) ◽  
pp. 11-17
Author(s):  
Ádám Marosits ◽  
Zsolt Tabi ◽  
Zsófia Kallus ◽  
Péter Vaderna ◽  
István Gódor ◽  
...  
Keyword(s):  
Optimization Problems ◽  
Heuristic Method ◽  
Solution Space ◽  
Mimo Channel ◽  
Quantum Annealing ◽  
Novel Device ◽  
Main Challenge ◽  
Wide Range ◽  
Shift Keying ◽  
D Wave

Quantum Annealing provides a heuristic method leveraging quantum mechanics for solving Quadratic Unconstrained Binary Optimization problems. Existing Quantum Annealing processing units are readily available via cloud platform access for a wide range of use cases. In particular, a novel device, the D-Wave Advantage has been recently released. In this paper, we study the applicability of Maximum Likelihood (ML) Channel Decoder problems for MIMO scenarios in centralized RAN. The main challenge for exact optimization of ML decoders with ever-increasing demand for higher data rates is the exponential increase of the solution space with problem sizes. Since current 5G solutions can only use approximate methodologies, Kim et al. [1] leveraged Quantum Annealing for large MIMO problems with phase shift keying and quadrature amplitude modulation scenarios. Here, we extend upon their work and present embedding limits for both more complex modulation and higher receiver / transmitter numbers using the Pegasus P16 topology of the D-Wave Advantage system.

scholarly journals Nonstoquastic Hamiltonians and quantum annealing of an Ising spin glass

2017 ◽  
Vol 95 (18) ◽  
Author(s):  
Layla Hormozi ◽  
Ethan W. Brown ◽  
Giuseppe Carleo ◽  
Matthias Troyer
Keyword(s):  
Spin Glass ◽  
Quantum Annealing ◽  
Ising Spin Glass ◽  
Ising Spin

scholarly journals A Novel Approach for Solving Nonsmooth Optimization Problems with Application to Nonsmooth Equations

2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Hamid Reza Erfanian ◽  
M. H. Noori Skandari ◽  
A. V. Kamyad
Keyword(s):  
Nonsmooth Optimization ◽  
Optimization Problems ◽  
Piecewise Linear ◽  
Linear Optimization ◽  
Optimal Solution ◽  
Piecewise Linear Function ◽  
Nonsmooth Equations ◽  
Smooth Functions ◽  
Generalized Derivative ◽  
Novel Approach

We present a new approach for solving nonsmooth optimization problems and a system of nonsmooth equations which is based on generalized derivative. For this purpose, we introduce the first order of generalized Taylor expansion of nonsmooth functions and replace it with smooth functions. In other words, nonsmooth function is approximated by a piecewise linear function based on generalized derivative. In the next step, we solve smooth linear optimization problem whose optimal solution is an approximate solution of main problem. Then, we apply the results for solving system of nonsmooth equations. Finally, for efficiency of our approach some numerical examples have been presented.

Study on Mix-Variable Collaborative Design Optimization

2012 ◽  
Vol 215-216 ◽  
pp. 592-596
Author(s):  
Li Gao ◽  
Rong Rong Wang
Keyword(s):  
Design Optimization ◽  
Product Design ◽  
Optimization Algorithm ◽  
Collaborative Design ◽  
Optimization Problems ◽  
Optimal Solution ◽  
Collaborative Optimization ◽  
Continuous Variables ◽  
Complex Product ◽  
Divide And Rule

In order to deal with complex product design optimization problems with both discrete and continuous variables, mix-variable collaborative design optimization algorithm is put forward based on collaborative optimization, which is an efficient way to solve mix-variable design optimization problems. On the rule of “divide and rule”, the algorithm decouples the problem into some relatively simple subsystems. Then by using collaborative mechanism, the optimal solution is obtained. Finally, the result of a case shows the feasibility and effectiveness of the new algorithm.

Application of High-Performance Computing to Numerical Simulation of Human Movement

1995 ◽  
Vol 117 (1) ◽  
pp. 155-157 ◽  
Author(s):  
F. C. Anderson ◽  
J. M. Ziegler ◽  
M. G. Pandy ◽  
R. T. Whalen
Keyword(s):  
Computer Architecture ◽  
High Performance ◽  
Large Scale ◽  
Optimization Problems ◽  
Optimal Solution ◽  
Human Movement ◽  
Parallel Machine ◽  
Optimal Controls ◽  
Processing Machine ◽  
Vector Processing

We have examined the feasibility of using massively-parallel and vector-processing supercomputers to solve large-scale optimization problems for human movement. Specifically, we compared the computational expense of determining the optimal controls for the single support phase of gait using a conventional serial machine (SGI Iris 4D25), a MIMD parallel machine (Intel iPSC/860), and a parallel-vector-processing machine (Cray Y-MP 8/864). With the human body modeled as a 14 degree-of-freedom linkage actuated by 46 musculotendinous units, computation of the optimal controls for gait could take up to 3 months of CPU time on the Iris. Both the Cray and the Intel are able to reduce this time to practical levels. The optimal solution for gait can be found with about 77 hours of CPU on the Cray and with about 88 hours of CPU on the Intel. Although the overall speeds of the Cray and the Intel were found to be similar, the unique capabilities of each machine are better suited to different portions of the computational algorithm used. The Intel was best suited to computing the derivatives of the performance criterion and the constraints whereas the Cray was best suited to parameter optimization of the controls. These results suggest that the ideal computer architecture for solving very large-scale optimal control problems is a hybrid system in which a vector-processing machine is integrated into the communication network of a MIMD parallel machine.

A Novel Approach to Designing Surrogate-assisted Genetic Algorithms by Combining Efficient Learning of Walsh Coefficients and Dependencies

2021 ◽  
Vol 1 (2) ◽  
pp. 1-23
Author(s):  
Arkadiy Dushatskiy ◽  
Tanja Alderliesten ◽  
Peter A. N. Bosman
Keyword(s):  
Boolean Functions ◽  
Surrogate Model ◽  
Optimization Problems ◽  
State Of The Art ◽  
Fitness Function ◽  
Optimal Solution ◽  
Problem Structure ◽  
Novel Approach ◽  
Efficient Learning ◽  
Nk Landscapes

Surrogate-assisted evolutionary algorithms have the potential to be of high value for real-world optimization problems when fitness evaluations are expensive, limiting the number of evaluations that can be performed. In this article, we consider the domain of pseudo-Boolean functions in a black-box setting. Moreover, instead of using a surrogate model as an approximation of a fitness function, we propose to precisely learn the coefficients of the Walsh decomposition of a fitness function and use the Walsh decomposition as a surrogate. If the coefficients are learned correctly, then the Walsh decomposition values perfectly match with the fitness function, and, thus, the optimal solution to the problem can be found by optimizing the surrogate without any additional evaluations of the original fitness function. It is known that the Walsh coefficients can be efficiently learned for pseudo-Boolean functions with k -bounded epistasis and known problem structure. We propose to learn dependencies between variables first and, therefore, substantially reduce the number of Walsh coefficients to be calculated. After the accurate Walsh decomposition is obtained, the surrogate model is optimized using GOMEA, which is considered to be a state-of-the-art binary optimization algorithm. We compare the proposed approach with standard GOMEA and two other Walsh decomposition-based algorithms. The benchmark functions in the experiments are well-known trap functions, NK-landscapes, MaxCut, and MAX3SAT problems. The experimental results demonstrate that the proposed approach is scalable at the supposed complexity of O (ℓ log ℓ) function evaluations when the number of subfunctions is O (ℓ) and all subfunctions are k -bounded, outperforming all considered algorithms.

An improved proximal method with quasi-distance for nonconvex multiobjective optimization problem

2022 ◽  
Vol 0 (0) ◽  
Author(s):  
Fouzia Amir ◽  
Ali Farajzadeh ◽  
Jehad Alzabut
Keyword(s):  
Multiobjective Optimization ◽  
Optimization Problems ◽  
Optimal Solution ◽  
Convergence Result ◽  
Proximal Method ◽  
Pareto Solution ◽  
Multiobjective Optimization Problems ◽  
Locally Lipschitz ◽  
The Cost ◽  
Constrained Multiobjective Optimization

Abstract Multiobjective optimization is the optimization with several conflicting objective functions. However, it is generally tough to find an optimal solution that satisfies all objectives from a mathematical frame of reference. The main objective of this article is to present an improved proximal method involving quasi-distance for constrained multiobjective optimization problems under the locally Lipschitz condition of the cost function. An instigation to study the proximal method with quasi distances is due to its widespread applications of the quasi distances in computer theory. To study the convergence result, Fritz John’s necessary optimality condition for weak Pareto solution is used. The suitable conditions to guarantee that the cluster points of the generated sequences are Pareto–Clarke critical points are provided.

Sign in / Sign up

Export Citation Format

Share Document