User:Sintel/Zeta working page - Revision history

Inthar: /* Links */

2025-12-31T13:56:08Z

Links

← Older revision		Revision as of 13:56, 31 December 2025
Line 180:		Line 180:
	[[Category:Number theory]]		[[Category:Number theory]]
	[[Category:Pages with proofs]]		[[Category:Pages with proofs]]
	~~[[Category:Pages with open problems]]~~

Fredg999: Categories (todo)

2025-07-29T21:05:14Z

Categories (todo)

← Older revision		Revision as of 21:05, 29 July 2025
Line 105:		Line 105:
	== Choice of sigma ==		== Choice of sigma ==

	{{todo\|inline=1\|text=This section is incomplete! Discuss symmetry and add some conclusion}}		{{todo\|complete section\|inline=1\|text=This section is incomplete! Discuss symmetry and add some conclusion}}

	The infinite sum derived above converges only when <math>\mathrm{Re}(s) = \sigma > 1</math>. However, mathematicians found that the zeta function can be "extended" or "continued" to other values of s where the original sum doesn't converge. This mathematical technique is called {{w\|analytic continuation}}.		The infinite sum derived above converges only when <math>\mathrm{Re}(s) = \sigma > 1</math>. However, mathematicians found that the zeta function can be "extended" or "continued" to other values of s where the original sum doesn't converge. This mathematical technique is called {{w\|analytic continuation}}.
Line 116:		Line 116:
	== Zeta lists ==		== Zeta lists ==

	{{todo\|inline=1\|text=add the original lists back here, and discuss their relevance.}}		{{todo\|complete list\|inline=1\|text=add the original lists back here, and discuss their relevance.}}

	== Optimal octave stretch ==		== Optimal octave stretch ==

Sintel: /* Derivation */ Link relative error

2025-04-14T20:10:42Z

Derivation: Link relative error

← Older revision		Revision as of 20:10, 14 April 2025
Line 40:		Line 40:
	If <math>x \log_2(n)</math> is very close to an integer, it means our equal temperament system can closely approximate that harmonic. If it's far from an integer, the approximation will be poor.		If <math>x \log_2(n)</math> is very close to an integer, it means our equal temperament system can closely approximate that harmonic. If it's far from an integer, the approximation will be poor.

	To quantify this proximity to integers, we can use the cosine function <math>f(x) = \cos(2 \pi x)</math>, which peaks at integer values. This provides a simple metric where values close to 1 indicate good approximations and values close to -1 indicate poor ones.		To quantify this proximity to integers, we can use the cosine function <math>f(x) = \cos(2 \pi x)</math>, which peaks at integer values. This provides a simple metric for the [[Relative interval error\|relative error]], where values close to 1 indicate good approximations and values close to -1 indicate poor ones.

	Let's begin by considering only the first few harmonics and look at <math>f(x \log_2 2)</math>, <math>f(x \log_2 3)</math>, <math>f(x \log_2 4)</math>, <math>f(x \log_2 5)</math>.		Let's begin by considering only the first few harmonics and look at <math>f(x \log_2 2)</math>, <math>f(x \log_2 3)</math>, <math>f(x \log_2 4)</math>, <math>f(x \log_2 5)</math>.

Lériendil at 18:59, 13 April 2025

2025-04-13T18:59:39Z

← Older revision		Revision as of 18:59, 13 April 2025
Line 6:		Line 6:
	If you look for a filter to quickly sort all the equal temperaments into those that approximate JI well and those that do not, the [[#Zeta peak EDOs\|zeta peak EDOs]] below can be useful. The caveat is that it collapses the variety of characteristics of a temperament to a one-dimensional rating, with little capacity to show the nuances of each system. It is therefore best to keep in mind that judging the temperaments by zeta is no replacement for investigating each temperament in detail.		If you look for a filter to quickly sort all the equal temperaments into those that approximate JI well and those that do not, the [[#Zeta peak EDOs\|zeta peak EDOs]] below can be useful. The caveat is that it collapses the variety of characteristics of a temperament to a one-dimensional rating, with little capacity to show the nuances of each system. It is therefore best to keep in mind that judging the temperaments by zeta is no replacement for investigating each temperament in detail.

	There are other metrics besides zeta for other definitions of "approximating well", such as the various [[:Category:Regular temperament tuning\|optimised regular temperament tunings]] when applied to [[rank]]-1 (i.e. equal) temperaments.		There are other metrics besides zeta for other definitions of "approximating well", such as the various [[:Category:Regular temperament tuning\|optimised regular temperament tunings]] when applied to [[rank]]-1 (i.e. equal) temperaments. The zeta function approach presented here was developed primarily through the work of [[Gene Ward Smith]], with additional contributions from [[Mike Battaglia]].

	~~Much of the below is thanks to~~ the ~~insights~~ of [[Gene Ward Smith]]~~. Below is the original derivation as he presented it~~, ~~followed by a different derivation~~ from [[Mike Battaglia]] ~~below which extends some of the results~~.


	== Zeta peak EDOs ==		== Zeta peak EDOs ==

Lériendil at 18:58, 13 April 2025

2025-04-13T18:58:32Z

← Older revision		Revision as of 18:58, 13 April 2025
Line 32:		Line 32:

	We then sum these weighted scores across the entire harmonic series.		We then sum these weighted scores across the entire harmonic series.
	The resulting value tells us how well a given equal temperament approximates the harmonic series. A higher score indicates that many important harmonics are well-represented by the system. Remarkably, this final scoring function turns out to be equivalent to the famous Riemann zeta function.		The resulting value tells us how well a given equal temperament approximates the harmonic series. A higher score indicates that many important harmonics are well-represented by the system. Remarkably, this final scoring function (given certain mathematical choices) turns out to be equivalent to the famous Riemann zeta function.

	== Derivation ==		== Derivation ==

Lériendil at 18:57, 13 April 2025

2025-04-13T18:57:26Z

← Older revision		Revision as of 18:57, 13 April 2025
Line 2:		Line 2:
	The Riemann zeta function is an important function in number theory, most famous for its connection to the unsolved Riemann hypothesis. Beyond its mathematical significance, however, the zeta function has a surprising connection to music theory: it provides a quantitative measure of how effectively a given [[equal temperament]] approximates [[just intonation]], relative to its size.		The Riemann zeta function is an important function in number theory, most famous for its connection to the unsolved Riemann hypothesis. Beyond its mathematical significance, however, the zeta function has a surprising connection to music theory: it provides a quantitative measure of how effectively a given [[equal temperament]] approximates [[just intonation]], relative to its size.

	The zeta function provides a way to measure how well different [[equal-step ~~tunings~~]] (including [[EDO]]s) approximate the infinite [[harmonic series]]. Unlike other evaluation methods that must select a specific [[prime limit]] as a cutoff, the zeta function approach incorporates all harmonics into its calculations, effectively functioning as an "infinite limit" measurement; and being a continuous function, the zeta function also is able to highlight [[nonoctave]] and tempered-octave tunings. However, zeta invariably prioritizes lower primes over higher primes (though in a "minimal" way provided the requirement of converging in the infinite limit) and therefore fails to capture systems with efficacy in certain [[subgroup]]s.		The zeta function provides a way to measure how well different [[equal-step tuning]]s (including [[EDO]]s) approximate the infinite [[harmonic series]]. Unlike other evaluation methods that must select a specific [[prime limit]] as a cutoff, the zeta function approach incorporates all harmonics into its calculations, effectively functioning as an "infinite limit" measurement; and being a continuous function, the zeta function also is able to highlight [[nonoctave]] and tempered-octave tunings. However, zeta invariably prioritizes lower primes over higher primes (though in a "minimal" way provided the requirement of converging in the infinite limit) and therefore fails to capture systems with efficacy in certain [[subgroup]]s.

	If you look for a filter to quickly sort all the equal temperaments into those that approximate JI well and those that do not, the [[#Zeta peak EDOs\|zeta peak EDOs]] below can be useful. The caveat is that it collapses the variety of characteristics of a temperament to a one-dimensional rating, with little capacity to show the nuances of each system. It is therefore best to keep in mind that judging the temperaments by zeta is no replacement for investigating each temperament in detail.		If you look for a filter to quickly sort all the equal temperaments into those that approximate JI well and those that do not, the [[#Zeta peak EDOs\|zeta peak EDOs]] below can be useful. The caveat is that it collapses the variety of characteristics of a temperament to a one-dimensional rating, with little capacity to show the nuances of each system. It is therefore best to keep in mind that judging the temperaments by zeta is no replacement for investigating each temperament in detail.

Lériendil at 18:57, 13 April 2025

2025-04-13T18:57:12Z

← Older revision		Revision as of 18:57, 13 April 2025
Line 2:		Line 2:
	The Riemann zeta function is an important function in number theory, most famous for its connection to the unsolved Riemann hypothesis. Beyond its mathematical significance, however, the zeta function has a surprising connection to music theory: it provides a quantitative measure of how effectively a given [[equal temperament]] approximates [[just intonation]], relative to its size.		The Riemann zeta function is an important function in number theory, most famous for its connection to the unsolved Riemann hypothesis. Beyond its mathematical significance, however, the zeta function has a surprising connection to music theory: it provides a quantitative measure of how effectively a given [[equal temperament]] approximates [[just intonation]], relative to its size.

	The zeta function provides a way to measure how well different [[equal ~~divisions of the octave~~]] (~~EDOs~~) approximate the infinite [[harmonic series]]. Unlike other evaluation methods that must select a specific [[prime limit]] as a cutoff, the zeta function approach incorporates all harmonics into its calculations, effectively functioning as an "infinite limit" measurement.		The zeta function provides a way to measure how well different [[equal-step tunings]] (including [[EDO]]s) approximate the infinite [[harmonic series]]. Unlike other evaluation methods that must select a specific [[prime limit]] as a cutoff, the zeta function approach incorporates all harmonics into its calculations, effectively functioning as an "infinite limit" measurement; and being a continuous function, the zeta function also is able to highlight [[nonoctave]] and tempered-octave tunings. However, zeta invariably prioritizes lower primes over higher primes (though in a "minimal" way provided the requirement of converging in the infinite limit) and therefore fails to capture systems with efficacy in certain [[subgroup]]s.

	~~When~~ you look at the ~~lists of "~~[[#Zeta peak EDOs\|zeta peak EDOs]]" below, ~~you're seeing equal temperaments~~ that the zeta ~~function identifies~~ as ~~particularly good approximations~~ of ~~just intonation~~. ~~While these mathematical ratings provide~~ a ~~quick way to identify promising tuning systems, they don't tell~~ the ~~whole story. Each temperament has unique musical qualities that can only be discovered through listening and exploration~~.		If you look for a filter to quickly sort all the equal temperaments into those that approximate JI well and those that do not, the [[#Zeta peak EDOs\|zeta peak EDOs]] below can be useful. The caveat is that it collapses the variety of characteristics of a temperament to a one-dimensional rating, with little capacity to show the nuances of each system. It is therefore best to keep in mind that judging the temperaments by zeta is no replacement for investigating each temperament in detail.

			There are other metrics besides zeta for other definitions of "approximating well", such as the various [[:Category:Regular temperament tuning\|optimised regular temperament tunings]] when applied to [[rank]]-1 (i.e. equal) temperaments.

			Much of the below is thanks to the insights of [[Gene Ward Smith]]. Below is the original derivation as he presented it, followed by a different derivation from [[Mike Battaglia]] below which extends some of the results.

	Other methods for evaluating temperaments exist, such as various [[:Category:Regular temperament tuning\|optimized regular temperament tunings]]. The zeta function approach presented here was developed primarily through the work of [[Gene Ward Smith]], with additional contributions from [[Mike Battaglia]].

	== Zeta peak EDOs ==		== Zeta peak EDOs ==

Sintel: heading caps

2025-04-13T17:38:14Z

heading caps

← Older revision		Revision as of 17:38, 13 April 2025
Line 17:		Line 17:
	See the [[#Zeta lists\|section below]] for more information.		See the [[#Zeta lists\|section below]] for more information.

	== Intuitive ~~Explanation~~ ==		== Intuitive explanation ==

	When we talk about how well an equal temperament (ET) approximates just intonation, we're essentially asking: "How accurately can this system represent the harmonic series?"		When we talk about how well an equal temperament (ET) approximates just intonation, we're essentially asking: "How accurately can this system represent the harmonic series?"

Sintel: fix internal links

2025-04-13T17:22:34Z

fix internal links

← Older revision		Revision as of 17:22, 13 April 2025
Line 126:		Line 126:

	== Removing primes ==		== Removing primes ==
	An [http://mathworld.wolfram.com/EulerProduct.html Euler product] formula for the Riemann zeta function [[The Riemann zeta function and tuning/Appendix#1. Euler product expression for the zeta function\|can be easily derived]]:		An [http://mathworld.wolfram.com/EulerProduct.html Euler product] formula for the Riemann zeta function [[The Riemann zeta function and tuning/Appendix#Euler product expression for the zeta function\|can be easily derived]]:

	:<math>\displaystyle		:<math>\displaystyle
Line 137:		Line 137:
	In particular if we remove the prime 2, <math>\left(1 - 2^{-s}\right)\zeta(s)</math> is now dominated by 3, and the large peak values occur near [[edt\|equal divisions of the tritave]] (3/1).		In particular if we remove the prime 2, <math>\left(1 - 2^{-s}\right)\zeta(s)</math> is now dominated by 3, and the large peak values occur near [[edt\|equal divisions of the tritave]] (3/1).

	Along any line of constant <math>\sigma</math>, [[The Riemann zeta function and tuning/Appendix#~~1b.~~ Conversion factor for removing primes\|it can be shown that]]:		Along any line of constant <math>\sigma</math>, [[The Riemann zeta function and tuning/Appendix#Conversion factor for removing primes\|it can be shown that]]:

	:<math>\displaystyle		:<math>\displaystyle
Line 164:		Line 164:

	== Further information ==		== Further information ==
	For the interested reader, more information and derivations can be found in the [[The Riemann zeta function and tuning/Appendix\|~~Appendix~~]].		For the interested reader, more information and derivations can be found in the [[The Riemann zeta function and tuning/Appendix\|appendix]].

	== Links ==		== Links ==

Sintel: /* Removing primes */

2025-04-13T17:11:28Z

Removing primes

← Older revision		Revision as of 17:11, 13 April 2025
Line 135:		Line 135:
	We can remove a finite list of primes from consideration by multiplying <math>\zeta(s)</math> by the corresponding factors <math>(1 - p^{-s})</math> for each prime ''p'' we wish to remove.		We can remove a finite list of primes from consideration by multiplying <math>\zeta(s)</math> by the corresponding factors <math>(1 - p^{-s})</math> for each prime ''p'' we wish to remove.
	After doing this, the smallest prime remaining will dominate peak values for ''s''.		After doing this, the smallest prime remaining will dominate peak values for ''s''.
	In particular if we remove the prime 2, <math>\left(1 - 2^{-~~\sigma - i t~~}\right)\zeta(s)</math> is now dominated by 3, and the large peak values occur near [[edt\|equal divisions of the tritave]] (3/1).		In particular if we remove the prime 2, <math>\left(1 - 2^{-s}\right)\zeta(s)</math> is now dominated by 3, and the large peak values occur near [[edt\|equal divisions of the tritave]] (3/1).

	Along any line of constant <math>\sigma</math>, [[The Riemann zeta function and tuning/Appendix#1b. Conversion factor for removing primes\|it can be shown that]]:		Along any line of constant <math>\sigma</math>, [[The Riemann zeta function and tuning/Appendix#1b. Conversion factor for removing primes\|it can be shown that]]: