Orthogonal factor‐pair Latin squares of prime‐power order

We introduce a linear method for constructing factor‐pair Latin squares of prime‐power order and we identify criteria for determining whether two factor‐pair Latin squares constructed using this linear method are orthogonal. Then we show that families of pairwise mutually orthogonal diagonal factor‐pair Latin squares exist in all prime‐power orders.     

The Existence of Latin Squares without Orthogonal Mates

A latin square is a bachelor square if it does not possess an orthogonal mate; equivalently, it does not have a decomposition into disjoint transversals. We define a latin square to be a confirmed bachelor square if it contains an entry through which there is no transversal. We prove the existence of confirmed bachelor squares for all orders greater than three. This resolves the existence question for bachelor squares.     

On Orthogonal Latin <Emphasis Type="Italic">p</Emphasis>-Dimensional Cubes

We give a construction of p orthogonal Latin p-dimensional cubes (or Latin hypercubes) of order n for every natural number n ≠ 2, 6 and p ≥ 2. Our result generalizes the well known result about orthogonal Latin squares published in 1960 by R. C. Bose, S. S. Shikhande and E. T. Parker.     

Near‐automorphisms of Latin squares

We define a near‐automorphism α of a Latin square L to be an isomorphism such that L and α L differ only within a 2 × 2 subsquare. We prove that for all n≥2 except n∈{3, 4}, there exists a Latin square which exhibits a near‐automorphism. We also show that if α has the cycle structure (2, n ? 2), then L exists if and only if n≡2 (mod 4), and can be constructed from a special type of partial orthomorphism. Along the way, we generalize a theorem by Marshall Hall, which states that any Latin rectangle can be extended to a Latin square. We also show that if α has at least 2 fixed points, then L must contain two disjoint non‐trivial subsquares. Copyright © 2011 John Wiley & Sons, Ltd. 19:365‐377, 2011     

Constructions of pairs of orthogonal latin cubes

A pair of orthogonal latin cubes of order $q$ is equivalent to a maximum distance separable code with distance 3 or to an ${\mathit{OA}}_1\left(3,5,q\right)$ orthogonal array. We construct pairs of orthogonal latin cubes for sequences of previously unknown orders $q_i=16\left(18i?1\right)+4$ and $q_i^{\prime }=16\left(18i+5\right)+4$. The minimal new obtained parameters of orthogonal arrays are ${\mathit{OA}}_1\left(3,5,84\right)$.     

Embedding a Latin square with transversal into a projective space

A Latin square of side n defines in a natural way a finite geometry on 3n points, with three lines of size n and n² lines of size 3. A Latin square of side n with a transversal similarly defines a finite geometry on 3n+1 points, with three lines of size n, n²−n lines of size 3, and n concurrent lines of size 4. A collection of k mutually orthogonal Latin squares defines a geometry on kn points, with k lines of size n and n² lines of size k. Extending the work of Bruen and Colbourn [A.A. Bruen, C.J. Colbourn, Transversal designs in classical planes and spaces, J. Combin. Theory Ser. A 92 (2000) 88-94], we characterise embeddings of these finite geometries into projective spaces over skew fields.     

Transversals in Latin Arrays with Many Distinct Symbols

An array is row‐Latin if no symbol is repeated within any row. An array is Latin if it and its transpose are both row‐Latin. A transversal in an array is a selection of n different symbols from different rows and different columns. We prove that every Latin array containing at least distinct symbols has a transversal. Also, every row‐Latin array containing at least distinct symbols has a transversal. Finally, we show by computation that every Latin array of order 7 has a transversal, and we describe all smaller Latin arrays that have no transversal.     

Monogamous latin squares

We show for all n∉{1,2,4} that there exists a latin square of order n that contains two entries γ₁ and γ₂ such that there are some transversals through γ₁ but they all include γ₂ as well. We use this result to show that if n>6 and n is not of the form 2p for a prime p?11 then there exists a latin square of order n that possesses an orthogonal mate but is not in any triple of MOLS. Such examples provide pairs of 2-maxMOLS.     

Completions of ‐Dense Partial Latin Squares

A classical question in combinatorics is the following: given a partial Latin square P, when can we complete P to a Latin square L? In this paper, we investigate the class of ε‐dense partial Latin squares: partial Latin squares in which each symbol, row, and column contains no more than ‐many nonblank cells. Based on a conjecture of Nash‐Williams, Daykin and Häggkvist conjectured that all ‐dense partial Latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random Latin squares, and use this technique to study ε‐dense partial Latin squares that contain no more than filled cells in total. In this paper, we construct completions for all ε‐dense partial Latin squares containing no more than filled cells in total, given that . In particular, we show that all ‐dense partial Latin squares are completable. These results improve prior work by Gustavsson, which required , as well as Chetwynd and Häggkvist, which required , n even and greater than 10⁷.     

Classification of Vertex‐Transitive Cubic Partial Cubes

Partial cubes are graphs isometrically embeddable into hypercubes. In this article, it is proved that every cubic, vertex‐transitive partial cube is isomorphic to one of the following graphs: , for , the generalized Petersen graph G (10, 3), the cubic permutahedron, the truncated cuboctahedron, or the truncated icosidodecahedron. This classification is a generalization of results of Bre?ar et  al. (Eur J Combin 25 (2004), 55–64) on cubic mirror graphs; it includes all cubic, distance‐regular partial cubes (P. M. Weichsel, Discrete Math 109 (1992), 297–306), and presents a contribution to the classification of all cubic partial cubes.     

正交拉丁方组和泛对角线幻方的一种构造法

利用线性取余变换构造素数阶完备正交拉丁方组,给出泛对角线幻方的一种构造法.     

A graph-theoretic proof of the non-existence of self-orthogonal Latin squares of order 6

The non-existence of a pair of mutually orthogonal Latin squares of order six is a well-known result in the theory of combinatorial designs. It was conjectured by Euler in 1782 and was first proved by Tarry in 1900 by means of an exhaustive enumeration of equivalence classes of Latin squares of order six. Various further proofs have since been given, but these proofs generally require extensive prior subject knowledge in order to follow them, or are ‘blind’ proofs in the sense that most of the work is done by computer or by exhaustive enumeration. In this paper we present a graph-theoretic proof of a somewhat weaker result, namely the non-existence of self-orthogonal Latin squares of order six, by introducing the concept of a self-orthogonal Latin square graph. The advantage of this proof is that it is easily verifiable and accessible to discrete mathematicians not intimately familiar with the theory of combinatorial designs. The proof also does not require any significant prior knowledge of graph theory.     

On the range of influences in back-circulant Latin squares

In this note we obtain a large lower bound for the index of a certain critical set in the back-circulant Latin squares of odd order. This resolves in the negative a conjecture of Fitina, Seberry and Chaudhry [Back-circulant Latin square and the influence of a set, Austral. J. Combin. 20 (1999) 163-180].     

带两洞的不完全自正交拉丁方的存在性

讨论不完全自正交拉丁方ISOLS(v;3,3)的存在性问题.证明当v≥12,v{13,14,15,16,17,18,19,20,21,22,23,24,25,27,28,29,30,31,33,35,36}时,存在ISOLS(v;3,3).     

The fine structures of three Latin squares

Denote by Fin(υ) the set of all integral pairs (t,s) for which there exist three Latin squares of order υ on the same set having fine structure (t,s). We determine the set Fin(υ) for any integer v ≥ 9. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 85–110, 2006     

Latin Squares with a Unique Intercalate

Suppose that and . We construct a Latin square of order n with the following properties:

• has no proper subsquares of order 3 or more .
• has exactly one intercalate (subsquare of order 2) .
• When the intercalate is replaced by the other possible subsquare on the same symbols, the resulting Latin square is in the same species as .

Hence generalizes the square that Sade famously found to complete Norton's enumeration of Latin squares of order 7. In particular, is what is known as a self‐switching Latin square and possesses a near‐autoparatopism.     

Latin squares with restricted transversals

We prove that for all odd m ≥ 3 there exists a latin square of order 3 m that contains an ( m ? 1 ) × m latin subrectangle consisting of entries not in any transversal. We prove that for all even n ≥ 10 there exists a latin square of order n in which there is at least one transversal, but all transversals coincide on a single entry. A corollary is a new proof of the existence of a latin square without an orthogonal mate, for all odd orders n ≥ 11 . Finally, we report on an extensive computational study of transversal‐free entries and sets of disjoint transversals in the latin squares of order n ? 9 . In particular, we count the number of species of each order that possess an orthogonal mate. © 2011 Wiley Periodicals, Inc. J Combin Designs 20:124‐141, 2012     

Types of superregular matrices and the number of n‐arcs and complete n‐arcs in PG (r,q)

Based on the classification of superregular matrices, the numbers of non‐equivalent n‐arcs and complete n‐arcs in PG(r, q) are determined (i) for 4 ≤ q ≤ 19, 2 ≤ r ≤ q ? 2 and arbitrary n, (ii) for 23 ≤ q ≤ 32, r = 2 and n ≥ q ? 8<$>. The equivalence classes over both PGL (k, q) and PΓL(k, q) are considered throughout the examinations and computations. For the classification, an n‐arc is represented by the systematic generator matrix of the corresponding MDS code, without the identity matrix part of it. A rectangular matrix like this is superregular, i.e., it has only non‐singular square submatrices. Four types of superregular matrices are studied and the non‐equivalent superregular matrices of different types are stored in databases. Some particular results on t(r, q) and m′(r, q)—the smallest and the second largest size for complete arcs in PG(r, q)—are also reported, stating that m′(2, 31) = 22, m′(2, 32) = 24, t(3, 23) = 10, and m′(3, 23) = 16. © 2006 Wiley Periodicals, Inc. J Combin Designs 14: 363–390, 2006     

Existence of (3, 1, 2)‐conjugate orthogonal diagonal latin squares

We shall refer to a diagonal Latin square which is orthogonal to its (3,1,2)‐conjugate, and the latter is also a diagonal Latin square, as a (3,1, 2)‐conjugate orthogonal diagonal Latin square, briefly CODLS. This article investigates the spectrum of CODLS and it is found that it contains all positive integers υ except 2, 3, 6, and possibly 10. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 297–308, 2001