Abstract:The Alder-Andrews Theorem, a partition inequality generalizing Euler's partition identity, the first Rogers-Ramanujan identity, and a theorem of Schur to $d$-distinct partitions of $n$, was proved successively by Andrews in 1971, Yee in 2008, and Alfes, Jameson, and Lemke Oliver in 2010. While Andrews and Yee utilized $q$-series and combinatorial methods, Alfes et al. proved the finite number of remaining cases using asymptotics originating with Meinardus together with high-performance computing. In 2020, Kang and Park conjectured a "level $2$" Alder-Andrews type partition inequality which relates to the second Rogers-Ramanujan identity. Duncan, Khunger, the second author, and Tamura proved Kang and Park's conjecture for all but finitely many cases using a combinatorial shift identity. Here, we generalize the methods of Alfes et al. to resolve nearly all of the remaining cases of Kang and Park's conjecture.

Algebra of overpartitions

Arithmetic properties of overpartitions

Partitions into powers of an algebraic number

Overpartitions, lattice paths and Rogers-Ramanujan identities

An overpartition analogue of Bressoud's conjecture for even moduli

The homology of the partition algebras

Arithmetic properties for generalized cubic partitions and overpartitions modulo a prime

An overpartition analogue of Bressoud conjecture for even moduli

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

A Poset Structure on Quasifibonacci Partitions

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

Separable integer partition classes and partitions with congruence conditions

On partitions with even parts below odd parts

Legendre theorems for certain overpartitions and overpartition pairs

Combinatorics of Integer Partitions with Prescribed Perimeter

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

Partitions in real quadratic fields

On the number of high‐dimensional partitions

Presentations for (singular) partition monoids: a new approach

Overpartitions and Bressoud's conjecture, II

Toward resolving Kang and Park's generalization of the Alder-Andrews Theorem