Foundations of Physics

Xie, Yongjian; Yang, Aili; Ren, Fang

doi: 10.1007/s10701-013-9731-7pmid: N/A

In this paper, the properties of the super quantum measures are studied. Firstly, the products of Dirac measures are discussed; Secondly, based on the properties of Dirac measures, the structures of super quantum measures are characterized; At last, we prove that any super quantum measure can determine a unique diagonally positive strongly symmetric signed measure. This result verifies the conjecture which was proposed by Gudder.

Donadi, Sandro; Bassi, Angelo; Ferialdi, Luca; Curceanu, Catalina

doi: 10.1007/s10701-013-9732-6pmid: N/A

We compute the effect of collapse models on neutrino oscillations. The effect of the collapse is to modify the evolution of the spatial part of the wave function and we will show that this indirectly amounts to a change on the flavor components. For the analysis we use the mass proportional CSL model, and perform the calculation to second order perturbation theory. As we will show, the CSL effect is very small—mainly due to the very small mass of neutrinos—and practically undetectable.

Zafiris, Elias; Karakostas, Vassilios

doi: 10.1007/s10701-013-9733-5pmid: N/A

The overwhelming majority of the attempts in exploring the problems related to quantum logical structures and their interpretation have been based on an underlying set-theoretic syntactic language. We propose a transition in the involved syntactic language to tackle these problems from the set-theoretic to the category-theoretic mode, together with a study of the consequent semantic transition in the logical interpretation of quantum event structures. In the present work, this is realized by representing categorically the global structure of a quantum algebra of events (or propositions) in terms of sheaves of local Boolean frames forming Boolean localization functors. The category of sheaves is a topos providing the possibility of applying the powerful logical classification methodology of topos theory with reference to the quantum world. In particular, we show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes the appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. Effectively, this scheme induces a revised realist account of truth in the quantum domain of discourse. We also include an Appendix, where we compare our topos-theoretic representation scheme of quantum event algebras with other categorial and topos-theoretic approaches.

Egg, Matthias

doi: 10.1007/s10701-013-9734-4pmid: N/A

Delayed-choice experiments in quantum mechanics are often taken to undermine a realistic interpretation of the quantum state. More specifically, Healey has recently argued that the phenomenon of delayed-choice entanglement swapping is incompatible with the view that entanglement is a physical relation between quantum systems. This paper argues against these claims. It first reviews two paradigmatic delayed-choice experiments and analyzes their metaphysical implications. It then applies the results of this analysis to the case of entanglement swapping, showing that such experiments pose no threat to realism about entanglement.

Dvurečenskij, Anatolij; Janda, Jiří

doi: 10.1007/s10701-013-9736-2pmid: N/A

We study positive bilinear forms on a Hilbert space which are not necessarily bounded nor induced by some positive operator. We show when different families of bilinear forms can be described as a generalized effect algebra. In addition, we present families which are or are not monotone downwards (Dedekind upwards) σ-complete generalized effect algebras.

Weatherall, James

doi: 10.1007/s10701-013-9737-1pmid: N/A

I present what might seem to be a local, deterministic model of the EPR-Bohm experiment, inspired by recent work by Joy Christian, that appears at first blush to be in tension with Bell-type theorems. I argue that the model ultimately fails to do what a hidden variable theory needs to do, but that it is interesting nonetheless because the way it fails helps clarify the scope and generality of Bell-type theorems. I formulate and prove a minor proposition that makes explicit how Bell-type theorems rule out models of the sort I describe here.