Tenney–Euclidean temperament measures: Difference between revisions

ArrowHead294 (talk | contribs)
mNo edit summary
Undo revision 203571 by VectorGraphics (talk). Readers aren't obligated to see your poor-tasted operation name
Tag: Undo
 
(22 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{texops}}
{{Texops}}
The '''Tenney–Euclidean temperament measures''' ('''TE temperament measures''') consist of TE complexity, TE error, and TE simple badness. These are evaluations of a temperament's [[complexity]], [[error]], and [[badness]], respectively. There have been several minor variations in the definition of TE temperament measures, which differ from each other only in their choice of multiplicative scaling factor. Each of these variations will be discussed below. Nonetheless, the following relationship always holds:
The '''Tenney–Euclidean temperament measures''' ('''TE temperament measures''') consist of TE complexity, TE error, and TE simple badness. These are evaluations of a temperament's [[complexity]], [[error]], and [[badness]], respectively, and they follow the identity


<math>\displaystyle
$$ \text{TE simple badness} = \text{TE complexity} \times \text{TE error} $$
\text{TE simple badness} = \text{TE complexity} \times \text{TE error} </math>


TE temperament measures have been extensively studied by [[Graham Breed]] (see [http://x31eq.com/temper/primerr.pdf ''Prime Based Error and Complexity Measures''], often referred to as ''primerr.pdf''), who also proposed [[Cangwu badness]], an important derived measure, which adds a free parameter to TE simple badness that enables one to specify a tradeoff between complexity and error.
== Preliminaries ==
There have been several minor variations in the definition of TE temperament measures, which differ from each other only in their choice of multiplicative scaling factor. The reason these differences come up is because we are adopting different averaging methods for the entries of a multivector.


== Note on scaling factors ==
To start with, we may define a norm by means of the usual {{w|norm (mathematics) #Euclidean norm|Euclidean norm}}, a.k.a. ''L''<sup>2</sup> norm or ℓ<sub>2</sub> norm. The result of this is a kind of a sum of all the entries. We can rescale this in several ways, for example by taking a {{w|root mean square}} (RMS) average of the entries.  
Given a [[Wedgies and multivals|multival]] or multimonzo which is a {{w|wedge product}} of weighted vals or monzos (where the weighting factors are 1/log<sub>2</sub>(''p'') for the entry corresponding to ''p''), we may define a norm by means of the usual {{w|Norm (mathematics) #Euclidean norm|Euclidean norm}} (aka ''L''<sup>2</sup> norm or ℓ<sub>2</sub> norm). We can rescale this several ways, for example by taking a {{w|root mean square}} (RMS) average of the entries of the multivector. These metrics are mainly used to rank temperaments relative to one another. In that regard, it does not matter much if an RMS or an ''L''<sup>2</sup> norm is used, because these two are equivalent up to a scaling factor, so they will rank temperaments identically. As a result, it is somewhat common to equivocate between the various choices of scaling factor, and treat the entire thing as "the" Tenney–Euclidean norm, so that we are really only concerned with the results of these metrics up to that equivalence.


Because of this, there are different "standards" for scaling that are commonly in use:
Here are the different standards for scaling that are commonly in use:
# Taking the simple ''L''<sup>2</sup> norm
# Taking the simple ''L''<sup>2</sup> norm
# Taking an RMS
# Taking an RMS
Line 16: Line 15:
# Any of the above and also dividing by the norm of the just intonation points ([[JIP]]).  
# Any of the above and also dividing by the norm of the just intonation points ([[JIP]]).  


Graham Breed's original definitions from his ''primerr.pdf'' paper tend to use the third definition, as do parts of his [http://x31eq.com/temper/ temperament finder], although other scaling and normalization methods are sometimes used as well.
As these metrics are mainly used to rank temperaments within the same [[rank]] and [[just intonation subgroup]], it does not matter much which scheme is used, because they are equivalent up to a scaling factor, so they will rank temperaments identically. As a result, it is somewhat common to equivocate between the various choices of scaling factor, and treat the entire thing as "the" Tenney–Euclidean norm, so that we are really only concerned with the results of these metrics up to that equivalence.


An important point of this normalization is to allow us to meaningfully compare measures of corresponding temperaments in different [[just intonation subgroup]]s. However, none of them has been quite successful at this goal until [[Sintel]] developed a scheme in 2023.  
Graham Breed's original definitions from his ''primerr.pdf'' paper tend to use the third definition, as do parts of his [https://x31eq.com/temper/ temperament finder], although other scaling and normalization methods are sometimes used as well.
 
It is also possible to normalize the metrics to allow us to meaningfully compare temperaments across subgroups and even ranks. [[Sintel]]'s scheme in 2023 is the first attempt at this goal<ref name="sintel">Sintel. [https://github.com/Sin-tel/temper/blob/c0d5c36e3c189f64860f4aea288ff3ff3bc34982/lib_temper/temper.py "Collection of functions for dealing with regular temperaments"], Temperament Calculator.</ref>.  


== TE complexity ==
== TE complexity ==
Given a [[wedgie]] ''M'', that is a canonically reduced ''r''-val correspondng to a temperament of rank ''r'', the norm ‖''M''‖ is a measure of the [[complexity]] of ''M''; that is, how many notes in some sort of weighted average it takes to get to intervals. For 1-vals, for instance, it is approximately equal to the number of scale steps it takes to reach an octave. We may call it '''Tenney–Euclidean complexity''', or '''TE complexity''' since it can be defined in terms of the [[Tenney–Euclidean metrics|Tenney–Euclidean norm]].
{{Todo|rework|inline=1|text=Explain without wedgies}}
 
Given a [[wedgie]] ''M'', that is a canonically reduced ''r''-val correspondng to a temperament of rank ''r'', the norm ‖''M''‖ is a measure of the complexity of ''M''; that is, how many notes in some sort of weighted average it takes to get to intervals. For 1-vals, for instance, it is approximately equal to the number of scale steps it takes to reach an octave.  
 
Let us define the val weighting matrix ''W'' to be the {{w|diagonal matrix}} with values 1, 1/log<sub>2</sub>3, 1/log<sub>2</sub>5 … 1/log<sub>2</sub>''p'' along the diagonal. For the prime basis {{nowrap|''Q'' {{=}} {{val| 2 3 5 … ''p'' }} }},
 
$$ W = \operatorname {diag} (1/\log_2 (Q)) $$


Below shows various definitions of TE complexity. All of them can be easily computed either from the multivector or from the mapping matrix, using the {{w|Gramian matrix|Gramian}}.  
If ''V'' is the mapping matrix of a temperament, then ''V<sub>W</sub>'' {{=}} ''VW'' is the mapping matrix in the weighted space, its rows being the weighted vals (''v''<sub>''w''</sub>)<sub>''i''</sub>.  


Let us denote a weighted mapping matrix, whose rows are the weighted vals ''v<sub>i</sub>'', as ''V''. The ''L''<sup>2</sup> norm is one of the standard complexity measures:  
Our first complexity measure of a temperament is given by the ''L''<sup>2</sup> norm of the Tenney-weighted wedgie ''M''<sub>''W''</sub>, which can in turn be obtained from the Tenney-weighted mapping matrix ''V''<sub>''W''</sub>. This complexity can be easily computed either from the wedgie or from the mapping matrix, using the {{w|Gramian matrix|Gramian}}:  


<math>\displaystyle
$$ \norm{M_W}_2 = \sqrt {\det(V_W V_W^\mathsf{T})} $$
\norm{ M }_2 = \sqrt {\abs{VV^\mathsf{T}}}</math>


where {{!}}''A''{{!}} denotes the determinant of ''A'', and ''V''{{t}} denotes the transpose of ''V''.  
where det(·) denotes the determinant, and {{t}} denotes the transpose.  


We denote the RMS norm as ‖''M''‖<sub>RMS</sub>. In Graham Breed's paper, an RMS norm is proposed as
Graham Breed and [[Gene Ward Smith]] have proposed different RMS norms. Let us denote the RMS norm of ''M'' as ‖''M''‖<sub>RMS</sub>. In Graham's paper<ref name="primerr">Graham Breed. [http://x31eq.com/temper/primerr.pdf ''Prime Based Error and Complexity Measures''], often referred to as ''primerr.pdf''.</ref>, an RMS norm is proposed as


<math>\displaystyle
$$ \norm{M_W}_\text{RMS} = \sqrt {\det \left( \frac {V_W V_W^\mathsf{T}}{n} \right)} = \frac {\norm{M_W}_2}{\sqrt {n^r}} $$
\norm{ M }_\text{RMS} = \sqrt {\abs{\frac {VV^\mathsf{T}}{n}}} = \frac {\norm{ M }_2}{\sqrt {n^r}}</math>


where ''n'' is the number of primes up to the prime limit ''p'', and ''r'' is the rank of the temperament, which equals the number of vals wedged together to compute the wedgie.  
where ''n'' is the number of primes up to the prime limit ''p'', and ''r'' is the rank of the temperament. Thus ''n''<sup>''r''</sup> is the number of permutations of ''n'' things taken ''r'' at a time with repetition, which equals the number of entries of the wedgie in its full tensor form.  


: '''Note''': that is the definition used by Graham Breed's temperament finder.  
: '''Note''': that is the definition used by Graham Breed's temperament finder.  


[[Gene Ward Smith]] has recognized that TE complexity can be interpreted as the RMS norm of the wedgie. That defines another RMS norm,  
Gene Ward Smith's RMS norm is given as
 
$$ \norm{M_W}_\text{RMS'} = \sqrt {\frac{\det(V_W V_W^\mathsf{T})}{C(n, r)}} = \frac {\norm{M_W}_2}{\sqrt {C(n, r)}} $$
 
where {{nowrap|C(''n'', ''r'')}} is the number of combinations of ''n'' things taken ''r'' at a time without repetition, which equals the number of entries of the wedgie in the usual, compressed form.
 
We may also note {{nowrap| det(''V''<sub>''W''</sub>''V''<sub>''W''</sub>{{t}}) {{=}} det(''VW''<sup>2</sup>''V''{{t}}) }}. This may be related to the [[Tenney–Euclidean metrics|TE tuning projection matrix]] ''P''<sub>''W''</sub>, which is ''V''<sub>''W''</sub>{{t}}(''V''<sub>''W''</sub>''V''<sub>''W''</sub>{{t}}){{inv}}''V''<sub>''W''</sub>, and the corresponding matrix for unweighted monzos {{nowrap|''P'' {{=}} ''V''{{t}}(''VW''<sup>2</sup>''V''{{t}}){{inv}}''V''}}.
 
Sintel has defined a complexity measure that serves as an intermediate step for his badness metric<ref name="sintel"/>, which we will get to later. To obtain this complexity, we normalize the Tenney-weighting matrix ''W'' to ''U'' such that {{nowrap| det(''U'') {{=}} 1 }}, and then take the ''L''<sup>2</sup> norm of ''M''<sub>''U''</sub>. It can be shown that
 
$$ U = W / \det(W)^{1/n} $$
 
and so the complexity is
 
$$ \norm{M_U}_2 = \norm{M_W}_2 / \det(W)^{r/n} $$
 
== TE error ==
We can consider TE error to be a weighted average of the error of each [[prime harmonic]]s in [[TE tuning]], that is, a weighted average of the [[error map]] in the tuning where it is minimized. In this regard, TE error may be expressed in any logarithmic [[interval size unit]]s such as [[cent]]s or [[octave]]s.
 
As with complexity, we may simply define the TE error as the ''L''<sup>2</sup> norm of the weighted TE error map. If {{nowrap| ''T''<sub>''W''</sub> {{=}} ''TW'' }} is the weighted TE tuning map and {{nowrap| ''J''<sub>''W''</sub> {{=}} ''JW'' {{=}} {{val| 1 1 … 1 }} }} is the weighted just tuning map, then the TE error ''E'' is given by


<math>\displaystyle
$$
\norm{ M }_\text{RMS}' = \sqrt {\frac{\abs{VV^\mathsf{T}}}{\binom{n}{r}}} = \frac {\norm{ M }_2}{\sqrt {\binom{n}{r}}}</math>
\begin{align}
E &= \norm{T_W - J_W}_2 \\
&= \norm{J_W(V_W^+ V_W - I) }_2 \\
&= \sqrt{J_W(V_W^+ V_W - I)(V_W^+ V_W - I)^\mathsf{T} J_W^\mathsf{T}}
\end{align}
$$


where ({{subsup||''r''|''n''}}) is the number of combinations of ''n'' things taken ''r'' at a time, which equals the number of entries of the wedgie.  
where <sup>+</sup> denotes the [[pseudoinverse]].
 
Often, it is desirable to know the average of errors instead of the sum, which corresponds to Graham Breed's definition<ref name="primerr"/>. This error figure, ''G'', can be found by
 
$$
\begin{align}
G &= \norm{T_W - J_W}_\text{RMS} \\
&= E / \sqrt{n}
\end{align}
$$
 
: '''Note''': that is the definition used by Graham Breed's temperament finder.  


: '''Note''': that is the definition currently used throughout the wiki, unless stated otherwise.
Gene Ward Smith defines the TE error as the ratio ‖''M''<sub>''W''</sub> ∧ ''J''<sub>''W''</sub>‖/‖''M''<sub>''W''</sub>‖, derived from the relationship of TE simple badness and TE complexity. See the next section. We denote this definition of TE error ''Ψ''. From {{nowrap|‖''M''<sub>''W''</sub> ∧ ''J''<sub>''W''</sub>‖/‖''M''<sub>''W''</sub>‖}} we can extract a coefficient {{nowrap| sqrt(''C''(''n'', ''r'' + 1)/''C''(''n'', ''r'')) {{=}} sqrt((''n'' − ''r'')/(''r'' + 1)) }}, which relates ''Ψ'' with ''E'' as follows:


If ''W'' is a [[Wikipedia: Diagonal matrix|diagonal matrix]] with 1, 1/log<sub>2</sub>3, …, 1/log<sub>2</sub>''p'' along the diagonal and A is the matrix corresponding to V with unweighted vals as rows, then {{nowrap|''V'' {{=}} ''AW''}} and {{nowrap|{{!}}''VV''{{t}}{{!}} {{=}} {{!}}''AW''&#x2009;<sup>2</sup>''A''{{t}}{{!}}}}. This may be related to the [[Tenney–Euclidean metrics|TE tuning projection matrix]] ''P'', which is ''V''{{t}}(''VV''{{t}}){{inv}}''V'', and the corresponding matrix for unweighted monzos {{nowrap|''P'' {{=}} ''A''{{t}}(''AW''&#x2009;<sup>2</sup>''A''{{t}}){{inv}}''A''}}.
$$ \Psi = \sqrt{\frac{r + 1}{n - r}} E $$


== TE simple badness ==
Also, if we set the rank ''r'' to 1, we get {{nowrap| (''n'' − 1)/2 }}. It follows that dividing TE error by this value gives a constant of proportionality such that
The '''TE simple badness''' of ''M'', which we may also call the '''relative error''' of ''M'', may be considered error relativized to the complexity of the temperament. It is error proportional to the complexity, or size, of the multival; in particular for a 1-val, it is (weighted) error compared to the size of a step.


Gene Ward Smith defines the simple badness of ''M'' as {{nowrap|‖''J'' ∧ ''M''‖<sub>RMS</sub>}}, where {{nowrap|''J'' {{=}} {{val| 1 1 … 1 }}}} is the JIP in weighted coordinates. Once again, if we have a list of vectors we may use a Gramian to compute it. First we note that {{nowrap|''a''<sub>''i''</sub> {{=}} ''J''·''v''<sub>''i''</sub>/''n''}} is the mean value of the entries of ''v''<sub>''i''</sub>. Then note that {{nowrap|''J'' ∧ (''v''<sub>1</sub> − ''a''<sub>1</sub>''J'') ∧ (''v''<sub>2</sub> − ''a''<sub>2</sub>''J'') ∧ … ∧ (''v''<sub>''r''</sub> − ''a''<sub>''r''</sub>''J'') {{=}} ''J'' ∧ ''v''<sub>1</sub> ∧ ''v''<sub>2</sub> ∧ … ∧ ''v''<sub>''r''</sub>}}, since wedge products with more than one term ''J'' are zero. The Gram matrix of the vectors ''J'' and {{nowrap|''v''<sub>1</sub> − ''a''<sub>''i''</sub>''J''}} will have ''n'' as the (1,&nbsp;1) entry, and 0's in the rest of the first row and column. Hence we obtain:
$$ \psi = \sqrt{\frac{2}{n - 1}} E $$


<math>\displaystyle
gives another error, called the ''adjusted error'', which makes the error of a rank-''r'' temperament correspond to the errors of the edo vals which support it; so that requiring the edo val error to be less than {{nowrap|(1 + ''ε'')''ψ''}} for any positive ''ε'' results in an infinite set of vals supporting the temperament.
\norm{ J \wedge M }'_\text {RMS} = \sqrt{\frac{n}{\binom{n}{r+1}}} \abs{v_i \cdot v_j - na_ia_j}</math>


A perhaps simpler way to view this is to start with a mapping matrix V and add an extra row J corresponding to the JIP; we will label this matrix V<sub>J</sub>. Then the simple badness is:
''G'' and ''ψ'' error both have the advantage that higher-rank temperament error corresponds directly to rank-1 error, but the RMS normalization has the further advantage that in the rank-1 case, {{nowrap| ''G'' {{=}} sin ''θ'' }} octaves, where ''θ'' is the angle between ''J''<sub>''W''</sub> and the val in question.  


<math>\displaystyle
== TE simple badness ==
\norm{ J \wedge M }'_\text {RMS} = \sqrt{\frac{n}{\binom{n}{r+1}}} \abs{V_J V_J^\mathsf{T}}</math>
The '''TE simple badness''' of a temperament, which we may also call the '''relative error''' of a temperament, may be considered error relativized to the complexity of the temperament. It is error proportional to the complexity, or size, of the multival; in particular for a 1-val, it is (weighted) error compared to the size of a step.


So that we can basically view the simple badness as the TE complexity of the "pseudo-temperament" formed by adding the JIP to the mapping matrix as if it were another val.
In general, if ''C'' is the complexity and ''E'' is the error of a temperament, then TE simple badness ''B'' is found by


Graham Breed defines the simple badness slightly differently, again equivalent to a choice of scaling. This is skipped here because, by that definition, it is easier to find TE complexity and TE error first and multiply them together to get the simple badness.
$$ B = C \cdot E $$


=== Reduction to the span of a comma ===
Gene Ward Smith defines the simple badness of ''M'' as {{nowrap|‖''M''<sub>''W''</sub> ∧ ''J''<sub>''W''</sub>‖<sub>RMS</sub>}}. A perhaps simpler way to view this is to start with a mapping matrix ''V''<sub>''W''</sub> and add an extra row ''J''<sub>''W''</sub> corresponding to the just tuning map; we will label this matrix ''Ṽ''<sub>''W''</sub>. Then the simple badness is:
It is notable that if ''M'' is codimension-1, we may view it as representing [[the dual]] of a single comma. In this situation, the simple badness happens to reduce to the [[Interval span|span]] of the comma, up to a constant multiplicative factor, so that the span of any comma can itself be thought of as measuring the complexity relative to the error of the temperament vanishing that comma.


This relationship also holds if TOP is used rather than TE, as the TOP damage associated with tempering some comma ''n''/''d'' is log(''n''/''d'')/(''nd''), and if we multiply by the complexity ''nd'', we simply get log(''n''/''d'') as our result.
$$ \norm{ M_W \wedge J_W }_\text {RMS'} = \sqrt{\frac{\det(\tilde V_W \tilde V_W^\mathsf{T})}{C(n, r + 1)}} $$


=== TE logflat badness ===
So that we can basically view the simple badness as the TE complexity of the "pseudo-temperament" formed by adding the JIP to the mapping matrix as if it were another val.
Some consider the simple badness to be a sort of badness which heavily favors complex temperaments. The '''logflat badness''' is developed to address that. If we define S(''A'') to be the simple badness (relative error) of ''A'', and C(''A'') to be the complexity of ''A'', then the logflat badness is defined by the formula


<math>\displaystyle
Graham Breed defines the simple badness slightly differently, again equivalent to a choice of scaling, skipped here because it is derived from the general formula.
S(A)C(A)^{r/(n - r)} \\
= \norm{ J \wedge M } \norm{ M }^{r/(n - r)}
</math>


If we set a cutoff margin for logflat badness, there are still infinite numbers of new temperaments appearing as complexity goes up, at a lower rate which is approximately logarithmic in terms of complexity.
Sintel has likewise given a simple badness as


== TE error ==
$$ \norm{ M_U \wedge J_U }_2 = \sqrt{\det(\tilde V_U \tilde V_U^\mathsf{T})} $$
We can consider '''TE error''' to be a weighted average of the error of each prime harmonics in TE tuning. Multiplying it by 1200, we get a figure with values in cents.


By Graham Breed's definition, TE error may be accessed via [[Tenney–Euclidean tuning|TE tuning map]]. If T is the tuning map, then the TE error ''G'' can be found by
where {{nowrap| ''J''<sub>''U''</sub> {{=}} ''J''<sub>''W''</sub>/det(''W'')<sup>1/''n''</sup> }} is the ''U''-weighted just tuning map.


<math>\displaystyle
=== Reduction to the span of a comma ===
\begin{align}
It is notable that if ''M'' is codimension-1, we may view it as representing [[the dual]] of a single comma. In this situation, the simple badness happens to reduce to the [[Interval span|span]] of the comma, up to a constant multiplicative factor, so that the span of any comma can itself be thought of as measuring the complexity relative to the error of the temperament vanishing that comma.
G &= \norm{ T - J }_\text{RMS} \\
&= \norm{ J(V^+V - I) }_\text{RMS} \\
&= \sqrt{J(V^+V - I)(V^+V - I)^\mathsf{T}J^\mathsf{T}/n}
\end{align}
</math>


If ''T'' is denominated in cents, then ''J'' should be also, so that {{nowrap|''J'' {{=}} {{val| 1200 1200 … 1200 }}}}. Here {{nowrap|''T'' ''J''}} is the list of weighted mistunings of each prime harmonics.
This relationship also holds if TOP is used rather than TE, as the TOP damage associated with tempering out some comma ''n''/''d'' is log(''n''/''d'')/(''nd''), and if we multiply by the complexity ''nd'', we simply get log(''n''/''d'') as our result.


: '''Note''': that is the definition used by Graham Breed's temperament finder.
== TE logflat badness ==
Some consider the simple badness to be a sort of badness which favors complex temperaments. The '''logflat badness''' (called ''Dirichlet coefficients'' in Sintel's scheme), is developed to address that. If we define ''B'' to be the simple badness (relative error) of a temperament, and ''C'' to be the complexity, then the logflat badness ''L'' is defined by the formula


By Gene Ward Smith's definition, the TE error is derived from the relationship of TE simple badness and TE complexity. We denote this definition of TE error Ψ.
$$ L = B \cdot C^{r/(n - r)} $$


From the ratio {{nowrap|(‖''J'' ∧ ''M''‖/‖''M''‖)<sup>2</sup>}} we obtain {{nowrap|{{sfrac|({{subsup||''r'' + 1|''n''}})|''n''({{subsup||''r''|''n''}})}} {{=}} {{sfrac|''n'' − ''r''|''n''(''r'' + 1)}}}}. If we take the ratio of this for rank one with this for rank ''r'', the ''n'' cancels, and we get {{nowrap|{{sfrac|''n'' − 1|2}} · {{sfrac|''r'' + 1|''n'' − ''r''}} {{=}} {{sfrac|(''r'' + 1)(''n'' − 1)|2(''n'' − ''r'')}}}}. It follows that dividing TE error by the square root of this ratio gives a constant of proportionality such that if Ψ is the TE error of a rank-''r'' temperament then
The exponent is chosen such that if we set a cutoff margin for logflat badness, there are still infinite numbers of new temperaments appearing as complexity goes up, at a lower rate which is approximately logarithmic in terms of complexity.


<math>\displaystyle
In Graham's and Gene's derivations,
\psi = \sqrt{\frac{2(n-r)}{(r+1)(n-1)}} \Psi</math>


is an '''adjusted error''' which makes the error of a rank ''r'' temperament correspond to the errors of the edo vals which support it; so that requiring the edo val error to be less than {{nowrap|(1 + ε)ψ}} for any positive ε results in an infinite set of vals supporting the temperament.
$$ L = \norm{ M_W \wedge J_W } \norm{M_W}^{r/(n - r)} $$


Ψ, ψ, and ''G'' error can be related as follows:
In Sintel's derivation,  


<math>\displaystyle G = \sqrt{\frac{n-1}{2n}} \psi = \sqrt{\frac{n-r}{(r+1)n}} \Psi</math>
$$ L = \norm{ M_U \wedge J_U } \norm{M_U}^{r/(n - r)} / \norm{J_U} $$


''G'' and ψ error both have the advantage that higher rank temperament error corresponds directly to rank one error, but the RMS normalization has the further advantage that in the rank one case, {{nowrap|''G'' {{=}} sin ''θ''}}, where ''θ'' is the angle between ''J'' and the val in question. Multiplying by 1200 to obtain a result in cents leads to 1200&nbsp;sin(''θ''), the TE error in cents.
Notice the extra factor 1/‖''J''<sub>''U''</sub>‖, which is to say we divide it by the norm of the just tuning map. For comparison, Gene's derivation does not have this factor, whereas with Tenney weights, whether this factor is omitted or not has no effects on Graham's derivation since ‖''J''<sub>''W''</sub>‖<sub>RMS</sub> is unity.  


== Examples ==
== Examples ==
The different definitions yield different results, but they are related to each other by a factor derived only from the rank and limit. A meaningful comparison of temperaments in the same rank and limit can be provided by picking any one of them.  
While the different definitions yield different results, they are related to each other by a factor derived only from the rank and subgroup. A meaningful comparison of temperaments in the same rank and subgroup is provided by picking any one of them. Here, we consider septimal [[magic]] and [[meantone]], as follows.  


Here is a demonstration from [[7-limit]] [[magic]] and [[meantone]], comparing each of the definitions.  
{| class="wikitable center-all left-1"
 
|+ style="font-size: 105%;" | ''L''<sup>2</sup> norm
{| class="wikitable center-all"
|-
|+ style="font-size: 105%;" | 7-limit magic (left) vs. meantone (right) in TE temperament measures
! Temperament
! Complexity
! Error (¢)
! Simple badness
|-
| Septimal meantone
| 5.400
| 2.763
| 12.435×10<sup>−3</sup>
|-
| Septimal magic
| 7.195
| 2.149
| 12.882×10<sup>−3</sup>
|}
{| class="wikitable center-all left-1"
|+ style="font-size: 105%;" | Breed's RMS norm
|-
! Temperament
! Complexity
! Error (¢)
! Simple badness
|-
|-
!
| Septimal meantone
! TE complexity
| 1.350
! TE error (¢)
| 1.382
! TE simple badness
| 1.554×10<sup>−3</sup>
|-
|-
! {{W|Norm (mathematics) #Euclidean norm|Standard ''L''<sup>2</sup> norm}}
| Septimal magic
| 7.195 : 5.400
| 1.799
| 2.149 : 2.763
| 1.074
| 12.882×10<sup>−3</sup> : 12.435×10<sup>−3</sup>
| 1.610×10<sup>−3</sup>
|}
{| class="wikitable center-all left-1"
|+ style="font-size: 105%;" | Smith's RMS norm
|-
|-
! Breed's RMS norm
! Temperament
| 1.799 : 1.350
! Complexity
| 1.074 : 1.382
! Error (¢)
| 1.610×10<sup>−3</sup> : 1.554×10<sup>−3</sup>
! Simple badness
|-
|-
! Smith's RMS norm
| Septimal meantone
| 2.937 : 2.204
| 2.204
| 2.631 : 3.384
| 3.384
| 6.441×10<sup>−3</sup> : 6.218×10<sup>−3</sup>
| 6.218×10<sup>−3</sup>
|-
| Septimal magic
| 2.937
| 2.631
| 6.441×10<sup>−3</sup>
|}
|}
<references />
 
== See also ==
* [[Cangwu badness]] – a derived badness measure with a free parameter that enables one to specify a tradeoff between complexity and error
 
== Notes ==
<references/>


[[Category:Regular temperament theory]]
[[Category:Regular temperament theory]]