The Frobenius number for sequences of triangular numbers associated with number of solutions

Takao Komatsu
DOI: https://doi.org/10.1007/s00026-022-00594-3
2022-07-01
Abstract:The famous linear diophantine problem of Frobenius is the problem to determine the largest integer (Frobenius number) whose number of representations in terms of $a_1,\dots,a_k$ is at most zero, that is not representable. In other words, all the integers greater than this number can be represented for at least one way. One of the natural generalizations of this problem is to find the largest integer (generalized Frobenius number) whose number of representations is at most a given nonnegative integer $p$. It is easy to find the explicit form of this number in the case of two variables. However, no explicit form has been known even in any special case of three variables. In this paper we are successful to show explicit forms of the generalized Frobenius numbers of the triples of triangular numbers. When $p=0$, their Frobenius number is given by Robles-Pérez and Rosales in 2018.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the explicit expression of the generalized Frobenius number in the triangular number sequence. Specifically, the author focuses on finding the largest integer \(g(A; p)=g(a_1, a_2,\ldots, a_k; p)\) when a non - negative integer \(p\) is given, such that there are no more than \(p\) ways to represent this integer using \(a_1, a_2,\ldots, a_k\). That is, all integers greater than this number have at least \(p + 1\) representation methods. For the case of two variables, an explicit formula has been found, but for the case of three or more variables, especially for specific types of sequences (such as triangular numbers), there were no known explicit formulas before. In this paper, the author successfully gives the explicit form of the generalized Frobenius number of three consecutive triangular numbers \(t_n, t_{n + 1}, t_{n+2}\). This includes: - When \(p = 0\), that is, the classical Frobenius number, there are existing results. - For general \(p\geq0\), an explicit formula for \(g(t_n, t_{n+1}, t_{n+2}; p)\) is given, divided into two cases where \(n\) is even and odd. In addition, the author also discusses special cases of smaller \(n\) and larger \(p\), and provides specific calculation results and formulas. These results are not only helpful for understanding the Frobenius problem itself, but also provide a basis for further research on the application of the generalized Frobenius number in other sequences. In summary, the main contribution of the paper lies in solving the problem of the explicit expression of the generalized Frobenius number of three consecutive triangular numbers, filling this gap in this field, and providing new tools and methods for subsequent research.