Room square
A Room square, named after Thomas Gerald Room, is an n × n array filled with n + 1 different symbols in such a way that:
- Each cell of the array is either empty or contains an unordered pair from the set of symbols
- Each symbol occurs exactly once in each row and column of the array
- Every unordered pair of symbols occurs in exactly one cell of the array.
An example, a Room square of order seven, if the set of symbols is integers from 0 to 7:
0,7 | 1,5 | 4,6 | 2,3 | |||
3,4 | 1,7 | 2,6 | 0,5 | |||
1,6 | 4,5 | 2,7 | 0,3 | |||
0,2 | 5,6 | 3,7 | 1,4 | |||
2,5 | 1,3 | 0,6 | 4,7 | |||
3,6 | 2,4 | 0,1 | 5,7 | |||
0,4 | 3,5 | 1,2 | 6,7 |
It is known that a Room square (or squares) exist if and only if n is odd but not 3 or 5.
History
The order-7 Room square was used by Robert Richard Anstice to provide additional solutions to Kirkman's schoolgirl problem in the mid-19th century, and Anstice also constructed an infinite family of Room squares, but his constructions did not attract attention.[1] Thomas Gerald Room reinvented Room squares in a note published in 1955,[2] and they came to be named after him. In his original paper on the subject, Room observed that n must be odd and unequal to 3 or 5, but it was not shown that these conditions are both necessary and sufficient until the work of W. D. Wallis in 1973.[3]
Applications
Pre-dating Room's paper, Room squares had been used by the directors of duplicate bridge tournaments in the construction of the tournaments. In this application they are known as Howell rotations. The columns of the square represent tables, each of which holds a deal of the cards that is played by each pair of teams that meet at that table. The rows of the square represent rounds of the tournament, and the numbers within the cells of the square represent the teams that are scheduled to play each other at the table and round represented by that cell.
Archbold and Johnson used Room squares to construct experimental designs.[4]
There are connections between Room squares and other mathematical objects including quasigroups, Latin squares, graph factorizations, and Steiner triple systems.[5]
References
- O'Connor, John J.; Robertson, Edmund F., "Robert Anstice", MacTutor History of Mathematics Archive, University of St Andrews.
- Room, T. G. (1955), "A new type of magic square", The Mathematical Gazette, 39: 307, doi:10.2307/3608578, JSTOR 3608578, S2CID 125711658
- Hirschfeld, J. W. P.; Wall, G. E. (1987), "Thomas Gerald Room. 10 November 1902–2 April 1986", Biographical Memoirs of Fellows of the Royal Society, 33: 575–601, doi:10.1098/rsbm.1987.0020, JSTOR 769963, S2CID 73328766; also published in Historical Records of Australian Science 7 (1): 109–122, doi:10.1071/HR9870710109; an abridged version is online at the web site of the Australian Academy of Science
- Archbold, J. W.; Johnson, N. L. (1958), "A construction for Room's squares and an application in experimental design", Annals of Mathematical Statistics, 29: 219–225, doi:10.1214/aoms/1177706719, MR 0102156
- Wallis, W. D. (1972), "Part 2: Room squares", in Wallis, W. D.; Street, Anne Penfold; Wallis, Jennifer Seberry (eds.), Combinatorics: Room Squares, Sum-Free Sets, Hadamard Matrices, Lecture Notes in Mathematics, vol. 292, New York: Springer-Verlag, pp. 30–121, doi:10.1007/BFb0069909, ISBN 0-387-06035-9; see in particular p. 33
Further reading
- Dinitz, J. H.; Stinson, D. R. (1992), "Room squares and related designs", in Dinitz, J. H.; Stinson, D. R. (eds.), Contemporary Design Theory: A Collection of Surveys, Wiley–Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, pp. 137–204, ISBN 0-471-53141-3
- Weisstein, Eric W., "Room Square", MathWorld