A Note on Generalized Repunit Numerical Semigroups

Feihu Liu,Guoce Xin,Suting Ye,Jingjing Yin

2023-06-19

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this note, we study the Frobenius problem of $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$ and obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1$. Our formulas simplifies further for some special cases, such as repunit, Mersenne and Thabit numerical semigroups. The idea is similar to that in [\cite{LiuXin23},<a class="link-https" data-arxiv-id="2306.03459" href="https://arxiv.org/abs/2306.03459">arXiv:2306.03459</a>].

Number Theory,Combinatorics

What problem does this paper attempt to address?

This paper attempts to solve the Frobenius problem of generalized cyclic unitary numerical semigroups. Specifically, it studies the numerical semigroup \(A = \left( a, ba + d, \frac{b^2a + b^2 - 1}{b - 1}d, \ldots, \frac{b^ka + b^{k - 1}}{b - 1}d \right)\) generated in a specific form, and derives the formulas for its Frobenius number \(F(A)\) and genus \(g(A)\).

### Main problem description:
The paper mainly focuses on the following two core problems:

1. **Frobenius number (the largest non - representable integer)**:
- For a given sequence \(A\), find the largest integer \(F(A)\) that cannot be represented by \(A\).
- The Frobenius number \(F(A)\) is the largest integer that does not belong to the numerical semigroup \(\langle A\rangle\).

2. **Genus (or Sylvester number)**:
- Calculate the number of elements in positive integers that do not belong to \(\langle A\rangle\), \(g(A)\).
- The genus \(g(A)\) is the cardinality of the set \(\mathbb{N}\setminus\langle A\rangle\).

### Research object:
The paper specifically studies the numerical semigroup of the form \(A = \left( a, ba + d, \frac{b^2a + b^2 - 1}{b - 1}d, \ldots, \frac{b^ka + b^{k - 1}}{b - 1}d \right)\), and gives the formulas for \(F(A)\) and \(g(A)\) under the condition \(a\geq k - 1\).

### Special cases:
The paper also discusses some special cases, for example:
- When \(a=\frac{b^n - 1}{b - 1}\), the numerical semigroup \(\langle A\rangle\) becomes the cyclic unitary numerical semigroup \(S(b, n)\).
- When \(a = 2^n-1\), the numerical semigroup \(\langle A\rangle\) becomes the Mersenne numerical semigroup \(S(n)\).
- When \(a=3\cdot2^n - 1\), the numerical semigroup \(\langle A\rangle\) becomes the Thabit numerical semigroup \(T(n)\).

### Formula results:
For \(a = \frac{b^n - 1}{b - 1}\) and \(k=n - 1\), the paper obtains the following results:
- **Frobenius number**: \(F(A)=(b^n + d - 1)\cdot\frac{b^n - 1}{b - 1}-d\)
- **Genus**: \(g(A)=\frac{(b^n - b)(b^n + d - 1)}{2(b - 1)}+\frac{b^n(n - 1)}{2}\)

In addition, the paper also explores the pseudo - Frobenius number and type \(t(A)\), and conducts a detailed analysis in these special cases.

### Summary:
This paper provides a complete theoretical framework to solve the Frobenius problem by studying generalized cyclic unitary numerical semigroups, and gives specific formulas and application examples, covering multiple special types of numerical semigroups.