ABSTRACT
We consider questions about vertex cuts in graphs, random walks in metric spaces, and dimension reduction in L1 and L2; these topics are intimately connected because they can each be reduced to the existence ofvarious families of real-valued Lipschitz maps on certain metric spaces. We view these issues through the lens of shortest-path metricson series-parallel graphs, and we discussthe implications for a variety of well-known open problems. Our main results follow.
Every n-point series-parallel metric embeds into l1dom with O(√ log n) distortion, matchinga lower bound of Newman and Rabinovich. Our embeddings yield an O(√log n) approximation algorithm for vertex sparsestcut in such graphs, as well as an O(√log k) approximate max-flow/min-vertex-cut theorem for series-parallel instances withk terminals, improving over the O(log n) and O(log k) boundsfor general graphs.
Every n-point series-parallel metric embeds withdistortion D into l1d with d = n1/Ω(D2),matching the dimension reduction lower bound of Brinkman andCharikar.
There exists a constant C > 0 such that if (X,d) is aseries-parallel metric then for every stationary, reversible Markovchain Ztt=0∞ on X, we have for all t ≥ 0, E[d(Zt,Z0)2] ≤ Ct ·, E[d(Z0,Z1)2]. More generally, we show thatseries-parallel metrics have Markov type 2. This generalizesa result of Naor, Peres, Schramm, and Sheffield for trees.
- A. Agarwal, M. Charikar, K. Makarychev, and Y. Makarychev. O(√ log n) approximation algorithms for Min UnCut, Min 2CNF Deletion, and directed cut problems. In 37th Annual ACM Symposium on Theory of Computing. ACM, 2005. Google ScholarDigital Library
- S. Arora, J.R. Lee, and A. Naor. Euclidean distortion and the Sparsest Cut. In 37th Annual Symposium on the Theory of Computing, pages 553--562, 2005. To appear, Journal of the AMS. Google ScholarDigital Library
- S. Arora, S. Rao, and U. Vazirani. Expander flows, geometric embeddings, and graph partitionings. In 36th Annual Symposium on the Theory of Computing, pages 222--231, 2004. Google ScholarDigital Library
- K. Ball. Markov chains, Riesz transforms and Lipschitz maps. Geom. Funct. Anal., 2(2):137--172, 1992.Google ScholarCross Ref
- J. Bourgain. On Lipschitz embedding of finite metric spaces in Hilbert space. Israel J. Math., 52(1-2):46--52, 1985.Google ScholarCross Ref
- B. Brinkman and M. Charikar. On the impossibility of dimension reduction in l1. J. ACM, 52(5):766--788, 2005. Google ScholarDigital Library
- M. Charikar and A. Sahai. Dimension reduction in the l1 norm. In 43rd Annual Symposium on Foundations of Computer Science, 2002. Google ScholarDigital Library
- E. Chlamtac, K. Makayrchev, and Y. Makarychev. How to play unique game using embeddings. In 47th Annual Syposium on Foundations of Computer Science, 2006. Google ScholarDigital Library
- R. Durrett. Probability: theory and examples. Duxbury Press, Belmont, CA, second edition, 1996. Google ScholarDigital Library
- U. Feige, M.T. Hajiaghayi, and J.R. Lee. Improved approximation algorithms for minimum-weight vertex separators. In 37th Annual ACM Symposium on Theory of Computing. ACM, 2005. To appear, SIAM J. Comput. Google ScholarDigital Library
- A. Gupta. Improved bandwidth approximation for trees and chordal graphs. J. Algorithms, 40(1):24--36, 2001. Google ScholarDigital Library
- A. Gupta, R. Krauthgamer, and J.R. Lee. Bounded geometries, fractals, and low-distortion embeddings. In 44th Symposium on Foundations of Computer Science, pages 534--543, 2003. Google ScholarDigital Library
- A. Gupta, I. Newman, Y. Rabinovich, and A. Sinclair. Cuts, trees and l sb 1-embeddings of graphs. Combinatorica, 24(2):233--269, 2004. Google ScholarDigital Library
- J. Heinonen. Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001.Google ScholarCross Ref
- P. Indyk. Algorithmic applications of low-distortion geometric embeddings. In 42nd Annual Symposium on Foundations of Computer Science, pages 10--33. IEEE Computer Society, 2001. Google ScholarDigital Library
- T.J. Laakso. Plane with A ∞-weighted metric not bi-Lipschitz embeddable to RN. Bull. London Math. Soc., 34(6):667--676, 2002.Google ScholarCross Ref
- U. Lang and C. Plaut. Bilipschitz embeddings of metric spaces into space forms. Geom. Dedicata, 87(1-3):285--307, 2001.Google ScholarCross Ref
- J.R. Lee and A. Naor. Embedding the diamond graph in Lp and dimension reduction in L1. Geom. Funct. Anal., 14(4):745--747, 2004.Google ScholarCross Ref
- J.R. Lee, A. Naor, and Y. Peres. Trees and Markov convexity. In Proceedings of the 17th annual ACM-SIAM Symposium on Discrete Algorithms, 2006. Google ScholarDigital Library
- N. Linial, E. London, and Y. Rabinovich. The geometry of graphs and some of its algorithmic applications. Combinatorica, 15(2):215--245, 1995.Google ScholarCross Ref
- J. Matousek. On embedding trees into uniformly convex Banach spaces. Israel J. Math., 114:221--237, 1999.Google ScholarCross Ref
- J. Matousek. Lectures on discrete geometry, volume 212 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2002. Google ScholarDigital Library
- J. Matousek and Y. Rabinovich. On dominated l1 metrics. Israel J. Math., 123:285--301, 2001.Google ScholarCross Ref
- V.D. Milman and G. Schechtman. Asymptotic theory of finite-dimensional normed spaces, volume 1200 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1986. With an appendix by M. Gromov. Google ScholarDigital Library
- A. Naor, Y. Peres, O. Schramm, and S. Sheffield. Markov chains in smooth Banach spaces and Gromov-hyperbolic metric spaces. Duke Math. J., 134(1):165--197, 2006.Google ScholarCross Ref
- I. Newman and Y. Rabinovich. A lower bound on the distortion of embedding planar metrics into Euclidean space. Discrete Comput. Geom., 29(1):77--81, 2003.Google ScholarCross Ref
- S. Rao. Small distortion and volume preserving embeddings for planar and Euclidean metrics. In Proceedings of the 15th Annual Symposium on Computational Geometry, pages 300--306, New York, 1999. ACM. Google ScholarDigital Library
- Vertex cuts, random walks, and dimension reduction in series-parallel graphs
Recommendations
Improved approximation algorithms for minimum-weight vertex separators
STOC '05: Proceedings of the thirty-seventh annual ACM symposium on Theory of computingWe develop the algorithmic theory of vertex separators, and its relation to the embeddings of certain metric spaces. Unlike in the edge case, we show that embeddings into L1 (and even Euclidean embeddings) are insufficient, but that the additional ...
Constant factor approximation of vertex-cuts in planar graphs
STOC '03: Proceedings of the thirty-fifth annual ACM symposium on Theory of computingWe devise the first constant factor approximation algorithm for minimum quotient vertex-cuts in planar graphs. Our algorithm achieves approximation ratio 1+4/3(1+ε) with running time O(W• n3+2/ε), where W is the total weight of the vertices. The ...
Global minimum cuts in surface embedded graphs
SODA '12: Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete algorithmsWe give a deterministic algorithm to find the minimum cut in a surface-embedded graph in near-linear time. Given an undirected graph embedded on an orientable surface of genus g, our algorithm computes the minimum cut in gO(g)n log log n time, matching ...
Comments