Intro to Mappings: Difference between revisions
Wikispaces>keenanpepper **Imported revision 442486156 - Original comment: ** |
Wikispaces>keenanpepper **Imported revision 442491528 - Original comment: ** |
||
Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:keenanpepper|keenanpepper]] and made on <tt>2013-07-26 | : This revision was by author [[User:keenanpepper|keenanpepper]] and made on <tt>2013-07-26 23:06:57 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>442491528</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
Line 8: | Line 8: | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">=Intro To Mappings= | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">=Intro To Mappings= | ||
A [[regular temperament]] is more than simply a set of pitches. It's a set of notes together with a **consistent rule** that maps any pitch of the relevant [[Just intonation subgroups|just intonation subgroup]] to a specific note from that set. (In fact, an abstract regular temperament is not a set of definite pitches at all! The pitches can vary, and the rule mapping JI pitches to notes is the thing that uniquely characterizes the temperament.) This consistent rule is known as the //JI mapping// or simply //mapping//. The mapping answers the question "how do I play this JI pitch as a note of this temperament?". The answer will be the "tempered version" of that JI pitch, which may be a very close approximation or a very distant approximation depending on the circumstances. | A [[Regular Temperaments|regular temperament]] is more than simply a set of pitches. It's a set of notes together with a **consistent rule** that maps any pitch of the relevant [[Just intonation subgroups|just intonation subgroup]] to a specific note from that set. (In fact, an abstract regular temperament is not a set of definite pitches at all! The pitches can vary, and the rule mapping JI pitches to notes is the thing that uniquely characterizes the temperament.) This consistent rule is known as the //JI mapping// or simply //mapping//. The mapping answers the question "how do I play this JI pitch as a note of this temperament?". The answer will be the "tempered version" of that JI pitch, which may be a very close approximation or a very distant approximation depending on the circumstances. | ||
Naïvely, one might think that a simple rounding function might be suitable for a mapping: let the "tempered version" of each JI pitch simply be the tempered pitch that is closest to it. However, this (usually) does not result in a regular temperament at all! The reason is that, although this mapping assigns a tempered pitch to each JI pitch, it does not do so in a **consistent** way - some instances of the same JI interval are represented by different tempered intervals if they occur in different places. A regular temperament mapping always represents each JI interval by the **same** tempered interval (even if that tempered interval is not the closest tempered interval to the JI interval). | Naïvely, one might think that a simple rounding function might be suitable for a mapping: let the "tempered version" of each JI pitch simply be the tempered pitch that is closest to it. However, this (usually) does not result in a regular temperament at all! The reason is that, although this mapping assigns a tempered pitch to each JI pitch, it does not do so in a **consistent** way - some instances of the same JI interval are represented by different tempered intervals if they occur in different places. A regular temperament mapping always represents each JI interval by the **same** tempered interval (even if that tempered interval is not the closest tempered interval to the JI interval). | ||
Line 16: | Line 16: | ||
As an example, let's consider the familiar [[12edo]] considered as a 3-limit temperament. For concreteness, let's use A440 as the base note. In this case the JI subgroup is the [[3-limit]], that is, all pitches that form a JI interval with A440 whose prime factorization contains no primes other than 2 and 3. (For people familiar with mathematical notation, this can be written as | As an example, let's consider the familiar [[12edo]] considered as a 3-limit temperament. For concreteness, let's use A440 as the base note. In this case the JI subgroup is the [[3-limit]], that is, all pitches that form a JI interval with A440 whose prime factorization contains no primes other than 2 and 3. (For people familiar with mathematical notation, this can be written as | ||
[[math]] | [[math]] | ||
\left\{440\cdot 2^a\cdot 3^b\middle|a,b\in\mathbb Z\right\} | \left\{440\cdot 2^a\cdot 3^b\middle|a,b\in\mathbb Z\right\} | ||
[[math]] | [[math]] | ||
) Let's use integers to represent the 12edo notes, so that A440 is note 0, the Bb above that is 1, the Ab below it is -1, and so on. Then the mapping is simply expressed by saying that each factor of 2 counts for 12 steps, and each factor of 3 counts for 19 steps (because 3/1, or 1901.955... cents, is approximated as 1900 cents, or 19 steps of 12edo). (If you want a mathematical formula, that means that the above expression is mapped to 12a+19b.) So, for example, 1/1 is mapped to note 0, which is exactly A440; 2/1 is mapped to note 12, the A one octave higher; 3/2 is mapped to note 7 (the E above A440); and 3<span style="vertical-align: super;">12</span>/2<span style="vertical-align: super;">19</span> (the Pythagorean comma) is mapped to 0, the same note as 1/1. | |||
===Contrast with rounding=== | |||
Now, consider the pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57</span>. In JI, this pitch is 70.38... cents above A440, so the closest 12edo note to it is Bb. However, if you apply the mapping formula, you see that it is mapped to note 0 (A), not note 1 (Bb). Why is this? The pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57</span>is three Pythagorean commas above A. If each Pythagorean comma is represented by 0 steps, then since 0+0+0=0 the pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57 </span>must be represented by A, even though in JI it's closer to Bb. Mapping it to Bb would require one of the three Pythaogrean commas to be represented by 1 complete step (100 cents)! This illustrates the difference between regular mapping and rounding. | |||
===Notation=== | |||
In regular temperament theory there is a special notation for this kind of JI mapping. We notate the 3-limit 12edo temperament described above as "<12 19|", because the first prime (2) is mapped to 12 steps, and the second prime (3) is mapped to 19 steps. This mathematical object is known as a "mapping matrix" and it summarizes all the information in the mapping in a very compact form. Since this is an equal temperament, the mapping matrix contains only one row, and since it's a 3-limit temperament, the mapping matrix contains two columns, representing the primes 2 and 3. | |||
===Many 12edo temperaments=== | |||
Now, let's consider 12edo, not as a 3-limit temperament, but as a [[5-limit]] temperament. This temperament maps all the 3-limit JI intervals in the same way as above, but in addition also maps the rest of the 5-limit JI intervals. Its mapping matrix is <12 19 28|. It's important to keep in mind that this is, technically speaking, a **different** regular temperament than <12 19|, even though they would both be referred to as "12-tone equal temperament" in common parlance. | |||
Furthermore, consider 12edo as an 11-limit temperament. What is its mapping matrix? It actually depends whether you consider 11/8 a "very sharp D" or a "very flat D#". This choice results in two different mappings, <12 19 28 34 40| and <12 19 28 34 41|. The latter has a more accurate 11/8, but the former has more accurate versions of other intervals, including 12/11. In the language of regular temperament theory, these are simply two different 11-limit temperaments that both happen to have 12 steps per octave. Phrases like "11-limit 12edo" are thus ambiguous because they don't specify the mapping, and therefore don't refer to a specific temperament. | |||
(Strictly speaking, "5-limit 12edo" or even "3-limit 12edo" are also ambiguous, because <12 19 27|, for example, is a valid temperament even though it's much less accurate than <12 19 28|. In this temperament 5/4 would be represented as 3 steps of 12edo, or 300 cents. For practical purposes, of course, the ambiguity doesn't appear until higher limits.) | |||
==Linear temperament mappings== | |||
Now let's consider a temperament that does not consist of a single chain of equally spaced notes. For example, consider conventional music notation **without** enharmonic equivalence. Every note of this system can be expressed as some combination of octaves and perfect fourths, for example | |||
E5 = A440 + 1 octave - 1 perfect fourths | |||
Bb4 = A440 - 3 octaves + 5 perfect fourths | |||
A# = A440 + 4 octaves - 7 perfect fourths | |||
In other words, every note can be represented as an ordered pair of integers (x,y) where x is the number of octaves from A440 (positive is up, negative is down), and y is the number of perfect fourths. | |||
=Temperamental Rank= | =Temperamental Rank= | ||
Line 79: | Line 101: | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>Intro to Mappings</title></head><body><!-- ws:start:WikiTextHeadingRule:1:&lt;h1&gt; --><h1 id="toc0"><a name="Intro To Mappings"></a><!-- ws:end:WikiTextHeadingRule:1 -->Intro To Mappings</h1> | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>Intro to Mappings</title></head><body><!-- ws:start:WikiTextHeadingRule:1:&lt;h1&gt; --><h1 id="toc0"><a name="Intro To Mappings"></a><!-- ws:end:WikiTextHeadingRule:1 -->Intro To Mappings</h1> | ||
<br /> | <br /> | ||
A <a class="wiki_link" href="/ | A <a class="wiki_link" href="/Regular%20Temperaments">regular temperament</a> is more than simply a set of pitches. It's a set of notes together with a <strong>consistent rule</strong> that maps any pitch of the relevant <a class="wiki_link" href="/Just%20intonation%20subgroups">just intonation subgroup</a> to a specific note from that set. (In fact, an abstract regular temperament is not a set of definite pitches at all! The pitches can vary, and the rule mapping JI pitches to notes is the thing that uniquely characterizes the temperament.) This consistent rule is known as the <em>JI mapping</em> or simply <em>mapping</em>. The mapping answers the question &quot;how do I play this JI pitch as a note of this temperament?&quot;. The answer will be the &quot;tempered version&quot; of that JI pitch, which may be a very close approximation or a very distant approximation depending on the circumstances.<br /> | ||
<br /> | <br /> | ||
Naïvely, one might think that a simple rounding function might be suitable for a mapping: let the &quot;tempered version&quot; of each JI pitch simply be the tempered pitch that is closest to it. However, this (usually) does not result in a regular temperament at all! The reason is that, although this mapping assigns a tempered pitch to each JI pitch, it does not do so in a <strong>consistent</strong> way - some instances of the same JI interval are represented by different tempered intervals if they occur in different places. A regular temperament mapping always represents each JI interval by the <strong>same</strong> tempered interval (even if that tempered interval is not the closest tempered interval to the JI interval).<br /> | Naïvely, one might think that a simple rounding function might be suitable for a mapping: let the &quot;tempered version&quot; of each JI pitch simply be the tempered pitch that is closest to it. However, this (usually) does not result in a regular temperament at all! The reason is that, although this mapping assigns a tempered pitch to each JI pitch, it does not do so in a <strong>consistent</strong> way - some instances of the same JI interval are represented by different tempered intervals if they occur in different places. A regular temperament mapping always represents each JI interval by the <strong>same</strong> tempered interval (even if that tempered interval is not the closest tempered interval to the JI interval).<br /> | ||
Line 87: | Line 109: | ||
<br /> | <br /> | ||
As an example, let's consider the familiar <a class="wiki_link" href="/12edo">12edo</a> considered as a 3-limit temperament. For concreteness, let's use A440 as the base note. In this case the JI subgroup is the <a class="wiki_link" href="/3-limit">3-limit</a>, that is, all pitches that form a JI interval with A440 whose prime factorization contains no primes other than 2 and 3. (For people familiar with mathematical notation, this can be written as<br /> | As an example, let's consider the familiar <a class="wiki_link" href="/12edo">12edo</a> considered as a 3-limit temperament. For concreteness, let's use A440 as the base note. In this case the JI subgroup is the <a class="wiki_link" href="/3-limit">3-limit</a>, that is, all pitches that form a JI interval with A440 whose prime factorization contains no primes other than 2 and 3. (For people familiar with mathematical notation, this can be written as<br /> | ||
<br /> | |||
<!-- ws:start:WikiTextMathRule:0: | <!-- ws:start:WikiTextMathRule:0: | ||
[[math]]&lt;br/&gt; | [[math]]&lt;br/&gt; | ||
Line 92: | Line 115: | ||
--><script type="math/tex">\left\{440\cdot 2^a\cdot 3^b\middle|a,b\in\mathbb Z\right\}</script><!-- ws:end:WikiTextMathRule:0 --><br /> | --><script type="math/tex">\left\{440\cdot 2^a\cdot 3^b\middle|a,b\in\mathbb Z\right\}</script><!-- ws:end:WikiTextMathRule:0 --><br /> | ||
<br /> | <br /> | ||
) Let's use integers to represent the 12edo notes, so that A440 is note 0, the Bb above that is 1, the Ab below it is -1, and so on. Then the mapping is simply expressed by saying that each factor of 2 counts for 12 steps, and each factor of 3 counts for 19 steps (because 3/1, or 1901.955... cents, is approximated as 1900 cents, or 19 steps of 12edo). (If you want a mathematical formula, that means that the above expression is mapped to 12a+19b.) So, for example, 1/1 is mapped to note 0, which is exactly A440; 2/1 is mapped to note 12, the A one octave higher; 3/2 is mapped to note 7 (the E above A440); and 3<span style="vertical-align: super;">12</span>/2<span style="vertical-align: super;">19</span> (the Pythagorean comma) is mapped to 0, the same note as 1/1.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:5:&lt;h3&gt; --><h3 id="toc2"><a name="Intro To Mappings-Equal temperament mappings-Contrast with rounding"></a><!-- ws:end:WikiTextHeadingRule:5 -->Contrast with rounding</h3> | |||
Now, consider the pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57</span>. In JI, this pitch is 70.38... cents above A440, so the closest 12edo note to it is Bb. However, if you apply the mapping formula, you see that it is mapped to note 0 (A), not note 1 (Bb). Why is this? The pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57</span>is three Pythagorean commas above A. If each Pythagorean comma is represented by 0 steps, then since 0+0+0=0 the pitch 3<span style="vertical-align: super;">36</span>/2<span style="vertical-align: super;">57 </span>must be represented by A, even though in JI it's closer to Bb. Mapping it to Bb would require one of the three Pythaogrean commas to be represented by 1 complete step (100 cents)! This illustrates the difference between regular mapping and rounding.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:7:&lt;h3&gt; --><h3 id="toc3"><a name="Intro To Mappings-Equal temperament mappings-Notation"></a><!-- ws:end:WikiTextHeadingRule:7 -->Notation</h3> | |||
In regular temperament theory there is a special notation for this kind of JI mapping. We notate the 3-limit 12edo temperament described above as &quot;&lt;12 19|&quot;, because the first prime (2) is mapped to 12 steps, and the second prime (3) is mapped to 19 steps. This mathematical object is known as a &quot;mapping matrix&quot; and it summarizes all the information in the mapping in a very compact form. Since this is an equal temperament, the mapping matrix contains only one row, and since it's a 3-limit temperament, the mapping matrix contains two columns, representing the primes 2 and 3.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:9:&lt;h3&gt; --><h3 id="toc4"><a name="Intro To Mappings-Equal temperament mappings-Many 12edo temperaments"></a><!-- ws:end:WikiTextHeadingRule:9 -->Many 12edo temperaments</h3> | |||
Now, let's consider 12edo, not as a 3-limit temperament, but as a <a class="wiki_link" href="/5-limit">5-limit</a> temperament. This temperament maps all the 3-limit JI intervals in the same way as above, but in addition also maps the rest of the 5-limit JI intervals. Its mapping matrix is &lt;12 19 28|. It's important to keep in mind that this is, technically speaking, a <strong>different</strong> regular temperament than &lt;12 19|, even though they would both be referred to as &quot;12-tone equal temperament&quot; in common parlance.<br /> | |||
<br /> | |||
Furthermore, consider 12edo as an 11-limit temperament. What is its mapping matrix? It actually depends whether you consider 11/8 a &quot;very sharp D&quot; or a &quot;very flat D#&quot;. This choice results in two different mappings, &lt;12 19 28 34 40| and &lt;12 19 28 34 41|. The latter has a more accurate 11/8, but the former has more accurate versions of other intervals, including 12/11. In the language of regular temperament theory, these are simply two different 11-limit temperaments that both happen to have 12 steps per octave. Phrases like &quot;11-limit 12edo&quot; are thus ambiguous because they don't specify the mapping, and therefore don't refer to a specific temperament.<br /> | |||
<br /> | |||
(Strictly speaking, &quot;5-limit 12edo&quot; or even &quot;3-limit 12edo&quot; are also ambiguous, because &lt;12 19 27|, for example, is a valid temperament even though it's much less accurate than &lt;12 19 28|. In this temperament 5/4 would be represented as 3 steps of 12edo, or 300 cents. For practical purposes, of course, the ambiguity doesn't appear until higher limits.)<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:11:&lt;h2&gt; --><h2 id="toc5"><a name="Intro To Mappings-Linear temperament mappings"></a><!-- ws:end:WikiTextHeadingRule:11 -->Linear temperament mappings</h2> | |||
Now let's consider a temperament that does not consist of a single chain of equally spaced notes. For example, consider conventional music notation <strong>without</strong> enharmonic equivalence. Every note of this system can be expressed as some combination of octaves and perfect fourths, for example<br /> | |||
E5 = A440 + 1 octave - 1 perfect fourths<br /> | |||
Bb4 = A440 - 3 octaves + 5 perfect fourths<br /> | |||
A# = A440 + 4 octaves - 7 perfect fourths<br /> | |||
In other words, every note can be represented as an ordered pair of integers (x,y) where x is the number of octaves from A440 (positive is up, negative is down), and y is the number of perfect fourths.<br /> | |||
<br /> | |||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:13:&lt;h1&gt; --><h1 id="toc6"><a name="Temperamental Rank"></a><!-- ws:end:WikiTextHeadingRule:13 -->Temperamental Rank</h1> | ||
<strong>A temperament's &quot;rank&quot; denotes how many independent chains of</strong> <strong>generators exist within the temperament.</strong> This is a mathematical term that's borrowed from the field of group theory. It can also be viewed as the &quot;dimensionality&quot; of the temperament.<br /> | <strong>A temperament's &quot;rank&quot; denotes how many independent chains of</strong> <strong>generators exist within the temperament.</strong> This is a mathematical term that's borrowed from the field of group theory. It can also be viewed as the &quot;dimensionality&quot; of the temperament.<br /> | ||
<br /> | <br /> | ||
Line 101: | Line 145: | ||
A single val in isolation only maps JI onto temperaments that are rank 1. For us to deal with temperaments of rank &gt; 1, we simply need to use more than one val. <strong>In general, the number of vals that it requires to fully map a temperament is equal to the temperament's rank.</strong><br /> | A single val in isolation only maps JI onto temperaments that are rank 1. For us to deal with temperaments of rank &gt; 1, we simply need to use more than one val. <strong>In general, the number of vals that it requires to fully map a temperament is equal to the temperament's rank.</strong><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:15:&lt;h1&gt; --><h1 id="toc7"><a name="Example"></a><!-- ws:end:WikiTextHeadingRule:15 -->Example</h1> | ||
At first, we'll consider a 5-limit rank 2 example. A list of vals for such a temperament will take the following form:<br /> | At first, we'll consider a 5-limit rank 2 example. A list of vals for such a temperament will take the following form:<br /> | ||
<br /> | <br /> | ||
Line 127: | Line 171: | ||
This is, in fact, the mapping matrix for meantone temperament, which is what we wanted.<br /> | This is, in fact, the mapping matrix for meantone temperament, which is what we wanted.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:17:&lt;h1&gt; --><h1 id="toc8"><a name="Change of Basis"></a><!-- ws:end:WikiTextHeadingRule:17 -->Change of Basis</h1> | ||
<br /> | <br /> | ||
In the above example, we wrote out the meantone mapping matrix from the perspective of the two generators 2/1 and 3/2. What if we instead wanted to treat the generators as being 2/1 and 4/3? Or, what if we wanted to write it out from the perspective that the generators are 2/1 and 3/1? All of these will lead to different val lists, but will still represent the same temperament.<br /> | In the above example, we wrote out the meantone mapping matrix from the perspective of the two generators 2/1 and 3/2. What if we instead wanted to treat the generators as being 2/1 and 4/3? Or, what if we wanted to write it out from the perspective that the generators are 2/1 and 3/1? All of these will lead to different val lists, but will still represent the same temperament.<br /> |