English
Related papers

Related papers: Assertion-Based Optimization of Quantum Programs

200 papers

Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to…

Optimization and Control · Mathematics 2022-01-21 Chin-Yao Chang , Eric Jones , Yiyun Yao , Peter Graf , Rishabh Jain

Quantum optimisation is emerging as a promising approach alongside classical heuristics and specialised hardware, yet its performance is often difficult to assess fairly. Traditional benchmarking methods, rooted in digital complexity…

Quantum Physics · Physics 2025-12-10 Frank Phillipson

Constrained optimization problems are ubiquitous in science and industry. Quantum algorithms have shown promise in solving optimization problems, yet none of the current algorithms can effectively handle arbitrary constraints. We introduce…

It is imperative that useful quantum computers be very difficult to simulate classically; otherwise classical computers could be used for the applications envisioned for the quantum ones. Perfect quantum computers are unarguably…

Quantum Physics · Physics 2020-11-26 Yiqing Zhou , E. Miles Stoudenmire , Xavier Waintal

Gate model quantum computers with too many qubits to be simulated by available classical computers are about to arrive. We present a strategy for programming these devices without error correction or compilation. This means that the number…

Quantum Physics · Physics 2017-03-21 E. Farhi , J. Goldstone , S. Gutmann , H. Neven

The quantum approximate optimisation algorithm was proposed as a heuristic method for solving combinatorial optimisation problems on near-term quantum computers and may be among the first algorithms to perform useful computations in the…

Quantum Physics · Physics 2022-11-10 David Headley , Thorge Müller , Ana Martin , Enrique Solano , Mikel Sanz , Frank K. Wilhelm

As quantum computers of non-trivial size become available in the near future, it is imperative to develop tools to emulate small quantum computers. This allows for validation and debugging of algorithms as well as exploring…

Quantum Physics · Physics 2018-01-24 Thomas Häner , Damian S. Steiger , Mikhail Smelyanskiy , Matthias Troyer

Quantum computing promises speedup of classical algorithms in the long term. Current hardware is unable to support this goal and programs must be efficiently compiled to use of the devices through reduction of qubits used, gate count and…

Quantum Physics · Physics 2022-11-30 Andrew Litteken , Jonathan M. Baker , Frederic T. Chong

Quantum computing uses the physical principles of very small systems to develop computing platforms which can solve problems that are intractable on conventional supercomputers. There are challenges not only in building the required…

Quantum Physics · Physics 2024-11-19 Dieter Jaksch , Peyman Givi , Andrew J. Daley , Thomas Rung

Quantum computing has the potential to provide exponential performance benefits in processing over classical computing. It utilizes quantum mechanics phenomena (such as superposition, entanglement, and interference) to solve a computational…

Quantum Physics · Physics 2023-03-08 Himanshu Sahu , Hari Prabhat Gupta

Quantum computing is an emerging technology in which quantum mechanical properties are suitably utilized to perform certain compute-intensive operations faster than classical computers. Quantum algorithms are designed as a combination of…

Emerging Technologies · Computer Science 2023-06-06 Aravind Joshi , Akshara Kairali , Renju Raju , Adithya Athreya , Reena Monica P , Sanjay Vishwakarma , Srinjoy Ganguly

The current state of quantum computing is commonly described as the Noisy Intermediate-Scale Quantum era. Available computers contain a few dozens of qubits and can perform a few dozens of operations before the inevitable noise erases all…

Quantum Physics · Physics 2024-09-25 Ijaz Ahamed Mohammad , Matej Pivoluska , Martin Plesch

Critical decision-making issues in science, engineering, and industry are based on combinatorial optimization; however, its application is inherently limited by the NP-hard nature of the problem. A specialized paradigm of analogue quantum…

Quantum Physics · Physics 2026-02-04 Rudraksh Sharma , Ravi Katukam , Arjun Nagulapally

Quadratic Unconstrained Binary Optimization (QUBO) is a broad class of optimization problems with many practical applications. To solve its hard instances in an exact way, known classical algorithms require exponential time and several…

Quantum Physics · Physics 2021-01-21 Gian Giacomo Guerreschi

This paper considers the problem of quantum compilation from an optimization perspective by fixing a circuit structure of CNOTs and rotation gates then optimizing over the rotation angles. We solve the optimization problem classically and…

Quantum Physics · Physics 2024-07-16 Liam Madden , Albert Akhriev , Andrea Simonetto

Recently, several researchers proposed portfolio optimization as a potential use case for quantum optimization. However, the literature is lacking an extensive benchmark quantifying the potential of quantum computers for portfolio…

Quantum Physics · Physics 2025-09-23 Eric Stopfer , Friedrich Wagner

Quantum approaches to combinatorial optimization problems (COPs) are often limited by the resource demands of Quadratic Unconstrained Binary Optimization (QUBO) encodings, which enlarge circuits through penalty terms and increase qubit and…

Quantum Physics · Physics 2025-11-25 Frederik Koch , Shahram Panahiyan , Rick Mukherjee , Joseph Doetsch , Dieter Jaksch

Recent research has demonstrated that quantum computers can solve certain types of problems substantially faster than the known classical algorithms. These problems include factoring integers and certain physics simulations. Practical…

Quantum Physics · Physics 2009-10-30 Emanuel Knill , Raymond Laflamme , Wojciech H. Zurek

In the rapidly advancing domain of quantum optimization, the confluence of quantum algorithms such as Quantum Annealing (QA) and the Quantum Approximate Optimization Algorithm (QAOA) with robust optimization methodologies presents a…

Quantum Physics · Physics 2024-05-14 Pascal Halffmann , Steve Lenk , Michael Trebing

Quantum computing, leveraging quantum phenomena like superposition and entanglement, is emerging as a transformative force in computing technology, promising unparalleled computational speed and efficiency crucial for engineering…

Quantum Physics · Physics 2024-08-30 Osama Muhammad Raisuddin , Suvranu De