arXiv++ Combinatorics

A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in L^p({\mathbb R}^d)$ for $p \leq \frac{2n}{d}$, then $f$ is identically equal to $0$. In this paper, we investigate an analogous problem for functions $f: {\mathbb Z}_N^d \to {\mathbb C}$. Bourgain's celebrated result on $Λ_p$ sets (\cite{Bou89}), random constructions (\cite{Bab89}), and connections with the theory of exact signal recovery (\cite{DS89}, \cite{MS73}, \cite{IKLM24}, \cite{IM24}) play an important role.

We prove that for $d\ge 2,\, k\ge 2$, if the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$ is greater than $\frac{d^2}{2d-1}$, then, for any given $r > 0$, there exist $(x^1, \dots, x^{k+1})\in E^{k+1}$, $(y^1, \dots, y^{k+1})\in E^{k+1}$, a rotation $θ\in \mathrm{O}_d(\mathbb{R})$, and a vector $a \in \mathbb{R}^d$ such that $rx^j = θy^j - a$ for $1 \leq j \leq k+1$. Such a result on existence of similar $k$-simplices in thin sets had previously been established under a more stringent dimensional threshold in Greenleaf, Iosevich and Mkrtchyan \cite{GIM21}. The argument we are use to prove the main result here was previously employed in Bhowmik and Rakhmonov \cite{BR23} to establish a finite field version. We also show the existence of multi-similarities of arbitrary multiplicity in $\R^d$, show how to extend these results from similarities to arbitrary proper continuous maps, as well as explore a general group-theoretic formulation of this problem in vector spaces over finite fields.