Neutral and interordinal intervals in MOS scales

From Xenharmonic Wiki
Revision as of 00:42, 1 May 2023 by Inthar (talk | contribs) (Proof)
Jump to navigation Jump to search

"The Interordinal Theorem"

Recall that the “impropriety number” (b - 1) of a primitive (i.e. single-period) mos aLbs satisfies:

(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}.

Also recall that the following are equivalent for a primitive mos aLbs:

  • a > b.
  • The parent mos has steps Ls and L. In this context, it has hardness 3/2 thus is proper.
  • #(L’s in the parent) = b.
  • #(s’s in the parent) = a - b.

Statement

Suppose a > b and gcd(a, b) = 1.

  1. The impropriety number (b - 1) of the mos aLbs counts the places in 2(2a+b)edo (twice the basic mos tuning for aLbs) where assigning interordinals to the parent mos of aLbs fails.
  2. Every interordinal in basic aLbs (an interval that is exactly halfway between the larger k-step and the smaller (k+1)-step) is a neutral or semiperfect interval in the parent mos bL(a-b)s, but a neutral interval in basic aLbs is not always an interordinal interval in the parent mos.

Proof

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 kX(k+1)ms. Recall that: In basic aLbs, s = 1\n = 2\2n. A concrete mos tuning is improper iff its hardness is > 2/1 and the number of s steps it has is > 1.

Part (1) is easier to see: where basic aLbs is improper, larger k-step = smaller k+1-step, and larger k+1-step - smaller k-step = 2(L-s) = 2s = L. But the step L is not two steps in 2n-edo.

Part (2) takes some step size arithmetic:

  • Larger k+1-step of aLbs minus larger k-step of aLbs = Smaller k+1-step of aLbs minus smaller k-step of aLbs must be L, if 0 < k < k+1 < a+b. The reason is that larger 1-step = L, larger 2-step = LL, because there are more L’s than s’s.
  • Smaller k+1-step of aLbs minus larger k-step of aLbs >= 0, with =0 at improprieties. At the values of k and k+1 that are proper, this equals s.
    • To see why, suppose the difference is L (here k >= i >= 1, 0 < k < k+1 < a+b):
      • Larger (k+1)-step = (i+2)L + (k-i-1)s
      • Smaller (k+1)-step = (i+1)L + (k-i)s
      • Larger k-step = iL + (k-i)s
      • Smaller k-step = (i-1)L + (k-i+1)s
    • The above contradicts chunk sizes of aLbs: one chunk in the large (k+1)-step must be bigger than one chunk in the smaller k-step by at least 2 L’s.
  • 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 kX(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. 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 a+b-2. This proves part (2).