Some examples of well-behaved Beurling number systems

Frederik Broucke,Gregory Debruyne,Szilárd Révész

2024-06-26

Abstract:We investigate the existence of well-behaved Beurling number systems, which are systems of Beurling generalized primes and integers which admit a power saving in the error term of both their prime and integer-counting function. Concretely, we search for so-called $[\alpha,\beta]$-systems, where $\alpha$ and $\beta$ are connected to the optimal power saving in the prime and integer-counting functions. It is known that every $[\alpha,\beta]$-system satisfies $\max\{\alpha,\beta\}\ge1/2$. In this paper we show there are $[\alpha,\beta]$-systems for each $\alpha \in [0,1)$ and $\beta \in [1/2, 1)$. Assuming the Riemann hypothesis, we also construct certain families of $[\alpha,\beta]$-systems with $\beta<1/2$.

Number Theory

What problem does this paper attempt to address?

### The problems the paper attempts to solve

This paper aims to explore whether there exist well - behaved Beurling number systems. Specifically, it studies whether there is a certain class of Beurling generalized prime and integer systems such that the error terms of their prime - counting functions and integer - counting functions can achieve a certain power - saving. Specifically, the authors focus on the so - called [α, β]-systems, where α and β are respectively related to the optimal power - saving in the prime - counting function and the integer - counting function.

#### Main problem description

1. **Definition and background**:
- The Beurling generalized prime system (P, N) consists of a generalized prime sequence P = (p_j) and the generalized integers N generated by these generalized primes.
- The authors hope to find systems that satisfy the following conditions: for any ε > 0, there exists a constant a > 0 such that
\[
\psi_P(x)=x + O_\varepsilon(x^{\alpha+\varepsilon}),
\]
\[
N_P(x)=ax + O_\varepsilon(x^{\beta+\varepsilon}),
\]
where \(\psi_P(x)\) is the Chebyshev function and \(N_P(x)\) is the generalized integer - counting function.

2. **Known results**:
- It is known that for any [α, β]-system, \(\max\{α, β\}≥\frac{1}{2}\).

3. **Research objectives**:
- Prove that for any α ∈ [0, 1) and β ∈ [\(\frac{1}{2}\), 1), there exist corresponding [α, β]-systems.
- Under the assumption that the Riemann hypothesis holds, further construct certain [α, β]-systems with β < \(\frac{1}{2}\).

#### Method overview

- **Construction of number systems in an extended sense**: First, construct number systems in an extended sense, that is, a pair of non - decreasing right - continuous functions (Π(x), N(x)), and then approximate it to the actual discrete system (P, N) through a certain discretization method.
- **Random prime selection algorithm**: Use a random prime selection algorithm to control the distribution of primes and ensure the good behavior of the system.
- **Handling of different situations**: According to the relationship between α and β (such as \(\frac{1}{2}≤β≤α\) or α < β), use different technical means for construction and analysis.

### Summary

The main purpose of this paper is to verify whether well - behaved Beurling number systems can be constructed within a certain range, especially those systems that can provide strong estimates for both prime - counting functions and integer - counting functions at the same time. This not only helps to understand the properties of generalized prime systems but also provides a new perspective for other problems in number theory.