Quantum networks theory

Pablo Arrighi1, Amélia Durbec2, and Matt Wilson3,4,5

1Université Paris-Saclay, Inria, CNRS, LMF, 91190 Gif-sur-Yvette, France
2CNRS, Centrale Lille, JUNIA, Univ. Lille, Univ. Valenciennes, IEMN, 59046 Lille Cedex, France
3PPLV Group, Department of Computer Science, University College London
4Quantum Group, Department of Computer Science, University of Oxford, UK
5HKU-Oxford Joint Laboratory for Quantum Information and Computation

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

The formalism of quantum theory over discrete systems is extended in two significant ways. First, quantum evolutions are generalized to act over entire network configurations, so that nodes may find themselves in a quantum superposition of being connected or not, and be allowed to merge, split and reconnect coherently in a superposition. Second, tensors and traceouts are generalized, so that systems can be partitioned according to almost arbitrary logical predicates in a robust manner. The hereby presented mathematical framework is anchored on solid grounds through numerous lemmas. Indeed, one might have feared that the familiar interrelations between the notions of unitarity, complete positivity, trace-preservation, non-signalling causality, locality and localizability that are standard in quantum theory be jeopardized as the neighbourhood and partitioning between systems become both quantum, dynamical, and logical. Such interrelations in fact carry through, albeit two new notions become instrumental: consistency and comprehension.

Quantum evolutions can place objects in strange situations of being, say, both left and right with some amplitude. They could, in principle, also act on the geometry of things, e.g. placing Alice and Bob in a quantum superposition of being neighbours, or not. In which case they may or may not be able to communicate, depending in the branch of the quantum superposition.

This paper provides the adequate mathematical formalism to reason about those situations.

► BibTeX data

► References

[1] C. Papazian and E. Remila. ``Hyperbolic recognition by graph automata''. In Automata, languages and programming: 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002: proceedings. Volume 2380, page 330. Springer Verlag (2002).
https:/​/​doi.org/​10.1007/​3-540-45465-9_29

[2] Kerstin Beer, Dmytro Bondarenko, Terry Farrelly, Tobias J Osborne, Robert Salzmann, Daniel Scheiermann, and Ramona Wolf. ``Training deep quantum neural networks''. Nature communications 11, 1–6 (2020).
https:/​/​doi.org/​10.1038/​s41467-020-14454-2

[3] James Dickson Murray. ``Mathematical biology. ii: Spatial models and biomedical applications''. In Biomathematics. Volume 18. Springer Verlag (2003). Third edition.
https:/​/​doi.org/​10.1007/​b98869

[4] A. Klales, D. Cianci, Z. Needell, D. A. Meyer, and P. J. Love. ``Lattice gas simulations of dynamical geometry in two dimensions''. Phys. Rev. E. 82, 046705 (2010).
https:/​/​doi.org/​10.1103/​PhysRevE.82.046705

[5] Balazs Kozma and Alain Barrat. ``Consensus formation on adaptive networks''. Phys. Rev. E 77, 016102 (2008).
https:/​/​doi.org/​10.1103/​PhysRevE.77.016102

[6] H Jeff Kimble. ``The quantum internet''. Nature 453, 1023–1030 (2008).
https:/​/​doi.org/​10.1038/​nature07127

[7] Sébastien Perseguers, Maciej Lewenstein, A Acín, and J Ignacio Cirac. ``Quantum random networks''. Nature Physics 6, 539–543 (2010).
https:/​/​doi.org/​10.1038/​nphys1665

[8] Ginestra Bianconi and Christoph Rahmede. ``Network geometry with flavor: From complexity to quantum geometry''. Phys. Rev. E 93, 032315 (2016).
https:/​/​doi.org/​10.1103/​PhysRevE.93.032315

[9] P. Arrighi, V. Nesme, and R. Werner. ``Unitarity plus causality implies localizability''. J. of Computer and Systems Sciences 77, 372–378 (2010).
https:/​/​doi.org/​10.1016/​j.jcss.2010.05.004

[10] Simon J Gay. ``Quantum programming languages: Survey and bibliography''. Mathematical Structures in Computer Science 16, 581–600 (2006).
https:/​/​doi.org/​10.1017/​S0960129506005378

[11] P. Arrighi and S. Martiel. ``Quantum causal graph dynamics''. Physical Review D. 96, 024026 (2017).
https:/​/​doi.org/​10.1103/​PhysRevD.96.024026

[12] Giulio Chiribella, Giacomo Mauro D'Ariano, Paolo Perinotti, and Benoit Valiron. ``Quantum computations without definite causal structure''. Physical Review A 88, 022318 (2013).
https:/​/​doi.org/​10.1103/​PhysRevA.88.022318

[13] Giulio Chiribella and Hlér Kristjánsson. ``Quantum shannon theory with superpositions of trajectories''. Proceedings of the Royal Society A 475, 20180903 (2019).
https:/​/​doi.org/​10.1098/​rspa.2018.0903

[14] Nicolai Friis, Vedran Dunjko, Wolfgang Dür, and Hans J. Briegel. ``Implementing quantum control for unknown subroutines''. Phys. Rev. A 89, 030303 (2014).
https:/​/​doi.org/​10.1103/​PhysRevA.89.030303

[15] Lorenzo M. Procopio, Amir Moqanaki, Mateus Araújo, Fabio Costa, Irati Alonso Calafell, Emma G. Dowd, Deny R. Hamel, Lee A. Rozema, Časlav Brukner, and Philip Walther. ``Experimental superposition of orders of quantum gates''. Nature Communications 6 (2015).
https:/​/​doi.org/​10.1038/​ncomms8913

[16] Márcio Taddei, Jaime Cariñe, Daniel Martinez, Tania García, Nayda Guerrero, Alastair Abbott, Mateus Araújo, Cyril Branciard, Esteban Gómez, Stephen Walborn, Leandro Aolita, and Gabrela Lima. ``Computational advantage from the quantum superposition of multiple temporal orders of photonic gates''. PRX Quantum 2 (2021).
https:/​/​doi.org/​10.1103/​PRXQuantum.2.010320

[17] Ognyan Oreshkov, Fabio Costa, and Časlav Brukner. ``Quantum correlations with no causal order''. Nature communications 3, 1092 (2012).
https:/​/​doi.org/​10.1038/​ncomms2076

[18] Stefano Facchini and S. Perdrix. ``Quantum circuits for the unitary permutation problem''. In International Conference on Theory and Applications of Models of Computation. Pages 324–331. Springer (2015).
https:/​/​doi.org/​10.1007/​978-3-319-17142-5_28

[19] Mateus Araújo, Fabio Costa, and Časlav Brukner. ``Computational advantage from quantum-controlled ordering of gates''. Physical review letters 113, 250402 (2014).
https:/​/​doi.org/​10.1103/​PhysRevLett.113.250402

[20] Daniel Ebler, Sina Salek, and Giulio Chiribella. ``Enhanced communication with the assistance of indefinite causal order''. Physical review letters 120, 120502 (2018).
https:/​/​doi.org/​10.1103/​PhysRevLett.120.120502

[21] Alastair A. Abbott, Julian Wechs, Dominic Horsman, Mehdi Mhalla, and Cyril Branciard. ``Communication through coherent control of quantum channels''. Quantum 4, 333 (2020).
https:/​/​doi.org/​10.22331/​q-2020-09-24-333

[22] Esteban Castro-Ruiz, Flaminia Giacomini, and Časlav Brukner. ``Dynamics of quantum causal structures''. Phys. Rev. X 8, 011047 (2018).
https:/​/​doi.org/​10.1103/​PhysRevX.8.011047

[23] Sougato Bose, Anupam Mazumdar, Gavin W. Morley, Hendrik Ulbricht, Marko Toroš, Mauro Paternostro, Andrew A. Geraci, Peter F. Barker, M. S. Kim, and Gerard Milburn. ``Spin Entanglement Witness for Quantum Gravity''. Physical Review Letters 119 (2017).
https:/​/​doi.org/​10.1103/​PhysRevLett.119.240401

[24] Sougato Bose and Gavin W Morley. ``Matter and spin superposition in vacuum experiment (massive)'' (2018). arXiv:1810.07045.
arXiv:1810.07045

[25] Chiara Marletto and Vlatko Vedral. ``When can gravity path-entangle two spatially superposed masses?''. Phys. Rev. D 98, 046001 (2018).
https:/​/​doi.org/​10.1103/​PhysRevD.98.046001

[26] Ryan J. Marshman, Anupam Mazumdar, and Sougato Bose. ``Locality and entanglement in table-top testing of the quantum nature of linearized gravity''. Phys. Rev. A 101, 052110 (2020).
https:/​/​doi.org/​10.1103/​PhysRevA.101.052110

[27] Marios Christodoulou and Carlo Rovelli. ``On the possibility of laboratory evidence for quantum superposition of geometries''. Physics Letters B 792, 64–68 (2019). arXiv:1808.05842.
https:/​/​doi.org/​10.1016/​j.physletb.2019.03.015
arXiv:1808.05842

[28] Marios Christodoulou and Carlo Rovelli. ``On the possibility of experimental detection of the discreteness of time''. Front. in Phys. 8, 207 (2020). arXiv:1812.01542.
https:/​/​doi.org/​10.3389/​fphy.2020.00207
arXiv:1812.01542

[29] Carlo Rovelli. ``Simple model for quantum general relativity from loop quantum gravity''. In Journal of Physics: Conference Series. Volume 314, page 012006. IOP Publishing (2011).
https:/​/​doi.org/​10.1088/​1742-6596/​314/​1/​012006

[30] Jan Ambjørn, Jerzy Jurkiewicz, and Renate Loll. ``Emergence of a 4d world from causal quantum gravity''. Physical review letters 93, 131301 (2004).
https:/​/​doi.org/​10.1103/​PhysRevLett.93.131301

[31] Pablo Arrighi, Marios Christodoulou, and Amélia Durbec. ``On quantum superpositions of graphs'' (2020).

[32] Pablo Arrighi, Nicolas Durbec, and Aurélien Emmanuel. ``Reversibility vs local creation/​destruction''. In Proceedings of RC 2019, LLNCS. Volume 11497, pages 51–66. Springer (2019). arXiv:1805.10330.
https:/​/​doi.org/​10.1007/​978-3-030-21500-2_4
arXiv:1805.10330

[33] Ugo Nzongani, Nathanaël Eon, Iván Márquez-Martín, Armando Pérez, Giuseppe Di Molfetta, and Pablo Arrighi. ``Dirac quantum walk on tetrahedra'' (2024). arXiv:2404.09840.
arXiv:2404.09840

[34] Pablo Arrighi, Simon Martiel, and Simon Perdrix. ``Reversible causal graph dynamics: invertibility, block representation, vertex-preservation''. Natural Computing 19, 157–178 (2020).
https:/​/​doi.org/​10.1007/​s11047-019-09768-0

[35] Brosl Hasslacher and David A. Meyer. ``Modeling dynamical geometry with lattice-gas automata''. International Journal of Modern Physics C 09, 1597–1605 (1998).
https:/​/​doi.org/​10.1142/​S0129183198001448

[36] D. Beckman, D. Gottesman, M. A. Nielsen, and J. Preskill. ``Causal and localizable quantum operations''. Phys. Rev. A 64 (2001).
https:/​/​doi.org/​10.1103/​PHYSREVA.64.052309

[37] Tomasz Konopka, Fotini Markopoulou, and Simone Severini. ``Quantum graphity: A model of emergent locality''. Phys. Rev. D 77, 104029 (2008).
https:/​/​doi.org/​10.1103/​PhysRevD.77.104029

[38] Alioscia Hamma, Fotini Markopoulou, Seth Lloyd, Francesco Caravelli, Simone Severini, and Klas Markström. ``Quantum bose-hubbard model with an evolving graph as a toy model for emergent spacetime''. Phys. Rev. D 81, 104032 (2010).
https:/​/​doi.org/​10.1103/​PhysRevD.81.104032

[39] Jens Eisert and David Gross. ``Supersonic quantum communication''. Physical review letters 102, 240501 (2009).
https:/​/​doi.org/​10.1103/​PhysRevLett.102.240501

[40] 0. Bratteli and D. Robinson. ``Operators algebras and quantum statistical mechanics 1''. Springer. (1987).
https:/​/​doi.org/​10.1007/​978-3-662-02520-8

[41] Stefano Gogioso, Maria E. Stasinou, and Bob Coecke. ``Functorial evolution of quantum fields''. Frontiers in Physics 9, 24 (2021).
https:/​/​doi.org/​10.3389/​fphy.2021.534265

[42] Stefano Gogioso. ``A process-theoretic church of the larger hilbert space'' (2019).

[43] B. Schumacher and M. D. Westmoreland. ``Locality and information transfer in quantum operations''. Quantum Information Processing 4, 13–34 (2005).
https:/​/​doi.org/​10.1007/​s11128-004-3193-y

[44] Robin Lorenz and Jonathan Barrett. ``Causal and compositional structure of unitary transformations''. Quantum 5, 511 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-28-511

[45] Augustin Vanrietvelde, Hlér Kristjánsson, and Jonathan Barrett. ``Routed quantum circuits''. Quantum 5, 503 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-13-503

[46] Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, and Benoı̂t Valiron. ``Addressable quantum gates''. ACM Transactions on Quantum Computing 4 (2023).
https:/​/​doi.org/​10.1145/​3581760

[47] William Donnelly and Laurent Freidel. ``Local subsystems in gauge theory and gravity''. Journal of High Energy Physics 2016, 1–45 (2016).
https:/​/​doi.org/​10.1007/​JHEP09(2016)102

[48] J. P. Paz and W. H. Zurek. ``Environment-induced decoherence and the transition from quantum to classical''. Lecture Notes in Physics 587, 77–140 (2002).
https:/​/​doi.org/​10.1007/​3-540-45933-2_4

Cited by

[1] Phillip S. Isaac, Jon Links, Inna Lukyanenko, and Jason L. Werry, "Explicit conserved operators for a class of integrable bosonic networks from the classical Yang-Baxter equation", Journal of Geometry and Physics 225, 105837 (2026).

[2] Matt Wilson, Giulio Chiribella, and Aleks Kissinger, "Quantum Supermaps are Characterized by Locality", Quantum 10, 2013 (2026).

[3] Theophanes Raptis and Vasilios Raptis, The 5th International Conference on Symmetry (Symmetry 2025) 5 (2025).

[4] Matt Wilson and Augustin Vanrietvelde, "Composable constraints", arXiv:2112.06818, (2021).

[5] Kathleen Barsse, Paolo Perinotti, Alessandro Tosini, and Leonardo Vaglini, "Causal influence versus signaling for interacting quantum channels", Physical Review Research 6 4, 043305 (2024).

[6] Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, and Benoît Valiron, "Addressable quantum gates", arXiv:2109.08050, (2021).

[7] Pablo Arrighi, Amélia Durbec, and Aurélien Emmanuel, "Size-varying reversible causal graph dynamics", arXiv:1805.10330, (2018).

[8] Augustin Vanrietvelde, Octave Mestoudjian, and Pablo Arrighi, "Partitions in quantum theory", arXiv:2506.22218, (2025).

[9] Phillip S. Isaac, Jon Links, Inna Lukyanenko, and Jason L. Werry, "Explicit conserved operators for a class of integrable bosonic networks from the classical Yang-Baxter equation", arXiv:2507.00483, (2025).

[10] Pablo Arrighi, Amélia Durbec, and Matt Wilson, "Generalised tensors and traces", arXiv:2202.11340, (2022).

[11] Pablo Arrighi, Marios Christodoulou, and Amélia Durbec, "On quantum superpositions of graphs, no-signalling and covariance", Journal of Physics A Mathematical General 58 15, 155303 (2025).

[12] Pablo Arrighi, Marin Costes, and Luidnel Maignan, "Space-time reversible graph rewriting", arXiv:2510.03296, (2025).

The above citations are from Crossref's cited-by service (last updated successfully 2026-08-17 21:45:47) and SAO/NASA ADS (last updated successfully 2026-08-17 21:45:47). The list may be incomplete as not all publishers provide suitable and complete citation data.