The Farey Sequence and the Mertens Function

Darrell Cox, Sourangshu Ghosh, and Eldar Sultanow May 22, 2021

Abstract Franel and Landau derived an arithmetic statement involving the Farey sequence that is equivalent to the Riemann hypothesis. Since there is a relationship between the Mertens function and the Riemann hypothesis, there should be a relationship between the Mertens function and the Farey sequence. Functions of subsets of the fractions in Farey sequences that are analogous to the Mertens function are introduced. Mikol´asproved that the sum of certain Mertens function values is 1. Results analogous to Mikol´as’theorem are the defining property of these functions. A rela- tionship between the Farey sequence and the Riemann hypothesis other than the Franel-Landau theorem is postulated. This conjecture involves a theorem of Mertens and the second Chebyshev function.

1 Introduction Px Mikol´as[1] proved that n=1 M(bx/nc) = 1 where M denotes the Mertens function. If f and g are two arithmetical function, their Dirichlet product (or P convolution) is defined by the equation h(n) = d|n f(d)g(n/d) (denoted by f∗g for h and (f ∗ g)(n) for h(n)). Let F denote a real or complex-valued function defined on the positive real axis (0, +∞) such that F (x) = 0 for 0 < x < 1. P A more general convolution is n≤x α(n)F (x/n) where α is any arithmetical function. The sum defines a new function G on (0, +∞) which also vanishes for 0 < x < 1. The function G is denoted by α ◦ F . An associative property relating ◦ and ∗ is given by Lemma 1.

Lemma 1 For any arithmetical function α and β, α ◦ (β ◦ F ) = (α ∗ β) ◦ F . arXiv:2105.12352v1 [math.NT] 26 May 2021 (See section 2.14 of Apostol’s [2] book.) The functions considered here are α(n) = 1, b(n) = bn/2c−2bn/4c and F (n) = M(n). The Farey sequence of order n (denoted by Fn) is the ascending sequence of irreducible fractions between 0 and 1 whose denominators do not exceed n. Corollary 1.33 in Matveev’s [3] book is given by Lemma 2

Pn Lemma 2 If ft ∈ Fn − {1/1} where n > 1, then t = j=2 M(n/j)bjftc where M(·) is the Mertens function.

1 Previously, Mikol´asproved a slightly more general version of this. Let %ν denote the ν-th fraction in Fx (the Farey sequence of order x) and µ(n) the M¨obius function. Mikol´as’ Lemma 4 is given by Lemma 3.

Lemma 3 Let 0 ≤ ξ ≤ 1 and let us denote by h(ξ, x) the number of frac- tions in F which are not greater than ξ. Then we have h(ξ, x) = P 1 = x %ν ≤ξ P[x] x P[x] P[x/n] n=1[nξ]M( n ) = n=1 µ(n) d=1 [dξ]. β ◦ M is then the difference between the number of fractions less than or equal to 1/2 and greater than 1/4 and the number of fractions less than or equal to 1/4.

2 The Farey Sequence and Redheffer matrices Px Px Mikol´asproved that i=1 M(bx/ic) = 1. In general, i=1 M(bx/(in)c) = 1, n = 1, 2, 3, . . . , x (since bbx/nc/ic = bx/(in)c). Let R0 denote a square ma- trix where element (i, j) equals 1 if j divides i or 0 otherwise. In a Redheffer matrix, element (i, j) equals 1 if i divides j or if j = 1. Redheffer [4] proved that the determinant of such a x by x matrix equals M(x). Let T denote the matrix obtained from R0 by element-by-element multiplication of the columns by M(bx/1c),M(bx/2c),M(bx/3c),...,M(bx/xc). For example, the T matrix for x = 12 is

−2 0 0 000000000 −1 −1 0 000000000 −1 0 −1 0 0 0 0 0 0 0 0 0 −1 −1 0 −1 0 0 0 0 0 0 0 0 0 0 0 000000000 0 0 0 000000000 1 0 0 000100000 1 1 0 100010000 1 0 1 000001000 1 1 0 010000100 1 0 0 000000010 1 1 1 101000001 Px Let Φ(x) denote i=1 ϕ(i) where ϕ is Euler’s totient function. This is also the number of fractions in a Farey sequence of order x. Let U denote the matrix obtained from T by element-by-element multiplication of the columns by ϕ(j). P The sum of the sums of the columns of U then equals Φ(x). i = d|i ϕ(d), Px so i=1 M(bx/ic)i (the sum of the sums of the rows of U) equals Φ(x). This relationship given by equation 1 was proved by Cox [5].

x X M(bx/ic)i = Φ(x) (1) i=1

2 Previously, Mikol´asproved this using a different approach. Let f(n) and g(n) be arbitrary arithmetical functions. Mikol´asLemma 2 is given by equation 2.

[x] [x] [x/d] [x] [x/d] X X n X X X X f(d)g( ) = f(d) g(δ) = g(d) f(δ) (2) d n=1 d|n d=1 δ=1 d=1 δ=1 Special cases of this are given by equation 3.

[x] [x] [x] [x/d] X X X x X X f(d) = [ ]f(d) = f(δ) (3) d n=1 d|n d=1 d=1 δ=1 From this, Mikol´asdetermined that equations 4 and 5 hold.

[x] [x] X x X x M( ) = µ(n)[ ] = 1 (4) n n n=1 n=1

[x] [x] [x] X X x 1 X x 1 Φ(x) = ϕ(n) = nM( ) = µ(n)[ ]2 + (5) n 2 n 2 n=1 n=1 n=1 P x Let σx(i) denote the sum of positive divisors function (σx(i) = d|i d ). An- other relationship proved by Cox is given by Lemma 4.

Px Lemma 4 i=1 M(bx/ic)σ0(i) = x The right-hand side of the equation is simply the number of columns in the above modified Redheffer matrix. The sum of each column is 1 and the respective sums of the rows are M(bx/1c)σ0(1), M(bx/2c)σ0(2), M(bx/3c)σ0(3),...,M(bx/xc)σ0(x).

3 Properties of 1 ∗ β

A result from the literature (see 2.11 of Tenenbaum’s [6] book) is given by Lemma 5.

Lemma 5 1 ∗ 1 = σ0 A more general result from the literature (see 2.7 of Tenenbaum’s book) is given by Lemma 6. P Lemma 6 (1 ∗ f)(n) = d|n f(d) Note that bj/2c − 2bj/4c equals b(j + 4)/2c − 2b(j + 4)/4c. The values of bj/2c − 2bj/4c for j = 1, 2, 3,... are then 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0 .... The values depend on whether j is of the form 4k, 4k + 1, 4k + 2, or 4k + 3. Let f1(d) = 1 if d = 4k, f2(d) = 1 if d = 4k + 1, f3(d) = 1 if d = 4k + 2, and f4(d) = 1 if d = 4k + 3. Then by Lemma 4, Lemma 5, and Lemma 6, there are 1 four “lines” with a slope of 4 (out of phase by one position) corresponding to

3 the convolution of these functions with the Mertens function. A plot of these “lines” is given in Figure 1.

Figure 1: Plot of lines resulting from convolution with Mertens function

Note that two of the above “lines” can be added to give a “line” with a slope 1 3 of 2 , three can be added to give a “line” with a slope of 4 , or all of them can be added to give a straight line with a slope of 1.

1 Let mx denote the number of fractions up to and including 4 and nx the number 1 1 of fractions after 4 and up to and including 2 in a Farey sequence of order x (m1, m2, n1 and n2 are set to 0). A consequence of the above convolution is given by Corollary 1.

Px 1 1 1 1 Corollary 1 i=1(nbx/ic − mbx/ic + 4 ) equals 2 , 4 , 0, or − 4

4 Farey Sequences and the Riemann Hypothesis

For ν = 1, 2, 3,..., Φ(x) let δν denote the amount by which the ν-th term of the Farey sequence differs from ν/Φ(x). The theorem of Franel and Lan- dau [7] is that the Riemann hypothesis is equivalent to the statement that 1/2+ |δ1| + |δ2| + |δ3|+,..., +|δΦ(x)| = o(x ) for all  > 0 as x → ∞.

4 Let Λ(i) denote the Mangoldt function (Λ(i) equals log(p) if i = pm for some prime p and some m ≥ 1 or 0 otherwise). Let ψ(x) denote the second Chebyshev P function (ψ(x) = i≤x Λ(i)). Mertens [8] proved that equation 6 holds.

x X M(bx/ic) log(i) = ψ(x) (6) i=1 Px 1 A plot of ψ(x) and i=1(mbx/ic − nbx/ic + 4 ) log(i) for x = 2, 3, 4,..., 10000 is given in Figure 2.

Figure 2: Plot of the second Chebyshev function and corresponding sums

Px 1 The slope of i=1(mbx/ic − nbx/ic + 4 ) log(i) is approximately 0.2197 whereas the slope of ψ(x) is approximately 1.0.

The Riemann hypothesis is equivalent to the arithmetic statement ψ(x) − x = o(x1/2+) for all  > 0. For a linear least-squares fit of ψ(x) for x = 2, 3, 4,..., 10000, p1 = 1 with a 95% confidence interval of (1, 1), p2 = −2.122 with a 95% confidence interval of (−2.699, −1.545), SSE=2.165 · 106, R-squared=1, and Px 1 RMSE=14.72. For a linear least-squares fit of i=1(mbx/ic − nbx/ic + 4 ) log(i) for x = 2, 3, 4,..., 10000, p1 = 0.2197 with a 95% confidence interval of (0.2196, 0.2198), p2 = −1.246 with a 95% confidence interval of (−1.841, −0.6504), SSE=2.303 · 106, R-squared=0.9994, and RMSE=15.18. For a linear least- squares fit of ψ(x) for x = 2, 3, 4,..., 25000, p1 = 1 with a 95% confidence interval of (1, 1), p2 = −5.18 with a 95% confidence interval of (−5.821, −4.54),

5 SSE=1.667 · 107, R-squared=1, and RMSE=25.82. For a linear least-squares fit Px 1 of i=1(mbx/ic − nbx/ic + 4 ) log(i) for x = 2, 3, 4,..., 25000, p1 = 0.2197 with a 95% confidence interval of (0.2197, 0.2198), p2 = −2.773 with a 95% con- fidence interval of (−3.358, −2.189), SSE=1.388 · 107, R-squared=0.9998, and RMSE=23.56. The sum-squared errors (SSE) and root-mean-squared errors (RMSE) are approximately equal. This is the basis for the following Conjec- ture 1.

Conjecture 1 The Riemann hypothesis is equivalent to the arithmetic state- Px 1 1/2+ ment i=1(mbx/ic − nbx/ic + 4 ) log(i) − 0.2197x = o(x ) for all  > 0.

5 Infinitely Many Analogues of the Mertens Func- tion

1 Let ox denote the number of fractions up to and including 5 and px the number 1 2 of fractions after 5 and up to and including 5 in a Farey sequence of order x. 1 Let qx denote the number of fractions up to including 6 and rx the number of 1 1 fractions after 6 and up to and including 3 in a Farey sequence of order x. Let 1 sx denote the number of fractions up to and including 7 and tx the number of 1 2 fractions after 7 and up to and including 7 in a Farey sequence of order x. Let 1 ux denote the number of fractions up to and including 8 and vx the number 1 1 of fractions after 8 and up to and including 4 in a Farey sequence of order x. The following corollaries can be proved by using Lemma 1, Lemma 2, Lemma 4, Lemma 5, and Lemma 6 just as they were used to prove Corollary 1.

Px 2 4 1 1 2 Corollary 2 i=1(obx/ic − pbx/ic + 5 ) equals 5 , 5 , 0, − 5 , or − 5

Px 2 For a linear least-squares fit of i=1(obx/ic−pbx/ic+ 5 ) log(i) for x = 2, 3, 4,..., 25000, p1 = 0.3733 with a 95% confidence interval of (0.3733, 0.3734), p2 = 1.598 with a 95% confidence interval of (0.9739, 2.222), SSE=1.583·107, R-squared=0.9999, and RMSE=25.17.

Px 1 2 1 1 Corollary 3 i=1(qbx/ic − rbx/ic + 3 ) equals 1, 3 , 3 , 0, or − 3

Px 1 For a linear least-squares fit of i=1(qbx/ic−rbx/ic+ 3 ) log(i) for x = 2, 3, 4,..., 25000, p1 = 0.4218 with a 95% confidence interval of (0.4218, 0.4218), p2 = −2.837 with a 95% confidence interval of (−3.449, −2.225), SSE=1.523·107, R-squared=0.9999, and RMSE=24.69.

Px 3 9 6 5 3 1 3 Corollary 4 i=1(sbx/ic − tbx/ic + 7 ) equals 7 , 7 , 7 , 7 , 7 , 0, or − 7

Px 3 For a linear least-squares fit of i=1(sbx/ic−tbx/ic+ 7 ) log(i) for x = 2, 3, 4,..., 25000, p1 = 0.5572 with a 95% confidence interval of (0.5572, 0.5573), p2 = −1.185 with a 95% confidence interval of (−1.87, −0.5011), SSE=1.904 · 107, R-squared=1, and RMSE=27.6.

6 Px 3 9 3 7 3 3 1 3 Corollary 5 i=1(ubx/ic − vbx/ic + 8 ) equals 8 , 2 , 8 , 4 , 8 , 4 , 0, or − 8

Px 3 For a linear least-squares fit of i=1(ubx/ic−vbx/ic+ 8 ) log(i) for x = 2, 3, 4,..., 25000, p1 = 0.5782 with a 95% confidence interval of (0.5782, 0.5783), p2 = 0.9218 with a 95% confidence interval of (0.2422, 1.601), SSE=1.878·107, R-squared=1, and RMSE=27.41.

In general, the differences between the number of fractions up to and including 1/I and after 1/I and up to and including 2/I, I = 4, 5, 6,... are incremented b(I+1)/2c−1 by I . For I = 4, bj/2c − 2bj/4c equals b(j + 4)/2c − 2b(j + 4)/4c. For I > 4, similar expressions determine the periods and thus the slopes of the “lines” and the increments required to compensate for the slopes.

A plot of these and subsequent slopes at even I values is given in Figure 3.

Figure 3: Plot of the slopes of linear least-squares fits at even I values

For a quadratic least-squares fit of the data, R-squared=0.998. A plot of the slopes at corresponding odd I values is given in Figure 4.

7 Figure 4: Plot of the slopes of linear least-squares fits at odd I values

For a quadratic least-squares fit of the data, R-squared=0.9978.

6 Conclusion

The above analogues of the Mertens function can be substituted for the Mertens function in many equations and the results analyzed. No method for proving the conjecture has been determined.

References

[1] M. Mikol´as, Farey series and their connection with the prime number prob- lem 1, Acta Sci. Math. (Szeged) 13 (1949), 93-117 [2] T. M. Apostol, Introduction to Analytic Number Theory, Springer, (1976) [3] A. O. Matveev, Farey Sequences: Duality and Maps Between Subsequences, De Gruyter, (2017) [4] R. M. Redheffer, Eine explizit l¨osbare Optimierungsaufgabe, Internat. Schriftenreine Numer. Math., 36 (1977)

8 [5] Cox, Darrell and Ghosh, Sourangshu and Sultanow, Eldar. (2021). Bounds of the Mertens Functions. Advances in Dynamical Systems and Applica- tions. 16. 35-44 [6] G´eraldTenenbaum, Introduction to Analytic and Probabilistic Number The- ory: Third Edition, American Mathematical Society, (2015)

[7] Franel, J., and Landau, E., Les suites de Farey et le probleme des nombres premiers. G¨ottingerNachr., 198-206 (1924) [8] F. Mertens, Uber¨ eine zahlentheoretische Funktion, Akademie Wis- senschaftlicher Wien Mathematik-Naturlich Kleine Sitzungsber, 106 (1897) 761-830

9