|
Tag: Redirect target changed |
| (6 intermediate revisions by one other user not shown) |
| Line 1: |
Line 1: |
| The '''maximum variety''' ('''MV''') of a scale is a way of quantifying how many different "flavors" of intervals there are in it. Scales with high maximum variety have many different intervals of similar size occuring at different places in the scale. Scales with low maximum variety may be easier for composers and listeners to understand, because there is more uniformity and consistence between different parts of the scale. In a low max-variety scale, simply knowing how many scale steps an interval spans gives you a lot of information about the interval (by narrowing it down to a small set of choices).
| | #redirect [[Interval variety #Maximum variety]] |
| | |
| An [[interval class]] is the set of all interval sizes of a scale which span a given number of steps. For example, in the [[5L_2s|diatonic scale]], the 2-step class consists of the minor third and the major third, because those are the only intervals that are divided into 2 steps of the scale. The "variety" of an interval class is the number of different intervals in it. The maximum variety of a scale is simply the maximum variety of any interval class.
| |
| | |
| Any scale with all equal steps (such as an [[EDO|EDO]]) has maximum variety 1. All [[MOSScales|MOS]] scales have maximum variety 2. An example of a scale with high max variety is the [[harmonic_series|harmonic series]], because the steps get gradually smaller as you go up the scale, and none of them are equal.
| |
| == Mathematical overview ==
| |
| A standard academic counterpart to the xen term ''variety'' is the ''abelian complexity function of a [[word]]'': a function ρ<sup>ab</sup> : '''N''' -> '''N''' where ρ<sup>ab</sup>(''n'') is the number of distinct "sizes" that length-''n'' subwords can have in a word
| |
| * A [[balanced]] word or [[necklace]] in ''N'' letters has a maximum variety bound of <math> N \choose {\lceil N/2 \rceil}</math>.
| |
| | |
| ==Max-variety-3 scales==
| |
| The commonly discussed [[MOS]] property can be characterized as follows, [[MOS#Definition|as well as in other equivalent ways]]: Every set of (non-unison reduced) generic intervals has size at most 2. We can rephrase this as saying that the maximum variety of the scale is 2, or that the scale is maximum variety 2 (MV2). '''Maximum variety 3''' (MV3) is the generalization of the MV2 characterization of the MOS property to [[ternary scale]]s. Other characterizations of the MOS property, such as [[distributional evenness]] and [[generator|having a generator]], do not generalize to properties that are equivalent to MV3 in higher [[arity|arities]].
| |
| | |
| When discussing scale patterns with three abstract step sizes a, b and c, unlike in the "rank-2" case one must distinguish between ''unconditionally MV3'' scale patterns or ''abstractly MV3'' ones, patterns that are MV3 regardless of what concrete sizes a, b, and c have, and ''conditionally MV3'' patterns, which have tunings that are not MV3. For example, MMLs is conditionally MV3 because it is only MV3 when L, M and s are chosen such that MM = Ls. When we say that an abstract scale pattern is MV3, the former meaning is usually intended.
| |
| === Classification of MV3 scales ===
| |
| {{main|Ternary scale theorems}}
| |
| # A single-period MV3 is either (1) equivalent to XYZYX, (2) equivalent to XYXZXYX, (3) [[generator-offset]] with odd length, (4) constructed from 2aX 2bY with a odd and gcd(a, b) = 1 by replacing every other X with Y, or (5) a "twisted" word constructed as follows:
| |
| ## Start with a power of a multimos word ''w''(X, Z) = ''ka''X ''kb''Z such that ''a'' is even and each ''a''X ''b''Z subword of ''w'' is of the form X''P''(X, Z)Z where ''P''(X, Z) is a palindrome.
| |
| ## Interchange some of the Z's and X's at some of the borders of these copies of the mos word ''w''.
| |
| ## Replace every other X with Y in ''w''.
| |
| # Single-period MV3 scales not of type (4) are always SV3, and those of type (4) are SV3 with the exception of the n/2-step (n = scale length) which is variety 2.
| |
| # Single-period MV3 scales not of type (1) or (5) are ''balanced'': for any ''k'', any pair of k-steps has a difference that contains +1, -1, or 0 of each step size.
| |
| | |
| === Generating MV3 scales ===
| |
| Once you have chosen a rank-3 temperament and a specific generator interval, there is a mechanical procedure to generate all max-variety-3 scales of a certain size (of which there are, however, infinitely many).
| |
| | |
| To illustrate this process, let us use the simplest and most familiar rank-3 system: [[5-limit|5-limit]] JI, and let us use 3/2 as a generator. Because 3/2 is the generator, these max-variety-3 scales will be related (albeit not in a simple 1-to-1 way) with MOSes of Pythagorean, the rank-2 temperament with 3/2 as a generator.
| |
| | |
| Numbers of notes in Pythagorean MOSes follow the pattern 1+1=2, 2+1=3, 2+3=5, 5+2=7, 5+7=12... (related to the continued fraction for log2(3/2)). The numbers of notes in the 5-limit max-variety-3 scales we're constructing will be related to these by having one of the numbers repeated. Therefore the possible sizes are:
| |
| | |
| 1+1+1=3, 2+1+1=4, 2+2+1=5, 2+2+3=7, 2+3+3=8, 5+2+2=9, 5+5+2=12, 5+5+7=17, 5+7+7=19...
| |
| | |
| If the number of notes is even, the max-variety-3 scale consists of two chains of 3/2 of equal length, each of which contains half the notes. If the number of notes is odd, the two 3/2-chains differ by 1 in length.
| |
| | |
| Any scale at all with only 3 notes has max variety 3, so let's begin with the 4-note scales. A 4-note scale consists of two parallel 3/2 intervals separated by some other 5-limit interval. Although strictly speaking this could be any other 5-limit interval at all, if the two chains are separated from each other there will be no potential for 5-limit harmony. For these 4-note scales it turns out that all the configurations work, so we can easily list all the possible scales: ...{1/1,10/9,3/2,5/3}, {1/1,5/4,3/2,5/3}, {1/1,5/4,3/2,15/8}, {1/1,45/32,3/2,125/64}... Only the ones where the two chains are lined up closely have good potential for harmony.
| |
| | |
| The 5-note scales will consist of a chain of 3 notes and a parallel chain of 2 notes. The 3-note chain has the same pattern as {1/1, 9/8, 3/2}, and in order for it to make an actual max-variety-3 scale, the other 2 notes must fall in between 9/8 and 3/2, and in between 3/2 and 2/1. If either of the notes falls between 1/1 and 9/8, the scale will not be max-variety-3. Let's look at all the scales we get as we move the 2-note chain past the 3-note chain in the 5-limit lattice.
| |
| | |
| 1/1 9/8 40/27 3/2 160/81 ... max variety 3
| |
| | |
| 1/1 10/9 9/8 40/27 3/2 ... fails, max variety 4
| |
| | |
| 1/1 10/9 9/8 3/2 5/3 ... fails, max variety 4
| |
| | |
| 1/1 9/8 5/4 3/2 5/3 ... max variety 3
| |
| | |
| 1/1 9/8 5/4 3/2 15/8 ... max variety 3
| |
| | |
| 1/1 9/8 45/32 3/2 15/8 ... max variety 3
| |
| | |
| 1/1 135/128 9/8 45/32 3/2 ... fails, max variety 4
| |
| | |
| 1/1 135/128 9/8 3/2 405/256 ... fails, max variety 4
| |
| | |
| 1/1 9/8 1215/1024 3/2 405/256 ... max variety 3
| |
| <!--
| |
| Scales with three step sizes are also derivable by summing MOS scales together. All 5-note and 7-note scales derived this way will have max variety 3.
| |
| {| class="wikitable"
| |
| |+
| |
| !
| |
| !2L 3s
| |
| !3L 2s
| |
| !4L 1s
| |
| |-
| |
| !1L 4s
| |
| |4 2 3 2 2
| |
| 1L 1m 3s
| |
| |4 3 3 2 2
| |
| 1L 2m 2s
| |
| |4 3 3 3 2
| |
| 1L 3m 1s
| |
| |-
| |
| !2L 3s
| |
| !2L 3s
| |
| |4 3 3 3 2
| |
| 1L 3m 1s
| |
| |4 3 4 3 2
| |
| 2L 2m 1s
| |
| |-
| |
| !3L 2s
| |
| |
| |
| !3L 2s
| |
| |4 4 3 4 2
| |
| 3L 1m 1s
| |
| |}
| |
| {| class="wikitable"
| |
| |+
| |
| !
| |
| !2L 5s
| |
| !3L 4s
| |
| !4L 3s
| |
| !5L 2s
| |
| !6L 1s
| |
| |-
| |
| !1L 6s
| |
| |4 2 2 3 2 2 2
| |
| 1L 1m 5s
| |
| |4 2 2 3 2 3 2
| |
| 1L 2m 4s
| |
| |4 3 2 3 2 3 2
| |
| 1L 3m 3s
| |
| |4 3 2 3 3 3 2
| |
| 1L 4m 2s
| |
| |4 3 3 3 3 3 2
| |
| 1L 5m 1s
| |
| |-
| |
| !2L 5s
| |
| !2L 5s
| |
| |4 2 3 3 3 2 2
| |
| [[5L 2s MODMOSes|1L 3m 3s]]
| |
| |4 3 2 4 3 3 2
| |
| 2L 3m 2s
| |
| |4 3 2 4 3 3 2
| |
| 2L 3m 2s
| |
| |4 3 3 4 3 3 2
| |
| 2L 4m 1s
| |
| |-
| |
| !3L 4s
| |
| |
| |
| !3L 4s
| |
| |4 3 2 3 2 3 2
| |
| [[5L 2s MODMOSes|1L 3m 3s]]
| |
| |4 3 2 4 3 4 2
| |
| 3L 2m 2s, [[29edo#Nicetone|Nicetone]]
| |
| |4 3 3 4 3 4 2
| |
| 3L 3m 1s
| |
| |-
| |
| !4L 3s
| |
| |
| |
| |
| |
| !4L 3s
| |
| |4 4 2 4 3 4 2
| |
| 4L 2m 1s
| |
| |4 4 3 4 2 4 2
| |
| 4L 2m 1s, [[Mohajira]]
| |
| |-
| |
| !5L 2s
| |
| |
| |
| |
| |
| |
| |
| !5L 2s
| |
| |4 4 3 4 4 4 2
| |
| 5L 1m 1s
| |
| |}
| |
| However, if a scale derived this way has any other number of notes, its three step sizes will not always produce max variety 3.
| |
| {| class="wikitable"
| |
| !
| |
| !2L 4s
| |
| !3L 3s
| |
| !4L 2s
| |
| !5L 1s
| |
| |-
| |
| !1L 5s
| |
| |4 2 2 3 2 2
| |
| 1L 1m 4s
| |
| |4 2 3 2 3 2
| |
| 1L 2m 3s
| |
| | |
| fails, max variety 4
| |
| |4 3 2 3 2 2
| |
| 1L 2m 3s
| |
| | |
| fails, max variety 4
| |
| |4 3 3 3 3 2
| |
| 1L 4m 1s
| |
| |-
| |
| !2L 4s
| |
| !2L 4s
| |
| |4 2 3 3 3 2
| |
| 1L 3m 2s
| |
| | |
| fails, max variety 4
| |
| |4 3 2 4 3 2
| |
| 2L 2m 2s
| |
| |4 3 3 4 3 2
| |
| 2L 3m 1s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !3L 3s
| |
| |
| |
| !3L 3s
| |
| |4 3 3 4 3 2
| |
| 2L 3m 1s
| |
| | |
| fails, max variety 4
| |
| |4 3 4 3 4 2
| |
| 3L 2m 1s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !4L 2s
| |
| |
| |
| |
| |
| !4L 2s
| |
| |4 4 3 4 4 2
| |
| 4L 1m 1s
| |
| |}
| |
| Since Indonesian gamelan music stems from a tradition with 9-note scales converging from [http://www.neuroscience-of-music.se/Gamelan%20pelog%20A.htm max variety ''7''] to equal, sums of 9-note MOS make for great compromise gamelan tunings when they fail to produce max variety 3.
| |
| {| class="wikitable"
| |
| !
| |
| !2L 7s
| |
| !3L 6s
| |
| !4L 5s
| |
| !5L 4s
| |
| !6L 3s
| |
| !7L 2s
| |
| !8L 1s
| |
| |-
| |
| !1L 8s
| |
| |4 2 2 2 3 2 2 2 2
| |
| 1L 1m 7s
| |
| |4 2 2 3 2 2 3 2 2
| |
| 1L 2m 6s
| |
| | |
| fails, max variety 4
| |
| |4 2 2 3 2 3 2 3 2
| |
| 1L 3m 5s
| |
| | |
| fails, max variety 4
| |
| |4 3 2 3 2 3 2 3 2
| |
| 1L 4m 4s
| |
| |4 4 2 3 2 2 3 2 2
| |
| 2L 2m 5s
| |
| |4 3 3 2 3 3 3 3 2
| |
| 1L 6m 2s
| |
| | |
| fails, max variety 4
| |
| |4 3 3 3 3 3 3 3 2
| |
| 1L 7m 1s
| |
| |-
| |
| !2L 7s
| |
| !2L 7s
| |
| |4 2 2 3 3 2 3 2 2
| |
| 1L 3m 5s
| |
| | |
| fails, max variety 4
| |
| |4 2 2 3 3 3 2 3 2
| |
| 1L 4m 4s
| |
| |4 3 2 2 4 3 2 2 2
| |
| | |
| 2L 2m 5s
| |
| |4 3 2 3 3 2 3 3 2
| |
| 1L 5m 3s
| |
| | |
| fails, max variety 4
| |
| |4 3 3 2 4 3 3 3 2
| |
| 2L 5m 2s
| |
| |4 3 3 4 4 3 3 3 2
| |
| 1L 6m 2s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !3L 6s
| |
| |
| |
| !3L 6s
| |
| |4 2 2 4 3 2 3 3 2
| |
| 2L 3m 4s
| |
| | |
| fails, max variety 4
| |
| |4 3 2 4 2 3 3 3 2
| |
| 2L 5m 2s
| |
| |4 3 2 4 3 2 4 3 2
| |
| 3L 3m 3s
| |
| |4 3 3 3 3 3 3 4 2
| |
| 2L 6m 1s
| |
| | |
| fails, max variety 4
| |
| |4 3 3 4 3 3 4 3 2
| |
| 1L 5m 3s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !4L 5s
| |
| |
| |
| |
| |
| !4L 5s
| |
| |4 3 2 4 2 4 2 4 2
| |
| 4L 1m 4s
| |
| |4 3 2 3 3 2 3 4 2
| |
| 2L 4m 3s
| |
| | |
| fails, max variety 4
| |
| |4 4 3 3 3 4 3 4 2
| |
| 3L 5m 1s
| |
| | |
| fails, max variety 4
| |
| |4 3 3 4 3 4 3 4 2
| |
| 4L 4m 1s
| |
| |-
| |
| !5L 4s
| |
| |
| |
| |
| |
| |
| |
| !5L 4s
| |
| |4 4 2 4 3 3 3 4 4 2
| |
| 5L 2m 2s, [[diasem]]
| |
| |4 4 3 3 3 4 3 4 2
| |
| 4L 4m 1s
| |
| |4 4 3 4 3 4 3 4 2
| |
| 5L 3m 1s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !6L 3s
| |
| |
| |
| |
| |
| |
| |
| |
| |
| !6L 3s
| |
| |4 4 3 4 3 3 4 4 2
| |
| 5L 3m 1s
| |
| | |
| fails, max variety 4
| |
| |4 4 3 4 4 3 4 4 2
| |
| 6L 2m 1s
| |
| | |
| fails, max variety 4
| |
| |-
| |
| !7L 2s
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| !7L 2s
| |
| |4 4 4 3 4 4 4 4 2
| |
| 7L 1m 1s
| |
| |}
| |
| As the 6-note and 9-note addition tables prove, the requirement of having the same number of steps of different sizes makes max variety 3 scales with three step sizes rare.
| |
| -->
| |
| | |
| == Examples testing for MV ==
| |
| | |
| === MV2 ===
| |
| | |
| ==== Positive ====
| |
| | |
| [[File:MV2 positive.png|200px|thumb|right|'''MV2''': For each generic interval class, we find a maximum of 2 different sizes.]]
| |
| | |
| Consider the 5L 2s diatonic scale: LLsLLLs. For each generic interval class, we must confirm that there are only 2 specific intervals:
| |
| | |
| # L, s
| |
| # LL, Ls
| |
| # LLL, LLs
| |
| | |
| Actually we only have to check up to halfway, because all of the generic interval classes beyond this are period complements of the ones we already checked. And so it's confirmed: this is an MV2.
| |
| | |
| ==== Negative ====
| |
| | |
| [[File:MV2 negative.png|200px|thumb|right|'''Not MV2''': For the 3rd generic interval class, we find 3 different sizes.]]
| |
| | |
| How about a counterexample, LsLLLLs:
| |
| | |
| # L, s
| |
| # LL, Ls
| |
| # LLL, LLs, sLs — stop!
| |
| | |
| We've found that for the generic interval class 3, this scale has three different specific intervals, so it is not MV2.
| |
| | |
| === MV3 ===
| |
| | |
| ==== Positive ====
| |
| | |
| [[File:MV3 positive.png|200px|thumb|right|'''MV3''': For each generic interval class, we find a maximum of 3 sizes.]]
| |
| | |
| Consider the 2L 2M 3s scale with pattern LsMLsMs.
| |
| | |
| # L, M, s
| |
| # Ls, Ms, LM
| |
| # LMs, Mss, Lss
| |
| | |
| Great, this is MV3.
| |
| | |
| ==== Negative ====
| |
| | |
| [[File:MV3 negative.png|200px|thumb|right|'''Not MV3''': For the 2nd generic interval class, we find 4 different sizes.]]
| |
| | |
| Consider the 2L 2M 3s scale with pattern LssMLMs.
| |
| | |
| # L, M, s
| |
| # Ls, ss, Ms, LM — stop!
| |
| | |
| This scale has more than three different specific intervals for a generic interval class, so it is not MV3.
| |
| | |
| ==== Conditional ====
| |
| | |
| [[File:MV3 conditional.png|200px|thumb|right|'''Conditionally MV3''': For the 2nd and 3rd generic interval classes, if the condition that MM=Ls is met, then this scale has a maximum of 3 different sizes; otherwise it has 4 and is therefore not MV3.]]
| |
| | |
| How about the 2L 3M 2s scale with pattern LMMsMLs.
| |
| | |
| # L, M, s
| |
| # LM, MM, Ms, Ls — stop! ...but wait. What if MM=Ls? Then actually this would still be only 3 specific intervals. So let's go with that, and continue.
| |
| # LMM=LLs, MMs, LMs
| |
| | |
| So this scale is Conditionally MV3 (MM=Ls).
| |
| | |
| [[Category:Scale]]
| |
| [[Category:Terms]]
| |
| [[Category:Combinatorics on words]]
| |