English
Related papers

Related papers: Reversible arithmetic logic unit

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 propose a prime factoring machine operated in a frame work of quantum annealing (QA). The idea is inverse operation of a quantum-mechanically reversible multiplier implemented with QA-based Boolean logic circuits. We designed the QA…

Quantum Physics · Physics 2017-12-19 M. Maezawa , K. Imafuku , M. Hidaka , H. Koike , S. Kawabata

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

A proposal for a scalable, solid-state implementation of a quantum computer is presented. Qubits are fluorine nuclear spins in a solid crystal of fluorapatite [Ca_5 F(PO_4)_3] with resonant frequencies separated by a large field gradient.…

Quantum Physics · Physics 2007-05-23 T. D. Ladd , J. R. Goldman , A. Dana , F. Yamaguchi , Y. Yamamoto

The even distribution and optimization of tasks across resources and workstations is a critical process in manufacturing aimed at maximizing efficiency, productivity, and profitability, known as Robotic Assembly Line Balancing (RALB). With…

Quantum Physics · Physics 2024-12-13 Moritz Willmann , Marcel Albus , Jan Schnabel , Marco Roth

In the today's era, reversible logics are the promising technology for the designing of low power digital logic system having major application in the field of nanotechnology, quantum computation, DNA and other low power digital circuits.…

Other Computer Science · Computer Science 2013-06-12 Pradeep Singla , Aakash Gupta , Ashutosh Bhardwaj , Pulkit Basia

Exploiting spin degree of freedom of electron a new proposal is given to characterize spin-based logical operations using a quantum interferometer that can be utilized as a programmable spin logic device (PSLD). The ON and OFF states of…

Mesoscale and Nanoscale Physics · Physics 2018-09-19 Moumita Patra , Santanu K. Maiti

It has long been known that to minimise the heat emitted by a deterministic computer during it's operation it is necessary to make the computation act in a logically reversible manner\cite{Lan61}. Such logically reversible operations…

Quantum Physics · Physics 2007-05-23 O. J. E. Maroney

Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minimal reversible automaton recognizing a given language is not…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Kitti Gelle , Szabolcs Iván

Quantum algorithms for scientific computing require modules implementing fundamental functions, such as the square root, the logarithm, and others. We require algorithms that have a well-controlled numerical error, that are uniformly…

Quantum Physics · Physics 2016-02-02 Mihir K. Bhaskar , Stuart Hadfield , Anargyros Papageorgiou , Iasonas Petras

Neural networks have to capture mathematical relationships in order to learn various tasks. They approximate these relations implicitly and therefore often do not generalize well. The recently proposed Neural Arithmetic Logic Unit (NALU) is…

Neural and Evolutionary Computing · Computer Science 2020-03-18 Daniel Schlör , Markus Ring , Andreas Hotho

Residue arithmetic is an elegant and convenient way of computing with integers that exceed the natural word size of a computer. The algorithms are highly parallel and hence naturally adapted to quantum computation. The process differs from…

Quantum Physics · Physics 2007-05-23 S. A. Fulling

In modern computers, computation is performed by assembling together sets of logic gates. Popular gates like AND, OR, XOR, processing two logic inputs and yielding one logic output, are often addressed as irreversible logic gates where the…

Mesoscale and Nanoscale Physics · Physics 2017-01-16 Miquel Lopez-Suarez , Igor Neri , Luca Gammaitoni

In this paper, we present Q# implementations for arbitrary single-variabled fixed-point arithmetic operations for a gate-based quantum computer based on lookup tables (LUTs). In general, this is an inefficent way of implementing a function…

Quantum Physics · Physics 2023-02-06 Rajiv Krishnakumar , Mathias Soeken , Martin Roetteler , William J. Zeng

In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for…

Programming Languages · Computer Science 2016-08-22 Naoki Nishida , Adrián Palacios , Germán Vidal

We discuss the unique capabilities of programmable logic devices (PLD's) for experimental quantum optics and describe basic procedures of design and implementation. Examples of advanced applications include optical metrology and feedback…

Quantum Physics · Physics 2009-11-07 J. Stockton , M. Armen , H. Mabuchi

Suppressing errors is the central challenge for useful quantum computing, requiring quantum error correction for large-scale processing. However, the overhead in the realization of error-corrected ``logical'' qubits, where information is…

A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary…

Quantum Physics · Physics 2016-06-17 Timothy Rambo , Joseph Altepeter , Giacomo Mauro D'Ariano , Prem Kumar

Quantum computing offers advantages over classical computation, yet the precise features that set the two apart remain unclear. In the standard quantum circuit model, adding a 1-qubit basis-changing gate -- commonly chosen to be the…

Quantum Physics · Physics 2025-11-26 Wang Fang , Chris Heunen , Robin Kaarsgaard

We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations,…

Quantum Physics · Physics 2008-05-06 Thorsten Altenkirch , Jonathan Grattage