Relative interval error: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
m Categories
Note the distribution in direct approximation. Misc. cleanup
 
(14 intermediate revisions by 7 users not shown)
Line 1: Line 1:
''This article is about the error of intervals measured in relative cents. For the relative error of temperaments, see [[Tenney-Euclidean temperament measures #TE simple badness]].''
{{About|the error of intervals measured in relative cents|the relative error of temperaments|Tenney-Euclidean temperament measures #TE simple badness}}


The '''relative error''' of an [[interval]] in an [[edo]] is the error in cents approximating a targeted interval divided by the size of an [[edostep]], or equivalently stated, the error in [[Relative cent|relative cents]]. The formula for closest mapping of any [[JI]] interval is
The '''relative error''' of an [[interval]] in an [[edo]] is the interval's [[error]] in cents divided by the cents of an edostep, or equivalently stated, the error in [[relative cent]]s.  


<math>e(n, r) = (\text{round} (n \log_2 r) - n \log_2 r) \times 100\%</math>
For example, in 24edo, 3/2 has an absolute error of about −2{{c}}, meaning that the nearest interval in the edo is about 2{{c}} flat of 3/2. One edostep is 50{{c}}, and {{nowrap| −2/50 {{=}} −0.04 }}, therefore the relative error is about −4% or −4 relative cents. In contrast, 12edo has the same absolute error, but a smaller relative error of −2%<ref group="note">In fact, 12edo always has the same relative and absolute interval error since it is the basis for the cent.</ref>.


where ''n'' is the edo number and ''r'' is the targeted [[frequency ratio]].  
== Computation ==
=== In direct approximation ===
To find the relative error ''ε'' of any [[JI]] [[ratio]] in direct approximation:
 
<math>\varepsilon (n, r) = (\operatorname{round} (n \log_2 r) - n \log_2 r) \times 100\%</math>
 
where ''n'' is the edo number and ''r'' is the ratio in question.  


The unit of relative error is ''relative cent'' or ''percent''.  
The unit of relative error is ''relative cent'' or ''percent''.  


With closest mapping, the relative error ranges from -50% to +50%. With [[patent val]] mapping, it can be farther from zero. To obtain the relative error in patent val mapping, first find that of relevant prime harmonics, and then apply the additive rule (see below).  
=== In val mapping ===
Given ''n''-edo equipped with ''p''-limit val ''V'' = {{val| ''v''<sub>1</sub> ''v''<sub>2</sub> … ''v''<sub>π (''p'')</sub> }}, the relative error map ''Ɛ''<sub>r</sub> of each prime harmonic is given by
 
<math>\mathcal {E}_\text {r} = (V - nJ) \times 100\%</math>
 
where ''J'' = {{val| 1 log<sub>2</sub>3 … log<sub>2</sub>''p'' }} is the [[just tuning map]].
 
Thanks to the [[Monzos and interval space|linearity of the interval space]], the relative error for any monzo '''m''' is given by
 
<math>\mathcal {E}_\text {r} \cdot \vec m</math>
 
=== Example ===
Let us try finding the relative error of 6/5 in 19edo's patent val. We may first find the errors of 2/1, 3/1 and 5/1 in 19edo. They are 0, &minus;11.43% and &minus;11.66%, respectively. Since 6/5 = (2/1)(3/1) / (5/1), its error is 0 + (&minus;11.43%) &minus; (&minus;11.66%) = 0.23%. That shows 19edo has fairly flat fifths and major thirds, yet they cancel out when it comes to minor thirds and results in a very accurate approximation.
 
== Linearity ==
In val mapping, the relative error space {''Ɛ''<sub>r</sub>} is linear. That is, if ''n'' = ''αn''<sub>1</sub> + ''βn''<sub>2</sub> and ''V'' = ''αV''<sub>1</sub> + ''βV''<sub>2</sub>, then
 
<math>
\begin{align}
\mathcal {E}_\text {r} &= (V - nJ) \times 100\% \\
&= ((\alpha V_1 + \beta V_2) - (\alpha n_1 + \beta n_2)J) \times 100\% \\
&= \alpha (V_1 - n_1 J) \times 100\% + \beta (V_2 - n_2 J) \times 100\% \\
&= \alpha \mathcal {E}_\text {r1} + \beta \mathcal {E}_\text {r2}
\end{align}
</math>
 
In direct approximation, the relative error space is also linear, but modulo 100%. Furthermore, we can show the relative error of any individual interval is {{w|equidistributed sequence|equidistributed}} from −50% to +50%, according to the {{w|equidistribution theorem}}.  


== Additivity ==
An application of these properties concerns the fact that we can add the relative error maps of two edos together to form the relative error map of their sum. For example, the relative error map of 26edo using its 5-limit patent val is
There are two additivities of relative errors. 


First, for the same edo, a ratio which is the product of some other ratios have their relative errors additive, that is, if ''r''<sub>3</sub> = ''r''<sub>1</sub>''r''<sub>2</sub> for ''n'', then ''e'' (''n'', ''r''<sub>3</sub>) = ''e'' (''n'', ''r''<sub>1</sub>) + ''e'' (''n'', ''r''<sub>2</sub>). 
<math>\mathcal {E}_\text {r} (26) = \langle \begin{matrix} 0.00\% & -20.90\% & -37.01\% \end{matrix} ]</math>


If the error exceeds the range -50% to +50%, it indicates that an inconsistency occurs, and there is a discrepancy in patent val mapping and closest mapping, so is the error. The patent val mapping error is unchanged, and that of closest mapping is the previous result reduced by an integer to fit it into the range. 
That of 27edo using its 5-limit patent val is  


For example, the errors of 2/1, 3/1 and 5/1 in 19-edo are 0, -11.43% and -11.66%, respectively. Since 6/5 = (2/1)(3/1) / (5/1), its error is 0 + (-11.43%) - (-11.66%) = 0.23%. That shows 19-edo has fairly flat fifths and major thirds, yet they cancel out when it comes to minor thirds and results in a very accurate approximation. 
<math>\mathcal {E}_\text {r} (27) = \langle \begin{matrix} 0.00\% & +20.60\% & +30.79\% \end{matrix} ]</math>


Second, for the same ratio, an edo which is the sum of some other edos have their relative errors additive, that is, if ''n''<sub>3</sub> = ''n''<sub>1</sub> + ''n''<sub>2</sub> for ''r'', then ''e'' (''n''<sub>3</sub>, ''r'') = ''e'' (''n''<sub>1</sub>, ''r'') + ''e'' (''n''<sub>2</sub>'','' ''r''). This also needs to be reduced by an integer to fit into the range. In special, if an edo duplicates itself, and if the mappings do not change, then the error also duplicates. 
As {{nowrap| 53 {{=}} 26 + 27 }}, the relative error map of 53edo using its 5-limit patent val is


For example, the errors of 3/1 for 26-edo and 27-edo are -20.90% and +20.60%, repectively, and their sum -0.30% is the error of 3/1 for 53-edo.
<math>\mathcal {E}_\text {r} (53) = \langle \begin{matrix} 0.00\% & -0.30\% & -6.22\% \end{matrix} ]</math>
 
We see how the errors of a sharp tending system and a flat tending system cancel out each other by the sum, and result in a much more accurate equal temperament.  


== See also ==
== See also ==
* [[Relative cent]]
* [[Relative cent]]
* [[Relative Errors of Small Edos]]
* [[Relative errors of small EDOs]]
 
== Notes ==
<references group="note"/>


[[Category:term]]
[[Category:Terms]]
[[Category:approximation]]
[[Category:Error]]
[[Category:measure]]
[[Category:Approximation]]
[[Category:relative measure]]
[[Category:Relative measures]]

Latest revision as of 09:47, 15 August 2025

This page is about the error of intervals measured in relative cents. For the relative error of temperaments, see Tenney-Euclidean temperament measures #TE simple badness.

The relative error of an interval in an edo is the interval's error in cents divided by the cents of an edostep, or equivalently stated, the error in relative cents.

For example, in 24edo, 3/2 has an absolute error of about −2 ¢, meaning that the nearest interval in the edo is about 2 ¢ flat of 3/2. One edostep is 50 ¢, and −2/50 = −0.04, therefore the relative error is about −4% or −4 relative cents. In contrast, 12edo has the same absolute error, but a smaller relative error of −2%[note 1].

Computation

In direct approximation

To find the relative error ε of any JI ratio in direct approximation:

[math]\displaystyle{ \varepsilon (n, r) = (\operatorname{round} (n \log_2 r) - n \log_2 r) \times 100\% }[/math]

where n is the edo number and r is the ratio in question.

The unit of relative error is relative cent or percent.

In val mapping

Given n-edo equipped with p-limit val V = v1 v2vπ (p)], the relative error map Ɛr of each prime harmonic is given by

[math]\displaystyle{ \mathcal {E}_\text {r} = (V - nJ) \times 100\% }[/math]

where J = 1 log23 … log2p] is the just tuning map.

Thanks to the linearity of the interval space, the relative error for any monzo m is given by

[math]\displaystyle{ \mathcal {E}_\text {r} \cdot \vec m }[/math]

Example

Let us try finding the relative error of 6/5 in 19edo's patent val. We may first find the errors of 2/1, 3/1 and 5/1 in 19edo. They are 0, −11.43% and −11.66%, respectively. Since 6/5 = (2/1)(3/1) / (5/1), its error is 0 + (−11.43%) − (−11.66%) = 0.23%. That shows 19edo has fairly flat fifths and major thirds, yet they cancel out when it comes to minor thirds and results in a very accurate approximation.

Linearity

In val mapping, the relative error space {Ɛr} is linear. That is, if n = αn1 + βn2 and V = αV1 + βV2, then

[math]\displaystyle{ \begin{align} \mathcal {E}_\text {r} &= (V - nJ) \times 100\% \\ &= ((\alpha V_1 + \beta V_2) - (\alpha n_1 + \beta n_2)J) \times 100\% \\ &= \alpha (V_1 - n_1 J) \times 100\% + \beta (V_2 - n_2 J) \times 100\% \\ &= \alpha \mathcal {E}_\text {r1} + \beta \mathcal {E}_\text {r2} \end{align} }[/math]

In direct approximation, the relative error space is also linear, but modulo 100%. Furthermore, we can show the relative error of any individual interval is equidistributed from −50% to +50%, according to the equidistribution theorem.

An application of these properties concerns the fact that we can add the relative error maps of two edos together to form the relative error map of their sum. For example, the relative error map of 26edo using its 5-limit patent val is

[math]\displaystyle{ \mathcal {E}_\text {r} (26) = \langle \begin{matrix} 0.00\% & -20.90\% & -37.01\% \end{matrix} ] }[/math]

That of 27edo using its 5-limit patent val is

[math]\displaystyle{ \mathcal {E}_\text {r} (27) = \langle \begin{matrix} 0.00\% & +20.60\% & +30.79\% \end{matrix} ] }[/math]

As 53 = 26 + 27, the relative error map of 53edo using its 5-limit patent val is

[math]\displaystyle{ \mathcal {E}_\text {r} (53) = \langle \begin{matrix} 0.00\% & -0.30\% & -6.22\% \end{matrix} ] }[/math]

We see how the errors of a sharp tending system and a flat tending system cancel out each other by the sum, and result in a much more accurate equal temperament.

See also

Notes

  1. In fact, 12edo always has the same relative and absolute interval error since it is the basis for the cent.