English
Related papers

Related papers: Resource-Aware Quantum Programming with General Re…

200 papers

We design and implement a quantum combinatorial reasoning framework for large language models (QCR-LLM), integrating a real quantum computer in the hybrid workflow. QCR-LLM reformulates reasoning aggregation as a higher-order unconstrained…

As quantum computing technology advances, the complexity of quantum algorithms increases, necessitating a shift from low-level circuit descriptions to high-level programming paradigms. This paper addresses the challenges of developing a…

Quantum Physics · Physics 2025-03-04 Israel Reichental , Ravid Alon , Lior Preminger , Matan Vax , Amir Naveh

A remarkable difference between quantum and classical programs is that the control flow of the former can be either classical or quantum. One of the key issues in the theory of quantum programming languages is defining and understanding…

Quantum Physics · Physics 2012-09-21 Mingsheng Ying , Nengkun Yu , Yuan Feng

Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming languages essentially function as circuit description languages.…

Programming Languages · Computer Science 2025-12-02 Chris Heunen , Louis Lemonnier , Christopher McNally , Alex Rice

Quantum reservoir computing (QRC) is an emerging paradigm for harnessing the natural dynamics of quantum systems as computational resources that can be used for temporal machine learning tasks. In the current setup, QRC is difficult to deal…

Quantum Physics · Physics 2020-10-21 Quoc Hoan Tran , Kohei Nakajima

We introduce an abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations. With this formalism, we discuss…

Quantum Physics · Physics 2017-02-20 Robert S. Smith , Michael J. Curtis , William J. Zeng

Many quantum programs require circuits for addition, subtraction and logical operations. These circuits may be packaged within routines known as oracles. However, oracles can be tedious to code with current frameworks. To solve this problem…

Quantum Physics · Physics 2021-10-26 Ayush Tambde

It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of…

Programming Languages · Computer Science 2009-11-07 S. Bettelli , L. Serafini , T. Calarco

Quantum computers represent a radical technological advancement in the way information is processed by using the principles of quantum mechanics to solve very complex problems that exceed the capabilities of classical systems. However, in…

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

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

Programming for today's quantum computers is making significant strides toward modern workflows compatible with high performance computing (HPC), but fundamental challenges still remain in the integration of these vastly different…

By analyzing the key properties of black holes from the point of view of quantum information, we derive a model-independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with…

High Energy Physics - Theory · Physics 2017-04-11 Gia Dvali , Cesar Gomez , Dieter Lust , Yasser Omar , Benedikt Richter

We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data…

Quantum Physics · Physics 2020-06-02 Evandro Chagas Ribeiro da Rosa , Rafael de Santiago

Channel conversion constitutes a pivotal paradigm in information theory and its applications to quantum physics, providing a unified problem setting that encompasses celebrated results such as Shannon's noisy-channel coding theorem. Quantum…

Quantum Physics · Physics 2025-09-10 Masahito Hayashi , Hayata Yamasaki

Fault tolerance is a long-term objective driving many companies and research organizations to compete in making current, imperfect quantum computers useful - Quantum Utility (QU). It looks promising to achieve this by leveraging software…

Quantum Physics · Physics 2024-09-27 Markiian Tsymbalista , Ihor Katernyak

We introduce a novel quantum programming language featuring higher-order programs and quantum controlflow which ensures that all qubit transformations are unitary. Our language boasts a type system guaranteeingboth unitarity and…

Logic in Computer Science · Computer Science 2024-03-06 Alejandro Díaz-Caro , Emmanuel Hainry , Romain Péchoux , Mário Silva

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

An automated resource analysis technique is introduced, targeting a Call-By-Push-Value abstract machine, with memory prediction as a practical goal. The machine has a polymorphic and linear type system enhanced with a first-order logical…

Logic in Computer Science · Computer Science 2023-10-24 Hector Suzanne , Emmanuel Chailloux

In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the…

Programming Languages · Computer Science 2017-04-17 Alexander Singh , Konstantinos Giannakis , Theodore Andronikos

Quantum reservoir computing uses the dynamics of quantum systems to process temporal data, making it particularly well-suited for machine learning with noisy intermediate-scale quantum devices. Recent developments have introduced…

Quantum Physics · Physics 2026-02-25 Lukas Gonon , Rodrigo Martínez-Peña , Juan-Pablo Ortega