相关论文: Quantum logic and decohering histories

The basic ingredients of the `consistent histories' approach to quantum theory are a space $\UP$ of `history propositions' and a space $\D$ of `decoherence functionals'. In this article we consider such history quantum theories in the case…

We present a general theory of quantum information processing devices, that can be applied to human decision makers, to atomic multimode registers, or to molecular high-spin registers. Our quantum decision theory is a generalization of the…

We introduce quantum history states and their mathematical framework, thereby reinterpreting and extending the consistent histories approach to quantum theory. Through thought experiments, we demonstrate that our formalism allows us to…

The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of…

These lecture notes cover the important developments in histories approach to quantum mechanics with overall content and emphasis somewhat different from other reviews and books on the subject.The idea of Houtappel, Van Dam and Wigner of…

Based on a clear ontology of material individuals, we analyze in detail the factual semantics of quantum theory, and argue that the basic mathematical formalism of quantum theory is just okay with (a certain form of ) realism and that it is…

In this letter I stress the role of causal reversibility (time-symmetry), together with causality and locality, in the justification of the quantum formalism. Firstly, in the algebraic quantum formalism, I show that the assumption of…

This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum…

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would…

In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations…

We show how quantum mechanics can be understood as a space-time theory provided that its spatial continuum is modelled by a variable real number (qrumber) continuum. Such a continuum can be constructed using only standard Hilbert space…

The agenda of quantum algorithmic information theory, ordered `top-down,' is the quantum halting amplitude, followed by the quantum algorithmic information content, which in turn requires the theory of quantum computation. The fundamental…

We use classes of Hilbert lattice equations for an alternative representation of Hilbert lattices and Hilbert spaces of arbitrary quantum systems that might enable a direct introduction of the states of the systems into quantum computers.…

Basic concepts of quantum theory of information, principles of quantum calculations and the possibility of creation on this basis unique on calculation power and functioning principle device, named quantum computer, are briefly reviewed.…

When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information. It presents Quantum Logic as…

Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…

We present a formulation of the decoherent (or consistent) histories quantum theory of closed systems starting with records of what histories happen. Alternative routes to a formulation of quantum theory like this one can be useful both for…

We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…

Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not…

It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in…