Related papers: Embedding Quantum Universes into Classical Ones
Quantum computing exposes the brilliance of quantum mechanics through computer science and, as such, gives oneself a marvelous and exhilarating journey to go through. This article leads along that journey with a historical and current…
The aim of this paper is to analyze the reconstructability of quantum mechanics from classical conditional probabilities representing measurement outcomes conditioned on measurement choices. We will investigate how the quantum mechanical…
Some of the most enduring questions in physics--including the quantum measurement problem and the quantization of gravity--involve the interaction of a quantum system with a classical environment. Two linearly coupled harmonic oscillators…
A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and…
Quantum physics is a linear theory, so it is somewhat puzzling that it can underlie very complex systems such as digital computers and life. This paper investigates how this is possible. Physically, such complex systems are necessarily…
The new orthodoxy of quantum mechanics (QM) based on the decoherence approach requires many-worlds as an essential ingredient for logical consistency, and one may wonder what status to give to all these "other worlds". Here we advocate that…
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way,…
A consistent description of interactions between classical and quantum systems is relevant to quantum measurement theory, and to calculations in quantum chemistry and quantum gravity. A solution is offered here to this longstanding problem,…
We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connective. We study three classes of "almost Boolean" ODPs, two of…
A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…
Classical physics is about real objects, like apples falling from trees, whose motion is governed by Newtonian laws. In standard Quantum Mechanics only the wave function or the results of measurements exist, and to answer the question of…
Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time…
The mathematical formalism of quantum mechanics has been successfully employed in the last years to model situations in which the use of classical structures gives rise to problematical situations, and where typically quantum effects, such…
Quantum mechanics has many counter-intuitive consequences which contradict our intuition which is based on classical physics. Here we discuss a special aspect of quantum mechanics, namely the possibility of entanglement between two or more…
Quantum optics and classical optics have coexisted for nearly a century as two distinct, self-consistent descriptions of light. What influences there were between the two domains all tended to go in one direction, as concepts from classical…
In this article we demonstrate the applications of classical and quantum machine learning in quantum transport and spintronics. With the help of a two-terminal device with magnetic impurity we show how machine learning algorithms can…
This paper serves as a preparation of work that focuses on extracting cosmological sectors from Loop Quantum Gravity. We start with studying the extraction of subsystems from classical systems. A classical Hamiltonian system can be reduced…
In this paper, we analyze classical and quantum physical systems from an optimal control perspective. Specifically, we explore whether their associated dynamics can correspond to an open or closed-loop feedback evolution of a control…
This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational…
A direct classical analog of quantum decoherence is introduced. Similarities and differences between decoherence dynamics examined quantum mechanically and classically are exposed via a second-order perturbative treatment and via a strong…