English
Related papers

Related papers: Solving Random Satisfiability Problems with Quantu…

200 papers

This thesis deals with the problematics of the scalability of fault-tolerant quantum computing. This question is studied under the angle of estimating the resources needed to set up such computers. What we call a resource is, in principle,…

Quantum Physics · Physics 2022-02-15 Marco Fellous-Asiani

The use of quantum processing units (QPUs) promises speed-ups for solving computational problems. Yet, current devices are limited by the number of qubits and suffer from significant imperfections, which prevents achieving quantum…

Quantum Physics · Physics 2023-06-08 Hila Safi , Karen Wintersperger , Wolfgang Mauerer

Quantum Approximate Optimization algorithm (QAOA) aims to search for approximate solutions to discrete optimization problems with near-term quantum computers. As there are no algorithmic guarantee possible for QAOA to outperform classical…

Quantum Physics · Physics 2022-07-25 Bingzhi Zhang , Akira Sone , Quntao Zhuang

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

Major obstacles remain to the implementation of macroscopic quantum computing: hardware problems of noise, decoherence, and scaling; software problems of error correction; and, most important, algorithm construction. Finding truly quantum…

Quantum Physics · Physics 2020-07-17 Nathan Thompson , James Steck , Elizabeth Behrman

The complexity of large-scale 6G-and-beyond networks demands innovative approaches for multi-objective optimization over vast search spaces, a task often intractable. Quantum computing (QC) emerges as a promising technology for efficient…

Networking and Internet Architecture · Computer Science 2025-09-10 Sebastian Macaluso , Giovanni Geraci , Elías F. Combarro , Sergi Abadal , Ioannis Arapakis , Sofia Vallecorsa , Eduard Alarcón

Quantum computing provides computational advantages in various domains. To benefit from these advantages complex hybrid quantum applications must be built, which comprise both quantum and classical programs. Engineering these applications…

Quantum signal processing (QSP) provides a systematic framework for implementing a polynomial transformation of a linear operator, and unifies nearly all known quantum algorithms. In parallel, recent works have developed randomized…

Quantum Physics · Physics 2025-03-26 John M. Martyn , Patrick Rall

Quantum information theory explores the limits of manipulating quantum states. While auxiliary systems often enhance information processing, a systematic explanation for their power has been lacking. This thesis addresses this gap by…

Quantum Physics · Physics 2026-03-25 Jeongrak Son

Quantum computing is poised to redefine the algorithmic foundations of communication systems. While quantum superposition and entanglement enable quadratic or exponential speedups for specific problems, identifying use cases where these…

Signal Processing · Electrical Eng. & Systems 2025-12-10 Naoki Ishikawa , Giuseppe Thadeu Freitas de Abreu , Petar Popovski , Robert W. Heath

We propose an approach to quantum computing in which quantum gate strengths are parametrized by quantum degrees of freedom, and the capability of the quantum computer to perform desired tasks is monitored and gradually improved by…

Quantum Physics · Physics 2009-11-25 Soren Gammelmark , Klaus Molmer

The random k-SAT instances undergo a "phase transition" from being generally satisfiable to unsatisfiable as the clause number m passes a critical threshold, $r_k n$. This causes a drastic reduction in the number of satisfying assignments,…

Quantum Physics · Physics 2024-11-05 Mingyou Wu

The Boolean satisfiability problem (SAT) is of central importance in both theory and practice. Yet, most provable guarantees for quantum algorithms rely exclusively on Grover-type methods that cap the possible advantage at only quadratic…

Quantum Physics · Physics 2025-11-14 Franz J. Schreiber , Maximilian J. Kramer , Alexander Nietner , Jens Eisert

We explore the possibility of accelerating the formal verification of classical programs with a quantum computer. A common source of security flaws stems from the existence of common programming errors like use after free, null-pointer…

Quantum Physics · Physics 2026-05-06 Sebastian Issel , Kilian Tscharke , Pascal Debus

Quantum algorithms require less operations than classical algorithms. The exact reason of this has not been pinpointed until now. Our explanation is that quantum algorithms know in advance 50% of the solution of the problem they will find…

Quantum Physics · Physics 2015-05-13 Giuseppe Castagnoli

With the help of recent developments in quantum algorithms for semidefinite programming, we discuss the possibility for quantum speedup for the numerical conformal bootstrap in conformal field theory. We show that quantum algorithms may…

High Energy Physics - Theory · Physics 2019-08-12 Ning Bao , Junyu Liu

We construct a set of instances of 3SAT which are not solved efficiently using the simplest quantum adiabatic algorithm. These instances are obtained by picking random clauses all consistent with two disparate planted solutions and then…

Quantum Physics · Physics 2012-03-30 Edward Farhi , Jeffrey Goldstone , David Gosset , Sam Gutmann , Harvey B. Meyer , Peter Shor

It is known that quantum computers yield a speed-up for certain discrete problems. Here we want to know whether quantum computers are useful for continuous problems. We study the computation of the integral of functions from the classical…

Quantum Physics · Physics 2013-04-16 Erich Novak

Quantum computers can in principle solve certain problems exponentially more quickly than their classical counterparts. We have not yet reached the advent of useful quantum computation, but when we do, it will affect nearly all scientific…

The potential of the exact quantum information processing is an interesting, important and intriguing issue. For examples, it has been believed that quantum tools can provide significant, that is larger than polynomial, advantages in the…

Formal Languages and Automata Theory · Computer Science 2014-11-26 Jozef Gruska , Daowen Qiu , Shenggen Zheng