Mathematics > Number Theory
[Submitted on 3 May 2018]
Title:Computer-Assisted Proofs of Congruences for Multipartitions and Divisor Function Convolutions, based on Methods of Differential Algebra
View PDFAbstract:This paper provides algebraic proofs for several types of congruences involving the multipartition function and self-convolutions of the divisor function. Our computations use methods of Differential Algebra in $\mathbb{Z}/q\mathbb{Z}$, implemented in a couple of MAPLE programs available as ancillary files on arXiv.
The first results of the paper are Ramanujan-type congruences of the form $p^{*k}(qn+r) \equiv_q 0$ and $\sigma^{*k}(qn+r) \equiv_q 0$, where $p(n)$ and $\sigma(n)$ are the partition and divisor functions, $q > 3$ is prime, and $^{*k}$ denotes $k^{th}$-order self-convolution. We prove all the valid congruences of this form for $q \in \{5, 7, 11\}$, including the three Ramanujan congruences, and a nontrivial one for $q = 17$. All such multipartition congruences have already been settled in principle up to a numerical verification due to D. Eichhorn and K. Ono via modular forms, but our proofs are purely algebraic. On the other hand, the majority of the divisor function congruences are new results.
We then proceed to search for more general congruences modulo small primes, concerning linear combinations of $\sigma^{*k}(pn+r)$ for different values of $k$, as well as weighted convolutions of $p(n)$ and $\sigma(n)$ with polynomial weights. The paper ends with a few corollaries and extensions for the divisor function congruences, including proofs for three conjectures of N. C. Bonciocat.
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.