arXiv++ Combinatorics

Fix positive integers $p,q,$ and $r$ so that $p$ is prime, $q=p^r$, and $q\equiv 1$ (mod $4$). Fix a graph $G$ as follows: If $r$ is odd or $p\not\equiv 3$ (mod $4$), let $G$ be the $q$-vertex Paley graph; if $r$ is even and $p\equiv 3$ (mod $4$), let $G$ be either the $q$-vertex Paley graph or the $q$-vertex Peisert graph. We use the subgraph structure of $G$ to construct four sequences of $2$-designs, and we compute their parameters. Letting $k_4$ denote the number of $4$-vertex cliques in $G$, we create $62$ additional sequences of $2$-designs from $G$, and show how to express their parameters in terms of only $q$ and $k_4$. We find estimates and precise asymptotics for $k_4$ in the case that $G$ is a Paley graph. We also explain how the presented techniques can be used to find many additional $2$-designs in $G$. All constructed designs contain no repeated blocks.

Some well-known results of Prodinger and Tichy are that the number of independent sets in the $n$-vertex path graph is $F_{n+2}$, and that the number of independent sets in the $n$-vertex cycle graph is $L_n$. We generalize these results by introducing new classes of graphs whose independent set structures encode the Lucas sequences of both the first and second kind. We then use this class of graphs to provide new combinatorial interpretations of the terms of Dickson polynomials of the first and second kind.

We develop a new method for enumerating independent sets of a fixed size in general graphs, and we use this method to show that a conjecture of Engbers and Galvin holds for all but finitely many graphs. We also use our method to prove special cases of a conjecture of Kahn. In addition, we show that our method is particularly useful for computing the number of independent sets of small sizes in general regular graphs and Moore graphs, and we argue that it can be used in many other cases when dealing with graphs that have numerous structural restrictions.