Source author record

Nicholas Cavenagh

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.ST Statistics Theory

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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