Algebraic statistics

For example, Ronald A. Fisher, Henry B. Mann, and Rosemary A. Bailey applied Abelian groups to the design of experiments. Experimental designs were also studied with affine geometry over finite fields and then with the introduction of association schemes by R. C. Bose. Orthogonal arrays were introduced by C. R. Rao also for experimental designs.

Invariant measures on locally compact groups have long been used in statistical theory, particularly in multivariate analysis. Beurling's factorization theorem and much of the work on (abstract) harmonic analysis sought better understanding of the Wold decomposition of stationary stochastic processes, which is important in time series statistics.

Encompassing previous results on probability theory on algebraic structures, Ulf Grenander developed a theory of "abstract inference". Grenander's abstract inference and his theory of patterns are useful for spatial statistics and image analysis; these theories rely on lattice theory.

Partially ordered vector spaces and vector lattices are used throughout statistical theory. Garrett Birkhoff metrized the positive cone using Hilbert's projective metric and proved Jentsch's theorem using the contraction mapping theorem.[1] Birkhoff's results have been used for maximum entropy estimation (which can be viewed as linear programming in infinite dimensions) by Jonathan Borwein and colleagues.

Vector lattices and conical measures were introduced into statistical decision theory by Lucien Le Cam.

Consider a random variable X which can take on the values 0, 1, 2. Such a variable is completely characterized by the three probabilities

${\displaystyle p_{i}=\mathrm {Pr} (X=i),\quad i=0,1,2}$

and these numbers satisfy

${\displaystyle \sum _{i=0}^{2}p_{i}=1\quad {\mbox{and}}\quad 0\leq p_{i}\leq 1.}$

Conversely, any three such numbers unambiguously specify a random variable, so we can identify the random variable X with the tuple (p₀,p₁,p₂)∈R³.

Now suppose X is a binomial random variable with parameter q and n = 2, i.e. X represents the number of successes when repeating a certain experiment two times, where each experiment has an individual success probability of q. Then

${\displaystyle p_{i}=\mathrm {Pr} (X=i)={2 \choose i}q^{i}(1-q)^{2-i}}$

and it is not hard to show that the tuples (p₀,p₁,p₂) which arise in this way are precisely the ones satisfying

${\displaystyle 4p_{0}p_{2}-p_{1}^{2}=0.\ }$

The latter is a polynomial equation defining an algebraic variety (or surface) in R³, and this variety, when intersected with the simplex given by

${\displaystyle \sum _{i=0}^{2}p_{i}=1\quad {\mbox{and}}\quad 0\leq p_{i}\leq 1,}$

yields a piece of an algebraic curve which may be identified with the set of all 3-state Bernoulli variables. Determining the parameter q amounts to locating one point on this curve; testing the hypothesis that a given variable X is Bernoulli amounts to testing whether a certain point lies on that curve or not.