1: \begin{definition}[Discrepancy and generic points]

2: \label{discrepancy} Fix some integer $M\geq\frac{5}{{\ref{exp:decay2}}}+6$ (where $\ref{exp:decay2}$ is the rate of the decay of matrix coefficients of $u_t$ specified in (S5) after Theorem \ref{propertytau}).

3: We denote the $p$-adic ball in $\bQ_{p}$ at $ap^{-M\ell}$ with $a\in\bZ_{p}^{\times}$ and radius $p^{(M-1)\ell}$ by 

4: \[

5: \cB_{\ell}({a})=\Bigl\{t\in\bQ_p\mid | t-ap^{-M\ell}|_p\leq p^{(M-1)\ell}\Bigr\}

6: \]

7: and note that $|\cB_{\ell}({a})|=p^{(M-1)\ell}$. 

8: Using these balls we define the discrepancy of the average of $u_t$ over $\cB_\ell(a)$ by

9: $$D_{a,\ell}(f)(x)=\frac1{p^{(M-1)\ell}}\int_{\cB_{\ell}({a})}f(xu_{t})\on{d}\!t-

10:  \mu(f),$$

11: where we used the abbreviation~$\mu(f)=\int_\mathcal{Y} f\on{d}\!\mu$.

12: A point $x\in X$ is called $\ell_{0}$-\textit{generic} w.r.t.~

13: a Sobolev norm $\mathcal{S}_{d'}$ for some $\ell_0\geq 1$

14: if for any integer $\ell \geq \ell_{0}$, any $a\in\bZ_{p}^{\times}$ and any smooth $f\in C_c^\infty(\mathcal{Y})$ we have 

15: \[

16:  |D_{a,\ell}(f)(x)|\leq p^{-\ell}\cS_{d'}(f).

17: \]

18: We say that a point $x \in X$ is $\left[\ell_{0},\ell_{1}\right]$-\textit{generic} w.r.t.~$\mathcal{S}_{d'}$ for some $1\leq \ell_0\leq \ell_{1}$ if the above condition holds for all integers $\ell_{0} \leq \ell \leq \ell_{1}$ (where~$\ell_1=\infty$ corresponds to~$\ell_0$-generic).

19: A point $x \in X$ is called $(\ell_0,\ell_1,\mathcal{F})$-\textit{generic} if $xg$ is $[\ell_0,\ell_1]$-generic

20: for all $g\in\mathcal{F}$. 

21: \end{definition}

22: