The Riemann zeta function and tuning: Difference between revisions

If we examine the increasingly larger peak values of {{nowrap|{{!}}Z(''x''){{!}}}}, we find they occur with values of ''x'' such that {{nowrap|Z'(''x'') {{=}} 0}} near to integers, so that there is a sequence of [[edo]]s {{EDOs| 1, 2, 3, 4, 5, 7, 10, 12, 19, 22, 27, 31, 41, 53, 72, 99, 118, 130, 152, 171, 217, 224, 270, 342, 422, 441, 494, 742, 764, 935, 954, 1012, 1106, 1178, 1236, 1395, 1448, 1578, 2460, 2684, 3395, 5585, 6079, 7033, 8269, 8539, 11664, 14348, 16808, 28742, 34691, 36269, 57578, 58973, 95524, 102557, 112985, 148418, 212147, 241200,}} … of '''zeta peak edos'''. This is listed in the On-Line Encyclopedia of Integer Sequences as {{OEIS|A117536}}. Note that these peaks occur close to integer values, but are never exactly located at an integer; this can be interpreted as the zeta function suggesting a stretched or compressed octave for the edo in question, similar to the [[TOP tuning]] (although the two tunings are in general not the same). As a result, this list can also be thought of as "tempered-octave zeta peak edos."

Alternatively (as [[groundfault]] has found), if we do not allow octave stretching or compression and only look at the record {{nowrap|{{pipe}}Z(''x''){{pipe}}}} zeta scores corresponding to exact edos with pure octaves, we get {{EDOs| 1, 2, 3, 5, 7, 10, 12, 19, 22, 31, 41, 53, 87, 118, 130, 171, 224, 270, 311, 472, 494, 742, 1065, 1106, 1395, 1578, 2460, 2684, 3566, 4231, 4973, 5585, 8269, 8539, 14124, 14348, 16808, 28742, 30631, 34691, 36269, 57578, 58973,}} … of '''zeta peak integer edos'''. Edos not present in the previous list but present here include {{EDOs| 87, 311, 472, 1065, 3566, 4231, 4973, 14124, 30631,}} … and edos present in the previous list but not present here include {{EDOs| 4, 27, 72, 99, 152, 217, 342, 422, 441, 764, 935, 954, 1012, 1178, 1236, 1448, 3395, 6079, 7033, 11664,}} … with 72's removal perhaps being the most surprising, showing the strength of 53 in that 72 does not improve on the peak of 53. This definition may be better for measuring how accurate the edo itself is without stretched octaves, whereas the previous list assumes that the octave is tempered along with all other intervals. This list can thus also be thought of as "pure-octave zeta peak edos." Similarly, we can look at pure-tritave EDTs, etc.

Instead of looking at {{nowrap|{{pipe}}Z(x){{pipe}}}} maxima, we can look at {{nowrap|{{pipe}}Z(x){{pipe}}}} ''minima'' for integer values of ''x''. These correspond to ''zeta valley edos'', and we get a list of edos {{EDOs| 1, 8, 18, 39, 55, 64, 79, 5941, 8294, }}… These tunings tend to deviate from ''p''-limit JI as much as possible while still preserving octaves, and can serve as "more xenharmonic" tunings. Keep in mind, however, that the ''most'' xenharmonic tunings would not contain octaves at all.

Notice the sudden jump from [[79edo]] to [[5941edo]]. We know that {{nowrap|{{pipe}}Z(x){{pipe}}}} grows logarithmically on average. If we assume the scores of integer edos are uniformly distributed on the interval {{nowrap|[0, ''c'' log(''x'')]}}, the probability for the next edo to have a zeta score less than a given small value is also very small, so we would expect valley edos to be rarer than peak edos. So, it would be more productive to find edos which zeta score is simply less than a given threshold.

Note that ''tempered-octave'' zeta valley edos would simply be any zero of Z(x).

We may define ''local zeta'' edos as a generalization of the ''zeta peak'' EDOs as those that do not necessarily have successively higher zeta peaks but simply have a higher zeta peak than the edos on either side of them. This is a helpful list for finding EDOs that approximate primes well (but are not necessarily the best) for their size, or for finding EDOs in size ranges that lack any record-holding zeta edos (e.g. between 60 and 70 tones).