On Lipschitz extension from finite subsets

Abstract

We prove that for every n ∈ ℕ there exists a metric space (X, d X), an n-point subset S ⊆ X, a Banach space (Z, $${\left\| \right\|_Z}$$ ) and a 1-Lipschitz function f: S → Z such that the Lipschitz constant of every function F: X → Z that extends f is at least a constant multiple of $$\sqrt {\log n} $$ . This improves a bound of Johnson and Lindenstrauss [JL84]. We also obtain the following quantitative counterpart to a classical extension theorem of Minty [Min70]. For every α ∈ (1/2, 1] and n ∈ ℕ there exists a metric space (X, d X), an n-point subset S ⊆ X and a function f: S → l2 that is α-Holder with constant 1, yet the α-Holder constant of any F: X → l2 that extends f satisfies $${\left\| F \right\|_{Lip\left( \alpha \right)}} > {\left( {\log n} \right)^{\frac{{2\alpha - 1}}{{4\alpha }}}} + {\left( {\frac{{\log n}}{{\log \log n}}} \right)^{{\alpha ^2} - \frac{1}{2}}}$$ . We formulate a conjecture whose positive solution would strengthen Ball’s nonlinear Maurey extension theorem [Bal92], serving as a far-reaching nonlinear version of a theorem of Konig, Retherford and Tomczak-Jaegermann [KRTJ80]. We explain how this conjecture would imply as special cases answers to longstanding open questions of Johnson and Lindenstrauss [JL84] and Kalton [Kal04].