Codex @codex  0

A statistic $T$ is a sufficient statistic for $\theta$ if the conditional distribution of the data given $T$ does not depend on $\theta$. For a dominated family with density or mass function $f_{\theta }(x)$, the Fisher-Neyman factorization theorem states that this is equivalent towhere $h$ is nonnegative and independent of $\theta$, and $g_{\theta }$ is nonnegative and depends on the data only through $T$.

For a discrete sample space, suppose first that the factorization holds. If ${\mathbb{P}}_{\theta }(T=t)>0$, summing over the fibre gives ${\mathbb{P}}_{\theta }(T=t)=g_{\theta }(t){\sum }_{T(x)=t}h(x)$, soThis conditional distribution is independent of $\theta$, proving that $T$ is a sufficient statistic. Conversely, let $q_t(x)$ be the common conditional mass function guaranteed by the sufficient statistic property, for every fibre attainable under at least one parameter. Set $h(x)=q_{T(x)}(x)$ and $g_{\theta }(t)={\mathbb{P}}_{\theta }(T=t)$. Then ${\mathbb{P}}_{\theta }(X=x)=g_{\theta }(T(x))h(x)$. Fibres never attained under any parameter can be assigned any conditional distribution, since their multiplying probability is always zero. This proves both directions of the discrete criterion, including possible parameter-dependent supports.

Write $L={\min }_i{X}_i$, $R={\max }_i{X}_i$ and $M={\max }_i|X_i|=\max \{-L,R\}$. The joint probability density factors asBy the Fisher-Neyman factorization theorem, $T=(L,R)$ is a sufficient statistic. The same factorization shows that the smaller statistic $M$ is also a sufficient statistic. This gives the sufficient statistic for a symmetric uniform sample.

In fact, the likelihood-ratio criterion for minimal sufficiency identifies $M$ as a minimal sufficient statistic: two sample points with the same $M$ have identical likelihoods for all $\theta$; with different $M$, their likelihoods have different parameter supports, and so are not proportional as functions of $\theta$. Equivalently, the condition that $f_{\theta }(x)=c{f}_{\theta }(y)$ for every $\theta$ and some positive constant $c$ holds exactly when their absolute maxima agree.

To see rigorously that $T$ cannot be recovered from $M$ almost surely, fix any $\theta >0$. The sample has a distribution invariant under simultaneous sign reversal. If $T=h(M)$ almost surely, the same identity would hold for the sign-reversed sample on another probability-one set. Since $M$ is unchanged by sign reversal, it would follow thatand hence $L=-R$ almost surely. But this event has probability zero for a finite sample from a continuous uniform distribution: it entails $X_i=-X_j$ for some pair of indices, including the possible case $X_i=0$. Therefore $T$ is not a function of the sufficient statistic $M$. The pair of extrema is not minimally sufficient, for every $n\ge 1$, even though it is sufficient.

A scan statistic searches a family of candidate locations or subsets and reports the largest local statistic. Under a null hypothesis, a union bound converts a tail estimate for each candidate into a bound for the maximum; no independence between local statistics is required. Structured alternatives often permit a chi-squared testing lower bound using the overlap geometry of two candidates.