We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate compact structure. (...) We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropie quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of 'conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category. (shrink)

Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...

In addition to being uncertain about what the world is like, one can also be uncertain about one’s own spatial or temporal location in the world. My aim is to pose a problem arising from the interaction between these two sorts of uncertainty, solve the problem, and draw two lessons from the solution.

The strange story of the von Neumann impossibility proof is recalled, and the even stranger story of later impossibility proofs, and how the impossible was done by de Broglie and Bohm. Morals are drawn.

It is argued that, although in the Many-Worlds Interpretation of quantum mechanics there is no ``probability'' for an outcome of a quantum experiment in the usual sense, we can understand why we have an illusion of probability. The explanation involves: a). A ``sleeping pill'' gedanken experiment which makes correspondence between an illegitimate question: ``What is the probability of an outcome of a quantum measurement?'' with a legitimate question: ``What is the probability that ``I'' am in the world corresponding to that (...) outcome?''; b). A gedanken experiment which splits the world into several worlds which are identical according to some symmetry condition; and c). Relativistic causality, which together with explain the Born rule of standard quantum mechanics. The Quantum Sleeping Beauty controversy and ``caring measure'' replacing probability measure are discussed. (shrink)

A major disagreement between different views about the foundations of quantum mechanics concerns whether for a theory to be intelligible as a fundamental physical theory it must involve a ‘primitive ontology’ (PO), i.e. variables describing the distribution of matter in four-dimensional space–time. In this article, we illustrate the value of having a PO. We do so by focusing on the role that the PO plays for extracting predictions from a given theory and discuss valid and invalid derivations of predictions. To (...) this end, we investigate a number of examples based on toy models built from the elements of familiar interpretations of quantum theory. (shrink)

In the area of the foundations of quantum mechanics a true industry appears to have developed in the last decades, with the aim of proving as many results as possible concerning what there cannot be in the quantum realm. In principle, the significance of proving ‘no-go’ results should consist in clarifying the fundamental structure of the theory, by pointing out a class of basic constraints that the theory itself is supposed to satisfy. In the present paper I will discuss some (...) more recent no-go claims and I will argue against the deep significance of these results, with a two-fold strategy. First, I will consider three results concerning respectively local realism, quantum covariance and predictive power in quantum mechanics, and I will try to show how controversial the main conditions of the negative theorem turn out to be—something that strongly undermines the general relevance of these theorems. Second, I will try to discuss what I take to be a common feature of these theoretical enterprises, namely that of aiming at establishing negative results for quantum mechanics in absence of a deeper understanding of the overall ontological content and structure of the theory. I will argue that the only way toward such an understanding may be to cast in advance the problems in a clear and well-defined interpretational framework—which in my view means primarily to specify the ontology that quantum theory is supposed to be about—and after to wonder whether problems that seemed worth pursuing still are so in the framework. (shrink)

An analysis is made of Deutsch's recent claim to have derived the Born rule from decision-theoretic assumptions. It is argued that Deutsch's proof must be understood in the explicit context of the Everett interpretation, and that in this context, it essentially succeeds. Some comments are made about the criticism of Deutsch's proof by Barnum, Caves, Finkelstein, Fuchs, and Schack; it is argued that the flaw which they point out in the proof does not apply if the Everett interpretation is assumed.

How does it come about then, that great scientists such as Einstein, Schrödinger and De Broglie are nevertheless dissatisfied with the situation? Of course, all these objections are levelled not against the correctness of the formulae, but against their interpretation. [...] The lesson to be learned from what I have told of the origin of quantum mechanics is that probable refinements of mathematical methods will not suffice to produce a satisfactory theory, but that somewhere in our doctrine is hidden a (...) concept, unjustified by experience, which we must eliminate to open up the road. (Born [ 1954 ], pp. 8, 11) It is truly surprising how little difference all this makes. Most physicists use quantum mechanics every day in their working lives without needing to worry about the fundamental problem of its interpretation. (Weinberg [ 1992 ], p. 66) I endorse the view that it may be of no relevance to the acceptability of the Everett interpretation of quantum mechanics as a physical theory whether or not an informed observer can be uncertain about the outcome of a quantum measurement prior to its having occurred. However, I suggest that the very possibility of post-measurement, pre-observation uncertainty has an essential role to play in both confirmation theory and decision theory in a branching universe. This is supported by arguments which do not appeal to van Fraassen’s Reflection Principle. (shrink)

Next SectionAn attempt to resolve the controversy regarding the solution of the Sleeping Beauty Problem in the framework of the Many-Worlds Interpretation led to a new controversy regarding the Quantum Sleeping Beauty Problem. We apply the concept of a measure of existence of a world and reach the solution known as ‘thirder’ solution which differs from Peter Lewis’s ‘halfer’ assertion. We argue that this method provides a simple and powerful tool for analysing rational decision theory problems.

With reference to recently proposed theoretical models accounting for reduction in terms of a unified dynamics governing all physical processes, we analyze the problem of working out a worldview accommodating our knowledge about natural phenomena. We stress the relevant conceptual differences between the considered models and standard quantum mechanics. In spite of the fact that both theories describe systems within a genuine Hilbert space framework, the peculiar features of the spontaneous reduction models limit drastically the states which are dynamically stable. (...) This fact by itself allows one to work out an interpretation of the formalism which makes it possible to give a satisfactory description of the world in terms of the values taken by an appropriately defined mass density function in ordinary configuration space. A topology based on this function and which is radically different from the one characterizing the Hilbert space is introduced, and in terms of it the idea of similarity of macroscopic situations is precisely defined. Finally, the formalism and the interpretation are shown to yield a natural criterion for establishing the psychophysical parallelism. The conclusion is that, within the considered theories and at the nonrelativistic level, one can satisfy all sensible requirements for a completely satisfactory macro-objective description of reality. (shrink)

A novel manifestation of nonlocality of quantum mechanics is presented. It is shown that it is possible to ascertain the existence of an object in a given region of space without interacting with it. The method might have practical applications for delicate quantum experiments.

An attempt to solve the collapse problem in the framework of a time-symmetric quantum formalism is reviewed. Although the proposal does not look very attractive, its concept - a world defined by two quantum states, one evolving forwards and one evolving backwards in time - is found to be useful in modifying the many-worlds picture of Everett’s theory.

We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theory of probability. The theory, like its classical counterpart, consists of an algebra of events, and the probability measures defined on it. The construction proceeds in the following steps: (a) Axioms for the algebra of events are introduced following Birkhoff and von Neumann. All axioms, except the one that expresses the uncertainty principle, are shared with the classical event space. The only models for (...) the set of axioms are lattices of subspaces of inner product spaces over a field K. (b) Another axiom due to Soler forces K to be the field of real, or complex numbers, or the quaternions. We suggest a probabilistic reading of Soler's axiom. (c) Gleason's theorem fully characterizes the probability measures on the algebra of events, so that Born's rule is derived. (d) Gleason's theorem is equivalent to the existence of a certain finite set of rays, with a particular orthogonality graph (Wondergraph). Consequently, all aspects of quantum probability can be derived from rational probability assignments to finite "quantum gambles". (e) All experimental aspects of entanglement- the violation of Bell's inequality in particular- are explained as natural outcomes of the probabilistic structure. (f) We hypothesize that even in the absence of decoherence macroscopic entanglement can very rarely be observed, and provide a precise conjecture to that effect .We also discuss the relation of the present approach to quantum logic, realism and truth, and the measurement problem. (shrink)

We present a toy theory that is based on a simple principle: the number of questions about the physical state of a system that are answered must always be equal to the number that are unanswered in a state of maximal knowledge. Many quantum phenomena are found to have analogues within this toy theory. These include the noncommutativity of measurements, interference, the multiplicity of convex decompositions of a mixed state, the impossibility of discriminating nonorthogonal states, the impossibility of a universal (...) state inverter, the distinction between bipartite and tripartite entanglement, the monogamy of pure entanglement, no cloning, no broadcasting, remote steering, teleportation, entanglement swapping, dense coding, mutually unbiased bases, and many others. The diversity and quality of these analogies is taken as evidence for the view that quantum states are states of incomplete knowledge rather than states of reality. A consideration of the phenomena that the toy theory fails to reproduce, notably, violations of Bell inequalities and the existence of a Kochen-Specker theorem, provides clues for how to proceed with this research program. (shrink)