Biasymptotics of the Möbius- and Liouville-signed partition numbers

Taylor Daniels
2023-10-17
Abstract:For $n \in \mathbb{N}$ let $\Pi[n]$ denote the set of partitions of $n$, i.e., the set of positive integer tuples $(x_1,x_2,\ldots,x_k)$ such that $x_1 \geq x_2 \geq \cdots \geq x_k$ and $x_1 + x_2 + \cdots + x_k = n$. Fixing $f:\mathbb{N}\to\{0,\pm 1\}$, for $\pi = (x_1,x_2,\ldots,x_k) \in \Pi[n]$ let $f(\pi) := f(x_1)f(x_2)\cdots f(x_k)$. In this way we define the {signed partition numbers} \[ p(n,f) = \sum_{\pi\in\Pi[n]} f(\pi). \] Building on the author's previous work on the quantities $p(n,\mu)$ and $p(n,\lambda)$, where $\mu$ and $\lambda$ are the Möbius and Liouville functions of prime number theory, respectively, on assumptions about the zeros of the Riemann zeta function we establish an alternation of the terms $p(n,\mu)$ between two asymptotic behaviors as $n\to\infty$. Similar results for the quantities $p(n,\lambda)$ are established. However, it is also demonstrated that if the Riemann Hypothesis (RH) holds, then it is possible that the quantities $p(n,\lambda)$ maintain a single asymptotic behavior as $n\to\infty$. In particular, this stable asymptotic behavior occurs if, in addition to RH, it holds that all zeros of $\zeta(s)$ in the critical strip $\{0 < \Re(s) < 1\}$ are simple and the residues of $1/\zeta(s)$ at these zeros are not too large. To formally describe these stable and alternating behaviors, the notions of asymptotic and biasymptotic sequences are introduced using a modification of the real logarithm.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the asymptotic behavior of partition numbers \(p(n, \mu)\) and \(p(n, \lambda)\) with the signs of the Mobius function and the Liouville function, and their alternating behavior under the assumption of the zero - distribution of the Riemann zeta function. Specifically, the author hopes to explore the behavior patterns of these partition numbers as \(n \to \infty\), and analyze whether they will alternate between two different asymptotic behaviors. To understand this problem more clearly, the following are several key points: 1. **Definition and Background**: - \(p(n, f)\) is defined as the signed partition number, where \(f\) is a function from natural numbers to \(\{0, \pm 1\}\). - In particular, \(p(n, \mu)\) and \(p(n, \lambda)\) use the Mobius function and the Liouville function as sign functions respectively. 2. **Known Results**: - Previous work has proven that when \(n\) is even, the logarithmic forms of \(p(n, \mu)\) and \(p(n, \lambda)\) are close to \(\sqrt{2k}\) and \(\sqrt{\zeta(2)2k}\) respectively, where \(k = n/2\). 3. **Main Problems**: - This paper aims to study whether the above relationships still hold when \(n\) is odd. - Further, the author explores whether \(p(n, \lambda)\) will maintain a single asymptotic behavior or alternate between different behaviors if the Riemann Hypothesis (RH) holds. 4. **New Findings**: - If the real parts of all non - trivial zeros are strictly less than 1 (i.e., \(\Theta < 1\)), then there exist arbitrarily long intervals in which \(p(n, \mu)\) and \(p(n, \lambda)\) will alternate between two asymptotic behaviors. - If the Riemann Hypothesis holds and all non - trivial zeros are simple zeros, then \(p(n, \lambda)\) may maintain a single asymptotic behavior. 5. **Conclusion**: - The paper formalizes these alternating behaviors by introducing the concepts of "biasymptotic" and "asymptotic" sequences. - The research results depend on the specific properties of the zeros of the Riemann zeta function, especially the distribution of these zeros. In general, the core problem of this paper is to explore the asymptotic behaviors of partition numbers with Mobius and Liouville signs under different conditions, and verify whether these behaviors will alternate or be stable under specific conditions.