pith. sign in

arxiv: 2604.26127 · v1 · submitted 2026-04-28 · 🧮 math.CO

The shape of a random numerical semigroup

Pith reviewed 2026-05-07 12:21 UTC · model grok-4.3

classification 🧮 math.CO
keywords numericalsemigroupfracgenusmathbbpointsrandomsemigroups
0
0 comments X

The pith

As genus g tends to infinity, the scaled graph of a typical numerical semigroup of genus g converges to two line segments.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

A numerical semigroup is a collection of whole numbers that is closed under addition and misses only finitely many numbers. The genus g counts how many numbers are missing. The authors pick a random semigroup with exactly g missing numbers and look at its smallest g+1 elements. They plot each element's position after scaling the index by 1/g and the value by 1/g. In the limit of very large g, these plotted points line up along two straight segments instead of scattering randomly. The same two-segment shape appears when semigroups are chosen by fixing the largest missing number instead of the genus. The result is proved by combining counting arguments with concentration inequalities that show most semigroups behave like the average one.

Core claim

We show that as g → ∞, this set of points typically becomes closer to a union of two line segments.

Load-bearing premise

The uniform probability measure on the set of all numerical semigroups of fixed genus g is the correct model for a 'typical' semigroup, and the limit shape exists under this measure.

read the original abstract

We study statistical properties of random numerical semigroups of a given genus. We analyze the graph of a typical numerical semigroup, understood as a function from $\mathbb{N}$ to $\mathbb{N}$. If $S$ is a numerical semigroup of genus $g$, this leads us to consider the collection of points $\left(\frac{k-1}{g-1},\frac{a_k(S)}{g} \right)$ where $1 \le k \le g$ and $a_k(S)$ denotes the $k$th smallest nonzero element of $S$. We show that as $g \rightarrow \infty$, this set of points typically becomes closer to a union of two line segments. We prove analogous results for numerical semigroups ordered by Frobenius number.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; free parameters, axioms, and invented entities cannot be audited without the full text.

pith-pipeline@v0.9.0 · 5422 in / 1012 out tokens · 55049 ms · 2026-05-07T12:21:03.921964+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.