Searcharxiv⌕ Search

arXiv subjects

Ian M. Wanless

Publications and source records attributed to Ian M. Wanless.

At least 55 records · Page 3Linked to original sources
arXiv2019

Covering radius in the Hamming permutation space

Let $\mathcal{S}_n$ denote the set of permutations of $\{1,2,\dots,n\}$. The function $f(n,s)$ is defined to be the minimum size of a subset $S\subseteq \mathcal{S}_n$ with the property that for any $ρ\in \mathcal{S}_n$ there exists some $σ\in S$ such that the Hamming distance between $ρ$ and $σ$ is at most $n-s$. The value of $f(n,2)$ is the subject of a conjecture by Kézdy and Snevily, which implies several famous conjectures about latin squares. We prove that the odd $n$ case of the Kézdy-Snevily Conjecture implies the whole conjecture. We also show that $f(n,2)>3n/4$ for all $n$, that $s!< f(n,s)< 3s!(n-s)\log n$ for $1\leq s\leq n-2$ and that \[f(n,s)>\left\lfloor \frac{2+\sqrt{2s-2}}{2}\right\rfloor \frac{n}{2}\] if $s\geq 3$.

math.CO↗
arXiv2019

Perfect 1-factorisations of $K_{16}$

We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa). We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.

math.CO↗
arXiv2018

What did Ryser Conjecture?

Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.

math.CO↗
arXiv2017

Covers and partial transversals of Latin squares

We define a cover of a Latin square to be a set of entries that includes at least one representative of each row, column and symbol. A cover is minimal if it does not contain any smaller cover. A partial transversal is a set of entries that includes at most one representative of each row, column and symbol. A partial transversal is maximal if it is not contained in any larger partial transversal. We explore the relationship between covers and partial transversals. We prove the following: (1) The minimum size of a cover in a Latin square of order $n$ is $n+a$ if and only if the maximum size of a partial transversal is either $n-2a$ or $n-2a+1$. (2) A minimal cover in a Latin square of order $n$ has size at most $μ_n=3(n+1/2-\sqrt{n+1/4})$. (3) There are infinitely many orders $n$ for which there exists a Latin square having a minimal cover of every size from $n$ to $μ_n$. (4) Every Latin square of order $n$ has a minimal cover of a size which is asymptotically equal to $μ_n$. (5) If $1\le k\le n/2$ and $n\ge5$ then there is a Latin square of order $n$ with a maximal partial transversal of size $n-k$. (6) For any $ε>0$, asymptotically almost all Latin squares have no maximal partial transversal of size less than $n-n^{2/3+ε}$.

math.CO↗
arXiv2017

Steiner triple systems with high chromatic index

It is conjectured that every Steiner triple system of order $v \neq 7$ has chromatic index at most $(v+3)/2$ when $v \equiv 3 \pmod{6}$ and at most $(v+5)/2$ when $v \equiv 1 \pmod{6}$. Herein, we construct a Steiner triple system of order $v$ with chromatic index at least $(v+3)/2$ for each integer $v \equiv 3 \pmod{6}$ such that $v \geq 15$, with four possible exceptions. We further show that the maximum number of disjoint parallel classes in the systems constructed is sublinear in $v$. Finally, we establish for each order $v \equiv 15 \pmod{18}$ that there are at least $v^{v^2(1/6+o(1))}$ non-isomorphic Steiner triple systems with chromatic index at least $(v+3)/2$ and that some of these systems are cyclic.

math.CO↗
arXiv2017

Small partial Latin squares that embed in an infinite group but not into any finite group

Suppose that $Y_1,Y_2,Y_3$ are finite sets and $P\subseteq Y_1\times Y_2\times Y_3$. We say that $P$ embeds in a group $G$ if there exist injective maps $ϕ_i\colon Y_i\rightarrow G$ for $i=1,2,3$ such that $ϕ_1(y_1)ϕ_2(y_2)=ϕ_3(y_3)$ for each $(y_1,y_2,y_3)\in P$. Hirsch and Jackson asked for the cardinality of the smallest $P$ that embeds in some infinite group but not into any finite group. We prove that the answer to their question is 12. Moreover, we show that there are 50 examples of cardinality 12, up to equivalence, and each of them embeds in the (infinite) Baumslag group $G=\langle a,b \mid b=[b,b^a]\rangle$. Our proof uses computations to answer questions about finitely presented groups which are known to be algorithmically undecidable in general.

math.GR↗
arXiv2017

Latin squares with no transversals

A $k$-plex in a latin square of order $n$ is a selection of $kn$ entries that includes $k$ representatives from each row and column and $k$ occurrences of each symbol. A $1$-plex is also known as a transversal. It is well known that if $n$ is even then $B_n$, the addition table for the integers modulo $n$, possesses no transversals. We show that there are a great many latin squares that are similar to $B_n$ and have no transversal. As a consequence, the number of species of transversal-free latin squares is shown to be at least $n^{n^{3/2}(1/2-o(1))}$ for even $n\rightarrow\infty$. We also produce various constructions for latin squares that have no transversal but do have a $k$-plex for some odd $k>1$. We prove a 2002 conjecture of the second author that for all even orders $n>4$ there is a latin square of order $n$ that contains a $3$-plex but no transversal. We also show that for odd $k$ and $m\geq 2$, there exists a latin square of order $2km$ with a $k$-plex but no $k'$-plex for odd $k'<k$.

math.CO↗
arXiv2017

Parity of Sets of Mutually Orthogonal Latin Squares

Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an information content of $\dim(k,n)$ bits. We show that $\dim(k,n) \leq {k \choose 2}-1$. For the case corresponding to projective planes we prove a tighter bound, namely $\dim(n+1,n) \leq {n \choose 2}$ when $n$ is odd and $\dim(n+1,n) \leq {n \choose 2}-1$ when $n$ is even. Using the existence of MOLS with subMOLS, we prove that if $\dim(k,n)={k \choose 2}-1$ then $\dim(k,N) = {k \choose 2}-1$ for all sufficiently large $N$. Let the ensemble of an $\mathrm{OA}$ be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an $\mathrm{OA}(k,n)$ can contain. These restrictions depend on $n\mod4$ and give some insight as to why it is harder to build projective planes of order $n \not= 2\mod4$ than for $n \not= 2\mod4$. For example, we prove that when $n \not= 2\mod 4$ it is impossible to build an $\mathrm{OA}(n+1,n)$ for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).

math.CO↗
arXiv2016

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 $n\times n$ array is a selection of $n$ different symbols from different rows and different columns. We prove that every $n \times n$ Latin array containing at least $(2-\sqrt{2}) n^2$ distinct symbols has a transversal. Also, every $n \times n$ row-Latin array containing at least $\frac14(5-\sqrt{5})n^2$ 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.

math.CO↗
arXiv2016

There are asymptotically the same number of Latin squares of each parity

A Latin square is reduced if its first row and column are in natural order. For Latin squares of a particular order $n$ there are four possible different parities. We confirm a conjecture of Stones and Wanless by showing asymptotic equality between the numbers of reduced Latin squares of each possible parity as the order $n\rightarrow\infty$.

math.CO↗
arXiv2015

On Ryser's Conjecture for Linear Intersecting Multipartite Hypergraphs

Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.

math.CO↗
arXiv2015

Cycle structure of autotopisms of quasigroups and Latin squares

An autotopism of a Latin square is a triple $(α,β,γ)$ of permutations such that the Latin square is mapped to itself by permuting its rows by $α$, columns by $β$, and symbols by $γ$. Let $\mathrm{Atp}(n)$ be the set of all autotopisms of Latin squares of order $n$. Whether a triple $(α,β,γ)$ of permutations belongs to $\mathrm{Atp}(n)$ depends only on the cycle structures of $α$, $β$ and $γ$. We establish a number of necessary conditions for $(α,β,γ)$ to be in $\mathrm{Atp}(n)$, and use them to determine $\mathrm{Atp}(n)$ for $n\le17$. For general $n$ we determine if $(α,α,α)\in\mathrm{Atp}(n)$ (that is, if $α$ is an automorphism of some quasigroup of order $n$), provided that either $α$ has at most three cycles other than fixed points or that the non-fixed points of $α$ are in cycles of the same length.

math.CO↗
arXiv2015

Closest multiplication tables of groups

Suppose that all groups of order $n$ are defined on the same set $G$ of cardinality $n$, and let the \emph{distance} of two groups of order $n$ be the number of pairs $(a,b)\in G\times G$ where the two group operations differ. Given a group $G(\circ)$ of order $n$, we find all groups of order $n$, up to isomorphism, that are closest to $G(\circ)$.

math.GR↗
arXiv2015

Overlapping latin subsquares and full products

We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac nm{n \choose h}/{m\choose h}$ subsquares of order $m$, where $h=\lceil(m+1)/2\rceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge5$ there exists a loop of order $n$ in which every element can be obtained as a product of all $n$ elements in some order and with some bracketing.

math.CO↗
arXiv2015

Multipartite hypergraphs achieving equality in Ryser's conjecture

A famous conjecture of Ryser is that in an $r$-partite hypergraph the covering number is at most $r-1$ times the matching number. If true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. We show that the conjecture, if true, is also sharp for the smallest previously open value, namely $r=7$. For $r\in\{6,7\}$, we find the minimal number $f(r)$ of edges in an intersecting $r$-partite hypergraph that has covering number at least $r-1$. We find that $f(r)$ is achieved only by linear hypergraphs for $r\le5$, but that this is not the case for $r\in\{6,7\}$. We also improve the general lower bound on $f(r)$, showing that $f(r)\ge 3.052r+O(1)$. We show that a stronger form of Ryser's conjecture that was used to prove the $r=3$ case fails for all $r>3$. We also prove a fractional version of the following stronger form of Ryser's conjecture: in an $r$-partite hypergraph there exists a set $S$ of size at most $r-1$, contained either in one side of the hypergraph or in an edge, whose removal reduces the matching number by 1.

math.CO↗
arXiv2015

Small Partial Latin Squares that Cannot be Embedded in a Cayley Table

We answer a question posed by Dénes and Keedwell that is equivalent to the following. For each order $n$ what is the smallest size of a partial latin square that cannot be embedded into the Cayley table of any group of order $n$? We also solve some variants of this question and in each case classify the smallest examples that cannot be embedded. We close with a question about embedding of diagonal partial latin squares in Cayley tables.

math.CO↗
arXiv2015

Trades in complex Hadamard matrices

A trade in a complex Hadamard matrix is a set of entries which can be changed to obtain a different complex Hadamard matrix. We show that in a real Hadamard matrix of order $n$ all trades contain at least $n$ entries. We call a trade rectangular if it consists of a submatrix that can be multiplied by some scalar $c \neq 1$ to obtain another complex Hadamard matrix. We give a characterisation of rectangular trades in complex Hadamard matrices of order $n$ and show that they all contain at least $n$ entries. We conjecture that all trades in complex Hadamard matrices contain at least $n$ entries.

math.CO↗