English
Related papers

Related papers: Quantum algorithms for equational reasoning

200 papers

This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational…

Quantum Physics · Physics 2007-06-13 Peter Nyman

We propose a new application of quantum computing to the field of natural language processing. Ongoing work in this field attempts to incorporate grammatical structure into algorithms that compute meaning. In (Coecke, Sadrzadeh and Clark,…

Computation and Language · Computer Science 2016-08-05 William Zeng , Bob Coecke

Quantum algorithms have the potential to provide exponential speedups over some of the best known classical algorithms. These speedups may enable quantum devices to solve currently intractable problems such as those in the fields of…

Quantum Physics · Physics 2018-12-13 Ciarán Ryan-Anderson

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…

Many methods solve Poisson equations by using grid techniques which discretize the problem in each dimension. Most of these algorithms are subject to the curse of dimensionality, so that they need exponential runtime. In the paper "Quantum…

Emerging Technologies · Computer Science 2020-06-17 Michael Holzmann , Harald Koestler

Combinatorial optimization is a promising application for near-term quantum computers, however, identifying performant algorithms suited to noisy quantum hardware remains as an important goal to potentially realizing quantum computational…

Quantum Physics · Physics 2025-04-01 Titus D. Morris , Ananth Kaushik , Martin Roetteler , Phillip C. Lotshaw

We report the quantum computing of reacting flows by simulating the Hamiltonian dynamics. The scalar transport equation for reacting flows is transformed into a Hamiltonian system, mapping the dissipative and non-Hermitian problem in…

Fluid Dynamics · Physics 2024-07-30 Zhen Lu , Yue Yang

Quantum computation appears to offer significant advantages over classical computation and this has generated a tremendous interest in the field. In this thesis we consider the application of quantum computers to scientific computing and…

Quantum Physics · Physics 2018-05-10 Stuart Hadfield

Rational functions are exceptionally powerful tools in scientific computing, yet their abilities to advance quantum algorithms remain largely untapped. In this paper, we introduce effective implementations of rational transformations of a…

Quantum Physics · Physics 2026-02-18 Yizhi Shen , Niel Van Buggenhout , Daan Camps , Katherine Klymko , Roel Van Beeumen

Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource efficient than any classical one. All this, however,…

Quantum Physics · Physics 2022-05-16 Jacques Carette , Gerardo Ortiz , Amr Sabry

Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…

Quantum Physics · Physics 2016-02-25 Maria Luisa Dalla Chiara , Roberto Giuntini , Roberto Leporini , Giuseppe Sergioli

Many quantum algorithms make use of oracles which evaluate classical functions on a superposition of inputs. In order to facilitate implementation, testing, and resource estimation of such algorithms, we present quantum circuits for…

Quantum Physics · Physics 2018-06-01 Thomas Häner , Martin Roetteler , Krysta M. Svore

Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time…

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

An outstanding problem in quantum computing is the calculation of entanglement, for which no closed-form algorithm exists. Here we solve that problem, and demonstrate the utility of a quantum neural computer, by showing, in simulation, that…

Quantum Physics · Physics 2007-05-23 E. C. Behrman , V. Chandrashekar , Z. Wang , C. K. Belur , J. E. Steck , S. R. Skinner

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted…

Formal Languages and Automata Theory · Computer Science 2018-07-05 Andris Ambainis , Abuzer Yakaryılmaz

Basic concepts of quantum theory of information, principles of quantum calculations and the possibility of creation on this basis unique on calculation power and functioning principle device, named quantum computer, are briefly reviewed.…

Quantum Physics · Physics 2007-12-10 Steven Duplij , Illia Shapoval

Computing many-body ground state energies and resolving electronic structure calculations are fundamental problems for fields such as quantum chemistry or condensed matter. Several quantum computing algorithms that address these problems…

Quantum Physics · Physics 2023-01-12 Karen J. Morenz Korol , Kenny Choo , Antonio Mezzacapo

A quantum algorithm for combinatorial search is presented that provides a simple framework for utilizing search heuristics. The algorithm is evaluated in a new case that is an unstructured version of the graph coloring problem. It performs…

Quantum Physics · Physics 2009-10-06 Tad Hogg

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