arXiv++ Combinatorics

Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Hegedűs, and Rónyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and Štefankovič.

We show the maximality of subfields as cliques in a special family of Cayley graphs defined on the additive group of a finite field. In particular, this confirms a conjecture of Yip on generalized Paley graphs.

In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by Rédei-type polynomials, are powerful in studying blocking sets. In this paper, we reverse the engine and study when blocking sets can arise from rational points on plane curves over finite fields. We show that irreducible curves of low degree cannot provide blocking sets and prove more refined results for cubic and quartic curves. On the other hand, using tools from number theory, we construct smooth plane curves defined over $\mathbb{F}_p$ of degree at most $4p^{3/4}+1$ whose points form blocking sets.

Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Hegedűs by building a bridge between this problem and cyclotomic polynomials with the help of algebraic graph theory. In particular, we construct infinitely many non-trivial families of $G$ and $J$ for which the current known upper bounds on $D_{G}(J, N)$ can be improved exponentially.

Let GP$(q^2,m)$ be the $m$-Paley graph defined on the finite field with order $q^2$. We study eigenfunctions and maximal cliques in generalised Paley graphs GP$(q^2,m)$, where $m \mid (q+1)$. In particular, we explicitly construct maximal cliques of size $\frac{q+1}{m}$ or $\frac{q+1}{m}+1$ in GP$(q^2,m)$, and show the weight-distribution bound on the cardinality of the support of an eigenfunction is tight for the smallest eigenvalue $-\frac{q+1}{m}$ of GP$(q^2,m)$. These new results extend the work of Baker et. al and Goryainov et al. on Paley graphs of square order. We also study the stability of the Erdős-Ko-Rado theorem for GP$(q^2,m)$ (first proved by Sziklai).

We prove that a family of pseudo-Paley graphs of square order obtained from unions of cyclotomic classes satisfies the Erdős-Ko-Rado (EKR) module property, in a sense that the characteristic vector of each maximum clique is a linear combination of characteristic vectors of canonical cliques. This extends the EKR-module property of Paley graphs of square order and solves a problem proposed by Godsil and Meagher. Different from previous works, which heavily rely on tools from number theory, our approach is purely combinatorial in nature. The main strategy is to view these graphs as block graphs of orthogonal arrays, which is of independent interest.

Blokhuis showed that all maximum cliques in Paley graphs of square order have a subfield structure. Recently, it has been shown that in Peisert-type graphs, all maximum cliques are affine subspaces, and yet some maximum cliques do not arise from a subfield. In this paper, we investigate the existence of a clique of size $\sqrt{q}$ with a subspace structure in pseudo-Paley graphs of order $q$ from unions of semi-primitive cyclotomic classes. We show that such a clique must have an equal contribution from each cyclotomic class and that most such pseudo-Paley graphs do not admit such cliques, suggesting that the Delsarte bound $\sqrt{q}$ on the clique number can be improved in general. We also prove that generalized Peisert graphs are not isomorphic to Paley graphs or Peisert graphs, confirming a conjecture of Mullin.

Let $p$ be a prime and $n$ a positive integer such that $\sqrt{\frac p2} + 1 \leq n \leq \sqrt{p}$. For any arithmetic progression $A$ of length $n$ in $\mathbb{F}_p$, we establish an asymptotic formula for the number of directions determined by $A \times A \subset \mathbb{F}_p^2$. The key idea is to reduce the problem to counting the number of solutions to the bilinear Diophantine equation $ad+bc=p$ in variables $1\le a,b,c,d\le n$; our asymptotic formula for the number of solutions is of independent interest.

A well-known conjecture due to van Lint and MacWilliams states that if $A$ is a subset of $\mathbb{F}_{q^2}$ such that $0,1 \in A$, $|A|=q$, and $a-b$ is a square for each $a,b \in A$, then $A$ must be the subfield $\mathbb{F}_q$. This conjecture is often phrased in terms of the maximum cliques in Paley graphs. It was first proved by Blokhuis and later extended by Sziklai to generalized Paley graphs. In this paper, we give a new proof of the conjecture and its variants, and show this Erdős-Ko-Rado property of Paley graphs extends to a larger family of Cayley graphs, which we call Peisert-type graphs, resolving conjectures by Mullin and Yip.

Let $GP(q,d)$ be the $d$-Paley graph defined on the finite field $\mathbb{F}_q$. It is notoriously difficult to improve the trivial upper bound $\sqrt{q}$ on the clique number of $GP(q,d)$. In this paper, we investigate the connection between Gauss sums over a finite field and the maximum cliques of their corresponding generalized Paley graphs. We show that the trivial upper bound on the clique number of $GP(q,d)$ is tight if and only if $d \mid (\sqrt{q}+1)$, which strengthens the previous related results by Broere-Döman-Ridley and Schneider-Silva. We also obtain a new simple proof of Stickelberger's theorem on evaluating semi-primitive Gauss sums.

We describe a new class of maximal cliques, with a vector space structure, of Cayley graphs defined on the additive group of a field. In particular, we show that in the cubic Paley graph with order $q^3$, the subfield with $q$ elements forms a maximal clique. Similar statements also hold for quadruple Paley graphs and Peisert graphs with quartic order.

It is known that the number of directions formed by a Cartesian product $A \times B \subset AG(2,p)$ is at least $|A||B| - \min\{|A|,|B|\} + 2$, provided $p$ is prime and $|A||B|<p$. This implies the best known upper bound on the clique number of the Paley graph over $\mathbb{F}_p$. In this paper, we extend this result to $AG(2,q)$, where $q$ is a prime power. We also give improved upper bounds on the clique number of generalized Paley graphs over $\mathbb{F}_q$. In particular, for a cubic Paley graph, we improve the trivial upper bound $\sqrt{q}$ to $0.769\sqrt{q}+1$. In general, as an application of our key result on the number of directions, for any positive function $h$ such that $h(x)=o(x)$ as $x \to \infty$, we improve the trivial upper bound $\sqrt{q}$ to $\sqrt{q}-h(p)$ for almost all non-squares $q$.

Finding a reasonably good upper bound for the clique number of Paley graphs is an open problem in additive combinatorics. A recent breakthrough by Hanson and Petridis using Stepanov's method gives an improved upper bound on Paley graphs defined on a prime field $\mathbb{F}_p$, where $p \equiv 1 \pmod 4$. We extend their idea to the finite field $\mathbb{F}_q$, where $q=p^{2s+1}$ for a prime $p\equiv 1 \pmod 4$ and a non-negative integer $s$. We show the clique number of the Paley graph over $\mathbb{F}_{p^{2s+1}}$ is at most $\min \bigg(p^s \bigg\lceil \sqrt{\frac{p}{2}} \bigg\rceil, \sqrt{\frac{q}{2}}+\frac{p^s+1}{4}+\frac{\sqrt{2p}}{32}p^{s-1}\bigg)$.