English
Related papers

Related papers: Hadamard-Pi: Equational Quantum Programming

200 papers

We show that higher-dimensional versions of qubits, or qudits, can be encoded into spin systems and into harmonic oscillators, yielding important advantages for quantum computation. Whereas qubit-based quantum computation is adequate for…

Quantum Physics · Physics 2007-05-23 Stephen D. Bartlett , Hubert de Guise , Barry C. Sanders

We present a class of hybrid classical systems using quantum co-processors and point out that unlike purely quantum computers, such hybrids can be both universal and Turing complete; we introduce such quantum-classical hybrids as…

Quantum Physics · Physics 2018-08-15 Edward H. "Ned" Allen , Cristian S. Calude

Quantum assembly languages are machine-independent languages that traditionally describe quantum computation in the circuit model. Open quantum assembly language (OpenQASM 2) was proposed as an imperative programming language for quantum…

Quantum computers provide a fundamentally new computing paradigm that promises to revolutionize our ability to solve broad classes of problems. Surprisingly, the basic mathematical structures of gate-based quantum computing, such as unitary…

Quantum Physics · Physics 2019-08-20 Brian R. La Cour , S. Andrew Lanham , Corey I. Ostrove

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

A universal quantum computing scheme, with a universal set of logical gates, is proposed based on networks of 1D quantum systems. The encoding of information is in terms of universal features of gapped phases, for which effective field…

Quantum Physics · Physics 2019-07-24 Dong-Sheng Wang

Quantum computing, albeit readily available as hardware or emulated on the cloud, is still far from being available in general regarding complex programming paradigms and learning curves. This vision paper introduces $Classi|Q\rangle$, a…

Software Engineering · Computer Science 2024-07-02 Matteo Esposito , Maryam Tavassoli Sabzevari , Boshuai Ye , Davide Falessi , Arif Ali Khan , Davide Taibi

The relative power of quantum algorithms, using an adaptive access to quantum devices, versus classical post-processing methods that rely only on an initial quantum data set, remains the subject of active debate. Here, we present evidence…

Quantum Physics · Physics 2025-10-02 Oleksandr Kyriienko , Chukwudubem Umeano , Zoë Holmes

Quantum computing promises to tackle technological and industrial problems insurmountable for classical computers. However, today's quantum computers still have limited demonstrable functionality, and it is expected that scaling up to…

Quantum circuits which perform integer arithmetic could potentially outperform their classical counterparts. In this paper, a quantum circuit is considered which performs a specific computational pattern on classically represented integers…

Quantum Physics · Physics 2013-04-16 Christopher M. Maynard , Einar Pius

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 computing, leveraging quantum phenomena like superposition and entanglement, is emerging as a transformative force in computing technology, promising unparalleled computational speed and efficiency crucial for engineering…

Quantum Physics · Physics 2024-08-30 Osama Muhammad Raisuddin , Suvranu De

Quantum gates are the fundamental instructions of digital quantum computers. Current programming languages, systems, and software development toolkits identify these operational gates by their titles, which requires a shared understanding…

Programming Languages · Computer Science 2025-01-17 Ed Younis

The two main notions of control in quantum programming languages are often referred to as "quantum" control and "classical" control. With the latter, the control flow is based on classical information, potentially resulting from a quantum…

Logic in Computer Science · Computer Science 2025-12-01 Kinnari Dave , Louis Lemonnier , Romain Péchoux , Vladimir Zamdzhiev

Computations with a future quantum computer will be implemented through the operations by elementary quantum gates. It is now well known that the collection of 1-bit and 2-bit quantum gates are universal for quantum computation, i.e., any…

Quantum Physics · Physics 2007-05-23 G. Chen , D. A. Church , B. -G. Englert , M. S. Zubairy

Tasked with the challenge to build better and better computers, quantum computing and classical computing face the same conundrum: the success of classical computing systems. Small quantum computing systems have been demonstrated, and…

Quantum Physics · Physics 2014-08-05 Rodney Van Meter

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…

The model of open quantum systems is adopted to describe the non-local dynamical behaviour of qubits processed by entangling gates. The analysis gets to the conclusion that a distinction between evaluation steps and task-oriented computing…

Quantum Physics · Physics 2015-12-24 Stefano Bonzio , Paola Verrucchi

It is usually assumed that a quantum computation is performed by applying gates in a specific order. One can relax this assumption by allowing a control quantum system to switch the order in which the gates are applied. This provides a more…

Quantum Physics · Physics 2020-06-11 Mateus Araújo , Fabio Costa , Časlav Brukner

The emergence of quantum computing proposes a revolutionary paradigm that can radically transform numerous scientific and industrial application domains. The ability of quantum computers to scale computations implies better performance and…

Software Engineering · Computer Science 2024-03-29 Vlad Stirbu , Majid Haghparast