Metallic MOS: Difference between revisions
Cmloegcmluin (talk | contribs) m →Application: finding generator: add overline |
Cmloegcmluin (talk | contribs) simplify inline math |
||
| Line 28: | Line 28: | ||
=== Golden case === | === Golden case === | ||
The simplest ''metallic generator'' splits the period into two segments which are related by | The simplest ''metallic generator'' splits the period into two segments which are related by <math>φ</math>. Wilson named this generator “Fibonacci”, after the famous recurrence relation associated with <math>φ</math>, but for consistency here we’ll be calling this the ''golden generator''. | ||
[[File:Golden generator.png|618x618px]] | [[File:Golden generator.png|618x618px]] | ||
| Line 34: | Line 34: | ||
=== Noble cases === | === Noble cases === | ||
Another way to think about the period is the interval from | Another way to think about the period is the interval from <math>\frac 01</math> to <math>\frac 11</math> (these are not frequency ratios, but just another way of writing 0 and 1, the motivation for which will become clear soon). We can find slightly more complex metallic generators by choosing an interval other than the entire period to split into two segments related by <math>φ</math>. For example, we could pick <math>\frac 13</math> to <math>\frac 12</math>, giving us approximately <math>0.419821</math>: | ||
[[File:Noble generator fixed.png|618x618px]] | [[File:Noble generator fixed.png|618x618px]] | ||
Disclaimer: while these two segments are indeed related by | Disclaimer: while these two segments are indeed related by <math>φ</math>, it is not simply by their lengths, as it may appear in the diagram. For now, let it suffice to say that extensions of the golden mean such as this are known as [http://mathworld.wolfram.com/NobleNumber.html noble numbers]. As for why the order of the segments is flipped here — well, that too will be explained later. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
| Line 47: | Line 47: | ||
</math> | </math> | ||
The ''silver generator'' splits the entire period into two segments related by the silver mean, and is approximately equal to | The ''silver generator'' splits the entire period into two segments related by the silver mean, and is approximately equal to <math>0.292894</math>: | ||
[[File:Silver generator.png|618x618px]] | [[File:Silver generator.png|618x618px]] | ||
| Line 56: | Line 56: | ||
</math> | </math> | ||
we find the ''bronze generator'', approximately | we find the ''bronze generator'', approximately <math>0.232408</math>: | ||
[[File:Bronze generator.png|618x618px]] | [[File:Bronze generator.png|618x618px]] | ||
| Line 64: | Line 64: | ||
For metallic means beyond golden, a new category of generator becomes available. | For metallic means beyond golden, a new category of generator becomes available. | ||
Values of the [[wikipedia:Arithmetic_progression|arithmetic progression]] from the metallic mean downwards by | Values of the [[wikipedia:Arithmetic_progression|arithmetic progression]] from the metallic mean downwards by <math>1</math> also impart metallic effects when used to split the period to find a generator. The simplest example uses the silver mean minus one, | ||
<math>\qquad δ_s - 1 ≈ 1.414214 | <math>\qquad δ_s - 1 ≈ 1.414214 | ||
</math> | </math> | ||
finding a generator which is approximately | finding a generator which is approximately <math>0.414214</math>: | ||
[[File:Isotopic generator.png|618x618px]] | [[File:Isotopic generator.png|618x618px]] | ||
We’ll be returning to these values regularly, so for convenience, we’ll refer to them as ''isotopes'' of their respective metallic mean, e.g. | We’ll be returning to these values regularly, so for convenience, we’ll refer to them as ''isotopes'' of their respective metallic mean, e.g. <math>δ_s - 1</math> is the first isotope of the silver mean (and we’ll make no claim as to the scientific appropriateness of this analogy). | ||
Only isotopes greater than | Only isotopes greater than <math>1</math> find new generators; more on this later. | ||
Isotopes theoretically could be formed by adding | Isotopes theoretically could be formed by adding <math>1</math> repeatedly to each mean, instead of subtracting, but these also do not find new generators, and for simplicity we’ll not be considering these to be isotopes at all for our purposes here. | ||
=== Aristocratic cases === | === Aristocratic cases === | ||
We can find even more metallic generators by extending the concept of noble numbers to metallic means beyond the golden, as well as their isotopes. For example, we could choose the silver mean, and | We can find even more metallic generators by extending the concept of noble numbers to metallic means beyond the golden, as well as their isotopes. For example, we could choose the silver mean, and <math>\frac 01</math> to <math>\frac 12</math> as our interval, finding approximately <math>0.226541</math>: | ||
[[File:Aristocratic generator.png|618x618px]] | [[File:Aristocratic generator.png|618x618px]] | ||
| Line 108: | Line 108: | ||
|} | |} | ||
== | ==<math>L{:}s</math> sequences== | ||
Each scale has exactly two step sizes: large and small, or | Each scale has exactly two step sizes: large and small, or <math>L</math> and <math>s</math>. 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 | We’ll call the ordered set of scales a generator generates its ''scale sequence'', and the ordered set of <math>L{:}s</math> corresponding to these scales a generator’s ''<math>L{:}s</math> sequence''. | ||
=== Golden case === | === Golden case === | ||
The golden generator’s | The golden generator’s <math>L{:}s</math> sequence is simple. Every <math>L{:}s</math> ratio is <math>φ</math>: | ||
<math>\qquad L{:}s = φ | <math>\qquad L{:}s = φ | ||
| Line 126: | Line 126: | ||
=== Noble cases === | === Noble cases === | ||
A noble generator’s | A noble generator’s <math>L{:}s</math> sequence is slightly more complex. Not every — but almost every — <math>L{:}s</math> is <math>φ</math>. Only the first few are not. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
Instead of every scale’s | Instead of every scale’s <math>L{:}s</math> equaling the same value, as is the case for the golden mean, the silver mean’s <math>L{:}s</math> sequence alternates between its isotopes that are greater than 1: | ||
<math> | <math> | ||
| Line 141: | Line 141: | ||
</math> | </math> | ||
And the bronze mean’s | And the bronze mean’s <math>L{:}s</math> sequence cycles through its isotopes that are greater than 1: | ||
<math> | <math> | ||
| Line 153: | Line 153: | ||
</math> | </math> | ||
Any n-metallic mean’s | Any n-metallic mean’s <math>L{:}s</math> sequence will cycle through its isotopes that are greater than 1. | ||
=== Isotopic cases === | === Isotopic cases === | ||
Isotopic | Isotopic <math>L{:}s</math> sequences are just like those of their mean’s, but offset. | ||
For example, the silver mean’s first isotope’s generator’s | For example, the silver mean’s first isotope’s generator’s <math>L{:}s</math> sequence alternates between <math>L{:}s = δ_s</math> and <math>L{:}s = δ_s - 1</math>, just like the silver generator’s, however — unlike the silver generator’s — it begins with <math>L{:}s = δ_s - 1</math>. | ||
=== 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 | Again, aristocratic scales synthesize both the complexities of noble scales and beyond golden scales. We’ll call the periodic part of an <math>L{:}s</math> sequence its ''<math>L{:}s</math> cycle''. So most of the <math>L{:}s</math> sequence will be the <math>L{:}s</math> cycle, with only the first few scales not being so. | ||
== Interval patterns == | == Interval patterns == | ||
| Line 176: | Line 176: | ||
</math> | </math> | ||
But that’s not all. Due to the mathemagic of | But that’s not all. Due to the mathemagic of <math>φ</math>, we also get a recursive interval relationship pattern: | ||
<math> | <math> | ||
| Line 198: | Line 198: | ||
=== 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 | Noble scales at first do not — but eventually do — reach a point where they start exhibiting this interval pattern (paralleling how their <math>L{:}s</math> sequences only eventually exhibit <math>L{:}s = φ</math>). | ||
Once we’ve iterated past the point that our scale exhibits | Once we’ve iterated past the point that our scale exhibits <math>L{:}s = φ</math>, some of the smaller intervals will begin to be related by <math>φ</math>, but its larger intervals will never be related by <math>φ</math>. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
The silver generator, as it did for its | The silver generator, as it did for its <math>L{:}s</math> sequence, alternates in quality between its two <math>>1</math> isotopes for its intervals. For half of its scales, | ||
<math> | <math> | ||
| Line 240: | Line 240: | ||
</math> | </math> | ||
Bronze’s scales cycle through three different interval patterns related to its respective | Bronze’s scales cycle through three different interval patterns related to its respective <math>>1</math> isotopes. | ||
This pattern continues for other metallic means. As another entry to our family of sequence terms (along with scale sequence and | This pattern continues for other metallic means. As another entry to our family of sequence terms (along with scale sequence and <math>L{:}s</math> 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 | As with <math>L{:}s</math> 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 254: | Line 254: | ||
= Mathematical explanations = | = Mathematical explanations = | ||
We’ll now start going through mathematical explanations for the behavior we’ve observed about met-MOS generators, | We’ll now start going through mathematical explanations for the behavior we’ve observed about met-MOS generators, <math>L{:}s</math> sequences, and interval patterns. | ||
== Infinite scale sequences == | == Infinite scale sequences == | ||
| Line 260: | Line 260: | ||
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 | 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 <math>L = s</math> and <math>L{:}s = 1</math>. For example, the generator | ||
<math>\qquad \frac{5}{12} = 0.41\overline{6} | <math>\qquad \frac{5}{12} = 0.41\overline{6} | ||
</math> | </math> | ||
generates scales with cardinality 2, 3, 5, 7, but when it reaches cardinality 12, it has generated 12edo. This occurs exactly at the moment when the generator has been repeated until it has returned exactly to from where it started (because | generates scales with cardinality 2, 3, 5, 7, but when it reaches cardinality 12, it has generated 12edo. This occurs exactly at the moment when the generator has been repeated until it has returned exactly to from where it started (because <math>\frac{5}{12} · 12 = 5</math>, which is a multiple of the period, <math>1</math>); if we repeated the generator any more, we’d just go over the ground we already trod. | ||
Irrational generators will never be able to return to exactly from where they started, so they will continue to divide the period up into smaller and smaller steps forever. At some point, however, the scales they generate will cease to be musically practical, because their steps will have become so small. | Irrational generators will never be able to return to exactly from where they started, so they will continue to divide the period up into smaller and smaller steps forever. At some point, however, the scales they generate will cease to be musically practical, because their steps will have become so small. | ||
| Line 271: | Line 271: | ||
What is special about metallic generators’ infinite scale sequences — as opposed to those of other irrational generators — is that no matter how infinitesimally small their steps become, they will maintain their metallic ratios to each other. | What is special about metallic generators’ infinite scale sequences — as opposed to those of other irrational generators — is that no matter how infinitesimally small their steps become, they will maintain their metallic ratios to each other. | ||
The ratio L:s = | The ratio L:s = <math>φ</math> is unique in that it is the only ratio in which the MOS is [[strictly proper]], and all of its descendent MOS's are also strictly proper. | ||
== Weighted mediants == | == Weighted mediants == | ||
| Line 279: | Line 279: | ||
Recall that in order to find a metallic generator, we find a value which splits an interval into two segments related by a metallic mean. When this technique was introduced earlier, we left the definition of “related by” vague. Well, now is the time to make it explicit. | Recall that in order to find a metallic generator, we find a value which splits an interval into two segments related by a metallic mean. When this technique was introduced earlier, we left the definition of “related by” vague. Well, now is the time to make it explicit. | ||
In our very first case — that of the golden generator — “related by” ''could'' be defined as simply “having a ratio of”. We’ll check the segment lengths to confirm this. One of the two segments is, of course, equal to the golden generator, approximately | In our very first case — that of the golden generator — “related by” ''could'' be defined as simply “having a ratio of”. We’ll check the segment lengths to confirm this. One of the two segments is, of course, equal to the golden generator, approximately <math>0.381966</math>. The other is equal to the remainder of the golden generator with the period: | ||
<math>\qquad 1 - 0.381966 = 0.618034 | <math>\qquad 1 - 0.381966 = 0.618034 | ||
</math> | </math> | ||
And as we can see, the ratio between those two lengths is | And as we can see, the ratio between those two lengths is <math>φ</math>: | ||
<math>\qquad \frac{0.618034}{0.381966} ≈ φ | <math>\qquad \frac{0.618034}{0.381966} ≈ φ | ||
| Line 293: | Line 293: | ||
The correct general definition of a metallic generator is actually a [[wikipedia:Mediant_(mathematics)|mediant]] of the two ratios which bound the interval. | The correct general definition of a metallic generator is actually a [[wikipedia:Mediant_(mathematics)|mediant]] of the two ratios which bound the interval. | ||
But even then it’s not quite that simple, because it’s not a ''simple'' mediant between | But even then it’s not quite that simple, because it’s not a ''simple'' mediant between <math>\frac{a_1}{a_2}</math> and <math>\frac{b_1}{b_2}</math>, which would look like this: | ||
<math>\qquad \frac{a_1 + b_1}{a_2 + b_2} | <math>\qquad \frac{a_1 + b_1}{a_2 + b_2} | ||
</math> | </math> | ||
Rather, it’s a [https://www.mathpages.com/home/kmath055/kmath055.htm ''weighted'' mediant], where the weight is | Rather, it’s a [https://www.mathpages.com/home/kmath055/kmath055.htm ''weighted'' mediant], where the weight is <math>\frac{w_1}{w_2}</math>, which looks like this: | ||
<math>\qquad \frac{a_1w_1 + b_1w_2}{a_2w_1 + b_2w_2} | <math>\qquad \frac{a_1w_1 + b_1w_2}{a_2w_1 + b_2w_2} | ||
</math> | </math> | ||
In particular, it is the mediant which is weighted by the desired metallic mean | In particular, it is the mediant which is weighted by the desired metallic mean <math>μ</math>: | ||
<math>\qquad \frac{a_1μ + b_1}{a_2μ + b_2} | <math>\qquad \frac{a_1μ + b_1}{a_2μ + b_2} | ||
</math> | </math> | ||
In some materials, the weighted mediant between two ratios using | In some materials, the weighted mediant between two ratios using <math>φ</math> as the weight is referred to as the value "phi-way" between these two ratios. This analogy with the word "halfway" is misleading, because while the value halfway between two ratios splits the length into two segments which each are half of the total length, with the weighted mediant, the value splits the length into two segments neither of which is <math>φ</math> of the total length. In fact, that would not be possible, because while half is less than one, <math>φ</math> is greater than one, and part of a length can never be greater than the whole length. An alternative phrasing could be: the value <math>φ</math>-weighted from <math>\frac{a_1}{a_2}</math> to <math>\frac{b_1}{b_2}</math>; besides eschewing the misleading association with "halfway", another advantage of this nomenclature is its ability to specify, via the from/to, which direction the mediant is weighted. Another potential name for this construct is the "phidiant" (or "<math>φ</math>-diant") from <math>\frac{a_1}{a_2}</math> to <math>\frac{b_1}{b_2}</math>, which is especially nice if you a person who pronounces <math>φ</math> like /fiː/ (the same as "fee"). | ||
=== As a bizarro average === | === As a bizarro average === | ||
We can think of a mediant like a bizarro average of two ratios: however we may choose to weight one, it will always lie somewhere between the two ratios. That is why we can call these two ratios its bounds. This fact is easy enough to intuit: as the weight tends toward zero, the effects of | We can think of a mediant like a bizarro average of two ratios: however we may choose to weight one, it will always lie somewhere between the two ratios. That is why we can call these two ratios its bounds. This fact is easy enough to intuit: as the weight tends toward zero, the effects of <math>a_1</math> and <math>a_2</math> drops off to nothing, and as it tends toward infinity, their effects begin to utterly overwhelm <math>b_1</math> and <math>b_2</math>. | ||
<math> | <math> | ||
| Line 322: | Line 322: | ||
=== Checking our earlier results === | === Checking our earlier results === | ||
To confirm that the weighted mediant formula gives the same result for the golden generator as we were using before, we can plug in | To confirm that the weighted mediant formula gives the same result for the golden generator as we were using before, we can plug in <math>\frac 01</math> and <math>\frac 11</math> for our bounds: | ||
<math>\qquad \frac{1φ + 0}{1φ + 1} ≈ 0.618034 | <math>\qquad \frac{1φ + 0}{1φ + 1} ≈ 0.618034 | ||
</math> | </math> | ||
And finally we can show how we got approximately | And finally we can show how we got approximately <math>0.419821</math> as the value for the noble generator between <math>\frac 13</math> and <math>\frac 12</math>: | ||
<math>\qquad \frac{1φ + 1}{2φ + 3} ≈ 0.419821 | <math>\qquad \frac{1φ + 1}{2φ + 3} ≈ 0.419821 | ||
| Line 345: | Line 345: | ||
[[File:1200px-SternBrocotTree.svg.png|618x618px]] | [[File:1200px-SternBrocotTree.svg.png|618x618px]] | ||
As we can see, Stern-Brocot tree actually covers ratios greater than 1, but for met-MOS purposes, we only need to consider the left half of it (in fact, we only need to consider the left quarter of it, since generators greater than | As we can see, Stern-Brocot tree actually covers ratios greater than 1, but for met-MOS purposes, we only need to consider the left half of it (in fact, we only need to consider the left quarter of it, since generators greater than <math>\frac 12</math> are complements of those less than <math>\frac 12</math> and generate the same scales; but more on that later). | ||
So to quickly find a unique metallic generator, we only have to choose a ratio from the tree, and then choose either one of its two parent ratios; the line connecting these two ratios will be our interval. | So to quickly find a unique metallic generator, we only have to choose a ratio from the tree, and then choose either one of its two parent ratios; the line connecting these two ratios will be our interval. | ||
| Line 357: | Line 357: | ||
But if we follow the policy of finding by the child ratio first and then the parent ratio, we only have to avoid the currently shallowest level of the tree. This is much easier, because: | But if we follow the policy of finding by the child ratio first and then the parent ratio, we only have to avoid the currently shallowest level of the tree. This is much easier, because: | ||
# it never changes — it’s always at the root of the tree; | # it never changes — it’s always at the root of the tree; | ||
# it’s much smaller, including only a single ratio, | # it’s much smaller, including only a single ratio, <math>\frac 01</math>; | ||
# that single ratio doesn’t even have a parent ratio anyway, so it’s easy to avoid. | # that single ratio doesn’t even have a parent ratio anyway, so it’s easy to avoid. | ||
Another benefit of finding by the child ratio is that every ratio has exactly two parent ratios, while its count of child ratios is variable (consider how many child ratios | Another benefit of finding by the child ratio is that every ratio has exactly two parent ratios, while its count of child ratios is variable (consider how many child ratios <math>\frac 01</math> has). | ||
Each interval spans two levels of the tree, because a parent ratio will always be one level less than its child ratio. When classifying intervals by level, then, we should classify them by the child ratio. For example, we should consider the interval | Each interval spans two levels of the tree, because a parent ratio will always be one level less than its child ratio. When classifying intervals by level, then, we should classify them by the child ratio. For example, we should consider the interval <math>\frac 17</math> to <math>\frac 16</math> a seventh-level interval, because it would not be available until we included the seventh level. | ||
By the way, here is an easy way to identify which level of the tree a ratio is on: we can scan along the level to the left until we find the unit fraction which appears in the initial position, closest to | By the way, here is an easy way to identify which level of the tree a ratio is on: we can scan along the level to the left until we find the unit fraction which appears in the initial position, closest to <math>\frac 01</math>; if our level starts with <math>\frac 1n</math>, then the ratio is in the <math>n</math>th level. | ||
=== Interval lean === | === Interval lean === | ||
| Line 377: | Line 377: | ||
</math> | </math> | ||
because — of its two bounding ratios, | because — of its two bounding ratios, <math>\frac 12</math> and <math>\frac 13</math> — the parent is <math>\frac 12</math>. | ||
We could weight childward instead though: | We could weight childward instead though: | ||
| Line 386: | Line 386: | ||
which, interestingly, gives us the same value as the golden generator. | which, interestingly, gives us the same value as the golden generator. | ||
In Wilson’s work, he only used childward lean; had he included parentward lean for his noble generators, he would have found every single generator in one earlier level of the tree than he had previously. For example, he names the golden generator, leaning toward | In Wilson’s work, he only used childward lean; had he included parentward lean for his noble generators, he would have found every single generator in one earlier level of the tree than he had previously. For example, he names the golden generator, leaning toward <math>\frac 12</math>, which of the two ratios is the child: | ||
<math>\qquad \frac{1φ + 0}{2φ + 1} ≈ 0.381966 | <math>\qquad \frac{1φ + 0}{2φ + 1} ≈ 0.381966 | ||
</math> | </math> | ||
whereas we would name it, leaning toward | whereas we would name it, leaning toward <math>\frac 01</math>, which of our two ratios is the parent: | ||
<math>\qquad \frac{0φ + 1}{1φ + 1} ≈ 0.381966 | <math>\qquad \frac{0φ + 1}{1φ + 1} ≈ 0.381966 | ||
| Line 401: | Line 401: | ||
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 | # begins the periodic phase of the <math>L{:}s</math> 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 | The golden generator is essentially the noble generator for the interval <math>\frac 01</math> to <math>\frac 11</math>, which — being the root of the Stern-Brocot tree — is as golden as we can get: we see <math>L{:}s = φ</math> and <math>φ</math>'s distinctive interval pattern from the very start. | ||
And the noble generator between | And the noble generator between <math>\frac 01</math> and <math>\frac 13</math> | ||
<math>\qquad \frac{1φ + 0}{3φ + 1} ≈ 0.276393 | <math>\qquad \frac{1φ + 0}{3φ + 1} ≈ 0.276393 | ||
</math> | </math> | ||
is very close to the root of the tree; it has initial | is very close to the root of the tree; it has initial <math>L{:}s</math> ratio of <math>φ + 2</math>, then attains <math>L{:}s = φ</math> 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 | On the other hand, the noble generator equal to <math>0.275267</math> — while only a smidgen off from the other noble generator we just looked at — necessitates iterating ''six'' times before attaining <math>L{:}s = φ</math>. This corresponds to it being the noble generator between <math>\frac {5}{18}</math> and <math>\frac {3}{11}</math>, an interval which lies five levels deeper in the Stern-Brocot tree than the interval from <math>\frac 01</math> to <math>\frac 13</math>. | ||
So if we want a golden scale, and we also happen to want a generator near | So if we want a golden scale, and we also happen to want a generator near <math>0.276393</math>, then we’re in luck. But if we want a golden generator that is close to <math>0.275267</math>, we may be disappointed to hear that it is not “golden” enough for us. | ||
Wilson [http://www.anaphoria.com/hrgm.PDF documented noble scale sequences through the sixth level of the Stern-Brocot tree] (or as he called it, the “scale tree” or “Peirce Series”), totalling 32 noble generators. He also [http://anaphoria.com/sctree.pdf recorded just the generator values down to the eleventh level] for a total of 1024 generators. Exploring generators beyond that was probably just not worth it, because their metallicity levels are too low. We will cut ourselves off at the seventh level in our scale trees, as we depict generators for the silver and bronze means, and their isotopes too. | Wilson [http://www.anaphoria.com/hrgm.PDF documented noble scale sequences through the sixth level of the Stern-Brocot tree] (or as he called it, the “scale tree” or “Peirce Series”), totalling 32 noble generators. He also [http://anaphoria.com/sctree.pdf recorded just the generator values down to the eleventh level] for a total of 1024 generators. Exploring generators beyond that was probably just not worth it, because their metallicity levels are too low. We will cut ourselves off at the seventh level in our scale trees, as we depict generators for the silver and bronze means, and their isotopes too. | ||
| Line 440: | Line 440: | ||
By “equivalent”, we mean that they will generate essentially the same scale sequence. And by “essentially the same” we mean that the scales will be mirror images of each other, which for an MOS scale, happens to also mean that they are simply transpositions of each other (different modes of the same scale). | By “equivalent”, we mean that they will generate essentially the same scale sequence. And by “essentially the same” we mean that the scales will be mirror images of each other, which for an MOS scale, happens to also mean that they are simply transpositions of each other (different modes of the same scale). | ||
As for why we pick the lower half of the period rather than the upper half, this is somewhat arbitrary, but it seems objectively simpler to keep our lower bound at | As for why we pick the lower half of the period rather than the upper half, this is somewhat arbitrary, but it seems objectively simpler to keep our lower bound at <math>0</math>. | ||
Sure, depending on the context, the generator complement greater than | Sure, depending on the context, the generator complement greater than <math>0.5</math> may be the one we want to describe our scale in terms of. For example, we may be thinking of the generator as the perfect fifth instead of the perfect fourth. Or we may want to use <math>0.618034</math> instead of its complement <math>0.381966</math> (we’ve been using the latter and calling it the golden generator, but some readers may be more familiar with the former, known as “[[logarithmic phi]]”, which is 741.64¢ when the period is an octave). But for purposes of cataloging we prefer the smaller, or ''reduced'' of the two complements. | ||
And this is a subtle point, but it’s another reason to prefer leaning intervals parentward. We have a potential problem: we don’t want to find generators | And this is a subtle point, but it’s another reason to prefer leaning intervals parentward. We have a potential problem: we don’t want to find generators <math>> 0.5</math>. Almost every interval we include does not even allow for that possibility, but one interval does threaten this: the interval <math>\frac 01</math> to <math>\frac 11</math>. We include this interval because it occupies space between <math>\frac 01</math> and <math>\frac 12</math> — so has potential to find useful generators — but we have to be careful with it to avoid finding generators <math>> 0.5</math>. The method for this is simple. First, note that the unweighted mediant in the interval <math>\frac 01</math> to <math>\frac 11</math> is <math>\frac 12</math>, or exactly <math>0.5</math>. So if we want to avoid generators <math>> 0.5</math>, all we must do is make sure to weight more toward <math>\frac 01</math>. Since of these two ratios <math>\frac 01</math> and <math>\frac 11</math>, the parent ratio is <math>\frac 01</math>, weighting parentward is the solution. | ||
== Isotopic arithmetic progression == | == Isotopic arithmetic progression == | ||
Now we’ll explain why the | Now we’ll explain why the <math>L{:}s</math> sequences for metallic means cycle through their isotopes. | ||
=== Why they decrease by 1 === | === Why they decrease by 1 === | ||
| Line 458: | Line 458: | ||
[[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 | 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 <math>1</math> then we can treat our large steps’ size as equal to the <math>L{:}s</math> ratio. | ||
So the | So the <math>L{:}s</math> ratio decreases by <math>1</math> because if an <math>s</math>-sized chunk has been sliced off <math>L</math>, and <math>s</math>’s size is <math>1</math>, then <math>1</math> should be subtracted from <math>L</math>. | ||
<math> | <math> | ||
| Line 472: | Line 472: | ||
=== Why they cycle === | === Why they cycle === | ||
That is true of scale iterations where | That is true of scale iterations where <math>L - s > s</math>. For the other type of scale iteration, where <math>L - s < s</math>, the result is simply reciprocated: | ||
<math> | <math> | ||
| Line 482: | Line 482: | ||
</math> | </math> | ||
This alone would not suffice to explain how the | This alone would not suffice to explain how the <math>L{:}s</math> sequences lock into a cycle of isotopes. But here’s where the magic of the metallic means comes into play. <math>φ</math> has the property that | ||
<math>\qquad φ - 1 = \frac{1}{φ} | <math>\qquad φ - 1 = \frac{1}{φ} | ||
</math> | </math> | ||
So, in the case of | So, in the case of <math>φ</math>: | ||
<math> | <math> | ||
| Line 498: | Line 498: | ||
</math> | </math> | ||
That’s why the golden | That’s why the golden <math>L{:}s</math> sequence locks into <math>L{:}s = φ</math> 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 515: | Line 515: | ||
And that is why the isotopes less than 1 do not work for finding generators: they are redundant with their respective metallic mean. | And that is why the isotopes less than 1 do not work for finding generators: they are redundant with their respective metallic mean. | ||
For example, the golden mean does have an isotope, | For example, the golden mean does have an isotope, <math>≈ 0.618034</math>, however, because the golden mean minus one is the same as the inverse of the golden mean, | ||
<math>\qquad 1{:}φ = (φ - 1){:}1 | <math>\qquad 1{:}φ = (φ - 1){:}1 | ||
| Line 530: | Line 530: | ||
First we’ll document some behavior of continued fractions. Then we’ll get into applications. | First we’ll document some behavior of continued fractions. Then we’ll get into applications. | ||
The metallic means are all irrational numbers. Therefore their continued fractions are infinite, with a periodic pattern at the end. An advantage of continued fractions over the decimal system is that we can easily determine whether a number is rational by whether a periodic pattern at the end is required. Decimals, on the other hand, sometimes require periodic patterns at the end even when the number is rational, such as | The metallic means are all irrational numbers. Therefore their continued fractions are infinite, with a periodic pattern at the end. An advantage of continued fractions over the decimal system is that we can easily determine whether a number is rational by whether a periodic pattern at the end is required. Decimals, on the other hand, sometimes require periodic patterns at the end even when the number is rational, such as <math>\frac 13</math> which is <math>0.\overline{3}</math>, or <math>\frac 17</math> which is <math>0.\overline{142857}</math>; as continued fractions these two values are, respectively, <math>[0; 3]</math> and <math>[0; 7]</math>. | ||
The golden mean has the continued fraction | The golden mean has the continued fraction <math>[1; \overline{1}]</math>. The larger a term in a continued fraction, the closer the approximation of the value at that point; by this conception of irrationality, the golden mean is sometimes said to be the most irrational number possible, eluding close approximation by any ratio as much as possible at every turn. | ||
The silver mean follows it closely with continued fraction | The silver mean follows it closely with continued fraction <math>[2; \overline{2}]</math>, and the bronze mean with <math>[3; \overline{3}]</math>. | ||
A handy way to quickly find the reciprocal of a number is to prepend its continued fraction with a 0. So, we can find the golden mean’s isotope | A handy way to quickly find the reciprocal of a number is to prepend its continued fraction with a 0. So, we can find the golden mean’s isotope <math>0.618034</math> is <math>[0; \overline{1}]</math>. | ||
Actually any isotope’s continued fraction is found by simply depleting the initial term. For example, the silver mean’s isotopes are | Actually any isotope’s continued fraction is found by simply depleting the initial term. For example, the silver mean’s isotopes are <math>[1; \overline{2}]</math> and <math>[0; \overline{2}]</math>. The initial term of a continued fraction, the one to the left of the semicolon, carries the same information as the digit of a decimal just to the left of the decimal point, i.e. any number starting with <math>[0;]</math> is between 0 and 1. | ||
The continued fraction for any abstract generator should start with 0, then, because it must be less than the period, which is 1 (if not less than 0.5, as we’ve been preferring, because of the generator complement effect). | The continued fraction for any abstract generator should start with 0, then, because it must be less than the period, which is 1 (if not less than 0.5, as we’ve been preferring, because of the generator complement effect). | ||
Noble generators start with other numbers but then settle on all 1’s; for example, our earlier example of | Noble generators start with other numbers but then settle on all 1’s; for example, our earlier example of <math>0.419821</math> is <math>[0; 2, 2, \overline{1}]</math>. | ||
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 | 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 <math>n</math> if we base our noble on the <math>n</math>th metallic mean. For example, our earlier example <math>0.226541</math> is <math>[0; 4, \overline{2}]</math> | ||
=== Application: | === Application: <math>L{:}s</math> sequences=== | ||
Continued fractions can compute | Continued fractions can compute <math>L{:}s</math> sequences by repeatedly depleting the terms of the continued fraction for the generator. For example, we’ll look at the <math>L{:}s</math> sequence for <math>g = [0; 2, 2, \overline{1}] ≈ 0.419821</math>. | ||
<math> | <math> | ||
| Line 563: | Line 563: | ||
</math> | </math> | ||
We’ve stated that | We’ve stated that <math>L{:}s = φ</math> for every golden scale, while <math>L{:}s</math> for noble scales eventually do, just not at first. Noble <math>L{:}s</math> sequences lock onto <math>φ</math> at the point where depleting the continued fraction more no longer changes it (removing a <math>1</math> from the beginning of an infinite string of <math>1</math>’s is a no-op). | ||
Thus it makes sense that logarithmic phi’s | Thus it makes sense that logarithmic phi’s <math>L{:}s</math> sequence remains fixed from the beginning, because with a continued fraction of <math>[0; 1]</math> we get the <math>L{:}s</math> sequence | ||
<math> | <math> | ||
| Line 577: | Line 577: | ||
</math> | </math> | ||
And it makes sense that the silver mean’s generator would alternate between two | And it makes sense that the silver mean’s generator would alternate between two <math>L{:}s</math> ratios, because it will alternate between | ||
<math> | <math> | ||
| Line 591: | Line 591: | ||
=== Application: finding generator === | === Application: finding generator === | ||
To compute the | To compute the <math>L{:}s</math> 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 | We’ll use the example of the golden generator, with continued fraction <math>[0; 2, \overline{1}]</math>: | ||
<math> | <math> | ||
| Line 609: | Line 609: | ||
</math> | </math> | ||
If we look at the path that the generator | If we look at the path that the generator <math>≈ 0.381966</math> takes through the scale tree — which intervals it crosses between as it goes — we’ll see that they are precisely the intervals bounded by these ratios, in this order. | ||
Perhaps an even better way to approach the problem is to consider the terms of the continued fraction as map directions through the scale tree: each term represents a count of steps one should go in one direction, left or right, before switching directions. We start at | Perhaps an even better way to approach the problem is to consider the terms of the continued fraction as map directions through the scale tree: each term represents a count of steps one should go in one direction, left or right, before switching directions. We start at <math>\frac11</math>, going left twice to <math>\frac12</math> and then to <math>\frac13</math>. Then we go right once to <math>\frac25</math>. Then we go left once to <math>\frac38</math>, and right once to <math>\frac{5}{13}</math>, and we can continue onwards. | ||
=== Application: finding tree level === | === Application: finding tree level === | ||
The sum of the terms of any continued fraction in the Stern-Brocot tree is equal to its level in the tree. For example, the fifth level of the tree consists of | The sum of the terms of any continued fraction in the Stern-Brocot tree is equal to its level in the tree. For example, the fifth level of the tree consists of <math>\frac 15</math>, <math>\frac 27</math>, <math>\frac 38</math>, and <math>\frac 37</math>: | ||
<math> | <math> | ||
| Line 628: | Line 628: | ||
=== μ notation === | === μ notation === | ||
A number of names and symbols have historically been used to denote metallic means. But many of them are ambiguous, or outright conflict with each other, and unfortunately none of them are optimal for met-MOS purposes. We’ve gotten by alright so far using traditional names and symbols in this discussion, but for the master charts we’re going to need to break from tradition in order to most clearly convey the patterns therein. So, we here propose a new notation using the Greek letter | A number of names and symbols have historically been used to denote metallic means. But many of them are ambiguous, or outright conflict with each other, and unfortunately none of them are optimal for met-MOS purposes. We’ve gotten by alright so far using traditional names and symbols in this discussion, but for the master charts we’re going to need to break from tradition in order to most clearly convey the patterns therein. So, we here propose a new notation using the Greek letter <math>μ</math>, read “mu” (<math>μ</math> because “m” figures so prominently in this domain: “m” for metallic, mean, or moment). | ||
This | This <math>μ</math> notation is a direct mapping of the continued fraction for the metallic mean or isotope, as can clearly be seen in the following chart. | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 739: | Line 739: | ||
=== Golden case === | === Golden case === | ||
We know that the golden generator’s | We know that the golden generator’s <math>L{:}s = φ</math>, but we can also say this about them: | ||
<math>\qquad (L+s){:}L = φ | <math>\qquad (L+s){:}L = φ | ||
</math> | </math> | ||
In other words, any interval in the scale which spans exactly one large and one small step is | In other words, any interval in the scale which spans exactly one large and one small step is <math>φ</math> times the size of one large step. | ||
This fact follows from one of the many ways of defining the golden mean: the value for which | This fact follows from one of the many ways of defining the golden mean: the value for which | ||
| Line 756: | Line 756: | ||
</math> | </math> | ||
But we’re only getting started. This situation has recursive potential. We can now substitute | But we’re only getting started. This situation has recursive potential. We can now substitute <math>L+s</math> in for <math>L</math> as long as we also substitute in <math>L</math> for <math>s</math>, and we’ll still get a ratio that <math>= φ</math>: | ||
<math> | <math> | ||
| Line 786: | Line 786: | ||
We can visualize the interval pattern using what is called a horogram: | We can visualize the interval pattern using what is called a horogram: | ||
[[File:Golden_horogram.png|alt=horogram for g ≈ 0.381966, 7 iterations|none|frame|horogram for g ≈ 0.381966, 7 iterations]] | [[File:Golden_horogram.png|alt=horogram for g ≈ 0.381966, 7 iterations|none|frame|horogram for g ≈ 0.381966, 7 iterations]] | ||
Horograms depict the scale sequences of MOS generators. To understand how the horogram illustrates the interval pattern, too, first consider just the left side of the interval pattern, for | Horograms depict the scale sequences of MOS generators. To understand how the horogram illustrates the interval pattern, too, first consider just the left side of the interval pattern, for <math>L</math>: | ||
<math> | <math> | ||
| Line 799: | Line 799: | ||
</math> | </math> | ||
Now find any | Now find any <math>L</math> in the horogram and observe how it gets split up as we iterate through the scale sequence. In the next iteration, <math>L</math> will be replaced with an <math>L</math> and an <math>s</math>. After two iterations, the original <math>L</math> interval is now represented by two <math>L</math>’s and an <math>s</math>. And so forth. | ||
The same will hold for the right side of the interval pattern, for | The same will hold for the right side of the interval pattern, for <math>s</math>: | ||
<math> | <math> | ||
| Line 812: | Line 812: | ||
</math> | </math> | ||
Find any | Find any <math>s</math> in the horogram and observe how it gets split up as we iterate through the scale sequence. In the next iteration, <math>s</math> will be replaced with <math>L</math>. After two iterations, the original <math>s</math> interval is now represented by an <math>L</math> and an <math>s</math>. And so forth. | ||
Every MOS scale contains every scale earlier in its scale sequence. In other words, any interval that existed in an earlier scale will remain in all later scales. These earlier | Every MOS scale contains every scale earlier in its scale sequence. In other words, any interval that existed in an earlier scale will remain in all later scales. These earlier <math>L</math>’s and <math>s</math>’s that remain — only now spanning many <math>L</math>’s and <math>s</math>’s each — are precisely the larger intervals in the scale that also exhibit the <math>φ</math> ratio to each other. | ||
=== Beyond golden cases === | === Beyond golden cases === | ||
If the golden mean is the value for which | If the golden mean is the value for which <math>a{:}b = (a+b){:}a</math>, then the silver mean is the value for which | ||
<math> a{:}b = (2a+b){:}a = δ_s | <math> a{:}b = (2a+b){:}a = δ_s | ||
| Line 828: | Line 828: | ||
</math> | </math> | ||
So, wherever we have a scale where | So, wherever we have a scale where <math>L{:}s = δ_s</math>, we’ll also see the interval pattern | ||
<math> | <math> | ||
| Line 846: | Line 846: | ||
</math> | </math> | ||
Every other scale the silver generator generates has an | Every other scale the silver generator generates has an <math>L{:}s</math> other than <math>δ_s</math>, namely, its isotope, <math>δ_s - 1</math>. 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 871: | Line 871: | ||
[[File:Silver horogram.png|alt=horogram for g = 0.292893, 7 iterations|horogram for g = 0.292893, 7 iterations|none|frame]] | [[File:Silver horogram.png|alt=horogram for g = 0.292893, 7 iterations|horogram for g = 0.292893, 7 iterations|none|frame]] | ||
We can use the horogram for the silver generator to see how its interval pattern cycle is length 2, i.e. that it alternates between two different interval patterns. If we want to understand the interval pattern for | We can use the horogram for the silver generator to see how its interval pattern cycle is length 2, i.e. that it alternates between two different interval patterns. If we want to understand the interval pattern for <math>δ_s</math>, we’ll look at the right and left sides separately, as we did with the golden: | ||
<math> | <math> | ||
| Line 893: | Line 893: | ||
</math> | </math> | ||
We’ll repeat the technique we used for the golden case: find any | We’ll repeat the technique we used for the golden case: find any <math>L</math> in the horogram and observe how it gets split up as we iterate through the scale sequence. However, the complexity that silver introduces is that we don’t look to the next iteration to see the next entry in the interval pattern; we have to skip an iteration. So if we just look at all the odd rings, ring 1, 3, 5, 7, etc. then we’ll see the pattern. The same is true of <math>s</math>. | ||
And if we want to understand the interval pattern for | And if we want to understand the interval pattern for <math>δ_s - 1</math>, we’ll look at the right and left sides separately: | ||
<math> | <math> | ||
| Line 919: | Line 919: | ||
And now we’ll look not at the odd, but at the even iterations, rings 2, 4, 6, 8, etc. to see the pattern visualized. | And now we’ll look not at the odd, but at the even iterations, rings 2, 4, 6, 8, etc. to see the pattern visualized. | ||
There’s something a bit different about the interval pattern for | There’s something a bit different about the interval pattern for <math>δ_s - 1</math> from the other two we’ve looked at so far. The interval patterns for <math>δ_s</math> and <math>φ</math> exhibited overlap, i.e. we saw something like | ||
<math> a{:}b = b{:}c = c{:}d = … = δ_s | <math> a{:}b = b{:}c = c{:}d = … = δ_s | ||
| Line 929: | Line 929: | ||
</math> | </math> | ||
The reason the other cases exhibited such overlapping is that the small step size of the next ratio in the equivalence pattern became an | The reason the other cases exhibited such overlapping is that the small step size of the next ratio in the equivalence pattern became an <math>L</math>, which is the same as the <math>L</math> size of the preceding ratio. However, for the silver mean’s first isotope here, no such link exists, since s is substituted not for <math>L</math>, but <math>(L+s)</math>. | ||
Another way of looking at this is: for | Another way of looking at this is: for <math>δ_s</math> and <math>φ</math>, it was the case that both <math>s</math> and <math>L</math>’s interval sequences were the same, just offset from each other by a step. Whereas for <math>δ_s - 1</math>, <math>s</math> and <math>L</math>’s interval sequences are completely different. | ||
Finally, for the bronze ratio, | Finally, for the bronze ratio, | ||
| Line 938: | Line 938: | ||
</math> | </math> | ||
As expected, | As expected, <math>L{:}s = (3L+s){:}L</math> 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 996: | Line 996: | ||
== Golden Meantone == | == Golden Meantone == | ||
The thinking behind [[Golden Meantone]] is to put the whole step and half step into the ratio of | The thinking behind [[Golden Meantone]] is to put the whole step and half step into the ratio of <math>φ</math> with each other. Most discussion of Golden Meantone assumes a twelve-note scale that spans an octave. | ||
Abstractly speaking, Golden Meantone’s generator is a noble generator weighted by | Abstractly speaking, Golden Meantone’s generator is a noble generator weighted by <math>φ</math> from <math>\frac 13</math> toward <math>\frac 12</math>, <math>≈ 0.419821</math>, which by design was the one chosen for all noble generator examples in this discussion. | ||
Wilson called this scale [http://anaphoria.com/kornerup.pdf Kornerup], after Thorvald Kornerup, who was an early explorer of golden scales. | Wilson called this scale [http://anaphoria.com/kornerup.pdf Kornerup], after Thorvald Kornerup, who was an early explorer of golden scales. | ||
| Line 1,004: | Line 1,004: | ||
== Wilson/Pepper Fifth Tuning == | == Wilson/Pepper Fifth Tuning == | ||
The thinking behind this tuning is similar, except that the two steps in the ratio of | The thinking behind this tuning is similar, except that the two steps in the ratio of <math>φ</math> with each other are the tone and the chromatic semitone. | ||
Abstractly speaking, Wilson/Pepper Fifth Tuning’s generator would be the noble generator weighted by | Abstractly speaking, Wilson/Pepper Fifth Tuning’s generator would be the noble generator weighted by <math>φ</math> from <math>\frac 25</math> to <math>\frac 37</math>, <math> ≈ 0.413254</math>. | ||
A tuning called [[Peppermint-24|Peppermint]] uses this fifth. | A tuning called [[Peppermint-24|Peppermint]] uses this fifth. | ||
| Line 1,022: | Line 1,022: | ||
Scales based on the bronze mean and metallic means beyond it have not been extensively explored. However, the silver mean has gotten some attention. | Scales based on the bronze mean and metallic means beyond it have not been extensively explored. However, the silver mean has gotten some attention. | ||
Most discussion of Argent Temperament — like Golden Meantone — assumes an octave period; the thinking behind it is to put the fifth and the fourth into the ratio of | Most discussion of Argent Temperament — like Golden Meantone — assumes an octave period; the thinking behind it is to put the fifth and the fourth into the ratio of <math>\sqrt{2}</math> with each other. The justly tuned versions of these intervals, <math>\frac 32</math> and <math>\frac 43</math>, respectively, are remarkably close to this already, only off by a fiftieth of a cent: | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 1,052: | Line 1,052: | ||
To know how to define this scale in terms of the present discussion, we recognize: | To know how to define this scale in terms of the present discussion, we recognize: | ||
# | # <math>\sqrt{2}</math> is the first isotope of the silver mean, <math>δ_s - 1</math>. | ||
# The fifth and the fourth sum to the period, so we can use one or the other as the generator; we’ll prefer the reduced one, the fourth. | # The fifth and the fourth sum to the period, so we can use one or the other as the generator; we’ll prefer the reduced one, the fourth. | ||
So in our terms, this would be an isotopic generator, and again, by design, this was the isotopic generator chosen for examples in this discussion, | So in our terms, this would be an isotopic generator, and again, by design, this was the isotopic generator chosen for examples in this discussion, <math>≈ 0.414214</math>. | ||
It may seem odd that the most popular use of the silver mean uses its isotope rather than the mean directly. However, if we consider the ratio of the generator to the period here, that ratio is the silver mean. In the golden case, there was no difference between these two conceptions; both splitting the period into two segments in the ratio of | It may seem odd that the most popular use of the silver mean uses its isotope rather than the mean directly. However, if we consider the ratio of the generator to the period here, that ratio is the silver mean. In the golden case, there was no difference between these two conceptions; both splitting the period into two segments in the ratio of <math>φ</math> and having the generator to period ratio be <math>φ</math> produce the same result. So while in this discussion from the beginning we put things in terms of splitting intervals (in order to smoothly transition from the golden generator into noble generators), it is probably the case that those who first brought us the Fibonacci generator and Argent Temperament were thinking in terms of the ratio of the generator to the period. | ||
Argent means “silver” in French, which explains the name (it has also been called Arguros, which is “silver” in Greek). Wilson called this generator "2-Zig/2-Zag", after the pattern of the lines in the Stern-Brocot tree that results as we traverse deeper into the tree searching for better approximations of it: we move twice to the right, then twice to the left, and repeat. | Argent means “silver” in French, which explains the name (it has also been called Arguros, which is “silver” in Greek). Wilson called this generator "2-Zig/2-Zag", after the pattern of the lines in the Stern-Brocot tree that results as we traverse deeper into the tree searching for better approximations of it: we move twice to the right, then twice to the left, and repeat. | ||
| Line 1,062: | Line 1,062: | ||
== Imaginary == | == Imaginary == | ||
If Argent temperament splits the period into segments in the ratio of the silver ratio’s isotope, what if we split the period into segments in the ratio of the silver mean itself? That gives us a generator of | If Argent temperament splits the period into segments in the ratio of the silver ratio’s isotope, what if we split the period into segments in the ratio of the silver mean itself? That gives us a generator of <math>≈ 0.292893</math>, which has been used by Billy Stiltner, who calls it Imaginary. | ||
Twice | Twice <math>0.292893</math> is equal to <math>0.585786</math>, which is the complement of Argent Temperament’s generator, <math>0.414214</math>. Despite this similarity, these two generate tremendously different scales (compare with the silver horogram shown earlier). | ||
== Other Wilson scales == | == Other Wilson scales == | ||
| Line 1,100: | Line 1,100: | ||
The two segments are actually in a ratio equal to the weight multiplied by the ratio of the denominators of their respective bounds. | The two segments are actually in a ratio equal to the weight multiplied by the ratio of the denominators of their respective bounds. | ||
We’ll test this out on the example from before. We know that the weighted mediant formula with | We’ll test this out on the example from before. We know that the weighted mediant formula with <math>φ</math> as weight, the interval between <math>\frac 13</math> and <math>\frac 12</math>, and weight leaning toward the parent ratio <math>\frac 12</math> gives the value <math>≈ 0.419821</math>. So our two segments are: | ||
<math> | <math> | ||
| Line 1,119: | Line 1,119: | ||
In particular, we see that the denominator of the weighted ratio finds itself on the same side of the ratio as the weight. | In particular, we see that the denominator of the weighted ratio finds itself on the same side of the ratio as the weight. | ||
The full derivation follows. With lower bounding ratio | The full derivation follows. With lower bounding ratio <math>\frac{a_1}{a_2}</math> and upper bounding ratio <math>\frac{b_1}{b_2}</math>, we have a mediant of <math>\frac{φa_1 + b_1}{φa_2 + b_2}</math>. So then the segment from the lower bounding ratio to the mediant has length | ||
<math> | <math> | ||
| Line 1,161: | Line 1,161: | ||
The fact that the numerators do not figure into the result at all speaks to the impossibility of finding more than one interval on the tree with the same two bounding ratio denominators. | The fact that the numerators do not figure into the result at all speaks to the impossibility of finding more than one interval on the tree with the same two bounding ratio denominators. | ||
We can also infer why the ratio worked out to exactly | We can also infer why the ratio worked out to exactly <math>φ</math> in the case of the entire period: both of the denominators of <math>\frac 01</math> and <math>\frac 11</math> are 1, so the scalar on <math>φ</math> was 1. | ||
And from this we also ascertain that weighted mediants sometimes fall toward the edges of the interval and sometimes toward the middle. I.e. if we choose the interval | And from this we also ascertain that weighted mediants sometimes fall toward the edges of the interval and sometimes toward the middle. I.e. if we choose the interval <math>\frac{8}{21}</math> to <math>\frac{5}{13}</math>, weighted by <math>φ</math> toward <math>\frac{5}{13}</math>, the ratio between the two split segments would be <math>\frac{13φ}{21} ≈ 1.001640</math>, making that split almost right down the middle; on the other hand, if we chose the interval <math>\frac 01</math> to <math>\frac 17</math>, weighted by <math>φ</math> toward <math>\frac 17</math>, the ratio between the two split segments would be <math>\frac{7φ}{1} ≈ 11.326238</math>, extremely off. | ||
== Generator introduction counts == | == Generator introduction counts == | ||
| Line 1,296: | Line 1,296: | ||
</math> | </math> | ||
In fact, every odd power of | In fact, every odd power of <math>φ</math> will be equivalent to a higher metallic mean. Whichever metallic mean that is will be the sum of two Fibonacci numbers <math>F_n</math> and <math>F_{n-2}</math> (e.g. 4 = 3 + 1, and 11 = 8 + 3). For the alternative expression of the higher metallic mean as a constant plus some coefficient on the golden mean, the values of the constant and the coefficient will also be values from the Fibonacci series (e.g. 1 & 2, 3 & 5). | ||
We suggest referring to these particular metallic means as ''goldenish means''. | We suggest referring to these particular metallic means as ''goldenish means''. | ||
| Line 1,305: | Line 1,305: | ||
</math> | </math> | ||
For the golden mean, | For the golden mean, <math>m = 1</math> and <math>n = 1</math>; for the fourth metallic mean, <math>m = 4</math> and <math>n = 2</math>. | ||
If we use | If we use <math>φ^2</math> as our generator (note: not as a logarithmic generator, but as an acoustic one, i.e. we repeat the generator by multiplying it, not adding it), then all of the pitches in our scale will be goldenish means (relatively speaking; if we multiplied every one by <math>φ</math>, preserving their ratios, they would be). Equivalently, we could include goldenish means until we found scales with exactly two step sizes, then divide every pitch by their shared factor of <math>φ</math>. | ||
In another fun bit of synergy, moments of symmetry for this generator will be found at cardinalities from the Fibonacci series. That is, this generator produces scales with cardinality sequences of 2, 3, 5, 8, 13, 21 ... | In another fun bit of synergy, moments of symmetry for this generator will be found at cardinalities from the Fibonacci series. That is, this generator produces scales with cardinality sequences of 2, 3, 5, 8, 13, 21 ... | ||
| Line 1,321: | Line 1,321: | ||
</math> | </math> | ||
The silverish means can also all be expressed in a ratio form, but where the golden mean uses | The silverish means can also all be expressed in a ratio form, but where the golden mean uses <math>\sqrt5</math>, they use <math>\sqrt2</math>. | ||
The pattern of powers remains the same for any metallic mean's -ishes: they are the odd powers. However, while the goldenish means draw their coefficients, constants, and cardinalities from the Fibonacci numbers, the silverish means draw theirs from their equivalent [[wikipedia:Recurrence_relation|recurrence relation]], the [[wikipedia:Pell_number|Pell numbers]] (2, 5, 12, 29, 70 ... ) | The pattern of powers remains the same for any metallic mean's -ishes: they are the odd powers. However, while the goldenish means draw their coefficients, constants, and cardinalities from the Fibonacci numbers, the silverish means draw theirs from their equivalent [[wikipedia:Recurrence_relation|recurrence relation]], the [[wikipedia:Pell_number|Pell numbers]] (2, 5, 12, 29, 70 ... ) | ||
So, if we use | So, if we use <math>δ_s^2</math> as our generator, then we get silverish scales, whose pitches are all silverish means. | ||
And if we use | And if we use <math>δ_b^2</math> as our generator, we can generate bronzish scales. | ||
= Further reading = | = Further reading = | ||
| Line 1,363: | Line 1,363: | ||
= Glossary = | = Glossary = | ||
* '''cycle, interval pattern:''' The periodic part at the end of an interval pattern sequence. | * '''cycle, interval pattern:''' The periodic part at the end of an interval pattern sequence. | ||
* '''cycle, | * '''cycle, <math>L{:}s</math>:''' The periodic part at the end of an sequence, cycling through the isotopes of the given metallic mean. | ||
* '''generator, aristocratic:''' A generator which is found using the weighted mediant formula on a non-period Stern-Brocot tree interval with a beyond golden mean. | * '''generator, aristocratic:''' A generator which is found using the weighted mediant formula on a non-period Stern-Brocot tree interval with a beyond golden mean. | ||
* '''generator, bronze:''' The generator found using the weighted mediant formula on the period interval with the golden mean, equal to | * '''generator, bronze:''' The generator found using the weighted mediant formula on the period interval with the golden mean, equal to <math>[0; 4, \overline{3}] ≈ 0.232408</math>. | ||
* '''generator, complement:''' A generator | * '''generator, complement:''' A generator <math>g</math>’s complement generator is equal to <math>1 - g</math>. | ||
* '''generator, golden:''' The generator found using the weighted mediant formula on the period interval with the golden mean, equal to | * '''generator, golden:''' The generator found using the weighted mediant formula on the period interval with the golden mean, equal to <math>[0; 2, \overline{1}] ≈ 0.381966</math>. | ||
* '''generator, isotopic:''' A generator found using the weighted mediant formula on the period interval with any isotope of a beyond golden mean. | * '''generator, isotopic:''' A generator found using the weighted mediant formula on the period interval with any isotope of a beyond golden mean. | ||
* '''generator, isotopic aristocratic:''' A generator found using the weighted mediant formula on a non-period Stern-Brocot tree interval with any isotope of a beyond golden mean. | * '''generator, isotopic aristocratic:''' A generator found using the weighted mediant formula on a non-period Stern-Brocot tree interval with any isotope of a beyond golden mean. | ||
| Line 1,373: | Line 1,373: | ||
* '''generator, noble:''' A generator which is found using the weighted mediant formula on a non-period Stern-Brocot tree interval with the golden mean. | * '''generator, noble:''' A generator which is found using the weighted mediant formula on a non-period Stern-Brocot tree interval with the golden mean. | ||
* '''generator, reduced:''' Of the generator and its complement, the lesser of the two; the one less than 0.5. | * '''generator, reduced:''' Of the generator and its complement, the lesser of the two; the one less than 0.5. | ||
* '''generator, silver:''' The generator found using the weighted mediant formula on the period interval with the silver mean, equal to | * '''generator, silver:''' The generator found using the weighted mediant formula on the period interval with the silver mean, equal to <math>[0; 3, \overline{2}] ≈ 0.292893</math>. | ||
* '''interval pattern:''' A recursive interval relationship pattern exhibited by met-MOS scales. | * '''interval pattern:''' A recursive interval relationship pattern exhibited by met-MOS scales. | ||
* '''level:''' A measure of depth in the Stern-Brocot tree, with the root being 1. | * '''level:''' A measure of depth in the Stern-Brocot tree, with the root being 1. | ||
| Line 1,381: | Line 1,381: | ||
* '''sequence, cardinality:''' For a given scale sequence, the corresponding sequence of their cardinalities. | * '''sequence, cardinality:''' For a given scale sequence, the corresponding sequence of their cardinalities. | ||
* '''sequence, interval pattern:''' For a given scale sequence, the corresponding sequence of their interval patterns. | * '''sequence, interval pattern:''' For a given scale sequence, the corresponding sequence of their interval patterns. | ||
* '''sequence, | * '''sequence, <math>L{:}s</math>:''' For a given scale sequence, the corresponding sequence of their ratios. | ||
* '''sequence, scale:''' The ordered sequence of scales a generator generates, each one containing the previous, strictly adding new pitches to it. | * '''sequence, scale:''' The ordered sequence of scales a generator generates, each one containing the previous, strictly adding new pitches to it. | ||
[[Category:MOS]] | [[Category:MOS]] | ||
[[Category:Theory]] | [[Category:Theory]] | ||