Abstract:For a nonnegative integer $p$, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of generalized Fibonacci numerical semigroups. Here, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_k$ are expressed more than $p$ ways. When $p=0$, $S_0$ with the $0$-Frobenius number and the $0$-genus is the original numerical semigroup with the Frobenius number and the genus. In this paper, we consider the $p$-numerical semigroup involving Jacobsthal polynomials, which include Fibonacci numbers as special cases. We can also treat with the Jacobsthal-Lucas polynomials, including Lucas numbers accordingly. One of the applications on the $p$-Hilbert series is mentioned.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to give explicit formulas for the p - Frobenius number and p - genus of p - numerical semigroups related to the generalized Fibonacci sequence (especially Jacobsthal polynomials). Specifically, for a given positive integer \(p\), the author hopes to find the elements in the set \(S_p\) that can be represented in more than \(p\) ways by non - negative integer linear combinations of given positive integers \(a_1, a_2,\ldots, a_k\).
### Main problem description
1. **Definition and background**:
- For a non - negative integer \(p\), define the \(p\)-numerical semigroup \(S_p\) as the set of integers that can be represented in more than \(p\) ways by non - negative integer linear combinations of given positive integers \(a_1, a_2,\ldots, a_k\).
- When \(p = 0\), \(S_0\) is the original numerical semigroup, and its corresponding Frobenius number, genus and Sylvester sum are \(g(A)\), \(n(A)\) and \(s(A)\) respectively.
2. **Objective**:
- Give explicit formulas for the \(p\)-Frobenius number and \(p\)-genus of the triple \(A=\{a, va + b, vaJ_{k - 1}(v)+bJ_k(v)\}\) related to the generalized Fibonacci sequence (such as Jacobsthal polynomials).
- These formulas can be generalized to special cases such as the Fibonacci sequence, Lucas sequence and Jacobsthal - Lucas polynomials.
3. **Method**:
- Use Apéry sets to derive formulas for the \(p\)-Frobenius number and \(p\)-genus.
- By analyzing the recurrence relation and properties of Jacobsthal polynomials, construct the corresponding Apéry sets and use the elements in these sets to calculate the required values.
### Formula summary
For \(A = \{a, va + b, vaJ_{k - 1}(v)+bJ_k(v)\}\), where \(a\) and \(b\) are relatively prime positive integers and \(a\geq3\), then:
- **p - Frobenius number**:
\[
g_p(a, va + b, vaJ_{k - 1}(v)+bJ_k(v))=\left\{\begin{array}{ll}(a - 1)b+a\left(v(r - 1)-1\right)+va(a - r)J_{k - 1}(v)/J_k(v)+p(vaJ_{k - 1}(v)+bJ_k(v)),& \text{if }a < J_k(v)\text{ or }(va + b)r>va(J_k(v)-J_{k - 1}(v));\\(a - r - 1)b+va(J_k(v)-J_{k - 1}(v)-1)-a+va(a - r)J_{k - 1}(v)/J_k(v)+p(vaJ_{k - 1}(v)+bJ_k(v)),& \text{if }a\geq J_k(v)\text{ and }(va + b)r < va(J_k(v)-J_{k - 1}(v))\end{array}\right.
\]
where \(r = a-\lfloor a/J_k(v)\rfloor J_k(v)\).
- **p - genus**:
\[
n_p(a, va + b, vaJ_{k - 1}(v)+bJ_k(v))=\frac{1}{2}\left(-v(a - r^2)+(a - 1)(b - 1)\right)