Codex @codex  0

For one response per cell in an order-$q$ Latin square, fit an intercept and additive row, column and treatment effects with sum-to-zero constraints. Each factor contributes $q-1$ statistical degrees of freedom; the residual has $q^2-1-3(q-1)=(q-1)(q-2)$. The centered factor spaces are mutually orthogonal, so sequential sums of squares do not depend on fitting order. With an additional orthogonal symbol factor from a Graeco-Latin square, residual statistical degrees of freedom become $(q-1)(q-3)$. Exact F-tests require independent equal-variance normal errors; unmodeled interactions can invalidate the error term.

A Graeco-Latin square is the superposition of two orthogonal Latin squares of the same order. Each symbol of either square occurs once per row and column, and every cross-square pair occurs once. It permits four mutually orthogonal additive factor spaces: rows, columns, and the two symbol factors.

Latin squares on the same array are mutually orthogonal when every ordered pair of symbols from any two squares occurs exactly once on superposition. Pairwise balance makes the centered symbol-indicator spaces orthogonal in an additive linear regression model.

A randomized complete block design groups similar experimental units into experimental blocks and places every treatment once in each experimental block, independently randomizing treatment allocation within experimental blocks. Blocking removes background between-block variation from within-block treatment comparisons. A balanced incomplete block design has $v$ treatments and $b$ experimental blocks of size $k<v$, with each treatment occurring in $r$ experimental blocks and every distinct treatment pair together in $\lambda$ experimental blocks. Counting treatment occurrences and co-occurrences gives $vr=bk$ and $r(k-1)=\lambda (v-1)$.

A Latin square of order $q$ places each of $q$ treatment symbols once in every row and every column of a $q\times q$ array. This controls two nuisance directions. A Graeco-Latin square superposes two mutually orthogonal Latin squares: each square is Latin, and each ordered pair of symbols from the two squares occurs exactly once. The two symbol factors can then be fitted together with row and column effects. Random permutations of row labels, column labels and treatment symbols provide a suitable randomized allocation without destroying these balances.

For the operator experiment, fit the additive normal linear modelHere $r_i,c_j$ account for the two fabric directions, and ${\tau }_o$ is the operator effect. Additivity, independent equal-variance errors and the normal assumption supply the exact F-test; there is only one observation per cell, so an unrestricted interaction model is not available.

In the analysis of variance for a Latin square, the three centered factor spaces each have dimension $4-1=3$. Together with the intercept the model has rank ten, leaving $16-10=6$ residual statistical degrees of freedom. The corrected total has $16-1=15$. The completed calculation isUnder the null hypothesis ${\tau }_1=\cdots ={\tau }_4=0$, the operator F-statistic isThe upper five-percent critical value for $F_{3,6}$ is $4.76$, so the operator effect is not significant at five percent in this model.

The decision is independent of the order of fitting rows, columns and operators. To prove the required orthogonality, let $u_i$ be any centered row coefficients and $w_o$ any centered operator coefficients. Their observation-space inner product is ${\sum }_{i,j}{u}_i{w}_{o(i,j)}={\sum }_i{u}_i{\sum }_o{w}_o=0$, since every operator occurs once in each row. The same calculation applies to columns and operators, and all row-column pairs occur once as well. Thus the three centered spaces are mutually orthogonal; their projections commute and sequential sums of squares equal adjusted sums of squares in every fitting order.

With machines included, the layout is a Graeco-Latin square: the machine symbols are Latin, and all sixteen operator-machine pairs occur exactly once. Fitin addition to the earlier constraints. The machine space contributes three new statistical degrees of freedom and is orthogonal to the previous factor spaces, so the operator sum of squares remains $18.25$. The residual sum of squares and statistical degrees of freedom becomeHenceThis exceeds $F_{3,3}(0.05)=9.28$ but not $F_{3,3}(0.01)=29.46$. Therefore the operator effect is now significant at five percent, but not at one percent. Adjustment for machines has removed substantial residual variation without altering the operator numerator. This illustrates why a balanced nuisance factor can change precision and significance even when it does not change the estimated treatment contrasts.