Oliver Rudolph,J.D.M. Wright
Abstract:General history quantum theories are quantum theories without a globally defined notion of time. Decoherence functionals represent the states in the history approach and are defined as certain bivariate complex-valued functionals on the space of all histories. However, in practical situations -- for instance in the history formulation of standard quantum mechanics -- there often is a global time direction and the homogeneous decoherence functionals are specified by their values on the subspace of homogeneous histories.
In this work we study the analytic properties of (i) the standard decoherence functional in the history version of standard quantum mechanics and (ii) homogeneous decoherence functionals in general history theories. We restrict ourselves to the situation where the space of histories is given by the lattice of projections on some Hilbert space H. Among other things we prove the non-existence of a finitely valued extension for the standard decoherence functional to the space of all histories, derive a representation for the standard decoherence functional as an unbounded quadratic form with a natural representation on a Hilbert space and prove the existence of an Isham-Linden-Schreckenberg (ILS) type representation for the standard decoherence functional.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the analytic properties of homogeneous decoherence functionals in the historical formulation of quantum mechanics and their extension problems in standard quantum mechanics and other general historical quantum theories. Specifically, the paper focuses on the following aspects:
1. **Analytic properties of homogeneous decoherence functionals in standard quantum mechanics**:
- Study the analytic properties of the homogeneous decoherence functional \( d_{\text{hom}}^{\rho}(h, k) \) in standard quantum mechanics, especially its extension problem over all history spaces.
- Prove that the standard homogeneous decoherence functional \( d_{\text{hom}}^{\rho} \) cannot be represented as a complex - valued function with a finite value (whether bounded or unbounded) when the single - time Hilbert space \( H_s \) is infinite - dimensional.
- Propose a generalized Isham - Linden - Schreckenberg (ILS) representation method, so that the standard homogeneous decoherence functional can be represented in a generalized form of a bounded operator.
2. **Analytic properties of homogeneous decoherence functionals in general historical quantum theories**:
- Study the analytic properties of homogeneous decoherence functionals in general historical quantum theories, especially when the Hilbert space \( H \) can be written as the tensor product of a finite number of Hilbert spaces.
- Prove that in the finite - dimensional case, each bounded homogeneous decoherence functional can be uniquely extended to a bounded decoherence functional, and there is a corresponding trace - class operator.
- For the infinite - dimensional case, determine which homogeneous decoherence functionals can accept the ILS representation and study the properties of these functionals.
3. **Extension problems of homogeneous decoherence functionals**:
- Explore whether homogeneous decoherence functionals can be unambiguously extended to the space of all histories.
- Prove that in standard quantum mechanics, when the single - time Hilbert space \( H_s \) is infinite - dimensional, the standard homogeneous decoherence functional \( d_{\text{hom}}^{\rho} \) cannot be extended to a decoherence functional with a finite value.
- Propose a generalized decoherence functional \( d_{\rho} \) whose range is extended to the Riemann sphere \( \mathbb{C}\cup\{\infty\} \).
4. **Operator representations**:
- Study the operator representations of homogeneous decoherence functionals, especially in the infinite - dimensional case, and explore the representation methods of bounded decoherence functionals.
- Prove that in the infinite - dimensional case, the completely additive homogeneous decoherence functional can be represented as the trace of a certain trace - class operator.
Through these studies, the paper aims to deeply understand the role of homogeneous decoherence functionals in the historical formulation of quantum mechanics and their properties and extension possibilities under different conditions. This is not only of great significance for the understanding of standard quantum mechanics, but also provides a theoretical basis for more general historical quantum theories.