Combinatorial proof of the minimal excludant theorem
The minimal excludant of a partition [Formula: see text], [Formula: see text], is the smallest positive integer that is not a part of [Formula: see text]. For a positive integer [Formula: see text], [Formula: see text] denotes the sum of the minimal excludants of all partitions of [Formula: see text]. Recently, Andrews and Newman obtained a new combinatorial interpretation for [Formula: see text]. They showed, using generating functions, that [Formula: see text] equals the number of partitions of [Formula: see text] into distinct parts using two colors. In this paper, we provide a purely combinatorial proof of this result and new properties of the function [Formula: see text]. We generalize this combinatorial interpretation to [Formula: see text], the sum of least [Formula: see text]-gaps in all partitions of [Formula: see text]. The least [Formula: see text]-gap of a partition [Formula: see text] is the smallest positive integer that does not appear at least [Formula: see text] times as a part of [Formula: see text].