Abstract:In 1920, P. A. MacMahon generalized the (classical) notion of divisor sums by relating it to the theory of partitions of integers. In this paper, we extend the idea of MacMahon. In doing so we reveal a wealth of divisibility theorems and unexpected combinatorial identities. Our initial approach is quite different from MacMahon and involves rational function approximation to MacMahon-type generating functions. One such example involves multiple $q$-harmonic sums $$\sum_{k=1}^n\frac{(-1)^{k-1}\genfrac{[}{]}{0pt}{}{n}{k}_{q}(1+q^k)q^{\binom{k}{2}+tk}}{[k]_q^{2t} \genfrac{[}{]}{0pt}{}{n+k}{k}_{q}}=\sum_{1\leq k_1\leq\cdots\leq k_{2t}\leq n}\frac{q^{n+k_1+k_3\cdots+k_{2t-1}}+q^{k_2+k_4+\cdots+k_{2t}}}{[n+k_1]_q[k_2]_q\cdots[k_{2t}]_q}.$$

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to further expand and deepen the understanding of these concepts on the basis of P. A. MacMahon's work on the relationship between the sum of integer divisors and the theory of integer partitions. Specifically, the authors propose new methods in the paper to generalize MacMahon's concept of the sum of divisors and reveal rich divisibility theorems and unexpected combinatorial identities. By introducing the method of rational function approximation to MacMahon - type generating functions, the authors explore the properties of various q - harmonic sums and discover new identities and congruence relations, especially the congruence relations modulo 5 and modulo 7. For example, the paper shows an identity in the following form: \[ \sum_{1 \leq k_1 \leq k_2 \leq \cdots \leq k_t} \frac{q^{k_1 + k_2 + \cdots + k_t}}{\prod_{j = 1}^t(1 - q^{k_j})^2}=\sum_{1 \leq k_1 \leq k_2 \leq \cdots \leq k_{2t - 1}}\frac{q^{k_1 + k_3 + \cdots + k_{2t - 1}}}{\prod_{j = 1}^{2t - 1}(1 - q^{k_j})} \] In addition, the authors also study the arithmetic properties of these generalized divisor functions and discover many new congruence relations, such as: \[ M(2,5n + 1)\equiv MO(2,5n + 1)\equiv 0\pmod{5} \] These results not only enrich the understanding of MacMahon's work but also provide new tools and perspectives for subsequent research. Overall, this paper aims to further expand and deepen the research on the relationship between the sum of divisors and the theory of integer partitions through new mathematical tools and techniques.

Extensions of MacMahon's sums of divisors

Further study on MacMahon-type sums of divisors

MacMahon's sums-of-divisors and allied $q$-series

Arithmetic properties of MacMahon-type sums of divisors

Limiting behaviour and modular completions of MacMahon-like q-series

MacMahon's sums-of-divisors and their connection to multiple Eisenstein series

Remarks on MacMahon's $q$-series

Certain infinite products in terms of MacMahon type series

MacMahonesque partition functions detect sets related to primes

On sums involving divisor function, Euler's totient function, and floor function

A new approach to MacMahon's Partition Analysis and associated applications

On q-series identities with multiple sums related to divisor functions

Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums

Congruences for sums of MacMahon's $q$-Catalan polynomials

On the divisor problem with congruence conditions

Partition theorems and the Chinese remainder theorem

Divisor Goldbach Conjecture and Its Partition Number

On certain $q$-multiple sums

Higher level $q$-multiple zeta values with applications to quasimodular forms and partitions

Some further q-series identities related to divisor functions

Generalized divisor functions in arithmetic progressions: I