Metallic MOS: Difference between revisions

Cmloegcmluin (talk | contribs)
Cmloegcmluin (talk | contribs)
No edit summary
Line 109: Line 109:
|}
|}


== <span><math>L:s</math></span> 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


<math>\qquad L:s
<math>\qquad L{:}s
</math>
</math>


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''.
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 <span><math>L:s</math></span> sequence is simple. Every <span><math>L:s</math></span> 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 = φ
</math>
</math>


=== Noble cases ===
=== Noble cases ===


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.
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 <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:  
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 <span><math>L:s</math></span> 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 <span><math>L:s</math></span> 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 ===


Isotopic <span><math>L:s</math></span> sequences are just like those of their mean’s, but offset.  
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>.
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 <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.
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 174: Line 174:
We know that for golden scales:
We know that for golden scales:


<math>\qquad L:s = φ
<math>\qquad L{:}s = φ
</math>
</math>


Line 197: 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 <span><math>L:s</math></span> sequences only eventually exhibit <span><math>L:s = φ</math></span>).  
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 <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>.
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 <span><math>L:s</math></span> 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,


<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>


and the other half,  
and the other half,  


<math>\qquad L:s = (L+2s):(L+s) = (3L+4s):(2L+3s) = (7L+10s):(5L+7s) = (17L+24s):(12L+17s) = … = δ_s - 1
<math>\qquad L{:}s = (L+2s):(L+s) = (3L+4s):(2L+3s) = (7L+10s):(5L+7s) = (17L+24s):(12L+17s) = … = δ_s - 1
</math>
</math>


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 <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''.
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 <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.  
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 227: Line 227:
= Mathematical explanations =
= Mathematical explanations =


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.
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 233: 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 <span><math>L = s</math></span> and <span><math>L:s = 1</math></span>. 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 368: 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 <span><math>L:s</math></span> 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.


And the noble generator between 0/1 and 1/3
And the noble generator between 0/1 and 1/3
Line 377: Line 377:
</math>
</math>


is very close to the root of the tree; it has initial <span><math>L:s</math></span> ratio of <span><math>φ + 2</math></span>, then attains <span><math>L:s = φ</math></span> after only one iteration. And it begins the golden interval pattern after just one iteration too.
is very close to the root of the tree; it has initial <span><math>L{:}s</math></span> ratio of <span><math>φ + 2</math></span>, then attains <span><math>L{:}s = φ</math></span> after only one iteration. And it begins the golden interval pattern after just one iteration too.


On the other hand, the noble generator equal to <span><math>0.275267</math></span> — while only a smidgen off from the other noble generator we just looked at — necessitates iterating ''six'' times before attaining <span><math>L:s = φ</math></span>. This corresponds to it being the noble generator between <span><math>\frac {5}{18}</math></span> and <span><math>\frac {3}{11}</math></span>, an interval which lies five levels deeper in the Stern-Brocot tree than the interval from <span><math>\frac 01</math></span> to <span><math>\frac 13</math></span>.
On the other hand, the noble generator equal to <span><math>0.275267</math></span> — while only a smidgen off from the other noble generator we just looked at — necessitates iterating ''six'' times before attaining <span><math>L{:}s = φ</math></span>. This corresponds to it being the noble generator between <span><math>\frac {5}{18}</math></span> and <span><math>\frac {3}{11}</math></span>, an interval which lies five levels deeper in the Stern-Brocot tree than the interval from <span><math>\frac 01</math></span> to <span><math>\frac 13</math></span>.


So if we want a golden scale, and we also happen to want a generator near <span><math>0.276393</span></math>, then we’re in luck. But if we want a golden generator that is close to <span><math>0.275267</span></math>, we may be disappointed to hear that it is not “golden” enough for us.
So if we want a golden scale, and we also happen to want a generator near <span><math>0.276393</span></math>, then we’re in luck. But if we want a golden generator that is close to <span><math>0.275267</span></math>, we may be disappointed to hear that it is not “golden” enough for us.
Line 415: Line 415:
== Isotopic arithmetic progression ==
== Isotopic arithmetic progression ==


Now we’ll explain why the <span><math>L:s</math></span> 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 425: 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 <span><math>L:s</math></span> 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 <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.
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 439: Line 439:
</math>
</math>


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  
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 449: Line 449:
</math>
</math>


That’s why the golden <span><math>L:s</math></span> sequence locks into <span><math>L:s = φ</math></span> 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 497: 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: <span><math>L:s</math></span> sequences ===
=== Application: <span><math>L{:}s</math></span> sequences ===


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.
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>
L:s =
L{:}s =
\begin{align}
\begin{align}
\begin{cases}
\begin{cases}
Line 514: Line 514:
</math>
</math>


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).
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 <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  
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>
L:s =
L{:}s =
\begin{align}
\begin{align}
\begin{cases}
\begin{cases}
Line 528: Line 528:
</math>
</math>


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
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>
L:s =
L{:}s =
\begin{align}
\begin{align}
\begin{cases}
\begin{cases}
Line 542: Line 542:


=== Application: finding generator ===
=== Application: finding generator ===
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.  
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 709: Line 709:
=== Golden case ===
=== Golden case ===


We know that the golden generator’s <span><math>L:s = φ</math></span>, 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 722: Line 722:
We can substitute into this equation our large and small scale step sizes in place of a and b, respectively, to see that
We can substitute into this equation our large and small scale step sizes in place of a and b, respectively, to see that


<math>\qquad L:s = (L+s):L = φ
<math>\qquad L{:}s = (L+s):L = φ
</math>
</math>


Line 786: Line 786:
Following the same logic as we followed for the golden case,
Following the same logic as we followed for the golden case,


<math> L:s = (2L+s):L
<math> L{:}s = (2L+s):L
</math>
</math>


So, wherever we have a scale where <span><math>L:s = δ_s</math></span>, 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 <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:  
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
</math>
</math>


Due to this different pattern, we’ll see the different interval pattern
Due to this different pattern, we’ll see the different interval pattern


<math> L:s = (L+2s):(L+s) = (3L+4s):(2L+3s) = (7L+10s):(5L+7s) = (17L+24s):(12L+17s) = … = δ_s - 1
<math> L{:}s = (L+2s):(L+s) = (3L+4s):(2L+3s) = (7L+10s):(5L+7s) = (17L+24s):(12L+17s) = … = δ_s - 1
</math>
</math>


Line 869: Line 869:
</math>
</math>


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.
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,263: 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, <span><math>L:s</math></span>'''
'''cycle, <span><math>L{:}s</math></span>'''


The periodic part at the end of an <span><math>L:s</math></span> 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,335: 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, <span><math>L:s</math></span>'''
'''sequence, <span><math>L{:}s</math></span>'''


For a given scale sequence, the corresponding sequence of their <span><math>L:s</math></span> 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.