Document Open Access Logo

Low Sensitivity Hopsets

Authors Vikrant Ashvinkumar, Aaron Bernstein , Chengyuan Deng, Jie Gao , Nicole Wein

PDF
Thumbnail PDF

File

LIPIcs.ITCS.2025.13.pdf
  • Filesize: 0.94 MB
  • 23 pages

Document Identifiers

Author Details

Vikrant Ashvinkumar
  • Rutgers University, Piscataway, NJ, USA
Aaron Bernstein
  • New York University, NY, USA
Chengyuan Deng
  • Rutgers University, Piscataway, NJ, USA
Jie Gao
  • Rutgers University, Piscataway, NJ, USA
Nicole Wein
  • University of Michigan, Ann Arbor, MI, USA

Funding

  • Bernstein, Aaron: Funding through Sloan Fellowship, Google Research Award, and NSF Grant 1942010.
  • Gao, Jie: Ashvinkumar, Deng and Gao would like to acknowledge funding through NSF IIS-2229876, DMS-2220271, DMS-2311064, CCF-2208663, CCF-2118953.
  • Wein, Nicole: This work was done while the author was at DIMACS, Rutgers University, supported by a grant to DIMACS from the Simons Foundation (820931).

Acknowledgements

The authors would like to thank Greg Bodwin for helpful discussions about hopsets.

Cite As Get BibTex

Vikrant Ashvinkumar, Aaron Bernstein, Chengyuan Deng, Jie Gao, and Nicole Wein. Low Sensitivity Hopsets. In 16th Innovations in Theoretical Computer Science Conference (ITCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 325, pp. 13:1-13:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ITCS.2025.13

Abstract

Given a weighted graph G = (V,E,w), a (β, ε)-hopset H is an edge set such that for any s,t ∈ V, where s can reach t in G, there is a path from s to t in G ∪ H which uses at most β hops whose length is in the range [dist_G(s,t), (1+ε)dist_G(s,t)]. We break away from the traditional question that asks for a hopset H that achieves small |H| and small diameter β and instead study the sensitivity of H, a new quality measure. The sensitivity of a vertex (or edge) given a hopset H is, informally, the number of times a single hop in G ∪ H bypasses it; a bit more formally, assuming shortest paths in G are unique, it is the number of hopset edges (s,t) ∈ H such that the vertex (or edge) is contained in the unique st-path in G having length exactly dist_G(s,t). The sensitivity associated with H is then the maximum sensitivity over all vertices (or edges). The highlights of our results are:  
- A construction for (Õ(√n), 0)-hopsets on undirected graphs with O(log n) sensitivity, complemented with a lower bound showing that Õ(√n) is tight up to polylogarithmic factors for any construction with polylogarithmic sensitivity. 
- A construction for (n^o(1), ε)-hopsets on undirected graphs with n^o(1) sensitivity for any ε > 0 that is at least inverse polylogarithmic, complemented with a lower bound on the tradeoff between β, ε, and the sensitivity. 
- We define a notion of sensitivity for β-shortcut sets (which are the reachability analogues of hopsets) and give a construction for Õ(√n)-shortcut sets on directed graphs with O(log n) sensitivity, complemented with a lower bound showing that β = Ω̃(n^{1/3}) for any construction with polylogarithmic sensitivity. 
We believe hopset sensitivity is a natural measure in and of itself, and could potentially find use in a diverse range of contexts. More concretely, the notion of hopset sensitivity is also directly motivated by the Differentially Private All Sets Range Queries problem [Deng et al. WADS 23]. Our result for O(log n) sensitivity (Õ(√n), 0)-hopsets on undirected graphs immediately improves the current best-known upper bound on utility from Õ(n^{1/3}) to Õ(n^{1/4}) in the pure-DP setting, which is tight up to polylogarithmic factors.

Subject Classification

ACM Subject Classification
  • Theory of computation → Shortest paths
  • Theory of computation → Sparsification and spanners
Keywords
  • Hopsets
  • Shortcuts
  • Sensitivity
  • Differential Privacy

Metrics

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

Related Versions

References

  1. Amir Abboud and Greg Bodwin. The 4/3 additive spanner exponent is tight. Journal of the ACM (JACM), 64(4):1-20, 2017. URL: https://doi.org/10.1145/3088511.
  2. Amir Abboud, Greg Bodwin, and Seth Pettie. A hierarchy of lower bounds for sublinear additive spanners. SIAM Journal on Computing, 47(6):2203-2236, 2018. URL: https://doi.org/10.1137/16M1105815.
  3. Noga Alon. Testing subgraphs in large graphs. Random Structures & Algorithms, 21(3-4):359-370, 2002. URL: https://doi.org/10.1002/RSA.10056.
  4. Vikrant Ashvinkumar, Aaron Bernstein, Chengyuan Deng, Jie Gao, and Nicole Wein. Low sensitivity hopsets. arXiv preprint, 2024. URL: https://doi.org/10.48550/arXiv.2407.10249.
  5. Felix A Behrend. On sets of integers which contain no three terms in arithmetical progression. Proceedings of the National Academy of Sciences, 32(12):331-332, 1946. Google Scholar
  6. Uri Ben-Levy and Merav Parter. New (α, β) spanners and hopsets. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1695-1714. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.104.
  7. Aaron Bernstein, Maximilian Probst Gutenberg, and Christian Wulff-Nilsen. Near-optimal decremental SSSP in dense weighted digraphs. In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1112-1122. IEEE, 2020. URL: https://doi.org/10.1109/FOCS46700.2020.00107.
  8. Aaron Bernstein and Nicole Wein. Closing the gap between directed hopsets and shortcut sets. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 163-182. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH7.
  9. Greg Bodwin. New results on linear size distance preservers. SIAM Journal on Computing, 50(2):662-673, 2021. URL: https://doi.org/10.1137/19M123662X.
  10. Greg Bodwin, Chengyuan Deng, Jie Gao, Gary Hoppenworth, Jalaj Upadhyay, and Chen Wang. The discrepancy of shortest paths. In Karl Bringmann, Martin Grohe, Gabriele Puppis, and Ola Svensson, editors, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), volume 297 of Leibniz International Proceedings in Informatics (LIPIcs), pages 27:1-27:20, Dagstuhl, Germany, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPICS.ICALP.2024.27.
  11. Greg Bodwin and Gary Hoppenworth. Folklore sampling is optimal for exact hopsets: Confirming the √n barrier. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), pages 701-720. IEEE, 2023. Google Scholar
  12. Nairen Cao, Jeremy T Fineman, and Katina Russell. Efficient construction of directed hopsets and parallel approximate shortest paths. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 336-349, 2020. URL: https://doi.org/10.1145/3357713.3384270.
  13. Nairen Cao, Jeremy T Fineman, and Katina Russell. Brief announcement: An improved distributed approximate single source shortest paths algorithm. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, pages 493-496, 2021. URL: https://doi.org/10.1145/3465084.3467945.
  14. Shiri Chechik and Tianyi Zhang. Path-reporting distance oracles with logarithmic stretch and linear size. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), pages 42:1-42:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. URL: https://doi.org/10.4230/LIPICS.ICALP.2024.42.
  15. Justin Y. Chen, Badih Ghazi, Ravi Kumar, Pasin Manurangsi, Shyam Narayanan, Jelani Nelson, and Yinzhan Xu. Differentially private all-pairs shortest path distances: Improved algorithms and lower bounds. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 5040-5067, 2023. URL: https://doi.org/10.1137/1.9781611977554.CH184.
  16. Edith Cohen. Polylog-time and near-linear work approximation scheme for undirected shortest paths. Journal of the ACM (JACM), 47(1):132-166, 2000. URL: https://doi.org/10.1145/331605.331610.
  17. Don Coppersmith and Michael Elkin. Sparse sourcewise and pairwise distance preservers. SIAM Journal on Discrete Mathematics, 20(2):463-501, 2006. URL: https://doi.org/10.1137/050630696.
  18. Chengyuan Deng, Jie Gao, Jalaj Upadhyay, and Chen Wang. Differentially private range query on shortest paths. In Algorithms and Data Structures Symposium, pages 340-370. Springer, 2023. Google Scholar
  19. Cynthia Dwork and Aaron Roth. The algorithmic foundations of differential privacy. Foundations and Trendsregistered in Theoretical Computer Science, 9(3-4):211-407, 2014. URL: https://doi.org/10.1561/0400000042.
  20. Michael Elkin and Ofer Neiman. Linear-size hopsets with small hopbound, and distributed routing with low memory. arXiv preprint, 2017. URL: https://arxiv.org/abs/1704.08468.
  21. Michael Elkin and Ofer Neiman. Hopsets with constant hopbound, and applications to approximate shortest paths. SIAM Journal on Computing, 48(4):1436-1480, 2019. URL: https://doi.org/10.1137/18M1166791.
  22. Michael Elkin and Idan Shabat. Path-reporting distance oracles with logarithmic stretch and size o(n log log n). In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), pages 2278-2311. IEEE, 2023. URL: https://doi.org/10.1109/FOCS57990.2023.00141.
  23. Chenglin Fan and Ping Li. Distances release with differential privacy in tree and grid graph. In 2022 IEEE International Symposium on Information Theory (ISIT), pages 2190-2195. IEEE, 2022. URL: https://doi.org/10.1109/ISIT50566.2022.9834836.
  24. Jeremy T Fineman. Nearly work-efficient parallel algorithm for digraph reachability. In Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, pages 457-470, 2018. URL: https://doi.org/10.1145/3188745.3188926.
  25. Sebastian Forster and Danupon Nanongkai. A faster distributed single-source shortest paths algorithm. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 686-697. IEEE, 2018. URL: https://doi.org/10.1109/FOCS.2018.00071.
  26. Maximilian Probst Gutenberg and Christian Wulff-Nilsen. Decremental SSSP in weighted digraphs: Faster and against an adaptive adversary. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 2542-2561. SIAM, 2020. URL: https://doi.org/10.1137/1.9781611975994.155.
  27. Dov Harel and Robert Endre Tarjan. Fast algorithms for finding nearest common ancestors. siam Journal on Computing, 13(2):338-355, 1984. URL: https://doi.org/10.1137/0213024.
  28. Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In Proceedings of the forty-sixth annual ACM symposium on Theory of computing, pages 674-683, 2014. URL: https://doi.org/10.1145/2591796.2591869.
  29. Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. Improved algorithms for decremental single-source reachability on directed graphs. In Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I 42, pages 725-736. Springer, 2015. URL: https://doi.org/10.1007/978-3-662-47672-7_59.
  30. William Hesse. Directed graphs requiring large numbers of shortcuts. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '03, pages 665-669, USA, 2003. Society for Industrial and Applied Mathematics. URL: http://dl.acm.org/citation.cfm?id=644108.644216.
  31. Shang-En Huang and Seth Pettie. Thorup-Zwick emulators are universally optimal hopsets. Information Processing Letters, 142:9-13, 2019. URL: https://doi.org/10.1016/J.IPL.2018.10.001.
  32. Shang-En Huang and Seth Pettie. Lower bounds on sparse spanners, emulators, and diameter-reducing shortcuts. SIAM Journal on Discrete Mathematics, 35(3):2129-2144, 2021. URL: https://doi.org/10.1137/19M1306154.
  33. Arun Jambulapati, Yang P Liu, and Aaron Sidford. Parallel reachability in almost linear work and square root depth. In 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), pages 1664-1686. IEEE, 2019. URL: https://doi.org/10.1109/FOCS.2019.00098.
  34. Adam Karczmarz and Piotr Sankowski. A deterministic parallel APSP algorithm and its applications. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 255-272. SIAM, 2021. URL: https://doi.org/10.1137/1.9781611976465.17.
  35. Philip N Klein and Sairam Subramanian. A randomized parallel algorithm for single-source shortest paths. Journal of Algorithms, 25(2):205-220, 1997. URL: https://doi.org/10.1006/JAGM.1997.0888.
  36. Shimon Kogan and Merav Parter. Beating matrix multiplication for n^1/3-directed shortcuts. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), pages 82:1-82:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. URL: https://doi.org/10.4230/LIPICS.ICALP.2022.82.
  37. Shimon Kogan and Merav Parter. Having hope in hops: New spanners, preservers and lower bounds for hopsets. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 766-777. IEEE, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00078.
  38. Shimon Kogan and Merav Parter. New diameter-reducing shortcuts and directed hopsets: Breaking the barrier. In Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1326-1341. SIAM, 2022. URL: https://doi.org/10.1137/1.9781611977073.55.
  39. Kevin Lu, Virginia Vassilevska Williams, Nicole Wein, and Zixuan Xu. Better lower bounds for shortcut sets and additive spanners via an improved alternation product. In Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3311-3331. SIAM, 2022. URL: https://doi.org/10.1137/1.9781611977073.131.
  40. Idan Shabat and Ofer Neiman. A unified framework for hopsets and spanners. arXiv preprint arXiv:2108.09673, 2021. URL: https://arxiv.org/abs/2108.09673.
  41. Hanmao Shi and Thomas H Spencer. Time-work tradeoffs of the single-source shortest paths problem. Journal of algorithms, 30(1):19-32, 1999. URL: https://doi.org/10.1006/JAGM.1998.0968.
  42. Endre Szemerédi and William T. Trotter. Extremal problems in discrete geometry. Combinatorica, 3(3):381-392, 1983. URL: https://doi.org/10.1007/BF02579194.
  43. Sasu Tarkoma. Overlay Networks: Toward Information Networking. CRC Press, February 2010. Google Scholar
  44. Mikkel Thorup. On shortcutting digraphs. In Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG'92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings 18, pages 205-211. Springer, 1993. Google Scholar
  45. Mikkel Thorup and Uri Zwick. Spanners and emulators with sublinear distance errors. In Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete Algorithm, pages 802-809, 2006. URL: http://dl.acm.org/citation.cfm?id=1109557.1109645.
  46. Jeffery Ullman and Mihalis Yannakakis. High-probability parallel transitive closure algorithms. In Proceedings of the second annual ACM symposium on Parallel Algorithms and Architectures, pages 200-209, 1990. Google Scholar
  47. Virginia Vassilevska Williams, Yinzhan Xu, and Zixuan Xu. Simpler and higher lower bounds for shortcut sets. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2643-2656. SIAM, 2024. URL: https://doi.org/10.1137/1.9781611977912.94.
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-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact