Abstract:We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the matrix dimension of numerical semigroups. Specifically, the authors studied the exponential semigroups generated by rational matrices, and their main achievement was to prove that the matrix dimension of a numerical semigroup does not exceed its multiplicity (i.e., the smallest generator). This result significantly improves the previous upper bound (the conductor), and for many numerical semigroups, including all symmetric numerical semigroups, this new upper bound is tight.
### Main Contributions
1. **Main Theorem**: If \(S\) is a non - trivial numerical semigroup with multiplicity (the smallest generator) \(m(S)\), then there exists an \(A\in M_{m(S)}(\mathbb{Q})\) such that \(S(A) = S\). Therefore, \(\text{dim}_{\text{mat}}S\leq m(S)\).
2. **Improvement**: The previous upper bound was the conductor \(c(S)\), while the new upper bound is the multiplicity \(m(S)\), which is usually much smaller than the conductor.
3. **Construction Method**: By the properties of the Apéry set, an explicit construction method is given to find the matrix \(A\) that satisfies the conditions.
### Background Knowledge
- **Numerical Semigroup**: A numerical semigroup \(S\) is a subsemigroup of the set of natural numbers \(\mathbb{N}\), and its complement is finite.
- **Conductor**: The conductor \(c(S)\) of a numerical semigroup \(S\) is defined as \(1+\max(\mathbb{N}\setminus S)\).
- **Multiplicity**: The multiplicity \(m(S)\) of a numerical semigroup \(S\) is its smallest generator.
- **Apéry Set**: For a numerical semigroup \(S\) and its multiplicity \(m\), the Apéry set \(\text{Ap}(S)\) is defined as \(\{n\in S:n - m\notin S\}\).
### Methods and Results
- **Matrix Construction**: By the properties of the Apéry set, a \(m\times m\) rational matrix \(A\) is constructed such that \(S(A)=S\).
- **Inequality System**: The core lies in an inequality system that reflects the fine structure of the Apéry set. These inequalities were first introduced by Kunz and are widely used in enumeration and classification problems in this field.
### Application Examples
- **McNugget Semigroup**: For \(S = \langle6,9,20\rangle\), the multiplicity \(m(S)=6\) and the conductor \(c(S) = 44\). According to the new theorem, a \(6\times6\) matrix \(A\) can be constructed instead of the previously required \(44\times44\) matrix.
- **Irreducible Numerical Semigroup**: For symmetric and pseudo - symmetric numerical semigroups, their matrix dimensions are further determined.
### Conclusion
This paper significantly improves the matrix dimension problem of numerical semigroups by introducing a new upper bound and an explicit construction method, providing new tools and perspectives for the study of numerical semigroups.