Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0801.2073

Time translation of quantum properties

Leonardo Vanni, Roberto Laura

Published Jan 14, 2008• 0 citations
arXivHTMLPDF

Abstract

Based on the notion of time translation, we develop a formalism to deal with the logic of quantum properties at different times. In our formalism it is possible to enlarge the usual notion of context to include composed properties involving properties at different times. We compare our results with the theory of consistent histories.
DOI
10.48550/arxiv.0801.2073

Related papers

A Consistent Quantum Ontology

Robert B. Griffiths

The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special (single framework) syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is treated as an inherently stochastic process under all circumstances, not just when measurements take place. The time-dependent Schrödinger equation provides probabilities, not a deterministic time development of the world. The resulting interpretive framework has no measurement problem and can be used to analyze in quantum terms what is going on before, after, and during physical preparation and measurement processes. In particular, appropriate measurements can reveal quantum properties possessed by the measured system before the measurement took place. There are no mysterious superluminal influences: quantum systems satisfy an appropriate form of Einstein locality. This ontology provides a satisfactory foundation for quantum information theory, since it supplies definite answers as to what the information is about. The formalism of classical (Shannon) information theory applies without change in suitable quantum contexts, and this suggests the way in which quantum information theory extends beyond its classical counterpart.

arXiv:1105.3932•May 19, 2011•18 citations

Consistent Quantum Reasoning

Robert B. Griffiths

Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system involves a {\it framework}, often chosen implicitly, and a {\it statement} or assertion about the system which is either true or false within the framework with which it is associated. Quantum descriptions are no less ``objective'' than their classical counterparts, but differ from the latter in the following respects: (i) The framework employs a Hilbert space rather than a classical phase space. (ii) The rules for constructing meaningful statements require that the associated projectors commute with each other and, in the case of time-dependent quantum histories, that consistency conditions be satisfied. (iii) There are incompatible frameworks which cannot be combined, either in constructing descriptions or in making logical inferences about them, even though any one of these frameworks may be used separately for describing a particular physical system. A new type of ``generalized history'' is introduced which extends previous proposals by Omnès, and Gell-Mann and Hartle, and a corresponding consistency condition which does not involve density matrices or single out a direction of time. Applications which illustrate the formalism include: measurements of spin, two-slit diffraction, and the emergence of the classical world from a fully quantum description.

arXiv:quant-ph/9505009•May 17, 1995•5 citations

A Topos Formulation of Consistent Histories

Cecilia Flori

Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions.

arXiv:0812.1290•Dec 7, 2008•6 citations

The problem of time, locality and the interpretation of quantum mechanics

Thomas Thiemann

In this chapter we are going to address the famous ‘problem of time’ which has become the headline for all the physical interpretational problems of the mathematical formalism. Roughly speaking the problem of time is that there is none in GR: at least in the spatially compact case without boundaries the Hamiltonian vanishes on the physical, constraint surface. This is physically relevant because we seem to live in a universe with precisely that spatial topology. Since the Hamiltonian generates time translations in any canonical theory we arrive at the conclusion that ‘nothing moves’ in GR, which is in obvious contradiction to experiment. Since there is no time also the usual interpretation of quantum mechanical measurements at given moments of time breaks down. One can fill books about this issue and we will not even try to cover a substantial amount of the existing literature. A superb source of information on these conceptual problems is Carlo Rovelli's book [3]. Rather, what we will do in what follows is to collect various proposals for solutions to the problem of time taken from other authors, especially Rovelli's relational approach to classical and quantum physics and Hartle et al. 's consistent history interpretation, and combine them into a consistent picture. We do not want to suggest that the resulting picture is to be accepted, rather we want to draw attention to the problems involved and to develop a working hypothesis. The discussion on the interpretation of quantum mechanics is very alive and some authors such as Penrose [243] not only propose to alter the interpretational aspect of quantum mechanics but also the mathematical framework.

Cambridge University Press eBooks•Sep 13, 2007•0 citations

Comment on “Consistent Sets Yield Contrary Inferences in Quantum Theory”

Robert B. Griffiths, James B. Hartle

In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can be inferred with probability one, and such that the projectors representing these two propositions are mutually orthogonal. In this note we stress that, according to the rules of consistent history reasoning two such propositions are not contrary in the usual logical sense namely, that one can infer that if one is true then the other is false, and both could be false. No single consistent family contains both propositions, together with the initial and final states, and hence the propositions cannot be logically compared. Consistent histories quantum theory is logically consistent, consistent with experiment as far as is known, consistent with the usual quantum predictions for measurements, and applicable to the most general physical systems. It may not be the only theory with these properties, but in our opinion, it is the most promising among present possibilities.

arXiv:gr-qc/9710025•Physical Review Letters•Aug 31, 1998•51 citations

Projection evolution in quantum mechanics

ANDRZEJ GÓŹDŹ, M. Pietrow, M. DȨBICKI

We propose a model of time evolution of quantum objects which unites the unitary evolution and the measurement procedures. The model allows to treat the time on equal footing with other dynamical variables.

arXiv:quant-ph/0303084•Mar 13, 2003•3 citations
The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special (single framework) syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is treated as an inherently stochastic process under all circumstances, not just when measurements take place. The time-dependent Schrödinger equation provides probabilities, not a deterministic time development of the world. The resulting interpretive framework has no measurement problem and can be used to analyze in quantum terms what is going on before, after, and during physical preparation and measurement processes. In particular, appropriate measurements can reveal quantum properties possessed by the measured system before the measurement took place. There are no mysterious superluminal influences: quantum systems satisfy an appropriate form of Einstein locality. This ontology provides a satisfactory foundation for quantum information theory, since it supplies definite answers as to what the information is about. The formalism of classical (Shannon) information theory applies without change in suitable quantum contexts, and this suggests the way in which quantum information theory extends beyond its classical counterpart.
Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system involves a {\it framework}, often chosen implicitly, and a {\it statement} or assertion about the system which is either true or false within the framework with which it is associated. Quantum descriptions are no less ``objective'' than their classical counterparts, but differ from the latter in the following respects: (i) The framework employs a Hilbert space rather than a classical phase space. (ii) The rules for constructing meaningful statements require that the associated projectors commute with each other and, in the case of time-dependent quantum histories, that consistency conditions be satisfied. (iii) There are incompatible frameworks which cannot be combined, either in constructing descriptions or in making logical inferences about them, even though any one of these frameworks may be used separately for describing a particular physical system. A new type of ``generalized history'' is introduced which extends previous proposals by Omnès, and Gell-Mann and Hartle, and a corresponding consistency condition which does not involve density matrices or single out a direction of time. Applications which illustrate the formalism include: measurements of spin, two-slit diffraction, and the emergence of the classical world from a fully quantum description.
Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions.
In this chapter we are going to address the famous ‘problem of time’ which has become the headline for all the physical interpretational problems of the mathematical formalism. Roughly speaking the problem of time is that there is none in GR: at least in the spatially compact case without boundaries the Hamiltonian vanishes on the physical, constraint surface. This is physically relevant because we seem to live in a universe with precisely that spatial topology. Since the Hamiltonian generates time translations in any canonical theory we arrive at the conclusion that ‘nothing moves’ in GR, which is in obvious contradiction to experiment. Since there is no time also the usual interpretation of quantum mechanical measurements at given moments of time breaks down. One can fill books about this issue and we will not even try to cover a substantial amount of the existing literature. A superb source of information on these conceptual problems is Carlo Rovelli's book [3]. Rather, what we will do in what follows is to collect various proposals for solutions to the problem of time taken from other authors, especially Rovelli's relational approach to classical and quantum physics and Hartle et al. 's consistent history interpretation, and combine them into a consistent picture. We do not want to suggest that the resulting picture is to be accepted, rather we want to draw attention to the problems involved and to develop a working hypothesis. The discussion on the interpretation of quantum mechanics is very alive and some authors such as Penrose [243] not only propose to alter the interpretational aspect of quantum mechanics but also the mathematical framework.
In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can be inferred with probability one, and such that the projectors representing these two propositions are mutually orthogonal. In this note we stress that, according to the rules of consistent history reasoning two such propositions are not contrary in the usual logical sense namely, that one can infer that if one is true then the other is false, and both could be false. No single consistent family contains both propositions, together with the initial and final states, and hence the propositions cannot be logically compared. Consistent histories quantum theory is logically consistent, consistent with experiment as far as is known, consistent with the usual quantum predictions for measurements, and applicable to the most general physical systems. It may not be the only theory with these properties, but in our opinion, it is the most promising among present possibilities.