Source author record

Adam Mammoliti

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

ResearcherUnclaimed source record

math.CO

Catalog footprint

Research overview

3works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Latin squares with maximal partial transversals of many lengths

A partial transversal $T$ of a Latin square $L$ is a set of entries of $L$ in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order $n$ has size at least $\lceil\frac{n}{2}\rceil$ and at most $n$ . We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near-omniversal if it possesses a maximal partial transversal of all feasible sizes except one. Evans showed that omniversal Latin squares of order $n$ exist for any odd $n \neq 3$ . By extending this result, we show that an omniversal Latin square of order $n$ exists if and only if $n\notin\{3,4\}$ and $n \not\equiv 2 \mod 4$ . Furthermore, we show that near-omniversal Latin squares exist for all orders $n \equiv 2 \mod 4$ . Finally, we show that no non-trivial group has an omniversal Cayley table, and only 15 groups have a near-omniversal Cayley table. In fact, as $n$ grows, Cayley tables of groups of order $n$ miss a constant fraction of the feasible sizes of maximal partial transversals. In the course of proving this, we are led to consider the following interesting problem in combinatorial group theory. Suppose that we have two subsets $R,C\subseteq G$ of a finite group $G$ such that $|\{rc:r\in R,c\in C\}|=m$ . How large do $|R|$ and $|C|$ need to be (in terms of $m$ ) to be certain that $R\subseteq xH$ and $C\subseteq Hy$ for some subgroup $H$ of order $m$ in $G$ , and $x,y\in G$ .

preprint2020arXiv

Maximal sets of mutually orthogonal frequency squares

A frequency square is a square matrix in which each row and column is a permutation of the same multiset of symbols. A frequency square is of type $(n;λ)$ if it contains $n/λ$ symbols, each of which occurs $λ$ times per row and $λ$ times per column. In the case when $λ=n/2$ we refer to the frequency square as binary. A set of $k$ -MOFS $(n;λ)$ is a set of $k$ frequency squares of type $(n;λ)$ such that when any two of the frequency squares are superimposed, each possible ordered pair occurs equally often. A set of $k$ -maxMOFS $(n;λ)$ is a set of $k$ -MOFS $(n;λ)$ that is not contained in any set of $(k+1)$ -MOFS $(n;λ)$ . For even $n$ , let $μ(n)$ be the smallest $k$ such that there exists a set of $k$ -maxMOFS $(n;n/2)$ . It was shown in [Electron. J. Combin. 27(3) (2020), P3.7] that $μ(n)=1$ if $n/2$ is odd and $μ(n)>1$ if $n/2$ is even. Extending this result, we show that if $n/2$ is even, then $μ(n)>2$ . Also, we show that whenever $n$ is divisible by a particular function of $k$ , there does not exist a set of $k'$ -maxMOFS $(n;n/2)$ for any $k'\le k$ . In particular, this means that $\limsup μ(n)$ is unbounded. Nevertheless we can construct infinite families of maximal binary MOFS of fixed cardinality. More generally, let $q=p^u$ be a prime power and let $p^v$ be the highest power of $p$ that divides $n$ . If $0\le v-uh<u/2$ for $h\ge1$ then we show that there exists a set of $(q^h-1)^2/(q-1)$ -maxMOFS $(n;n/q)$ .

preprint2019arXiv

Mutually orthogonal binary frequency squares

A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only {\em binary} frequency squares of order $n$ with $n/2$ zeroes and $n/2$ ones in each row and column. Two such frequency squares are \emph{orthogonal} if, when superimposed, each of the 4 possible ordered pairs of entries occurs equally often. In this context we say that a $k$ -MOFS $(n)$ is a set of $k$ binary frequency squares of order $n$ in which each pair of squares is orthogonal. A $k$ -MOFS $(n)$ must satisfy $k\le(n-1)^2$ , and any MOFS achieving this bound are said to be \emph{complete}. For any $n$ for which there exists a Hadamard matrix of order $n$ we show that there exists at least $2^{n^2/4-O(n\log n)}$ isomorphism classes of complete MOFS $(n)$ . For $2<n\equiv2\pmod4$ we show that there exists a $17$ -MOFS $(n)$ but no complete MOFS $(n)$ . A $k$ -maxMOFS $(n)$ is a $k$ -MOFS $(n)$ that is not contained in any $(k+1)$ -MOFS $(n)$ . By computer enumeration, we establish that there exists a $k$ -maxMOFS $(6)$ if and only if $k\in\{1,17\}$ or $5\le k\le 15$ . We show that up to isomorphism there is a unique $1$ -maxMOFS $(n)$ if $n\equiv2\pmod4$ , whereas no $1$ -maxMOFS $(n)$ exists for $n\equiv0\pmod4$ . We also prove that there exists a $5$ -maxMOFS $(n)$ for each order $n\equiv 2\pmod{4}$ where $n\geq 6$ .

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.