Searcharxiv⌕ Search

arXiv subjects

Alberto Leporati

Publications and source records attributed to Alberto Leporati.

21 records · Page 2Linked to original sources

Diagrams of States in Quantum Information: an Illustrative Tutorial

We present "Diagrams of States", a way to graphically represent and analyze how quantum information is elaborated during the execution of quantum circuits. This introductory tutorial illustrates the basics, providing useful examples of quantum computations: elementary operations in single-qubit, two-qubit and three-qubit systems, immersions of gates on higher dimensional spaces, generation of single and multi-qubit states, procedures to synthesize unitary, controlled and diagonal matrices. To perform the analysis of quantum processes, we directly derive diagrams of states from physical implementations of quantum circuits associated to the processes. Complete diagrams are then rearranged into simplified diagrams, to visualize the overall effects of computations. Conversely, diagrams of states help to conceive new quantum algorithms, by schematically describing desired manipulations of quantum information with intuitive diagrams and then by guessing the equivalent complete diagrams, from which the corresponding quantum circuit is obtained effortlessly. Related examples and analysis of complex algorithms will be provided in future works, for whose comprehension this first tutorial offers the necessary introduction.

quant-ph↗

Towards a Theory of Conservative Computing

We extend the notion of conservativeness, given by Fredkin and Toffoli in 1982, to generic gates whose input and output lines may assume a finite number d of truth values. A physical interpretation of conservativeness in terms of conservation of the energy associated to the data used during the computation is given. Moreover, we define conservative computations, and we show that they naturally induce a new NP-complete decision problem. Finally, we present a framework that can be used to explicit the movement of energy occurring during a computation, and we provide a quantum implementation of the primitives of such framework using creation and annihilation operators on the Hilbert space C^d, where d is the number of energy levels considered in the framework.

quant-ph↗

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.

quant-ph↗