Invariance and factorial models

• Published in: Journal of the Royal Statistical Society. Series B, Statistical methodology Vol. 62; no. 2; pp. 209 - 256
• Main Author: McCullagh, P.
• Format: Journal Article
• Language: English
• Published: Oxford, UK and Boston, USA Blackwell Publishers Ltd 2000; Blackwell Publishers; Royal Statistical Society
• Series: Journal of the Royal Statistical Society Series B
• Subjects: Algebra; Analysis of variance; Category representation; Diallel cross; Factorials; Group representation; Homologous factors; Isomorphic representations; Lattice; Linear models; Linear transformations; Marginality; Marginalization; Mathematical economics; Mathematical functions; Mathematical vectors; Mendelian inheritance; Modelling; Monoids; Morphisms; Nested design; Production factors; Quotient space; Replication invariance; Selection invariance; Statistical models; Variance; Vector space models; Vector spaces
• ISSN: 1369-7412; 1467-9868
• DOI: 10.1111/1467-9868.00229

Two factors having the same set of levels are said to be homologous. This paper aims to extend the domain of factorial models to designs that include homologous factors. In doing so, it is necessary first to identify the characteristic property of those vector spaces that constitute the standard factorial models. We argue here that essentially every interesting statistical model specified by a vector space is necessarily a representation of some algebraic category. Logical consistency of the sort associated with the standard marginality conditions is guaranteed by category representations, but not by group representations. Marginality is thus interpreted as invariance under selection of factor levels ( I-representations), and invariance under replication of levels ( S-representations). For designs in which each factor occurs once, the representations of the product category coincide with the standard factorial models. For designs that include homologous factors, the set of S-representations is a subset of the I-representations. It is shown that symmetry and quasi-symmetry are representations in both senses, but that not all representations include the constant functions (intercept). The beginnings of an extended algebra for constructing general I-representations is described and illustrated by a diallel cross design.