arXiv++ Combinatorics

Let $T$ be a finite tree graph, $T^N$ be the Cartesian power graph of $T$, and $d^N$ be the graph distance metric on $T^N$. Also let \[ \mathbb S_r^N(x) := \{v \in T^N: d^N(x,v) = r\} \] be the sphere of radius $r$ centered at $x$ and $M$ be the spherical maximal averaging operator on $T^N$ given by \[ Mf(x) := \sup_{\substack{r \geq 0 \\ \mathbb S_r^N(x) \neq \emptyset}} \frac{1}{|\mathbb S_r^N(x)|} |\sum_{\mathbb S_r^N(x)} f(y)|. \] We will show that for any fixed $1 \leq p \leq \infty$, the $L^p$ operator norm of $M$, i.e. \[ \|M\|_p := \sup_{\|f\|_p = 1} \|Mf\|_p, \] grows exponentially in the dimension $N$. In particular, if $r$ is the probability that a random vertex of $T$ is a leaf, then $\|M\|_p \geq r^{-N/p}$, although this is not a sharp bound. This exponential growth phenomenon extends to a class of graphs strictly larger than trees, which we will call \emph{global antipode graphs}. This growth result stands in contrast to the work of Greenblatt, Harrow, Kolla, Krause, and Schulman that proved that the spherical maximal $L^p$ bounds (for $p > 1$) are dimension-independent for finite cliques.

For $m \geq 2$, let $(\mathbb{Z}_{m+1}^N, |\cdot|)$ denote the group equipped with the so-called $l^0$ metric, \[ |y| = \left| \big( y(1), \dots, y(N) \big) \right| := | \{1 \leq i \leq N : y(i) \neq 0 \} |,\] and define the $L^1$-normalized indicator of the $r$-sphere, \[ σ_r := \frac{1}{|\{|x| = r\}|} 1_{\{|x| =r\}}.\] We study the $L^p \to L^p$ mapping properties of the maximal operator \[ M^{N} f (x) := \sup_{r \leq N} | σ_r*f| \] acting on functions defined on $\mathbb{Z}_{m+1}^N$. Specifically, we prove that for all $p>1$, there exist absolute constants $C_{m,p}$ so that \[ \| M^{N} f \|_{L^p(\mathbb{Z}_{m+1}^N)} \leq C_{m,p} \| f \|_{L^p(\mathbb{Z}_{m+1}^N)} \] for all $N$.