arXiv++ Combinatorics

The Rogers-Ramanujan-Gordon identities generalize the classical partition identities discovered independently by L. J. Rogers and S. Ramanujan. Recently, Afsharijoo gave a commutative algebra proof of the Rogers-Ramanujan-Gordon identities. In this article, we present a commutative algebra proof of a broader family of identities introduced by Coulson \textit{et al.}, which includes the Rogers-Ramanujan-Gordon identities as a special case. In the proof, we relate the generating functions associated with these identities to the Hilbert-Poincaré series of suitably constructed graded algebras.

The Göllnitz-Gordon-Andrews identities generalize the partition identities discovered independently by H. Göllnitz and B. Gordon. In this article, we present a commutative algebra proof of the Göllnitz-Gordon-Andrews identities. More generally, we establish a family of identities, the special cases of which are the Göllnitz-Gordon-Andrews identities. In the proof, we relate the generating functions associated with these identities to the Hilbert-Poincaré series of suitably constructed graded algebras.

Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Recently, the first and the third authors proved that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n\geq 4$, and conjectured that $b_{t+1,2}(n)\geq b_{t,2}(n)$ for all $t\geq 3$ and $n\geq 0$. In this paper, we prove that the conjecture is true for $t=3$.

Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. In this article, we prove some inequalities for $b_{t,k}(n)$ for fixed values of $k$. We prove that for any $t\geq2$, $b_{t+1,1}(n)\geq b_{t,1}(n)$, for all $n\geq0$. We also prove that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n>3$, and $b_{3,3}(n)\geq b_{2,3}(n)$ for all $n\geq0$. Finally, we state some problems for future works.

In this article, we study hook lengths of ordinary partitions and $t$-regular partitions. We establish hook length biases for the ordinary partitions and motivated by them we find a few interesting hook length biases in $2$-regular partitions. For a positive integer $k$, let $p_{(k)}(n)$ denote the number of hooks of length $k$ in all the partitions of $n$. We prove that $p_{(k)}(n)\geq p_{(k+1)}(n)$ for all $n\geq0$ and $n\ne k+1$; and $p_{(k)}(k+1)- p_{(k+1)}(k+1)=-1$ for $k\geq 2$. For integers $t\geq2$ and $k\geq1$, let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. We find generating functions of $b_{t,k}(n)$ for certain values of $t$ and $k$. Exploring hook length biases for $b_{t,k}(n)$, we observe that in certain cases biases are opposite to the biases for ordinary partitions. We prove that $b_{2,2}(n)\geq b_{2,1}(n)$ for all $n>4$, whereas $b_{2,2}(n)\geq b_{2,3}(n)$ for all $n\geq 0$. We also propose some conjectures on biases among $b_{t,k}(n)$.

Let $n=2^s p_{1}^{α_{1}}\cdots p_{k}^{α_{k}}$, where $s=0$ or $1$, $α_i\geq 1$, and the distinct primes $p_i$ satisfy $p_i\equiv 1\pmod{4}$ for all $i=1, \ldots, k$. Let $\mathbb{Z}_n^\ast$ denote the group of units in the commutative ring $\mathbb{Z}_n$. Recently, we defined a Paley-type graph $G_n$ of order $n$ as the graph whose vertex set is $\mathbb{Z}_n$ and $xy$ is an edge if $x-y\equiv a^2\pmod n$ for some $a\in\mathbb{Z}_n^\ast$. The Paley-type graph $G_n$ resembles the classical Paley graph in a number of ways, and adds to the list of generalizations of the Paley graph. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. For primes $p\equiv 1\pmod 4$ and $α\geq 1$, by evaluating certain character sums, we found the number of cliques of order $3$ in $G_{p^α}$ and expressed the number of cliques of order $4$ in $G_{p^α}$ in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders $3$ and $4$ in $G_n$ for all $n$ for which the graph is defined.

For a prime $p\equiv 3\pmod 4$ and a positive integer $t$, let $q=p^{2t}$. The Peisert graph of order $q$ is the graph with vertex set $\mathbb{F}_q$ such that $ab$ is an edge if $a-b\in\langle g^4\rangle\cup g\langle g^4\rangle$, where $g$ is a primitive element of $\mathbb{F}_q$. In this paper, we construct a similar graph with vertex set as the commutative ring $\mathbb{Z}_n$ for suitable $n$, which we call \textit{Peisert-like} graph and denote by $G^\ast(n)$. Owing to the need for cyclicity of the group of units of $\mathbb{Z}_n$, we consider $n=p^α$ or $2p^α$, where $p\equiv 1\pmod 4$ is a prime and $α$ is a positive integer. For primes $p\equiv 1\pmod 8$, we compute the number of triangles in the graph $G^\ast(p^α)$ by evaluating certain character sums. Next, we study cliques of order 4 in $G^\ast(p^α)$. To find the number of cliques of order $4$ in $G^\ast(p^α)$, we first introduce hypergeometric functions containing Dirichlet characters as arguments, and then express the number of cliques of order $4$ in $G^\ast(p^α)$ in terms of these hypergeometric functions.

For a prime $p\equiv 3\pmod{4}$ and a positive integer $t$, let $q=p^{2t}$. Let $g$ be a primitive element of the finite field $\mathbb{F}_q$. The Peisert graph $P^\ast(q)$ is defined as the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if $a-b\in\langle g^4\rangle \cup g\langle g^4\rangle$. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $P^\ast(q)$. We also give a new proof for the number of complete subgraphs of order three contained in $P^\ast(q)$ by evaluating certain character sums. The computations for the number of complete subgraphs of order four are quite tedious, so we further give an asymptotic result for the number of complete subgraphs of any order $m$ in Peisert graphs.

For a positive integer $\ell$, let $b_{\ell}(n)$ denote the number of $\ell$-regular partitions of a nonnegative integer $n$. Motivated by some recent conjectures of Keith and Zanello, we establish infinite families of congruences modulo $2$ for $b_3(n)$ and $b_{21}(n)$. We prove a specific case of a conjecture of Keith and Zanello on self-similarities of $b_3(n)$ modulo $2$. We next prove that the series $\sum_{n=0}^{\infty}b_9(2n+1)q^n$ is lacunary modulo arbitrary powers of $2$. We also prove that the series $\sum_{n=0}^{\infty}b_9(4n)q^n$ is lacunary modulo $2$.

Let $p_{\{3, 3\}}(n)$ denote the number of $3$-regular partitions in three colours. In a very recent paper, da Silva and Sellers studied certain arithmetic properties of $p_{\{3, 3\}}(n)$. They further conjectured four Ramanujan-like congruences modulo $5$ satisfied by $p_{\{3, 3\}}(n)$. In this article, we confirm the conjectural congruences of da Silva and Sellers using the theory of modular forms.

Let $q$ be a prime power such that $q\equiv 1\pmod{4}$. The Paley graph of order $q$ is the graph with vertex set as the finite field $\mathbb{F}_q$ and edges defined as, $ab$ is an edge if and only if $a-b$ is a non-zero square in $\mathbb{F}_q$. We attempt to construct a similar graph of order $n$, where $n\in\mathbb{N}$. For suitable $n$, we construct the graph where the vertex set is the finite commutative ring $\mathbb{Z}_n$ and edges defined as, $ab$ is an edge if and only if $a-b\equiv x^2\pmod{n}$ for some unit $x$ of $\mathbb{Z}_n$. We look at some properties of this graph. For primes $p\equiv 1\pmod{4}$, Evans, Pulham and Sheehan computed the number of complete subgraphs of order 4 in the Paley graph. Very recently, Dawsey and McCarthy find the number of complete subgraphs of order 4 in the generalized Paley graph of order $q$. In this article, for primes $p\equiv 1\pmod{4}$ and any positive integer $α$, we find the number of complete subgraphs of order 3 and 4 in our graph defined over $\mathbb{Z}_{p^α}$.