Do macroscopic properties dictate microscopic probabilities?

Aharonov and Reznik have recently (in quant-ph/0110093) argued that the form of the probabilistic predictions of quantum theory can be seen to follow from properties of macroscopic systems. An error in their argument is identified.Comment: LaTeX, 6 pages, no figure

A hierarchy of compatibility and comeasurability levels in quantum logics with unique conditional probabilities

In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders - von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are: the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic (events) belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.Comment: 12 page

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space \cH, with dim(\cH) \geq 3, define \bS(\cH):= \{x\in \cH \:|\: ||x||=1\}, and let \nu_\cH be the unique regular Borel positive measure invariant under the action of the unitary operators in \cH, with \nu_\cH(\bS(\cH))=1. We prove that if a complex frame function f : \bS(\cH)\to \bC satisfies f \in \cL^2(\bS(\cH), \nu_\cH), then it verifies Gleason's statement: There is a unique linear operator A: \cH \to \cH such that $f(u) =$ for every u \in \bS(\cH). $A$ is Hermitean when $f$ is real. No boundedness requirement is thus assumed on $f$ {\em a priori}.Comment: 9 pages, Accepted for publication in Ann. H. Poincar\'

Derivation of the Rules of Quantum Mechanics from Information-Theoretic Axioms

Conventional quantum mechanics with a complex Hilbert space and the Born Rule is derived from five axioms describing properties of probability distributions for the outcome of measurements. Axioms I,II,III are common to quantum mechanics and hidden variable theories. Axiom IV recognizes a phenomenon, first noted by Turing and von Neumann, in which the increase in entropy resulting from a measurement is reduced by a suitable intermediate measurement. This is shown to be impossible for local hidden variable theories. Axiom IV, together with the first three, almost suffice to deduce the conventional rules but allow some exotic, alternatives such as real or quaternionic quantum mechanics. Axiom V recognizes a property of the distribution of outcomes of random measurements on qubits which holds only in the complex Hilbert space model. It is then shown that the five axioms also imply the conventional rules for all dimensions.Comment: 20 pages, 6 figure

Effects and Propositions

The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub's thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level, at the level of its framework, that the quantum logical tradition has retained its centrality to Bub's thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set of ideas that mark a genuinely new alternative to the framework of quantum logic. These ideas are of considerable interest for the philosophy of quantum mechanics, a claim which I defend with an extended discussion of their application to our understanding of the philosophical significance of the no hidden variable theorem of Kochen and Specker.Comment: Presented to the 2007 conference, New Directions in the Foundations of Physic

Equivariant geometric K-homology for compact Lie group actions

Let G be a compact Lie-group, X a compact G-CW-complex. We define equivariant geometric K-homology groups K^G_*(X), using an obvious equivariant version of the (M,E,f)-picture of Baum-Douglas for K-homology. We define explicit natural transformations to and from equivariant K-homology defined via KK-theory (the "official" equivariant K-homology groups) and show that these are isomorphism.Comment: 25 pages. v2: some mistakes corrected, more detail added, Michael Walter as author added. To appear in Abhandlungen aus dem Mathematischen Seminar der Universit\"at Hambur

Unitarity as preservation of entropy and entanglement in quantum systems

The logical structure of Quantum Mechanics (QM) and its relation to other fundamental principles of Nature has been for decades a subject of intensive research. In particular, the question whether the dynamical axiom of QM can be derived from other principles has been often considered. In this contribution, we show that unitary evolutions arise as a consequences of demanding preservation of entropy in the evolution of a single pure quantum system, and preservation of entanglement in the evolution of composite quantum systems.Comment: To be submitted to the special issue of Foundations of Physics on the occassion of the seventieth birthday of Emilio Santos. v2: 10 pages, no figures, RevTeX4; Corrected and extended version, containing new results on consequences of entanglement preservatio

Decoherence and wave function collapse

The possibility of consistency between the basic quantum principles of quantum mechanics and wave function collapse is reexamined. A specific interpretation of environment is proposed for this aim and applied to decoherence. When the organization of a measuring apparatus is taken into account, this approach leads also to an interpretation of wave function collapse, which would result in principle from the same interactions with environment as decoherence. This proposal is shown consistent with the non-separable character of quantum mechanics

Quantum Experimental Data in Psychology and Economics

We prove a theorem which shows that a collection of experimental data of probabilistic weights related to decisions with respect to situations and their disjunction cannot be modeled within a classical probabilistic weight structure in case the experimental data contain the effect referred to as the 'disjunction effect' in psychology. We identify different experimental situations in psychology, more specifically in concept theory and in decision theory, and in economics (namely situations where Savage's Sure-Thing Principle is violated) where the disjunction effect appears and we point out the common nature of the effect. We analyze how our theorem constitutes a no-go theorem for classical probabilistic weight structures for common experimental data when the disjunction effect is affecting the values of these data. We put forward a simple geometric criterion that reveals the non classicality of the considered probabilistic weights and we illustrate our geometrical criterion by means of experimentally measured membership weights of items with respect to pairs of concepts and their disjunctions. The violation of the classical probabilistic weight structure is very analogous to the violation of the well-known Bell inequalities studied in quantum mechanics. The no-go theorem we prove in the present article with respect to the collection of experimental data we consider has a status analogous to the well known no-go theorems for hidden variable theories in quantum mechanics with respect to experimental data obtained in quantum laboratories. For this reason our analysis puts forward a strong argument in favor of the validity of using a quantum formalism for modeling the considered psychological experimental data as considered in this paper.Comment: 15 pages, 4 figure

Quantum unsharpness and symplectic rigidity

We discuss a link between "hard" symplectic topology and an unsharpness principle for generalized quantum observables (positive operator valued measures). The link is provided by the Berezin-Toeplitz quantization.Comment: 26 pages, more preliminaries added, changes in the expositio