- Open Access
Fully Quantum Inflation: Quantum Marginal Problem Constraints in the Service of Causal Inference
PRX Quantum 7, 010351 – Published 13 March, 2026
DOI: https://doi.org/10.1103/244y-nh5n
Abstract
Consider the problem of deciding, for a particular multipartite quantum state, whether or not it is realizable in a quantum network with a particular causal structure. This is a fully quantum version of what causal inference researchers refer to as the problem of causal discovery. In this work, we introduce a fully quantum version of the inflation technique for causal inference, which leverages the quantum marginal problem. The primary example by which we illustrate the utility of this method is testing compatibility of tripartite quantum states with the quantum network known as the triangle scenario. We show, in particular, how the method yields a complete classification of pure three-qubit states into those that are and those that are not compatible with the triangle scenario. We also provide some illustrative examples involving mixed-states and some where one or more of the systems is higher dimensional. Furthermore, we examine the question of when the incompatibility of a multipartite quantum state with a causal structure can be inferred from the incompatibility of a joint probability distribution induced by implementing measurements on each subsystem. Finally, we present a family of networks, which includes the triangle scenario as a special case, for which causal compatibility constraints can be derived.
Physics Subject Headings (PhySH)
Popular Summary
In our modern society, interconnected telecommunication via, e.g., the Internet is ubiquitous. Pursuant to improvements in quantum technologies, there is a current and ongoing global effort to establish a quantum Internet, where communication is mediated by entangled quantum states. These entangled states are typically prepared at certain source nodes of the network before being distributed to the remaining nodes of the network, where further processing may occur. However, if the network has a specific topology, it may not be the case that any desired state can be prepared at the remaining nodes in this way.
In this article, we consider this state preparability question. Specifically, we present several “witnesses” which, like witnesses of quantum entanglement, can be used to demonstrate when a state is unable to be prepared in a certain network. We demonstrate the utility of these witnesses by answering the above question for various states and networks. These witnesses are derived using minimal assumptions: the entangled states distributed by the source nodes can be arbitrary (but finite dimensional). The only other constraints imposed are those of the network topology. Accordingly, due to these minimal assumptions, any resulting statement of state unpreparability is correspondingly strong.
A key contribution of this work is the method for deriving the witnesses mentioned above. There are, however, various questions that remain to be answered. Can stronger witnesses be found? What about a complete set of witnesses characterizing network state preparability exactly?
Article Text
References (95)
- J. Peters, D. Janzing, and B. Schölkopf, Elements of Causal Inference: Foundations and Learning Algorithms (MIT, Cambridge, MA, USA, 2017).
- J. S. Bell and A. Aspect, Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy (Cambridge University, Cambridge, UK, 2004), 2nd ed.
- W. Myrvold, M. Genovese, and A. Shimony, in The Stanford Encyclopedia of Philosophy, edited by E. N. Zalta and U. Nodelman (Metaphysics Research Lab, Stanford University, Stanford, California (USA), 2024), Spring 2024 ed.
- C. J. Wood and R. W. Spekkens, The lesson of causal discovery algorithms for quantum correlations: Causal explanations of Bell-inequality violations require fine-tuning, New J. Phys. 17, 033002 (2015).
- T. Fritz, Beyond Bell’s theorem: Correlation scenarios, New J. Phys. 14, 103001 (2012).
- T. Fritz, Beyond Bell’s theorem II: Scenarios with arbitrary causal structure, Commun. Math. Phys. 341, 391 (2016).
- K. Ried, M. Agnew, L. Vermeyden, D. Janzing, R. W. Spekkens, and K. J. Resch, A quantum advantage for inferring causal structure, Nat. Phys. 11, 414 (2015).
- G. Chiribella and D. Ebler, Quantum speedup in the identification of cause–effect relations, Nat. Commun. 10, 1472 (2019).
- J.-M. A. Allen, J. Barrett, D. C. Horsman, C. M. Lee, and R. W. Spekkens, Quantum common causes and quantum causal models, Phys. Rev. X 7, 031021 (2017).
- F. Costa and S. Shrapnel, Quantum causal modelling, New J. Phys. 18, 063032 (2016).
- J. Barrett, R. Lorenz, and O. Oreshkov, Quantum causal models, arXiv:1906.10726.
- J. Pearl, Causality (Cambridge University, Cambridge, UK, 2009), 2nd ed.
- P. Spirtes, C. Glymour, and R. Scheines, Causation, Prediction, and Search (MIT, Cambridge, MA, USA, 2001).
- Otherwise, one would need to consider some analog of a joint quantum state over systems that are cause-effect related, which is a thorny problem [87, 88].
- E. Wolfe, R. W. Spekkens, and T. Fritz, The inflation technique for causal inference with latent variables, J. Causal Inference 7, 20170020 (2019).
- It is known that the inflation technique completely solves the compatibility problem when the visible and latent nodes are classical [54]. For the case of visible nodes that are classical and latent nodes that are quantum, while the original technique can deliver some necessary conditions for compatibility, finding necessary and sufficient conditions requires the extension of the technique described in Ref. [31], with the proof that it completely solves the compatibility problem under certain constraints provided by Ref. [42, 89].
- Y.-K. Liu, in Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006 (Springer, Cambridge, MA, USA, 2006), pp. 438–449.
- T. C. Fraser, An estimation theoretic approach to quantum realizability problems, arXiv:2402.10902.
- W. Hall, Multipartite reduction criteria for separability, Phys. Rev. A 72, 022311 (2005).
- W. Hall, Compatibility of subsystem states and convex geometry, Phys. Rev. A 75, 032102 (2007).
- P. Butterley, A. Sudbery, and J. Szulc, Compatibility of subsystem states, Found. Phys. 36, 83 (2006).
- M. Navascués, E. Wolfe, D. Rosset, and A. Pozas-Kerstjens, Genuine network multipartite entanglement, Phys. Rev. Lett. 125, 240505 (2020).
- D. Schmid, T. C. Fraser, R. Kunjwal, A. B. Sainz, E. Wolfe, and R. W. Spekkens, Understanding the interplay of entanglement and nonlocality: Motivating and developing a new branch of entanglement theory, Quantum 7, 1194 (2023).
- When multipartite entanglement is studied within the framework of resource theories, one can make different choices for the free operations relative to which it is considered a resource [23]. We summarize the main distinctions here. If each party can implement any unitary operation in their local lab, then we refer to the free operations as Local Unitaries (LU). If they can implement any quantum operation, then we refer to the free operations as Local Operations (LO). If all parties have access to a common source of classical randomness (i.e., a dice roll or a coin flip) that produces an outcome which may influence the operation that each party implements, then we refer to the free operations as Local Operations with Shared Randomness (LOSR). If, in addition to this shared randomness, the parties have access to bipartite entangled quantum states distributed pairwise between parties, then we refer to the free operations as Local Operations with Shared Randomness and -Way Shared Entanglement (LOSR2WSE). If no shared randomness is available but pairwise entanglement is, then we refer to the free operations as LO2WSE and if the allowed operations are restricted to being unitary, then we refer to the free operations as LU2WSE. If the parties do not have access to pairwise entanglement but do have access to classical communication channels between them (which subsumes having access to shared randomness), then we refer to the free operations as Local Operations and Classical Communication (LOCC).
- To see this, we suppose that one can prepare the pure-state using LOSR2WSE and show that it follows that one can also prepare it without making use of the shared randomness, i.e., with just LO2WSE. Suppose the shared randomness consists of sampling a variable from a distribution and that in the LOSR2WSE protocol, the state prepared for the value is denoted , such that the overall state prepared in the protocol is . By virtue of the convex extremality of the state , the only way to have is if for all that are assigned nonzero probability by . But this implies that the protocol allows for the preparation without use of the shared randomness.
- T. Kraft, S. Designolle, C. Ritz, N. Brunner, O. Gühne, and M. Huber, Quantum entanglement in the triangle network, Phys. Rev. A 103, L060401 (2021).
- Reference [26] did not allow for tracing out subsystems, which is why the two approaches are distinct in spite of the Stinespring dilation theorem.
- M. M. Ansanelli, E. Wolfe, and R. W. Spekkens, Everything that can be learned about a causal structure with latent variables by observational and interventional probing schemes, arXiv:2407.01686.
- There is no loss of generality in doing so in the case of classical causal modelling because Ref. [90] showed that every partitioned DAG is observationally equivalent to one wherein all the latent nodes are exogenous.
- A comment regarding notation: if is empty, then .
- E. Wolfe, A. Pozas-Kerstjens, M. Grinberg, D. Rosset, A. Acín, and M. Navascués, Quantum inflation: A general approach to quantum causal compatibility, Phys. Rev. X 11, 021043 (2021).
- This terminology can also be motivated by recent developments of quantum networks within the context of the quantum internet [91, 92]. For example, several proposals exist for satellite-based “downlink” quantum networks (see, e.g., Refs. [68, 93]) whereby satellites act as sources distributing entangled states to separated receiver stations on the ground. In such cases, if the satellites are considered to be the latent nodes of the network and the ground stations the visible nodes, and if the lack of communication between these nodes can be justified on practical grounds (i.e., due to the separation of satellites in orbit or the stations on the ground [94]), then the topology of these downlink networks matches the type of causal structures termed networks here.
- The assumption that the latent spaces are finite-dimensional derives from nuances regarding the definition of causal compatibility that occur if this assumption is dropped—see the comments below Definition 2.
- H. Barnum, C. M. Caves, C. A. Fuchs, R. Jozsa, and B. Schumacher, Noncommuting mixed states cannot be broadcast, Phys. Rev. Lett. 76, 2818 (1996).
- W. Slofstra, in Forum of Mathematics, Pi (Cambridge University, Cambridge, UK, 2019), Vol. 7, p. e1.
- Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen, , Commun. ACM 64, 131 (2021).
- We note that the definition of a state being compatible with the triangle scenario using quantum latents, asks about the existence of arbitrary quantum channels , and in Eq. (4). In Refs. [26, 95], by contrast, these quantum channels are restricted to be unitary channels. Consequently, the notion of compatibility defined here is more permissive than the notion of compatibility proposed in Refs. [26, 95]. Because we cannot see a good reason to restrict these channels to unitaries, we consider the notion of compatibility described above to be the fundamental one, rather than that of Refs. [26, 95]. Nonetheless, there are cases where the two definitions coincide, such as when studying compatibility of pure-states. See Sec. 4a for a discussion of this case.
- In particular, this means that and are -separated by the empty set in . Also note that, in Ref. [15], a more general definition of expressible set was given, with the notion presented here being referred to as “ai-expressibility” (with “ai” standing for “ancestrally independent”). However, in the case where is a network, the set of ai-expressible sets is equal to the set of all expressible sets. As we focus exclusively on networks in this article, we refrain from providing the full definition here.
- Note that in Ref. [15], the pair consisting of and a particular choice of parameter values, par, was referred to as a causal model. For physicists, the term “model” appears natural as the description of a particular choice of parameter values. For statisticians, however, the term “model” naturally corresponds to a set of possible such choices. To reduce confusion, we here use the term “causal model” in a manner that is more in keeping with the statistician’s usage.
- The map has been defined in this way since we focus on networks in this work, meaning that no latent node of has any parents. It should be noted, however, that there are DAGs where latent nodes do have parents in . To cover this more general case, the inflation map can be defined without distinguishing between latent and visible nodes as is done above: for each , assigns to the parameter with the understanding that (a) if is empty, the map is a state-preparation and (b) if the children of in is a subset of the set of children of in (up to sameness of copy-indices), then there is a partial trace over the unused subspaces of to produce the reduced state on those subspaces corresponding to , as in (ii) above.
- Equivalently, one can define an inflation as nonfanout if the descendent subgraph of every latent node in the inflation DAG is the same up to copy-indices as the descendent subgraph of the corresponding latent node in the original DAG.
- L. T. Ligthart and D. Gross, The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario, J. Math. Phys. 64, 072201 (2023).
- D. M. Greenberger, M. A. Horne, and A. Zeilinger, in Bell’s Theorem, Quantum Theory and Conceptions of the Universe (Springer, Berlin-Heidelberg, Germany, 1989), pp. 69–72.
- Formally, can be understood as a vector in the -dimensional probability simplex (in ) containing all distributions , where denotes the (finite) number of values that the variable can take. By choosing a labeling , the vector corresponds to a unit vector along the axis in identified by (i.e., it corresponds to a vertex of the probability simplex).
- W. Dür, G. Vidal, and J. I. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A 62, 062314 (2000).
- The triangle-incompatibility of the W distribution can also be established using a nonfanout inflation, known as the Ring inflation, thereby establishing the incompatibility of the W distribution with the triangle scenario even when the latent nodes are quantum, a fact that will be of use to us further on. (For a description of the Ring inflation see Refs. [22, 86].)
For pedagogical purposes, we here explain why there is a difference between the cases of even and odd numbers of systems. In Ref. [19], it is shown that the operator(32)is positive for any cardinality of . However, this is not the same as Eq. (31) being positive for any cardinality of , since the sum in the above expression includes the case where while the sum in Eq. (31) does not. For odd cardinality of , we have that(33)while for even cardinality of , we have(34)In the odd cardinality case, is a sum of two positive operators and so we can conclude that it is positive, while in the even cardinality case, we cannot make this inference.
- T. C. Fraser and E. Wolfe, Causal compatibility inequalities admitting quantum violations in the triangle structure, Phys. Rev. A 98, 022113 (2018).
- E. Polino, D. Poderini, G. Rodari, I. Agresti, A. Suprano, G. Carvacho, E. Wolfe, A. Canabarro, G. Moreno, G. Milani et al., Experimental nonclassicality in a causal network without assuming freedom of choice, Nat. Commun. 14, 909 (2023).
- M. Navascués, E. Wolfe, D. Rosset, and A. Pozas-Kerstjens, Genuine network multipartite entanglement, Phys. Rev. Lett. 125, 240505 (2020).
- In general, for those states whose triangle-incompatibilty is distribution-witnessable by the Cut inflation, we do not expect all choices of local measurements to yield a distribution that witnesses this triangle-incompatibility. For instance, even though the triangle-incompatibility of the GHZ state is distribution-witnessable using the -Cut inflation by implementing a measurement of the computation basis on each qubit, it is not distribution-witnessable if one instead measures the basis on each qubit.
In its complex form, a semidefinite program can be formulated aswith and the Hermitian for . In the case considered here, is Hermitian as it is a linear combination of Hermitian operators and the set is convex (the partial transpose is a linear operation), which induces linear constraints on the variable .
- I. D. Smith, Code for Fig. 3, https://doi.org/10.5281/zenodo.15039119 (2025).
- M. Navascués and E. Wolfe, The inflation technique completely solves the causal compatibility problem, J. Causal Inference 8, 70 (2020).
- J. Siewert and C. Eltschka, Quantifying tripartite entanglement of three-qubit generalized Werner states, Phys. Rev. Lett. 108, 230502 (2012).
- R. F. Werner, Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model, Phys. Rev. A 40, 4277 (1989).
- G. Tóth and A. Acín, Genuine tripartite entangled states with a local hidden-variable model, Phys. Rev. A 74, 030306(R) (2006).
- H. A. Carteret, A. Higuchi, and A. Sudbery, Multipartite generalization of the Schmidt decomposition, J. Math. Phys. 41, 7932 (2000).
- Y.-X. Wang, Z.-P. Xu, and O. Gühne, Quantum LOSR networks cannot generate graph states with high fidelity, npj Quantum Inf. 10, 11 (2024).
- A. Sen(De) and U. Sen, Channel capacities versus entanglement measures in multiparty quantum states, Phys. Rev. A 81, 012308 (2010).
- A. Shimony, Degree of , Ann. N. Y. Acad. Sci. 755, 675 (1995).
- H. Barnum and N. Linden, Monotones and invariants for multi-particle quantum states, J. Phys. A: Math. Gen. 34, 6787 (2001).
- T. Das, S. S. Roy, S. Bagchi, A. Misra, A. Sen(De), and U. Sen, Generalized geometric measure of entanglement for multiparty mixed states, Phys. Rev. A 94, 022336 (2016).
- Note that we are not claiming that these witnesses are always guaranteed to be nontrivial; a priori some of the expressions obtained may be positive semidefinite for all states. One example of a trivial witness derived using the nonfanout inflation of the triangle scenario known as the Ring inflation is presented in Appendix pp3.
- Regarding notation: the square-bracketed superscript is used here to have a way of labeling visible nodes with a numerical index rather than by using different letters. It is distinct to how round-bracketed superscripts have been used to label the factor spaces in a factorization of the Hilbert space of a latent node.
- Recall that a set partition of a set is a set of subsets of such that and for all .
- The convention of considering index values greater than or less than or equal to to be taken modulo is a convention that will be applied throughout this section and in the corresponding appendix, Appendix 15. This also applies to set notation such as if it corresponds to the possible values an index can take.
- S.-K. Liao et al., Satellite-relayed intercontinental quantum network, Phys. Rev. Lett. 120, 030501 (2018).
- V. Krutyanskiy, M. Galli, V. Krcmarsky, S. Baier, D. A. Fioretto, Y. Pu, A. Mazloom, P. Sekatski, M. Canteri, M. Teller, J. Schupp, J. Bate, M. Meraner, N. Sangouard, B. P. Lanyon, and T. E. Northup, Entanglement of trapped-ion qubits separated by 230 meters, Phys. Rev. Lett. 130, 050803 (2023).
- M. Pompili, S. L. Hermans, S. Baier, H. K. Beukers, P. C. Humphreys, R. N. Schouten, R. F. Vermeulen, M. J. Tiggelman, L. dos Santos Martins, B. Dirkse et al., Realization of a multinode quantum network of remote solid-state qubits, Science 372, 259 (2021).
- M. Plávala, General probabilistic theories: An introduction, Phys. Rep. 1033, 1 (2023).
- J. Barrett, Information processing in generalized probabilistic theories, Phys. Rev. A 75, 032304 (2007).
- R. W. Spekkens, Evidence for the epistemic view of quantum states: A toy theory, Phys. Rev. A 75, 032110 (2007).
- C. M. Caves, C. A. Fuchs, and R. Schack, Unknown quantum states: The quantum de Finetti representation, J. Math. Phys. 43, 4537 (2002).
- W. K. Wootters, in Complexity, Entropy and the Physics of Information (CRC Press, Taylor & Francis Group, Boca Raton, FL, USA, 1990), Vol. 8, p. 39.
- S. Khatri and M. M. Wilde, Principles of quantum communication theory: A modern approach, arXiv:2011.04672.
- M. Tomamichel, Quantum Information Processing with Finite Resources: Mathematical Foundations (Springer, Cham, Switzerland, 2015), Vol. 5.
- M. M. Wilde, A. Winter, and D. Yang, Strong converse for the classical capacity of entanglement-breaking and hadamard channels via a sandwiched Rényi relative entropy, Commun. Math. Phys. 331, 593 (2014).
- M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, On quantum Rényi entropies: A new generalization and some properties, J. Math. Phys. 54, 122203 (2013).
- N. Datta, Min-and max-relative entropies and a new entanglement monotone, IEEE Trans. Inf. Theory 55, 2816 (2009).
- A. Acín, A. Andrianov, L. Costa, E. Jané, J. I. Latorre, and R. Tarrach, Generalized Schmidt decomposition and classification of three-quantum-bit states, Phys. Rev. Lett. 85, 1560 (2000).
- A. Girard, Invention Nouvelle En L’algebre (D. Bierens de Haan, Leiden, The Netherlands, 1884).
- Wikipedia contributors, Vieta’s formulas—Wikipedia, The Free Encyclopedia (2024) [Online; accessed 05-Nov-2024].
- A. Sudbery, On local invariants of pure three-qubit states, J. Phys. A: Math. Gen. 34, 643 (2001).
- Recall that the convenient on index values also applies when considering ranges of values, i.e., if it is taken modulo in the range .
- N. Gisin, J.-D. Bancal, Y. Cai, P. Remy, A. Tavakoli, E. Zambrini Cruzeiro, S. Popescu, and N. Brunner, Constraints on nonlocality in networks from no-signaling and independence, Nat. Commun. 11, 2378 (2020).
- D. Horsman, C. Heunen, M. F. Pusey, J. Barrett, and R. W. Spekkens, Can a quantum state over time resemble a quantum state at a single time? Proc. R. Soc. A: Math., Phys. Eng. Sci. 473, 20170395 (2017).
- J. Fullwood and A. J. Parzygnat, On quantum states over time, Proc. R. Soc. A 478, 20220104 (2022).
- L. T. Ligthart, M. Gachechiladze, and D. Gross, A convergent inflation hierarchy for quantum causal structures, Commun. Math. Phys. 401, 2673 (2023).
- R. J. Evans, Graphs for margins of Bayesian networks, Scand. J. Stat. 43, 625 (2016).
- H. J. Kimble, The quantum internet, Nature 453, 1023 (2008).
- S. Wehner, D. Elkouss, and R. Hanson, Quantum internet: A vision for the road ahead, Science 362, eaam9288 (2018).
- J.-P. Bourgoin, E. Meyer-Scott, B. L. Higgins, B. Helou, C. Erven, H. Huebel, B. Kumar, D. Hudson, I. D’Souza, R. Girard et al., A comprehensive design and performance analysis of low earth orbit satellite quantum communication, New J. Phys. 15, 023006 (2013).
- C. Simon, Towards a global quantum network, Nat. Photonics 11, 678 (2017).
- M.-X. Luo, New genuinely multipartite entanglement, Adv. Quantum Technol. 4, 2000123 (2021).
