Neutral and interordinal intervals in MOS scales: Difference between revisions
No edit summary |
Defined terms for gaps between ordinary MOS intervals and neutrals and interordinal intervals. Shortened and patched a step in the proof by using generator-based reasoning. |
||
Line 1: | Line 1: | ||
: ''This page assumes that the reader is familiar with [[TAMNAMS]] | : ''This page assumes that the reader is familiar with [[TAMNAMS]] MOS interval and step ratio names.'' | ||
Given a tuning of a primitive (i.e. single-period) [[ | Given a tuning of a primitive (i.e. single-period) [[MOS]] pattern aLbs{{angbr|E}} with arbitrary [[equave]] E in a specific tuning (i.e. with a specific [[hardness]] value for L/s), we may define two types of notes "in the cracks of" interval categories defined by aLbs{{angbr|E}}: | ||
# Given 1 ≤ ''k'' ≤ a + b − 1, the '''neutral''' ''k''-mosstep or ''k''-step (abbrev. n''k''ms, n''k''s) is the interval exactly halfway between the smaller ''k''-step and the larger ''k''-step of the | # Given 1 ≤ ''k'' ≤ a + b − 1, the '''neutral''' ''k''-mosstep or ''k''-step (abbrev. n''k''ms, n''k''s) is the interval exactly halfway between the smaller ''k''-step and the larger ''k''-step of the MOS. When the MOS is generated by a (perfect) ''k''-step, this may instead be called the '''semiperfect''' ''k''-step (abbrev. sP''k''s), since it is halfway between the perfect and imperfect (either diminished or augmented, depending on whether the generator is bright or dark) ''k''-step. Depending on whether the imperfect generator is augmented or diminished, the corresponding semiperfect generator may be called '''semiaugmented''' or '''semidiminished'''. | ||
#: | #: We use '''semichroma''' for the quantity c/2 where c = L − s is the [[chroma]] of the MOS. The semichroma represents the difference between ordinary MOS intervals and their neutralized counterparts, in the sense that the following holds for a given interval class of ''k''-steps between 1-steps and (a + b − 1)-steps, inclusive: | ||
#: neutral ''k''-step = smaller ''k''-step + c/2 = larger ''k''-step − c/2 | #: neutral ''k''-step = smaller ''k''-step + c/2 = larger ''k''-step − c/2 | ||
# Given | # Given 0 ≤ ''k'' ≤ a + b − 1, and assuming that the larger ''k''-step < the smaller (''k'' + 1)-step, the '''interordinal''' between ''k''-steps and (''k'' + 1)-steps, denoted ''k''×(''k'' + 1)(m)s (read "''k'' cross (''k'' + 1) (mos)step" or "''k'' inter (''k'' + 1) (mos)step"), is the interval exactly halfway between the larger ''k''-step and the smaller (''k'' + 1)-step. | ||
#: If the smaller (''k'' + 1)-step is ''strictly larger'' than the larger ''k''-step in ''basic'' aLbs, ''k''×(''k'' + 1) is called a '''proper interordinal'''. If a > b, then aLbs{{angbr|E}} has a | #: If the smaller (''k'' + 1)-step is ''strictly larger'' than the larger ''k''-step in ''basic'' aLbs, ''k''×(''k'' + 1) is called a '''proper interordinal'''. If a > b, then aLbs{{angbr|E}} has a + 1 proper interordinals, including 0×1ms and (a+b−1)×(a+b)ms. | ||
#: We call s/2 the '''interizer'''{{idiosyncratic}}. The interizer is of note since the following holds for any proper interordinal interval ''k''-inter-(''k'' + 1)-step: | |||
#: ''k''-inter-(''k'' + 1)-step = larger ''k''-step + s/2 = smaller (''k'' + 1)-step − s/2. | #: ''k''-inter-(''k'' + 1)-step = larger ''k''-step + s/2 = smaller (''k'' + 1)-step − s/2. | ||
Neutral ''k''-steps generalize neutral interval categories based on the diatonic | Neutral ''k''-steps generalize neutral interval categories based on the diatonic MOS, which are: | ||
* neutral 1-diastep = neutral 2nd (A-Bd) | * neutral 1-diastep = neutral 2nd (A-(Bd) | ||
* neutral 2-diastep = neutral 3rd (A-Ct) | * neutral 2-diastep = neutral 3rd (A-Ct) | ||
* semiperfect 3-diastep = semiperfect 4th (A-Dt) | * semiperfect 3-diastep = semiperfect 4th (A-Dt) | ||
Line 16: | Line 17: | ||
* neutral 6-diastep = neutral 7th (A-Gt) | * neutral 6-diastep = neutral 7th (A-Gt) | ||
Though the term ''interordinal'' is intended to be JI-agnostic and generalizable to non-diatonic mosses, the term comes from the fact that ''k''-steps in the diatonic | Though the term ''interordinal'' is intended to be JI-agnostic and generalizable to non-diatonic mosses, the term comes from the fact that ''k''-steps in the diatonic MOS are conventionally called "(''k'' + 1)ths". Proper interordinals in other mosses generalize diatonic [[interordinal]]s (aka "interseptimals"), which are: | ||
* 0-inter-2-diastep = "unison-inter-2nd" = s/2 | |||
* 1-inter-2-diastep = "2nd-inter-3rd" = semifourth = chthonic = ultramajor 2nd | * 1-inter-2-diastep = "2nd-inter-3rd" = semifourth = chthonic = ultramajor 2nd | ||
* 2-inter-3-diastep = "3rd-inter-4th" = semisixth = naiadic = ultramajor 3rd | * 2-inter-3-diastep = "3rd-inter-4th" = semisixth = naiadic = ultramajor 3rd | ||
* 4-inter-5-diastep = "5th-inter-6th" = semitenth = cocytic = inframinor 6th | * 4-inter-5-diastep = "5th-inter-6th" = semitenth = cocytic = inframinor 6th | ||
* 5-inter-6-diastep = "6th-inter-7th" = semitwelfth = ouranic = inframinor 7th | * 5-inter-6-diastep = "6th-inter-7th" = semitwelfth = ouranic = inframinor 7th | ||
* 6-inter-7-diastep = "7th-ubter-octave" = octave − s/2 | |||
Given a primitive | Given a primitive MOS aLbs with a > b, one can observe the following properties of the simplest equal tunings for the MOS, due to the way they divide the small step (s) and the chroma (c = L − s). Note that s separates adjacent ordinal categories (i.e. [[interval class]]es) while c separates larger and smaller intervals in the same ordinal category. | ||
* The basic equal tuning (2a + b)-edE contains neither neutrals nor interordinals, since both s and c are one edo step. (For the diatonic | * The basic equal tuning (2a + b)-edE contains neither neutrals nor interordinals, since both s and c are one edo step. (For the diatonic MOS 5L2s, this tuning is [[12edo]].) | ||
* The monohard equal tuning (3a + b)-edE contains neutrals of that | * The monohard equal tuning (3a + b)-edE contains neutrals of that MOS but not interordinals, since c is two edo steps but s is one edo step. (For diatonic, this tuning is [[17edo]].) | ||
* The monosoft equal tuning (3a + 2b)-edE contains interordinals but not neutrals, since c is one edo step and s is two edo steps. (For diatonic, this tuning is [[19edo]].) | * The monosoft equal tuning (3a + 2b)-edE contains interordinals but not neutrals, since c is one edo step and s is two edo steps. (For diatonic, this tuning is [[19edo]].) | ||
* 2(2a + b)-edE, twice the basic equal tuning, contains both types of intervals, since both c and s are two edo steps. (For diatonic, this tuning is [[24edo]].) | * 2(2a + b)-edE, twice the basic equal tuning, contains both types of intervals, since both c and s are two edo steps. (For diatonic, this tuning is [[24edo]].) | ||
Line 33: | Line 36: | ||
<pre> | <pre> | ||
Basic 5L2s (diatonic, dia-): 12edo | Basic 5L2s (diatonic, dia-): 12edo | ||
Parent | Parent MOS: soft 2L3s (pentic, pt-) | ||
1\24 | 1\24 0×1dias (1st×2nd) | ||
2\24 m1dias (m2nd) | 2\24 m1dias (m2nd) | ||
3\24 n1dias (n2nd) | 3\24 n1dias (n2nd) | ||
Line 51: | Line 54: | ||
<pre> | <pre> | ||
Basic 7L5s (m-chromatic, mchr-): 19edo | Basic 7L5s (m-chromatic, mchr-): 19edo | ||
Parent | Parent MOS: soft 5L2s (diatonic, dia-) | ||
1\38 | 1\38 0×1s | ||
2\38 m1s | 2\38 m1s | ||
3\38 n1s | 3\38 n1s | ||
Line 76: | Line 79: | ||
<pre> | <pre> | ||
Basic 2/1-equivalent 4L1s (manual, man-): 9edo | Basic 2/1-equivalent 4L1s (manual, man-): 9edo | ||
Parent | Parent MOS: soft 1L3s (antetric, att-) | ||
1\18 | 1\18 0×1mans | ||
2\18 d1mans | 2\18 d1mans | ||
3\18 sP1mans | 3\18 sP1mans | ||
Line 90: | Line 93: | ||
<pre> | <pre> | ||
Basic 5L3s (oneirotonic, onei-): 13edo | Basic 5L3s (oneirotonic, onei-): 13edo | ||
Parent | Parent MOS: soft 3L2s (anpentic, apt-) | ||
1\26 | 1\26 0×1oneis | ||
2\26 m1oneis | 2\26 m1oneis | ||
3\26 n1oneis | 3\26 n1oneis | ||
Line 107: | Line 110: | ||
== Interordinal-Neutral Theorem == | == Interordinal-Neutral Theorem == | ||
The Interordinal-Neutral Theorem relates the neutral (resp. interordinal) intervals of aLbs (with a > b) with the interordinal (resp. neutral) intervals of its parent | The Interordinal-Neutral Theorem relates the neutral (resp. interordinal) intervals of aLbs (with a > b) with the interordinal (resp. neutral) intervals of its parent MOS, bL(a − b)s, generalizing an observation by [[User:Godtone]] relating neutrals and interordinals of [[5L 2s]] to those of the parent MOS [[2L 3s]]. | ||
=== Statement === | === Statement === | ||
Suppose a > b and gcd(a, b) = 1. | Suppose a > b and gcd(a, b) = 1. | ||
# Every proper interordinal of basic aLbs{{angbr|E}} is a neutral or semiperfect interval of the parent | # Every proper interordinal of basic aLbs{{angbr|E}} save for 0×1ms and (a+b−1)×(a+b)ms is a neutral or semiperfect interval of the parent MOS bL(a − b)s{{angbr|E}}. The interizer of aLbs{{angbr|E}}, 0x1ms = s/2, is the semichroma of the parent MOS. | ||
# Every interordinal interval of the parent | # Every interordinal interval of the parent MOS bL(a − b)s{{angbr|E}} of basic aLbs{{angbr|E}} excluding 0×1ms and (a+b−1)×(a+b)ms is a neutral or semiperfect interval of basic aLbs{{angbr|E}}. | ||
# Except the neutral/semiperfect 1-step and the neutral/semiperfect (a + b − 1)-step, every neutral or semiperfect interval of basic aLbs{{angbr|E}} is a proper interordinal of bL(a − b)s{{angbr|E}}. The number (b − 1) counts the places in 2(2a + b)edE (twice the basic | # Except the neutral/semiperfect 1-step and the neutral/semiperfect (a + b − 1)-step, every neutral or semiperfect interval of basic aLbs{{angbr|E}} is a proper interordinal of bL(a − b)s{{angbr|E}}. The number (b − 1) counts the places in 2(2a + b)edE (twice the basic MOS tuning for aLbs{{angbr|E}}) where the parent's interordinal is improper, being two steps away, instead of one step away, from each of the adjacent ordinal categories. | ||
=== | === Proof === | ||
Below we assume that the equave is 2/1, but the proof generalizes to any equave. | Below we assume that the equave is 2/1, but the proof generalizes to any equave. | ||
Consider a primitive | Consider a primitive MOS aLbs. Recall that (b − 1) satisfies: | ||
(b − 1) = |(brightest mode of basic aLbs, ignoring equaves) ∩ (darkest mode of basic aLbs, ignoring equaves)| | (b − 1) = |(brightest mode of basic aLbs, ignoring equaves) ∩ (darkest mode of basic aLbs, ignoring equaves)| | ||
= #{k : 0 < k < a + b and larger k-step of basic aLbs = smaller (k + 1)-step of basic aLbs} = # of "improprieties". | = #{k : 0 < k < a + b and larger k-step of basic aLbs = smaller (k + 1)-step of basic aLbs} = # of "improprieties". | ||
Also recall that the following are equivalent for a | Also recall that the following are equivalent for a MOS aLbs: | ||
* a > b. | * a > b. | ||
* The parent | * The parent MOS, which is bL(a−b)s, has steps L + s and L. In this context, since aLbs is assumed to have hardness 2/1, bL(a−b)s has hardness 3/2 thus is strictly proper. | ||
Finally, recall that: | |||
* In basic aLbs, s = 1\n = 2\2n. | * In basic aLbs, s = 1\n = 2\2n. | ||
* A concrete | * A concrete MOS tuning is improper if and only if its hardness is > 2/1 and the number of s steps it has is > 1. | ||
Let n = 2a + b (the basic edo tuning of aLbs) and suppose that m\(2n) is an interordinal (where m must be odd) between k-steps and (k + 1)-steps, denoted k×(k + 1)ms. For parts (1) and (2): | |||
* Smaller (k + 1)-step of aLbs minus larger k-step of aLbs ≥ 0, with equality at improprieties (essentially by definition). At the values of k and k+1 that are proper, this equals s. | * Smaller (k + 1)-step of aLbs minus larger k-step of aLbs ≥ 0, with equality at improprieties (essentially by definition). At the values of k and k+1 that are proper, this equals s. To see why, observe that the number of generators represented by the difference must be b mod (a+b), since L is obtained by stacking b bright generators. The difference is at most −1 generators, since the larger interval of the difference between the larger k-step and the larger k+1 step, a chroma sharper, does occur (in the brightest mode of the MOS), and cannot be less than −a generators, lest the gap be nonpositive in the basic MOS, a contradiction since kx(k+1) is a proper interordinal. | ||
* As s is the chroma of bL(a − b)s, it ''would'' be the difference between major and minor intervals in the parent MOS, assuming these interval sizes (smaller (k + 1)-step, larger k-step) occur in the parent; so k×(k + 1) would become neutral or semiperfect. | |||
* To show that these actually occur in bL(a − b)s, consider smaller and larger j-steps (1 ≤ j ≤ a − 1) in the parent MOS. These intervals also occur in the MOS aLbs separated by s, and the number of j’s (“junctures”) that correspond to these places in aLbs is exactly a − 1. These j's correspond to values of k such that larger k-step < smaller (k + 1)-step. Note that we are considering “junctures” between k-steps and (k + 1)-steps in aLbs, excluding k = 0 and k = a + b − 1, so the total number of “junctures” to consider is finite, namely a + b − 2. This proves parts (1) and (2). | |||
* As s is the chroma of bL(a − b)s, it ''would'' be the difference between major and minor intervals in the parent | |||
* To show that these actually occur in bL(a − b)s, consider smaller and larger j-steps (1 ≤ j ≤ a − 1) in the parent | |||
Part (3) is also immediate now: when larger k-step = smaller (k + 1)-step, larger (k + 1)-step − smaller k-step = 2(L − s) = 2s = L. The step L is 4 steps in 2n-edo. {{qed}} | Part (3) is also immediate now: when larger k-step = smaller (k + 1)-step, larger (k + 1)-step − smaller k-step = 2(L − s) = 2s = L. The step L is 4 steps in 2n-edo. {{qed}} | ||
=== Corollary === | === Corollary === | ||
If a > b, then aLbs{{angbr|E}} has a | If a > b, then aLbs{{angbr|E}} has a + 1 proper interordinals. | ||
==== Proof ==== | ==== Proof ==== | ||
The parent MOS has a notes, corresponding to a − 1 interval classes that can be neutralized. {{qed}} | The parent MOS has a notes, corresponding to a − 1 interval classes that can be neutralized. {{qed}} | ||
[[Category:MOS scale]] | [[Category:MOS scale]] | ||
[[Category:Pages with proofs]] | [[Category:Pages with proofs]] |