Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework. These points of view are usually taken to be somewhat in tension with one another. The first has generated a vast literature aiming at a “realistic” and “collapse-free” interpretation of quantum mechanics that will account for its statistical predictions. The second has generated an at least equally (...) large literature aiming to derive, or at any rate motivate, the formal structure of quantum theory in probabilistically intelligible terms. In this paper I explore, in a preliminary way, the possibility that these two programmes have something to offer one another. In particular, I show that a version of the measurement problem occurs in essentially any non-classical probabilistic theory, and ask to what extent various interpretations of quantum mechanics continue to make sense in such a general setting. I make a start on answering this question in the case of a rudimentary version of the Everett interpretation. (shrink)

In quantum foundations, there is growing interest in the program of reconstructing the quantum formalism from clear physical principles. These reconstructions are formulated in an operational framework, deriving the formalism from information-theoretic principles. It has been recognized that this project is in tension with standard _ψ-ontic_ interpretations. This paper presupposes that the quantum reconstruction program (QRP) (i) is a worthwhile project and (ii) puts pressure on _ψ-ontic_ interpretations. Where does this leave us? Prima facie, it seems that _ψ-epistemic_ interpretations perfectly (...) fit the spirit of information-based reconstructions. However, _ψ-epistemic_ interpretations, understood as saying that the wave functions represents one’s _knowledge_ about a physical system, recently have been challenged on technical and conceptual grounds. More importantly, for some researchers working on reconstructions, the lesson of successful reconstructions is that the wave function does _not_ represent objective facts about the world. Since knowledge is a factive concept, this speaks against epistemic interpretations. In this paper, I discuss whether _ψ-doxastic_ interpretations constitute a reasonable alternative. My thesis is that if we want to engage QRP with _ψ-doxastic_ interpretations, then we should aim at a reconstruction that is spelled out in non-factive experiential terms. (shrink)

We present an information-theoretic interpretation of quantum formalism based on a Bayesian framework and devoid of any extra axiom or principle. Quantum information is construed as a technique for analyzing a logical system subject to classical constraints, based on a question-and-answer procedure. The problem is posed from a particular batch of queries while the constraints are represented by the truth table of a set of Boolean functions. The Bayesian inference technique consists in assigning a probability distribution within a real-valued probability (...) space to the joint set of queries in order to satisfy the constraints. The initial query batch is not unique and alternative batches can be considered at will. They are enabled mechanically from the initial batch, quite simply by transcribing the probability space into an auxiliary Hilbert space. It turns out that this sole procedure leads to exactly rediscover the standard quantum information theory and thus provides an information-theoretic rationale to its technical rules. In this framework, the great challenges of quantum mechanics become simple platitudes: Why is the theory probabilistic? Why is the theory linear? Where does the Hilbert space come from? In addition, most of the paradoxes, such as uncertainty principle, entanglement, contextuality, nonsignaling correlation, measurement problem, etc., become straightforward features. In the end, our major conclusion is that quantum information is nothing but classical information processed by a mature form of Bayesian inference technique and, as such, consubstantial with Aristotelian logic. (shrink)

Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of infinite sequences of QM outcomes. Recently it has been shown that QM is algorithmic 1-random in the sense of Martin–Löf. We extend this result and demonstrate that QM is algorithmic $$\omega$$ -random and generic, precisely as described by the ’miniaturisation’ of the Solovay forcing to arithmetic. This is extended further to the result that QM becomes Zermelo–Fraenkel Solovay random on (...) infinite-dimensional Hilbert spaces. Moreover, it is more likely that there exists a standard transitive ZFC model M, where QM is expressed in reality, than in the universe V of sets. Then every generic quantum measurement adds to M the infinite sequence, i.e. random real $$r\in 2^{\omega }$$, and the model undergoes random forcing extensions M[r]. The entire process of forcing becomes the structural ingredient of QM and parallels similar constructions applied to spacetime in the quantum limit, therefore showing the structural resemblance of both in this limit. We discuss several questions regarding measurability and possible practical applications of the extended Solovay randomness of QM. The method applied is the formalization based on models of ZFC; however, this is particularly well-suited technique to recognising randomness questions of QM. When one works in a constant model of ZFC or in axiomatic ZFC itself, the issues considered here remain hidden to a great extent. (shrink)

This is an extended essay review of Tanya and Jeffrey Bub’s Totally Random: Why Nobody Understands Quantum Mechanics: A serious comic on entanglement. We review the philosophical aspects of the book, provide suggestions for instructors on how to use the book in a class setting, and evaluate the authors’ artistic choices in the context of comics theory. Although Totally Random does not defend any particular interpretation of quantum mechanics, we find that, in its mode of presentation, Totally Random is a (...) beautiful expression and illustration of the information-theoretic interpretation and its value. (shrink)

We use Bub's (2016) correlation arrays and Pitowksy's (1989b) correlation polytopes to analyze an experimental setup due to Mermin (1981) for measurements on the singlet state of a pair of spin-12 particles. The class of correlations allowed by quantum mechanics in this setup is represented by an elliptope inscribed in a non-signaling cube. The class of correlations allowed by local hidden-variable theories is represented by a tetrahedron inscribed in this elliptope. We extend this analysis to pairs of particles of arbitrary (...) spin. The class of correlations allowed by quantum mechanics is still represented by the elliptope; the subclass of those allowed by local hidden-variable theories by polyhedra with increasing numbers of vertices and facets that get closer and closer to the elliptope. We use these results to advocate for an interpretation of quantum mechanics like Bub's. Probabilities and expectation values are primary in this interpretation. They are determined by inner products of vectors in Hilbert space. Such vectors do not themselves represent what is real in the quantum world. They encode families of probability distributions over values of different sets of observables. As in classical theory, these values ultimately represent what is real in the quantum world. Hilbert space puts constraints on possible combinations of such values, just as Minkowski space-time puts constraints on possible spatio-temporal constellations of events. Illustrating how generic such constraints are, the equation for the elliptope derived in this paper is a general constraint on correlation coefficients that can be found in older literature on statistics and probability theory. Yule (1896) already stated the constraint. De Finetti (1937) already gave it a geometrical interpretation. (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)

A Bell-type strategy of decision for the long-standing question of the nature of psychophysical correlations has been previously presented in a recent article published in Mind and Matter. This strategy of decision is here applied to experimental data on psychophysiological correlations, namely, correlations between cardiovascular and emotional variables that have been reported in several independent publications. This statistical analysis shows that a substantial majority of these correlations cannot be interpreted as an exchange of signals or a mere “interaction”, whatever its (...) form, but that these correlations could a priori be explained classically, as the result of a common preparation during the evolution process. A discussion on the scope and the limitations of this result will then be provided. In particular, alternative explanations of the psychophysical correlations that do not appeal to a notion of signalling will be discussed. (shrink)

The use of probability theory is widespread in our daily life as well as in scientific theories. In virtually all cases, calculations can be carried out within the framework of classical probability theory. A special exception is given by quantum mechanics, which gives rise to a new probability theory: quantum probability theory. This dissertation deals with the question of how this formalism can be understood from a philosophical and physical perspective. The dissertation is divided into three parts. In the first (...) part, the formalism of quantum probability theory and its relation to quantum mechanics is presented. The second part considers the possibility of reformulating quantum probability theory to embed it within classical probability. Mathematically, this possibility overlaps with the possibility of the existence of hidden variables theories of quantum mechanics: theories that attempt to solve fundamental problems in quantum mechanics by introducing additional physical properties of systems. The conclusion of this part is that, although classical reformulations of quantum probability theory are formally possible, they offer little insight into the formalism of quantum probability theory itself. The third part regards a more direct investigation of quantum probability theory. A reformulation of quantum probability theory is obtained by constructing a quantum logic on the basis of empirical non-probabilistic predictions of quantum mechanics. In this reformulation quantum probability functions are conditional probability functions on an algebra of propositions about measurements and measurement outcomes. (shrink)

Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a (...) family of binary codes describing ‘bipartite systems,’ we find strong evidence of an upper bound on bipartite correlations equal to 2.82537. This is measurably different from the Tsirelson bound. The Hilbert space formalism emerges from this mathematical investigation as an effective description of a fundamental discrete theory in the critical regime. (shrink)

We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.

The book is devoted to the contemporary stage of quantum mechanics – quantum information, and especially to its philosophical interpretation and comprehension: the first one of a series monographs about the philosophy of quantum information. The second will consider Be l l ’ s inequalities, their modified variants and similar to them relations. The beginning of quantum information was in the thirties of the last century. Its speed development has started over the last two decades. The main phenomenon is entanglement. (...) The subareas are quantum computer, quantum communication (and teleportation), and quantum cryptography. The book offers the following main conceptions, theses and hypotheses: – dualistic Phythagoreanism as a new kind among the interpretations of quantum mechanics and information: arithmetical, logical, and metamathematical one; – Gödel ’ s first incompleteness theorem is an undecidable proposition, and consequently the second one,too. – a partial rehabilitation of Hilbert ’ s program for the self-foundation of mathematics; – the dual-foundation of mathematics; – Skolemian relativity between: Cantor ’s kinds of infinity, finiteness and infinity, discreteness and continuity, completeness and incompleteness, etc.; – information is a physical quantity representing the non-reducibility of a system to its parts, particularly nonaddtivity; – there exist pure relations «by itself», which cannot be reduced to predications; – energy conservation can and should be generalized; – Einstein’ s «general covariance» or «principle of relativity» can and should be generalized to cover discrete morphisms where the notion of velocity does not make sense. (shrink)

If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...) call blackbox models, drives home the unsurprising effectiveness of mathematics. I illustrate it on the examples of Einstein’s principle theories, the S-matrix approach in quantum field theory, effective field theories, and device-independent approaches in quantum information. (shrink)

Hardy’s nonlocality is a “nonlocality proof without inequalities”: it exemplifies that quantum correlations can be qualitatively stronger than classical correlations. This paper introduces variants of Hardy’s nonlocality in the CHSH scenario which are realized by the PR-box, but not by quantum correlations. Hence this new kind of Hardy-type nonlocality is a proof without inequalities showing that superquantum correlations can be qualitatively stronger than quantum correlations.

The Greenberger–Horne–Zeilinger argument against noncontextual local hidden variables is recast in quantum logical terms of fundamental propositions, states and probabilities. Unlike Kochen–Specker- and Hardy-like configurations, this operator based argument proceeds within four nonintertwining contexts. The nonclassical performance of the GHZ argument is due to the choice or filtering of observables with respect to a particular state. We study the varieties of GHZ games one could play in these four contexts, depending on the chosen state of the GHZ basis.

We have a conundrum. The physical basis of information is clearly a highly active research area. Yet the power of information theory comes precisely from separating it from the detailed problems of building physical systems to perform information processing tasks. Developments in quantum information over the last two decades seem to have undermined this separation, leading to suggestions that information is itself a physical entity and must be part of our physical theories, with resource-cost implications. We will consider a variety (...) of ways in which physics seems to a affect computation, but will ultimately argue to the contrary: rejecting the claims that information is physical provides a better basis for understanding the fertile relationship between information theory and physics. instead, we will argue that the physical resource costs of information processing are to be understood through the need to consider physically embodied agents for whom information processing tasks are performed. Doing so sheds light on what it takes for something to be implementing a computational or information processing task of a given kind. (shrink)

Jeff Bub has developed an information-theoretic interpretation of quantum mechanics on the basis of the programme to reaxiomatise the theory in terms of information-theoretic principles. According to the most recent version of the interpretation, reaxiomatisation can dissolve some of the demands for explanation traditionally associated with the task of providing an interpretation for the theory. The key idea is that the real lesson we should take away from quantum mechanics is that the ‘structure of in- formation’ is not what we (...) thought it was. In particular a feature of the new structure is intrinsic randomness of measurement, which allegedly dissolves a significant part of the measurement problem. I argue that it is difficult to find an appropriate argument to support the claim that measurement is intrinsically random in the relevant sense. (shrink)

In any theory satisfying the no-signaling principle correlations generated among spatially separated parties in a Bell-type experiment are subject to certain constraints known as monogamy relations. Recently, in the context of the black hole information loss problem it was suggested that these monogamy relations might be violated. This in turn implies that correlations arising in such a scenario must violate the no-signaling principle and hence can be used to send classical information between parties. Here, we study the amount of information (...) that can be sent using such correlations. To this aim, we first provide a framework associating them with classical channels whose capacities are then used to quantify the usefulness of these correlations in sending information. Finally, we determine the minimal amount of information that can be sent using signaling correlations violating the monogamy relation associated to the chained Bell inequalities. (shrink)

We introduce a two-party communication complexity problem in which the probability of success by using a particular strategy allows the parties to detect with certainty whether or not some forbidden communication has taken place. We show that theprobability of success is bounded by nature; any conceivable method which gives a probability of success outside these bounds is impossible. Moreover, any conceivable method to solve the problem which gives a probability success within these bounds is possible in nature. This example suggests (...) that a suitaby chosen set of communication complexity problems could be the basis of an information-theoretic axiomatization of quantum mechanics. (shrink)

Parallel lives is an ontological model of nature in which quantum mechanics and special relativity are unified in a single universe with a single space-time. Point-like objects called lives are the only fundamental objects in this space-time, and they propagate at or below c, and interact with one another only locally at point-like events in space-time, very much like classical point particles. Lives are not alive in any sense, nor do they possess consciousness or any agency to make decisions—they are (...) simply point objects which encode memory at events in space-time. The only causes and effects in the universe occur when lives meet locally, and thus the causal structure of interaction events in space-time is Lorentz invariant. Each life traces a continuous world-line through space-time, and experiences its own relative world, fully defined by the outcomes of past events along its world-line, which are encoded in its external memory. A quantum field comprises a continuum of lives throughout space-time, and familiar physical systems like particles each comprise a sub-continuum of the lives of the field. Each life carries a hidden internal memory containing a local relative wavefunction, which is a local piece of a pure universal wavefunction, but it is the relative wavefunctions in the local memories throughout space-time which are physically real in PL, and not the universal wavefunction in configuration space. Furthermore, while the universal wavefunction tracks the average behavior of the lives of a system, it fails to track their individual dynamics and trajectories. There is always a preferred separable basis, and for an irreducible physical system, each orthogonal term in this basis is a different relative world—each containing some fraction of the lives of the system. The relative wavefunctions in the lives’ internal memories govern which lives of different systems can meet during future local interactions, and thereby enforce entanglement correlations—including Bell inequality violations. These, and many other details, are explored here, but several aspects of this framework are not yet fleshed out, and work is ongoing. (shrink)

It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply classical concepts and introduce probabilities in a manner inconsistent with the Hilbert space structure of standard quantum mechanics. Instead, Einstein locality is a valid quantum principle: objective properties of individual quantum systems do not change when something is done to another noninteracting system. There is (...) no reason to suspect any conflict between quantum theory and special relativity. (shrink)

The 1964 theorem of John Bell shows that no model that reproduces the predictions of quantum mechanics can simultaneously satisfy the assumptions of locality and determinism. On the other hand, the assumptions of signal locality plus predictability are also sufficient to derive Bell inequalities. This simple theorem, previously noted but published only relatively recently by Masanes, Acin and Gisin, has fundamental implications not entirely appreciated. Firstly, nothing can be concluded about the ontological assumptions of locality or determinism independently of each (...) other—it is possible to reproduce quantum mechanics with deterministic models that violate locality as well as indeterministic models that satisfy locality. On the other hand, the operational assumption of signal locality is an empirically testable (and well-tested) consequence of relativity. Thus Bell inequality violations imply that we can trust that some events are fundamentally unpredictable, even if we cannot trust that they are indeterministic. This result grounds the quantum-mechanical prohibition of arbitrarily accurate predictions on the assumption of no superluminal signalling, regardless of any postulates of quantum mechanics. It also sheds a new light on an early stage of the historical debate between Einstein and Bohr. (shrink)

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension as (...) in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (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)

ABSTRACT The problem of quantum nonlocality references instantaneous entanglements happening between particles at great distances, putting under question physical assumptions about time and local effects. Despite a wide range of proposed solutions in physics, the problem persists; however, due to the recent interest in panconsciousness and panpsychism in philosophy as well as numerous suggestions that consciousness and quantum physics are intimately related, I argue in favor of thinking strange quantum effects—and nonlocality as case in point—in lieu of conscious activity happening (...) at a universal scale. Drawing on the mind-brain problem or “the hard problem” as an intellectual resource and particularly pertinent metaphor in the case helps to illuminate the argument; briefly stated, I argue that a conscious universe eliminates the necessity of thinking distance as a problem needing to be resolved to comprehend disparate physical observations. In other words, I offer a speculative vision for quantum nonlocality and ultimately aim to encourage scholars to more carefully consider what it is like to be In, Of, and About a brain when thinking about the universe. (shrink)

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)

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the ‘no (...) signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories. (shrink)

Signal causality, the prohibition of superluminal information transmission, is the fundamental property shared by quantum measurement theory and relativity, and it is the key to understanding the connection between nonlocal measurement effects and elementary interactions. To prevent those effects from transmitting information between the generating and observing process, they must be induced by the kinds of entangling interactions that constitute measurements, as implied in the Projection Postulate. They must also be nondeterministic as reflected in the Born Probability Rule. The nondeterminism (...) of entanglement-generating processes explains why the relevant types of information cannot be instantiated in elementary systems, and why the sequencing of nonlocal effects is, in principle, unobservable. This perspective suggests a simple hypothesis about nonlocal transfers of amplitude during entangling interactions, which yields straightforward experimental consequences. (shrink)

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

A paradigmatic shift in the foundations of quantum mechanics is recorded, from interpreting to reconstructing quantum theory. Examples of reconstruction are analyzed, and conceptual foundations of the information-theoretic reconstruction developed. A concept of intentionally incomplete reconstruction is introduced to mark the novel content of research in the foundation of quantum theory. ‡Many thanks to Lucien Hardy, Jeff Bub and Bill Demopoulos for their comments. This research was supported through the ANR grant ANR-06-BLAN-0348-01. Part of this research was held at the (...) Perimeter Institute for Theoretical Physics. Research at Perimeter Institute for Theoretical Physics is supported in part by the Government of Canada through NSERC and by the Province of Ontario through MRI. †To contact the author, please write to: CEA-Saclay, 91191 Gif-sur-Yvette, France; e-mail: [email protected]. (shrink)

Starting from logical structures of classical and quantum mechanics we reconstruct the logic of so-called no-signaling theories, where the correlations among subsystems of a composite system are restricted only by a simplest form of causality forbidding an instantaneous communication. Although such theories are, as it seems, irrelevant for the description of physical reality, they are helpful in understanding the relevance of quantum mechanics. The logical structure of each theory has an epistemological flavor, as it is based on analysis of possible (...) results of experiments. In this note we emphasize that not only logical structures of classical, quantum and no-signaling theory may be treated on the same ground but it is also possible to give to all of them a common ontological basis by constructing a “phase space” in all cases. In non-classical cases the phase space is not a set, as in classical theory, but a more general object obtained by means of category theory, but conceptually it plays the same role as the phase space in classical physics. (shrink)

The black hole information problem provides important clues for trying to piece together a quantum theory of gravity. Discussions on this topic have generally assumed that in a consistent theory of gravity and quantum mechanics, quantum theory is unmodified. In this review, we discuss the black hole information problem in the context of generalisations of quantum theory. In this preliminary exploration, we examine black holes in the setting of generalised probabilistic theories, in which quantum theory and classical probability theory are (...) special cases. We are able to calculate the time it takes information to escape a black hole, assuming that information is preserved. In quantum mechanics, information should escape pure state black holes after half the Hawking photons have been emitted, but we find that this get’s modified in generalisations of quantum mechanics. Likewise the black-hole mirror result of Hayden and Preskill, that information from entangled black holes can escape quickly, also get’s modified. We find that although information exits the black hole as predicted by quantum theory, it is fairly generic that it fails to appear outside the black hole at this point—something impossible in quantum theory due to the no-hiding theorem. The information is neither inside the black hole, nor outside it, but is delocalised. (shrink)

After an elementary derivation of Bell's inequality, classical, quantum mechanical, and stronger-than-quantum correlation functions for 2-particle-systems are discussed. Special functions are investigated which give rise to an extreme violation of Bell's inequality by the value of 4. Referring to a specific quantum system it is shown that under certain conditions such an extreme violation would contradict basic laws of physics.

An interesting link between two very different physical aspects of quantum mechanics is revealed; these are the absence of third-order interference and Tsirelson’s bound for the nonlocal correlations. Considering multiple-slit experiments—not only the traditional configuration with two slits, but also configurations with three and more slits—Sorkin detected that third-order (and higher-order) interference is not possible in quantum mechanics. The EPR experiments show that quantum mechanics involves nonlocal correlations which are demonstrated in a violation of the Bell or CHSH inequality, but (...) are still limited by a bound discovered by Tsirelson. It now turns out that Tsirelson’s bound holds in a broad class of probabilistic theories provided that they rule out third-order interference. A major characteristic of this class is the existence of a reasonable calculus of conditional probability or, phrased more physically, of a reasonable model for the quantum measurement process. (shrink)

We review an argument that bipartite "PR-box" correlations, though designed to respect relativistic causality, in fact violate relativistic causality in the classical limit. As a test of this argument, we consider Greenberger-Horne-Zeilinger (GHZ) correlations as a tripartite version of PR-box correlations, and ask whether the argument extends to GHZ correlations. If it does-i.e., if it shows that GHZ correlations violate relativistic causality in the classical limit-then the argument must be incorrect (since GHZ correlations do respect relativistic causality in the classical (...) limit.) However, we find that the argument does not extend to GHZ correlations. We also show that both PR-box correlations and GHZ correlations can be retrocausal, but the retrocausality of PR-box correlations leads to self-contradictory causal loops, while the retrocausality of GHZ correlations does not. (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)

Hardy’s non-locality paradox is a proof without inequalities showing that certain non-local correlations violate local realism. It is ‘possibilistic’ in the sense that one only distinguishes between possible outcomes (positive probability) and impossible outcomes (zero probability). Here we show that Hardy’s paradox is quite universal: in any (2,2,l) or (2,k,2) Bell scenario, the occurrence of Hardy’s paradox is a necessary and sufficient condition for possibilistic non-locality. In particular, it subsumes all ladder paradoxes. This universality of Hardy’s paradox is not true (...) more generally: we find a new ‘proof without inequalities’ in the (2,3,3) scenario that can witness non-locality even for correlations that do not display the Hardy paradox. We discuss the ramifications of our results for the computational complexity of recognising possibilistic non-locality. (shrink)

This paper aims to implement Bell’s notion of local causality into a framework, called local physical theory, which is general enough to integrate both probabilistic and spatiotemporal concepts and also classical and quantum theories. Bell’s original idea of local causality will then arise as the classical case of our definition. First, we investigate what is needed for a local physical theory to be locally causal. Then we compare local causality with Reichenbach’s common cause principle and relate both to the Bell (...) inequalities. We find a nice parallelism: both local causality and the common cause principle are more general notions than captured by the Bell inequalities. Namely, Bell inequalities cannot be derived neither from local causality nor from a common cause unless the local physical theory is classical or the common cause is commuting, respectively. (shrink)

We present a formal theory of contextuality for a set of random variables grouped into different subsets corresponding to different, mutually incompatible conditions. Within each context the random variables are jointly distributed, but across different contexts they are stochastically unrelated. The theory of contextuality is based on the analysis of the extent to which some of these random variables can be viewed as preserving their identity across different contexts when one considers all possible joint distributions imposed on the entire set (...) of the random variables. We illustrate the theory on three systems of traditional interest in quantum physics. These are systems of the Klyachko–Can–Binicioglu–Shumovsky-type, Einstein–Podolsky–Rosen–Bell-type, and Suppes–Zanotti–Leggett–Garg-type. Listed in this order, each of them is formally a special case of the previous one. For each of them we derive necessary and sufficient conditions for contextuality while allowing for experimental errors and contextual biases or signaling. Based on the same principles that underly these derivations we also propose a measure for the degree of contextuality and compute it for the three systems in question. (shrink)

When attempting to assess the strengths and weaknesses of various principles in their potential role of guiding the formulation of a theory of quantum gravity, it is crucial to distinguish between principles which are strongly supported by empirical data – either directly or indirectly – and principles which instead rely heavily on theoretical arguments for their justification. Principles in the latter category are not necessarily invalid, but their a priori foundational significance should be regarded with due caution. These remarks are (...) illustrated in terms of the current standard models of cosmology and particle physics, as well as their respective underlying theories, i.e., essentially general relativity and quantum theory. For instance, it is clear that both standard models are severely constrained by symmetry principles: an effective homogeneity and isotropy of the known universe on the largest scales in the case of cosmology and an underlying exact gauge symmetry of nuclear and electromagnetic interactions in the case of particle physics. However, in sharp contrast to the cosmological situation, where the relevant symmetry structure is more or less established directly on observational grounds, all known, nontrivial arguments for the “gauge principle” are purely theoretical. Similar remarks apply to the larger theoretical structures represented by general relativity and quantum theory, where – actual or potential – empirical principles, such as the equivalence principle or EPR-type nonlocality, should be clearly differentiated from theoretical ones, such as general covariance or renormalizability. It is argued that if history is to be of any guidance, the best chance to obtain the key structural features of a putative quantum gravity theory is by deducing them, in some form, from the appropriate empirical principles. Theoretical principles may still be useful however in formulating a concrete theory. It is subsequently argued that the appropriate empirical principles for deducing the key structural features of quantum gravity should at least include quantum nonlocality, irreducible indeterminacy, relativistic causality), the thermodynamic arrow of time, homogeneity and isotropy of the observable universe on the largest scales. In each case, it is explained – when appropriate – how the principle in question could be implemented mathematically in a theory of quantum gravity, why it is considered to be of fundamental significance and also why contemporary accounts of it are insufficient. For instance, the high degree of uniformity observed in the Cosmic Microwave Background is usually regarded as theoretically problematic because of the existence of particle horizons, whereas the currently popular attempts to resolve this situation in terms of inflationary models are, for a number of reasons, less than satisfactory. However, rather than trying to account for the required empirical features dynamically, an arguably much more fruitful approach consists in attempting to account for these features directly, in the form of a lawlike initial condition within a theory of quantum gravity. (shrink)

We present a general theory of series-parallel mental architectures with selectively influenced stochastically non-independent components. A mental architecture is a hypothetical network of processes aimed at performing a task, of which we only observe the overall time it takes under variable parameters of the task. It is usually assumed that the network contains several processes selectively influenced by different experimental factors, and then the question is asked as to how these processes are arranged within the network, e.g., whether they are (...) concurrent or sequential. One way of doing this is to consider the distribution functions for the overall processing time and compute certain linear combinations thereof (interaction contrasts). The theory of selective influences in psychology can be viewed as a special application of the interdisciplinary theory of (non)contextuality having its origins and main applications in quantum theory. In particular, lack of contextuality is equivalent to the existence of a “hidden” random entity of which all the random variables in play are functions. Consequently, for any given value of this common random entity, the processing times and their compositions (minima, maxima, or sums) become deterministic quantities. These quantities, in turn, can be treated as random variables with (shifted) Heaviside distribution functions, for which one can easily compute various linear combinations across different treatments, including interaction contrasts. This mathematical fact leads to a simple method, more general than the previously used ones, to investigate and characterize the interaction contrast for different types of series-parallel architectures. (shrink)