The Cayley determinant of the determinant tensor and the Alon-Tarsi conjecture (Q1364322): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Cayley determinant of the determinant tensor and the Alon-Tarsi conjecture |
scientific article |
Statements
The Cayley determinant of the determinant tensor and the Alon-Tarsi conjecture (English)
0 references
15 April 1998
0 references
Each row and column of a Latin square, \(L\), of order \(n\) can be thought of as a permutation of the elements in \(\{1,2,\dots,n\}\). \(L\) is even (odd) if the product of its row and column permutations is even (odd). A semi-normalized diagonal \(L\) is one for which the elements in the first column appear in natural order and only 1's appear on the diagonal. Let \(\text{els}(n)\), respectively \(\text{ols}(n)\), denote the number of even, respectively odd, Latin squares of order \(n\), and affix a prefix of ``snd'' if we restrict to semi-normalized diagonal \(L\)'s. If \(n\) is odd, then \(\text{els}(n)-\text{ols}(n)= 0\). If \(n\) is even the Alon-Tarsi conjecture states that this difference is nonzero. The author defines the Alon-Tarsi constant \(\text{AT}(n)\) which equals \(\text{sndels}(n)- \text{sndols}(n)\), and notes it is not necessarily \(0\) for odd \(n\). Indeed, the author extends the Alon-Tarsi conjecture to \(\text{AT}(n)\neq 0\) for every positive integer \(n\). The author shows that \(\text{els}(n)- \text{ols}(n)\) is nonnegative, and proves the Alon-Tarsi conjecture for Latin squares of order \(c2^r\), where \(r\in\mathbb{Z}^+\) and either \(c\) is an even integer for which the Alon-Tarsi conjecture is true, or \(c\) is an odd integer such that the extended Alon-Tarsi conjecture is true for both \(c\) and \(c+1\). Coupled with recent work of \textit{Arthur A. Drisko} [Adv. Math. 128, No. 1, 20-35 (1997; Zbl 0885.05034), above], this estabishes that the Alon-Tarsi conjecture is true for Latin squares of order \(2^r(p+1)\), where \(p\) is an odd prime.
0 references
Cayley determinant
0 references
semi-normalized diagonal Latin square
0 references
Alon-Tarsi conjecture
0 references