arXiv++ Combinatorics

A resolvable quantum Latin square of order $n$, denoted by $\text{RQLS}(n)$, is a quantum Latin square admitting $n$ pairwise disjoint transversals. By employing complete mappings and extending the classical singular direct product construction to the quantum setting, we determine the existence of maximal-cardinality $\text{RQLS}(n)$s with $17$ possible exceptions.

In this paper, we study the supersaturation problems of eventown. Given a family $\mathcal{A}$ of subsets of an $n$ element set, let op$(\mathcal{A})$ denote the number of distinct pairs $A,B\in \mathcal{A}$ for which $|A\cap B|$ is odd. We give extremal eventown constructions and show that for fixed $s\le2^{\lfloor \frac{n}{2} \rfloor}-2$, there exists a collection of $2^{\lfloor\frac{n}{2}\rfloor}+s$ even-sized subsets of an $n$ element set that contains exactly $s\cdot 2^{\lfloor \frac{n}{2} \rfloor-1}$ pairwise intersections of odd size. This extends the range of $s$ in a conjecture proposed by O'Neill from $2^{\lfloor \frac{n}{2} \rfloor}-2^{\lfloor \frac{n}{4} \rfloor}$ to $2^{\lfloor \frac{n}{2} \rfloor}-2$. We also give a construction using symmetric designs to prove that when $k$ is even and $4k-1$ is a prime power, there exists a collection of $2^{\lfloor\frac{4k-1}{2}\rfloor}+s$ even-sized subsets of a $4k-1$ element set $\mathcal{A}_s$ with $op(\mathcal{A}_s)=s \cdot 2^{{\lfloor\frac{4k-1}{2}\rfloor}-1}$, $1\leq s\leq4k-1$.

In this paper, we show that for any integer \(v \ge 8\) with \(v \ne 9,11,23\), a quantum Latin square of order $v$ exists for every cardinality \(c \in [v,\,v^{2}] \setminus \{\,v+1\,\}\).

The Hamilton-Waterloo problem asks for a 2-factorization of $K_v$ (for $v$ odd) or $K_v$ minus a $1$-factor (for $v$ even) into $C_m$-factors and $C_n$-factors. We completely solve the Hamilton-Waterloo problem in the case of $C_3$-factors and $C_n$-factors for $n=4,5,7$.