On the order of magnitude of certain integer sequences

Michael Hellus,Anton Rechenauer,Rolf Waldi

2024-06-10

Abstract:Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (<a class="link-https" data-arxiv-id="1312.7748" href="https://arxiv.org/abs/1312.7748">arXiv:1312.7748</a> [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numerical evidence suggesting that the summands of $N$ always can be chosen between $\frac N6$ and $\frac N2$. This would imply that $u$ is less than $6p$.

Number Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the order - of - magnitude estimation of invariants of numerical semigroups \(S\), especially the relationships and asymptotic behaviors among some key invariants of numerical semigroups \(S\) generated by all prime numbers not less than a certain prime number \(p\). Specifically:

1. **The relationship between the largest atom \(u\) and the prime number \(p\)**:
- The order - of - magnitude relationship between the largest atom \(u\) and the prime number \(p\) has been studied. According to Harald Helfgott's result, every odd number \(N> 5\) can be expressed as the sum of three prime numbers, and these prime numbers can be chosen between \(\frac{N}{6}\) and \(\frac{N}{2}\). This implies that \(u < 6p\).

2. **Asymptotic relationships among invariants**:
- The paper has studied the asymptotic relationships between several invariants such as the embedding dimension \(e\), the Frobenius number \(f\), the genus \(g\) and the number of special elements \(s\) and the prime number \(p\). For example:
- \(g\sim\frac{5}{2}p\)
- \(3p - 6\leq f < 4p + p^{0.7}\)
- \(\left|\frac{u}{p}-3\right|<\frac{1}{p^{0.3}}\), in particular, \(u\sim3p\)
- \(e\sim2n\)

3. **Minimum quotient values**:
- The minimum values of the ratios of these invariants to \(p\) or \(n\) have been calculated, for example:
- \(\min\left(\frac{f}{p}\right)=\min\left(\frac{g}{p}\right)=\frac{1}{2}\)
- \(\min\left(\frac{u}{p}\right)=\frac{3}{2}\)
- \(\min\left(\frac{e}{n}\right)=\frac{5}{4}\)

4. **Conjectures**:
- Some conjectures about the maximum and minimum values of these invariants have been proposed, for example:
- \(\sup\left(\frac{u}{p}\right)=\max\left(\frac{u}{p}\right)=\frac{163}{47}\)
- \(\sup\left(\frac{f}{p}\right)=\max\left(\frac{f}{p}\right)=\frac{63}{19}\)
- \(\sup\left(\frac{g}{p}\right)=\frac{5}{2}\)
- \(\inf\left(\frac{s}{p}\right)=\min\left(\frac{s}{p}\right)=\frac{1}{2}\), and \(\sup\left(\frac{s}{p}\right)=\max\left(\frac{s}{p}\right)=\frac{24}{19}\)

Through these studies, the paper aims to provide a deeper understanding of the structure and properties of numerical semigroups \(S\), especially the behavior under large prime numbers \(p\). In addition, the paper also explores the ternary Goldbach problem and its potential application in estimating the upper bound of \(\frac{u}{p}\).