We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can (...) be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

The paper investigates the epistemic conception of quantum states---the view that quantum states are not descriptions of quantum systems but rather reflect the assigning agents' epistemic relations to the systems. This idea, which can be found already in the works of Copenhagen adherents Heisenberg and Peierls, has received increasing attention in recent years because it promises an understanding of quantum theory in which neither the measurement problem nor a conflict between quantum non-locality and relativity theory arises. Here it is argued (...) that the main challenge for proponents of this idea is to make sense of the notion of a state assignment being performed correctly without thereby acknowledging the notion of a true state of a quantum system---a state it is in. An account based on the epistemic conception of states is proposed that fulfills this requirement by interpreting the rules governing state assignment as constitutive rules in the sense of John Searle. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

One obstacle faced by proposals of retrocausal influences in quantum mechanics is the perceived high conceptual cost of making such a proposal. I assemble here a metaphysical picture consistent with the possibility of retrocausality and not precluded by the known physical structure of our reality. This picture employs two relatively well-established positions—the block universe model of time and the interventionist account of causation—and requires the dismantling of our ordinary asymmetric causal intuition and our ordinary intuition about epistemic access to the (...) past. The picture is then built upon an existing model of agent deliberation that permits us to strike a harmony between our causal intuitions and the fixity of the block universe view. I conclude that given the right mix of these reasonable metaphysical and epistemological ingredients there is no conceptual cost to such a retrocausal picture of quantum mechanics. (shrink)

A number of writers have been attracted to the idea that some of the peculiarities of quantum theory might be manifestations of 'backward' or 'retro' causality, underlying the quantum description. This idea has been explored in the literature in two main ways: firstly in a variety of explicit models of quantum systems, and secondly at a conceptual level. This note introduces a third approach, intended to complement the other two. It describes a simple toy model, which, under a natural interpretation, (...) shows how retrocausality can emerge from simple global constraints. The model is also useful in permitting a clear distinction between the kind of retrocausality likely to be of interest in QM, and a different kind of reverse causality, with which it is liable to be confused. The model is proposed in the hope that future elaborations might throw light on the potential of retrocausality to account for quantum phenomena. (shrink)

Combining physics, mathematics and computer science, quantum computing and its sister discipline of quantum information have developed in the past few decades from visionary ideas to two of the most fascinating areas of quantum theory. General interest and excitement in quantum computing was initially triggered by Peter Shor (1994) who showed how a quantum algorithm could exponentially “speed-up” classical computation and factor large numbers into primes far more efficiently than any (known) classical algorithm. Shor’s algorithm was soon followed by several (...) other algorithms that aimed to solve combinatorial and algebraic problems, and in the years since theoretical study of quantum systems serving as computational devices has achieved tremendous progress. Common belief has it that the implementation of Shor’s algorithm on a large scale quantum computer would have devastating consequences for current cryptography protocols which rely on the premise that all known classical worst-case algorithms for factoring take time exponential in the length of their input (see, e.g., Preskill 2005). Consequently, experimentalists around the world are engaged in attempts to tackle the technological difficulties that prevent the realisation of a large scale quantum computer. But regardless whether these technological problems can be overcome (Unruh 1995; Ekert and Jozsa 1996; Haroche and Raimond 1996), it is noteworthy that no proof exists yet for the general superiority of quantum computers over their classical counterparts. -/- The philosophical interest in quantum computing is manifold. From a social-historical perspective, quantum computing is a domain where experimentalists find themselves ahead of their fellow theorists. Indeed, quantum mysteries such as entanglement and nonlocality were historically considered a philosophical quibble, until physicists discovered that these mysteries might be harnessed to devise new efficient algorithms. But while the technology for harnessing the power of 50–100 qubits (the basic unit of information in the quantum computer) is now within reach (Preskill 2018), only a handful of quantum algorithms exist, and the question of whether these can truly outperform any conceivable classical alternative is still open. From a more philosophical perspective, advances in quantum computing may yield foundational benefits. For example, it may turn out that the technological capabilities that allow us to isolate quantum systems by shielding them from the effects of decoherence for a period of time long enough to manipulate them will also allow us to make progress in some fundamental problems in the foundations of quantum theory itself. Indeed, the development and the implementation of efficient quantum algorithms may help us understand better the border between classical and quantum physics (Cuffaro 2017, 2018a; cf. Pitowsky 1994, 100), and perhaps even illuminate fundamental concepts such as measurement and causality. Finally, the idea that abstract mathematical concepts such as computability and complexity may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities—the so-called “computational kinds”. As such it is also relevant to the long-standing philosophical debate on the relationship between mathematics and the physical world. (shrink)

What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.

In recent years, much research has been devoted to exploring contextuality in systems that are not strictly quantum, like classical light, and many theory-independent frameworks for contextuality analysis have been developed. It has raised the debate on the meaning of contextuality outside the quantum realm, and also on whether—and, if so, when—it can be regarded as a signature of non-classicality. In this paper, we try to contribute to this debate by showing a very simple “thought experiment” or “toy mechanism” where (...) a classical object (i.e., an object obeying the laws of classical physics) is used to generate experimental data violating the KCBS inequality. As with most thought experiments, the idea is to simplify the discussion and to shed light on issues that in real experiments, or from a purely theoretical perspective, may be cumbersome. We give special attention to the distinction between classical realism and classicality, and to the contrast between contextuality within and beyond quantum theory. (shrink)

Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed with unit probability count as knowledge, we demonstrate that constructivism cannot be upheld. Our derivation is compatible with both intuitionistic and quantum propositional logic. This result is implied by (...) the Frauchiger-Renner theorem, though it is of independent importance as well. (shrink)

Quantum theory determines the evolution of quantum states between quantum jumps. Quantum theory also allows us to calculate rates of quantum jumps and, on a probabilistic level, the outcomes of those quantum jumps. Both quantum jumps and the continuous evolution of quantum states are important in the time evolution of quantum systems, and the scattering matrix ties those seemingly disparate concepts together. Indeed, quantum jumps are so essential in quantum dynamics that we should refocus discussion of a quantum ontology on (...) the power and principal limitations of our knowledge about quantum jumps as encoded in the scattering matrix. On the one hand, one might argue that the lack of a dynamical resolution of quantum jumps indicates an inherent incompleteness of the theory. However, we would rather submit that quantum theory is complete and that the observations indicate a principal limitation to the description of the universe as a smoothly evolving dynamical system. The modern understanding of quantum jumps therefore calls for updates to the Copenhagen interpretation instead of modifications of quantum theory. (shrink)

Bell’s theorem is often said to imply that quantum mechanics violates local causality, and that local causality cannot be restored with a hidden-variables theory. This however is only correct if the hidden-variables theory fulfils an assumption called Statistical Independence. Violations of Statistical Independence are commonly interpreted as correlations between the measurement settings and the hidden variables. Such correlations have been discarded as “fine-tuning” or a “conspiracy”. We here point out that the common interpretation is at best physically ambiguous and at (...) worst incorrect. The problem with the common interpretation is that Statistical Independence might be violated because of a non-trivial measure in state space, a possibility we propose to call “supermeasured”. We use Invariant Set Theory as an example of a supermeasured theory that violates the Statistical Independence assumption in Bell’s theorem without requiring correlations between hidden variables and measurement settings. (shrink)

This book presents a collection of novel contributions and reviews by renowned researchers in the foundations of quantum physics, quantum optics, and neutron physics. It is published in honor of Michael Horne, whose exceptionally clear and groundbreaking work in the foundations of quantum mechanics and interferometry, both of photons and of neutrons, has provided penetrating insight into the implications of modern physics for our understanding of the physical world. He is perhaps best known for the Clauser-Horne-Shimony-Holt (CHSH) inequality. This collection (...) includes an oral history of Michael Horne's contributions to the foundations of physics and his connections to other eminent figures in the history of the subject, among them Clifford Shull and Abner Shimony. Among the editors and contributors are John Clauser and Anton Zeilinger, recipients of the Nobel Prize in Physics 2022. (shrink)

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

I assess various proposals for the source of the intuition that there is something problematic about contextuality, ultimately concluding that contextuality is best thought of in terms of fine-tuning. I then argue that as with other fine-tuning problems in quantum mechanics, this behaviour can be understood as a manifestation of teleological features of physics. Finally I discuss several formal mathematical frameworks that have been used to analyse contextuality and consider how their results should be interpreted by scientific realists. In the (...) course of this discussion I obtain several new mathematical results—I demonstrate that preparation contextuality is a form of fine-tuning, I show that measurement contextuality can be explained by appeal to a global constraint forbidding closed causal loops, and I demonstrate how negative probabilities can arise from a classical ontological model together with an epistemic restriction. (shrink)

We argue that there is a simple, unique, reason for all quantum paradoxes, and that such a reason is not uniquely related to quantum theory. It is rather a mathematical question that arises at the intersection of logic, probability, and computation. We give our ‘weirdness theorem’ that characterises the conditions under which the weirdness will show up. It shows that whenever logic has bounds due to the algorithmic nature of its tasks, then weirdness arises in the special form of negative (...) probabilities or non-classical evaluation functionals. Weirdness is not logical inconsistency, however. It is only the expression of the clash between an unbounded and a bounded view of computation in logic. We discuss the implication of these results for quantum mechanics, arguing in particular that its interpretation should ultimately be computational rather than exclusively physical. We develop in addition a probabilistic theory in the real numbers that exhibits the phenomenon of entanglement, thus concretely showing that the latter is not specific to quantum mechanics. (shrink)

In this paper I present a new perspective for interpreting the wavefunction as a non-material, non-epistemic, non-representational entity. I endorse a functional view according to which the wavefunction is defined by its roles in the theory. I argue that this approach shares some similarities with the nomological account of the wave function as well as with the pragmatist and epistemic approaches to quantum theory, while avoiding the major objections of these alternatives.

QBism is an agent-centered interpretation of quantum theory. It rejects the notion that quantum theory provides a God’s eye description of reality and claims instead that it imposes constraints on agents’ subjective degrees of belief. QBism’s emphasis on subjective belief has led critics to dismiss it as antirealism or instrumentalism, or even, idealism or solipsism. The aim of this paper is to consider the relation of QBism to scientific realism. I argue that while QBism is an unhappy fit with a (...) standard way of thinking about scientific realism, an alternative conception I call “perspectival normative realism” may allow for a reconciliation. (shrink)

There is a longstanding debate on the metaphysical relation between quantum states and the systems they describe. A series of relatively recent ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-ontology theorems have been taken to show that, provided one accepts certain assumptions, “quantum states are real”. In this paper I investigate the question of what that claim might be taken to mean in light of these theorems. It is argued that, even if one accepts the framework and assumptions (...) employed by such theorems, such a conclusion is not warranted. Specifically, I argue that when a so-called ontic state is taken to describe the properties of a system, the relation between this state and some quantum state as established by ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-ontology theorems, is not of the kind that would warrant counting the quantum state among these properties in any way. (shrink)

Quantum mechanics, and classical mechanics, are framework theories that incorporate many different concrete theories which in general cannot be arranged in a neat hierarchy, but discussion of ‘the ontology of quantum mechanics’ tends to proceed as if quantum mechanics were a single concrete theory, specifically the physics of nonrelativistically moving point particles interacting by long-range forces. I survey the problems this causes and make some suggestions for how a more physically realistic perspective ought to influence the metaphysics of quantum mechanics.

This article aims to contribute to the ongoing task of clarifying the relationships between reality, probability, and nonlocality in quantum physics. It is in part stimulated by Khrennikov’s argument, in several communications, for “eliminating the issue of quantum nonlocality” from the analysis of quantum entanglement. I argue, however, that the question may not be that of eliminating but instead that of further illuminating this issue, a task that can be pursued by relating quantum nonlocality to other key features of quantum (...) phenomena. I suggest that the following features of quantum phenomena and quantum mechanics, distinguishing them from classical phenomena and classical physics— the irreducible role of measuring instruments in defining quantum phenomena, discreteness, complementarity, entanglement, quantum nonlocality, and the irreducibly probabilistic nature of quantum predictions—are all interconnected, so that it is difficult to give an unconditional priority to any one of them. To argue this case, I shall consider quantum phenomena and quantum mechanics from a nonrealist or, in terms adopted here, “reality-without-realism” perspective. This perspective extends Bohr’s view, grounded in his analysis of the irreducible role of measuring instruments in the constitution of quantum phenomena. (shrink)

What does quantum physics tell us about the nature of reality, specifically the parts of reality we do not directly perceive called hidden variables? One may think it could tell us a lot because of our enhanced technological sensing abilities that delve into the realms that quantum physics covers so well. Surprisingly, it seems to surround us in a deeper mystery rather than reveal more of nature's secrets. It seems that we cannot escape from philosophical consideration when dealing with what (...) is hidden in quantum physics. In Part I we will look at how Epistemology and Ontology bear upon Hidden Variables. In Part II we will consider Hidden Variables in the light of Contextuality, and Non-Classicality. Inevitably questions of subjectivity and objectivity arise in dealing with states of observation. How should we think about these states? Perhaps it is a question of the meaning associated with our knowledge of a state-that is, a question of ontology or epistemology. The issue of ontic and epistemic states is particularly important when considering hidden variables in quantum physics because, as one may argue, the interpretation of quantum states as either ontic or epistemic will naturally lead to different assumptions about how reality is constructed; if it is constructed or not. It also raises the question of what attributes we are able to observe simultaneously and that brings contextuality into the discussion. If it turns out that reality is constructed contextually what does that imply about ontological realism? If on the other hand reality is constructed non-contextually what does that imply about ontological realism? Many implications can arise when considering these questions from a quantum physical point of view. In this paper I shall discuss how quantum physics provides some answers to these questions by considering quantum physical states and their measurements. (shrink)

Quantum theory plays an increasingly significant role in contemporary early-universe cosmology, most notably in the inflationary origins of the fluctuation spectrum of the microwave background radiation. I consider the two main strategies for interpreting standard quantum mechanics in the light of cosmology. I argue that the conceptual difficulties of the approaches based around an irreducible role for measurement - already very severe - become intolerable in a cosmological context, whereas the approach based around Everett's original idea of treating quantum systems (...) as closed systems handles cosmological quantum theory satisfactorily. Contemporary cosmology, which indeed applies standard quantum theory without supplementation or modification, is thus committed - tacitly or explictly - to the Everett interpretation. (shrink)

Within ordinary ---unitary--- quantum mechanics there exist global protocols that allow to verify that no definite event ---an outcome to which a probability can be associated--- occurs. Instead, states that start in a coherent superposition over possible outcomes always remain as a superposition. We show that, when taking into account fundamental errors in measuring length and time intervals, that have been put forward as a consequence of a conjunction of quantum mechanical and general relativity arguments, there are instances in which (...) such global protocols no longer allow to distinguish whether the state is in a superposition or not. All predictions become identical as if one of the outcomes occurs, with probability determined by the state. We use this as a criteria to define events, as put forward in the Montevideo Interpretation of Quantum Mechanics. We analyze in detail the occurrence of events in the paradigmatic case of a particle in a superposition of two different locations. We argue that our approach provides a consistent single-world picture of the universe, thus allowing an economical way out of the limitations imposed by a recent theorem by Frauchiger and Renner showing that having a self-consistent single-world description of the universe is incompatible with quantum theory. In fact, the main observation of this paper may be stated as follows: If quantum mechanics is extended to include gravitational effects to a QG theory, then QG, S, and C are satisfied. (shrink)

In-principle restrictions on the amount of information that can be gathered about a system have been proposed as a foundational principle in several recent reconstructions of the formalism of quantum mechanics. However, it seems unclear precisely why one should be thus restricted. We investigate the notion of paradoxical self-reference as a possible origin of such epistemic horizons by means of a fixed-point theorem in Cartesian closed categories due to Lawvere that illuminates and unifies the different perspectives on self-reference.

Energy is a crucial concept within classical and quantum physics. An essential tool to quantify energy is the Hamiltonian. Here, we consider how to define a Hamiltonian in general probabilistic theories—a framework in which quantum theory is a special case. We list desiderata which the definition should meet. For 3-dimensional systems, we provide a fully-defined recipe which satisfies these desiderata. We discuss the higher dimensional case where some freedom of choice is left remaining. We apply the definition to example toy (...) theories, and discuss how the quantum notion of time evolution as a phase between energy eigenstates generalises to other theories. (shrink)

Epistemic theories of objective chance hold that chances are idealised epistemic probabilities of some sort. After giving a brief history of this approach to objective chance, I argue for a particular version of this view, that the chance of an event E is its epistemic probability, given maximal knowledge of the possible causes of E. The main argument for this view is the demonstration that it entails all of the commonly-accepted properties of chance. For example, this analysis entails that chances (...) supervene on the physical facts, that the chance function is an expert probability, that the existence of stable frequencies results from invariant chances in repeated experiments, and that chances are probably close to long-run relative frequencies in repeated experiments. Despite these virtues, epistemic approaches to chance have been neglected in recent decades, on account of their conflict with accepted views about closely related topics such as causation, laws of nature, and epistemic probability. However, existing views on these topics are also very problematic, and I believe that the epistemic view of chance is a key piece of this puzzle that, once in place, allows all the other pieces to fit together into a new and coherent way. I also respond to some criticisms of the epistemic theory that I favour. (shrink)

The principle of 'information causality' can be used to derive an upper bound---known as the 'Tsirelson bound'---on the strength of quantum mechanical correlations, and has been conjectured to be a foundational principle of nature. In this paper, however, I argue that the principle has not to date been sufficiently motivated to play this role; the motivations that have so far been given are either unsatisfactorily vague or else amount to little more than an appeal to intuition. I then consider how (...) one might begin to successfully motivate the principle. I argue that a compelling way of so doing is to understand it as a generalisation of Einstein's principle of the mutually independent existence---the 'being-thus'---of spatially distant things, interpreted as a special methodological principle. More specifically: I describe an argument, due to Demopoulos, to the effect that the quantum-mechanical no-signalling condition can be viewed as a generalisation, appropriate to an irreducibly statistical theory such as quantum mechanics, of the Einsteinian principle. And I then argue that a compelling way to motivate information causality is to in turn consider it as a further generalisation of the Einsteinian principle that is appropriate to a theory of communication. I nevertheless describe important obstacles that must yet be overcome if the project of establishing information causality as a foundational principle of nature is to succeed. (shrink)

We discuss generalized pobabilistic models for which states not necessarily obey Kolmogorov's axioms of probability. We study the relationship between properties and probabilistic measures in this setting, and explore some possible interpretations of these measures.

The meaning of the wave function has been a hot topic of debate since the early days of quantum mechanics. Recent years have witnessed a growing interest in this long-standing question. Is the wave function ontic, directly representing a state of reality, or epistemic, merely representing a state of knowledge, or something else? If the wave function is not ontic, then what, if any, is the underlying state of reality? If the wave function is indeed ontic, then exactly what physical (...) state does it represent? In this book, I aim to make sense of the wave function in quantum mechanics and find the ontological content of the theory. The book can be divided into three parts. The first part addresses the question of the nature of the wave function. After giving a comprehensive and critical review of the competing views of the wave function, I present a new argument for the ontic view in terms of protective measurements. In addition, I also analyze the origin of the wave function by deriving the free Schroedinger equation. The second part analyzes the ontological meaning of the wave function. I propose a new ontological interpretation of the wave function in terms of random discontinuous motion of particles, and give two main arguments supporting this interpretation. The third part investigates whether the suggested quantum ontology is complete in accounting for our definite experience and whether it needs to be revised in the relativistic domain. (shrink)

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent composition. Sorkin has (...) defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation. (shrink)

In his recent book Bananaworld. Quantum mechanics for primates, Jeff Bub revives and provides a mature version of his influential information-theoretic interpretation of Quantum Theory (QT). In this paper, I test Bub’s conjecture that QT should be interpreted as a theory about information, by examining whether his information-theoretic interpretation has the resources to explain (or explain away) quantum conundrums. The discussion of Bub’s theses will also serve to investigate, more in general, whether other approaches succeed in defending the claim that (...) QT is about quantum information. First of all, I argue that Bub’s interpretation of QT as a principle theory fails to fully explain quantum non-locality. Secondly, I argue that a constructive interpretation, where the quantum state is interpreted ontically as information, also fails at providing a full explanation of quantum correlations. Finally, while epistemic interpretations might succeed in this respect, I argue that such a success comes at the price of rejecting some in between the most basic scientific standards of physical theories. (shrink)

There are quantum solutions for computational problems that make use of interference at some stage in the algorithm. These stages can be mapped into the physical setting of a single particle travelling through a many-armed interferometer. There has been recent foundational interest in theories beyond quantum theory. Here, we present a generalized formulation of computation in the context of a many-armed interferometer, and explore how theories can differ from quantum theory and still perform distributed calculations in this set-up. We shall (...) see that quaternionic quantum theory proves a suitable candidate, whereas box-world does not. We also find that a classical hidden variable model first presented by Spekkens : 32100, 2007) can also be used for this type of computation due to the epistemic restriction placed on the hidden variable. (shrink)

Quantum mechanics, and classical mechanics, are framework theories that incorporate many different concrete theories which in general cannot be arranged in a neat hierarchy, but discussion of ‘the ontology of quantum mechanics’ tends to proceed as if quantum mechanics were a single concrete theory, specifically the physics of nonrelativistically moving point particles interacting by long-range forces. I survey the problems this causes and make some suggestions for how a more physically realistic perspective ought to influence the metaphysics of quantum mechanics.

Quantum bit commitment is insecure in the standard non-relativistic quantum cryptographic framework, essentially because Alice can exploit quantum steering to defer making her commitment. Two assumptions in this framework are that: Alice knows the ensembles of evidence E corresponding to either commitment; and system E is quantum rather than classical. Here, we show how relaxing assumption or can render her malicious steering operation indeterminable or inexistent, respectively. Finally, we present a secure protocol that relaxes both assumptions in a quantum teleportation (...) setting. Without appeal to an ontological framework, we argue that the protocol’s security entails the reality of the quantum state, provided retrocausality is excluded. (shrink)

By assuming a deterministic evolution of quantum systems and taking realism into account, we carefully build a hidden variable theory for Quantum Mechanics based on the notion of ontological states proposed by ’t Hooft. We view these ontological states as the ones embedded with realism and compare them to the quantum states that represent superpositions, viewing the latter as mere information of the system they describe. Such a deterministic model puts forward conditions for the applicability of Bell’s inequality: the usual (...) inequality cannot be applied to the usual experiments. We build a Bell-like inequality that can be applied to the EPR scenario and show that this inequality is always satisfied by QM. In this way we show that QM can indeed have a local interpretation, and thus meet with the causal structure imposed by the Theory of Special Relativity in a satisfying way. (shrink)

Monism is roughly the view that there is only one fundamental entity. One of the most powerful argument in its favor comes from quantum mechanics. Extant discussions of quantum monism are framed independently of any interpretation of the quantum theory. In contrast, this paper argues that matters of interpretation play a crucial role when assessing the viability of monism in the quantum realm. I consider four different interpretations: modal interpretations, Bohmian mechanics, many worlds interpretations, and wavefunction realism. In particular, I (...) extensively argue for the following claim: several interpretations of QM do not support monism at a more serious scrutiny, or do so only with further problematic assumptions, or even support different versions of it. (shrink)

Computational complexity theory is a branch of computer science dedicated to classifying computational problems in terms of their difficulty. While computability theory tells us what we can compute in principle, complexity theory informs us regarding our practical limits. In this chapter I argue that the science of \emph{quantum computing} illuminates complexity theory by emphasising that its fundamental concepts are not model-independent, but that this does not, as some suggest, force us to radically revise the foundations of the theory. For model-independence (...) never has been essential to those foundations. The fundamental aim of complexity theory is to describe what is achievable in practice under various models of computation for our various practical purposes. Reflecting on quantum computing illuminates complexity theory by reminding us of this, too often under-emphasised, fact. (shrink)

The paper discusses objections against non-hidden variable versions of the epistemic conception of quantum states—the view that quantum states do not describe the properties of quantum systems but reflect, in some way to be specified, the epistemic conditions of agents assigning them. In the first half of the paper, the main motivation for the epistemic conception of quantum states is sketched, and a version of it is outlined, which combines ideas from an earlier study of it with elements of Richard (...) Healey's recent pragmatist interpretation of quantum theory. In the second half, various objections against epistemic accounts of quantum states are discussed in detail, which are based on criticisms found in the literature. Possible answers by the version outlined here are compared with answers from the quantum Bayesian point of view, which is at present the most discussed version of the epistemic conception of quantum states. (shrink)

Quantum interference, manifest in the two slit experiment, lies at the heart of several quantum computational speed-ups and provides a striking example of a quantum phenomenon with no classical counterpart. An intriguing feature of quantum interference arises in a variant of the standard two slit experiment, in which there are three, rather than two, slits. The interference pattern in this set-up can be written in terms of the two and one slit patterns obtained by blocking one, or more, of the (...) slits. This is in stark contrast with the standard two slit experiment, where the interference pattern cannot be written as a sum of the one slit patterns. This was first noted by Rafael Sorkin, who raised the question of why quantum theory only exhibits irreducible interference in the two slit experiment. One approach to this problem is to compare the predictions of quantum theory to those of operationally-defined ‘foil’ theories, in the hope of determining whether theories that do exhibit higher-order interference suffer from pathological—or at least undesirable—features. In this paper two proposed extensions of quantum theory are considered: the theory of Density Cubes proposed by Dakić, Paterek and Brukner, which has been shown to exhibit irreducible interference in the three slit set-up, and the Quartic Quantum Theory of Życzkowski. The theory of Density Cubes will be shown to provide an advantage over quantum theory in a certain computational task and to posses a well-defined mechanism which leads to the emergence of quantum theory—analogous to the emergence of classical physics from quantum theory via decoherence. Despite this, the axioms used to define Density Cubes will be shown to be insufficient to uniquely characterise the theory. In comparison, Quartic Quantum Theory is a well-defined theory and we demonstrate that it exhibits irreducible interference to all orders. This feature of Życzkowski’s theory is argued not to be a genuine phenomenon, but to arise from an ambiguity in the current definition of higher-order interference in operationally-defined theories. Thus, to begin to understand why quantum theory is limited to a certain kind of interference, a new definition of higher-order interference is needed that is applicable to, and makes good operational sense in, arbitrary operationally-defined theories. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

Decompositional equivalence is the principle that there is no preferred decomposition of the universe into subsystems. It is shown here, by using a simple thought experiment, that quantum theory follows from decompositional equivalence together with Landauer’s principle. This demonstration raises within physics a question previously left to psychology: how do human—or any—observers identify or agree about what constitutes a “system of interest”?

What is called ``orthodox'' quantum mechanics, as presented in standard foundational discussions, relies on two substantive assumptions --- the projection postulate and the eigenvalue-eigenvector link --- that do not in fact play any part in practical applications of quantum mechanics. I argue for this conclusion on a number of grounds, but primarily on the grounds that the projection postulate fails correctly to account for repeated, continuous and unsharp measurements and that the eigenvalue-eigenvector link implies that virtually all interesting properties are (...) maximally indefinite pretty much always. I present an alternative way of conceptualising quantum mechanics that does a better job of representing quantum mechanics as it is actually used, and in particular that eliminates use of either the projection postulate or the eigenvalue-eigenvector link, and I reformulate the measurement problem within this new presentation of orthodoxy. (shrink)

Quantum mechanics notoriously faces the measurement problem, the problem that if read thoroughly, it implies the nonexistence of definite outcomes in measurement procedures. A plausible reaction to this and to related problems is to regard a system's quantum state |ψ> merely as an indication of our lack of knowledge about the system, i.e., to interpret it epistemically. However, there are radically different ways to spell out such an epistemic view of the quantum state. We here investigate recent developments in the (...) branch that introduces hidden variables λ in addition to the quantum state |ψ> and has its roots in Einstein's views. In particular, we confront purported achievements of a concrete model that has been considered to serve as evidence for an epistemic view of the envisioned kind, as well as specific no-go results and their import. It will be argued that while an epistemic account of the particular kind is not straightforwardly ruled out by the no-go results, they demonstrate that the evidential character of the model(s) discussed rests on a rather shaky foundation, and that they make some achievements widely recognized in the literature appear worthy of doubt. (shrink)

It is argued that standard quantum theory without collapse provides a satisfactory explanation of everything we experience in this and in numerous parallel worlds. The only fundamental ontology is the universal wave function evolving in a deterministic way without action at a distance.

This article summarizes the Quantum Bayesian point of view of quantum mechanics, with special emphasis on the view's outer edges---dubbed QBism. QBism has its roots in personalist Bayesian probability theory, is crucially dependent upon the tools of quantum information theory, and most recently, has set out to investigate whether the physical world might be of a type sketched by some false-started philosophies of 100 years ago (pragmatism, pluralism, nonreductionism, and meliorism). Beyond conceptual issues, work at Perimeter Institute is focused on (...) the hard technical problem of finding a good representation of quantum mechanics purely in terms of probabilities, without amplitudes or Hilbert-space operators. The best candidate representation involves a mysterious entity called a symmetric informationally complete quantum measurement. Contemplation of it gives a way of thinking of the Born Rule as an addition to the rules of probability theory, applicable when an agent considers gambling on the consequences of his interactions with a newly recognized universal capacity: dimension (formerly Hilbert-space dimension). (The word "capacity" should conjure up an image of something like gravitational mass---a body's mass measures its capacity to attract other bodies. With hindsight one can say that the founders of quantum mechanics discovered another universal capacity, "dimension.") The article ends by showing that the egocentric elements in QBism represent no impediment to pursuing quantum cosmology and outlining some directions for future work. (shrink)