Title:On metric properties of maps between Hamming spaces and related graph homomorphisms

Abstract:A mapping of $k$-bit strings into $n$-bit strings is called an $(\alpha,\beta)$-map if $k$-bit strings which are more than $\alpha k$ apart are mapped to $n$-bit strings that are more than $\beta n$ apart. This is a relaxation of the classical error-correcting codes problem ($\alpha=0$).
The question is equivalent to existence of graph homomorphisms between certain graphs on the hypercube. Tools based on Schrijver's $\theta$-function are developed for testing when such homomorphisms are possible.
For $n>k$ the non-existence results on $(\alpha,\beta)$ are proved by invoking the asymptotic results on $\theta$-function of McEliece, Rodemich, Rumsey and Welch (1977), Samorodnitsky (2001) as well as an exact solution of Delsarte's linear program for $d>n/2$. Among other things, these bounds show that for $\beta>1/2$ and $n/k$ -- integer, the repetition map achieving $\alpha=\beta$ is best possible.
For $n<k$ a quantitative version of the no-homomorphism lemma is used together with Kleitman's theorem, which precisely characterizes the diameter-volume tradeoff in Hamming space.
Finally, the question of constructing good linear $(\alpha,\beta)$ maps is shown to be equivalent to finding certain extremal configurations of points in (finite) projective spaces. Consequently, implications of our results for projective geometry over $\FF_2$ is given.