-
A Unified Approach to Calculating Sylvester Sums
Authors:
Neha Gupta,
Manoj Upreti
Abstract:
In the context of the Frobenius coin problem, given two relatively prime positive integers $a$ and $b$, the set of nonrepresentable numbers consists of positive integers that cannot be expressed as nonnegative integer combination of $a$ and $b$. This work provides a formula for calculating the power sums of all nonrepresentable numbers, also known as the Sylvester sums. Although alternative formul…
▽ More
In the context of the Frobenius coin problem, given two relatively prime positive integers $a$ and $b$, the set of nonrepresentable numbers consists of positive integers that cannot be expressed as nonnegative integer combination of $a$ and $b$. This work provides a formula for calculating the power sums of all nonrepresentable numbers, also known as the Sylvester sums. Although alternative formulas exist in the literature, our approach is based on an elementary observation. We consider the set of natural numbers from $1$ to $ab - 1$ and compute their total sum in two distinct ways, which leads naturally to the desired Sylvester sums. This method connects an analytic identity with a combinatorial viewpoint, giving a new way to understand these classical quantities. Furthermore, in this paper, we establish a criterion using the division algorithm to determine whether a given positive integer is nonrepresentable.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Frobenius numbers associated with Diophantine triples of $x^2+y^2=z^r$ (extended version)
Authors:
Takao Komatsu,
Neha Gupta,
Manoj Upreti
Abstract:
We give an explicit formula for the $p$-Frobenius number of triples associated with Diophantine equations $x^2+y^2=z^r$, that is, the largest positive integer that can only be represented in $p$ ways by combining the three integers of the solutions of Diophantine equations $x^2+y^2=z^r$. When $r=2$, the Frobenius number has already been given.
We give an explicit formula for the $p$-Frobenius number of triples associated with Diophantine equations $x^2+y^2=z^r$, that is, the largest positive integer that can only be represented in $p$ ways by combining the three integers of the solutions of Diophantine equations $x^2+y^2=z^r$. When $r=2$, the Frobenius number has already been given.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Berkovich-Uncu type Partition Inequalities Concerning Impermissible Sets and Perfect Power Frequencies
Authors:
Damanvir Singh Binner,
Neha Gupta,
Manoj Upreti
Abstract:
Recently, Rattan and the first author (Ann. Comb. 25 (2021) 697-728) proved a conjectured inequality of Berkovich and Uncu (Ann. Comb. 23 (2019) 263-284) concerning partitions with an impermissible part. In this article, we generalize this inequality upon considering t impermissible parts. We compare these with partitions whose certain parts appear with a frequency which is a perfect t^{th} power.…
▽ More
Recently, Rattan and the first author (Ann. Comb. 25 (2021) 697-728) proved a conjectured inequality of Berkovich and Uncu (Ann. Comb. 23 (2019) 263-284) concerning partitions with an impermissible part. In this article, we generalize this inequality upon considering t impermissible parts. We compare these with partitions whose certain parts appear with a frequency which is a perfect t^{th} power. Our inequalities hold after a certain bound, which for given t is a polynomial in s, a major improvement over the previously known bound in the case t=1. To prove these inequalities, our methods involve constructing injective maps between the relevant sets of partitions. The construction of these maps crucially involves concepts from analysis and calculus, such as explicit maps used to prove countability of N^t, and Jensen's inequality for convex functions, and then merge them with techniques from number theory such as Frobenius numbers, congruence classes, binary numbers and quadratic residues. We also show a connection of our results to colored partitions. Finally, we pose an open problem which seems to be related to power residues and the almost universality of diagonal ternary quadratic forms.
△ Less
Submitted 30 November, 2022; v1 submitted 12 May, 2022;
originally announced May 2022.
