Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Tropical Contraction of Tensor Networks as a Bell Inequality Optimization Toolset

Mengyao Hu* and Jordi Tura†

  • Instituut-Lorentz, Universiteit Leiden, 2333 CA Leiden, The Netherlands and ⟨aQaL⟩ Applied Quantum Algorithms Leiden, Leiden, The Netherlands

  • *Contact author: mengyao@lorentz.leidenuniv.nl
  • †Contact author: tura@lorentz.leidenuniv.nl

Phys. Rev. Lett. 136, 100202 – Published 12 March, 2026

DOI: https://doi.org/10.1103/r7s7-c7y2

Abstract

We show that finding the classical bound of broad families of Bell inequalities can be naturally framed as the contraction of an associated tensor network, but in tropical algebra, where the sum is replaced by the minimum and the product is replaced by the arithmetic addition. We illustrate our method with paradigmatic examples both in the multipartite scenario and the bipartite scenario with multiple outcomes. We showcase how the method extends into the thermodynamic limit for some translationally invariant systems and establish a connection between the notions of tropical eigenvalue and the classical bound per particle as a fixed point of a tropical renormalization procedure.

View figure in article

Physics Subject Headings (PhySH)

See Also

Characterizing translation-invariant Bell inequalities using tropical algebra and graph polytopes

Mengyao Hu, Eloïc Vallée, Tim Seynnaeve, Patrick Emonts, Fatemeh Mohammadi, and Jordi Tura
Phys. Rev. A 113, 032421 (2026)

Article Text

References (60)

  1. N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys. 86, 419 (2014).
  2. A. Einstein, B. Podolsky, and N. Rosen, Can quantum-mechanical description of physical reality be considered complete?, Phys. Rev. 47, 777 (1935).
  3. J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics (Long Island City, N.Y.) 1, 195 (1964).
  4. A. Aspect, P. Grangier, and G. Roger, Experimental realization of Einstein-Podolsky-Rosen-Bohm gedankenexperiment: A new violation of Bell’s inequalities, Phys. Rev. Lett. 49, 91 (1982).
  5. B. Hensen, H. Bernien, A. E. Dréau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abellán et al., Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres, Nature (London) 526, 682 (2015).
  6. M. Giustina, M. A. M. Versteegh, S. Wengerowsky, J. Handsteiner, A. Hochrainer, K. Phelan, F. Steinlechner, J. Kofler, J.-Å. Larsson, C. Abellán et al., Significant-loophole-free test of Bell’s theorem with entangled photons, Phys. Rev. Lett. 115, 250401 (2015).
  7. L. K. Shalm, E. Meyer-Scott, B. G. Christensen, P. Bierhorst, M. A. Wayne, M. J. Stevens, T. Gerrits, S. Glancy, D. R. Hamel, M. S. Allman et al., Strong loophole-free test of local realism, Phys. Rev. Lett. 115, 250402 (2015).
  8. T. B. B. T. Collaboration, Challenging local realism with human choices, Nature (London) 557, 212 (2018).
  9. A. Acín, N. Brunner, N. Gisin, S. Massar, S. Pironio, and V. Scarani, Device-independent security of quantum cryptography against collective attacks, Phys. Rev. Lett. 98, 230501 (2007).
  10. S. Pironio, Ll. Masanes, A. Leverrier, and A. Acín, Security of device-independent quantum key distribution in the bounded-quantum-storage model, Phys. Rev. X 3, 031007 (2013).
  11. R. Colbeck, Quantum and relativistic protocols for secure multi-party computation, arXiv:0911.3814.
  12. R. Colbeck and R. Renner, Free randomness can be amplified, Nat. Phys. 8, 450 (2012).
  13. R. Gallego, L. Masanes, G. D. L. Torre, C. Dhara, L. Aolita, and A. Acín, Full randomness from arbitrarily deterministic events, Nat. Commun. 4, 2654 (2013).
  14. I. Šupić and J. Bowles, Self-testing of quantum systems: A review, Quantum 4, 337 (2020).
  15. J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Proposed experiment to test local hidden-variable theories, Phys. Rev. Lett. 23, 880 (1969).
  16. D. Rosset, J.-D. Bancal, and N. Gisin, Classifying 50 years of Bell inequalities, J. Phys. A 47, 424022 (2014).
  17. I. Pitowsky, Quantum Probability—Quantum Logic, Lecture Notes in Physics (Springer, New York, 1989).
  18. I. Pitowsky and K. Svozil, Optimal tests of quantum nonlocality, Phys. Rev. A 64, 014102 (2001).
  19. B. Chazelle, An optimal convex hull algorithm in any fixed dimension, Discrete Comput. Geom. 10, 377 (1993).
  20. O. Gühne, G. Tóth, P. Hyllus, and H. J. Briegel, Bell inequalities for graph states, Phys. Rev. Lett. 95, 120405 (2005).
  21. G. Tóth, O. Gühne, and H. J. Briegel, Two-setting Bell inequalities for graph states, Phys. Rev. A 73, 022303 (2006).
  22. J. Tura, G. De las Cuevas, R. Augusiak, M. Lewenstein, A. Acín, and J. I. Cirac, Energy as a detector of nonlocality of many-body spin systems, Phys. Rev. X 7, 021005 (2017).
  23. P. Emonts, M. Hu, A. Aloy, and J. Tura, Effects of topological boundary conditions on Bell nonlocality, Phys. Rev. A 110, 032201 (2024).
  24. F. Barahona, On the computational complexity of Ising spin glass models, J. Phys. A 15, 3241 (1982).
  25. N. Schuch and J. I. Cirac, Matrix product state and mean-field solutions for one-dimensional systems can be found efficiently, Phys. Rev. A 82, 012314 (2010).
  26. D. Maclagan and B. Sturmfels, Introduction to Tropical Geometry (American Mathematical Society, Providence, 2015), p. 363.
  27. G. L. Litvinov and V. P. Maslov, The correspondence principle for idempotent calculus and some computer applications, in Idempotency, Publications of the Newton Institute (Cambridge University Press, Cambridge, England, 1998), pp. 420–443.
  28. O. Viro, Dequantization of Real algebraic geometry on logarithmic paper, in European Congress of Mathematics (Birkhäuser, Basel, 2001), pp. 135–146.
  29. G. Litvinov, V. Maslov, and A. Sobolevskii, Idempotent mathematics and interval analysis, arXiv:math/9911126.
  30. G. L. Litvinov, Maslov dequantization, idempotent and tropical mathematics: A brief introduction, J. Math. Sci. 140, 426 (2007).
  31. G. L. Litvinov, Idempotent/tropical analysis, the Hamilton–Jacobi and Bellman equations, in Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications: Cetraro, Italy 2011 (Springer, Berlin, Heidelberg, 2013), pp. 251–301.
  32. Z. Wang, S. Singh, and M. Navascués, Entanglement and nonlocality in infinite 1D systems, Phys. Rev. Lett. 118, 230401 (2017).
  33. K. Yang, X. Zeng, Y. Luo, G. Yang, L. Shu, M. Navascués, and Z. Wang, Contextuality in infinite one-dimensional translation-invariant local Hamiltonians, npj Quantum Inf. 8, 89 (2022).
  34. J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Rev. Mod. Phys. 93, 045003 (2021).
  35. M. Navascués, Resetting uncontrolled quantum systems, Phys. Rev. X 8, 031008 (2018).
  36. J.-G. Liu, L. Wang, and P. Zhang, Tropical tensor network for ground states of spin glasses, Phys. Rev. Lett. 126, 090506 (2021).
  37. S. Ebadi, A. Keesling, M. Cain, T. T. Wang, H. Levine, D. Bluvstein, G. Semeghini, A. Omran, J.-G. Liu, R. Samajdar et al., Quantum optimization of maximum independent set using Rydberg atom arrays, Science 376, 1209 (2022).
  38. J.-G. Liu, X. Gao, M. Cain, M. D. Lukin, and S.-T. Wang, Computing solution space properties of combinatorial optimization problems via generic tensor networks, SIAM J. Sci. Comput. 45, A1239 (2023).
  39. J. Tura, A. B. Sainz, T. Vértesi, A. Acín, M. Lewenstein, and R. Augusiak, Translationally invariant multipartite Bell inequalities involving only two-body correlators, J. Phys. A 47, 424024 (2014).
  40. M. Hu, E. Vallée, T. Seynnaeve, P. Emonts, F. Mohammadi, and J. Tura, companion paper, Characterizing translation-invariant Bell inequalities using tropical algebra and graph polytopes, Phys. Rev. A 113, 032421 (2026).
  41. A. Nowak, The tropical eigenvalue-vector problem from algebraic, graphical, and computational perspectives, Honors Theses, Bates College, 2014.
  42. D. Collins, N. Gisin, N. Linden, S. Massar, and S. Popescu, Bell inequalities for arbitrarily high-dimensional systems, Phys. Rev. Lett. 88, 040404 (2002).
  43. A. Salavrakos, R. Augusiak, J. Tura, P. Wittek, A. Acín, and S. Pironio, Bell inequalities tailored to maximally entangled states, Phys. Rev. Lett. 119, 040402 (2017).
  44. A. Fine, Hidden variables, joint probability, and the Bell inequalities, Phys. Rev. Lett. 48, 291 (1982).
  45. Z. Wang and M. Navascués, Two-dimensional translation-invariant probability distributions: Approximations, characterizations and no-go theorems, Proc. R. Soc. A 474, 20170822 (2018).
  46. I. J. Good, Normal recurring decimals, J. Lond. Math. Soc. 1, 167 (1946).
  47. N. G. De Bruijn, A combinatorial problem, Proc. K. Ned. Akad. Wet. (Amsterdam) 49, 758 (1946), https://research.tue.nl/en/publications/a-combinatorial-problem/.
  48. D. T. Stephen, Topological phases of matter with subsystem symmetries, Ph.D. thesis, Technische Universität München, Max Planck Institut für Quantenoptik, 2021.
  49. C. Huang, F. Zhang, M. Newman, X. Ni, D. Ding, J. Cai, X. Gao, T. Wang, F. Wu, G. Zhang et al., Efficient parallelization of tensor network contraction for simulating quantum computation, Nat. Comput. Sci. 1, 578 (2021).
  50. D. Aharonov, I. Arad, and S. Irani, Efficient algorithm for approximating one-dimensional ground states, Phys. Rev. A 82, 012315 (2010).
  51. W. Li, M. Hu, K. Wang, S. Xu, Z. Lu, J. Chen, Y. Wu, C. Zhang, F. Jin, X. Zhu et al., Improved nonlocality certification via bouncing between Bell operators and inequalities, arXiv:2407.12347.
  52. K. Wang et al., Probing many-body Bell correlation depth with superconducting qubits, Phys. Rev. X 15, 021024 (2025).
  53. M. Hu and J. Tura, Supporting code repository, https://gitlab.com/mengyaohu166/tropical-tensor-network (2026).
  54. G. Evenbly and R. N. C. Pfeifer, Improving the efficiency of variational tensor network algorithms, Phys. Rev. B 89, 245118 (2014).
  55. F. Schindler and A. S. Jermyn, Algorithms for tensor network contraction ordering, Mach. Learn. 1, 035001 (2020).
  56. F. Arute, K. Arya, R. Babbush, D. Bacon, J. C. Bardin, R. Barends, R. Biswas, S. Boixo, F. G. S. L. Brandao, D. A. Buell et al., Quantum supremacy using a programmable superconducting processor, Nature (London) 574, 505 (2019).
  57. B. Villalonga, S. Boixo, B. Nelson, C. Henze, E. Rieffel, R. Biswas, and S. Mandrà, A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware, npj Quantum Inf. 5, 86 (2019).
  58. S.-J. Ran, E. Tirrito, C. Peng, X. Chen, L. Tagliacozzo, G. Su, and M. Lewenstein, Tensor Network Contractions: Methods and Applications to Quantum Many-Body Systems (Springer Nature, New York, 2020).
  59. F. Pan, P. Zhou, S. Li, and P. Zhang, Contracting arbitrary tensor networks: General approximate algorithm and applications in graphical models and quantum circuit simulations, Phys. Rev. Lett. 125, 060503 (2020).
  60. J. Gray and S. Kourtis, Hyper-optimized tensor network contraction, Quantum 5, 410 (2021).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation