TY - JOUR

T1 - On Lipschitz extension from finite subsets

AU - Naor, Assaf

AU - Rabani, Yuval

N1 - Publisher Copyright:
© 2017, Hebrew University of Jerusalem.

PY - 2017/4/1

Y1 - 2017/4/1

N2 - We prove that for every n ∈ ℕ there exists a metric space (X, dX), an n-point subset S ⊆ X, a Banach space (Z, ‖ · ‖ 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 logn. 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, dX), an n-point subset S ⊆ X and a function f: S → ℓ2 that is α-Hölder with constant 1, yet the α-Hölder constant of any F: X → ℓ2 that extends f satisfies ‖F‖Lip(α)>(logn)2α−14α+(lognloglogn)α2−12. 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 König, 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].

AB - We prove that for every n ∈ ℕ there exists a metric space (X, dX), an n-point subset S ⊆ X, a Banach space (Z, ‖ · ‖ 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 logn. 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, dX), an n-point subset S ⊆ X and a function f: S → ℓ2 that is α-Hölder with constant 1, yet the α-Hölder constant of any F: X → ℓ2 that extends f satisfies ‖F‖Lip(α)>(logn)2α−14α+(lognloglogn)α2−12. 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 König, 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].

UR - http://www.scopus.com/inward/record.url?scp=85018275418&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85018275418&partnerID=8YFLogxK

U2 - 10.1007/s11856-017-1475-1

DO - 10.1007/s11856-017-1475-1

M3 - Article

AN - SCOPUS:85018275418

VL - 219

SP - 115

EP - 161

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

SN - 0021-2172

IS - 1

ER -