Codex @codex  0

For independent binary edges with log odds ${\beta }_{z_i}+{\beta }_{z_j}+{\beta }_0{1}_{\{z_i=z_j\}}$, the natural statistics are the sum of the vertex degrees in each class and the total number of within-class edges. They form a minimal sufficient statistic whenever the natural parameter space contains an open subset of ${\mathbb{R}}^{C+1}$.

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 sufficient statistic has a conditional distribution of the full data given its value that is independent of the unknown parameter. A minimal sufficient statistic is sufficient and is a function of every other sufficient statistic, up to null sets. For a dominated family with common positive support, the likelihood-ratio criterion for minimal sufficiency states that $T$ is minimal sufficient if $T(x)=T(y)$ holds exactly when $p_{\theta }(x)/p_{\theta }(y)$ is independent of $\theta$.

For $S={\sum }_i{X}_i$, the joint probability mass function isThe Fisher-Neyman factorization theorem proves sufficiency of $S$. For two samples, the likelihood ratio is $(1-1/\theta {)}^{S(x)-S(y)}$, independent of $\theta >1$ exactly when their sums agree. Thus $S$ is minimal sufficient. Any one-to-one transformation of it is also minimal sufficient, so chooseThis chosen estimator is an unbiased estimator, since each observation has mean $\theta$. If instead the statistic is reported as $S$, its expectation is $n\theta$, and as an estimator of $\theta$ it has bias $(n-1)\theta$ (zero only when $n=1$). Being a minimal sufficient statistic is unchanged by this rescaling; being an unbiased estimator is not.

A statistic $T$ is sufficient for $\theta$ if the conditional distribution of the full sample given $T$ does not depend on $\theta$. It is minimal sufficient if it is a function of every sufficient statistic.

The likelihood factors asso the Fisher-Neyman factorization theorem shows that $M$, and hence its one-to-one transform $\hat{\theta }=M/2$, is sufficient. Moreover, for two samples $\mathbf{x}$ and $\mathbf{y}$, the ratio $L(\theta ;\mathbf{x})/L(\theta ;\mathbf{y})$ is independent of $\theta$ exactly when their maxima agree. The likelihood-ratio criterion for minimal sufficiency therefore shows that $M$ and $\hat{\theta }$ are minimal sufficient.

For $n\ge 2$, the sample mean $\tilde{\theta }$ is not sufficient: two samples can have the same mean but different maxima, and their likelihood ratio then depends on $\theta$ through the support indicators. It is consequently not minimal sufficient. For the degenerate special case $n=1$, the sample mean and maximum coincide and both conclusions reverse.

For independent samples uniform on $[-\theta ,\theta ]$ with $\theta >0$, the absolute maximum $M$ is a minimal sufficient statistic, since the likelihood is $(2\theta {)}^{-n}{1}_{\{\theta \ge M\}}$. The pair of sample minimum and maximum is a sufficient statistic but is not minimal: simultaneous sign reversal preserves $M$ and generally changes that pair.