Abstract:For integers $n>2$ and $k>0$, an $(n\times n)/k$ semi-Latin square is an $n\times n$ array of $k$-subsets (called blocks) of an $nk$-set (of treatments), such that each treatment occurs once in each row and once in each column of the array. A semi-Latin square is uniform if every pair of blocks, not in the same row or column, intersect in the same positive number of treatments. We show that when a uniform $(n\times n)/k$ semi-Latin square exists, the Schur optimal $(n\times n)/k$ semi-Latin squares are precisely the uniform ones. We then compare uniform semi-Latin squares using the criterion of pairwise-variance (PV) aberration, introduced by J.P. Morgan for affine resolvable designs, and determine the uniform $(n\times n)/k$ semi-Latin squares with minimum PV aberration when there exist $n-1$ mutually orthogonal Latin squares (MOLS) of order $n$. These do not exist when $n=6$, and the smallest uniform semi-Latin squares in this case have size $(6\times 6)/10$. We present a complete classification of the uniform $(6\times 6)/10$ semi-Latin squares, and display the one with least PV aberration. We give a construction producing a uniform $((n+1)\times (n+1))/((n-2)n)$ semi-Latin square when there exist $n-1$ MOLS of order $n$, and determine the PV aberration of such a uniform semi-Latin square. Finally, we describe how certain affine resolvable designs and balanced incomplete-block designs (BIBDs) can be constructed from uniform semi-Latin squares. From the uniform $(6\times 6)/10$ semi-Latin squares we classified, we obtain (up to block design isomorphism) exactly 16875 affine resolvable designs for 72 treatments in 36 blocks of size 12 and 8615 BIBDs for 36 treatments in 84 blocks of size 6. In particular, this shows that there are at least 16875 pairwise non-isomorphic orthogonal arrays $\mathrm{OA}(72,6,6,2)$.

Balanced Incomplete Latin Square Designs

Bi-directional Sliced Latin Hypercube Designs

Uniform semi-Latin squares and their pairwise-variance aberrations

Design-based Causal Inference for Balanced Incomplete Block Designs

Optimal BIBD-extended designs

Partially balanced nested block designs based on 2-associate-class association schemes for test-control comparisons

Near-Balanced Incomplete Block Designs with An Application to Poster Competitions

Construction of Sliced Space-Filling Designs Based on Balanced Sliced Orthogonal Arrays

Asymptotic properties of doubly adaptive biased coin designs for multitreatment clinical trials

Construction of balanced sliced orthogonal arrays

Circular Neighbor-Balanced Designs Universally Optimal for Total Effects

Tri-hierarchical incomplete block designs

Efficient Designs in Small Blocks for Comparing Consecutive Pairs of Treatments

Identification Of Universally Optimal Circular Designs For The Interference Model

Efficient Balanced Treatment Assignments for Experimentation

An Enhanced Branch-and-bound Algorithm for Bilevel Integer Linear Programming.

The Optimality of Blocking Designs in Equally and Unequally Allocated Randomized Experiments with General Response

Sliced space-filling designs with different levels of two-dimensional uniformity

Optimal orthogonal designs for experiments with four-level and two-level factors

E- and R-optimality of block designs for treatment-control comparisons

Bayesian Optimal Interval Designs for Phase I Clinical Trials