arXiv++ Combinatorics

A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we characterize the Apéry set of $M_n$ in terms of the Apéry set of the base monoid $S$ when $n$ is sufficiently large. We give a highly efficient algorithm for computing the Apéry set of $M_n$ in this case, and prove that several numerical monoid invariants, such as the genus and Frobenius number, are eventually quasipolynomial as a function of $n$.

The catenary degree is an invariant that measures the distance between factorizations of elements within an atomic monoid. In this paper, we classify which finite subsets of $\mathbb Z_{\ge 0}$ occur as the set of catenary degrees of a numerical monoid (i.e., a co-finite, additive submonoid of $\mathbb Z_{\ge 0}$). In particular, we show that, with one exception, every finite subset of $\mathbb Z_{\ge 0}$ that can possibly occur as the set of catenary degrees of some atomic monoid is actually achieved by a numerical monoid.

In an atomic, cancellative, commutative monoid $S$, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length set). In this paper, we show that the set of length sets $\mathcal L(S)$ for any arithmetical numerical monoid $S$ can be completely recovered from its set of elasticities $R(S)$; therefore, $R(S)$ is as strong a factorization invariant as $\mathcal L(S)$ in this setting. For general numerical monoids, we describe the set of elasticities as a specific collection of monotone increasing sequences with a common limit point of $\max R(S)$.

In an atomic, cancellative, commutative monoid, the ω-value measures how far an element is from being prime. In numerical monoids, we show that this invariant exhibits eventual quasilinearity (i.e., periodic linearity). We apply this result to describe the asymptotic behavior of the ω-function for a general numerical monoid and give an explicit formula when the monoid has embedding dimension 2.

The Huneke-Wiegand conjecture has prompted much recent research in Commutative Algebra. In studying this conjecture for certain classes of rings, García-Sánchez and Leamer construct a monoid S_Γ^s whose elements correspond to arithmetic sequences in a numerical monoid Γof step size s. These monoids, which we call Leamer monoids, possess a very interesting factorization theory that is significantly different from the numerical monoids from which they are derived. In this paper, we offer much of the foundational theory of Leamer monoids, including an analysis of their atomic structure, and investigate certain factorization invariants. Furthermore, when S_Γ^s is an arithmetical Leamer monoid, we give an exact description of its atoms and use this to provide explicit formulae for its Delta set and catenary degree.