Abstract:This paper investigates the relationship between the Riemann hypothesis and the statement $\forall n, ~g(n) \le e^{\sqrt{p_n}}$, where $g(n)$ is the maximum order of an element of $S_n$, the symmetric group on $n$ elements, and $p_n$ is the $n$-th prime. We show this inequality holds under the Riemann Hypothesis. We also make progress towards establishing the converse by proving $\exists n,~g(n)>e^{\sqrt{p_n}}$ if the Riemann Hypothesis is false and the supremum of the set of the real parts of the Riemann zeta function's zeros $\sup \{\Re(\rho)~|~\zeta(\rho) = 0\}$ is not equal to 1.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the Riemann Hypothesis (RH) and the theory of permutation groups. Specifically:
1. **The relationship between the Riemann Hypothesis and the maximum order**:
- The paper explores whether the Riemann Hypothesis is equivalent to \( g(n)\leq e^{\sqrt{p_n}}\) for all \( n \), where \( g(n) \) is the maximum order of elements in the symmetric group \( S_n \), and \( p_n \) is the \( n \)-th prime number.
- The author proves that if the Riemann Hypothesis holds, then the above inequality holds (Theorem 1).
2. **Exploration of the reverse problem**:
- If the Riemann Hypothesis does not hold, and the supremum of the real parts of the zeros of the Riemann zeta function \( \sup \{\Re(\rho) : \zeta(\rho) = 0\} \neq 1 \), then there exist some \( n \) such that \( g(n)>e^{\sqrt{p_n}}\) (Theorem 2).
- This indicates that when the Riemann Hypothesis "fails as much as possible", that is, there exists a sequence of zeros \( \{\rho_i\} \) such that \( \lim_{i \to \infty} \Re(\rho_i) = 1 \), whether \( g(n) \) will exceed \( e^{\sqrt{p_n}}\) at this time is an unsolved problem.
### Formula summary
- \( g(n) \): Landau function, representing the maximum order of elements in the symmetric group \( S_n \).
- \( p_n \): The \( n \)-th prime number.
- \( \text{li}^{-1}(n) \): Inverse logarithmic integral function, approximately equal to the \( n \)-th prime number.
- \( a_n=\frac{\text{li}^{-1}(n)-\log(g(n))}{(n \log n)^{1/4}}\): An auxiliary quantity for estimation.
- \( R(x)=\sup_{e\leq s\leq x}|\pi(s)-\text{li}(s)|\): The upper bound of the difference between the prime number counting function and the logarithmic integral function.
### Main conclusions
- **Theorem 1**: If the Riemann Hypothesis holds, then for all \( n\geq1 \), \( g(n)\leq e^{\sqrt{p_n}}\).
- **Theorem 2**: If the Riemann Hypothesis does not hold and \( \sup \{\Re(\rho) : \zeta(\rho) = 0\} \neq 1 \), then there exists some \( n \) such that \( g(n)>e^{\sqrt{p_n}}\).
This paper provides a new perspective for understanding the Riemann Hypothesis by combining the classical results in the theory of permutation groups and number theory.