On the system of length sets of power monoids (2508.10209v1)

Abstract: The set $\mathcal{P}{{\rm fin},0}(\mathbb{N}_0)$ of all finite subsets of $\mathbb{N}_0$ containing the zero element is a monoid with set addition as operation. If a set $A\in\mathcal{P}{{\rm fin},0}(\mathbb{N}0)$ can be written in the form $A=\sum{i=1}^{\ell} A_i$ with $\ell\in\mathbb{N}0$ and indecomposable elements $(A_i){i=1}^{\ell}$ of $\mathcal{P}{{\rm fin},0}(\mathbb{N}_0)$, then $\ell$ is a factorization length of $A$ and $\mathsf{L}(A)\subseteq\mathbb{N}_0$ denotes the set of all possible factorization lengths of $A$. We show that for each rational number $q\geq 1$, there is some $A\in\mathcal{P}{{\rm fin},0}(\mathbb{N}_0)$ such that $q=\frac{\max(\mathsf{L}(A))}{\min(\mathsf{L}(A))}$. This supports a Conjecture of Fan and Tringali.