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

The Newtonian Mechanics of Demand

Authors: Max Mendel

Abstract: Economic engineering is a new field wherein economic systems are modelled in the same manner as traditional mechanical and electrical engineering systems. In this paper, we use Newton's theory of motion as the basis for the theory of demand; thereby establishing a theoretical foundation for economic engineering. We follow Newton's original development, as set forth in the Principia, to determine e… ▽ More Economic engineering is a new field wherein economic systems are modelled in the same manner as traditional mechanical and electrical engineering systems. In this paper, we use Newton's theory of motion as the basis for the theory of demand; thereby establishing a theoretical foundation for economic engineering. We follow Newton's original development, as set forth in the Principia, to determine economic analogs to his three laws of motion. The pivotal result is an operational definition for an economic force, i.e. a want or a desire, in terms of a price adjustment. With this, we model the price effects of scarcity and trade friction in analogy with the models for the spring and damping force. In turn, we define economic benefits and surplus as analogous to the definitions of mechanical work and energy. These are then used to interpret the various types of economic equilibrium considered by economists from a mechanical perspective. The effectiveness of the analogy is illustrated by applying it to modelling the price and inventory dynamics of various economic agents -- including consumers, dealers, holders, spot and futures traders -- using linear-time invariant systems theory. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 28 pages, 19 figures

Multimodal Transformer for Parallel Concatenated Variational Autoencoders

Authors: Stephen D. Liang, Jerry M. Mendel

Abstract: In this paper, we propose a multimodal transformer using parallel concatenated architecture. Instead of using patches, we use column stripes for images in R, G, B channels as the transformer input. The column stripes keep the spatial relations of original image. We incorporate the multimodal transformer with variational autoencoder for synthetic cross-modal data generation. The multimodal transfor… ▽ More In this paper, we propose a multimodal transformer using parallel concatenated architecture. Instead of using patches, we use column stripes for images in R, G, B channels as the transformer input. The column stripes keep the spatial relations of original image. We incorporate the multimodal transformer with variational autoencoder for synthetic cross-modal data generation. The multimodal transformer is designed using multiple compression matrices, and it serves as encoders for Parallel Concatenated Variational AutoEncoders (PC-VAE). The PC-VAE consists of multiple encoders, one latent space, and two decoders. The encoders are based on random Gaussian matrices and don't need any training. We propose a new loss function based on the interaction information from partial information decomposition. The interaction information evaluates the input cross-modal information and decoder output. The PC-VAE are trained via minimizing the loss function. Experiments are performed to validate the proposed multimodal transformer for PC-VAE. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Comments: NeurIPS 2022 Workshop on Vision Transformers: Theory and Application, New Orleans, LA, December 2022

Sequential Choices, Option Values, and the Returns to Education

Authors: Manudeep Bhuller, Philipp Eisenhauer, Moritz Mendel

Abstract: Using detailed Norwegian data on earnings, education and work histories, we estimate a dynamic structural model of education and sector choices that captures rich life-cycle patterns by ability. We validate the model against variation in education choices induced by a compulsory schooling reform. Our approach allows us to estimate the ex-ante returns to different education tracks across the life-c… ▽ More Using detailed Norwegian data on earnings, education and work histories, we estimate a dynamic structural model of education and sector choices that captures rich life-cycle patterns by ability. We validate the model against variation in education choices induced by a compulsory schooling reform. Our approach allows us to estimate the ex-ante returns to different education tracks across the life-cycle by individual ability and quantify the contribution of option values. We find substantial heterogeneity in returns and establish crucial roles for option values and re-enrollment in determining education choices and the impact of schooling policies. △ Less

Submitted 1 July, 2024; v1 submitted 11 May, 2022; originally announced May 2022.

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

Reliable Spanners for Metric Spaces

Authors: Sariel Har-Peled, Manor Mendel, Dániel Oláh

Abstract: A spanner is reliable if it can withstand large, catastrophic failures in the network. More precisely, any failure of some nodes can only cause a small damage in the remaining graph in terms of the dilation, that is, the spanner property is maintained for almost all nodes in the residual graph. Constructions of reliable spanners of near linear size are known in the low-dimensional Euclidean settin… ▽ More A spanner is reliable if it can withstand large, catastrophic failures in the network. More precisely, any failure of some nodes can only cause a small damage in the remaining graph in terms of the dilation, that is, the spanner property is maintained for almost all nodes in the residual graph. Constructions of reliable spanners of near linear size are known in the low-dimensional Euclidean settings. Here, we present new constructions of reliable spanners for planar graphs, trees and (general) metric spaces. △ Less

Submitted 1 September, 2022; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: 29 pages, Full version after review

ACM Class: G.2.2; C.2.1

Journal ref: ACM Trans. Algo. 19(1) 1549-6325, 2023

Patch Learning

Authors: Dongrui Wu, Jerry M. Mendel

Abstract: There have been different strategies to improve the performance of a machine learning model, e.g., increasing the depth, width, and/or nonlinearity of the model, and using ensemble learning to aggregate multiple base/weak learners in parallel or in series. This paper proposes a novel strategy called patch learning (PL) for this problem. It consists of three steps: 1) train an initial global model… ▽ More There have been different strategies to improve the performance of a machine learning model, e.g., increasing the depth, width, and/or nonlinearity of the model, and using ensemble learning to aggregate multiple base/weak learners in parallel or in series. This paper proposes a novel strategy called patch learning (PL) for this problem. It consists of three steps: 1) train an initial global model using all training data; 2) identify from the initial global model the patches which contribute the most to the learning error, and train a (local) patch model for each such patch; and, 3) update the global model using training data that do not fall into any patch. To use a PL model, we first determine if the input falls into any patch. If yes, then the corresponding patch model is used to compute the output. Otherwise, the global model is used. We explain in detail how PL can be implemented using fuzzy systems. Five regression problems on 1D/2D/3D curve fitting, nonlinear system identification, and chaotic time-series prediction, verified its effectiveness. To our knowledge, the PL idea has not appeared in the literature before, and it opens up a promising new line of research in machine learning. △ Less

Submitted 1 June, 2019; originally announced June 2019.

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

Fuzzy Opinion Networks: A Mathematical Framework for the Evolution of Opinions and Their Uncertainties Across Social Networks

Authors: Li-Xin Wang, Jerry M. Mendel

Abstract: We propose a new mathematical framework for the evolution and propagation of opinions, called Fuzzy Opinion Network, which is the connection of a number of Gaussian Nodes, possibly through some weighted average, time-delay or logic operators, where a Gaussian Node is a Gaussian fuzzy set with the center and the standard deviation being the node inputs and the fuzzy set itself being the node output… ▽ More We propose a new mathematical framework for the evolution and propagation of opinions, called Fuzzy Opinion Network, which is the connection of a number of Gaussian Nodes, possibly through some weighted average, time-delay or logic operators, where a Gaussian Node is a Gaussian fuzzy set with the center and the standard deviation being the node inputs and the fuzzy set itself being the node output. In this framework an opinion is modeled as a Gaussian fuzzy set with the center representing the opinion itself and the standard deviation characterizing the uncertainty about the opinion. We study the basic connections of Fuzzy Opinion Networks, including basic center, basic standard deviation (sdv), basic center-sdv, chain-in-center and chain-in-sdv connections, and we analyze a number of dynamic connections to show how opinions and their uncertainties propagate and evolve across different network structures and scenarios. We explain what insights we might gain from these mathematical results about the formation and evolution of human opinions. △ Less

Submitted 21 February, 2016; originally announced February 2016.

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

Fast C-K-R Partitions of Sparse Graphs

Authors: Manor Mendel, Chaya Schwob

Abstract: We present fast algorithms for constructing probabilistic embeddings and approximate distance oracles in sparse graphs. The main ingredient is a fast algorithm for sampling the probabilistic partitions of Calinescu, Karloff, and Rabani in sparse graphs. We present fast algorithms for constructing probabilistic embeddings and approximate distance oracles in sparse graphs. The main ingredient is a fast algorithm for sampling the probabilistic partitions of Calinescu, Karloff, and Rabani in sparse graphs. △ Less

Submitted 8 September, 2009; v1 submitted 10 September, 2008; originally announced September 2008.

Comments: 15 pages, title changed, a small error in the running time was fixed. Many errors in English were eliminated

ACM Class: F.2; E.1

Journal ref: Chicago J. Theoretical Comp. Sci., 2009(2), 2009

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

Maximum gradient embeddings and monotone clustering

Authors: Manor Mendel, Assaf Naor

Abstract: Let (X,d_X) be an n-point metric space. We show that there exists a distribution D over non-contractive embeddings into trees f:X-->T such that for every x in X, the expectation with respect to D of the maximum over y in X of the ratio d_T(f(x),f(y)) / d_X(x,y) is at most C (log n)^2, where C is a universal constant. Conversely we show that the above quadratic dependence on log n cannot be improve… ▽ More Let (X,d_X) be an n-point metric space. We show that there exists a distribution D over non-contractive embeddings into trees f:X-->T such that for every x in X, the expectation with respect to D of the maximum over y in X of the ratio d_T(f(x),f(y)) / d_X(x,y) is at most C (log n)^2, where C is a universal constant. Conversely we show that the above quadratic dependence on log n cannot be improved in general. Such embeddings, which we call maximum gradient embeddings, yield a framework for the design of approximation algorithms for a wide range of clustering problems with monotone costs, including fault-tolerant versions of k-median and facility location. △ Less

Submitted 29 August, 2010; v1 submitted 26 June, 2006; originally announced June 2006.

Comments: 25 pages, 2 figures. Final version, minor revision of the previous one. To appear in "Combinatorica"

MSC Class: 30L05; 68W25

Journal ref: Combinatorica 30(5) (2010), 581--615

Truly Online Paging with Locality of Reference

Authors: Amos Fiat, Manor Mendel

Abstract: The competitive analysis fails to model locality of reference in the online paging problem. To deal with it, Borodin et. al. introduced the access graph model, which attempts to capture the locality of reference. However, the access graph model has a number of troubling aspects. The access graph has to be known in advance to the paging algorithm and the memory required to represent the access gr… ▽ More The competitive analysis fails to model locality of reference in the online paging problem. To deal with it, Borodin et. al. introduced the access graph model, which attempts to capture the locality of reference. However, the access graph model has a number of troubling aspects. The access graph has to be known in advance to the paging algorithm and the memory required to represent the access graph itself may be very large. In this paper we present truly online strongly competitive paging algorithms in the access graph model that do not have any prior information on the access sequence. We present both deterministic and randomized algorithms. The algorithms need only O(k log n) bits of memory, where k is the number of page slots available and n is the size of the virtual address space. I.e., asymptotically no more memory than needed to store the virtual address translation table. We also observe that our algorithms adapt themselves to temporal changes in the locality of reference. We model temporal changes in the locality of reference by extending the access graph model to the so called extended access graph model, in which many vertices of the graph can correspond to the same virtual page. We define a measure for the rate of change in the locality of reference in G denoted by Delta(G). We then show our algorithms remain strongly competitive as long as Delta(G) >= (1+ epsilon)k, and no truly online algorithm can be strongly competitive on a class of extended access graphs that includes all graphs G with Delta(G) >= k- o(k). △ Less

Submitted 30 January, 2006; originally announced January 2006.

Comments: 37 pages. Preliminary version appeared in FOCS '97

Journal ref: 38th Annual Symposium on Foundations of Computer Science (FOCS '97), 1997, pp. 326

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

Fast Construction of Nets in Low Dimensional Metrics, and Their Applications

Authors: Sariel Har-Peled, Manor Mendel

Abstract: We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain improved algorithms for the following problems: Approximate nearest neighbor search, well-separated pair decomposition, compact representation scheme, doubling measure, and computation of the (approximate) Lipschitz con… ▽ More We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain improved algorithms for the following problems: Approximate nearest neighbor search, well-separated pair decomposition, compact representation scheme, doubling measure, and computation of the (approximate) Lipschitz constant of a function. In all cases, the running (preprocessing) time is near-linear and the space being used is linear. △ Less

Submitted 22 August, 2005; v1 submitted 29 September, 2004; originally announced September 2004.

Comments: 41 pages. Extensive clean-up of minor English errors

Journal ref: SIAM J. Comput. 35(5):1148-1184, 2006

Multi-Embedding of Metric Spaces

Authors: Yair Bartal, Manor Mendel

Abstract: Metric embedding has become a common technique in the design of algorithms. Its applicability is often dependent on how high the embedding's distortion is. For example, embedding finite metric space into trees may require linear distortion as a function of its size. Using probabilistic metric embeddings, the bound on the distortion reduces to logarithmic in the size. We make a step in the dire… ▽ More Metric embedding has become a common technique in the design of algorithms. Its applicability is often dependent on how high the embedding's distortion is. For example, embedding finite metric space into trees may require linear distortion as a function of its size. Using probabilistic metric embeddings, the bound on the distortion reduces to logarithmic in the size. We make a step in the direction of bypassing the lower bound on the distortion in terms of the size of the metric. We define "multi-embeddings" of metric spaces in which a point is mapped onto a set of points, while keeping the target metric of polynomial size and preserving the distortion of paths. The distortion obtained with such multi-embeddings into ultrametrics is at most O(log Delta loglog Delta) where Delta is the aspect ratio of the metric. In particular, for expander graphs, we are able to obtain constant distortion embeddings into trees in contrast with the Omega(log n) lower bound for all previous notions of embeddings. We demonstrate the algorithmic application of the new embeddings for two optimization problems: group Steiner tree and metrical task systems. △ Less

Submitted 2 August, 2004; originally announced August 2004.

Journal ref: SIAM J. Comput. 34(1): 248-259, 2004

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

Online Companion Caching

Authors: Manor Mendel, Steven S. Seiden

Abstract: This paper is concerned with online caching algorithms for the (n,k)-companion cache, defined by Brehob et. al. In this model the cache is composed of two components: a k-way set-associative cache and a companion fully-associative cache of size n. We show that the deterministic competitive ratio for this problem is (n+1)(k+1)-1, and the randomized competitive ratio is O(\log n \log k) and Ω(\log… ▽ More This paper is concerned with online caching algorithms for the (n,k)-companion cache, defined by Brehob et. al. In this model the cache is composed of two components: a k-way set-associative cache and a companion fully-associative cache of size n. We show that the deterministic competitive ratio for this problem is (n+1)(k+1)-1, and the randomized competitive ratio is O(\log n \log k) and Ω(\log n +\log k). △ Less

Submitted 18 June, 2004; originally announced June 2004.

Comments: 17 pages, 1 figure. Preliminary version in ESA '02. To be published in Theoretical Computer Science A

Journal ref: Theoret. Comput. Sci. 324(2-3): 183-200, 2004

Better algorithms for unfair metrical task systems and applications

Authors: Amos Fiat, Manor Mendel

Abstract: Unfair metrical task systems are a generalization of online metrical task systems. In this paper we introduce new techniques to combine algorithms for unfair metrical task systems and apply these techniques to obtain improved randomized online algorithms for metrical task systems on arbitrary metric spaces. Unfair metrical task systems are a generalization of online metrical task systems. In this paper we introduce new techniques to combine algorithms for unfair metrical task systems and apply these techniques to obtain improved randomized online algorithms for metrical task systems on arbitrary metric spaces. △ Less

Submitted 17 June, 2004; originally announced June 2004.

Comments: 20 pages, 1 figure

Journal ref: SIAM Journal on Computing 32(6), pp. 1403-1422, 2003

Randomized k-server algorithms for growth-rate bounded graphs

Authors: Manor Mendel

Abstract: The paper referred to in the title is withdrawn. The paper referred to in the title is withdrawn. △ Less

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

Comments: The paper is withdrawn

Journal ref: J. Algorithms, 55(2): 192-202, 2005

Ramsey-type theorems for metric spaces with applications to online problems

Authors: Yair Bartal, Bela Bollobas, Manor Mendel

Abstract: A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively studied k-server problem. The proof is based on Ramsey-type theorems for metric spaces, that state that every metric space contains a large subspace which is approximately a hierarchically well-separated tree (and in parti… ▽ More A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively studied k-server problem. The proof is based on Ramsey-type theorems for metric spaces, that state that every metric space contains a large subspace which is approximately a hierarchically well-separated tree (and in particular an ultrametric). These Ramsey-type theorems may be of independent interest. △ Less

Submitted 16 June, 2004; originally announced June 2004.

Comments: Fix an error in the metadata. 31 pages, 0 figures. Preliminary version in FOCS '01. To be published in J. Comput. System Sci

Journal ref: J. Comput. System Sci. 72(5):890-921, 2006