2000 character limit reached
Sub-quadratic (1+\eps)-approximate Euclidean Spanners, with Applications (2310.05315v1)
Published 9 Oct 2023 in cs.CG and cs.DS
Abstract: We study graph spanners for point-set in the high-dimensional Euclidean space. On the one hand, we prove that spanners with stretch <\sqrt{2} and subquadratic size are not possible, even if we add Steiner points. On the other hand, if we add extra nodes to the graph (non-metric Steiner points), then we can obtain (1+\eps)-approximate spanners of subquadratic size. We show how to construct a spanner of size n{2-\Omega(\eps3)}, as well as a directed version of the spanner of size n{2-\Omega(\eps2)}. We use our directed spanner to obtain an algorithm for computing (1+\eps)-approximation to Earth-Mover Distance (optimal transport) between two sets of size n in time n{2-\Omega(\eps2)}.
- Graph spanners: A tutorial review. Computer Science Review, 37:100253, 2020.
- On sparse spanners of weighted graphs. Discrete & Computational Geometry, 9(1):81–100, 1993.
- Near-optimal hashing algorithms for approximate nearest neighbor in high dimensions. Communications of the ACM, 51(1):117–122, 2008.
- Differentially private approximate near neighbor counting in high dimensions. In NeurIPS, 2023.
- Optimal hashing-based time-space trade-offs for approximate near neighbors. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 47–66. SIAM, 2017.
- Near-linear time approximation algorithms for optimal transport via sinkhorn iteration. Advances in neural information processing systems, 30, 2017.
- Optimal data-dependent hashing for approximate near neighbors. 2015. Full version at http://arxiv.org/abs/1501.01062.
- A higher precision algorithm for computing the 1111-wasserstein distance. In The Eleventh International Conference on Learning Representations, 2023.
- Parallel approximate undirected shortest paths via low hop emulators. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 322–335, 2020.
- Dimensionality reduction: Beyond the johnson-lindenstrauss bound. In Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 868–887. SIAM, 2011.
- Euclidean steiner spanners: Light and sparse. SIAM Journal on Discrete Mathematics, 36(3):2411–2444, 2022.
- Paul Chew. There is a planar graph almost as good as the complete graph. In Proceedings of the second annual symposium on Computational geometry, pages 169–177, 1986.
- Stars: Tera-scale graph building for clustering and graph learning. arXiv preprint arXiv:2212.02635, 2022.
- Maximum flow and minimum-cost flow in almost-linear time. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 612–623. IEEE, 2022.
- Ken Clarkson. Approximation algorithms for shortest path motion planning. In Proceedings of the nineteenth annual ACM symposium on Theory of computing, pages 56–65, 1987.
- Marco Cuturi. Sinkhorn distances: Lightspeed computation of optimal transport. Advances in neural information processing systems, 26, 2013.
- Hierarchical agglomerative graph clustering in poly-logarithmic depth. Advances in Neural Information Processing Systems, 35:22925–22940, 2022.
- David Eppstein. Spanning trees and spanners. handbook of computational geometry, j.-r. sack and j. urrutia, eds, 1999.
- P. Erdös. Extremal problems in graph theory. Theory of Graphs and its Applications (Proc. Symp. Smolenice, 1963), pages 29–36, 1963.
- Approximate nearest neighbor: Towards removing the curse of dimensionality. Theory of Computing, 1(8):321–350, 2012.
- Euclidean spanners in high dimensions. In Proceedings of the twenty-fourth annual ACM-SIAM symposium on Discrete algorithms, pages 804–809. SIAM, 2013.
- Piotr Indyk. High-dimensional computational geometry. Ph.D. Thesis. Department of Computer Science, Stanford University, 2001.
- J Mark Keil. Approximating the complete euclidean graph. In SWAT 88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5–8, 1988 Proceedings 1, pages 208–213. Springer, 1988.
- Classes of graphs which approximate the complete euclidean graph. Discrete & Computational Geometry, 7:13–28, 1992.
- Preconditioning for the geometric transportation problem. In 35th International Symposium on Computational Geometry (SoCG 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019.
- Jason Li. Faster parallel algorithm for approximate shortest path. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 308–321, 2020.
- Truly optimal euclidean spanners. SIAM Journal on Computing, (0):FOCS19–135, 2022.
- Geometric spanner networks. Cambridge University Press, 2007.
- Graph spanners. Journal of graph theory, 13(1):99–116, 1989.
- Isaac J Schoenberg. Remarks to Maurice Frechet’s article “sur la definition axiomatique d’une classe d’espace distances vectoriellement applicable sur l’espace de hilbert”. Annals of Mathematics, pages 724–732, 1935.
- JJ Seidel. Quasiregular two-distance sets. In Geometry and Combinatorics, pages 267–273. Elsevier, 1991.
- Jonah Sherman. Generalized preconditioning and undirected minimum-cost flow. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 772–780. SIAM, 2017.
- Tomasz Tkocz. An upper bound for spherical caps. The American Mathematical Monthly, 119(7):606–607, 2012.
- Pravin M. Vaidya. Geometry helps in matching. SIAM Journal on Computing, 18(6):1201–1225, 1989.
- Minimum cost flows, mdps, and ℓ1subscriptℓ1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-regression in nearly linear time for dense instances. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 859–869, 2021.
- Uri Zwick. Exact and approximate distances in graphs—a survey. In Algorithms—ESA 2001: 9th Annual European Symposium Århus, Denmark, August 28–31, 2001 Proceedings, pages 33–48. Springer, 2001.