arXiv Science⌕ Search

arXiv · 2611.07871

The minimal excludant and the least $r$-gaps of $\ell$-regular partitions

Abstract

The minimal excludant (mex) of an integer partition $λ$ is the smallest positive integer that is not a part of $λ$. In this paper we study an analogue of this statistic for $\ell$-regular partitions with $\ell\geq2$, that is, partitions in which no part is divisible by $\ell$. Recently, Meher \cite{Meher} defined the minimal excludant for $\ell$-regular partitions. Motivated by Meher \cite{Meher}, for an $\ell$-regular partition we define its least $r$-gap as the smallest positive integer not divisible by $\ell$ that appears fewer than $r$ times as a part, and we obtain the two-variable generating function for the number of $\ell$-regular partitions of $n$ with a given least $r$-gap. Let $σ^{\mex}_{\ell}(n)$, and $σ^{\mex}_{\ell,r}(n)$ be the sum of the of the mex values over all $\ell$-regular partitions of $n$ and least $r$-gaps over all $\ell$-regular partitions of $n$ respectively. Using Jacobi's triple product identity, we derive explicit expressions for the generating function of $σ^{\mex}_{\ell}(n)$, and $σ^{\mex}_{\ell,r}(n)$, with separate formulas for even and odd $\ell$. We also show that the sequence $\{σ^{\mex}_{\ell,r}(n)\}_{n\ge0}$ is weakly increasing for every $\ell\ge2$ and $r\ge1$. Also, using Ingham's Tauberian theorem, we establish Hardy--Ramanujan type asymptotic formulas for $σ^{\mex}_{\ell,r}(n)$ when $\ell=4,5,7$ and $r\ge1$ is arbitrary. Lastly, we prove $σ^{\mex}_{\ell,r}$ is odd infinitely often, and we establish a quantitative lower bound, showing that the number of such n up to X grows at least like log log X.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tejash Priya, Sourav Bhowmick, Nabin Kumar Meher. 2026-11-05. The minimal excludant and the least $r$-gaps of $\ell$-regular partitions. https://arxiv.org/abs/2611.07871

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Arithmetic Upper and Lower Bounds for the Denumerant Function

We use an elementary arithmetic argument, going back to Blom and Fr{ö}berg, to obtain upper and lower bounds for the denumerant function of Sylvester for arbitrary positive integers $a_1,\dots,a_k$. The bounds hold along the multiples of $\gcd(a_1,\dots,a_k)$, share the leading term of the denumerant, and yield its asymptotic behaviour with an explicit error term; for large $n$ and under a mild condition, a polynomial refinement of the lower bound improves on the lower bound of Agnarsson.

math.NT↗

The Riemann hypothesis

The Weyl symbolic calculus of operators leads to the construction, if one takes for symbol a certain distribution decomposing over the zeros of the Riemann zeta function, of an operator with the following property: the Riemann hypothesis is equivalent to the validity of a collection of estimates involving this operator. Pseudodifferential arithmetic, a novel chapter of pseudodifferential operator theory, makes it possible to make the operator under study fully explicit. This leads to a proof of the conjecture.

math.NT↗

On the representation functions of certain numeration systems

Let $β>1$ be fixed. We consider the $(\mathbf{b},\mathcal{D})$-numeration system, where the base sequence $\mathbf{b}=(b_k)_{k\geq 0}$ consists of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=β$, and the digit set $\mathcal{D}\ni 0$ is a finite set of nonnegative real numbers containing at least two elements. Let $r_{\mathbf{b},\mathcal{D}}(λ)$ denote the number of representations of a given $λ\in\mathbb{R}$ in the form $\sum_{k\ge 0}δ_kb_k$ with digits $δ_k\in \mathcal{D}$. We establish upper bounds for $r_{\mathbf{b},\mathcal{D}}(λ)$ as well as asymptotic formulas for its arbitrary moments. Furthermore, we prove that the associated Dirichlet series $ζ_{\mathbf{b},\mathcal{D}}(s):=\sum_{λ>0}r_{\mathbf{b},\mathcal{D}}(λ)λ^{-s}$ admits a meromorphic continuation to the entire complex plane when $b_k=β^{k}$, and to the half-plane $\mathrm{Re}(s)>\log_β\mathcal{D}-γ$ when $b_k=β^{k}+O(β^{(1-γ)k})$ for any fixed $γ\in(0,1]$. Within the regions of continuation, we determine all candidate poles, compute their corresponding residues, and locate the trivial zeros of $ζ_{\mathbf{b},\mathcal{D}}(s)$. As an application, we resolve several problems posed by Chow and Slattery concerning partitions into distinct terms of certain integer sequences.

math.NT↗