Document Open Access Logo

Quantum Speedup for Sampling Random Spanning Trees

Authors Simon Apers, Minbo Gao, Zhengfeng Ji, Chenghua Liu

PDF

File

Thumbnail PDF
PDF
LIPIcs.ICALP.2025.13.pdf
  • Filesize: 0.75 MB
  • 21 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
  • Theory of computation → Quantum computation theory
Keywords
  • Quantum Computing
  • Quantum Algorithms
  • Random Spanning Trees

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

We present a quantum algorithm for sampling random spanning trees from a weighted graph in Õ(√{mn}) time, where n and m denote the number of vertices and edges, respectively. Our algorithm has sublinear runtime for dense graphs and achieves a quantum speedup over the best-known classical algorithm, which runs in Õ(m) time. The approach carefully combines, on one hand, a classical method based on "large-step" random walks for reduced mixing time and, on the other hand, quantum algorithmic techniques, including quantum graph sparsification and a sampling-without-replacement variant of Hamoudi’s multiple-state preparation. We also establish a matching lower bound, proving the optimality of our algorithm up to polylogarithmic factors. These results highlight the potential of quantum computing in accelerating fundamental graph sampling problems.

Cite As Get BibTex

Simon Apers, Minbo Gao, Zhengfeng Ji, and Chenghua Liu. Quantum Speedup for Sampling Random Spanning Trees. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 13:1-13:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ICALP.2025.13

Author Details

Simon Apers
  • Université Paris Cité, CNRS, IRIF, Paris, France
Minbo Gao
  • Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
  • University of Chinese Academy of Sciences, Beijing, China
Zhengfeng Ji
  • Department of Computer Science and Technology, Tsinghua University, Beijing, China
Chenghua Liu
  • Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
  • University of Chinese Academy of Sciences, Beijing, China

Funding

The work is supported by National Key Research and Development Program of China (Grant No. 2023YFA1009403), National Natural Science Foundation of China (Grant No. 12347104), and Beijing Natural Science Foundation (Grant No. Z220002). SA was supported in part by the European QuantERA project QOPT (ERA-NET Cofund 2022-25), the French PEPR integrated projects EPiQ (ANR-22-PETQ-0007) and HQI (ANR-22-PNCQ-0002), and the French ANR project QUOPS (ANR-22-CE47-0003-01).

Acknowledgements

We would like to thank Yang P. Liu for explaining the details of their work. Minbo Gao and Chenghua Liu would like to thank Sebastian Zur for helpful discussions on quantum random walks and quantum sampling algorithms. Minbo Gao would like to thank Jingqin Yang for discussions of link-cut trees used in previous spanning tree sampling algorithms.

References

  1. Dorna Abdolazimi, Kuikui Liu, and Shayan Oveis Gharan. A matrix trickle-down theorem on simplicial complexes and applications to sampling colorings. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 161-172. IEEE, 2022. Google Scholar
  2. Dorit Aharonov, Andris Ambainis, Julia Kempe, and Umesh Vazirani. Quantum walks on graphs. In Proceedings of the thirty-third annual ACM symposium on Theory of computing, pages 50-59, 2001. URL: https://doi.org/10.1145/380752.380758.
  3. David J Aldous. The random walk construction of uniform spanning trees and uniform labelled trees. SIAM Journal on Discrete Mathematics, 3(4):450-465, 1990. URL: https://doi.org/10.1137/0403039.
  4. Vedat Levi Alev and Lap Chi Lau. Improved analysis of higher order random walks and applications. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 1198-1211, 2020. URL: https://doi.org/10.1145/3357713.3384317.
  5. Yeganeh Alimohammadi, Nima Anari, Kirankumar Shiragur, and Thuy-Duong Vuong. Fractionally log-concave and sector-stable polynomials: counting planar matchings and more. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 433-446, 2021. URL: https://doi.org/10.1145/3406325.3451123.
  6. Nima Anari and Michał Dereziński. Isotropy and log-concave polynomials: Accelerated sampling and high-precision counting of matroid bases. In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1331-1344. IEEE, 2020. Google Scholar
  7. Nima Anari, Michał Dereziński, Thuy-Duong Vuong, and Elizabeth Yang. Domain Sparsification of Discrete Distributions Using Entropic Independence. In Mark Braverman, editor, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), volume 215 of Leibniz International Proceedings in Informatics (LIPIcs), pages 5:1-5:23, Dagstuhl, Germany, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ITCS.2022.5.
  8. Nima Anari, Kuikui Liu, and Shayan Oveis Gharan. Spectral independence in high-dimensional expanders and applications to the hardcore model. SIAM Journal on Computing, 53(6):FOCS20-1-FOCS20-37, 2024. URL: https://doi.org/10.1137/20M1367696.
  9. Nima Anari, Kuikui Liu, Shayan Oveis Gharan, Cynthia Vinzant, and Thuy-Duong Vuong. Log-concave polynomials iv: approximate exchange, tight mixing times, and near-optimal sampling of forests. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 408-420, 2021. URL: https://doi.org/10.1145/3406325.3451091.
  10. Nima Anari, Yang P. Liu, and Thuy-Duong Vuong. Optimal sublinear sampling of spanning trees and determinantal point processes via average-case entropic independence. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 123-134, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00019.
  11. Simon Apers and Ronald de Wolf. Quantum speedup for graph sparsification, cut approximation, and laplacian solving. SIAM Journal on Computing, 51(6):1703-1742, 2022. URL: https://doi.org/10.1137/21M1391018.
  12. Arash Asadpour, Michel X. Goemans, Aleksander Mądry, Shayan Oveis Gharan, and Amin Saberi. An O(log n log log n)-approximation algorithm for the asymmetric traveling salesman problem. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, pages 379-389, 2010. URL: https://doi.org/10.1137/1.9781611973075.32.
  13. Antonio Blanca, Pietro Caputo, Zongchen Chen, Daniel Parisi, Daniel Štefankovič, and Eric Vigoda. On mixing of markov chains: Coupling, spectral independence, and entropy factorization. In Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3670-3692, 2022. URL: https://doi.org/10.1137/1.9781611977073.145.
  14. Sergey G Bobkov and Prasad Tetali. Modified logarithmic Sobolev inequalities in discrete settings. Journal of Theoretical Probability, 19:289-336, 2006. Google Scholar
  15. Julius Borcea, Petter Brändén, and Thomas Liggett. Negative dependence and the geometry of polynomials. Journal of the American Mathematical Society, 22(2):521-567, 2009. Google Scholar
  16. Andrei Z Broder. Generating random spanning trees. In FOCS, volume 89, pages 442-447, 1989. URL: https://doi.org/10.1109/SFCS.1989.63516.
  17. Nicolo Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella, et al. Random spanning trees and the prediction of weighted graphs. Journal of Machine Learning Research, 14(1):1251-1284, 2013. URL: https://doi.org/10.5555/2567709.2502620.
  18. Zongchen Chen, Andreas Galanis, Daniel Štefankovič, and Eric Vigoda. Rapid mixing for colorings via spectral independence. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1548-1557. SIAM, 2021. Google Scholar
  19. Charles J Colbourn, Wendy J Myrvold, and Eugene Neufeld. Two algorithms for unranking arborescences. Journal of Algorithms, 20(2):268-281, 1996. URL: https://doi.org/10.1006/JAGM.1996.0014.
  20. Mary Cryan, Heng Guo, and Giorgos Mousa. Modified log-Sobolev inequalities for strongly log-concave distributions. The Annals of Probability, 49(1):506-525, 2021. URL: https://doi.org/10.1214/20-AOP1453.
  21. Michal Derezinski, Burak Bartan, Mert Pilanci, and Michael W Mahoney. Debiasing distributed second order optimization with surrogate sketching and scaled regularization. Advances in Neural Information Processing Systems, 33:6684-6695, 2020. Google Scholar
  22. Michał Dereziński, Kenneth L Clarkson, Michael W Mahoney, and Manfred K Warmuth. Minimax experimental design: Bridging the gap between statistical and worst-case approaches to least squares regression. In Conference on Learning Theory, pages 1050-1069. PMLR, 2019. Google Scholar
  23. Michal Derezinski, Rajiv Khanna, and Michael W Mahoney. Improved guarantees and a multiple-descent curve for column subset selection and the nystrom method. Advances in Neural Information Processing Systems, 33:4953-4964, 2020. Google Scholar
  24. Michal Derezinski and Manfred KK Warmuth. Unbiased estimates for linear regression via volume sampling. Advances in Neural Information Processing Systems, 30, 2017. Google Scholar
  25. Michał Dereziński and Jiaming Yang. Solving dense linear systems faster than via preconditioning. In Proceedings of the 56th Annual ACM Symposium on Theory of Computing, pages 1118-1129, 2024. Google Scholar
  26. Leo L Duan, Zeyu Yuwen, George Michailidis, and Zhengwu Zhang. Low tree-rank bayesian vector autoregression models. Journal of Machine Learning Research, 24(286):1-35, 2023. URL: http://jmlr.org/papers/v24/22-0360.html.
  27. David Durfee, Rasmus Kyng, John Peebles, Anup B Rao, and Sushant Sachdeva. Sampling random spanning trees faster than matrix multiplication. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pages 730-742, 2017. URL: https://doi.org/10.1145/3055399.3055499.
  28. David Durfee, John Peebles, Richard Peng, and Anup B Rao. Determinant-preserving sparsification of SDDM matrices with applications to counting and sampling spanning trees. In 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), pages 926-937. IEEE, 2017. URL: https://doi.org/10.1109/FOCS.2017.90.
  29. Christoph Dürr, Mark Heiligman, Peter Høyer, and Mehdi Mhalla. Quantum query complexity of some graph problems. SIAM Journal on Computing, 35(6):1310-1328, 2006. URL: https://doi.org/10.1137/050644719.
  30. Ronald M Foster. The average impedance of an electrical network. Contributions to Applied Mechanics (Reissner Anniversary Volume), 333, 1949. Google Scholar
  31. Shayan Oveis Gharan, Amin Saberi, and Mohit Singh. A randomized rounding approach to the traveling salesman problem. In 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pages 550-559. IEEE, 2011. URL: https://doi.org/10.1109/FOCS.2011.80.
  32. Navin Goyal, Luis Rademacher, and Santosh Vempala. Expanders via random spanning trees. In Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms, pages 576-585. SIAM, 2009. URL: https://doi.org/10.1137/1.9781611973068.64.
  33. Lov K Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pages 212-219, 1996. URL: https://doi.org/10.1145/237814.237866.
  34. Alain Guenoche. Random spanning tree. Journal of Algorithms, 4(3):214-220, 1983. URL: https://doi.org/10.1016/0196-6774(83)90022-6.
  35. Yassine Hamoudi. Preparing many copies of a quantum state in the black-box model. Physical Review A, 105:062440, June 2022. URL: https://doi.org/10.1103/PhysRevA.105.062440.
  36. Nicholas JA Harvey and Keyulu Xu. Generating random spanning trees via fast matrix multiplication. In LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings 12, pages 522-535. Springer, 2016. URL: https://doi.org/10.1007/978-3-662-49529-2_39.
  37. Mark Herbster, Stephen Pasteris, Fabio Vitale, and Massimiliano Pontil. A gang of adversarial bandits. Advances in Neural Information Processing Systems, 34:2265-2279, 2021. URL: https://proceedings.neurips.cc/paper/2021/hash/124461dcd3571e6674ec4e0e140cc298-Abstract.html.
  38. Vishesh Jain, Huy Tuan Pham, and Thuy Duong Vuong. Spectral independence, coupling with the stationary distribution, and the spectral gap of the glauber dynamics. arXiv preprint arXiv:2105.01201, 2021. URL: https://arxiv.org/abs/2105.01201.
  39. Jonathan A Kelner and Aleksander Madry. Faster generation of random spanning trees. In 2009 50th Annual IEEE Symposium on Foundations of Computer Science, pages 13-21. IEEE, 2009. URL: https://doi.org/10.1109/FOCS.2009.75.
  40. Gustav Kirchhoff. Ueber die auflösung der gleichungen, auf welche man bei der untersuchung der linearen vertheilung galvanischer ströme geführt wird. Annalen der Physik, 148(12):497-508, 1847. Google Scholar
  41. Hartmut Klauck, Robert Špalek, and Ronald De Wolf. Quantum and classical strong direct product theorems and optimal time-space tradeoffs. SIAM Journal on Computing, 36(5):1472-1493, 2007. URL: https://doi.org/10.1137/05063235X.
  42. Alex Kulesza and Ben Taskar. k-dpps: Fixed-size determinantal point processes. In Proceedings of the 28th International Conference on Machine Learning (ICML-11), pages 1193-1200, 2011. URL: https://icml.cc/2011/papers/611_icmlpaper.pdf.
  43. Alex Kulesza, Ben Taskar, et al. Determinantal point processes for machine learning. Foundations and Trends® in Machine Learning, 5(2-3):123-286, 2012. URL: https://doi.org/10.1561/2200000044.
  44. Vidyadhar G. Kulkarni. Generating random combinatorial objects. Journal of Algorithms, 11(2):185-207, 1990. URL: https://doi.org/10.1016/0196-6774(90)90002-V.
  45. Yin Tat Lee and Santosh S Vempala. Eldan’s stochastic localization and the KLS conjecture: Isoperimetry, concentration and mixing. Annals of Mathematics, 199(3):1043-1092, 2024. Google Scholar
  46. David A Levin and Yuval Peres. Markov chains and mixing times, volume 107. American Mathematical Soc., 2017. Google Scholar
  47. Kuikui Liu. From Coupling to Spectral Independence and Blackbox Comparison with the Down-Up Walk. In Mary Wootters and Laura Sanità, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021), volume 207 of Leibniz International Proceedings in Informatics (LIPIcs), pages 32:1-32:21, Dagstuhl, Germany, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.32.
  48. Russell Lyons and Yuval Peres. Probability on trees and networks, volume 42. Cambridge University Press, 2017. Google Scholar
  49. Aleksander Madry, Damian Straszak, and Jakub Tarnawski. Fast generation of random spanning trees and the effective resistance metric. In Proceedings of the twenty-sixth annual ACM-SIAM symposium on Discrete algorithms, pages 2019-2036. SIAM, 2014. Google Scholar
  50. Cristopher Moore and Alexander Russell. Quantum walks on the hypercube. In Randomization and Approximation Techniques in Computer Science: 6th International Workshop, RANDOM 2002 Cambridge, MA, USA, September 13-15, 2002 Proceedings 5, pages 164-178. Springer, 2002. URL: https://doi.org/10.1007/3-540-45726-7_14.
  51. Aleksandar Nikolov, Mohit Singh, and Uthaipon Tantipongpipat. Proportional volume sampling and approximation algorithms for a-optimal design. Mathematics of Operations Research, 47(2):847-877, 2022. URL: https://doi.org/10.1287/MOOR.2021.1129.
  52. Peter C Richter. Quantum speedup of classical mixing processes. Physical Review A—Atomic, Molecular, and Optical Physics, 76(4):042306, 2007. Google Scholar
  53. Robin Richter, Shankar Bhamidi, and Sach Mukherjee. Improved baselines for causal structure learning on interventional data. Statistics and Computing, 33(5):93, 2023. URL: https://doi.org/10.1007/S11222-023-10257-9.
  54. Mark Rudelson. Random vectors in the isotropic position. Journal of Functional Analysis, 164(1):60-72, 1999. Google Scholar
  55. Luís MS Russo, Andreia Sofia Teixeira, and Alexandre P Francisco. Linking and cutting spanning trees. Algorithms, 11(4):53, 2018. URL: https://doi.org/10.3390/A11040053.
  56. Luís M. S. Russo, Andreia Sofia Teixeira, and Alexandre P. Francisco. Linking and cutting spanning trees. Algorithms, 11(4), 2018. URL: https://doi.org/10.3390/a11040053.
  57. Aaron Schild. An almost-linear time algorithm for uniform random spanning tree generation. In Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, pages 214-227, 2018. URL: https://doi.org/10.1145/3188745.3188852.
  58. James Sharpnack, Aarti Singh, and Akshay Krishnamurthy. Detecting activations over graphs using spanning tree wavelet bases. In Artificial intelligence and statistics, pages 536-544. PMLR, 2013. URL: http://proceedings.mlr.press/v31/sharpnack13a.html.
  59. Daniel A. Spielman and Nikhil Srivastava. Graph sparsification by effective resistances. SIAM Journal on Computing, 40(6):1913-1926, 2011. URL: https://doi.org/10.1137/080734029.
  60. Leonardo V Teixeira, Renato M Assunção, and Rosangela H Loschi. Bayesian space-time partitioning by sampling and pruning spanning trees. Journal of Machine Learning Research, 20(85):1-35, 2019. URL: https://jmlr.org/papers/v20/16-615.html.
  61. David Bruce Wilson. Generating random spanning trees more quickly than the cover time. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pages 296-303, 1996. URL: https://doi.org/10.1145/237814.237880.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact