Binding Quantum Matter and Space-Time, Without Romanticism

Understanding the emergence of a tangible 4-dimensional space-time from a quantum theory of gravity promises to be a tremendously difficult task. This article makes the case that this task may not have to be carried. Space-time as we know it may be fundamental to begin with. I recall the common arguments against this possibility and review a class of recently discovered models bypassing the most serious objection. The generic solution of the measurement problem that is tied to semiclassical gravity as well as the difficulty of the alternative make it a reasonable default option in the absence of decisive experimental evidence.


Introduction
Quantum gravity may profoundly modify the way we understand space-time: the geometric structures inherited from General Relativity may have to be discarded, causality may become available only as an emergent concept, and all the notions we are used to may become irreducibly blurry. All our certitudes may have to go down the drain. Such a revolution would be exhilarating for theoretical physicists and philosophers, offering them the all too rare opportunity to rebuild physics from the ground up. For this reason, it seems that the prudent alternative has been insufficiently discussed. Quantum gravity may eventually change nothing at all.
If quantum matter and a tangible space-time can be coupled in a consistent way, and if this theory is chosen by Nature, then the revolution promised by quantum gravity will simply not happen. This option is arguably much less romantic, but this in itself does not make it less plausible. To paraphrase Bell, we should not let ourselves be fooled by B Antoine Tilloy antoine.tilloy@mpq.mpg.de 1 Max-Planck-Institut für Quantenoptik, Hans-Kopfermann-Straße 1, 85748 Garching, Germany our natural taste for romanticism [7]. Constructions yielding counterintuitive predictions should be favored only when they become inevitable; grandiose claims should be allowed in physics only when all the boring options have been fully exhausted. 1 As we shall argue, this is far from being the case in the gravitational context. The "quantization" route and its numerous conceptual subtleties has been favored on the basis of weak theoretical evidence and in the complete absence of experimental input. Further, after forty years of intense theoretical efforts, progress in this direction has been scarce. This makes it pressing to reconsider the ontologically boring option of a non-quantized space-time, perhaps prematurely discarded.
The objective of this article is to show that a fundamentally semiclassical theory of gravity, with a traditional notion of space-time, should not be a priori ruled out. I am not the first to discuss this option (see e.g. [8,21,29,46]), but recent theoretical results allow to counter historical rebuttals in a constructive way. Indeed, instead of pointing out loopholes or limitations in historical pseudotheorems, I will present a way to construct consistent models of (Newtonian) semiclassical gravity, with a transparent empirical content, thus evading any argument that could possibly exist against them.
As we shall see, there does exist a number of philosophical arguments in favor of the quantization of gravity. However, most of them are weak: either purely aesthetic ("everything should be quantized") or showing blatant wishful thinking ("a quantum space-time will fix the problems we have with other theories"). Yet, I will identify one argument that would be strong if its premise were correct. It states that semiclassical theories are necessarily inconsistent; constructing hybrid theories coupling quantum and classical variables would inevitably yield paradoxes. In a nutshell, this argument rests on a dangerous straw man: taking flawed mean-field semiclassical approaches as representatives of all hybrid quantum-classical theories. Actually, there exists (at least) one perfectly consistent way to couple classical and quantum variables using the machinery (but not the interpretation) of orthodox measurement and feedback. This approach can be instantiated in several ways in the non-relativistic context where it yields consistent candidates for semiclassical theories of Newtonian gravity.
I will first recall the weakest objections to semiclassical gravity before introducing the standard mean field approach and explaining its genuine shortcomings. Then, I will discuss a sound alternative formally grounded on feedback. Finally, I will comment on the implications of this semiclassical toy model and argue, as advertised, that quantum gravity (understood in the broad sense of a consistent theory of quantum matter and gravity) need not have any radical metaphysical implications for the fundamental nature of spacetime.

The Shaky Case for Quantizing Everything
Before going to the heart of the matter and the construction of consistent semiclassical theories of gravity, I have to discuss the common objections raised against this endeavour.
The first strand of argument rests on hope. Quantizing space-time degrees of freedom may help smooth out the nasty behavior of our current continuum theories. Quantized gravity is optimistically expected to (1) regularize the UV divergences of Quantum Field Theory (2) tame the singularities of General Relativity.
The first point is a reference to the Landau pole [28] in the electroweak sector of the Standard Model. Even though quantum electrodynamics is perturbatively renormalizable, renormalization group heuristics and numerical computations suggest that the theory is trivial in the absence of a short distance cut-off [17]. The quantization of gravity is supposed to provide the granularity of space-time that would save electromagnetism from being only effective. The second point is a reference to the singularities of the metric at the center of Black Holes (e.g.with the Schwartzchild metric) or at the Big-Bang in cosmological scenarios (e.g.in the Friedmann-Lemaître-Robertson-Walker metric). Quantizing gravity might miraculously solve these two kinds of problems (for space-time singularities, the situation is actually far from clear [14,37]). Yet in both cases, appealing to quantum gravity in these contexts is dangerous wishful thinking: we are just pushing under the carpet of yet unknown theories the difficulties we have with existing ones. Before the advent of quantum electrodynamics, quantum mechanics was already expected to cure the UV divergences of Maxwell's equations with point charges. No such thing eventually happened and the situation arguably got worse. 2 In any case, that quantizing gravity might solve some existing problems does not mean other solutions may not exist. That quantized gravity might be mathematically convenient does not make it a necessity.
The second strand of arguments is aesthetic. Gravity should be quantized because everything should be quantized. Quantum theory should not be seen as a mere theory of matter but as a meta-theory [29], as a set of principles (e.g.Heisenberg uncertainty, "complementarity", canonical quantization) to be applied to all "classical" models. In this respect, gravity should be "just like the other forces". And, so the argument goes, History proved that the people who tried to keep the electromagnetic field classical were wrong. But is gravity really like the other forces? Could the tremendous technical and conceptual difficulties encountered when attempting to quantize gravity not be a sign (among others) of its intrinsic difference? Gravity, after all, is not just a spin 2 Gauge field [8]. Aesthetic arguments, it would seem, can as well be used to argue against the quantization of gravity. And even if quantized gravity were to be superior on aesthetic grounds, would this pay for all the romanticism that comes with it? In my opinion, relying on such a highly subjective and questionable meta theoretical notion of beauty at any cost is simply irrational. Quantum mechanics could very well just be simply a dynamical theory of matter The last strand of arguments is mathematical and seems to have the sharpness of a theorem. Semiclassical theories, mixing a quantum sector (here matter) and classical one (here space-time), would inherently be inconsistent (in a sense to be later defined). If this is indeed the case, then this argument dwarfs all the previously mentioned unconvincing incantations. Fortunately, looking at it more closely, we shall see that it applies only to a specific way of constructing semiclassical theories. It is a straw-man argument: picking the most naive and ill-behaved approach as a representative for the whole. Semiclassical theories constructed with mean field coupling are inconsistent with some features of quantum theory (like the Born rule), but the way is open for other approaches.
In the end, the case for the quantization of gravity is supported by a single real argument: naive attempts at constructing hybrid semiclassical theories have failed. Hence, if we want to know whether or not it is possible to hold on to space-time as we know it, we have to understand the problem with existing hybrid theories and see if and how it can be fixed.

General Problem
In a semiclassical theory of gravity, a classical space-time and quantum matter should cohabit at the deepest level. Hence, to construct such a theory, one needs to understand (see also Fig. 1): 1. how quantum matter moves in a curved background, 2. how space-time is curved by quantum matter.
The first point is uncontroversial and expected to be solved fully by quantum field theory in curved space-time (QFTCST) [44]. In a way, the latter is a very elaborate version of the quantum theory of non-relativistic particles in an external electromagnetic field. This is not to say that there are no technical difficulties or open questions, but there is little doubt about the way to proceed to compute predictions (at least perturbatively). Further, at least in some limits, the theory has been tested experimentally [9,35]. The second point, understanding how quantum matter could consistently "source" curvature, is the true open problem and the one we will need to address. Indeed, the classical Einstein equation reads: where T μν is the (classical) stress energy tensor. For quantum matter, it is not clear what object to put as a source. Let us first consider the historical and infamous "mean-field" option.

The Schrödinger-Newton Equation
The historical proposal, due to Møller and Rosenfeld [30,34], is to create a classical stress energy tensor with the help of a quantum expectation value, i.e.to posit that: Let us notice that there are important subtleties involved and giving a precise meaning to this equation in a quantum field theory context is not trivial. In particular, T μν has Fig. 1 In semiclassical gravity, the easy problem is to understand how quantum matter (the fuzzy balls) moves in a curved spacetime (the mesh). The hard problem is to understand how spacetime is curved by quantum matter. The naive option, which consists in taking |ψ| 2 (x, t) as source (or more precisely, its relativistic, many-particle equivalent) yields insurmountable problems to be suitably renormalized to remove the infinite contribution from the vacuum energy [43,44]. However, I will not be concerned by such technicalities and I will consider directly the non-relativistic limit of the Møller-Rosenfeld prescription which is mathematically unproblematic. In the non-relativistic limit, Einstein's equation becomes the Poisson equation for a scalar gravitational field and the stress energy tensor reduces to the mass density: where Φ(x, t) is the gravitational field, |ψ t is the quantum state of matter andM(x) is the mass density operator. 3 As I mentioned earlier, matter then evolves with the classical gravitational field Φ t (this latter part is uncontroversial): where H 0 contains the free part Hamiltonian and other non-gravitational interactions. Inverting the Poisson equation (3) then yields the celebrated Schrödinger-Newton equation [3,12]: For a single free particle of wave function ψ, it takes the perhaps more familiar form: The Schrödinger-Newton equation is a non-linear deterministic partial differential equation which brings serious conceptual difficulties if it is considered fundamental. 4 The problems arising from non-linear deterministic modifications of the Schrödinger equation have been widely discussed in the literature [4,18,33]. However, the assumptions made to derive the no-go theorems are not always so clearly stated and it might be helpful to informally summarize what logically implies what.

The Trouble with Non-linearity
With non-linear terms in the Schrödinger equation, decoherence is no longer equivalent to collapse "for all practical purposes". As a result, what the Schrödinger-Newton equation says about the world (even only operationally) depends strongly on the interpretation of quantum mechanics one adopts, something that was noted already by Polchinski [33]. The first option is to consider an interpretation in which there is no fundamental collapse like in the Many-World interpretation or in the de Broglie-Bohm (dBB) theory. In that case the problem is that the non-linear gravitational term in the SN equation makes decohered branches of the wave function interact with each other. In the dBB picture, the "empty" part of the wave function gravitationally interacts with the non-empty one, thus influencing the motion of particles. In both cases, decoherence does not shield the dead and live cat from each other. The live cat constantly feels the attraction of its decaying ghost (see Fig. 2). Replacing cats by astrophysical bodies like the moon shows that the theory cannot be empirically adequate. The experiment carried out by Page and Geiker [31] only makes this inadequacy manifest at the level of smaller macroscopic bodies. 5 The second option is to consider that a fundamental (and not effective) collapse of the wave function takes place in measurement situations. In that case, the difficulty is that the statistical interpretation of quantum states breaks down. This can be seen quite straightforwardly. Let us consider a situation in which Alice and Bob share an 4 Non-linear modifications of the Schrödinger equation are of course totally acceptable so long as they are effective, e.g.approximately describing some large N limit of a gas of particles. 5 One sometimes hear that the Page and Geiker experiment is inconclusive because decoherence is not properly taken into account. This is a misunderstanding. The non-linear gravitational interaction in the SN equation is not tamed by decoherence and thus the conclusion about mean field couplings in [31] is correct. The objection one could make to the Page and Geiker experiment is that there is no point in testing a fundamental theory on one system when it is already blatantly falsified on others. EPR pair. On Alice's side, the spin degree of freedom is replaced by the position of a massive object |left and |right . Let the initial state of the pair read: I assume that Bob can choose to measure his spin at the beginning of the experiment.
) the density matrix of Alice if Bob measured ↑ (resp. ↓). I write ρ Alice the density matrix of Alice if Bob does not measure his spin at all. Because the Schrödinger-Newton equation is non-linear, it is easy to convince oneself that generically, 6 after some time t: Intuitively, if Bob does measure his spin, Alice's wave function is collapsed in one position and nothing happens whereas if Bob does not measure his spin, Alice's wave function remains superposed and the two separated wave packets attract each other (see Fig. 3). Hence, the statistics on Alice's side crucially depend on what is done on Bob's side. At that point, the objection often raised is that this would allow instantaneous communication between Alice and Bob. The difficulty goes deeper. Even if one were to add delays or pick a preferred frame for collapse in order to avoid the paradoxes associated with faster than light signalling, a stronger objection would still remain. The essence of the difficulty, underlined by the previous example, is that reduced states cannot be trusted, even approximately. To make predictions, Alice needs to know precisely what Bob did and more generally everything that happened to whatever shared a common past with her. Reduced states (i.e.typically the only objects one can consider in practice) have no statistical interpretation. Extracting predictions from the theory is a daunting if not impossible task.
To summarize, the Schrödinger-Newton equation (and typically all non-linear deterministic modifications of the Schrödinger equation) cannot be empirically adequate without an objective collapse mechanism. However, such a mechanism generically breaks the statistical interpretation of reduced states. This does not mean that it is strictly impossible to find an elaborate way to salvage this semiclassical approach and to one day provide an efficient way to compute predictions. That said, one can safely say that the Schrödinger-Newton equation, and thus the Møller-Rosenfeld approach to semiclassical gravity it derives from, is unappealing as a fundamental theory. In my opinion, trying to redeem it is hopeless and unnecessary: after all, the prescription of Møller and Rosenfeld (making expectation values gravitate) is completely arbitrary.
To my knowledge, all the conceptual difficulties encountered with the Møller-Rosenfeld approach to semiclassical gravity show up already in the Newtonian limit. That is, the problems of semiclassical gravity are quantum more than they are relativistic: naive hybrid theories, relativistic or not, are thought to have crippling problems. The bright side of this is that if we can construct consistent non-relativistic hybrid theories, we remove all the known serious objections against semiclassical gravity. Alice and Bob start by sharing an EPR pair, which is encoded in a massive superposition on Alice's side. Bob can decide whether or not to measure his side. The subsequent evolution on Alice's side depends on this choice. This yields different probabilities to measure her mass e.g.near the centroid of the initial superposition. This would allow Bob to communicate with Alice and even more seriously jeopardizes the validity of the Born rule. Notice that the gravitational force is not used directly as information carrier from Alice to Bob, but rather as a local non-linearity on Alice's side allowing to witness a wave-function collapse

Idea
As the previous naive semiclassical gravity shows, using quantum expectation values as classical sources is a bad idea. But what kind of classical objects do we have at our disposal to consistently mediate an interaction between space-time and quantum matter? An option would be to consider a de Broglie-Bohm theory in which the gravitational field is sourced by the particles (or, in a relativistic context, by a Bohmian field). This was considered by Struyve [36,38]. Although the theory is slightly less conceptually problematic-only the dead or the live cat source a gravitational fieldthe statistical interpretation of states breaks down as before ("equivariance" is lost). The approach of Derakhshani [10], built upon the model of Ghirardi et al. [16], has essentially the same upside and downside. 7 It might be that the ultimate semiclassical theory has to destroy this appealing feature of quantum mechanics. However, in the absence of a statistical interpretation, it becomes astonishingly hard to use a physical theory to make reliable predictions, even in simple situations. It would thus be quite convenient if the statistical interpretation could survive. Fortunately, it can and the solution may surprisingly be guessed from the quantum formalism itself.
In the orthodox interpretation of quantum mechanics, there exist classical variables that both depend on the the quantum state and that can consistently back-react on it: measurement results. Indeed a measurement result depends, if only probabilistically, on the quantum state. Further, knowing a measurement result, an experimentalist can apply whatever unitary she likes on the quantum system without creating any kind of Fig. 4 Illustration of the main idea-the dynamics is as if (left) space were covered with detectors weakly measuring the quasi local mass density and (right) the results associated to these measurement results were used to bend space-time, i.e.in the Newtonian limit, source a gravitational field Φ. At a formal level, this is just measurement-based feedback paradox. Experimentalists have been doing consistent semiclassical coupling for ages without knowing it! This arguably trivial discovery is what guided the construction of consistent hybrid semiclassical theories, dating back to 1998 and the work of Diósi and Halliwell [13,20]. These hybrid theories have been recently revived in the context of Newtonian gravity [19,[25][26][27][40][41][42].
I am not pushing here for the introduction of conscious observers or even any kind of physical measurement setup to couple quantum and classical variables. I am simply noting that at a purely mathematical level, the orthodox formalism already allows an interaction between quantum and classical variables in the form of a "measurement and feedback" scheme. One can use this fact as an intuition pump to construct a "realist" theory. We may just posit that the fundamental dynamics is as if some mass density were weakly measured continuously and the associated measurement outcomes used as sources to curve space-time (see Fig. 4).

Measurement and Feedback
Let me quickly recall how weak measurement and feedback work in a discrete time setup before going to the continuum. A quantum operations corresponding to a positive-operator valued measure (POVM) transforms the state in the following way: with probability p k = ψ|N † k N k |ψ . The label k is the outcome of the measurement. The operatorsN k verify as only constraint kN † kN k = 1. Feeding back the result k just amounts to apply a k-dependent unitary operatorÛ k on the state. That is, for a measurement immediately followed by a feedback, one has: with the same probability p k . Notice that the full evolution is still a legitimate POVM withN k →B k =Û kNk . The label k can be thought of as a classical variable that depends on the quantum state (probabilistically) via the first measurement step and that acts on it via the second feedback step. Of course, unless one puts restrictions on theN k 's (e.g.requiring mutually commuting self-adjoint operators), the decomposition into measurement and feedback is arbitrary and feedback can be included in measurement backaction. The picture in two step is however helpful as a guide to construct semiclassical theories.
With the discrete time setup in mind, one can already construct a consistent toy model of semiclassical gravity [40]. Let me promote the k label to a continuous position index x f ∈ R 3 and takeN k →L(x f ), acting on 1-particle wave-functions, where: where r C is a new "fundamental" length scale. Let the instants t f when the corresponding weak measurement is applied be randomly distributed according to a Poisson distribution of intensity λ. Between collapse events, we let the particle evolve according to the standard Schrödinger free evolution. The resulting state dynamics is that of the Ghirardi-Rimini-Weber (GRW) model [5,16], the simplest discrete collapse model. Naturally, the GRW model makes no reference to measurement but at a purely formal level, it is but the iteration of a simple POVM. This means that the collapse "outcomes" (or flashes) (t f , x f ) can be used to influence the subsequent evolution of the system. In our gravitational context, they are thus good candidates for a source of the gravitational field Φ. We may thus propose: where m is the mass of the particle and the factor λ −1 is fixed to recover Newtonian gravity in the classical limit. Putting this gravitational field as an external source in the Schrödinger equation and inverting the Poisson equation (13) simply gives that each discrete collapse is immediately followed by a unitary feedback: The empirical content of the model is contained denotes the average over measurement outcomes. It is easy to show that, as expected from our general argument, ρ t obeys a linear master equation which can be written explicitly: where H 0 is the Hamiltonian in the absence of collapse andB( Surprisingly, once straightforwardly extended to the many particle context, this rather brutal implementation of gravity does not (yet) clash in any obvious way with observations [40]. Indeed, one approximately recovers the expected Newtonian pair potential between a macroscopic source and test particles, the only situation that can so far be probed in experiments (although one may naturally expect finer tests to falsify this crude model). Further, this implementation of gravity preserves the statistical interpretation of the quantum state by construction and is thus free of conceptual difficulty.

Continuous Setting
The discreteness of the previous model may look aesthetically unappealing even if it does not make it empirically inadequate. With the help of continuous measurement theory, one may construct a smoother equivalent. Let me hint at how this can be done. The continuous measurement of an operator O (taken to be self-adjoint here for simplicity) is described by the following pair of equations [22,45]: with O t = ψ t |O|ψ t . The first line is the continuous equivalent of the discrete evolution (10) and SÔ(t) is the associated "signal". The latter is just the continuous time counterpart of a measurement outcome. Its fluctuations around the quantum expectation value of O are proportional to η t , a white noise process. Slightly nonrigorously, it is just a Gaussian process of zero mean and Dirac distribution as two point function E[η t η s ] = δ(t − s). That is, one can obtain a signal SÔ(t) with statistical average equal to the quantum expectation value of the desired operator at the price of some white noise η t and a non-trivial non-linear backaction on the quantum state. Notice however that one can trivially invert (17) and express η t as a function of SÔ(t) to write (16) only as a function of the signal. The white noise process is introduced solely to make the probabilistic law of the signal explicit. Equations (16) and (17) can be generalized to a continuous set of operators. Considering the simultaneous measurement of a smoothed mass density operatorM σ (x) in every point x of space yields the dynamics of the Continuous Spontaneous Localization (CSL) model [5,15,32], the simplest continuous collapse model. Again, this latter model is usually defined without reference to measurement. Via this reformulation, I am only seeking a guide for theory building. The advantage of the measurement perspective is that it provides us with a natural candidate for a classical mass density field: the mass density signal SM (x). The tempting thing to do is to now make it source the gravitational field: As in Sect. 4.2, one may then carefuly 8 add Φ as an external source in the Schrödinger equation and invert the Poisson equation (18) to get a perfectly consistent evolution for quantum states. I shall not go further but mention that this is one of the models that was introduced in [41] and that it is again a priori compatible with observations. Actually, the continuous case allows for more refinements and there are infinitely many ways (parameterized by a positive real function) in which one can measure the mass density operator in every point of space. Heuristically, this comes from the freedom in correlating the signals of detectors in different regions of space. The general case was nonetheless treated as well in [41], yielding many candidates for Newtonian semiclassical gravity. It was further shown in [42] that requiring a minimal amount of decoherence allowed to pin down a unique model (which happens to have the decoherence of the Diósi-Penrose model).

Difficulties
The technicalities of continuous measurement theory and Itô calculus put aside, the continuous case works very much like the discrete. In both cases, whether one assumes gravity acts by instantaneous kicks or more smoothly, one obtains simple semiclassical models that are so far compatible with what is known about gravity in the Newtonian limit. That said, it is important to fairly present the difficulties and unappealing features that come with this idea.
The main drawback of our approach is that it introduces a short distance regularization of the gravitational potential. To create the mass density source of the gravitational field, I have formally relied on the measurement (continuous in time or discrete) of a smeared version of the mass density operator. This was necessary to make measurement back-action finite and avoid infinite positional decoherence. This regularization of the source propagates to the gravitational force and the 1/r pair-potential of gravity thus breaks down at short distances. The cutoff cannot be too small (smaller than the nuclei radius) otherwise the models I have briefly introduced are already falsified. This regularization is perhaps the most ad hoc and unappealing aspect of these models. The only comfort one may keep is that the regularization scale can be experimentally constrained on both ends, at least in principle: small cutoff length can be falsified by measuring excess positional decoherence and large cutoff length can be falsified by measuring deviations from the 1/r 2 law of gravity [40,42].
The second obvious limitation of the approach I have reviewed is the lack of a straightforward Lorentz invariant generalization. The main reason is that it is extremely difficult to construct simple relativistic continuous measurement models. In particular, the space smearing necessary to make decoherence finite in the nonrelativistic case seems to require some smearing in time in the relativistic regime. To my knowledge, there exists no continuous measurement model in which the necessary non-Markovianity this implies can be implemented in a sufficiently explicit way. There are nonetheless a number of promising options currently explored, either dropping the measurement interpretation [39] or going to General Relativity directly to make use of its additional structure [6,24].
Even if one had a fully consistent theory of relativistic continuous measurement, one could not straightforwardly generalize the approach by replacing the Poisson equation by Einstein equation and the mass density by the stress-energy tensor. Indeed, the analog of the "signal" in this relativistic context will typically not be conserved, something that is forbidden by Einstein equations. There are proposals to deal with non-conserved stress energy tensors using unimodular gravity [23] and they yield interesting predictions especially regarding the cosmological constant. This would however add one further subtlety making the whole story possibly less endearing.
Finally, after enumerating the difficulties that are still in the way, we should not forget what the objective was. My aim was to show that the arguments used against semiclassical gravity (and that hold in the Newtonian limit already) can easily be bypassed. The way I have done so may not be straightforward to generalize, aesthetically pleasing, nor even ultimately empirically adequate, but it achieves its purpose: providing a counterexample. The standard objections against semiclassical gravity do not hold.

Space-Time and the Measurement Problem
The program I have presented is interesting in that it ties together semiclassical gravity and the measurement problem. To create a gravitational field, one uses a classical source formally obtained from a (discrete or continuous) measurement setup. Once this formalism is taken as fundamental and before gravity is turned on, the model is simply a vanilla collapse model. Such models have been introduced more than 30 years ago as an ad hoc but working solution to the measurement problem. Interestingly, a compact way to understand how collapse models dissolve the measurement problem is to introduce an explicit primitive ontology, that is a candidate for the "stuff" that makes the fabric of reality [1,2]. What I have done is simply to source gravity with one standard candidate for a primitive ontology (the flashes in the discrete and their more confidential field counterpart in the continuum). Hence, starting from the need to have classical sources, one is naturally guided towards a class of models that fix quantum theory. One needs to pay the price of collapse models only once, either to help with the measurement problem or to help with quantum classical coupling; the other comes for free.
One may speculate that this connection between the problems of measurement and of semiclassical gravity extends beyond the specific approach used to derive it. A crude (and unfortunately very non-operational) definition of semiclassical gravity would be that it is a theory in which gravity is mediated by a classical field. The existence of such a field without superposition necessarily dissolves the measurement problem: there is now something out there, not superposed, that can be used to specify measurement results. The problem then becomes one of empirical adequacy: can we understand our world and experiences making reference only to functions of this spacetime? Provided the classical metric retains some properties it would have in classical general relativity, a candidate for a primitive ontology would be the stress-energy tensor distribution reconstructed from Einstein's equations. Presumably, one could understand measurement outcomes from a simple coarse graining of this distribution of matter. Semiclassical gravity does seem to go hand in hand with a down to earth understanding of quantum theory.

Comparing the Alternative
With semiclassical gravity, space-time is as simple as it is in general relativity, no more no less. Quantum mechanics, once confined to matter, requires no paradigm shift. This compares favorably with what happens if one requires that gravity itself be quantized. In that case, depending on the approach taken, one needs to tell a far subtler story of classical and quantum emergence.
In string theory and causal set theory for example, there is no 4 dimensional spacetime at a fundamental level, even classically. The first thing one needs to explain is how a 4 dimensional space-time emerges at large scales from the compactification of a higher dimensional manifold or from the coarse graining of a branching causal structure. This story is not entirely trivial but one should not forget that it only the first easiest step. One then needs to understand the emergence of a classical spacetime from the effective dynamics of some wave-functional on 3-metrics, a problem at least as hard as the measurement problem. There is no reason to believe that it is impossible to do so, but the story will inevitably be quite elaborate. If the alternative straightforward semiclassical story is not experimentally falsified nor theoretically forbidden, what ground do we have to take complicated explanations of emergence seriously?
Experiments will ultimately decide if the full quantization route really has to be taken. In the meantime, it is certainly worth exploring whether or not one can understand, even only in principle, the subtle emergence of space-time from a quantized theory of gravity. Yet one should probably keep as the default option (or null hypothesis) the simpler semiclassical story where space-time is just there and not emergent. As mentioned in Sect. 4.4, the semiclassical route is not without open questions but its metaphysical clarity definitely calls for further exploration. It is pressing to know how far it can be pushed, if only to eventually reach the conclusion that quantizing gravity is really necessary.

Resisting the Straw Man
Constructing working theories of quantum gravity is a tough and ungrateful task. One risks working for years on an approach that does not even remotely describes the physical world. For that reason, no-go theorems -excluding the paths not takenprovide a warm comfort. Perhaps the route is long, but at least we go in the only possible direction. But no-go theorems, whether they are real theorems or just heuristics, are rarely as strong as they seem, especially after their message has been inflated by the folklore in the field. As I hope to have shown, no-go arguments should be treated with caution especially in the context of gravity where they are especially comforting.
One should not be too quick to bury semiclassical gravity if a specific approach turns out to be falsified. We should make sure that we do not disprove straw men to justify grand claims, and stick with the boring option for as long as it can be reasonably 9 defended.

Summary
It is possible to construct working toy-models of semiclassical gravity. These models should perhaps not bee taken too seriously as they are explicit only in the Newtonian limit. However, they provide a counter example to the non-relativistic arguments usually invoked to disregard theories with a tangible, non-superposed space-time. There is thus no definitive reason, theoretical or experimental, cornering us to a quantized space-time. The subtle emergence of our intuitive space-time from more complicated quantum versions may not have to be unraveled.
Two things could change this state of affairs. The quantization of the gravitational field could show itself in experiments. We would then have no choice but to try and understand space-time as an emergent notion. Alternatively, one could find an interpretation of quantized gravity far "simpler" than the apparently straightforward semiclassical story we have presented. This would be no simple task, especially as the semiclassical route seems to also brings with it a natural solution to the measurement problem. Given that this challenge has not been met yet and given that experiments are still silent about the true nature of gravity, it is tempting to stick with our good old classical space-time.