Metallic MOS: Difference between revisions
Cmloegcmluin (talk | contribs) No edit summary |
Cmloegcmluin (talk | contribs) No edit summary |
||
| Line 109: | Line 109: | ||
|} | |} | ||
== L:s sequences == | == <span><math>L:s</math></span> sequences == | ||
Each scale has exactly two step sizes: large and small, or L and s. We can refer to the ratio between these large and small steps as | Each scale has exactly two step sizes: large and small, or L and s. We can refer to the ratio between these large and small steps as | ||
| Line 116: | Line 116: | ||
</math> | </math> | ||
We’ll call the ordered set of scales a generator generates its ''scale sequence'', and the ordered set of L:s corresponding to these scales a generator’s ''L:s sequence''. | We’ll call the ordered set of scales a generator generates its ''scale sequence'', and the ordered set of <span><math>L:s</math></span> corresponding to these scales a generator’s ''<span><math>L:s</math></span> sequence''. | ||
=== Golden case === | === Golden case === | ||
The golden generator’s L:s sequence is simple. Every L:s ratio is <span><math>φ</math></span>: | The golden generator’s <span><math>L:s</math></span> sequence is simple. Every <span><math>L:s</math></span> ratio is <span><math>φ</math></span>: | ||
<math>\qquad L:s = φ | <math>\qquad L:s = φ | ||
| Line 127: | Line 127: | ||
=== Noble cases === | === Noble cases === | ||
A noble generator’s L:s sequence is slightly more complex. Not every — but almost every — L:s is <span><math>φ</math></span>. Only the first few are not. | A noble generator’s <span><math>L:s</math></span> sequence is slightly more complex. Not every — but almost every — <span><math>L:s</math></span> is <span><math>φ</math></span>. Only the first few are not. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
Instead of every scale’s L:s | Instead of every scale’s <span><math>L:s</math></span> equaling the same value, as is the case for the golden mean, the silver mean’s <span><math>L:s</math></span> sequence alternates between its isotopes that are greater than 1: | ||
<math> | <math> | ||
| Line 142: | Line 142: | ||
</math> | </math> | ||
And the bronze mean’s L:s sequence cycles through its isotopes that are greater than 1: | And the bronze mean’s <span><math>L:s</math></span> sequence cycles through its isotopes that are greater than 1: | ||
<math> | <math> | ||
| Line 154: | Line 154: | ||
</math> | </math> | ||
Any n-metallic mean’s L:s sequence will cycle through its isotopes that are greater than 1. | Any n-metallic mean’s <span><math>L:s</math></span> sequence will cycle through its isotopes that are greater than 1. | ||
=== Isotopic cases === | === Isotopic cases === | ||
For example, the silver mean’s first isotope’s generator’s L:s sequence alternates between L:s = δ_s and L:s = δ_s - 1, just like the silver generator’s, however — unlike the silver generator’s — it begins with L:s = δ_s - 1. | Isotopic <span><math>L:s</math></span> sequences are just like those of their mean’s, but offset. | ||
For example, the silver mean’s first isotope’s generator’s <span><math>L:s</math></span> sequence alternates between <span><math>L:s = δ_s</math></span> and <span><math>L:s = δ_s - 1</math></span>, just like the silver generator’s, however — unlike the silver generator’s — it begins with <span><math>L:s = δ_s - 1</math></span>. | |||
=== Aristocratic cases === | === Aristocratic cases === | ||
Again, aristocratic scales synthesize both the complexities of noble scales and beyond golden scales. We’ll call the periodic part of an L:s sequence its ''L:s cycle''. So most of the L:s sequence will be the L:s cycle, with only the first few scales not being so. | Again, aristocratic scales synthesize both the complexities of noble scales and beyond golden scales. We’ll call the periodic part of an <span><math>L:s</math></span> sequence its ''<span><math>L:s</math></span> cycle''. So most of the <span><math>L:s</math></span> sequence will be the <span><math>L:s</math></span> cycle, with only the first few scales not being so. | ||
== Interval patterns == | == Interval patterns == | ||
| Line 196: | Line 197: | ||
=== Noble cases === | === Noble cases === | ||
Noble scales at first do not — but eventually do — reach a point where they start exhibiting this interval pattern (paralleling how their L:s sequences only eventually exhibit L:s = φ). | Noble scales at first do not — but eventually do — reach a point where they start exhibiting this interval pattern (paralleling how their <span><math>L:s</math></span> sequences only eventually exhibit <span><math>L:s = φ</math></span>). | ||
Once we’ve iterated past the point that our scale exhibits L:s = φ, some of the smaller intervals will begin to be related by <span><math>φ</math></span>, but its larger intervals will never be related by <span><math>φ</math></span>. | Once we’ve iterated past the point that our scale exhibits <span><math>L:s = φ</math></span>, some of the smaller intervals will begin to be related by <span><math>φ</math></span>, but its larger intervals will never be related by <span><math>φ</math></span>. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
The silver generator, as it did for its L:s sequence, alternates in quality between its two > 1 isotopes for its intervals. For half of its scales, | The silver generator, as it did for its <span><math>L:s</math></span> sequence, alternates in quality between its two > 1 isotopes for its intervals. For half of its scales, | ||
L:s = (2L+s):L = (5L+2s):(2L+s) = (12L+5s):(5L+2s) = (29L+12s):(12L+5s) = … = δ_s | <math> L:s = (2L+s):L = (5L+2s):(2L+s) = (12L+5s):(5L+2s) = (29L+12s):(12L+5s) = … = δ_s | ||
</math> | |||
and the other half, | and the other half, | ||
| Line 213: | Line 215: | ||
Bronze’s scales cycle through three different interval patterns related to its respective > 1 isotopes. | Bronze’s scales cycle through three different interval patterns related to its respective > 1 isotopes. | ||
This pattern continues for other metallic means. As another entry to our family of sequence terms (along with scale sequence and L:s sequence) we shall use the term ''interval pattern sequence'', and for the periodic part at the end, the ''interval pattern cycle''. | This pattern continues for other metallic means. As another entry to our family of sequence terms (along with scale sequence and <span><math>L:s</math></span> sequence) we shall use the term ''interval pattern sequence'', and for the periodic part at the end, the ''interval pattern cycle''. | ||
=== Isotopic cases === | === Isotopic cases === | ||
As with L:s sequences, isotopic interval pattern sequences are identical to their metallic mean’s, cycling through a set of interval patterns from the beginning, except starting at a different position in that cycle. | As with <span><math>L:s</math></span> sequences, isotopic interval pattern sequences are identical to their metallic mean’s, cycling through a set of interval patterns from the beginning, except starting at a different position in that cycle. | ||
=== Aristocratic cases === | === Aristocratic cases === | ||
| Line 225: | Line 227: | ||
= Mathematical explanations = | = Mathematical explanations = | ||
We’ll now start going through mathematical explanations for the behavior we’ve observed about met-MOS generators, L:s sequences, and interval patterns. | We’ll now start going through mathematical explanations for the behavior we’ve observed about met-MOS generators, <span><math>L:s</math></span> sequences, and interval patterns. | ||
== Infinite scale sequences == | == Infinite scale sequences == | ||
| Line 231: | Line 233: | ||
Every metallic generator generates an infinitely long scale sequence. | Every metallic generator generates an infinitely long scale sequence. | ||
This property is not unique to metallic generators, though — it is attributable to their being irrational numbers. A rational generator’s scale sequence eventually terminates, hitting bedrock when the period has been divided up into equal steps, i.e. where the notion of large steps and small steps no longer applies because L = s and L:s = 1. For example, the generator | This property is not unique to metallic generators, though — it is attributable to their being irrational numbers. A rational generator’s scale sequence eventually terminates, hitting bedrock when the period has been divided up into equal steps, i.e. where the notion of large steps and small steps no longer applies because <span><math>L = s</math></span> and <span><math>L:s = 1</math></span>. For example, the generator | ||
<math>\qquad 5/12 = 0.41\overline{6} | <math>\qquad 5/12 = 0.41\overline{6} | ||
| Line 366: | Line 368: | ||
Despite this exponential profusion of scales, however, as one traverses deeper down the tree, the generators lose musical interest. They become less and less metallic. We can quantify their metallicity in terms of how many iterations of their scale sequence are required before they reach the scale which | Despite this exponential profusion of scales, however, as one traverses deeper down the tree, the generators lose musical interest. They become less and less metallic. We can quantify their metallicity in terms of how many iterations of their scale sequence are required before they reach the scale which | ||
# begins the periodic phase of the L:s sequence for the metal they’re based on, and | # begins the periodic phase of the <span><math>L:s</math></span> sequence for the metal they’re based on, and | ||
# begins supporting the interval pattern for the metal they’re based on. | # begins supporting the interval pattern for the metal they’re based on. | ||
The golden generator is essentially the noble generator for the interval <span><math>\frac 01</math></span> to <span><math>\frac 11</math></span>, which — being the root of the Stern-Brocot tree — is as golden as we can get: we see <span><math>L:s = φ</math></span> and <span><math>φ</math></span>'s distinctive interval pattern from the very start. | The golden generator is essentially the noble generator for the interval <span><math>\frac 01</math></span> to <span><math>\frac 11</math></span>, which — being the root of the Stern-Brocot tree — is as golden as we can get: we see <span><math>L:s = φ</math></span> and <span><math>φ</math></span>'s distinctive interval pattern from the very start. | ||
| Line 413: | Line 415: | ||
== Isotopic arithmetic progression == | == Isotopic arithmetic progression == | ||
Now we’ll explain why the L:s sequences for metallic means cycle through their isotopes. | Now we’ll explain why the <span><math>L:s</math></span> sequences for metallic means cycle through their isotopes. | ||
=== Why they decrease by 1 === | === Why they decrease by 1 === | ||
| Line 423: | Line 425: | ||
[[File:MOS iteration rules for L and s.png|452x452px]] | [[File:MOS iteration rules for L and s.png|452x452px]] | ||
We are reasoning about MOS concepts in the abstract here. These truths about large and small steps are true whether they are 100¢ or 4516.8¢, and all we really care about are their ratios. So if we treat our small steps’ size as 1 then we can treat our large steps’ size as equal to the L:s ratio. | We are reasoning about MOS concepts in the abstract here. These truths about large and small steps are true whether they are 100¢ or 4516.8¢, and all we really care about are their ratios. So if we treat our small steps’ size as 1 then we can treat our large steps’ size as equal to the <span><math>L:s</math></span> ratio. | ||
So the L:s ratio decreases by 1 because if an s-sized chunk has been sliced off L, and s’s size is 1, then 1 should be subtracted from L. | So the <span><math>L:s</math></span> ratio decreases by 1 because if an s-sized chunk has been sliced off L, and s’s size is 1, then 1 should be subtracted from L. | ||
<math>\qquad L’:s’ = (L - s):s = (L - 1):1 = L - 1 | <math>\qquad L’:s’ = (L - s):s = (L - 1):1 = L - 1 | ||
| Line 437: | Line 439: | ||
</math> | </math> | ||
This alone would not suffice to explain how the L:s sequences lock into a cycle of isotopes. But here’s where the magic of the metallic means comes into play. <span><math>φ</math></span> has the property that | This alone would not suffice to explain how the <span><math>L:s</math></span> sequences lock into a cycle of isotopes. But here’s where the magic of the metallic means comes into play. <span><math>φ</math></span> has the property that | ||
<math>\qquad φ - 1 = 1 / φ | <math>\qquad φ - 1 = 1 / φ | ||
| Line 447: | Line 449: | ||
</math> | </math> | ||
That’s why the golden L:s sequence locks into L:s = φ forever. | That’s why the golden <span><math>L:s</math></span> sequence locks into <span><math>L:s = φ</math></span> forever. | ||
A similar case is true for the silver mean, except we have to subtract 1 from it twice before the resulting value’s reciprocal is equal to the silver mean. | A similar case is true for the silver mean, except we have to subtract 1 from it twice before the resulting value’s reciprocal is equal to the silver mean. | ||
| Line 495: | Line 497: | ||
Crossing nobles with beyond golden cases results in continued fractions which can start with anything but eventually settle on all 2’s, 3’s, or n if we base our noble on the n<sup>th</sup> metallic mean. For example, our earlier example 0.226541 is [0; 4, <span style="text-decoration:overline">2</span>] | Crossing nobles with beyond golden cases results in continued fractions which can start with anything but eventually settle on all 2’s, 3’s, or n if we base our noble on the n<sup>th</sup> metallic mean. For example, our earlier example 0.226541 is [0; 4, <span style="text-decoration:overline">2</span>] | ||
=== Application: L:s sequences === | === Application: <span><math>L:s</math></span> sequences === | ||
Continued fractions can compute L:s sequences by repeatedly depleting the terms of the continued fraction for the generator. For example, we’ll look at the L:s sequence for g = [0; 2, 2, <span style="text-decoration:overline">1</span>] ≈ 0.419821. | Continued fractions can compute <span><math>L:s</math></span> sequences by repeatedly depleting the terms of the continued fraction for the generator. For example, we’ll look at the <span><math>L:s</math></span> sequence for g = [0; 2, 2, <span style="text-decoration:overline">1</span>] ≈ 0.419821. | ||
<math> | <math> | ||
| Line 512: | Line 514: | ||
</math> | </math> | ||
We’ve stated that <span><math>L:s = φ</math></span> for every golden scale, while L:s for noble scales eventually do, just not at first. Noble L:s sequences lock onto <span><math>φ</math></span> at the point where depleting the continued fraction more no longer changes it (removing a <span><math>1</math></span> from the beginning of an infinite string of <span><math>1</math></span>’s is a no-op). | We’ve stated that <span><math>L:s = φ</math></span> for every golden scale, while <span><math>L:s</math></span> for noble scales eventually do, just not at first. Noble <span><math>L:s</math></span> sequences lock onto <span><math>φ</math></span> at the point where depleting the continued fraction more no longer changes it (removing a <span><math>1</math></span> from the beginning of an infinite string of <span><math>1</math></span>’s is a no-op). | ||
Thus it makes sense that logarithmic phi’s L:s sequence remains fixed from the beginning, because with a continued fraction of <span><math>[0; 1]</span></math> we get the L:s sequence | Thus it makes sense that logarithmic phi’s <span><math>L:s</math></span> sequence remains fixed from the beginning, because with a continued fraction of <span><math>[0; 1]</span></math> we get the <span><math>L:s</math></span> sequence | ||
<math> | <math> | ||
| Line 526: | Line 528: | ||
</math> | </math> | ||
And it makes sense that the silver mean’s generator would alternate between two L:s ratios, because it will alternate between | And it makes sense that the silver mean’s generator would alternate between two <span><math>L:s</math></span> ratios, because it will alternate between | ||
<math> | <math> | ||
| Line 540: | Line 542: | ||
=== Application: finding generator === | === Application: finding generator === | ||
To compute the L:s sequence, we depleted terms of the generator’s continued fraction. By doing the opposite — gradually building up the generator’s continued fraction by incrementing terms — we can determine the path our generator takes through the Stern-Brocot tree. | To compute the <span><math>L:s</math></span> sequence, we depleted terms of the generator’s continued fraction. By doing the opposite — gradually building up the generator’s continued fraction by incrementing terms — we can determine the path our generator takes through the Stern-Brocot tree. | ||
We’ll use the example of the golden generator, with continued fraction [0; 2, 1] : | We’ll use the example of the golden generator, with continued fraction [0; 2, 1] : | ||
| Line 702: | Line 704: | ||
== Interval pattern recursion == | == Interval pattern recursion == | ||
Earlier we observed the interval patterns of met-MOS scales. Now we’ll explain why they are recursive in the way that they are. | Earlier we observed the interval patterns of met-MOS scales. Now we’ll explain why they are recursive in the way that they are. | ||
=== Golden case === | === Golden case === | ||
We know that the golden generator’s L:s = φ, but we can also say this about them: | |||
We know that the golden generator’s <span><math>L:s = φ</math></span>, but we can also say this about them: | |||
(L+s):L = φ | (L+s):L = φ | ||
| Line 785: | Line 789: | ||
</math> | </math> | ||
So, wherever we have a scale where L:s = δ_s, we’ll also see the interval pattern | So, wherever we have a scale where <span><math>L:s = δ_s</math></span>, we’ll also see the interval pattern | ||
<math> L:s = (2L+s):L = (5L+2s):(2L+s) = (12L+5s):(5L+2s) = (29L+12s):(12L+5s) = … = δ_s | <math> L:s = (2L+s):L = (5L+2s):(2L+s) = (12L+5s):(5L+2s) = (29L+12s):(12L+5s) = … = δ_s | ||
</math> | </math> | ||
Every other scale the silver generator generates has an L:s other than <span><math>δ_s</math></span>, namely, its isotope, <span><math>δ_s - 1</math></span>. These scales have a different pattern: | Every other scale the silver generator generates has an <span><math>L:s</math></span> other than <span><math>δ_s</math></span>, namely, its isotope, <span><math>δ_s - 1</math></span>. These scales have a different pattern: | ||
<math>L:s = (L+2s):(L+s) = δ_s - 1 | <math>L:s = (L+2s):(L+s) = δ_s - 1 | ||
| Line 865: | Line 869: | ||
</math> | </math> | ||
As expected, L:s = (3L+s):L is only true of every ''third'' scale the bronze generator generates. The remaining interval relationships are left as an exercise for the reader. | As expected, <span><math>L:s = (3L+s):L</math></span> is only true of every ''third'' scale the bronze generator generates. The remaining interval relationships are left as an exercise for the reader. | ||
= Gallery of generators = | = Gallery of generators = | ||
| Line 1,259: | Line 1,263: | ||
The periodic part at the end of an interval pattern sequence. | The periodic part at the end of an interval pattern sequence. | ||
'''cycle, L:s''' | '''cycle, <span><math>L:s</math></span>''' | ||
The periodic part at the end of an L:s sequence, cycling through the isotopes of the given metallic mean. | The periodic part at the end of an <span><math>L:s</math></span> sequence, cycling through the isotopes of the given metallic mean. | ||
'''generator, aristocratic''' | '''generator, aristocratic''' | ||
| Line 1,331: | Line 1,335: | ||
For a given scale sequence, the corresponding sequence of their interval patterns. | For a given scale sequence, the corresponding sequence of their interval patterns. | ||
'''sequence, L:s''' | '''sequence, <span><math>L:s</math></span>''' | ||
For a given scale sequence, the corresponding sequence of their L:s ratios. | For a given scale sequence, the corresponding sequence of their <span><math>L:s</math></span> ratios. | ||
'''sequence, scale''' | '''sequence, scale''' | ||
The ordered sequence of scales a generator generates, each one containing the previous, strictly adding new pitches to it. | The ordered sequence of scales a generator generates, each one containing the previous, strictly adding new pitches to it. | ||