English
Related papers

Related papers: Quipper: Concrete Resource Estimation in Quantum A…

200 papers

Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum…

Programming Languages · Computer Science 2018-12-04 Shih-Han Hung , Kesha Hietala , Shaopeng Zhu , Mingsheng Ying , Michael Hicks , Xiaodi Wu

Quantum computing is a promising paradigm that may overcome the current computational power bottlenecks. The increasing maturity of quantum processors provides more possibilities for the development and implementation of quantum algorithms.…

Quantum Physics · Physics 2025-10-15 Ge Yan , Wenjie Wu , Yuheng Chen , Kaisen Pan , Xudong Lu , Zixiang Zhou , Yuhan Wang , Ruocheng Wang , Junchi Yan

Quantum computing (QC) seems to show potential for application in machine learning (ML). In particular quantum kernel methods (QKM) exhibit promising properties for use in supervised ML tasks. However, a major disadvantage of kernel methods…

Quantum Physics · Physics 2025-01-14 Kilian Tscharke , Sebastian Issel , Pascal Debus

The agenda of quantum algorithmic information theory, ordered `top-down,' is the quantum halting amplitude, followed by the quantum algorithmic information content, which in turn requires the theory of quantum computation. The fundamental…

Quantum Physics · Physics 2007-05-23 Karl Svozil

These notes discuss the quantum algorithms we know of that can solve problems significantly faster than the corresponding classical algorithms. So far, we have only discovered a few techniques which can produce speed up versus classical…

Quantum Physics · Physics 2007-05-23 Peter W. Shor

The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or the other as to how useful these machines will be. The tools…

Quantum Physics · Physics 2007-05-23 Lance Fortnow

Qubit allocation is a process to assign physical qubits to logical qubits in a quantum program. Since some quantum computers have connectivity constraints on applications of two-qubit operations, it is mainly concerned with finding an…

Programming Languages · Computer Science 2023-06-06 Ryo Wakizaka , Atsushi Igarashi

Quantum computers represent a radical technological breakthrough in information processing by leveraging the principles of quantum mechanics to solve highly complex problems beyond the reach of classical systems. However, in the current…

Quantum Physics · Physics 2025-08-26 Marcos Guillermo Lammers , Federico Hernán Holik , Alejandro Fernández

With the increasing rise of publicly available high level quantum computing languages, the field of Quantum Computing has reached an important milestone of separation of software from hardware. Consequently, the study of Quantum Algorithms…

Quantum Physics · Physics 2020-08-26 Daniel Koch , Saahil Patel , Laura Wessing , Paul M. Alsing

We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using…

Quantum Physics · Physics 2007-05-23 Stephen Blaha

Quantum amplitude amplification and estimation have shown quadratic speedups to unstructured search and estimation tasks. We show that a coherent combination of these quantum algorithms also provides a quadratic speedup to calculating the…

Quantum Physics · Physics 2024-12-03 Caleb Rotello

Quantum Reservoir Computing (QRC) harnesses quantum systems to tackle intricate computational problems with exceptional efficiency and minimized energy usage. This paper presents a QRC framework that utilizes a minimalistic quantum…

Quantum Physics · Physics 2025-11-11 Chuanzhou Zhu , Peter J. Ehlers , Hendra I. Nurdin , Daniel Soh

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 number of qubits used by a quantum algorithm will be a crucial computational resource for the foreseeable future. We show how to obtain the classical query complexity for continuous problems. We then establish a simple formula for a…

Quantum Physics · Physics 2007-05-23 A. Papageorgiou , J. F. Traub

The Proto-Quipper family of programming languages aims to provide a formal foundation for the Quipper quantum programming language. Unfortunately, Proto-Quipper languages have complex operational semantics: they are inherently effectful,…

Programming Languages · Computer Science 2025-10-24 Ryan Kavanagh , Chuta Sano , Brigitte Pientka

People are witnessing quantum computing revolutions nowadays. Progress in the number of qubits, coherence times and gate fidelities are happening. Although quantum error correction era has not arrived, the research and development of…

Quantum Physics · Physics 2023-10-17 Guanru Feng , Dawei Lu , Jun Li , Tao Xin , Bei Zeng

We propose a quantum programming paradigm where all data are familiar classical data, and the only non-classical element is a random number generator that can return results with negative probability. Currently, the vast majority of quantum…

Quantum Physics · Physics 2025-11-27 Jun Inoue

Efficient and coherent data retrieval and storage are essential for harnessing quantum algorithms' speedup. Such a fundamental task is addressed by a quantum Random Access Memory (qRAM). Despite their promising scaling properties, current…

Quantum Physics · Physics 2026-04-09 Giuseppe De Riso , Giuseppe Catalano , Seth Lloyd , Vittorio Giovannetti , Dario De Santis

As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…

Quantum Physics · Physics 2020-11-12 Bela Bauer , Sergey Bravyi , Mario Motta , Garnet Kin-Lic Chan

We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the…

Logic in Computer Science · Computer Science 2018-12-11 Mohamed Yousri Mahmoud , Amy P. Felty