arXiv++ Combinatorics

For an integer $k\ge 3$, let $w(3,k)$ be the least $n$ such that every red-blue coloring of $[n]$ contains either a nontrivial three-term arithmetic progression in blue or a nontrivial $k$-term arithmetic progression in red. A recent breakthrough of Green proved that $w(3,k)\ge k^{Ω\left(\left(\frac{\log k}{\log\log k}\right)^{1/3}\right)}$ when $k$ is large, and Hunter later improved the bound to $w(3,k)\ge k^{Ω\left(\frac{\log k}{\log\log k}\right)}$. On the other hand, Green remarked that it is reasonable to believe that $w(3,k)\le k^{O(\log k)}$. We prove that $w(3,k)\ge k^{Ω(\log k)}$, which perhaps gives some evidence that $k^{Θ(\log k)}$ is the correct order of magnitude.

In this paper, we investigate the existence of pairs of orthogonal quantum Latin squares, each with maximal cardinality. Using characters and full-rank factorizations of finite abelian groups, together with a product construction, we establish two infinite families of orders for which such pairs exist.

In this paper, we prove that there exist a symmetric quantum Latin square with maximal cardinality of order $n$ for all $n\geq 6$, and a symmetric idempotent quantum Latin square with maximal cardinality of order $4k+2$ for all $k\geq 1$.

We construct quantum Latin squares with maximal cardinality and quantum Latin hypercubes with maximal cardinality over the real field.

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$.