English
Related papers

Related papers: Assertion-Based Optimization of Quantum Programs

200 papers

We present a quantum algorithm for finding the minimum of a function based on multistep quantum computation and apply it for optimization problems with continuous variables, in which the variables of the problem are discretized to form the…

Quantum Physics · Physics 2023-07-03 Hefeng Wang , Hua Xiang

Although quantum computing hardware has evolved significantly in recent years, spurred by increasing industrial and government interest, the size limitation of current generation quantum computers remains an obstacle when applying these…

Quantum Physics · Physics 2020-01-20 Gideon Bass , Max Henderson , Joshua Heath , Joseph Dulny

We apply numerical optimization and linear algebra algorithms for classical computers to the problem of automatically synthesizing algorithms for quantum computers. Using our framework, we apply several common techniques from these…

Numerical Analysis · Mathematics 2025-09-16 Yuxin Huang , Benjamin E. Grossman-Ponemon , David A. B. Hyde

Efficient encoding of classical data into quantum state -- currently referred to as quantum encoding -- holds crucial significance in quantum computation. For finite-size databases and qubit registers, a common strategy of the quantum…

Quantum Physics · Physics 2025-08-05 Jaehee Kim , Taewan Kim , Kyunghyun Baek , Yongsoo Hwang , Joonsuk Huh , Jeongho Bang

Any quantum computing application, once encoded as a quantum circuit, must be compiled before being executable on a quantum computer. Similar to classical compilation, quantum compilation is a sequential process with many compilation steps…

Quantum Physics · Physics 2024-06-25 Nils Quetschlich , Lukas Burgholzer , Robert Wille

The Quantum Approximate Optimization Algorithm (QAOA) constitutes one of the often mentioned candidates expected to yield a quantum boost in the era of near-term quantum computing. In practice, quantum optimization will have to compete with…

Quantum Physics · Physics 2020-10-15 Charles Moussa , Henri Calandra , Vedran Dunjko

Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptography and optimization. However, current quantum programming…

Programming Languages · Computer Science 2025-03-18 Simone Faro , Francesco Pio Marino , Gabriele Messina

Quantum machine learning for classical data is currently perceived to have a scalability problem due to (i) a bottleneck at the point of loading data into quantum states, (ii) the lack of clarity around good optimization strategies, and…

Quantum Physics · Physics 2025-01-09 Sonika Johri

Applications such as simulating complicated quantum systems or solving large-scale linear algebra problems are very challenging for classical computers due to the extremely high computational cost. Quantum computers promise a solution,…

One of the major application areas of interest for both near-term and fault-tolerant quantum computers is the optimization of classical objective functions. In this work, we develop intuitive constructions for a large class of these…

Quantum computers will be able solve important problems with significant polynomial and exponential speedups over their classical counterparts, for instance in option pricing in finance, and in real-space molecular chemistry simulations.…

Quantum Physics · Physics 2022-05-03 Arthur G. Rattew , Bálint Koczor

Quantum algorithms are getting extremely popular due to their potential to significantly outperform classical algorithms. Yet, applying quantum algorithms to optimization problems meets challenges related to the efficiency of quantum…

Feedback-based quantum optimization is a quantum approach to combinatorial optimization. In this paper, we introduce the classical counterpart of feedback-based quantum optimization by using the quantum-classical correspondence of spin…

Quantum Physics · Physics 2026-05-14 Tomohiro Hattori , Takuya Hatomura

Solving real-world optimization problems with quantum computing requires choosing between a large number of options concerning formulation, encoding, algorithm and hardware. Finding good solution paths is challenging for end users and…

Hybrid classical quantum optimization methods have become an important tool for efficiently solving problems in the current generation of NISQ computers. These methods use an optimization algorithm executed in a classical computer, fed with…

Quantum Physics · Physics 2023-08-02 J. Gidi , B. Candia , A. D. Muñoz-Moller , A. Rojas , L. Pereira , M. Muñoz , L. Zambrano , A. Delgado

Quantum annealing is a method developed to solve combinatorial optimization problems by utilizing quantum bits. Solving such problems corresponds to minimizing a cost function defined over binary variables. However, in many practical cases,…

Quantum Physics · Physics 2025-06-26 Seiya Endo , Shohei Kawakatsu , Hiromichi Matsuyama , Kohei Suzuki , Yuichiro Matsuzaki

As quantum computing technology advances, the need for optimized arithmetic circuits continues to grow. This paper presents the implementation and resource estimation of a library of quantum arithmetic algorithms, including addition,…

Quantum Physics · Physics 2025-12-03 Dmytro Fedoriaka , Brian Goldsmith , Yingrong Chen

We propose an optimization algorithm to improve the design and performance of quantum communication networks. When physical architectures become too complex for analytical methods, numerical simulation becomes essential to study quantum…

Quantum Physics · Physics 2025-08-21 Luise Prielinger , Álvaro G. Iñesta , Gayane Vardoyan

In this research notebook in the four-part, quantum computation and applications, quantum computation and algorithms, quantum communication protocol, and universal quantum computation for quantum engineers, researchers, and scientists, we…

Quantum Physics · Physics 2021-01-07 Bhupesh Bishnoi

In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for…