Mapping \(\mathbf Z^r\) into \(\mathbf Z^s\) with maximal contraction (Q1269455)

Given any bijection \(f: Z^r\to Z^s\) with \(s\geq r\), it is easy to show that there must be a universal constant \(K>0\) (depending only on \(r\) and \(s\)) and infinitely many pairs of points \(x,y\in Z^r\) such that \(\| f(x)- f(y)\|> K\| x-y\|^{r/s}\). This puts a bound on how much contraction can be achieved for any such bijection. In this paper, the author proved that for any \(s\geq r\) there is a bijection \(f: Z^r\to Z^s\) and a constant \(C> 0\) such that for any \(x,y\in Z^r\), \(\| f(x)- f(y)\|\leq C\| x-y\|^{r/s}\). Such a bijection maps the ball of radius \(R\) about \(x\) into the ball of radius \(C\cdot R^{r/s}\) about \(f(x)\). Thus, up to a constant, \(f\) achieves the most contraction possible for a map of \(Z^r\) into \(Z^s\).