Arxiv:2012.01441V2 [Quant-Ph] 10 Jun 2021
Total Page:16
File Type:pdf, Size:1020Kb
A no-go theorem on the nature of the gravitational field beyond quantum theory Thomas D. Galleyx,1, ∗ Flaminia Giacominix,1, y and John H. Selbyx2, z 1Perimeter Institute for Theoretical Physics, 31 Caroline St. N, Waterloo, Ontario, N2L 2Y5, Canada 2ICTQT, University of Gda´nsk,Wita Stwosza 63, 80-308 Gda´nsk,Poland Recently, table-top experiments involving massive quantum systems have been proposed to test the interface of quantum theory and gravity. In particular, the crucial point of the de- bate is whether it is possible to conclude anything on the quantum nature of the gravitational field, provided that two quantum systems become entangled due to solely the gravitational interaction. Typically, this question has been addressed by assuming an underlying physical theory to describe the gravitational interaction, but no systematic approach to characterise the set of possible gravitational theories which are compatible with the observation of entan- glement has been proposed. Here, we introduce the framework of Generalised Probabilistic Theories (GPTs) to the study of the nature of the gravitational field. This framework has the advantage that it only relies on the set of operationally accessible states, transforma- tions, and measurements, without presupposing an underlying theory. Hence, it provides a framework to systematically study all theories compatible with the detection of entanglement generated via the gravitational interaction between two non-classical systems. Assuming that such entanglement is observed we prove a no-go theorem stating that the following state- ments are incompatible: i) the two non-classical systems are independent subsystems, ii) the gravitational field is a physical degree of freedom which mediates the interaction and iii) the gravitational field is classical. Moreover we argue that conditions i) and ii) should be met, and hence that the gravitational field is non-classical. Non-classicality does not imply that the gravitational field is quantum, and to illustrate this we provide examples of non-classical and non-quantum theories which are logically consistent with the other conditions. I. INTRODUCTION The fundamental description of spacetime and, in particular, the nature of the gravitational field are among the deepest puzzles that fundamental physics is facing nowadays. The twofold role of the gravitational field |as a dynamical quantity and as the metric of the spacetime| precludes us the use of standard quantisation techniques. In general, no agreement has been reached on whether gravity should admit a quantum description at all: some arguments deem it impossible to find a quantum description of the gravitational field [1, 2], others call for a radically new perspective on its quantisation [3], while the majority of results are in favour of its quantum description [4{9]. arXiv:2012.01441v2 [quant-ph] 10 Jun 2021 The lack of an explanation on the nature of the gravitational field is not a matter of abstract speculation, but poses important challenges for experiments which may soon be within the reach of technology. For instance, there are several open questions which challenge the conclusions which could be drawn from experiments at low-energies, in which massive bodies prepared in a quantum state interact solely via the gravitational field. The nature of the gravitational field associated to a quantum source has been first discussed by Feynman [10, 11]. Since then, many experiments involving massive bodies in superposition have been proposed [12{26]. Recently, the debate around these topics has been revived by two papers [27, 28], in which two masses A and B become entangled solely by the gravitational interaction, ∗ [email protected] y [email protected] z [email protected] x All authors contributed equally to this work. 2 and in particular the Newtonian potential. The critical point of the debate originating from these results [29, 30] is whether any quantum feature of the gravitational field can be deduced from this experiment, provided that entanglement between the masses is measured. One of the crucial points of the debate is that experiments only involving Newtonian gravity only test the gauge component of the gravitational field, which is not quantised in the standard formalism [30]. This criticism is valid, however there is an important caveat: it is possible to devise a thought experiment where, with analogous arguments to those employed in the electromagnetic version of the same experiment [31, 32], one runs into faster-than-light signalling unless some quantum-field elements of the gravitational field are included in the description [21]. This hints at the fact that the Newtonian field itself has some information content, and thus the discussion cannot be simply dismissed as inconclusive on the nature of the gravitational field [22]. In part, the disagreement around these topics arises from the fact that different definitions of what it means for the gravitational field to be quantum have been used in the literature. Some authors [10, 11, 23] argue that the existence of a superposition of spacetimes is a sufficient feature to deem the gravitational field as quantum; others invoke the result that Local Operations and Classical Communication (LOCC) do not generate entanglement [33] as a criterion to establish the quantum nature of the gravitational field [15, 16, 20, 27, 28]. Another possibility is that gravity can be considered quantum only if quantised radiation (i.e., gravitons) is emitted [30]. Finally, there has been an attempt to understand whether gravity can be compatible with some so-called post- quantum theories, i.e., theories that are neither classical nor quantum [34, 35], within the framework of constructor theory [36] (see Appendix F for a comparison with the approach presented here). All these approaches, with the exception of the one in Ref. [34, 35], make statements about the nature of the gravitational field by considering the field by itself, without specifically referring to the set of all possible measurements. However, in order to have a full characterisation of a physical theory, one needs to consider, together with the set of states (in this case, of the two systems and the gravitational field) and their transformations, also the set of all possible measurements. If the latter is neglected, it might happen that a specific state could seem quantum, but that its quantum behaviour never manifests itself in any possible experiment. An additional difficulty in experiments in which gravity is sourced by quantum systems is that the full set of measurements is not accessible to us: we cannot directly measure the (possibly) quantised gravitational radiation to establish whether gravity is quantum. Hence, we need to resort to probing the nature of the gravitational field indirectly through the matter systems. The need to verify via indirect measurements whether some degree of freedom is quantum is not special to the gravitational field but happens, for instance, in the Stern-Gerlach experiment: we infer the quantum nature of the spin degree of freedom not by directly probing it, but by measuring the deflection of a quantum particle traversing a magnetic field. The question we here ask is then: \Provided that we observe gravitationally-induced entanglement in the laboratory, which conclusions can we draw on the nature of the gravitational field?” The answer to this question is nontrivial, because, in order to give a fully consistent answer, we cannot assume an underlying theory for the gravitational field. We therefore have to check the consistency of our experimental results in a systematic way, taking into account all logically-possible theories. This task is precisely what Generalised Probabilistic Theories (GPTs) have been useful for in the context of non-relativistic quantum theory. For example, GPTs have been used in the study of thermodynamics [37{40], interference [41{46], decoherence [47{50], computation [51{57], cryptography [58{63], contextuality [64{67], information processing [68{75], and correlations [76{ 82] as well as deepening our understanding of the general structure of physical theories [83{98] in a way that does not presuppose the quantum formalism but instead studies these phenomena in a theory-agnostic way. The basic idea of the formalism, is that any theory of physics should be able 3 to make operational, potentially probabilistic, predictions about the outcomes of experiments. This does not mean that a theory cannot, and should not, do more than this by providing an ontological level of description, but, that the operational level of description is a necessary prerequisite of any good physical theory. It is this operational level of description which is captured by the framework of GPTs. One imposes simple mathematical axioms on the structure of the theory, which faithfully capture the conceptual operational underpinnings, and, by doing so, one can derive a rich mathematical structure which any GPT must have. For example, this means that we are no longer free to propose arbitrary modifications of quantum theory, but, having proposed a particular modification, we must then check that it is indeed compatible with the basic mathematical axioms { for example, that probabilistic predictions must be valued in the interval [0; 1]. In this paper, we introduce the theoretical tools of GPTs to determine whether gravity can be classical, quantum, or a different type of theory when gravity-induced entanglement between two massive bodies is observed in the laboratory. We prove a no-go theorem stating that it is impossible to satisfy at the same time the following conditions: i) gravity is a no-signalling theory; ii) gravity is a physical degree of freedom which mediates the gravitational interaction; iii) gravity is classicalx. Assuming that such gravitationally induced entanglement is observed, we argue that conditions i) and ii) should be met, and hence that the gravitational field is non-classical. The violation of iii) does not necessarily mean that gravity is quantum. There are, in fact, other possibilities, which are neither classical nor quantum, which we explore.