-
Toward the Stars: Technological, Ethical, and Sociopolitical Dimensions of Interstellar Exploration
Authors:
Florian Neukart
Abstract:
The endeavor of interstellar exploration is a convergence of technical innovation and profound ethical inquiry, challenging humanity to extend its reach beyond the confines of our solar system while contemplating the moral implications of such a leap. This paper explores the multifaceted aspects of interstellar travel, exploring advancements in propulsion systems, habitat construction, and life su…
▽ More
The endeavor of interstellar exploration is a convergence of technical innovation and profound ethical inquiry, challenging humanity to extend its reach beyond the confines of our solar system while contemplating the moral implications of such a leap. This paper explores the multifaceted aspects of interstellar travel, exploring advancements in propulsion systems, habitat construction, and life support alongside the ethical, sociopolitical, and philosophical questions that arise as we consider colonizing extraterrestrial worlds. We underscore the imperative for an integrative framework harmonizing scientific achievements with a deep ethical commitment to responsible exploration, environmental stewardship, and respect for potential extraterrestrial life. Our analysis highlights the dual nature of interstellar exploration as both a technical endeavor and a philosophical journey, advocating for a future in which humanity's expansion into the cosmos is guided by foresight, equity, and the collective well-being of all sentient beings. This synthesis of science and ethics offers a blueprint for navigating the unknowns of space with wisdom and integrity, ensuring that our interstellar aspirations reflect the best of human values.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Thermodynamic Perspectives on Computational Complexity: Exploring the P vs. NP Problem
Authors:
Florian Neukart
Abstract:
The resolution of the P vs. NP problem, a cornerstone in computational theory, remains elusive despite extensive exploration through mathematical logic and algorithmic theory. This paper takes a novel approach by integrating information theory, thermodynamics, and computational complexity, offering a comprehensive landscape of interdisciplinary study. We focus on entropy, a concept traditionally l…
▽ More
The resolution of the P vs. NP problem, a cornerstone in computational theory, remains elusive despite extensive exploration through mathematical logic and algorithmic theory. This paper takes a novel approach by integrating information theory, thermodynamics, and computational complexity, offering a comprehensive landscape of interdisciplinary study. We focus on entropy, a concept traditionally linked with uncertainty and disorder, and reinterpret it to assess the complexity of computational problems. Our research presents a structured framework for establishing entropy profiles within computational tasks, enabling a clear distinction between P and NP-classified problems. This framework quantifies the 'information cost' associated with these problem categories, highlighting their intrinsic computational complexity. We introduce Entropy-Driven Annealing (EDA) as a new method to decipher the energy landscapes of computational problems, focusing on the unique characteristics of NP problems. This method proposes a differential thermodynamic profile for NP problems in contrast to P problems and explores potential thermodynamic routes for finding polynomial-time solutions to NP challenges. Our introduction of EDA and its application to complex computational problems like the Boolean satisfiability problem (SAT) and protein-DNA complexes suggests a potential pathway toward unraveling the intricacies of the P vs. NP problem.
△ Less
Submitted 15 March, 2024; v1 submitted 15 December, 2023;
originally announced January 2024.
-
Comparison between Tensor Networks and Variational Quantum Classifier
Authors:
Georgios Laskaris,
Artem A. Melnikov,
Michael R. Perelshtein,
Reuben Brasher,
Thomas Baeck,
Florian Neukart
Abstract:
The primary objective of this paper is to conduct a comparative analysis between two Machine Learning approaches: Tensor Networks (TN) and Variational Quantum Classifiers (VQC). While both approaches share similarities in their representation of the Hilbert space using a logarithmic number of parameters, they diverge in the manifolds they cover. Thus, the aim is to evaluate and compare the express…
▽ More
The primary objective of this paper is to conduct a comparative analysis between two Machine Learning approaches: Tensor Networks (TN) and Variational Quantum Classifiers (VQC). While both approaches share similarities in their representation of the Hilbert space using a logarithmic number of parameters, they diverge in the manifolds they cover. Thus, the aim is to evaluate and compare the expressibility and trainability of these approaches. By conducting this comparison, we can gain insights into potential areas where quantum advantage may be found. Our findings indicate that VQC exhibits advantages in terms of speed and accuracy when dealing with data, characterized by a small number of features. However, for high-dimensional data, TN surpasses VQC in overall classification accuracy. We believe that this disparity is primarily attributed to challenges encountered during the training of quantum circuits. We want to stress that in this article, we focus on only one particular task and do not conduct thorough averaging of the results. Consequently, we recommend considering the results of this article as a unique case without excessive generalization.
△ Less
Submitted 8 July, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Towards Sustainable Horizons: A Comprehensive Blueprint for Mars Colonization
Authors:
Florian Neukart
Abstract:
Establishing a human colony on Mars is one of the most ambitious endeavors of our time. This paper provides a comprehensive assessment of the challenges and solutions related to Mars colonization, emphasizing sustainability, efficiency, and the well-being of colonists. We begin by analyzing the Martian environment, focusing on challenges such as radiation, dust storms, temperature variations, and…
▽ More
Establishing a human colony on Mars is one of the most ambitious endeavors of our time. This paper provides a comprehensive assessment of the challenges and solutions related to Mars colonization, emphasizing sustainability, efficiency, and the well-being of colonists. We begin by analyzing the Martian environment, focusing on challenges such as radiation, dust storms, temperature variations, and low atmospheric pressure. The discourse then transitions into technological solutions, exploring innovations in infrastructure, energy production, transportation, and life support systems. Special attention is paid to harnessing in-situ resources and recent advancements like Martian concrete, aeroponics, and algae bioreactors. The human dimension is addressed, from the psychological implications of prolonged isolation to physiological considerations in reduced gravity. Economic considerations encapsulate the cost-benefit analysis of in-situ resource utilization versus Earth transport and the potential incentives for private sector investment. The paper culminates in recommendations for future research, highlighting areas pivotal for refining the blueprint of Mars colonization. This work serves as a foundational guide for researchers, policymakers, and visionaries aiming to make humanity's interplanetary future a reality.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Magnetic Fusion Plasma Drive
Authors:
Florian Neukart
Abstract:
In the evolving realm of space exploration, efficient propulsion methods are paramount to achieve interplanetary and possibly interstellar voyages. Traditional propulsion systems, although proven, offer limited capabilities when considering longer-duration missions beyond our immediate cosmic vicinity. This paper introduces and thoroughly investigates the Magnetic Fusion Plasma Drive (MFPD) propul…
▽ More
In the evolving realm of space exploration, efficient propulsion methods are paramount to achieve interplanetary and possibly interstellar voyages. Traditional propulsion systems, although proven, offer limited capabilities when considering longer-duration missions beyond our immediate cosmic vicinity. This paper introduces and thoroughly investigates the Magnetic Fusion Plasma Drive (MFPD) propulsion system, a novel fusion-powered propulsion mechanism. Through rigorous theoretical underpinnings and mathematical formulations, we elucidate the principles governing fusion reactions in the context of propulsion, plasma dynamics, and magnetic confinement in space. Comparative analyses indicate significant advantages of the MFPD system over existing technologies, particularly in fuel efficiency, thrust capabilities, and potential scalability. Example calculations further substantiate the immense energy potential and feasibility of the MFPD for long-duration missions. While challenges remain, the MFPD system embodies a promising avenue for a propulsion paradigm shift, potentially revolutionizing our approach to space exploration.
△ Less
Submitted 15 December, 2023; v1 submitted 19 September, 2023;
originally announced September 2023.
-
Do we live in a [quantum] simulation? Constraints, observations, and experiments on the simulation hypothesis
Authors:
Florian Neukart,
Anders Indset,
Markus Pflitsch,
Michael Perelshtein
Abstract:
The question "What is real?" can be traced back to the shadows in Plato's cave. Two thousand years later, Rene Descartes lacked knowledge about arguing against an evil deceiver feeding us the illusion of sensation. Descartes' epistemological concept later led to various theories of sensory experiences. The concept of "illusionism", proposing that even the very conscious experience we have is an il…
▽ More
The question "What is real?" can be traced back to the shadows in Plato's cave. Two thousand years later, Rene Descartes lacked knowledge about arguing against an evil deceiver feeding us the illusion of sensation. Descartes' epistemological concept later led to various theories of sensory experiences. The concept of "illusionism", proposing that even the very conscious experience we have is an illusion, is not only a red-pill scenario found in the 1999 science fiction movie "The Matrix" but is also a philosophical concept promoted by modern tinkers, most prominently by Daniel Dennett. Reflection upon a possible simulation and our perceived reality was beautifully visualized in "The Matrix", bringing the old ideas of Descartes to coffee houses around the world. Irish philosopher Bishop Berkeley was the father of what was later coined as "subjective idealism", basically stating that "what you perceive is real". With the advent of quantum technologies based on the control of individual fundamental particles, the question of whether our universe is a simulation isn't just intriguing. Our ever-advancing understanding of fundamental physical processes will likely lead us to build quantum computers utilizing quantum effects for simulating nature quantum-mechanically in all complexity, as famously envisioned by Richard Feynman. In this article, we outline constraints on the limits of computability and predictability in/of the universe, which we then use to design experiments allowing for first conclusions as to whether we participate in a simulation chain. Eventually, in a simulation in which the computer simulating a universe is governed by the same physical laws as the simulation, the exhaustion of computational resources will halt all simulations down the simulation chain unless an external programmer intervenes, which we may be able to observe.
△ Less
Submitted 12 December, 2022; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Quantum-Enhanced Selection Operators for Evolutionary Algorithms
Authors:
David Von Dollen,
Sheir Yarkoni,
Daniel Weimer,
Florian Neukart,
Thomas Bäck
Abstract:
Genetic algorithms have unique properties which are useful when applied to black box optimization. Using selection, crossover, and mutation operators, candidate solutions may be obtained without the need to calculate a gradient. In this work, we study results obtained from using quantum-enhanced operators within the selection mechanism of a genetic algorithm. Our approach frames the selection proc…
▽ More
Genetic algorithms have unique properties which are useful when applied to black box optimization. Using selection, crossover, and mutation operators, candidate solutions may be obtained without the need to calculate a gradient. In this work, we study results obtained from using quantum-enhanced operators within the selection mechanism of a genetic algorithm. Our approach frames the selection process as a minimization of a binary quadratic model with which we encode fitness and distance between members of a population, and we leverage a quantum annealing system to sample low energy solutions for the selection mechanism. We benchmark these quantum-enhanced algorithms against classical algorithms over various black-box objective functions, including the OneMax function, and functions from the IOHProfiler library for black-box optimization. We observe a performance gain in average number of generations to convergence for the quantum-enhanced elitist selection operator in comparison to classical on the OneMax function. We also find that the quantum-enhanced selection operator with non-elitist selection outperform benchmarks on functions with fitness perturbation from the IOHProfiler library. Additionally, we find that in the case of elitist selection, the quantum-enhanced operators outperform classical benchmarks on functions with varying degrees of dummy variables and neutrality.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Practical application-specific advantage through hybrid quantum computing
Authors:
Michael Perelshtein,
Asel Sagingalieva,
Karan Pinto,
Vishal Shete,
Alexey Pakhomchik,
Artem Melnikov,
Florian Neukart,
Georg Gesek,
Alexey Melnikov,
Valerii Vinokur
Abstract:
Quantum computing promises to tackle technological and industrial problems insurmountable for classical computers. However, today's quantum computers still have limited demonstrable functionality, and it is expected that scaling up to millions of qubits is required for them to live up to this touted promise. The feasible route in achieving practical quantum advantage goals is to implement a hybrid…
▽ More
Quantum computing promises to tackle technological and industrial problems insurmountable for classical computers. However, today's quantum computers still have limited demonstrable functionality, and it is expected that scaling up to millions of qubits is required for them to live up to this touted promise. The feasible route in achieving practical quantum advantage goals is to implement a hybrid operational mode that realizes the cohesion of quantum and classical computers. Here we present a hybrid quantum cloud based on a memory-centric and heterogeneous multiprocessing architecture, integrated into a high-performance computing data center grade environment. We demonstrate that utilizing the quantum cloud, our hybrid quantum algorithms including Quantum Encoding (QuEnc), Hybrid Quantum Neural Networks and Tensor Networks enable advantages in optimization, machine learning, and simulation fields. We show the advantage of hybrid algorithms compared to standard classical algorithms in both the computational speed and quality of the solution. The achieved advance in hybrid quantum hardware and software makes quantum computing useful in practice today.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Multi-car paint shop optimization with quantum annealing
Authors:
Sheir Yarkoni,
Alex Alekseyenko,
Michael Streif,
David Von Dollen,
Florian Neukart,
Thomas Bäck
Abstract:
We present a generalization of the binary paint shop problem (BPSP) to tackle an automotive industry application, the multi-car paint shop (MCPS) problem. The objective of the optimization is to minimize the number of color switches between cars in a paint shop queue during manufacturing, a known NP-hard problem. We distinguish between different sub-classes of paint shop problems, and show how to…
▽ More
We present a generalization of the binary paint shop problem (BPSP) to tackle an automotive industry application, the multi-car paint shop (MCPS) problem. The objective of the optimization is to minimize the number of color switches between cars in a paint shop queue during manufacturing, a known NP-hard problem. We distinguish between different sub-classes of paint shop problems, and show how to formulate the basic MCPS problem as an Ising model. The problem instances used in this study are generated using real-world data from a factory in Wolfsburg, Germany. We compare the performance of the D-Wave 2000Q and Advantage quantum processors to other classical solvers and a hybrid quantum-classical algorithm offered by D-Wave Systems. We observe that the quantum processors are well-suited for smaller problems, and the hybrid algorithm for intermediate sizes. However, we find that the performance of these algorithms quickly approaches that of a simple greedy algorithm in the large size limit.
△ Less
Submitted 10 November, 2021; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Quantum-Assisted Feature Selection for Vehicle Price Prediction Modeling
Authors:
David Von Dollen,
Florian Neukart,
Daniel Weimer,
Thomas Bäck
Abstract:
Within machine learning model evaluation regimes, feature selection is a technique to reduce model complexity and improve model performance in regards to generalization, model fit, and accuracy of prediction. However, the search over the space of features to find the subset of $k$ optimal features is a known NP-Hard problem. In this work, we study metrics for encoding the combinatorial search as a…
▽ More
Within machine learning model evaluation regimes, feature selection is a technique to reduce model complexity and improve model performance in regards to generalization, model fit, and accuracy of prediction. However, the search over the space of features to find the subset of $k$ optimal features is a known NP-Hard problem. In this work, we study metrics for encoding the combinatorial search as a binary quadratic model, such as Generalized Mean Information Coefficient and Pearson Correlation Coefficient in application to the underlying regression problem of price prediction. We investigate trade-offs in the form of run-times and model performance, of leveraging quantum-assisted vs. classical subroutines for the combinatorial search, using minimum redundancy maximal relevancy as the heuristic for our approach. We achieve accuracy scores of 0.9 (in the range of [0,1]) for finding optimal subsets on synthetic data using a new metric that we define. We test and cross-validate predictive models on a real-world problem of price prediction, and show a performance improvement of mean absolute error scores for our quantum-assisted method $(1471.02 \pm{135.6})$, vs. similar methodologies such as recursive feature elimination $(1678.3 \pm{143.7})$. Our findings show that by leveraging quantum-assisted routines we find solutions that increase the quality of predictive model output while reducing the input dimensionality to the learning algorithm on synthetic and real-world data.
△ Less
Submitted 17 May, 2021; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Beating classical heuristics for the binary paint shop problem with the quantum approximate optimization algorithm
Authors:
Michael Streif,
Sheir Yarkoni,
Andrea Skolik,
Florian Neukart,
Martin Leib
Abstract:
The binary paint shop problem (BPSP) is an APX-hard optimization problem of the automotive industry. In this work, we show how to use the Quantum Approximate Optimization Algorithm (QAOA) to find solutions of the BPSP and demonstrate that QAOA with constant depth is able to beat classical heuristics on average in the infinite size limit $n\rightarrow\infty$. For the BPSP, it is known that no class…
▽ More
The binary paint shop problem (BPSP) is an APX-hard optimization problem of the automotive industry. In this work, we show how to use the Quantum Approximate Optimization Algorithm (QAOA) to find solutions of the BPSP and demonstrate that QAOA with constant depth is able to beat classical heuristics on average in the infinite size limit $n\rightarrow\infty$. For the BPSP, it is known that no classical algorithm can exist which approximates the problem in polynomial runtime. We introduce a BPSP instance which is hard to solve with QAOA, and numerically investigate its performance and discuss QAOA's ability to generate approximate solutions. We complete our studies by running first experiments of small-sized instances on a trapped-ion quantum computer through AWS Braket.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
Quantum Shuttle: Traffic Navigation with Quantum Computing
Authors:
Sheir Yarkoni,
Florian Neukart,
Eliane Moreno Gomez Tagle,
Nicole Magiera,
Bharat Mehta,
Kunal Hire,
Swapnil Narkhede,
Martin Hofmann
Abstract:
The Web Summit conference in Lisbon, Portugal, is one of the biggest technology conferences in Europe, attended by tens of thousands of people every year. The high influx of people into Lisbon causes significant stress on the city's transit services for the duration of the conference. For the Web Summit 2019, Volkswagen AG partnered with the city of Lisbon for a pilot project to provide quantum co…
▽ More
The Web Summit conference in Lisbon, Portugal, is one of the biggest technology conferences in Europe, attended by tens of thousands of people every year. The high influx of people into Lisbon causes significant stress on the city's transit services for the duration of the conference. For the Web Summit 2019, Volkswagen AG partnered with the city of Lisbon for a pilot project to provide quantum computing-based traffic optimization. A two-phase solution was implemented: the first phase used data science techniques to analyze the movement of people from previous conferences to build temporary new bus routes throughout the city. The second phase used a custom Android navigation app installed in the buses operated by Carris, powered by a quantum optimization service provided by Volkswagen that connected to live traffic data and a D-Wave quantum processing unit to optimize the buses' routes in real-time. To our knowledge, this is the first commercial application that depends on a quantum processor to perform a critical live task.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Semi-supervised time series classification method for quantum computing
Authors:
Sheir Yarkoni,
Andrii Kleshchonok,
Yury Dzerin,
Florian Neukart,
Marc Hilbert
Abstract:
In this paper we develop methods to solve two problems related to time series (TS) analysis using quantum computing: reconstruction and classification. We formulate the task of reconstructing a given TS from a training set of data as an unconstrained binary optimization (QUBO) problem, which can be solved by both quantum annealers and gate-model quantum processors. We accomplish this by discretizi…
▽ More
In this paper we develop methods to solve two problems related to time series (TS) analysis using quantum computing: reconstruction and classification. We formulate the task of reconstructing a given TS from a training set of data as an unconstrained binary optimization (QUBO) problem, which can be solved by both quantum annealers and gate-model quantum processors. We accomplish this by discretizing the TS and converting the reconstruction to a set cover problem, allowing us to perform a one-versus-all method of reconstruction. Using the solution to the reconstruction problem, we show how to extend this method to perform semi-supervised classification of TS data. We present results indicating our method is competitive with current semi- and unsupervised classification techniques, but using less data than classical techniques.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Quantum Approximate Optimization of Non-Planar Graph Problems on a Planar Superconducting Processor
Authors:
Matthew P. Harrigan,
Kevin J. Sung,
Matthew Neeley,
Kevin J. Satzinger,
Frank Arute,
Kunal Arya,
Juan Atalaya,
Joseph C. Bardin,
Rami Barends,
Sergio Boixo,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Brian Burkett,
Nicholas Bushnell,
Yu Chen,
Zijun Chen,
Ben Chiaro,
Roberto Collins,
William Courtney,
Sean Demura,
Andrew Dunsworth,
Daniel Eppens,
Austin Fowler,
Brooks Foxen
, et al. (61 additional authors not shown)
Abstract:
We demonstrate the application of the Google Sycamore superconducting qubit quantum processor to combinatorial optimization problems with the quantum approximate optimization algorithm (QAOA). Like past QAOA experiments, we study performance for problems defined on the (planar) connectivity graph of our hardware; however, we also apply the QAOA to the Sherrington-Kirkpatrick model and MaxCut, both…
▽ More
We demonstrate the application of the Google Sycamore superconducting qubit quantum processor to combinatorial optimization problems with the quantum approximate optimization algorithm (QAOA). Like past QAOA experiments, we study performance for problems defined on the (planar) connectivity graph of our hardware; however, we also apply the QAOA to the Sherrington-Kirkpatrick model and MaxCut, both high dimensional graph problems for which the QAOA requires significant compilation. Experimental scans of the QAOA energy landscape show good agreement with theory across even the largest instances studied (23 qubits) and we are able to perform variational optimization successfully. For problems defined on our hardware graph we obtain an approximation ratio that is independent of problem size and observe, for the first time, that performance increases with circuit depth. For problems requiring compilation, performance decreases with problem size but still provides an advantage over random guessing for circuits involving several thousand gates. This behavior highlights the challenge of using near-term quantum computers to optimize problems on graphs differing from hardware connectivity. As these graphs are more representative of real world instances, our results advocate for more emphasis on such problems in the develo** tradition of using the QAOA as a holistic, device-level benchmark of quantum processors.
△ Less
Submitted 30 January, 2021; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Quantum-assisted finite-element design optimization
Authors:
Dyon van Vreumingen,
Florian Neukart,
David Von Dollen,
Carsten Othmer,
Michael Hartmann,
Arne-Christian Voigt,
Thomas Bäck
Abstract:
Quantum annealing devices such as the ones produced by D-Wave systems are typically used for solving optimization and sampling tasks, and in both academia and industry the characterization of their usefulness is subject to active research. Any problem that can naturally be described as a weighted, undirected graph may be a particularly interesting candidate, since such a problem may be formulated…
▽ More
Quantum annealing devices such as the ones produced by D-Wave systems are typically used for solving optimization and sampling tasks, and in both academia and industry the characterization of their usefulness is subject to active research. Any problem that can naturally be described as a weighted, undirected graph may be a particularly interesting candidate, since such a problem may be formulated a as quadratic unconstrained binary optimization (QUBO) instance, which is solvable on D-Wave's Chimera graph architecture. In this paper, we introduce a quantum-assisted finite-element method for design optimization. We show that we can minimize a shape-specific quantity, in our case a ray approximation of sound pressure at a specific position around an object, by manipulating the shape of this object. Our algorithm belongs to the class of quantum-assisted algorithms, as the optimization task runs iteratively on a D-Wave 2000Q quantum processing unit (QPU), whereby the evaluation and interpretation of the results happens classically. Our first and foremost aim is to explain how to represent and solve parts of these problems with the help of a QPU, and not to prove supremacy over existing classical finite-element algorithms for design optimization.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
-
Assessing Solution Quality of 3SAT on a Quantum Annealing Platform
Authors:
Thomas Gabor,
Sebastian Zielinski,
Sebastian Feld,
Christoph Roch,
Christian Seidel,
Florian Neukart,
Isabella Galter,
Wolfgang Mauerer,
Claudia Linnhoff-Popien
Abstract:
When solving propositional logic satisfiability (specifically 3SAT) using quantum annealing, we analyze the effect the difficulty of different instances of the problem has on the quality of the answer returned by the quantum annealer. A high-quality response from the annealer in this case is defined by a high percentage of correct solutions among the returned answers. We show that the phase transi…
▽ More
When solving propositional logic satisfiability (specifically 3SAT) using quantum annealing, we analyze the effect the difficulty of different instances of the problem has on the quality of the answer returned by the quantum annealer. A high-quality response from the annealer in this case is defined by a high percentage of correct solutions among the returned answers. We show that the phase transition regarding the computational complexity of the problem, which is well-known to occur for 3SAT on classical machines (where it causes a detrimental increase in runtime), persists in some form (but possibly to a lesser extent) for quantum annealing.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
A Hybrid Solution Method for the Capacitated Vehicle Routing Problem Using a Quantum Annealer
Authors:
Sebastian Feld,
Christoph Roch,
Thomas Gabor,
Christian Seidel,
Florian Neukart,
Isabella Galter,
Wolfgang Mauerer,
Claudia Linnhoff-Popien
Abstract:
The Capacitated Vehicle Routing Problem (CVRP) is an NP-optimization problem (NPO) that has been of great interest for decades for both, science and industry. The CVRP is a variant of the vehicle routing problem characterized by capacity constrained vehicles. The aim is to plan tours for vehicles to supply a given number of customers as efficiently as possible. The problem is the combinatorial exp…
▽ More
The Capacitated Vehicle Routing Problem (CVRP) is an NP-optimization problem (NPO) that has been of great interest for decades for both, science and industry. The CVRP is a variant of the vehicle routing problem characterized by capacity constrained vehicles. The aim is to plan tours for vehicles to supply a given number of customers as efficiently as possible. The problem is the combinatorial explosion of possible solutions, which increases superexponentially with the number of customers. Classical solutions provide good approximations to the globally optimal solution. D-Wave's quantum annealer is a machine designed to solve optimization problems. This machine uses quantum effects to speed up computation time compared to classic computers. The problem on solving the CVRP on the quantum annealer is the particular formulation of the optimization problem. For this, it has to be mapped onto a quadratic unconstrained binary optimization (QUBO) problem. Complex optimization problems such as the CVRP can be translated to smaller subproblems and thus enable a sequential solution of the partitioned problem. This work presents a quantum-classic hybrid solution method for the CVRP. It clarifies whether the implemenation of such a method pays off in comparison to existing classical solution methods regarding computation time and solution quality. Several approaches to solving the CVRP are elaborated, the arising problems are discussed, and the results are evaluated in terms of solution quality and computation time.
△ Less
Submitted 14 June, 2019; v1 submitted 18 November, 2018;
originally announced November 2018.
-
Solving Quantum Chemistry Problems with a D-Wave Quantum Annealer
Authors:
Michael Streif,
Florian Neukart,
Martin Leib
Abstract:
Quantum annealing devices have been subject to various analyses in order to classify their usefulness for practical applications. While it has been successfully proven that such systems can in general be used for solving combinatorial optimization problems, they have not been used to solve chemistry applications. In this paper we apply a map**, put forward by Xia et al. (The Journal of Physical…
▽ More
Quantum annealing devices have been subject to various analyses in order to classify their usefulness for practical applications. While it has been successfully proven that such systems can in general be used for solving combinatorial optimization problems, they have not been used to solve chemistry applications. In this paper we apply a map**, put forward by Xia et al. (The Journal of Physical Chemistry B 122.13 (2017): 3384-3395.), from a quantum chemistry Hamiltonian to an Ising spin glass formulation and find the ground state energy with a quantum annealer. Additionally we investigate the scaling in terms of needed physical qubits on a quantum annealer with limited connectivity. To the best of our knowledge, this is the first experimental study of quantum chemistry problems on quantum annealing devices. We find that current quantum annealing technologies result in an exponential scaling for such inherently quantum problems and that new couplers are necessary to make quantum annealers attractive for quantum chemistry.
△ Less
Submitted 15 March, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Quantum annealing with anneal path control: application to 2-SAT problems with known energy landscapes
Authors:
Ting-Jui Hsu,
Feng** **,
Christian Seidel,
Florian Neukart,
Hans De Raedt,
Kristel Michielsen
Abstract:
We study the effect of the anneal path control per qubit, a new user control feature offered on the D-Wave 2000Q quantum annealer, on the performance of quantum annealing for solving optimization problems by numerically solving the time-dependent Schrödinger equation for the time-dependent Hamiltonian modeling the annealing problems. The anneal path control is thereby modeled as a modified linear…
▽ More
We study the effect of the anneal path control per qubit, a new user control feature offered on the D-Wave 2000Q quantum annealer, on the performance of quantum annealing for solving optimization problems by numerically solving the time-dependent Schrödinger equation for the time-dependent Hamiltonian modeling the annealing problems. The anneal path control is thereby modeled as a modified linear annealing scheme, resulting in an advanced and retarded scheme. The considered optimization problems are 2-SAT problems with 12 Boolean variables, a known unique ground state and a highly degenerate first excited state. We show that adjustment of the anneal path control can result in a widening of the minimal spectral gap by one or two orders of magnitude and an enhancement of the success probability of finding the solution of the optimization problem. We scrutinize various iterative methods based on the spin floppiness, the average spin value, and on the average energy and describe their performance in boosting the quantum annealing process.
△ Less
Submitted 4 October, 2018; v1 submitted 29 September, 2018;
originally announced October 2018.
-
Quantum-assisted cluster analysis
Authors:
Florian Neukart,
David Von Dollen,
Christian Seidel
Abstract:
We present an algorithm for quantum-assisted cluster analysis (QACA) that makes use of the topological properties of a D-Wave 2000Q quantum processing unit (QPU). Clustering is a form of unsupervised machine learning, where instances are organized into groups whose members share similarities. The assignments are, in contrast to classification, not known a priori, but generated by the algorithm. We…
▽ More
We present an algorithm for quantum-assisted cluster analysis (QACA) that makes use of the topological properties of a D-Wave 2000Q quantum processing unit (QPU). Clustering is a form of unsupervised machine learning, where instances are organized into groups whose members share similarities. The assignments are, in contrast to classification, not known a priori, but generated by the algorithm. We explain how the problem can be expressed as a quadratic unconstrained binary optimization (QUBO) problem, and show that the introduced quantum-assisted clustering algorithm is, regarding accuracy, equivalent to commonly used classical clustering algorithms. Quantum annealing algorithms belong to the class of metaheuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum annealing machines produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization, sampling, and clustering. Our first and foremost aim is to explain how to represent and solve parts of these problems with the help of the QPU, and not to prove supremacy over every existing classical clustering algorithm.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Artificial Intelligence and Data Science in the Automotive Industry
Authors:
Martin Hofmann,
Florian Neukart,
Thomas Bäck
Abstract:
Data science and machine learning are the key technologies when it comes to the processes and products with automatic learning and optimization to be used in the automotive industry of the future. This article defines the terms "data science" (also referred to as "data analytics") and "machine learning" and how they are related. In addition, it defines the term "optimizing analytics" and illustrat…
▽ More
Data science and machine learning are the key technologies when it comes to the processes and products with automatic learning and optimization to be used in the automotive industry of the future. This article defines the terms "data science" (also referred to as "data analytics") and "machine learning" and how they are related. In addition, it defines the term "optimizing analytics" and illustrates the role of automatic optimization as a key technology in combination with data analytics. It also uses examples to explain the way that these technologies are currently being used in the automotive industry on the basis of the major subprocesses in the automotive value chain (development, procurement; logistics, production, marketing, sales and after-sales, connected customer). Since the industry is just starting to explore the broad range of potential uses for these technologies, visionary application examples are used to illustrate the revolutionary possibilities that they offer. Finally, the article demonstrates how these technologies can make the automotive industry more efficient and enhance its customer focus throughout all its operations and activities, extending from the product and its development process to the customers and their connection to the product.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Quantum-enhanced reinforcement learning for finite-episode games with discrete state spaces
Authors:
Florian Neukart,
David Von Dollen,
Christian Seidel,
Gabriele Compostella
Abstract:
Quantum annealing algorithms belong to the class of metaheuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum annealing machines produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization and sampling tasks. Here, we pre…
▽ More
Quantum annealing algorithms belong to the class of metaheuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum annealing machines produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization and sampling tasks. Here, we present a way to partially embed both Monte Carlo policy iteration for finding an optimal policy on random observations, as well as how to embed (n) sub-optimal state-value functions for approximating an improved state-value function given a policy for finite horizon games with discrete state spaces on a D-Wave 2000Q quantum processing unit (QPU). We explain how both problems can be expressed as a quadratic unconstrained binary optimization (QUBO) problem, and show that quantum-enhanced Monte Carlo policy evaluation allows for finding equivalent or better state-value functions for a given policy with the same number episodes compared to a purely classical Monte Carlo algorithm. Additionally, we describe a quantum-classical policy learning algorithm. Our first and foremost aim is to explain how to represent and solve parts of these problems with the help of the QPU, and not to prove supremacy over every existing classical policy evaluation algorithm.
△ Less
Submitted 14 September, 2017; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Traffic flow optimization using a quantum annealer
Authors:
Florian Neukart,
Gabriele Compostella,
Christian Seidel,
David von Dollen,
Sheir Yarkoni,
Bob Parney
Abstract:
Quantum annealing algorithms belong to the class of meta-heuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum processing units (QPUs) produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization and sampling tasks. In thi…
▽ More
Quantum annealing algorithms belong to the class of meta-heuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum processing units (QPUs) produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization and sampling tasks. In this paper, we present a real-world application that uses quantum technologies. Specifically, we show how to map certain parts of the real-world traffic flow optimization problem to be suitable for quantum annealing. We show that time-critical optimization tasks, such as continuous redistribution of position data for cars in dense road networks, are suitable candidates for quantum applications. Due to the limited size and connectivity of current-generation D-Wave QPUs, we use a hybrid quantum and classical approach to solve the traffic flow problem.
△ Less
Submitted 9 August, 2017; v1 submitted 4 August, 2017;
originally announced August 2017.