# Controlling Lipschitz functions

## TL;DR

This paper investigates conditions under which sequences in Euclidean space can control all Lipschitz functions mapping to lower-dimensional spaces, establishing necessary and sufficient criteria and proving the conjecture for the case when the domain dimension is one.

## Contribution

The paper introduces a conjecture characterizing Lipschitz-d-controlling sequences and proves it for the case m=1, providing new insights into Lipschitz function control.

## Key findings

- Necessary condition for d-controlling sequences established.
- Sufficient condition slightly stronger than necessary proved.
- Conjecture confirmed for the case m=1.

## Abstract

Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is $d$-controlling if and only if $$\sup_{n\in\mathbb N}\frac{|\{i\in I\, :\, |x_i|\le n\}|}{n^d}=\infty.$$ We prove that this condition is necessary and a slightly stronger one is already sufficient for the sequence to be $d$-controlling. We also prove the conjecture for $m=1$.