Quantum control machine: The limits of control flow in quantum programming
Quantum algorithms for tasks such as factorization, search, and simulation rely on control
flow such as branching and iteration that depends on the value of data in superposition …
flow such as branching and iteration that depends on the value of data in superposition …
Evolutionary approach to quantum and reversible circuits synthesis
The paper discusses theevolutionary computation approach to theproblem of optimal
synthesis of Quantum andReversible Logic circuits. Our approach usesstandard Genetic …
synthesis of Quantum andReversible Logic circuits. Our approach usesstandard Genetic …
Reversible machine code and its abstract processor architecture
A reversible abstract machine architecture and its reversible machine code are presented
and formalized. For machine code to be reversible, both the underlying control logic and …
and formalized. For machine code to be reversible, both the underlying control logic and …
[HTML][HTML] Reversible computing from a programming language perspective
Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …
reversible programming languages have been developed. This presentation highlights the …
Energy-efficient algorithms
We initiate the systematic study of the energy complexity of algorithms (in addition to time
and space complexity) based on Landauer's Principle in physics, which gives a lower bound …
and space complexity) based on Landauer's Principle in physics, which gives a lower bound …
[HTML][HTML] Certifying expressive power and algorithms of reversible primitive permutations with lean
G Maletto, L Roversi - Journal of Logical and Algebraic Methods in …, 2024 - Elsevier
Reversible primitive permutations (RPP) is a class of recursive functions that models
reversible computation. We present a proof, which has been verified using the proof …
reversible computation. We present a proof, which has been verified using the proof …
Design and implementation of a reversible object-oriented programming language
T Haulund - arxiv preprint arxiv:1707.07845, 2017 - arxiv.org
High-level reversible programming languages are few and far between and in general offer
only rudimentary abstractions from the details of the underlying machine. Modern …
only rudimentary abstractions from the details of the underlying machine. Modern …
Back to the future: The case for reversible computing
MP Frank - arxiv preprint arxiv:1803.02789, 2018 - arxiv.org
There is one, and only one way, consistent with fundamental physics, that the efficiency of
general digital computation can continue increasing indefinitely, and that is to apply the …
general digital computation can continue increasing indefinitely, and that is to apply the …
Toward an energy efficient language and compiler for (partially) reversible algorithms
We introduce a new programming language for expressing reversibility, Energy-Efficient
Language (Eel), geared toward algorithm design and implementation. Eel is the first …
Language (Eel), geared toward algorithm design and implementation. Eel is the first …
[PDF][PDF] Application of genetic algorithms for evolution of quantum equivalents of Boolean circuits
Due to the non-intuitive nature of Quantum algorithms, it becomes difficult for a classically
trained person to efficiently construct new ones. So rather than designing new algorithms …
trained person to efficiently construct new ones. So rather than designing new algorithms …