Induced-Count Discrepancy in Uniform Hypergraphs

Let $u_k^{(r)}(H,p)$ be the maximum, over all $k$-vertex $r$-uniform hypergraphs $F$, of the absolute difference between the number of induced copies of $F$ in $H$ and its expectation in the binomial random $r$-graph with the same number of vertices as $H$ and edge probability $p$. Let $u_k^{(r)}(n,p)$ be the minimum of $u_k^{(r)}(H,p)$ over all $n$-vertex $r$-uniform hypergraphs, and let $D_r(n,p)$ be the distance from $p\left(\genfrac{}{}{0px}{}{n}{r}\right)$ to the nearest integer. For fixed $r\ge 3$, $k\ge 2r$ and $\epsilon >0$, the quantity $u_k^{(r)}(n,p)$ has order $\max \text{\hspace{0.17em}⁣}\{D_r(n,p),p(1-p)\}{n}^{k-r}$ whenever $p(1-p)n^{\lfloor r\mathrm{/}2\rfloor \mathrm{/}(\left(\genfrac{}{}{0px}{}{2r-2}{r}\right)-1)}\ge \epsilon$. Using local moment estimates and switchings in a sparse reservoir, we construct one hypergraph with the nearest-integer edge count that controls all induced orders simultaneously.