Abstract:Andrews and Newman introduced the minimal excludant or ``$mex$'' function for an integer partition $\pi$ of a positive integer $n$, $mex(\pi)$, as the smallest positive integer that is not a part of $\pi$. They defined $\sigma mex(n)$ to be the sum of $mex(\pi)$ taken over all partitions $\pi$ of $n$. We prove infinite families of congruence and multiplicative formulas for $\sigma mex(n)$. By restricting to the part of $\pi$, Andrews and Newman also introduced $moex(\pi)$ to be the smallest odd integer that is not a part of $\pi$ and $\sigma moex(n)$ to be the sum of $moex(\pi)$ taken over all partitions $\pi$ of $n$. In this article, we show that for any sufficiently large $X$, the number of all positive integer $n\leq X$ such that $\sigma moex(n)$ is an even (or odd) number is at least $\mathcal{O}(\log \log X)$.

What problem does this paper attempt to address?

This paper attempts to solve several problems related to the "minimal excludant" (mex for short) in integer partitions, especially regarding the arithmetic and distribution properties of the mex function and its variant, the moex function. Specifically: 1. **Definition and Background**: - Andrews and Newman introduced the concept of mex(π), which represents the smallest positive integer that does not appear in a partition π of a positive integer n. - σmex(n) is defined as the sum of mex values of all partitions π of n. - moex(π), the smallest odd number that does not appear in π, is further introduced, and σmoex(n) is defined as the sum of moex values of all partitions π of n. 2. **Research Objectives**: - Prove the infinite family of congruence relations and multiplication formulas of σmex(n). - Study the parity distribution of σmoex(n), especially for a sufficiently large X, how many n ≤ X are such that σmoex(n) is even or odd. 3. **Main Results**: - **Theorem 1.1**: Through the theory of Hecke eigenforms, an infinite family of congruence relations of σmex(n) modulo 4 is derived. - **Theorem 1.2**: The multiplication formula of σmex(n) modulo 4 is proved. - **Theorems 1.4 and 1.5**: It is respectively proved that for any positive integer n, there exist constants α and β such that when n ≤ X, the number of σmoex(n) being even and odd is at least O(log log X). These results not only deepen the understanding of the mex and moex functions but also reveal their rich structures and distribution properties in modular arithmetic.

Divisibility and distribution of $MEX$ related integer partitions of Andrews and Newman

Generalization of the Extended Minimal Excludant of Andrews and Newman

Minimal Excludant over Overpartitions

A bijection proof of Andrews-Merca integer partition theorem

On the combinatorics of r-chain minimal and maximal excludants

Dyson's Crank and the Mex of Integer Partitions

On new minimal excludants of overpartitions related to some $q$-series of Ramanujan

A note on Andrews-MacMahon theorem

Distribution of Andrews' Singular Overpartitions $\overline{C}_{p,1}(n)$

High order congruences for $M$-ary partitions

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

Partition theorems and the Chinese remainder theorem

$s$-Modular, $s$-congruent and $s$-duplicate partitions

A note on odd partition numbers

On the total number of ones associated with cranks of partitions modulo 11

Combinatorial proofs of several partition identities of Andrews and Merca

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

Combinatorial proofs of theorems of Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$

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

The $n$-Color Partition Function and Some Counting Theorems

Integer partitions with restricted odd and even parts