English
Related papers

Related papers: Advancing Quantum Computing with Formal Methods

200 papers

Quantum algorithms for scientific computing require modules implementing fundamental functions, such as the square root, the logarithm, and others. We require algorithms that have a well-controlled numerical error, that are uniformly…

Quantum Physics · Physics 2016-02-02 Mihir K. Bhaskar , Stuart Hadfield , Anargyros Papageorgiou , Iasonas Petras

Quantum computers promise to surpass the most powerful classical supercomputers when it comes to solving many critically important practical problems, such as pharmaceutical and fertilizer design, supply chain and traffic optimization, or…

Computation · Statistics 2022-04-05 Anna Lopatnikova , Minh-Ngoc Tran , Scott A. Sisson

This work presents a comprehensive overview of variational quantum computing and their key role in advancing quantum simulation. This work explores the simulation of quantum systems and sets itself apart from approaches centered on…

Quantum Physics · Physics 2026-02-04 Lucas Q. Galvão , Anna Beatriz M. de Souza , Marcelo A. Moret , Clebson Cruz

We propose a standardized methodology for developing and evaluating use cases for quantum computers and quantum inspired methods. This methodology consists of a standardized set of questions which should be asked to determine how and indeed…

Artificial Intelligence · Computer Science 2020-06-11 Nicholas Chancellor , Robert Cumming , Tim Thomas

Quantum Computing is a new paradigm that enables several advances which are impossible using classical technology. With the rise of quantum computers, the software is also invited to change so that it can better fit this new computation…

Software Engineering · Computer Science 2024-03-19 Paulo Eduardo Zanni Junior , Valter Vieira de Camargo

Most continuous mathematical formulations arising in science and engineering can only be solved numerically and therefore approximately. We shall always assume that we're dealing with a numerical approximation to the solution. There are two…

Quantum Physics · Physics 2007-12-10 A. Papageorgiou , J. F. Traub

Quantum computing is rapidly emerging as a promising technology for solving complex optimization problems that arise in various engineering fields. Therefore, it holds significant promise to transform the computational foundations of power…

Quantum Physics · Physics 2026-01-06 Nikolaos G. Paterakis , Petros Karamanakos , Corey O'Meara , Georgios Papafotiou

In this paper, we examine the state art of quantum computing and analyze its potential effects in scientific computing and cybersecurity. Additionally, a non-technical description of the mechanics of the listed form of computing is provided…

Popular Physics · Physics 2021-05-21 Giovanny Espitia

We present a concise but complete conceptual treatment of quantum computing implemented with Cavity Quantum Electrodynamics (CQED. The paper is intended as a brief overview for professionals who are coming over to the field from other areas…

Quantum Physics · Physics 2012-10-25 Zachary Burell

Quantum computing is a rapidly evolving field that enables exponential speed-up over classical algorithms. At the heart of this revolutionary technology are quantum circuits, which serve as vital tools for implementing, analyzing, and…

Quantum Physics · Physics 2023-10-30 Zhen Wen , Yihan Liu , Siwei Tan , Jieyi Chen , Minfeng Zhu , Dongming Han , Jianwei Yin , Mingliang Xu , Wei Chen

Quantum computing improves substantially on known classical algorithms for various important problems, but the nature of the relationship between quantum and classical computing is not yet fully understood. This relationship can be…

Quantum Physics · Physics 2026-02-20 Jacques Carette , Chris Heunen , Robin Kaarsgaard , Neil J. Ross , Amr Sabry

The main features of quantum computing are described in the framework of spin resonance methods. Stress is put on the fact that quantum computing is in itself nothing but a re-interpretation (fruitful indeed) of well-known concepts. The…

Quantum Physics · Physics 2009-10-31 Valerio Scarani

Demonstrating quantum advantage has been a pressing challenge in the field. Most claimed quantum speedups rely on a subroutine in which classical information can be accessed in a coherent quantum manner, which imposes a crucial constraint…

Quantum Physics · Physics 2025-11-04 Nhat A. Nghiem

Quantum computers are becoming real, and they have the inherent potential to significantly impact many application domains. We sketch the basics about programming quantum computers, showing that quantum programs are typically hybrid…

This review gives a survey of numerical algorithms and software to simulate quantum computers.It covers the basic concepts of quantum computation and quantum algorithms and includes a few examples that illustrate the use of simulation…

Quantum Physics · Physics 2007-05-23 H. De Raedt , K. Michielsen

Quantum computing promises potential for science and industry by solving certain computationally complex problems faster than classical computers. Quantum computing systems evolved from monolithic systems towards modular architectures…

Quantum Physics · Physics 2023-08-15 Nishant Saurabh , Shantenu Jha , Andre Luckow

Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and…

Emerging Technologies · Computer Science 2020-07-21 Yuan-Hung Tsai , Jie-Hong R. Jiang , Chiao-Shan Jhang

Machine Learning algorithms are extensively used in an increasing number of systems, applications, technologies, and products, both in industry and in society as a whole. They enable computing devices to learn from previous experience and…

Quantum Physics · Physics 2025-02-17 Lucas Lamata

This paper provides an introduction to quantum machine learning, exploring the potential benefits of using quantum computing principles and algorithms that may improve upon classical machine learning approaches. Quantum computing utilizes…

Quantum Physics · Physics 2024-02-23 Ethan N. Evans , Dominic Byrne , Matthew G. Cook

Quantum circuit complexity is a fundamental concept whose importance permeates quantum information, computation, many-body physics and high-energy physics. While extensively studied in closed systems, its characterization and behaviors in…

Quantum Physics · Physics 2025-08-28 Zhenyu Du , Zi-Wen Liu , Xiongfeng Ma