English
Related papers

Related papers: Proto-Quipper with Reversing and Control

200 papers

Quantum reservoir computing (QRC) is a hardware-implementation-friendly quantum neural network scheme with minimal physical system requirements and a proven advantage over classical counterparts. We use an extension of the positive-P phase…

Quantum Physics · Physics 2026-03-19 S. Świerczewski , W. Verstraelen , P. Deuar , T. C. H. Liew , A. Opala , M. Matuszewski

Progress in the realisation of reliable large-scale quantum computers has motivated research into the design of quantum machine learning models. We present Quixer: a novel quantum transformer model which utilises the Linear Combination of…

Quantum Physics · Physics 2024-06-07 Nikhil Khatri , Gabriel Matos , Luuk Coopmans , Stephen Clark

Quantum computers are considered as a future alternative to circumvent the heat dissipation problem of VLSI circuits. The synthesis of reversible circuits is a very promising area of study considering the expected further technological…

Emerging Technologies · Computer Science 2014-11-25 Fatima Hadjam , Claudio Moraga

Petri nets are a mathematical language for modeling and reasoning about distributed systems. In this paper we propose an approach to Petri nets for embedding reversibility, i.e., the ability of reversing an executed sequence of operations…

Logic in Computer Science · Computer Science 2020-10-09 Anna Philippou , Kyriaki Psara

Quantum cryptography leverages many unique features of quantum information in order to construct cryptographic primitives that are oftentimes impossible classically. In this work, we build on the no-cloning principle of quantum mechanics…

Quantum Physics · Physics 2023-10-13 Prabhanjan Ananth , Alexander Poremba , Vinod Vaikuntanathan

The Quantum Skip Gate (QSG) is a unitary circuit primitive that coherently superposes the execution and omission of an expensive quantum subroutine based on the outcome of a cheaper preceding subroutine, without mid-circuit measurement or…

Quantum Physics · Physics 2026-01-26 Kym Derriman

Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical computers) at different levels of abstraction. This paper…

Programming Languages · Computer Science 2025-07-01 Nicola Assolini , Alessandra Di Pierro

Coherent controlization, i.e., coherent conditioning of arbitrary single- or multi-qubit operations on the state of one or more control qubits, is an important ingredient for the flexible implementation of many algorithms in quantum…

Quantum Physics · Physics 2015-12-16 Nicolai Friis , Alexey A. Melnikov , Gerhard Kirchmair , Hans J. Briegel

Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource efficient than any classical one. All this, however,…

Quantum Physics · Physics 2022-05-16 Jacques Carette , Gerardo Ortiz , Amr Sabry

Discriminating between quantum computing architectures that can provide quantum advantage from those that cannot is of crucial importance. From the fundamental point of view, establishing such a boundary is akin to pinpointing the resources…

Quantum Physics · Physics 2021-03-23 Laura García-Álvarez , Cameron Calcluth , Alessandro Ferraro , Giulia Ferrini

In today's world everyday a new technology which is faster, smaller and more complex than its predecessor is being developed. The increased number of transistors packed onto a chip of a conventional system results in increased power…

Hardware Architecture · Computer Science 2013-06-11 Aakash Gupta , Pradeep Singla , Jitendra Gupta , Nitin Maheshwari

Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in order to achieve reversibility. An algorithm for designing…

Neural and Evolutionary Computing · Computer Science 2021-09-29 Mihai Oltean

We present the generalization of the CNC formalism, based on closed and noncontextual sets of Pauli observables, to the setting of odd-prime-dimensional qudits. By introducing new CNC-type phase space point operators, we construct a…

Quantum Physics · Physics 2024-07-16 Michael Zurel , Arne Heimendahl

Attention-based neural networks such as transformers have revolutionized various fields such as natural language processing, genomics, and vision. Here, we demonstrate the use of transformers for quantum feedback control through both a…

Quantum Physics · Physics 2026-02-26 Pranav Vaidhyanathan , Florian Marquardt , Mark T. Mitchison , Natalia Ares

A reversible logic has application in quantum computing. A reversible logic design needs resources such as ancilla and garbage qubits to reconfigure circuit functions or gate functions. The removal of garbage qubits and ancilla qubits are…

Quantum Physics · Physics 2016-08-04 Jayashree HV , Himanshu Thapliyal , Hamid R. Arabnia , V K Agrawal

Quantum mechanics in the Rigged Hilbert Space formulation describes quasistationary phenomena mathematically rigorously in terms of Gamow vectors. We show that these vectors exhibit microphysical irreversibility, related to an intrinsic…

Quantum Physics · Physics 2007-05-23 C. Schulte , R. Twarock , A. Bohm

Quantum computer requires quantum arithmetic. The sophisticated design of a reversible arithmetic logic unit (reversible ALU) for quantum arithmetic has been investigated in this letter. We provide explicit construction of reversible ALU…

Hardware Architecture · Computer Science 2011-07-21 Rigui zhou , Yang shi , Manqun Zhang

In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In…

Logic in Computer Science · Computer Science 2023-06-22 Claudio Antares Mezzina , Jorge A. Pérez

We present a reversible intermediate language with concurrency for translating a high-level concurrent programming language to another lower-level concurrent programming language, keeping reversibility. Intermediate languages are commonly…

Programming Languages · Computer Science 2023-09-15 Shunya Oguchi , Shoji Yuen

Reversible computing has attracted the attention of researchers due to its low power consumption and less heat dissipation compared to conventional computing. A number of reversible gates have been proposed by different researchers and…

Emerging Technologies · Computer Science 2015-01-08 Shubham Gupta