1: \begin{abstract}Let $f$ be a non-negative square-integrable function on a finite volume hyperbolic surface $\Gamma\backslash\Hyp$, and assume that $f$ is non-autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius $r$. We show that in this case the support of $f$ is small, namely, it satisfies $\mu(\supp{f}) \leq (r+1)e^{-\frac{r}{2}} \mu(\Gamma\backslash\Hyp)$.

2: 

3: \iffalse

4: We show that if a measurable set $I$ on the hyperbolic plane contains no pair of points at distance $r$ from each other, and is $\Gamma$-invariant for a finite covolume Fuchsian group $\Gamma\subset \PSL$, then it satisfies $\mu(\Gamma\backslash I) \leq (r+1)e^{-\frac{r}{2}} \mu(\Gamma\backslash\Hyp)$. 

5: \fi

6: As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of $\Gamma\backslash\Hyp$, and two points are connected by an edge if there is a geodesic of length $r$ between them. We show that for any finite covolume $\Gamma$ the measurable chromatic number is at least $e^{\frac{r}{2}}(r+1)^{-1}$. 

7: \end{abstract}

8: