English
Related papers

Related papers: Quantum Register Machine: Efficient Implementation…

200 papers

Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected…

Logic in Computer Science · Computer Science 2018-12-11 Zhaowei Xu , Mingsheng Ying , Shenggang Ying

We introduce a quantum extension of dynamic programming, a fundamental computational method that efficiently solves recursive problems using memory. Our innovation lies in showing how to coherently generate recursion step unitaries by using…

Quantum Physics · Physics 2025-05-09 Jeongrak Son , Marek Gluza , Ryuji Takagi , Nelly H. Y. Ng

Operating on the principles of quantum mechanics, quantum algorithms hold the promise for solving problems that are beyond the reach of the best-available classical algorithms. An integral part of realizing such speedup is the…

Quantum Physics · Physics 2023-10-03 Shifan Xu , Connor T. Hann , Ben Foxman , Steven M. Girvin , Yongshan Ding

Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and errors associated with low-level quantum details would hence be…

Quantum Physics · Physics 2023-12-07 Haowei Deng , Runzhou Tao , Yuxiang Peng , Xiaodi Wu

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

As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available…

We introduce a novel scheme of quantum recursive programming, in which large unitary transformations, i.e. quantum gates, can be recursively defined using quantum case statements, which are quantum counterparts of conditionals and case…

Programming Languages · Computer Science 2023-11-06 Mingsheng Ying , Zhicheng Zhang

Memory is an indispensable component in classical computing systems. While the development of quantum computing is still in its early stages, current quantum processing units mainly function as quantum registers. Consequently, the actual…

Quantum Physics · Physics 2023-11-06 Chenxu Liu , Meng Wang , Samuel A. Stein , Yufei Ding , Ang Li

Recursive techniques have recently been introduced into quantum programming so that a variety of large quantum circuits and algorithms can be elegantly and economically programmed. In this paper, we present a proof system for formal…

Quantum Physics · Physics 2024-11-08 Mingsheng Ying , Zhicheng Zhang

Refactoring is a crucial technique for improving the efficiency and maintainability of software by restructuring its internal design while preserving its external behavior. While classical programs have benefited from various refactoring…

Software Engineering · Computer Science 2023-06-21 Jianjun Zhao

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 reservoir computing is a computing approach which aims at utilising the complexity and high-dimensionality of small quantum systems, together with the fast trainability of reservoir computing, in order to solve complex tasks. The…

Quantum Physics · Physics 2024-01-19 Saud Čindrak , Brecht Donvil , Kathy Lüdge , Lina Jaurigue

This article gives an overview and a perspective of recent theoretical proposals and their experimental implementations in the field of quantum machine learning. Without an aim to being exhaustive, the article reviews specific high-impact…

Quantum Physics · Physics 2023-05-03 Lucas Lamata

As quantum computers continue to improve and support larger, more complex computations, smart control hardware and compilers are needed to efficiently leverage the capabilities of these systems. This paper introduces a novel approach to…

Quantum Physics · Physics 2025-11-19 Folkert de Ronde , Alexander Knapen , Stephan Wong , Sebastian Feld

Quantum systems have an exponentially large degree of freedom in the number of particles and hence provide a rich dynamics that could not be simulated on conventional computers. Quantum reservoir computing is an approach to use such a…

Quantum Physics · Physics 2020-11-11 Keisuke Fujii , Kohei Nakajima

Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected…

Logic in Computer Science · Computer Science 2021-07-27 Zhaowei Xu , Mingsheng Ying , Benoît Valiron

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 algorithms are demonstrated to outperform classical algorithms for certain problems and thus are promising candidates for efficient information processing. Herein we aim to provide a brief and popular introduction to quantum…

Quantum Physics · Physics 2022-12-22 Shihao Zhang , Lvzhou Li

Coherent control, aka quantum control, is a central concept in quantum computing that is attracting increasing attention from both the quantum foundations and quantum software communities. Defining coherent control in the presence of…

Logic in Computer Science · Computer Science 2026-03-02 Kathleen Barsse , Romain Péchoux , Simon Perdrix

Internet-scale quantum repeater networks will be heterogeneous in physical technology, repeater functionality, and management. The classical control necessary to use the network will therefore face similar issues as Internet data…

Quantum Physics · Physics 2023-04-21 Rodney Van Meter , Joe Touch , Dominic Horsman
‹ Prev 1 2 3 10 Next ›