The Lipschitz-surface characterization conjecture for dd-controlling sequences

Let mm and dd be positive integers, and let (xi)iI(x_i)_{i\in I} be a sequence of points in Rm\mathbb{R}^m. A sequence in Rm\mathbb{R}^m is dd-controlling if there are points (yi)iIRd(y_i)_{i\in I}\subset\mathbb{R}^d such that every Lipschitz function f:RmRdf:\mathbb{R}^m\to\mathbb{R}^d satisfies f(xi)yi<1|f(x_i)-y_i|<1 for some iIi\in I.

The Lipschitz-surface characterization conjecture. The sequence (xi)iI(x_i)_{i\in I} is dd-controlling if and only if there exist a Lipschitz map g:RdRmg:\mathbb{R}^d\to\mathbb{R}^m and a dd-controlling sequence (xi)iI(x'_i)_{i\in I'} in Rd\mathbb{R}^d, with III'\subseteq I, such that

g(xi)=xi(iI).g(x'_i)=x_i\qquad(i\in I').

The claim is intended to characterize controlling sequences by a dd-dimensional Lipschitz surface through a controlling subset. It is stated as obviously true when mdm\le d; the case m>dm>d is the substantive open case.

Sources & referencesView supporting material

Primary source

Andrey Kupavskii, Janos Pach and Gabor Tardos, “Controlling Lipschitz functions”, arXiv:1704.03062 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.