Riemann zeta function: Difference between revisions

Line 12:

== Intuitive explanation ==

We start with the basic concept of the mu function, which takes a cyclic function (a zigzag, in the case of mu) and sums up the values of that function scaled and weighted (canonically by a quadratic factor 1/n^2, but can be varied) to match each harmonic n. Technically, any cyclic function can be used this way. Specifically, complex exponentials are especially useful as a) they are analytic and b) they package the "weight" and the cyclic function together into a single function, where the weight corresponds to the real value of the input s, and so equal tunings are the imaginary part of the input. (Imaginary numbers most directly correspond to equal divisions of the [[zetave]] (e𝜏), this is because of the close connection between complex exponentials and both e and the circle constant. To convert to edos, multiply the imaginary part by 𝜏/ln(2). The sum of complex exponentials corresponding to each harmonic is, by definition, the zeta function, and it turns out that the weight 1/sqrt(n) gives the optimal information on higher primes, corresponding to the critical line where all known zeroes lie (intuitively, smaller weights lead to higher primes dominating too much and obscuring lower primes, and larger weights lead to the converse).

We start with the basic concept of the mu function, which takes a cyclic function (a zigzag, in the case of mu) and sums up the values of that function scaled and weighted (canonically by a quadratic factor 1/n^2, but can be varied) to match each harmonic n. Technically, any cyclic function can be used this way. Specifically, complex exponentials are especially useful as a) they are analytic and b) they package the "weight" and the cyclic function together into a single function, where the weight corresponds to the real value of the input s, and so equal tunings are the imaginary part of the input. (Imaginary numbers most directly correspond to equal divisions of the [[zetave]] (e𝜏), this is because of the close connection between complex exponentials and both e and the circle constant. To convert to edos, multiply the imaginary part by 𝜏/ln(2).) The sum of complex exponentials corresponding to each harmonic is, by definition, the zeta function, and it turns out that the weight 1/sqrt(n) gives the optimal information on higher primes, corresponding to the critical line where all known zeroes lie (intuitively, smaller weights lead to higher primes dominating too much and obscuring lower primes, and larger weights lead to the converse).

A link to the graph of zeta can be found at [https://samuelj.li/complex-function-plotter/#abs(zeta(i*2*pi*real(z)%2Fln(2)%2Bimag(z))) Zeta in Samuelj Plotter]. (In the top left menu, make sure that "Enable Checkerboard" is unticked and "Invert Gradient" and "Continuous Gradient" are ticked.) The function has been reoriented to place EDO size along the horizontal axis and weight along the vertical axis, and also scaled by 𝜏/ln(2) to ensure that the real number line aligns with edos. One can see that with higher weights, the function approaches a cyclic function with a period of 1; this corresponds to the prime 2 dominating more and more extremely as other harmonics are weighted less with higher weights. You can see this easier by raising the entire expression to an absurdly high power, such as 100.

@@ Line 12: / Line 12: @@
 == Intuitive explanation ==
-We start with the basic concept of the mu function, which takes a cyclic function (a zigzag, in the case of mu) and sums up the values of that function scaled and weighted (canonically by a quadratic factor 1/n^2, but can be varied) to match each harmonic n. Technically, any cyclic function can be used this way. Specifically, complex exponentials are especially useful as a) they are analytic and b) they package the "weight" and the cyclic function together into a single function, where the weight corresponds to the real value of the input s, and so equal tunings are the imaginary part of the input. (Imaginary numbers most directly correspond to equal divisions of the [[zetave]] (e<sup>𝜏</sup>), this is because of the close connection between complex exponentials and both e and the circle constant. To convert to edos, multiply the imaginary part by <sup>𝜏</sup>/<sub>ln(2)</sub>. The sum of complex exponentials corresponding to each harmonic is, by definition, the zeta function, and it turns out that the weight 1/sqrt(n) gives the optimal information on higher primes, corresponding to the critical line where all known zeroes lie (intuitively, smaller weights lead to higher primes dominating too much and obscuring lower primes, and larger weights lead to the converse).
+We start with the basic concept of the mu function, which takes a cyclic function (a zigzag, in the case of mu) and sums up the values of that function scaled and weighted (canonically by a quadratic factor 1/n^2, but can be varied) to match each harmonic n. Technically, any cyclic function can be used this way. Specifically, complex exponentials are especially useful as a) they are analytic and b) they package the "weight" and the cyclic function together into a single function, where the weight corresponds to the real value of the input s, and so equal tunings are the imaginary part of the input. (Imaginary numbers most directly correspond to equal divisions of the [[zetave]] (e<sup>𝜏</sup>), this is because of the close connection between complex exponentials and both e and the circle constant. To convert to edos, multiply the imaginary part by <sup>𝜏</sup>/<sub>ln(2)</sub>.) The sum of complex exponentials corresponding to each harmonic is, by definition, the zeta function, and it turns out that the weight 1/sqrt(n) gives the optimal information on higher primes, corresponding to the critical line where all known zeroes lie (intuitively, smaller weights lead to higher primes dominating too much and obscuring lower primes, and larger weights lead to the converse).
 A link to the graph of zeta can be found at [https://samuelj.li/complex-function-plotter/#abs(zeta(i*2*pi*real(z)%2Fln(2)%2Bimag(z))) Zeta in Samuelj Plotter]. (In the top left menu, make sure that "Enable Checkerboard" is unticked and "Invert Gradient" and "Continuous Gradient" are ticked.) The function has been reoriented to place EDO size along the horizontal axis and weight along the vertical axis, and also scaled by <sup>𝜏</sup>/<sub>ln(2)</sub> to ensure that the real number line aligns with edos. One can see that with higher weights, the function approaches a cyclic function with a period of 1; this corresponds to the prime 2 dominating more and more extremely as other harmonics are weighted less with higher weights. You can see this easier by raising the entire expression to an absurdly high power, such as 100.