Researcher profile

Nicholas Cavenagh

Nicholas Cavenagh contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.CO math.ST Statistics Theory

Trust snapshot

Quick read

Trust 15 - Baseline

3works

0followers

3topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Row-column factorial designs with multiple levels

An {\em $m\times n$ row-column factorial design} is an arrangement of the elements of a factorial design into a rectangular array. Such an array is used in experimental design, where the rows and columns can act as blocking factors. If for each row/column and vector position, each element has the same regularity, then all main effects can be estimated without confounding by the row and column blocking factors. Formally, for any integer $q$, let $[q]=\{0,1,\dots ,q-1\}$. The $q^k$ (full) factorial design with replication $α$ is the multi-set consisting of $α$ occurrences of each element of $[q]^k$; we denote this by $α\times [q]^k$. A {\em regular $m\times n$ row-column factorial design} is an arrangement of the the elements of $α\times [q]^k$ into an $m\times n$ array (which we say is of {\em type} $I_k(m,n;q)$) such that for each row (column) and fixed vector position $i\in [q]$, each element of $[q]$ occurs $n/q$ times (respectively, $m/q$ times). Let $m\leq n$. We show that an array of type $I_k(m,n;q)$ exists if and only if (a) $q|m$ and $q|n$; (b) $q^k|mn$; (c) $(k,q,m,n)\neq (2,6,6,6)$ and (d) if $(k,q,m)=(2,2,2)$ then $4$ divides $n$. This extends the work of Godolphin (2019), who showed the above is true for the case $q=2$ when $m$ and $n$ are powers of $2$. In the case $k=2$, the above implies necessary and sufficient conditions for the existence of a pair of mutually orthogonal frequency rectangles (or $F$-rectangles) whenever each symbol occurs the same number of times in a given row or column.

preprint2016arXiv

On the distances between Latin squares and the smallest defining set size

In this note we show that for each Latin square $L$ of order $n\geq 2$, there exists a Latin square $L'\neq L$ of order $n$ such that $L$ and $L'$ differ in at most $8\sqrt{n}$ cells. Equivalently, each Latin square of order $n$ contains a Latin trade of size at most $8\sqrt{n}$. We also show that the size of the smallest defining set in a Latin square is $Ω(n^{3/2})$. %That is, there are constants $c$ and $n_0$ such that for any $n>n_0$ the size of the smallest defining %set of order $n$ is at least $cn^{3/2}$.

preprint2010arXiv

Multi-latin squares

A multi-latin square of order $n$ and index $k$ is an $n\times n$ array of multisets, each of cardinality $k$, such that each symbol from a fixed set of size $n$ occurs $k$ times in each row and $k$ times in each column. A multi-latin square of index $k$ is also referred to as a $k$-latin square. A $1$-latin square is equivalent to a latin square, so a multi-latin square can be thought of as a generalization of a latin square. In this note we show that any partially filled-in $k$-latin square of order $m$ embeds in a $k$-latin square of order $n$, for each $n\geq 2m$, thus generalizing Evans' Theorem. Exploiting this result, we show that there exist non-separable $k$-latin squares of order $n$ for each $n\geq k+2$. We also show that for each $n\geq 1$, there exists some finite value $g(n)$ such that for all $k\geq g(n)$, every $k$-latin square of order $n$ is separable. We discuss the connection between $k$-latin squares and related combinatorial objects such as orthogonal arrays, latin parallelepipeds, semi-latin squares and $k$-latin trades. We also enumerate and classify $k$-latin squares of small orders.