Diagrams and GPTs for Quantum Gravity
This is a Perspective on "Any consistent coupling between classical gravity and quantum matter is fundamentally irreversible" by Thomas D. Galley, Flaminia Giacomini, and John H. Selby, published in Quantum 7, 1142 (2023).
By Andrea Di Biagio (Institute for Quantum Optics and Quantum Information (IQOQI) Vienna, Austrian Academy of Sciences, Boltzmanngasse 3, A1090 Vienna and Basic Research Community for Physics e.V., Mariannenstraße 89, Leipzig, Germany).
Published:  20240108, volume 8, page 78 
Doi:  https://doi.org/10.22331/qv2024010878 
Citation:  Quantum Views 8, 78 (2024) 
What’s new?
In their new article [1], Thomas Galley, Flaminia Giacomini, and John Selby, formalise and prove, within the framework of Generalised Probabilistic Theories (GPT), that if quantum matter is allowed to affect the gravitational field, then either the gravitational field isn’t classical or the interaction is irreversible. Additionally, in the presence of superselection sectors, only the classical information is allowed to flow into the classical system.
This result may not surprise some. This is how one would formulate such a hypothesis over a beer: Say that a variable’s evolution depends on the value of another variable, and suppose that this variable is in a quantum superposition. What is the classical variable supposed to do?

 It does not budge (since the quantum variable does not have a value)

 It also goes into a superposition (then it is not a classical variable)

 Collapses the quantum variable, then moves (irreversible)

 Breaks quantum mechanics in some other way.
In fact, several arguments to this effect are already present in the literature. Some notable examples include Eppley and Hannah’s 1977 paper [2], which argued that the interaction of classical gravitational waves with quantum matter would allow for the violation of the Heisenberg uncertainty principle (thus rendering matter notthatquantum); Penrose’s argument for why classical spacetime would induce the collapse of a superposition of a massive quantum system [3, chapter 30]; and Feynman’s argument for why detecting the gravitational deflection of an object by another mass that is verifiably in a superposition of positions would be evidence that the gravitational field itself was in a quantum superposition [4, chapter 23].
Indeed, several models of classical gravity sourced by quantum matter seem to foster this hypothesis. Some have the irreversibility baked in, be it in the form of an objective collapse mechanism in the DiósiPenrose gravitational collapse model [5,6], or a stochastic differential equation for the nonclassical matter and the classical gravitational field in Jonathan Oppenheim’s “postquantum” model [7]. In theories with a classical field with deterministic evolution, such as SchrödingerNewton [8] and semiclassical gravity [9,10], the nonlinearity of the dynamics allows one to distinguish nonorthonormal vectors in the matter Hilbert space, effectively classicising it [11].
So, what is the point of Galley, Giacomini, and Selby’s article? In short: it provides a nogo theorem—with a clear and concise proof—within an established metatheoretic framework, thus establishing the result once and for all for a whole swathe of possible theories, be they classical, quantum, or more exotic. Therefore, this is a milestone result in the field of quantum gravity, restricting what kind of theories one should look for.
Diagrams strike again
One peculiarity of this work, especially seen from the quantum gravity community’s perspective, is the use of GPTs and diagrammatic calculus for the proof, and in the next sections I will briefly comment on these notions. Before that, I would like to point out that this is not the first time the trio used these tools to formalise and generalise an argument about quantum gravity.
In 2017, Sougato Bose and collaborators [12] as well as Marletto and Vedral [13] argued that if two masses in a superposition of locations could become entangled as a result of the gravitational interaction alone (gravitymediated entanglement, or GME), this would be evidence for the nonclassical nature of the gravitational interaction. The argument in [12] was based on the wellknown result that in quantum mechanics, local operations and classical communication (LOCC) does not allow one to increase entanglement between two systems, while the argument in [13] is based on the metatheoretic framework of constructor theory (the full argument is in [14]). Galley, Giacomini, and Selby [15] later provided another theoryindependent argument, this time in GPTs, with a straightforward diagrammatic proof.
The thesis advanced in all these arguments is that a local interaction with a classical system cannot mediate the creation of entanglement. One of the upshots of the theoryindependent proofs is the clarification of the locality concept involved in these nogo theorems. It becomes clear that the relevant notion of locality is not the relativistic concept related to spacetime. Instead, it is a form of locality based on the concept of subsystems within the GPT framework. Gravity being local, here, means that a) there is a subsystem assigned to gravity and that b) this system acts as a mediator, meaning that the evolution $E$ of the three system can be written as sequential product of evolutions $E_i$ such that no $E_i$ takes both masses as input. It remains to be seen whether this notion of locality is relevant in field theories; see [16] for a discussion.
GPTs
Generalised Probabilistic Theories are a wellestablished framework in the study of quantum foundations and quantum information theory, but are not as well known to the wider community. While the articles [15,1] cover the essentials to understand the proofs, more comprehensive introductions can be found in [17,18,19], for example.
The core idea behind the GPT approach is that the least a scientific theory can do is give probabilistic predictions about what can happen in the lab. A theory can do much more, of course: it can give predictions for phenomena outside the lab, it can offer useful pictures both for intuition and computation, and may provide an ontology for the physics. However, arguably, it would not be a good scientific theory if it could not provide testable predictions for things you can do in the laboratory. GPT is a metatheoretic framework that studies what different theories can predict within laboratory setups.
The main elements of a GPT are states, transformations, and effects. States are to be thought of as equivalence classes of experimental preparations for a given system, while effects should be thought of as different kinds of measurements that can be performed on it. Probabilities are obtained by composing states with effects. Transformations relate states to other states and as such contain information about the structure of the state space and characterise the operations that can be done on the system between measurements.
GPTs have been used to study which theories could exist beyond quantum theory. One of the first insights that came out of studying GPTs was that things that we thought were counterintuitive about quantum mechanics are actually common properties of GPTs [20,19]. For example, only classical probability theory features nondisturbing measurements, and the property that a mixed state can be written as a mixture of maximuminformation states in a unique way. Indeed, one of the great successes of GPT has been its use in understanding precisely what is unique and special about quantum mechanics, in the space of possible GPTs [18,21,22,23,17], the aim of the programme of reconstructing quantum mechanics from operational axioms (or diagrammatic axioms, in the case of [24]). GPTs are also used in designing theoryindependent cryptographic protocols.
The scope of GPTs, though, is not unlimited, as they cannot be applied, at the moment, in situations with indefinite causal structure [25], or with superobservers such as extended Wigner’s Friend scenarios [26,27]. Another serious limitation, as the authors of [1] point out, is that the relationship between a specific theory and its GPT is not always straightforward. This is the case, as mentioned, for SchrödingerNewton, where the ostensibly quantum matter gets mapped to a classical GPT. In other cases, the GPT is unknown, like for the ReginattoHall classicalquantum hybrid model [28].
It also is worth mentioning that GPTs are but one of several partially overlapping metatheoretic frameworks, including Operational Probabilistic Theories (OPTs) [29,30], process theories [31], the positive formalism [32] and constructor theory [14,33], which are used for similar purposes by different subcommunities within quantum foundations and quantum information theory.
Diagrams
An exciting aspect of GPTs is the existence of an expressive, faithful, and complete diagrammatic calculus for them. The use of diagrams to work with linear maps has been pioneered by Roger Penrose [3, chapter 12] who used it to keep track of abstract indices in tensorial equations, but this kind of diagrams has found a killer app with GPTs, OPTs, and process theories.
The basic elements of a GPT diagram are boxes with wires used to represent linear maps. The wires are associated with domain and codomain of the maps, just like abstract indices. Joining wires means sequential composition ($\circ$), and parallel wires represent parallel composition ($\otimes$).
An example of why this is useful: Let $f_1,f_2:V\rightarrow V$ and $g_1,g_2:W\rightarrow W$ be four linear maps. Then one can prove the following, seemingly nontrivial equation
\begin{equation}
(f_2\circ f_1)\otimes(g_2\circ g_1)=(f_2\otimes g_2)\circ(f_1\otimes g_2).
\end{equation}
On the other hand, if one were to build the diagrams corresponding to the lefthand side and to the righthand side, one obtains the single diagram:
So, when working with diagrams, one need not worry about distributing sequential and parallel composition, it happens naturally. Similarly, formulas involving several operations on different systems appear more readable. Consider for example the quantum operation
\begin{equation}
(\mathbb{I}_A\otimes\langle\phi)V_{AB}(U_A\otimes\mathbb{I}_A),
\end{equation}
versus the corresponding diagram:
To perform derivations with diagrams, besides thinking of the boxes as being able to slide along the wires, one can use previously established equalities between diagrams to substitute one part of a diagram with another. The diagrammatic calculus, with specific diagrammatic manipulation rules, has been shown to be faithful and complete, in the sense that an equality established via diagrammatic reasoning is true if and only if it can be established using standard formulas. This result is one of the great successes of category theory applied to physics; see [31] for historical notes on this development.
The proofs in [15,1] are prime examples of such derivations. For example, one of the key steps in [1] is to establish that the existence of a reversible interaction with a classical system implies the existence of a nondisturbance measurement. A classical system $C$ is one that allows for the existence of nondisturbing measurements, which are maps $m:C\rightarrow C\otimes C’$, where $C’$ is another classical system, that satisfy
where the “earth” symbol represents the discard operation, which models the effect of ignoring, losing, or destroying a system—the equivalent of the partial trace in quantum mechanics. A line with no box represents the identity, thus, the previous formula means that discarding the register system $C’$ after doing the measurement $m$ is like not doing anything to the system $C$ at all. The existence of a reversible interaction $R$ of a possibly nonclassical system $S$ and the classical system $C$ can be used to define a nondisturbing measurement for $S$:
where $p$ is some normalised state for the classical system. Here is the diagrammatic derivation to show that this is indeed a nondisturbing measurement for $S$:
where we used, in order, the definition of $\tilde{m}$, the defining property of a nondisturbing measurement for $m$, the fact that $R$ is reversible, and the fact that $p$ is normalised, which means that discarding it returns the empty diagram: the number $1$.
I invite the reader to have a look at the rest of the proof [1] and compare it, at glance, with the equivalent algebraic proof (both are in the appendix). Without knowing the meaning of the symbols, the diagrammatic proofs certainly speak a little more clearly.
While they are not a silver bullet—inevitably, part of the computations and proofs have to be done in the standard formalism—they are a useful tool, and it is likely that they are here to stay. Coecke and Kissinger [31] make a strong sell of diagrammatic reasoning as a highlevel language for quantum theory and other process theories, while providing a thorough (if lengthy!) introduction. Personally, I have taken a lot of value from diagrammatic reasoning. As a student, it drastically accelerated my understanding of entanglement and quantum algorithms. As a researcher, I use diagrams in an exploratory way, as a guide to reasoning, and to make sure my algebraic formulas make sense. They can be designed and typeset in using the free to use package TikZiT.
Closing words
The work by Galley, Giacomini, and Selby is a significant contribution to the field of quantum gravity. By formalising and proving a longheld idea within the metatheoretic GPT framework, it provides solid ground for future research. It is also an example for a practical application of diagrammatic reasoning.
Part of the impact of their work will depend on the extent to which it is possible to find the correct GPT for proposed concrete models, as it would widen its range of applicability. Conversely, knowing the GPT corresponding to one’s model allows one to extract qualitative predictions from it by applying the theorems. For example, while it might be hard to conclude whether one’s theory allows for the creation of gravitymediated entanglement, it can be demonstrated that the corresponding GPT features a classical mediator. Then, by using the theorem in [15], one learns that no entanglement is created. Thus, this mapping between model and GPT is an interesting future direction of research supported by these articles.
By applying tools and insights from quantum foundations and quantum information theory to quantum gravity, this work underscores the value of interdisciplinary approaches. It is a testament to the potential of interdisciplinary projects like QISS, ISRQI, and It from qubit aiming to bridge the gap between the communities working in thee different fields.
► BibTeX data
► References
[1] Thomas D. Galley, Flaminia Giacomini, and John H. Selby, Any consistent coupling between classical gravity and quantum matter is fundamentally irreversible, Quantum 7, 1142 (2023).
https://doi.org/10.22331/q202310161142
[2] Kenneth Eppley and Eric Hannah, The necessity of quantizing the gravitational field, Foundations of Physics 7, 51 (1977).
https://doi.org/10.1007/BF00715241
[3] Roger Penrose, The Road to Reality: A Complete Guide to the Laws of the Universe, 1st ed. (Vintage Books, New York, 2007).
[4] Cécile DeWittMorette and Dean Rickles, eds., The Role of Gravitation in Physics: Report from the 1957 Chapel Hill Conference (MaxPlanckGesellschaft zur Förderung der Wissenschaften, 2011).
https://doi.org/10.34663/978394556129400
[5] Lajos Diósi, A universal master equation for the gravitational violation of quantum mechanics, Physics Letters A 120, 377 (1987).
https://doi.org/10.1016/03759601(87)906815
[6] Lajos Diósi, Models for universal reduction of macroscopic quantum fluctuations, Physical Review A 40, 1165 (1989).
https://doi.org/10.1103/PhysRevA.40.1165
[7] Jonathan Oppenheim, A Postquantum Theory of Classical Gravity? Physical Review X 13, 041040 (2023), arXiv:1811.03116.
https://doi.org/10.1103/PhysRevX.13.041040
arXiv:1811.03116
[8] Mohammad Bahrami, André Großardt, Sandro Donadi, and Angelo Bassi, The SchrödingerNewton Equation and Its Foundations, New Journal of Physics 16, 115007 (2014), arXiv:1407.4370.
https://doi.org/10.1088/13672630/16/11/115007
arXiv:1407.4370
[9] Claus Kiefer, Quantum Gravity, 3rd ed., International Series of Monographs on Physics No. 155 (Oxford University Press, Oxford, 2012).
[10] David Wallace, Quantum Gravity at Low Energies, (2021), arXiv:2112.12235.
https://doi.org/10.48550/arXiv.2112.12235
arXiv:2112.12235
[11] Bogdan Mielnik, Mobility of nonlinear systems, Journal of Mathematical Physics 21, 44 (2008).
https://doi.org/10.1063/1.524331
[12] Sougato Bose, Anupam Mazumdar, Gavin W. Morley, Hendrik Ulbricht, Marko Toroš, Mauro Paternostro, Andrew Geraci, Peter Barker, M. S. Kim, and Gerard Milburn, A Spin Entanglement Witness for Quantum Gravity, Physical Review Letters 119, 240401 (2017), arXiv:1707.06050.
https://doi.org/10.1103/physrevlett.119.240401
arXiv:1707.06050
[13] Chiara Marletto and Vlatko Vedral, Gravitationallyinduced entanglement between two massive particles is sufficient evidence of quantum effects in gravity, Physical Review Letters 119, 240402 (2017), arXiv:1707.06036.
https://doi.org/10.1103/physrevlett.119.240402
arXiv:1707.06036
[14] Chiara Marletto and Vlatko Vedral, Witnessing nonclassicality beyond quantum theory, Physical Review D 102, 086012 (2020), arXiv:2003.07974.
https://doi.org/10.1103/physrevd.102.086012
arXiv:2003.07974
[15] Thomas D. Galley, Flaminia Giacomini, and John H. Selby, A nogo theorem on the nature of the gravitational field beyond quantum theory, Quantum 6, 779 (2022).
https://doi.org/10.22331/q20220817779
[16] Andrea Di Biagio, Richard Howl, Časlav Brukner, Carlo Rovelli, and Marios Christodoulou, Relativistic locality can imply subsystem locality, arXiv:2305.05645 (2023).
https://doi.org/10.48550/arXiv.2305.05645
arXiv:2305.05645
[17] Markus P. Müller, Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes), SciPost Physics Lecture Notes , 28 (2021), arXiv:2011.01286.
https://doi.org/10.21468/SciPostPhysLectNotes.28
arXiv:2011.01286
[18] Lucien Hardy, Quantum Theory From Five Reasonable Axioms, (2001), arXiv:quantph/0101012.
https://doi.org/10.48550/arXiv.quantph/0101012
arXiv:quantph/0101012
[19] Jonathan Barrett, Information processing in generalized probabilistic theories, Physical Review A 75, 032304 (2007), arXiv:quantph/0508211.
https://doi.org/10.1103/physreva.75.032304
arXiv:quantph/0508211
[20] Howard Barnum, Jonathan Barrett, Matthew Leifer, and Alexander Wilce, Cloning and Broadcasting in Generic Probabilistic Theories, arXiv:quantph/0611295 (2006).
https://doi.org/10.48550/arXiv.quantph/0611295
arXiv:quantph/0611295
[21] Borivoje Dakić and Časlav Brukner, Quantum Theory and Beyond: Is Entanglement Special? in Deep Beauty: Understanding the Quantum World through Mathematical Innovation, edited by H. Halvoroson (2009) arXiv:0911.0695.
https://doi.org/10.1017/CBO9780511976971.011
arXiv:0911.0695
[22] Lluís Masanes and Markus P. Müller, A derivation of quantum theory from physical requirements, New Journal of Physics 13, 063001 (2011), arXiv:1004.1483.
https://doi.org/10.1088/13672630/13/6/063001
arXiv:1004.1483
[23] Lucien Hardy, Reconstructing quantum theory, (2013), arXiv:1303.1538.
https://doi.org/10.48550/arXiv.1303.1538
arXiv:1303.1538
[24] John H. Selby, Carlo Maria Scandolo, and Bob Coecke, Reconstructing quantum theory from diagrammatic postulates, Quantum 5, 445 (2021).
https://doi.org/10.22331/q20210428445
[25] Ognyan Oreshkov, Fabio Costa, and Caslav Brukner, Quantum correlations with no causal order, Nature Communications 3, 1092 (2012), arXiv:1105.4464.
https://doi.org/10.1038/ncomms2076
arXiv:1105.4464
[26] KokWei Bong, Aníbal UtrerasAlarcón, Farzad Ghafari, YeongCherng Liang, Nora Tischler, Eric G. Cavalcanti, Geoff J. Pryde, and Howard M. Wiseman, A strong nogo theorem on the Wigner's friend paradox, Nature Physics 16, 1199 (2020), arXiv:1907.05607.
https://doi.org/10.1038/s415670200990x
arXiv:1907.05607
[27] Yìlè Yīng, Marina Maciel Ansanelli, Andrea Di Biagio, Elie Wolfe, and Eric Gama Cavalcanti, Relating Wigner's Friend scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning, arXiv:2309.12987 (2023).
https://doi.org/10.48550/arXiv.2309.12987
arXiv:2309.12987
[28] Marcel Reginatto and Michael J. W. Hall, Quantumclassical interactions and measurement: A consistent description using statistical ensembles on configuration space, Journal of Physics: Conference Series 174, 012038 (2009), arXiv:0905.2948.
https://doi.org/10.1088/17426596/174/1/012038
arXiv:0905.2948
[29] Giulio Chiribella, Giacomo Mauro D'Ariano, and Paolo Perinotti, Informational derivation of Quantum Theory, Physical Review A 84, 012311 (2011), arXiv:1011.6451.
https://doi.org/10.1103/physreva.84.012311
arXiv:1011.6451
[30] Giacomo Mauro D'Ariano, Giulio Chiribella, and Paolo Perinotti, Quantum Theory from First Principles: An Informational Approach (Cambridge University Press, Cambridge, 2017).
https://doi.org/10.1017/9781107338340
[31] Bob Coecke and Aleks Kissinger, Picturing Quantum Processes (Cambridge University Press, West Nyack, 2017).
https://doi.org/10.1017/9781316219317
[32] Robert Oeckl, A local and operational framework for the foundations of physics, Advances in Theoretical and Mathematical Physics 23, 437 (2019), arXiv:1610.09052.
https://doi.org/10.4310/atmp.2019.v23.n2.a4
arXiv:1610.09052
[33] David Deutsch and Chiara Marletto, Constructor theory of information, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471, 20140540 (2015), arXiv:1405.5563.
https://doi.org/10.1098/rspa.2014.0540
arXiv:1405.5563
Cited by
On Crossref's citedby service no data on citing works was found (last attempt 20240223 19:22:18). On SAO/NASA ADS no data on citing works was found (last attempt 20240223 19:22:18).
This View is published in Quantum Views under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.