Buscar
Mostrando ítems 21-30 de 248
Logical approach to the quantum-to-classical transition
(Cambridge University Press, 2019)
The standard descriptions of the quantum-to-classical transition of quantum systems focuses on the evolution of quantum states. The main idea is to appeal to the decoherence process in order to explain the disappearance ...
Modal-type orthomodular logic
(Wiley VCH Verlag, 2009-05)
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style ...
A formal framework for the study of the notion of undefined particle number in quantum mechanics
(Springer, 2015-01)
It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject ...
Testing the Efficiency of Digital Simulation of Quantum Walks on IBM’s Q platform - towards quantum experimental algorithms
This thesis presents several quantum circuit implementations of discrete and continuous quantum walks in cycle graphs. Quantum walks have become an important tool for developing quantum algorithms, that is why this work ...
Two linearities for quantum computing in the lambda calculus
(Elsevier, 2019-12)
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms ...
A quantum logical and geometrical approach to the study of improper mixtures
(American Institute Of Physics, 2010-05)
We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own ...
The Quasi-lattice of Indiscernible Elements
(Springer, 2011-02-01)
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice (J-lattice), ...
The Quasi-lattice of Indiscernible Elements
(Springer, 2011-02-01)
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice (J-lattice), ...
A proposal of quantum logic gates using cold trapped ions in a cavity
(Elsevier Science BvAmsterdamHolanda, 2002)