Showing 1–31 of 31 results for author: Mendel, M

Dvoretzky-type theorem for Ahlfors regular spaces

Authors: Manor Mendel

Abstract: It is proved that for any $0<β<α$, any bounded Ahlfors $α$-regular space contains a $β$-regular compact subset that embeds biLipschitzly in an ultrametric with distortion at most $O(α/(α-β))$. The bound on the distortion is asymptotically tight when $β\to α$. The main tool used in the proof is a regular form of the ultrametric skeleton theorem. It is proved that for any $0<β<α$, any bounded Ahlfors $α$-regular space contains a $β$-regular compact subset that embeds biLipschitzly in an ultrametric with distortion at most $O(α/(α-β))$. The bound on the distortion is asymptotically tight when $β\to α$. The main tool used in the proof is a regular form of the ultrametric skeleton theorem. △ Less

Submitted 25 January, 2022; v1 submitted 22 June, 2021; originally announced June 2021.

Comments: 20 pages. Minor editing. Accepted to Studia Mathematica

MSC Class: 51F30; 28A75; 28A78; 46B85

Journal ref: Studia Mathematica 268 (2023), 1-22

A simple proof of Dvoretzky-type theorem for Hausdorff dimension in doubling spaces

Authors: Manor Mendel

Abstract: The ultrametric skeleton theorem [Mendel, Naor 2013] implies, among other things, the following nonlinear Dvoretzky-type theorem for Hausdorff dimension: For any $0<β<α$, any compact metric space $X$ of Hausdorff dimension $α$ contains a subset which is biLipschitz equivalent to an ultrametric and has Hausdorff dimension at least $β$. In this note we present a simple proof of the ultrametric skele… ▽ More The ultrametric skeleton theorem [Mendel, Naor 2013] implies, among other things, the following nonlinear Dvoretzky-type theorem for Hausdorff dimension: For any $0<β<α$, any compact metric space $X$ of Hausdorff dimension $α$ contains a subset which is biLipschitz equivalent to an ultrametric and has Hausdorff dimension at least $β$. In this note we present a simple proof of the ultrametric skeleton theorem in doubling spaces using Bartal's Ramsey decompositions [Bartal 2021]. The same general approach is also used to answer a question of Zindulka [Zindulka 2020] about the existence of "nearly ultrametric" subsets of compact spaces having full Hausdorff dimension. △ Less

Submitted 28 February, 2022; v1 submitted 24 April, 2021; originally announced April 2021.

Comments: 13 pages, 1 figure. Minor changes and improvements. Accepted to "Analysis and Geometry in Metric Spaces"

MSC Class: 51F30; 28A78; 46B85

Journal ref: Anal Geom Metr Spaces 2022, 10:50-62

Nonpositive curvature is not coarsely universal

Authors: Alexandros Eskenazis, Manor Mendel, Assaf Naor

Abstract: We prove that not every metric space embeds coarsely into an Alexandrov space of nonpositive curvature. This answers a question of Gromov (1993) and is in contrast to the fact that any metric space embeds coarsely into an Alexandrov space of nonnegative curvature, as shown by Andoni, Naor and Neiman (2015). We establish this statement by proving that a metric space which is $q$-barycentric for som… ▽ More We prove that not every metric space embeds coarsely into an Alexandrov space of nonpositive curvature. This answers a question of Gromov (1993) and is in contrast to the fact that any metric space embeds coarsely into an Alexandrov space of nonnegative curvature, as shown by Andoni, Naor and Neiman (2015). We establish this statement by proving that a metric space which is $q$-barycentric for some $q\in [1,\infty)$ has metric cotype $q$ with sharp scaling parameter. Our proof utilizes nonlinear (metric space-valued) martingale inequalities and yields sharp bounds even for some classical Banach spaces. This allows us to evaluate the bi-Lipschitz distortion of the $\ell_\infty$ grid $[m]_\infty^n=(\{1,\ldots,m\}^n,\|\cdot\|_\infty)$ into $\ell_q$ for all $q\in (2,\infty)$, from which we deduce the following discrete converse to the fact that $\ell_\infty^n$ embeds with distortion $O(1)$ into $\ell_q$ for $q=O(\log n)$. A rigidity theorem of Ribe (1976) implies that for every $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ such that if $[m]_\infty^n$ embeds into $\ell_q$ with distortion $O(1)$, then $q$ is necessarily at least a universal constant multiple of $\log n$. Ribe's theorem does not give an explicit upper bound on this $m$, but by the work of Bourgain (1987) it suffices to take $m=n$, and this was the previously best-known estimate for $m$. We show that the above discretization statement actually holds when $m$ is a universal constant. △ Less

Submitted 21 March, 2019; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: Referees' comments addressed

MSC Class: 53C23; 46B07; 46B85; 51F99

Journal ref: Invent. Math. 217 (2019), no. 3, 833-886

A Simple proof of Johnson-Lindenstrauss extension theorem

Authors: Manor Mendel

Abstract: Johnson and Lindenstrauss proved that any Lipschitz mapping from an $n$-point subset of a metric space into Hilbert space can be extended to the whole space, while increasing the Lipschitz constant by a factor of $O(\sqrt{\log n})$. We present a simplification of their argument that avoids dimension reduction and the Kirszbraun theorem. Johnson and Lindenstrauss proved that any Lipschitz mapping from an $n$-point subset of a metric space into Hilbert space can be extended to the whole space, while increasing the Lipschitz constant by a factor of $O(\sqrt{\log n})$. We present a simplification of their argument that avoids dimension reduction and the Kirszbraun theorem. △ Less

Submitted 24 April, 2019; v1 submitted 11 March, 2018; originally announced March 2018.

Comments: 3 pages. Incorporation of reviewers' suggestions

MSC Class: 46T20; 51F99; 54C20

Journal ref: American Mathematical Monthly 126 (2019) no. 9, 838-840

A relation between finitary Lipschitz extension moduli

Authors: Manor Mendel, Assaf Naor

Abstract: This short note contains an elementary observation in response to the recent posting arXiv:1707.06593v1, which studies the Lipschitz extension modulus to $n$ additional points. We bound this modulus in terms of the well-studied Lipschitz extension modulus from $n$ points to the entire ambient metric space, thus making it possible to quote the available literature to improve some of the bounds obta… ▽ More This short note contains an elementary observation in response to the recent posting arXiv:1707.06593v1, which studies the Lipschitz extension modulus to $n$ additional points. We bound this modulus in terms of the well-studied Lipschitz extension modulus from $n$ points to the entire ambient metric space, thus making it possible to quote the available literature to improve some of the bounds obtained in arXiv:1707.06593v1. △ Less

Submitted 23 July, 2017; originally announced July 2017.

Comments: not intended for publication

Universal composite prox-method for strictly convex optimization problems

Authors: Alexander Gasnikov, Dmitry Kamzolov, Mikhail Mendel

Abstract: We propose a simple way to explain Univerasal method of Yu. Nesterov. Based on this method and using the restart technique we propose Universal method for strictly convex optimization problems. We consider general proximal set up (not necessarily euclidian one). We propose a simple way to explain Univerasal method of Yu. Nesterov. Based on this method and using the restart technique we propose Universal method for strictly convex optimization problems. We consider general proximal set up (not necessarily euclidian one). △ Less

Submitted 31 October, 2016; v1 submitted 24 March, 2016; originally announced March 2016.

Comments: 17 pages, in Russian in TRUDY MIPT. 2016. V. 8. no. 3. P. 25-42

Evolutionary interpretations of entropy model for correspondence matrix calculation

Authors: Alexander Gasnikov, Evgenia Gasnikova, Mikhail Mendel, Ksenya Chepurchenko

Abstract: In the work two ways of evolutionary interpretation of entropy model for correspondence matrix calculation are proposed. Both approaches based on the stochastic chemical kinetic evolution under the detailed balance condition. The first approach is based on the binary reactions, and the second one is based on the population games theory. Both approaches allow one to understand better possible physi… ▽ More In the work two ways of evolutionary interpretation of entropy model for correspondence matrix calculation are proposed. Both approaches based on the stochastic chemical kinetic evolution under the detailed balance condition. The first approach is based on the binary reactions, and the second one is based on the population games theory. Both approaches allow one to understand better possible physical interpretations of the classic model and to obtain the answers for some open questions in neighborhoods branches. For example, one can propose a selection rule to the unique equilibrium among the set of equilibriums. △ Less

Submitted 26 March, 2020; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 16 pages, In Russian

Journal ref: Math. Mod. 2016. V. 28. no. 4. P. 111-124

Efficient numerical algorithms for regularized regression problem with applications to traffic matrix estimations

Authors: Anton Anikin, Pavel Dvurechensky, Alexander Gasnikov, Andrey Golov, Alexander Gornov, Yury Maximov, Mikhail Mendel, Vladimir Spokoiny

Abstract: In this work we collect and compare to each other many different numerical methods for regularized regression problem and for the problem of projection on a hyperplane. Such problems arise, for example, as a subproblem of demand matrix estimation in IP- networks. In this special case matrix of affine constraints has special structure: all elements are 0 or 1 and this matrix is sparse enough. We ha… ▽ More In this work we collect and compare to each other many different numerical methods for regularized regression problem and for the problem of projection on a hyperplane. Such problems arise, for example, as a subproblem of demand matrix estimation in IP- networks. In this special case matrix of affine constraints has special structure: all elements are 0 or 1 and this matrix is sparse enough. We have to deal with huge-scale convex optimization problem of special type. Using the properties of the problem we try "to look inside the black-box" and to see how the best modern methods work being applied to this problem. △ Less

Submitted 17 April, 2016; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 16 pages; Information Technologies and Systems. Sochi: September, 2015

Expanders with respect to Hadamard spaces and random graphs

Authors: Manor Mendel, Assaf Naor

Abstract: It is shown that there exists a sequence of 3-regular graphs $\{G_n\}_{n=1}^\infty$ and a Hadamard space $X$ such that $\{G_n\}_{n=1}^\infty$ forms an expander sequence with respect to $X$, yet random regular graphs are not expanders with respect to $X$. This answers a question of \cite{NS11}. $\{G_n\}_{n=1}^\infty$ are also shown to be expanders with respect to random regular graphs, yielding a d… ▽ More It is shown that there exists a sequence of 3-regular graphs $\{G_n\}_{n=1}^\infty$ and a Hadamard space $X$ such that $\{G_n\}_{n=1}^\infty$ forms an expander sequence with respect to $X$, yet random regular graphs are not expanders with respect to $X$. This answers a question of \cite{NS11}. $\{G_n\}_{n=1}^\infty$ are also shown to be expanders with respect to random regular graphs, yielding a deterministic sublinear time constant factor approximation algorithm for computing the average squared distance in subsets of a random graph. The proof uses the Euclidean cone over a random graph, an auxiliary continuous geometric object that allows for the implementation of martingale methods. △ Less

Submitted 18 July, 2014; v1 submitted 23 June, 2013; originally announced June 2013.

Comments: incorporated Referees' comments

Journal ref: Duke Math. J. 164, no. 8 (2015), 1471-1548

Spectral calculus and Lipschitz extension for barycentric metric spaces

Authors: Manor Mendel, Assaf Naor

Abstract: The metric Markov cotype of barycentric metric spaces is computed, yielding the first class of metric spaces that are not Banach spaces for which this bi-Lipschitz invariant is understood. It is shown that this leads to new nonlinear spectral calculus inequalities, as well as a unified framework for Lipschitz extension, including new Lipschitz extension results for CAT(0) targets. An example that… ▽ More The metric Markov cotype of barycentric metric spaces is computed, yielding the first class of metric spaces that are not Banach spaces for which this bi-Lipschitz invariant is understood. It is shown that this leads to new nonlinear spectral calculus inequalities, as well as a unified framework for Lipschitz extension, including new Lipschitz extension results for CAT(0) targets. An example that elucidates the relation between metric Markov cotype and Rademacher cotype is analyzed, showing that a classical Lipschitz extension theorem of Johnson, Lindenstrauss and Benyamini is asymptotically sharp. △ Less

Submitted 20 May, 2013; v1 submitted 16 January, 2013; originally announced January 2013.

Comments: referee comments addressed

Journal ref: Analysis and Geometry in Metric Spaces, 1 (2012) 163-199

A note on extensions of approximate ultrametrics

Authors: Manor Mendel

Abstract: An ultrametric defined on a subset S of a metric space X can be extended to X while roughly preserving distances between pairs in S x X. An ultrametric defined on a subset S of a metric space X can be extended to X while roughly preserving distances between pairs in S x X. △ Less

Submitted 13 November, 2012; originally announced November 2012.

Comments: 2 pages

A node-capacitated Okamura-Seymour theorem

Authors: James R. Lee, Manor Mendel, Mohammad Moharrami

Abstract: The classical Okamura-Seymour theorem states that for an edge-capacitated, multi-commodity flow instance in which all terminals lie on a single face of a planar graph, there exists a feasible concurrent flow if and only if the cut conditions are satisfied. Simple examples show that a similar theorem is impossible in the node-capacitated setting. Nevertheless, we prove that an approximate flow/cut… ▽ More The classical Okamura-Seymour theorem states that for an edge-capacitated, multi-commodity flow instance in which all terminals lie on a single face of a planar graph, there exists a feasible concurrent flow if and only if the cut conditions are satisfied. Simple examples show that a similar theorem is impossible in the node-capacitated setting. Nevertheless, we prove that an approximate flow/cut theorem does hold: For some universal c > 0, if the node cut conditions are satisfied, then one can simultaneously route a c-fraction of all the demands. This answers an open question of Chekuri and Kawarabayashi. More generally, we show that this holds in the setting of multi-commodity polymatroid networks introduced by Chekuri, et. al. Our approach employs a new type of random metric embedding in order to round the convex programs corresponding to these more general flow problems. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: 30 pages, 5 figures

Nonlinear spectral calculus and super-expanders

Authors: Manor Mendel, Assaf Naor

Abstract: Nonlinear spectral gaps with respect to uniformly convex normed spaces are shown to satisfy a spectral calculus inequality that establishes their decay along Cesaro averages. Nonlinear spectral gaps of graphs are also shown to behave sub-multiplicatively under zigzag products. These results yield a combinatorial construction of super-expanders, i.e., a sequence of 3-regular graphs that does not ad… ▽ More Nonlinear spectral gaps with respect to uniformly convex normed spaces are shown to satisfy a spectral calculus inequality that establishes their decay along Cesaro averages. Nonlinear spectral gaps of graphs are also shown to behave sub-multiplicatively under zigzag products. These results yield a combinatorial construction of super-expanders, i.e., a sequence of 3-regular graphs that does not admit a coarse embedding into any uniformly convex normed space. △ Less

Submitted 20 March, 2013; v1 submitted 19 July, 2012; originally announced July 2012.

Comments: Typos fixed based on referee comments. Some of the results of this paper were announced in arXiv:0910.2041. The corresponding parts of arXiv:0910.2041 are subsumed by the current paper

Journal ref: Publications mathématiques de l'IHÉS 119(1), 1-95, 2014

On the Hausdorff dimension of ultrametric subsets in R^n

Authors: James R. Lee, Manor Mendel, Mohammad Moharrami

Abstract: For every e>0, any subset of R^n with Hausdorff dimension larger than (1-e)n must have ultrametric distortion larger than 1/(4e). For every e>0, any subset of R^n with Hausdorff dimension larger than (1-e)n must have ultrametric distortion larger than 1/(4e). △ Less

Submitted 31 August, 2012; v1 submitted 9 May, 2012; originally announced May 2012.

Comments: 4 pages, improved layout

MSC Class: 30L05; 37F35

Journal ref: Fund. Math. 218 (2012), 285-290

Ultrametric skeletons

Authors: Manor Mendel, Assaf Naor

Abstract: We prove that for every $ε\in (0,1)$ there exists $C_ε\in (0,\infty)$ with the following property. If $(X,d)$ is a compact metric space and $μ$ is a Borel probability measure on $X$ then there exists a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/ε)$, and a probability measure $ν$ supported on $S$ satisfying $ν(B_d(x,r))\le (μ(B_d(x,C_εr))^{1-ε}$ for all… ▽ More We prove that for every $ε\in (0,1)$ there exists $C_ε\in (0,\infty)$ with the following property. If $(X,d)$ is a compact metric space and $μ$ is a Borel probability measure on $X$ then there exists a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/ε)$, and a probability measure $ν$ supported on $S$ satisfying $ν(B_d(x,r))\le (μ(B_d(x,C_εr))^{1-ε}$ for all $x\in X$ and $r\in (0,\infty)$. The dependence of the distortion on $ε$ is sharp. We discuss an extension of this statement to multiple measures, as well as how it implies Talagrand's majorizing measures theorem. △ Less

Submitted 16 December, 2011; v1 submitted 14 December, 2011; originally announced December 2011.

Comments: typos fixed

Journal ref: Proc. Nat. Acad. Sci. vol. 110 no. 48, 19256-19262, 2013

Ultrametric subsets with large Hausdorff dimension

Authors: Manor Mendel, Assaf Naor

Abstract: It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$ denotes Hausdorff dimension. The above $O(1/\e)$ distortion estimate is shown to be sharp via a construction based on sequences of expander graphs. It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$ denotes Hausdorff dimension. The above $O(1/\e)$ distortion estimate is shown to be sharp via a construction based on sequences of expander graphs. △ Less

Submitted 5 March, 2012; v1 submitted 5 June, 2011; originally announced June 2011.

Comments: the order of the lemmas has been changed, added figures

Journal ref: Inventiones mathematicae 192(1): 1-54, 2013

A note on dichotomies for metric transforms

Authors: Manor Mendel, Assaf Naor

Abstract: We show that for every nondecreasing concave function w:R+ --> R+ with w(0)=0, either every finite metric space embeds with distortion arbitrarily close to 1 into a metric space of the form (X,w o d) for some metric d on X, or there exists a=a(w)>0 and n_0=n_0(w)\in N such that for all n>n_0, any embedding of {0,...,n} into a metric space of the form (X,w o d) incurs distortion at least n^a. We show that for every nondecreasing concave function w:R+ --> R+ with w(0)=0, either every finite metric space embeds with distortion arbitrarily close to 1 into a metric space of the form (X,w o d) for some metric d on X, or there exists a=a(w)>0 and n_0=n_0(w)\in N such that for all n>n_0, any embedding of {0,...,n} into a metric space of the form (X,w o d) incurs distortion at least n^a. △ Less

Submitted 9 February, 2011; originally announced February 2011.

Comments: 7 pages

Improved bounds in the metric cotype inequality for Banach spaces

Authors: Ohad Giladi, Manor Mendel, Assaf Naor

Abstract: It is shown that if (X, ||.||_X) is a Banach space with Rademacher cotype q then for every integer n there exists an even integer m< n^{1+1/q}$ such that for every f:Z_m^n --> X we have $\sum_{j=1}^n \Avg_x [ ||f(x+ (m/2) e_j)-f(x) ||_X^q ] < C m^q \Avg_{\e,x} [ ||f(x+\e)-f(x) ||_X^q ]$, where the expectations are with respect to uniformly chosen x\in Z_m^n and \e\in \{-1,0,1\}^n, and all the impl… ▽ More It is shown that if (X, ||.||_X) is a Banach space with Rademacher cotype q then for every integer n there exists an even integer m< n^{1+1/q}$ such that for every f:Z_m^n --> X we have $\sum_{j=1}^n \Avg_x [ ||f(x+ (m/2) e_j)-f(x) ||_X^q ] < C m^q \Avg_{\e,x} [ ||f(x+\e)-f(x) ||_X^q ]$, where the expectations are with respect to uniformly chosen x\in Z_m^n and \e\in \{-1,0,1\}^n, and all the implied constants may depend only on q and the Rademacher cotype q constant of X. This improves the bound of m< n^{2+\frac{1}{q}} from [Mendel, Naor 2008]. The proof of the above inequality is based on a "smoothing and approximation" procedure which simplifies the proof of the metric characterization of Rademacher cotype of [Mendel, Naor 2008]. We also show that any such "smoothing and approximation" approach to metric cotype inequalities must require m> n^{(1/2)+(1/q)}. △ Less

Submitted 21 November, 2010; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: 27 pages, 1 figure. Fixes a slight error in the proof of Lemma 4.3 in the arXiv v2 and the published paper

MSC Class: 46B80; 46B85; 51F99; 05C12

Journal ref: Journal of Functional Analysis 260 (2011) 164-194

Towards a Calculus for Non-Linear Spectral Gaps [Extended Abstract]

Authors: Manor Mendel, Assaf Naor

Abstract: Given a finite regular graph G=(V,E) and a metric space (X,d_X), let $gamma_+(G,X) denote the smallest constant $γ_+>0$ such that for all f,g:V\to X we have: \frac{1}{|V|^2}\sum_{x,y\in V} d_X(f(x),g(y))^2\le \frac{γ_+}{|E|} \sum_{xy\in E} d_X(f(x),g(y))^2. In the special case X=R this quantity coincides with the reciprocal of the absolute spectral gap of $G$, but for other geometries the pa… ▽ More Given a finite regular graph G=(V,E) and a metric space (X,d_X), let $gamma_+(G,X) denote the smallest constant $γ_+>0$ such that for all f,g:V\to X we have: \frac{1}{|V|^2}\sum_{x,y\in V} d_X(f(x),g(y))^2\le \frac{γ_+}{|E|} \sum_{xy\in E} d_X(f(x),g(y))^2. In the special case X=R this quantity coincides with the reciprocal of the absolute spectral gap of $G$, but for other geometries the parameter γ_+(G,X), which we still think of as measuring the non-linear spectral gap of G with respect to X (even though there is no actual spectrum present here), can behave very differently. Non-linear spectral gaps arise often in the theory of metric embeddings, and in the present paper we systematically study the theory of non-linear spectral gaps, partially in order to obtain a combinatorial construction of super-expander -- a family of bounded-degree graphs G_i=(V_i,E_i), with \lim_{i\to \infty} |V_i|=\infty, which do not admit a coarse embedding into any uniformly convex normed space. In addition, the bi-Lipschitz distortion of G_i in any uniformly convex Banach space is Ω(\log |V_i|), which is the worst possible behavior due to Bourgain's embedding theorem. Such remarkable graph families were previously known to exist due to a tour de force algebraic construction of Lafforgue. Our construction is different and combinatorial, relying on the zigzag product of Reingold-Vadhan-Wigderson. △ Less

Submitted 11 October, 2009; originally announced October 2009.

Comments: 32 pages. Extended abstract. To be published (in abridged form) in the proceedings of the ACM-SIAM Symposium on Discrete Algorithms 2010 (SODA '10)

MSC Class: 51F99; 05C12; 05C50; 46B85

Journal ref: SODA '10: Symposium on Discrete Algorithms (2010), 236-255

Markov convexity and local rigidity of distorted metrics

Authors: Manor Mendel, Assaf Naor

Abstract: It is shown that a Banach space admits an equivalent norm whose modulus of uniform convexity has power-type p if and only if it is Markov p-convex. Counterexamples are constructed to natural questions related to isomorphic uniform convexity of metric spaces, showing in particular that tree metrics fail to have the dichotomy property. It is shown that a Banach space admits an equivalent norm whose modulus of uniform convexity has power-type p if and only if it is Markov p-convex. Counterexamples are constructed to natural questions related to isomorphic uniform convexity of metric spaces, showing in particular that tree metrics fail to have the dichotomy property. △ Less

Submitted 26 July, 2010; v1 submitted 11 March, 2008; originally announced March 2008.

Comments: 47 pages, full version, replacing the previous version which was an announcement

Journal ref: J. European Math. Soc. 15(1):287-337, 2013

Metric Dichotomies

Authors: Manor Mendel

Abstract: These are notes from talks given at ICMS, Edinburgh, 4/2007 ("Geometry and Algorithms workshop") and at Bernoulli Center, Lausanne 5/2007 ("Limits of graphs in group theory and computer science"). We survey the following type of dichotomies exhibited by certain classes X of finite metric spaces: For every host space H, either all metrics in X embed almost isometrically in H, or the distortion of… ▽ More These are notes from talks given at ICMS, Edinburgh, 4/2007 ("Geometry and Algorithms workshop") and at Bernoulli Center, Lausanne 5/2007 ("Limits of graphs in group theory and computer science"). We survey the following type of dichotomies exhibited by certain classes X of finite metric spaces: For every host space H, either all metrics in X embed almost isometrically in H, or the distortion of embedding some metrics of X in H is unbounded. △ Less

Submitted 10 April, 2008; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: Lecture notes. 14 pages, 5 figures. Final version with only minor changes from the previous version

Journal ref: in Goulnara Arzhantseva, Alain Valette (eds.) Limits of graphs in group theory and computer science, EPFL Press, 2009

Ramsey partitions and proximity data structures

Authors: Manor Mendel, Assaf Naor

Abstract: This paper addresses two problems lying at the intersection of geometric analysis and theoretical computer science: The non-linear isomorphic Dvoretzky theorem and the design of good approximate distance oracles for large distortion. We introduce the notion of Ramsey partitions of a finite metric space, and show that the existence of good Ramsey partitions implies a solution to the metric Ramsey… ▽ More This paper addresses two problems lying at the intersection of geometric analysis and theoretical computer science: The non-linear isomorphic Dvoretzky theorem and the design of good approximate distance oracles for large distortion. We introduce the notion of Ramsey partitions of a finite metric space, and show that the existence of good Ramsey partitions implies a solution to the metric Ramsey problem for large distortion (a.k.a. the non-linear version of the isomorphic Dvoretzky theorem, as introduced by Bourgain, Figiel, and Milman). We then proceed to construct optimal Ramsey partitions, and use them to show that for every e\in (0,1), any n-point metric space has a subset of size n^{1-e} which embeds into Hilbert space with distortion O(1/e). This result is best possible and improves part of the metric Ramsey theorem of Bartal, Linial, Mendel and Naor, in addition to considerably simplifying its proof. We use our new Ramsey partitions to design the best known approximate distance oracles when the distortion is large, closing a gap left open by Thorup and Zwick. Namely, we show that for any $n$ point metric space X, and k>1, there exists an O(k)-approximate distance oracle whose storage requirement is O(n^{1+1/k}), and whose query time is a universal constant. We also discuss applications of Ramsey partitions to various other geometric data structure problems, such as the design of efficient data structures for approximate ranking. △ Less

Submitted 10 May, 2006; v1 submitted 23 November, 2005; originally announced November 2005.

Comments: 21 pages. Two explanatory figures were added, a few typos were fixed

Journal ref: J. European Math. Soc. 9(2): 253-275, 2007

Scaled Enflo type is equivalent to Rademacher type

Authors: Manor Mendel, Assaf Naor

Abstract: We introduce the notion of scaled Enflo type of a metric space, and show that for Banach spaces, scaled Enflo type p is equivalent to Rademacher type p. We introduce the notion of scaled Enflo type of a metric space, and show that for Banach spaces, scaled Enflo type p is equivalent to Rademacher type p. △ Less

Submitted 11 June, 2005; originally announced June 2005.

Comments: 5 pages

MSC Class: 46B20; 51F99

Journal ref: Bull. London Math. Soc. 39(3):493-498, 2007

Metric Cotype

Authors: Manor Mendel, Assaf Naor

Abstract: We introduce the notion of cotype of a metric space, and prove that for Banach spaces it coincides with the classical notion of Rademacher cotype. This yields a concrete version of Ribe's theorem, settling a long standing open problem in the nonlinear theory of Banach spaces. We apply our results to several problems in metric geometry. Namely, we use metric cotype in the study of uniform and coars… ▽ More We introduce the notion of cotype of a metric space, and prove that for Banach spaces it coincides with the classical notion of Rademacher cotype. This yields a concrete version of Ribe's theorem, settling a long standing open problem in the nonlinear theory of Banach spaces. We apply our results to several problems in metric geometry. Namely, we use metric cotype in the study of uniform and coarse embeddings, settling in particular the problem of classifying when L_p coarsely or uniformly embeds into L_q. We also prove a nonlinear analog of the Maurey-Pisier theorem, and use it to answer a question posed by Arora, Lovasz, Newman, Rabani, Rabinovich and Vempala, and to obtain quantitative bounds in a metric Ramsey theorem due to Matousek. △ Less

Submitted 8 February, 2011; v1 submitted 10 June, 2005; originally announced June 2005.

Comments: 46 pages. Fixes the layout

MSC Class: 46B20; 51F99

Journal ref: Ann. of Math. 168(1), 247-298 (2008)

Measured descent: A new embedding method for finite metrics

Authors: Robert Krauthgamer, James R. Lee, Manor Mendel, Assaf Naor

Abstract: We devise a new embedding technique, which we call measured descent, based on decomposing a metric space locally, at varying speeds, according to the density of some probability measure. This provides a refined and unified framework for the two primary methods of constructing Frechet embeddings for finite metrics, due to [Bourgain, 1985] and [Rao, 1999]. We prove that any n-point metric space (X… ▽ More We devise a new embedding technique, which we call measured descent, based on decomposing a metric space locally, at varying speeds, according to the density of some probability measure. This provides a refined and unified framework for the two primary methods of constructing Frechet embeddings for finite metrics, due to [Bourgain, 1985] and [Rao, 1999]. We prove that any n-point metric space (X,d) embeds in Hilbert space with distortion O(sqrt{alpha_X log n}), where alpha_X is a geometric estimate on the decomposability of X. As an immediate corollary, we obtain an O(sqrt{(log lambda_X) \log n}) distortion embedding, where λ_X is the doubling constant of X. Since λ_X\le n, this result recovers Bourgain's theorem, but when the metric X is, in a sense, ``low-dimensional,'' improved bounds are achieved. Our embeddings are volume-respecting for subsets of arbitrary size. One consequence is the existence of (k, O(log n)) volume-respecting embeddings for all 1 \leq k \leq n, which is the best possible, and answers positively a question posed by U. Feige. Our techniques are also used to answer positively a question of Y. Rabinovich, showing that any weighted n-point planar graph embeds in l_\infty^{O(log n)} with O(1) distortion. The O(log n) bound on the dimension is optimal, and improves upon the previously known bound of O((log n)^2). △ Less

Submitted 18 August, 2005; v1 submitted 2 December, 2004; originally announced December 2004.

Comments: 17 pages. No figures. Appeared in FOCS '04. To appeaer in Geometric & Functional Analysis. This version fixes a subtle error in Section 2.2

Journal ref: Geom. Funct. Anal. 15(4):839-858, 2005

Metric structures in L_1: Dimension, snowflakes, and average distortion

Authors: James R. Lee, Manor Mendel, Assaf Naor

Abstract: We study the metric properties of finite subsets of L_1. The analysis of such metrics is central to a number of important algorithmic problems involving the cut structure of weighted graphs, including the Sparsest Cut Problem, one of the most compelling open problems in the field of approximation algorithms. Additionally, many open questions in geometric non-linear functional analysis involve th… ▽ More We study the metric properties of finite subsets of L_1. The analysis of such metrics is central to a number of important algorithmic problems involving the cut structure of weighted graphs, including the Sparsest Cut Problem, one of the most compelling open problems in the field of approximation algorithms. Additionally, many open questions in geometric non-linear functional analysis involve the properties of finite subsets of L_1. △ Less

Submitted 15 July, 2004; originally announced July 2004.

Comments: 9 pages, 1 figure. To appear in European Journal of Combinatorics. Preliminary version appeared in LATIN '04

Journal ref: European J. Combinatorics 26(8): 1180-1190,2005

Limitations to Frechet's Metric Embedding Method

Authors: Yair Batal, Nathan Linial, Manor Mendel, Assaf Naor

Abstract: Frechet's classical isometric embedding argument has evolved to become a major tool in the study of metric spaces. An important example of a Frechet embedding is Bourgain's embedding. The authors have recently shown that for every e>0 any n-point metric space contains a subset of size at least n^(1-e) which embeds into l_2 with distortion O(\log(2/e) /e). The embedding we used is non-Frechet, an… ▽ More Frechet's classical isometric embedding argument has evolved to become a major tool in the study of metric spaces. An important example of a Frechet embedding is Bourgain's embedding. The authors have recently shown that for every e>0 any n-point metric space contains a subset of size at least n^(1-e) which embeds into l_2 with distortion O(\log(2/e) /e). The embedding we used is non-Frechet, and the purpose of this note is to show that this is not coincidental. Specifically, for every e>0, we construct arbitrarily large n-point metric spaces, such that the distortion of any Frechet embedding into l_p on subsets of size at least n^{1/2 + e} is Ω((\log n)^{1/p}). △ Less

Submitted 21 June, 2004; originally announced June 2004.

Comments: 10 pages, 1 figure

Journal ref: Israel J. Math. 151: 111-124, 2006

On Metric Ramsey-type Dichotomies

Authors: Yair Bartal, Nathan Linial, Manor Mendel, Assaf Naor

Abstract: The classical Ramsey theorem, states that every graph contains either a large clique or a large independent set. Here we investigate similar dichotomic phenomena in the context of finite metric spaces. Namely, we prove statements of the form "Every finite metric space contains a large subspace that is nearly quilateral or far from being equilateral". We consider two distinct interpretations for… ▽ More The classical Ramsey theorem, states that every graph contains either a large clique or a large independent set. Here we investigate similar dichotomic phenomena in the context of finite metric spaces. Namely, we prove statements of the form "Every finite metric space contains a large subspace that is nearly quilateral or far from being equilateral". We consider two distinct interpretations for being "far from equilateral". Proximity among metric spaces is quantified through the metric distortion D. We provide tight asymptotic answers for these problems. In particular, we show that a phase transition occurs at D=2. △ Less

Submitted 18 June, 2004; originally announced June 2004.

Comments: 14 pages, 0 figures

MSC Class: 52C45; 05C55; 54E40; 05C12; 54E40

Journal ref: J. London Math. Society 71(2): 289-303, 2005

On some low distortion metric Ramsey problems

Authors: Yair Bartal, Nathan Linial. Manor Mendel, Assaf Naor

Abstract: In this note, we consider the metric Ramsey problem for the normed spaces l_p. Namely, given some 1<=p<=infinity and alpha>=1, and an integer n, we ask for the largest m such that every n-point metric space contains an m-point subspace which embeds into l_p with distortion at most alpha. In [arXiv:math.MG/0406353] it is shown that in the case of l_2, the dependence of $m$ on alpha undergoes a ph… ▽ More In this note, we consider the metric Ramsey problem for the normed spaces l_p. Namely, given some 1<=p<=infinity and alpha>=1, and an integer n, we ask for the largest m such that every n-point metric space contains an m-point subspace which embeds into l_p with distortion at most alpha. In [arXiv:math.MG/0406353] it is shown that in the case of l_2, the dependence of $m$ on alpha undergoes a phase transition at alpha=2. Here we consider this problem for other l_p, and specifically the occurrence of a phase transition for p other than 2. It is shown that a phase transition does occur at alpha=2 for every p in the interval [1,2]. For p>2 we are unable to determine the answer, but estimates are provided for the possible location of such a phase transition. We also study the analogous problem for isometric embedding and show that for every 1<p<infinity there are arbitrarily large metric spaces, no four points of which embed isometrically in l_p. △ Less

Submitted 17 June, 2004; originally announced June 2004.

Comments: 14 pages, to be published in Discrete and Computational Geometry

MSC Class: 52C45; 05C55; 54E40; 05C12; 54E40

Journal ref: Discrete Comput. Geom. 33(1): 25-41, 2005

On metric Ramsey-type phenomena

Authors: Yair Bartal, Nathan Linial, Manor Mendel, Assaf Naor

Abstract: The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of largest cardinality which can be embedded with a given distortion in Hilbert space. We provide nearly tight upper and lower bounds on the cardinality of this sub… ▽ More The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of largest cardinality which can be embedded with a given distortion in Hilbert space. We provide nearly tight upper and lower bounds on the cardinality of this subspace in terms of n and the desired distortion. Our main theorem states that for any epsilon>0, every n point metric space contains a subset of size at least n^{1-ε} which is embeddable in Hilbert space with O(\frac{\log(1/ε)}ε) distortion. The bound on the distortion is tight up to the log(1/ε) factor. We further include a comprehensive study of various other aspects of this problem. △ Less

Submitted 20 June, 2007; v1 submitted 17 June, 2004; originally announced June 2004.

Comments: 67 pages, published version

MSC Class: 52C45; 05C55; 54E40; 05C12; 54E40

Journal ref: Ann. of Math. (2) 162 (2005), no. 2, 643--709

Euclidean quotients of finite metric spaces

Authors: Manor Mendel, Assaf Naor

Abstract: This paper is devoted to the study of quotients of finite metric spaces. The basic type of question we ask is: Given a finite metric space M, what is the largest quotient of (a subset of) M which well embeds into Hilbert space. We obtain asymptotically tight bounds for these questions, and prove that they exhibit phase transitions. We also study the analogous problem for embedings into l_p, and… ▽ More This paper is devoted to the study of quotients of finite metric spaces. The basic type of question we ask is: Given a finite metric space M, what is the largest quotient of (a subset of) M which well embeds into Hilbert space. We obtain asymptotically tight bounds for these questions, and prove that they exhibit phase transitions. We also study the analogous problem for embedings into l_p, and the particular case of the hypercube. △ Less

Submitted 17 June, 2004; originally announced June 2004.

Comments: 36 pages, 0 figures. To appear in Advances in Mathematics

Journal ref: Adv. Math. 189(2) 451-494, 2004