Abstract:In 2021 da Silva, Hirschhorn, and Sellers studied a wide variety of congruences for the $k$-elongated plane partition function $d_k(n)$ by various primes. They also conjectured the existence of an infinite congruence family modulo arbitrarily high powers of 2 for the function $d_7(n)$. We prove that such a congruence family exists -- indeed, for powers of 8. The proof utilizes only classical methods, i.e., integer polynomial manipulations in a single function, in contrast to all other known infinite congruence families for $d_k(n)$ which require more modern methods to prove.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove that the 7 - elongated plane partition diamond function $d_7(n)$ has an infinite congruence family for high - power exponents of 8. Specifically, da Silva, Hirschhorn and Sellers proposed a conjecture in 2021, that is, for the function $d_7(n)$, there exists an infinite congruence family for any high - power exponent of 8 modulo. The authors of this paper, James A. Sellers and Nicolas Allen Smoot, confirmed this conjecture and proved that such a congruence family does indeed exist. ### Main contributions of the paper 1. **Proved the existence of an infinite congruence family**: - By using the classical method (integer polynomial operations), the authors proved that for all $\alpha\geq1$, when $3n\equiv1\pmod{4^\alpha}$, we have $d_7(n)\equiv0\pmod{8^\alpha}$. - This result is different from other previously known infinite congruence families, which usually require more modern methods to prove. 2. **Introduced the modular function sequence $L_\alpha$**: - In order to prove the above congruence relations, the authors defined a modular function sequence $L_\alpha$ and showed how to use these modular functions to construct and verify the congruence relations. - The specific formula is: \[ L_\alpha:=\prod_{m = 1}^{\infty}\frac{(1 - q^m)^{26}(1 - q^{4m})^2}{(1 - q^{2m})^{13}}\sum_{n = 0}^{\infty}d_k(4^\alpha n+\lambda_\alpha)q^{n + 1} \] where $q = e^{2\pi i\tau}$, $\tau\in\mathbb{H}$, and $y=\lambda_\alpha$ is the smallest positive solution satisfying $3y\equiv1\pmod{4^\alpha}$. 3. **Constructed the related Hauptmodul $x$**: - The authors used Hauptmodul $x$ to represent each $L_\alpha$ and further analyzed the behavior of these functions by calculating the influence of $U(x^n)$. - The specific Hauptmodul is defined as: \[ x := q\frac{(q^2;q^2)_\infty^2(q^8;q^8)_\infty^4}{(q;q)_\infty^4(q^4;q^4)_\infty^2} \] ### Conclusion Through the above methods, the authors not only proved the existence of an infinite congruence family for $d_7(n)$, but also showed how to use classical methods to deal with this type of problem, which provides new ideas and tools for future research on other types of partition functions.

On the Divisibility of 7-Elongated Plane Partition Diamonds by Powers of 8

The Localization Method Applied to $k$-Elongated Plane Partitions and Divisibility by 5

d-Fold Partition Diamonds

A conjecture of Radu and Sellers on congruences modulo powers of 2 for broken 3-diamond partitions

A congruence family for 2-elongated plane partitions: An application of the localization method

An infinite family of internal congruences modulo powers of 2 for partitions into odd parts with designated summands

Congruences for a class of eta-quotients and their applications

A note on plane partition diamonds

Congruence properties modulo prime powers for a class of partition functions

On eight colour partitions

New congruences on partition diamonds with copies of n

A note on congruences for generalized cubic partitions modulo primes

A note on odd partition numbers

Enumeration modulo 4 of overpartitions wherein only even parts can be overlined

New congruences for broken k-diamond partitions

On the divisor problem with congruence conditions

Arithmetic properties modulo powers of $2$ for overpartition $k$-tuples with odd parts

Figurate Primes and Hilbert's 8th Problem

An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

Arithmetic Properties modulo powers of $2$ and $3$ for Overpartition $k$-Tuples with Odd Parts

Distribution and congruences of $(u,v)$-regular bipartitions