arXiv++ Combinatorics

We use the Chicken McNugget monoid to demonstrate various factorization properties related to relations and chains of factorizations. We study in depth the catenary and tame degrees of this monoid.

Several recent papers have explored families of rational polyhedra whose integer points are in bijection with certain families of numerical semigroups. One such family, first introduced by Kunz, has integer points in bijection with numerical semigroups of fixed multiplicity, and another, introduced by Hellus and Waldi, has integer points corresponding to oversemigroups of numerical semigroups with two generators. In this paper, we provide a combinatorial framework from which to study both families of polyhedra. We introduce a new family of polyhedra called group cones, each constructed from some finite abelian group, from which both of the aforementioned families of polyhedra are directly determined but that are more natural to study from a standpoint of polyhedral geometry. We prove that the faces of group cones are naturally indexed by a family of finite posets, and illustrate how this combinatorial data relates to semigroups living in the corresponding faces of the other two families of polyhedra.

For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.

A numerical semigroup is an additive subsemigroup of the non-negative integers. In this paper, we consider parametrized families of numerical semigroups of the form $P_n = \langle f_1(n), \ldots, f_k(n) \rangle$ for polynomial functions $f_i$. We conjecture that for large $n$, the Betti numbers, Frobenius number, genus, and type of $P_n$ each coincide with a quasipolynomial. This conjecture has already been proven in general for Frobenius numbers, and for the remaining quantities in the special case when $P_n = \langle n, n + r_2, \ldots, n + r_k \rangle$. Our main result is to prove our conjecture in the case where each $f_i$ is linear. In the process, we develop the notion of weighted factorization length, and generalize several known results for standard factorization lengths and delta sets to this weighted setting.

We give an algorithm to determine whether Wilf's conjecture holds for all numerical semigroups with a given multiplicity $m$, and use it to prove Wilf's conjecture holds whenever $m \le 18$. Our algorithm utilizes techniques from polyhedral geometry, and includes a parallelizable algorithm for enumerating the faces of any polyhedral cone up to orbits of an automorphism group. We also introduce a new method of verifying Wilf's conjecture via a combinatorially-flavored game played on the elements of a certain finite poset.

We give a self contained introduction to numerical semigroups, and present several open problems centered on their factorization properties.

We call a (not necessarily planar) embedding of a graph $G$ in the plane \emph{sequential} if its vertices lie in $\mathbb Z^2$ and the line segments between adjacent vertices contain no interior integer points. In this note, we prove (i) a graph $G$ has a sequential embedding if and only if $G$ is 4-colorable, and (ii) if $G$ is planar, then $G$ has a sequential planar embedding.

A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of integers, denoted $h_{n, i}$, that count generating sets with certain properties. We prove a recurrence that implies the sequence $h_{n,i}$ is eventually quasipolynomial when the second parameter is fixed.

An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $χ(H)$ and covering number $τ(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $τ(H)$ is at most $(r - 1)ν(H)$, where $ν(H)$ denotes the matching number of $H$. We prove our conjecture in the case where $ν(H) = 1$, and provide improved (in fact, optimal) bounds on $τ(H)$ for $r \le 5$. We also provide sharp bounds on the chromatic number $χ(H)$ in terms of $r$, and use them to prove two fractional versions of our conjecture.

A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a rational function in $t$ whose numerator is characterized in terms of the topology of a simplicial complex determined by membership in $S$. In this paper, we obtain analogous rational expressions for the related power series whose coefficient of $t^n$ equals $f(n)$ for one of several semigroup-theoretic invariants $f:S \to \mathbb R$ known to be eventually quasipolynomial.

A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.

Most factorization invariants in the literature extract extremal factorization behavior, such as the maximum and minimum factorization lengths. Invariants of intermediate size, such as the mean, median, and mode factorization lengths are more subtle. We use techniques from analysis and probability to describe the asymptotic behavior of these invariants. Surprisingly, the asymptotic median factorization length is described by a number that is usually irrational.

We examine properties of random numerical semigroups under a probabilistic model inspired by the Erdos-Renyi model for random graphs. We provide a threshold function for cofiniteness, and bound the expected embedding dimension, genus, and Frobenius number of random semigroups. Our results follow, surprisingly, from the construction of a very natural shellable simplicial complex whose facets are in bijection with irreducible numerical semigroups of a fixed Frobenius number and whose $h$-vector determines the probability that a particular element lies in the semigroup.

Every day, 34 million Chicken McNuggets are sold worldwide. At most McDonalds locations in the United States today, Chicken McNuggets are sold in packs of 4, 6, 10, 20, 40, and 50 pieces. However, shortly after their introduction in 1979 they were sold in packs of 6, 9, and 20. The use of these latter three numbers spawned the so-called Chicken McNugget problem, which asks: "what numbers of Chicken McNuggets can be ordered using only packs with 6, 9, or 20 pieces?" In this paper, we present an accessible introduction to this problem, as well as several related questions whose motivation comes from the theory of non-unique factorization.

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$.

We prove two main results concerning mesoprimary decomposition of monoid congruences, as introduced by Kahle and Miller. First, we identify which associated prime congruences appear in every mesoprimary decomposition, thereby completing the theory of mesoprimary decomposition of monoid congruences as a more faithful analog of primary decomposition. Second, we answer a question posed by Kahle and Miller by characterizing which finite posets arise as the set of associated prime congruences of monoid congruences.

Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. Monoid congruences (and therefore, binomial ideals) can present many subtle behaviors that must be carefully accounted for in order to produce general results, and this makes the theory complicated. In this paper, we examine their results in the presence of a positive $A$-grading, where certain pathologies are avoided and the theory becomes more accessible. Our approach is algebraic: while key notions for mesoprimary decomposition are developed first from a combinatorial point of view, here we state definitions and results in algebraic terms, which are moreover significantly simplified due to our (slightly) restricted setting. In the case of toral components (which are well-behaved with respect to the $A$-grading), we are able to obtain further simplifications under additional assumptions. We also provide counterexamples to two open questions, identifying (i) a binomial ideal whose hull is not binomial, answering a question of Eisenbud and Sturmfels, and (ii) a binomial ideal $I$ for which $I_\text{toral}$ is not binomial, answering a question of Dickenstein, Miller and the first author.

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.

Given a simplicial complex whose vertices are labeled with positive integers, one can associate a vector configuration whose corresponding toric variety is the Zariski closure of a hierarchical model. We classify all the vertex-weighted simplicial complexes that give rise to unimodular vector configurations. We also provide a combinatorial characterization of their Graver bases.

We present structural results on solutions to the Diophantine system $A{\boldsymbol y} = {\boldsymbol b}$, ${\boldsymbol y} \in \mathbb Z^t_{\ge 0}$ with the smallest number of non-zero entries. Our tools are algebraic and number theoretic in nature and include Siegel's Lemma, generating functions, and commutative algebra. These results have some interesting consequences in discrete optimization.