Frobenius problem and its many generalizations have been extensively studied in several areas of mathematics. We study semigroups of totally positive algebraic integers in totally real number fields, defining analogues of the Frobenius numbers in this context. We use a geometric framework recently introduced by Aliev, De Loera and Louveaux to produce upper bounds on these Frobenius numbers in terms of a certain height function. We discuss some properties of this function, relating it to absolute Weil height and obtaining a lower bound in the spirit of Lehmer's conjecture for algebraic vectors satisfying some special conditions. We also use a result of Borosh and Treybig to obtain bounds on the size of representations and number of elements of bounded height in such positive semigroups of totally real algebraic integers.
The greatest integer that does not belong to a numerical semigroup $S$ is called the Frobenius number of $S$ and finding the Frobenius number is called the Frobenius problem. In this paper, we introduce the Frobenius problem for numerical semigroups generated by Thabit number base b and Thabit number of the second kind base b which are motivated by the Frobenius problem for Thabit numerical semigroups. Also, we introduce the Frobenius problem for numerical semigroups generated by Cunningham number and Fermat number base $b$
The greatest integer that does not belong to $S$ is the Frobenius number of $S$ and denoted by $F(S)$. To solve the Frobenius problem means the study to find $F(S)$. The Frobenius problem have treated steadily for a long time. In this paper, We will introduce the Frobenius problem for generalized Thabit numerical semigroups, which is motivated by the Frobenius problem for Thabit numerical semigroups.
In this paper we present a procedure to build the set of irreducible numerical semigroups with a fixed Frobenius number. The construction gives us a rooted tree structure for this set. Furthermore, by using the notion of Kunz-coordinates vector we translate the problem of finding such a tree into the problem of manipulating 0-1 vectors with as many component as the Frobenius number.
We generalize and prove a hypothesis by V. Arnold on the parity of Frobenius number. For the case of symmetric semigroups with three generators of Frobenius numbers we found an exact formula, which in a sense is the sum of two Sylvester's formulaes. We prove that the fraction of the symmetric semigroups is vanishing in the weak limit.
We present a procedure to enumerate the whole set of numerical semigroups with a given Frobenius number F, S(F). The methodology is based on the construction of a partition of S(F) by a congruence relation. We identify exactly one irreducible and one homogeneous numerical semigroup at each class in the relation, and from those two elements we reconstruct the whole class. An alternative more efficient method is proposed based on the use of the Kunz-coordinates vectors of the elements in S(F).
The matrix representation of the set $Δ({\bf d}^3)$, ${\bf d}^3=(d_1,d_2, d_3)$, of the integers which are unrepresentable by $d_1,d_2,d_3$ is found. The diagrammatic procedure of calculation of the generating function $Φ({\bf d}^3;z)$ for the set $Δ({\bf d}^3)$ is developed. The Frobenius number $F({\bf d}^3)$, genus $G({\bf d}^3)$ and Hilbert series $H({\bf d}^3;z)$ of a graded subring for non--symmetric and symmetric semigroups ${\sf S}({\bf d}^3)$ are found. The upper bound for the number of non--zero coefficients in the polynomial numerators of Hilbert series $H({\bf d}^m;z)$ of graded su…
Consider a sequence of positive integers of the form $ca^n-d$, $n\geq 1$, where $a, c$ and $d$ are positive integers, $a>1$. For each $n\geq 1$, let $S_n$ be the submonoid of $\mathbb N$ generated by $\mathbf s_j=ca^{n+j}-d$, with $j\in\mathbb N$. We obtain a numerical semigroup $(1/e)S_n$ by dividing every element of $S_n$ by $e=\gcd(S_n)$. We characterize the embedding dimension of $S_n$ and describe a method to find the minimal generating set of $S_n$. We also show how to find the maximum element of the Apéry set ${\rm Ap}(S_n, \mathbf s_0)$, characterize the elements of ${\rm Ap}(S_n, \mat…
Let $L$ be a full-rank lattice in $\mathbb R^d$ and write $L^+$ for the semigroup of all vectors with nonnegative coordinates in $L$. We call a basis $X$ for $L$ positive if it is contained in $L^+$. There are infinitely many such bases, and each of them spans a conical semigroup $S(X)$ consisting of all nonnegative integer linear combinations of the vectors of $X$. Such $S(X)$ is a sub-semigroup of $L^+$, and we investigate the distribution of the gaps of $S(X)$ in $L^+$, i.e. the points in $L^+ \setminus S(X)$. We describe some basic properties and counting estimates for these gaps. Our main…
Given two numerical semigroups $S$ and $T$ and a positive integer $d$, $S$ is said to be one over $d$ of $T$ if $S=\{s \in \mathbb{N} \ | \ ds \in T \}$ and in this case $T$ is called a $d$-fold of $S$. We prove that the minimal genus of the $d$-folds of $S$ is $g + \lceil \frac{(d-1)f}{2} \rceil$, where $g$ and $f$ denote the genus and the Frobenius number of $S$. The case $d=2$ is a problem proposed by Robles-Pérez, Rosales, and Vasco. Furthermore, we find the minimal genus of the symmetric doubles of $S$ and study the particular case when $S$ is almost symmetric. Finally, we study the Frobe…
Let $0<λ\leq1$, $λ\notin\left\{\frac24, \frac27, \frac2{10}, \frac2{13}, \ldots\right\}$, be a real and $p$ a prime number, with $[p,p+λp]$ containing at least two primes. Denote by $f_λ(p)$ the largest integer which cannot be written as a sum of primes from $[p,p+λp]$. Then \[f_λ(p)\sim\left\lfloor2+\frac2λ\right\rfloor\cdot p\text{, as }p\text{ goes to infinity.}\] Further a question of Wilf about the 'Money-Changing Problem' has a positive answer for all semigroups of multiplicity $p$ containing the primes from $[p,2p]$. In particular, this holds for the semigroup generated by all primes no…
Given an integral $d \times n$ matrix $A$, the well-studied affine semigroup $\mbox{ Sg} (A)=\{ b : Ax=b, \ x \in {\mathbb Z}^n, x \geq 0\}$ can be stratified by the number of lattice points inside the parametric polyhedra $P_A(b)=\{x: Ax=b, x\geq0\}$. Such families of parametric polyhedra appear in many areas of combinatorics, convex geometry, algebra and number theory. The key themes of this paper are: (1) A structure theory that characterizes precisely the subset $\mbox{ Sg}_{\geq k}(A)$ of all vectors $b \in \mbox{ Sg}(A)$ such that $P_A(b) \cap {\mathbb Z}^n $ has at least $k$ solutions. …
Let 0 < a < b be two relatively prime integers and let <a,b> be the numerical semigroup generated by a and b with Frobenius number g(a,b)=ab-a-b. In this note, we prove that there exists a prime number p in <a,b> with p < g(a,b) when the product ab is sufficiently large. Two related conjectures are posed and discussed as well.
This paper provides a formula for the minimal relations and the Frobenius number of a numerical semigroup minimally generated by three pairwise coprime positive integers.
We compute the Frobenius number for sequences of triangular and tetrahedral numbers. In addition, we study some properties of the numerical semigroups associated to those sequences.
Let $K=\mathbb Q(\sqrt D)$ be a real quadratic field. We consider the additive semigroup $\mathcal O_K^+(+)$ of totally positive integers in $K$ and determine its generators (indecomposable integers) and relations; they can be nicely described in terms of the periodic continued fraction for $\sqrt D$. We also characterize all uniquely decomposable integers in $K$ and estimate their norms. Using these results, we prove that the semigroup $\mathcal O_K^+(+)$ completely determines the real quadratic field $K$.
Numerical semigroups are cofinite additive submonoids of the natural numbers. In 2011, Keith and Nath illustrated an injection from numerical semigroups to integer partitions. We explore this connection between partitions and numerical semigroups with a focus on classifying the partitions that appear in the image of the injection from numerical semigroups. In particular, we count the number of partitions that correspond to numerical semigroups in terms of genus, Frobenius number, and multiplicity, with some restrictions.
We define a reflective numerical semigroup of genus $g$ as a numerical semigroup that has a certain reflective symmetry when viewed within $\mathbb{Z}$ as an array with $g$ columns. Equivalently, a reflective numerical semigroup has one gap in each residue class modulo $g$. In this paper, we give an explicit description for all reflective numerical semigroups. With this, we can describe the reflective members of well-known families of numerical semigroups as well as obtain formulas for the number of reflective numerical semigroups of a given genus or given Frobenius number.
We consider the Diophantine problem of Frobenius for semigroup ${\sf S}({\bf d}^3)$ where ${\bf d}^3$ denotes the tuple $(d_1,d_2,d_3)$, $\gcd(d_1,d_2,d_3)=1$. Based on the Hadamard product of analytic functions we have found the analytic representation for the diagonal elements $a_{kk}({\bf d}^3)$ of the Johnson's matrix of minimal relations in terms of $d_1,d_2,d_3$. Bearing in mind the results of the recent paper this gives the analytic representation for the Frobenius number $F({\bf d}^3)$, genus $G({\bf d}^3)$ and the Hilbert series $H({\bf d}^3;z)$ for the semigroups ${\sf S}({\bf d}^3)$…
We consider symmetric (not complete intersection) numerical semigroups S_6, generated by a set of six positive integers {d_1,...,d_6}, gcd(d_1,...,d_6)=1, and derive inequalities for degrees of syzygies of such semigroups and find the lower bound for their Frobenius numbers. We show that this bound may be strengthened if S_6 satisfies the Watanabe lemma.
Let $S=\left\langle s_1,\ldots,s_n\right\rangle$ be a numerical semigroup generated by the relatively prime positive integers $s_1,\ldots,s_n$. Let $k\geqslant 2$ be an integer. In this paper, we consider the following $k$-power variant of the Frobenius number of $S$ defined as $${}^{k\!}r\!\left(S\right):= \text{ the largest } k \text{-power integer not belonging to } S.$$In this paper, we investigate the case $k=2$. We give an upper bound for ${}^{2\!}r\!\left(S_A\right)$ for an infinite family of semigroups $S_A$ generated by {\em arithmetic progressions}. The latter turns out to be the exa…
The symmetric numerical semigroups S(F_a,F_b,F_c) and S(L_k,L_m,L_n) generated by three Fibonacci (F_a,F_b,F_c) and Lucas (L_k,L_m,L_n) numbers are considered. Based on divisibility properties of the Fibonacci and Lucas numbers we establish necessary and sufficient conditions for both semigroups to be symmetric and calculate their Hilbert generating series, Frobenius numbers and genera.
In this paper we study numerical semigroups containing a given positive integer and closed with respect to the action of an affine map. For such semigroups we find a minimal set of generators, their embedding dimension, their genus and their Frobenius number.
Let $A$ be a finite set of relatively prime positive integers, and let $S(A)$ be the set of all nonnegative integral linear combinations of elements of $A$. The set $S(A)$ is a semigroup that contains all sufficiently large integers. The largest integer not in $S(A)$ is the Frobenius number of $A$, and the number of positive integers not in $S(A)$ is the genus of $A$. Sharp and Sylvester proved in 1884 that the Frobenius number of the set $A = \{a,b\}$ is $ab-a-b$, and that the genus of $A$ is $(a-1)(b-1)/2$. Graded rings and a simple form of Hilbert's syzygy theorem are used to give a commuta…
Given three pairwise coprime positive integers $a_1,a_2,a_3 \in \mathbb{Z}^+$ we show the existence of a relation between the sets of the first elements of the three quotients $\frac{\langle a_i,a_j \rangle}{a_k}$ that can be made for every $\{i.j,k\}=\{1,2,3\}$. Then we use this result to give an improved version of Johnson's semi-explicit formula for the Frobenius number $g(a_1,a_2,a_3)$ without restriction on the choice of $a_1,a_2,a_3$ and to give an explicit formula for a particular class of numerical semigroups.
Motivated by a promotion to increase the number of musical downloads, we introduce the concept of $C$-incentive and show an algorithm that compute the smallest $C$-incentive containing a subset $X \subseteq {\mathbb N}$. On the other hand, in order to study $C$-incentives, we see that we can focus on numerical $C$-incentives. Then, we establish that the set formed by all numerical $C$-incentives is a Frobenius pseudo-variety and we show an algorithmic process to recurrently build such a pseudo-variety.
The study of Frobenius endomorphism provides numerous information about its corresponding Abelian variety. To understand the action of the Frobenius endomorphism, one may be interested in its eigenvalues. According to Weil's third conjecture ("Riemann hypothesis over finite fields"), they all have absolute value less than or equal to $2g\sqrt{p}$. Thus, the eigenvalues of the Frobenius endomorphism all belong to the same compact subset of the complex plane, and are roots of the same monic polynomial with integer coefficients (the characteristic polynomial of the Frobenius endomorphism). Such c…
