arXiv++ Combinatorics

We construct an edge-colored digraph analogous to Mathon's construction for undirected graphs. We show that this graph is connected to the $k$-th power Paley digraphs and we use this connection to produce improved lower bounds for multicolor directed Ramsey numbers.

Let $k \geq 2$ be an even integer. Let $q$ be a prime power such that $q \equiv k+1 \pmod {2k}$. We define the $\textit{k-th power Paley digraph}$ of order $q$, $G_k(q)$, as the graph with vertex set $\mathbb{F}_q$ where $a \to b$ is an edge if and only if $b-a$ is a $k$-th power residue. This generalizes the (k=2) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases, we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor directed Ramsey numbers $R_{\frac{k}{2}}(4)=R(4,4,\cdots,4)$ (resp. $R_{\frac{k}{2}}(3)$). We state explicitly these lower bounds for $k\leq 10$ and compare to known bounds, showing improvement for $R_2(4)$ and $R_3(3)$. Combining with known multiplicative relations we give improved lower bounds for $R_{t}(4)$, for all $t\geq 2$, and for $R_{t}(3)$, for all $t \geq 3$.

Let $k \geq 2$ be an integer. Let $q$ be a prime power such that $q \equiv 1 \pmod {k}$ if $q$ is even, or, $q \equiv 1 \pmod {2k}$ if $q$ is odd. The generalized Paley graph of order $q$, $G_k(q)$, is the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if ${a-b}$ is a $k$-th power residue. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. This generalizes the results of Evans, Pulham and Sheehan on the original ($k$=2) Paley graph. We also provide a formula, in terms of Jacobi sums, for the number of complete subgraphs of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor diagonal Ramsey numbers $R_k(4)=R(4,4,\cdots,4)$ (resp. $R_k(3)$). We state explicitly these lower bounds for small $k$ and compare to known bounds. We also examine the relationship between both $\mathcal{K}_4(G_k(q))$ and $\mathcal{K}_3(G_k(q))$, when $q$ is prime, and Fourier coefficients of modular forms.

It is well-known that the Apéry sequences which arise in the irrationality proofs for $ζ(2)$ and $ζ(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this paper, we prove that the connection to modular forms persists for sequences associated to Brown's cellular integrals and state a general conjecture concerning supercongruences.

We establish two binomial coefficient--generalized harmonic sum identities using the partial fraction decomposition method. These identities are a key ingredient in the proofs of numerous supercongruences. In particular, in other works of the author, they are used to establish modulo $p^k$ ($k>1$) congruences between truncated generalized hypergeometric series, and a function which extends Greene's hypergeometric function over finite fields to the $p$-adic setting. A specialization of one of these congruences is used to prove an outstanding conjecture of Rodriguez-Villegas which relates a truncated generalized hypergeometric series to the $p$-th Fourier coefficient of a particular modular form.

In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible supercongruences. We provide a framework of congruences covering all 22 cases. Using this framework we prove one of the outstanding supercongruence conjectures between a special value of a truncated ordinary hypergeometric series and the $p$-th Fourier coefficient of a modular form. In the course of this work we also establish two new binomial coefficient-harmonic sum identities.

During his lifetime, Ramanujan provided many formulae relating binomial sums to special values of the Gamma function. Based on numerical computations, Van Hamme recently conjectured $p$-adic analogues to such formulae. Using a combination of ordinary and Gaussian hypergeometric series, we prove one of these conjectures.