The Heisenberg Relation - Mathematical Formulations

We study some of the possibilities for formulating the Heisenberg relation of quantum mechanics in mathematical terms. In particular, we examine the framework discussed by Murray and von Neumann, the family (algebra) of operators affiliated with a finite factor (of infinite linear dimension)

Passive States for Essential Observers

The aim of this note is to present a unified approach to the results given in \cite{bb99} and \cite{bs04} which also covers examples of models not presented in these two papers (e.g. $d$-dimensional Minkowski space-time for $d\geq 3$). Assuming that a state is passive for an observer travelling along certain (essential) worldlines, we show that this state is invariant under the isometry group, is a KMS-state for the observer at a temperature uniquely determined by the structure constants of the Lie algebra involved and fulfills (a variant of) the Reeh-Schlieder property. Also the modular objects associated to such a state and the observable algebra of an observer are computed and a version of weak locality is examined.Comment: 27 page

A separability criterion for density operators

We give a necessary and sufficient condition for a mixed quantum mechanical state to be separable. The criterion is formulated as a boundedness condition in terms of the greatest cross norm on the tensor product of trace class operators.Comment: REVTeX, 5 page

A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory

This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper, we study in depth the topos representation of the propositional language, PL(S), for the case of quantum theory. In doing so, we make a direct link with, and clarify, the earlier work on applying topos theory to quantum physics. The key step is a process we term `daseinisation' by which a projection operator is mapped to a sub-object of the spectral presheaf--the topos quantum analogue of a classical state space. In the second part of the paper we change gear with the introduction of the more sophisticated local language L(S). From this point forward, throughout the rest of the series of papers, our attention will be devoted almost entirely to this language. In the present paper, we use L(S) to study `truth objects' in the topos. These are objects in the topos that play the role of states: a necessary development as the spectral presheaf has no global elements, and hence there are no microstates in the sense of classical physics. Truth objects therefore play a crucial role in our formalism.Comment: 34 pages, no figure

On supremum of bounded quantum observable

In this paper, we present a new necessary and sufficient condition for which the supremum exists with respect to the logic order. Moreover, we give out a new and much simpler representation of the supremum with respect to the order, our results have nice physical meanings

The Uniqueness Problem of Sequence Product on Operator Effect Algebra ε(H)\varepsilon (H)

A quantum effect is an operator on a complex Hilbert space $H$ that satisfies $0\leq A\leq I$. We denote the set of all quantum effects by ${\cal E}(H)$. In this paper we prove, Theorem 4.3, on the theory of sequential product on ${\cal E}(H)$ which shows, in fact, that there are sequential products on ${\cal E}(H)$ which are not of the generalized L\"{u}ders form. This result answers a Gudder's open problem negatively

Thermal Quantum Fields without Cut-offs in 1+1 Space-time Dimensions

We construct interacting quantum fields in 1+1 dimensional Minkowski space, representing neutral scalar bosons at positive temperature. Our work is based on prior work by Klein and Landau and Hoegh-KrohnComment: 48 page