{{Infobox regtemp
| Title = Vengeance
| Subgroups = 2.5.17, 2.5.7.17
| Comma basis = [[78608/78125]] (2.5.17) [[2023/2000]], [[4165/4096]] (2.5.7.17)
| Edo join 1 = 16 | Edo join 2 = 25
| Mapping = 1; 3 -5 7
| Generators = 34/25 | Generators tuning = 527.718 | Optimization method = CWE
| MOS scales = [[2L 5s]], [[7L 2s]]
| Pergen = (P8, M105/3)
| Odd limit 1 = 2.5.7.17 17 | Mistuning 1 = 8.88 | Complexity 1 = 16
| Odd limit 2 = 2.5.7.17 25 | Mistuning 2 = 8.88 | Complexity 2 = 16
}}
'''Vengeance''' is a 2.5.17 [[subgroup temperament]]. It is notable for having a structure similar to [[mavila]] with an [[2L 5s|antidiatonic scale]] and [[7L 2s|superdiatonic scale]] but being comparatively very low in [[error]] and [[badness]], because the flat fifth generator is represented by [[25/17]] rather than [[3/2]] (or equivalently, [[34/25]] rather than [[4/3]]). It is defined by [[tempering out]] the [[comma]] [[78608/78125]]. The name "vengeance' was coined by [[User:CompactStar|CompactStar]] and derives from 25/17's name as the "vengeance subfifth". Like with mavila, 3 generators reach the major third represented by [[5/4]], but the minor third is represented by [[20/17]]. The minor triad is 17:20:25, which makes it far simpler than the major triad of 68:85:100, in contrast to [[5-limit]] major and minor triads as used in mavila and meantone.

The harmonic 7 can be added in a similar way to how mavila is extended to [[armodue (temperament)|armodue]], by having [[7/4]] reached as -5 generators of 34/25 (or the "minor seventh" in antidiatonic terms).

For technical data, see [[2023/2000#Vengeance]].

== History ==
Pentagoth was originally defined by ground and Userminusone as having an extension to the 2.5.13/11.17 subgroup that identifies 20/17 and [[13/11]] by tempering out [[221/220]]. The [[eigenmonzo|exact]]-13/11 tuning is 672.3¢, near [[25edo|14\25]] (672.0¢), and the exact-20/17 tuning is 670.3¢, near [[34edo|19\34]] (670.6¢).

Pentagoth now refers to a rank-3 temperament on 2.5.7.17 tempering out [[2023/2000]].

== Interval chain ==
In the following table, prime harmonics are labeled in '''bold'''.

{|class="wikitable"
|-
! #
! Cents*
! Approximate ratios
! colspan=2| Melodic antidiatonic notation
|-
| 0
| 0.00
| '''1/1'''
| perfect unison
| D
|-
| 1
| 527.928
| 34/25
| perfect 4th
| G
|-
| 2
| 1055.856
| 119/64, 125/68
| major 7th
| C
|-
| 3
| 383.784
| '''5/4'''
| major 3rd
| F
|-
| 4
| 911.712
| 17/10
| major 6th
| B#
|-
| 5
| 239.64
| '''8/7'''
| major 2nd
| E#
|-
| 6
| 767.568
| 25/16
| augmented 5th
| A#
|-
| 7
| 95.496
| '''17/16'''
| augmented unison
| D#
|}
<nowiki>*</nowiki> in 2.5.7.17 subgroup CTE tuning

[[Category:Vengeance| ]] 
[[Category:Subgroup temperaments]]
[[Category:Rank-2 temperaments]]

No-threes subgroup temperaments

2026-06-06T18:08:00Z

Pentagoth

2026-06-06T17:47:28Z

Inthar: Changed redirect target from Vengeance to Pentagoth family#Pentagoth

#redirect [[Pentagoth family#Pentagoth]]

2023/2000

2026-06-06T17:46:50Z

Inthar: Created page with "{{Infobox Interval | Ratio = 2023/2000 | Name = pentagoth comma | Color name = 17oozg33 sosozotrigu 3rd Sosozotrigu comma | Comma = yes }} '''2023/2000''', the '''pentagoth comma''', is the interval between a stack of two 20/17 minor thirds and one 7/5 tritone. Tempering out this comma alone in the 2.5.7.17 subgroup leads to the pentagoth temperament. == Etymology == As of June 6, 2026, pentagoth is the name given to t..."

Ternary scale theorems

2026-06-06T14:31:38Z

Inthar: /* Open problems */

{{expert}}

A ''[[arity|ternary]] scale'' is a scale with three (positive) step sizes, with no other constraints such as maximum variety. This page documents known properties of subtypes of ternary scales and their proofs.
== Conventions ==
* Bolded Latin variables refer to step vectors (linear combinations of step sizes).
* Indices for all words are 0-indexed.
** If ''s'' is a circular word and {{nowrap|''i'' < 0}} or {{nowrap|''i'' ≥ len(''s'')}}, we first replace ''i'' with {{nowrap|''i'' % len(''s'')}} before using it as an argument in ''s''[-].
* The notation ''s''('''X'''1, ..., '''X'''''r'') is used for an ''r''-ary scale word with variables '''X'''1, ..., '''X'''''r'' possibly standing in for any sizes. If {{nowrap|''s''('''X''', '''Y''') {{=}} '''XXY'''}} then {{nowrap|''s''('''A''', '''B''') {{=}} '''AAB'''}}.
* We leave the distinction between linear words (words in the ordinary sense) and circular words up to context. We usually also elide the distinction between subwords and the interval sizes that subtend them.
* For a word ''w'' and letter '''x''', {{abs|''w''}}'''x''' denotes the number of occurrences of the letter '''x''' in ''w''. For a step vector size '''v''', {{abs|'''v'''}}'''x''' is similar.

== Definitions ==
* A circular word ''s'' (representing the steps of a [[periodic scale]]) of size ''n'' is '''generator-offset''' if it satisfies the following properties. The following conditions do not imply that '''g'''1 and '''g'''2 are the same number of scale steps. For example, 5-limit [[blackdye]] has {{nowrap|'''g'''1 {{=}} {{sfrac|9|5}}}} (a 9-step) and {{nowrap|'''g'''2 {{=}} {{sfrac|5|3}}}} (a 7-step).
*# ''s'' is generated by two chains of stacked generators g separated by a fixed offset δ; either both chains are of size {{sfrac|''n''|2}}, or one chain has size {{sfrac|''n'' + 1|2}} and the second has size {{sfrac|''n'' − 1|2}}. Equivalently, ''s'' can be built by stacking a single chain of alternants '''g'''1 and '''g'''2, resulting in a circle of the form either '''g'''1 '''g'''2 ... '''g'''1 '''g'''2 '''g'''1 '''g'''3 or '''g'''1 '''g'''2 ... '''g'''1 '''g'''2 '''g'''3.
*# The scale is ''well-formed'' with respect to g, i.e. all occurrences of the generator g are ''k''-steps for a fixed ''k''.
* A ''scale'' or ''scale word'' is a circular word with a chosen size for its equave. As we're not working with scales with distinct equaves simultaneously, all three terms are effectively synonymous for our purposes.
* A scale is ''primitive'' if its period is the same as its equave. A ''multiMOS'' or ''multiperiod MOS'' is a non-primitive MOS. A MOS ''a'''''L''' ''b'''''s''' is primitive iff {{nowrap|gcd(''a'', ''b'') {{=}} 1}}. This corresponds to the term ''single-period'' in common xen parlance. Any multiMOS can be constructed from a primitive MOS by repeating the MOS pattern multiple times, e.g. if 3'''L''' 2'''s''' is '''LLsLs''', then 9'''L''' 6'''s''' is '''LLsLsLLsLsLLsLs'''.
* An ''n''-''ary'' scale is a scale with ''n'' different step sizes. ''Binary'' and ''ternary'' are used when {{nowrap|''n'' {{=}} 2 and 3}}, respectively.
* A ''well-formed generator sequence'' (WFGS) is a [[generator sequence]] GS(''x''1, ..., ''x''''r'') with the following properties:
** There exists a positive integer ''k'' such that for every generator ''x''''i'' in the GS recipe GS(''x''1, ..., ''x''''r''), every occurrence of ''x''''i'' in the scale [[subtend]]s ''k'' steps. This implies that the gap between the next higher equave and the result of stacking len(scale) − 1 of the generators in the recipe, called the ''closing generator'', or the ''imperfect generator'' since it is analogous to the imperfect generator in [[MOS]] scales, also subtends this number of steps.
** The closing generator must be distinct from all of the generators used in the generator sequence and occur only once in the scale.
* The property of having a WFGS of period 2, denoted AGS (''alternating generator sequence'') in this article, is important as it is equivalent to being an odd-regular MV3 scale; see below.
* An ''odd-step'' is a ''k''-step where ''k'' is odd; an ''even-step'' is defined similarly.
* Given a linear or circular word ''s'' with a step size '''X''', define ''E'''''X'''(''s'') as the scale word resulting from deleting all instances of '''X''' from ''s''.
* By a ''subword'', ''substring'', or ''slice'' of a word ''s'', denoted {{nowrap|''s''[''i'' : ''j''] (''j'' > ''i'')}}, we mean ''s''[''i''] ''s''{{nowrap|[''i'' + 1]}} ... ''s''{{nowrap|[''j'' − 1]}}.
* Given a MOS a'''X''' b'''Y''', a ''chunk'' of '''X''''s is a maximal (possibly length 0) substring made of '''X''''s, bounded by '''Y''''s. We do not include the boundary '''Y''''s.
* ''Length'' is another term for a scale's size. The length of a scale ''s'' is denoted len(''s'').
* A ''projection'' of a ternary scale is the operation of equating two of its step sizes.
* A ternary scale is ''pairwise-well-formed'' if all its projections are well-formed (i.e. primitive MOSes).

== Theorem 1 (Properties of AGS scales) ==
Let ''s'' be a ternary scale word in '''L''', '''M''', and '''s''' of length ''n'', and suppose ''s'' is AGS. Then:
# The length of ''s'' is odd, or ''s'' is equivalent to ('''xy''')''r'''''xz''' for some integer {{nowrap|''r'' ≥ 1}}.
# If ''n'' is odd, ''s'' is of the form ''a'''''x''' ''b'''''y''' ''b'''''z''' for some permutation {{nowrap|('''x''', '''y''', '''z''')}} of {{nowrap|('''L''', '''M''', '''s''')}}.
# If ''n'' is odd, ''s'' is abstractly SV3 (i.e. SV3 for almost all tunings).
# If ''n'' is odd, then the result of identifying the two equinumerous step sizes is a primitive MOS.
# If ''n'' is odd, {{nowrap|''s'' {{=}} ''a'''''X''' ''b'''''Y''' ''b'''''Z'''}} is obtained from some mode of the (primitive) MOS ''a'''''X''' 2''b'''''W''' by replacing all the '''W'''s successively with alternating '''Y'''s and '''Z'''s (or alternating '''Z'''s and '''Y'''s for the other chirality, fixing the mode of ''a'''''X''' 2''b'''''W'''). The two alternants differ by replacing one '''Y''' with a '''Z'''. In other words, ''s'' is ''odd-regular'' in our classification of MV3 scales.

=== Proof ===
Let '''e''' be the equave of ''s''.

Assuming AGS, we have two chains of the aggregate generator '''g''' (going right). In the diagrams below, O represents a note and - represents a generator '''g'''. The two cases are:
<pre<includeonly />>
CASE 1: EVEN LENGTH
O-O-...-O (''n''/2 notes)
O-O-...-O (''n''/2 notes)
</pre>
and
<pre<includeonly />>
CASE 2: ODD LENGTH
O-O-O-...-O ((''n'' + 1)/2 notes)
O-O-...-O ((''n'' − 1)/2 notes).
</pre>

Label the notes (1, ''j'') and (2, ''j''), {{nowrap|1 ≤ ''j'' ≤ ''N''}} where ''N'' is the number of notes in the chain, for notes in the upper and lower chain, respectively.

==== Statement (1) ====
In case 1, let {{nowrap|'''g'''1 {{=}} (2, 1) − (1, 1)|'''g'''2 {{=}} (1, 2) − (2, 1)}}, and {{nowrap|'''g'''3 {{=}} (1, 1) − ({{frac|''n''|2}}, 2)}} {{nowrap|{{=}} ((−{{frac|''n''|2}} − 1)*'''g'''1 − {{frac|''n''|2}}*'''g'''2) (mod '''e''')}}. We assume that '''g'''1, '''g'''2 and '''e''' are ℤ-linearly independent. We have the chain '''g'''1 '''g'''2 '''g'''1 '''g'''2 ... '''g'''1 '''g'''3 which visits every note in ''s''.

Since '''g'''1 and '''g'''2 subtend the same number of steps by the AGS assumption, each is an odd-step. All multiples of the aggregate generator '''g''' must be even-steps, and those intervals that are "offset" by '''g'''1 must be odd-steps. Letting ''M'' be the subset consisting of all even-numbered notes (which are generated by '''g''') and considering ''M'' as a scale by dividing degree indices in ''M'' by two, ''M'' is well-formed with respect to '''g''', thus ''M'' (and its offset) must be a MOS subset. Hence {{nowrap|('''g'''3 + '''g'''1)}}, the imperfect generator of the MOS generated by '''g''', subtends the same number of steps as '''g'''. Thus '''g'''2 and '''g'''3 subtend the same number of steps, a fact we need in order to be able to substitute one instance of '''g'''2 with '''g'''3 in the next part.

Let ''r'' be odd and ''r'' ≥ 3. Consider the following abstract sizes for the interval class of ''k''-steps reached by stacking ''r'' generators:
# from '''g'''1 '''g'''2 ... '''g'''1, we get {{nowrap|''a''1 {{=}} {{sfrac|''r'' − 1|2}} * '''g''' + '''g'''1}} {{nowrap|{{=}} {{ceil|{{frac|''r''|2}}}} '''g'''1 + {{floor|{{frac|''r''|2}}}} '''g'''2}}
# from '''g'''2 '''g'''1 ... '''g'''2, we get {{nowrap|''a''2 {{=}} {{sfrac|''r'' − 1|2}} * '''g''' + '''g'''2}} {{nowrap|{{=}} {{floor|{{frac|''r''|2}}}} '''g'''1 + {{ceil|{{frac|''r''|2}}}} '''g'''2}}
# from '''g'''2 (...even # of gens...) '''g'''1 '''g'''3 '''g'''1 (...even # of gens...) '''g'''2, we get {{nowrap|''a''3 {{=}} {{sfrac|''r'' − 1|2}} '''g'''1 + {{sfrac|''r'' − 1|2}} '''g'''2 + '''g'''3}} {{nowrap|≡ {{sfrac|''r'' − ''n''|2}} − {{sfrac|3|2}}'''g'''1 + {{sfrac|''r'' − ''n''|2}} − {{sfrac|1|2}}'''g'''2 (mod '''e''')}}.
# from '''g'''1 (...odd # of gens...) '''g'''1 '''g'''3 '''g'''1 (...odd # of gens...) '''g'''1, we get {{nowrap|''a''4 {{=}} {{sfrac|''r'' + 1|2}} '''g'''1 + {{sfrac|''r'' − 3|2}} '''g'''2 + '''g'''3}} {{nowrap|≡ {{sfrac|''r'' − ''n''|2}} − {{sfrac|1|2}}'''g'''1 + {{sfrac|''r'' − ''n''|2}} − {{sfrac|3|2}}'''g'''2 (mod '''e''')}}.

Since {{nowrap|''n'' > 0}}, these are all distinct by ℤ-linear independence; hence there are at least 4 sizes for ''k''-steps. A 1-step must be reached by stacking an odd number of generators, thus by applying this argument to 1-steps, we see that there must be at least 4 step sizes in some tuning, a contradiction. Thus '''g'''1 and '''g'''2 must themselves be step sizes. Thus we see that an even-length AGS ternary scale must be of the form (xy)''r''xz. (Note that (xy)''r''xz is not SV3, since it has only two kinds of 2-steps, '''xy''' and '''xz'''.) This proves (1).

==== Statement (2) ====
Let {{nowrap|''n'' ≥ 3}} and let {{nowrap|'''g'''1|'''g'''2}} be the two alternants. Let '''g'''3 be the closing generator after stacking alternating '''g'''1 and '''g'''2. Then the generator circle is {{nowrap|('''g'''1 '''g'''2){{floor|''n''/2}}}} '''g'''3. If a step is formed by stacking ''k'' generators, we may assume that ''k'' is odd, and the combinations of alternants corresponding to a step come in exactly 3 sizes:
# {{nowrap|{{ceil|{{frac|''k''|2}}}}'''g'''1 + {{floor|{{frac|''k''|2}}}}'''g'''2}}
# {{nowrap|{{floor|{{frac|''k''|2}}}}'''g'''1 + {{ceil|{{frac|''k''|2}}}}'''g'''2}}
# {{nowrap|{{floor|{{frac|''k''|2}}}}'''g'''1 + {{floor|{{frac|''k''|2}}}} '''g'''2 + '''g'''3}}

(since the scale size is odd, we can always ensure this by taking octave complements of all the generators). By counting the length-''k'' subwords of the (linear) word {{nowrap|('''g'''1 '''g'''2){{floor|{{frac|''n''|2}}}}}}, we see that the first two sizes must both occur {{sfrac|''n'' − ''k''|2}} times. This proves (2).

==== Statement (3) ====
We only need to see that if len(''s'') is odd and ''s'' is AGS, ''s'' is abstractly SV3. But the argument in case 2 above works when you substitute any odd-step interval classes in ''s'' instead of a 1-step (abstract SV3 wasn't used). To get even-step interval classes, we can take octave complements. Hence any interval class in such a scale comes in (abstractly) exactly 3 sizes.

==== Statement (4) ====
The {{nowrap|''n'' − 1}} stacked AGS terms are identified when the equinumerous step sizes are equated. Thus we have a binary scale with a generator (occurring at {{nowrap|''n'' − 1}} positions), hence being a primitive MOS.
==== Statement (5) ====
By part (2), we have that ''s'' has step signature {{nowrap|''a'''''X''' ''b'''''Y''' ''b'''''Z'''}}, ''a'' odd. By part (4), we have that {{nowrap|''T''('''X''', '''W''') {{=}} ''s''('''X''', '''W''', '''W''')}} is a MOS scale ''a'''''X'''2''b'''''W'''. If {{nowrap|''b'' {{=}} 1}}, there's nothing to prove, so assume {{nowrap|''b'' > 1}}.

Consider the two generators in the GS of ''s'', which are lifts of the generator {{nowrap|''i'''''X''' + ''j'''''W'''}} of ''T''('''X''', '''W'''), where {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}. Assume, possibly after inverting the generator, that the imperfect generator of ''T'' has {{nowrap|''j'' − 1}} '''W'''s and the perfect generator has ''j'' '''W'''s.

'''Claim 1''': Deleting '''X'''s from the generator subwords of ''s'' gives every ''j''-step subword in the scale ''E''X(''s'')('''Y''', '''Z'''), the scale word obtained by deleting all '''X''''s from ''s''. These ''j''-step subwords are adjacent and alternating under the ordering induced by the AGS stack.

Proof:
* A.1. Say that the generator of ''T'' has ''k'' steps.
* A.2.i. The imperfect generator of ''T'' occurs only at one position. Call the unique imperfect position ''p''.
* A.2.ii. Say that the number of '''X''' steps in a ''perfect'' generator is ''i'', and the number of '''W''' steps in a ''perfect'' generator is ''j'', we have that {{nowrap|''k'' {{=}} ''i'' + ''j''.}}
* A.2.iii. We know from MOS theory that letter counts in ''k''-steps (for any fixed ''k'') differ by at most 1. Assume, possibly after taking the equave complement, that the imperfect generator has one ''more'' '''X''': the imperfect generator has {{nowrap|(''i'' + 1)-many}} '''X''''s, and {{nowrap|(''j'' − 1)-many}} '''W''''s.
* A.3.i. Recall that ''p'' is the unique position such that the ''k''-letter slice {{nowrap|''I'' {{=}} ''T''[''p'' : ''p'' + ''k'']}} abelianizes to the imperfect generator.
* A.3.ii. Scooting the slice ''I'' to the right yields {{nowrap|''I''''R'' :{{=}} ''T''[''p'' + 1 : ''p'' + 1 + ''k'']}}. Since its abelianization is a perfect generator, ''I''''R'' has ''i''-many '''X''''s and j-many '''W''''s.
* A.3.iii. Since ''I''''R'' gains a '''W''' and loses an '''X''' relative to ''I'', the lost letter '''X''' is at the leftmost position of I's window, which is ''p''.
* A.3.iv. Conclusion: ''T''[''p''], the leftmost letter of {{nowrap|''I'' {{=}} ''T''[''p'' : ''p'' + ''k''],}} is '''X'''.
* B.1. Now we go back to the original necklace ''s''. Lift each perfect generator window (we have {{nowrap|''n'' − 1}} perfect windows) of ''T'' to ''s''.
* B.2. By the hypothesis that ''s'' has an AGS, and since the AGS descends to stacking a single generator in the template MOS ''T'', the lifted generators ''g''1 and ''g''2 alternate in their counts of '''Y''' and also alternate in their counts of '''Z'''.
* B.3. For a MOS binary word, the count of a given letter in a generator is coprime to the total count of that letter in one period of the MOS. By this fact applied to ''T'', {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}.
* B.4. Hence, since every instance of the generator in ''T'' has ''j''-many '''W''' letters, every instance of ''g''1 and every instance of ''g''2 has ''j''-many non-'''X''' letters.
* C.1. Importantly, deleting '''X''''s gives windows of length ''j'', such that when you project adjacent lifted generators (by deleting '''X''''s) to the binary necklace {{nowrap|''U'' :{{=}} ''E'''''X'''(''s'')('''Y''', '''Z''')}}, the resulting ''j''-step windows in ''U'' are adjacent and do not overlap.
* C.2. Moreover, for every ''j''-step window {{nowrap|''U''[''q'' : ''q'' + ''j'']}}, there exists an {{nowrap|(''i'' + ''j'')-step}} window {{nowrap|''s''[''r'' : ''r'' + ''i'' + ''j'']}} such that {{nowrap|''s''[''r'']}} is the non-'''X''' that corresponds to {{nowrap|''U''[''q'']}} under step deletion. Since by subclaim A, the unique imperfect {{nowrap|(''i'' + ''j'')-step}} window in ''s'' begins in an '''X''', we know that {{nowrap|''s''[''r'' : ''r'' + ''i'' + ''j'']}} is perfect.
* C.3. We need only stack {{nowrap|2''b'' ≤ ''n'' − 1}} generators (to get {{nowrap|2''b''-many}} ''j''-step windows downstairs) to witness the alternation. Under the ordering induced by this stacking, the 1st ''j''-step subword of ''U'' and the last ({{nowrap|2''b''-th}}) ''j''-step window differ due to parity. Since {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}, this visits every note of ''U''.

'''Claim 2''': If a binary necklace ''U'' has ''b'' '''Y'''s and ''b'' '''Z'''s, {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}, and consecutively stacked ''j''-steps in ''U'' occur in 2 alternating sizes, then {{nowrap|''U'' {{=}} ('''YZ''')''b''}}.

Proof: Write '''u''' and '''v''' for the two sizes of ''j''-steps. Since {{nowrap|gcd(''j'', 2''b'') {{=}} 1}}, there exists ''m'' such that stacking ''m''-many ''j''-steps yields scale steps of ''U'', and ''m'' is odd because {{nowrap|gcd(''m'', 2''b'') {{=}} 1}}. Hence the scale steps of ''U'' are {{nowrap|('''uv'''){{sfrac|''m'' − 1|2}}'''u''' (mod '''e''')}} and {{nowrap|('''vu'''){{sfrac|''m'' − 1|2}}'''v''' (mod '''e''')}}, and the step sizes alternate because '''u''' and '''v''' do.

These two claims prove that {{nowrap|''E'''''X'''(S) {{=}} ('''YZ''')''b''}} and that the two GS generators' sizes differ by replacing one '''Y''' for a '''Z'''. {{Qed}}

== Theorem 2 (Classification of pairwise well-formed scales) ==
Let {{nowrap|''s''('''a''', '''b''', '''c''')}} be a scale word in three ℤ-linearly independent step sizes '''a''', '''b''', '''c'''. Suppose ''s'' is pairwise well-formed (equivalently, all its projections are primitive MOSes). Then ''s'' is SV3 and has an odd number of notes. Moreover, ''s'' is either generator-offset or equivalent to the scale word '''abacaba'''.

=== Proof ===
==== If the generator of a projection of ''s'' is a ''k''-step, the word of stacked ''k''-steps in ''s'' is pairwise well-formed ====
Suppose ''s'' has ''n'' notes (after dealing with small cases, we may assume ''n'' ≥ 7) and ''s'' projects to primitive MOSes ''s''1 (via identifying '''b''' with '''c'''), ''s''2 (via identifying '''a''' with '''c'''), and ''s''3 (via identifying '''a''' with '''b'''). Suppose ''s''1's generator is a ''k''-step, which comes in two sizes: '''P''', the perfect ''k''-step, and '''I''', the imperfect ''k''-step. By stacking ''n''-many ''k''-steps, we get two words of length ''n'' of ''k''-steps of ''s''2 and ''s''3, respectively. These binary words, which we call Σ2 and Σ3, must be MOSes, since ''m''-steps in the new words correspond to ''mk''-steps in the MOS words ''s''1 and ''s''2, which come in at most two sizes. Since ''s''1 is a primitive MOS, {{nowrap|gcd(''k'', ''n'') {{=}} 1}}. Hence when {{nowrap|0 < ''m'' < ''n''}}, ''mk'' is ''not'' divisible by ''n'' and ''mk''-steps come in ''exactly'' two sizes; hence both Σ2 and Σ3 are primitive MOSes.

<pre<includeonly />>
index: 1 2 3 4 ... ''n''
Σ1: '''P P P P ... P I'''
Σ2: [some MOS]
Σ3: [some MOS]
</pre>

Below we write step sizes resulting from identification as '''a'''~'''b''', '''b'''~'''c''', and '''a'''~'''c'''.

==== Two sizes of ''k''-steps in ''s'' project to ''s''1's perfect generator ====
We can write sizes of intervals in ''s'' as vectors {{nowrap|(''p'', ''q'', ''r'')}} using the basis {{nowrap|('''a''', '''b''', '''c''')}}.

Suppose for sake of contradiction that only one size of ''k''-step {{nowrap|('''α''', '''β''', '''γ''')}} in ''s'' projects to '''P''' in ''s''1. Then projecting to ''s''2 shows that ''s''2's generator is the ''k''-step {{nowrap|(α + γ)*('''a'''~'''c''') + β'''b'''}}, and Σ2's imperfect generator is located at index ''n'', like Σ1's imperfect generator is. Then ''s''1 and ''s''2 are the same mode of the same MOS pattern (up to knowing which step size is the bigger one). Assume the '''L''' of ''s''1 (it could be '''s''', but it doesn't matter) is the result of identifying '''b''' and '''c''', and all '''s''' steps in ''s''1 come from '''a'''. Then the steps of ''s''2 corresponding to the '''L''' of ''s''1 must be either all '''b''''s or all '''a'''~'''c''''s, thus these steps are all '''b''''s in ''s'' (otherwise they would be identified with the '''a''', against the assumption that ''s''1 and ''s''2 are the same MOS pattern and mode). So ''s'' has only two step sizes (a and b), contradicting the assumption that ''s'' is ternary.

Only two sizes of ''k''-steps of ''s'' can project to P in ''s''1, for if there are three sizes of ''k''-steps {{nowrap|(α, β, γ)|(α, β′, γ′)|(α, β″, γ″)}} in ''s'' that project to P, then β, β′, and β″ are three distinct values. Thus these would project to three different ''k''-steps in ''s''3, contradicting the MOS property of ''s''3.

==== ''n'' is odd, etc. ====
Suppose {{nowrap|'''Q''' {{=}} (α, β, γ)}} {{nowrap|≠ '''R''' {{=}} (α, β′, γ′)}} are the two ''k''-steps in ''s'' that project to '''P'''. Then {{nowrap|'''T''' {{=}} (α′, β″, γ″)}} projects to '''I'''. Here the values in each component differ by at most 1, and {{nowrap|α ≠ α′}}. Then the circular word Λ1 formed by the '''a'''-components of the ''k''-steps in '''P''' is α...αα′. Since Σ2 is a primitive MOS pattern of {{nowrap|β'''b''' + (''n'' − β)('''a'''~'''c''')}} and {{nowrap|β′a + (''n'' − β′)('''a'''~'''c''')}}, the circular word Λ2 = the pattern of β and β′ must be a primitive MOS. Similarly, Λ3 = the pattern of γ and γ′ is a primitive MOS.

Suppose Λ2 is the MOS λβ μβ′. Then Λ3 is the MOS {{nowrap|(λ ± 1)γ (μ ∓ 1)γ′}}. Since both Λ2 and Λ3 are primitive, and at least one of μ and {{nowrap|(μ ∓ 1)}} are even, it is now immediate that ''n'' is odd.

Either {{nowrap|β″ {{=}} β}} or {{nowrap|β″ {{=}} β′}}. Assume {{nowrap|β″ {{=}} β′}}. Then {{nowrap|γ″ {{=}} γ}}, and {{nowrap|Λ3 {{=}} (λ + 1)γ (μ − 1)γ′}}. Also assume that the first ''k''-step in Σ is '''Q'''. Then we have:

<pre<includeonly />>
1 … ''n''
Σ = Q ''W''(Q, R) T
Λ1 = α … α α′
Λ2 = β ''W''(β, β′) β′
Λ3 = γ ''W''(γ, γ′) γ
</pre>

where {{nowrap|''W'' {{=}} ''W''('''x''', '''y''')}} is a word in two variables '''x''' and '''y''', of length {{nowrap|''n'' − 2}}.

==== Case analysis ====
Since, by our assumption, Λ3 has two γ in a row, Λ3 must have more γ than γ′, so {{nowrap|μ − 1 < ''n''/2}}. Since Λ3 is a MOS, {{nowrap|μ − 1 ≥ 1}}. So we have {{nowrap|2 ≤ μ ≤ {{ceil|''n''/2}}}}.

We have three cases to consider:

'''Case 1''': {{nowrap|μ {{=}} 2}}, i.e. Λ2 is the MOS {{nowrap|(''n'' − 2)β 2β′}}.

For Λ2 to be a MOS, the first, and only, occurrence of '''R''' must be at either {{nowrap|''f'' {{=}} {{floor|''n''/2}}}} or {{ceil|''n''/2}}. We may assume that it is at ''f''; otherwise reverse the chain and reindex the words to start at 2''f''.

<pre<includeonly />>
1 … ''f'' … 2''f'' ''n''
Σ = '''Q''' … '''Q''' '''R''' '''Q''' … '''Q''' '''T'''
Λ1 = α … α α α … α α′
Λ2 = β … β β′ β … β β′
Λ3 = γ … γ γ′ γ … γ γ
</pre>

We need only consider stacks up to ''f''-many ''k''-steps. Either:
# the stack has only copies of '''Q''' and '''R'''; or
# the stack has one '''T''' and does not contain any '''R''' (since it's more than {{nowrap|''f'' − 1}} generators away).
These give exactly three distinct sizes for every interval class. Hence ''s'' is SV3. In this case a window stacking argument shows that the second type of ''fk''-step {{nowrap|((''f'' − 1)''Q'' + ''T'')}} alternates with the first type {{nowrap|((''f'' − 1)''Q'' + ''R'')}}, and ''fQ'' occurs only once, so ''s'' has generator sequence {{nowrap|GS((''f'' − 1)''Q'' + ''T'', (''f'' − 1)''Q'' + ''R'')}}. Since ''n'' is odd, ''s'' is odd-regular.

'''Case 2:''' {{nowrap|μ ≥ {{ceil|''n''/2}}}}, i.e. Λ2 has fewer β than β′.

Since Λ3 has more β than β′, Λ2 is {{floor|''n''/2}}β {{ceil|''n''/2}}β′, and Λ3 is {{ceil|''n''/2}}γ {{floor|''n''/2}}γ′. There is a unique mode of {{ceil|''n''/2}}γ {{floor|''n''/2}}γ′ that both begins and ends with γ, namely γγ′γγ′…γγ′γ. Thus Λ2 is ββ′ββ′…ββ′β′. It is now easy to see that if the number of ''k''-steps stacked is odd, then there are two sizes that do not contain '''T''' and one size that contains '''T'''; if the number of ''k''-steps stacked is even, then there is one size that does not contain '''T''' and two sizes that contain ''T''. Hence ''s'' is SV3.

In this case we have Σ = ''QRQR…QRT'', and ''s'' has generator sequence {{nowrap|GS(''Q'', ''R'').}} We thus have that ''s'' is odd-regular.

'''Case 3:''' {{nowrap|3 ≤ μ ≤ {{floor|''n''/2}}}}.

Λ2 has a chunk of β (after the first β′) of size ''x'' where {{nowrap|''x'' {{=}} {{floor|''n''/μ}}}} {{nowrap|≥ {{floor|''n''/{{floor|''n''/2}}}}}} = 2 or {{nowrap|''x'' {{=}} {{ceil|''n''/μ}}}} {{nowrap|{{=}} {{floor|''n''/μ}} + 1}}. Hence Λ3 has a chunk of γ of size ''x''. Λ3 also has a chunk that contains {{nowrap|Λ3[''n'' − 1 : 1]}} as a subword. This chunk must be of size ''y'', where

<math>2 \lfloor\frac{n}{\mu}\rfloor - 1 {{=}} 2 \big(\lfloor \frac{n}{\mu} \rfloor - 1\big) + 1 \leq y \leq 2 \big(\lfloor\frac{n}{\mu}\rfloor + 1 \big) + 1 {{=}} 2\lfloor\frac{n}{\mu}\rfloor + 3.</math>

(The lower bound is reached if Λ3 has chunks of sizes {{nowrap|{{floor|''n''/μ}} − 1}} and {{floor|''n''/μ}}, and the upper bound is reached if Λ3 has chunks of sizes {{floor|''n''/μ}} and {{ceil|''n''/μ}}.)

The difference between the chunk sizes of Λ3 is {{nowrap|''y'' − ''x''}}, which must be 1 since Λ3 is pairwise well-formed. We thus have the following subcases: (In the following, chunk of Λ2 means chunk of β, and chunk of Λ3 means chunk of γ.)

'''Case 3.1:''' {{nowrap|(''x'', ''y'') {{=}} ({{floor|''n''/μ}}, 2*{{floor|''n''/μ}} − 1)}}.

Since {{nowrap|''y'' − ''x'' {{=}} {{floor|''n''/μ}} − 1}}, we have {{nowrap|''x'' {{=}} {{floor|''n''/μ}} {{=}} 2}} and {{nowrap|''y'' {{=}} 3}}. The chunk in Λ3 whose size was defined to be ''y'' is made from two consecutive chunks in Λ2 of size 1. (So Λ2 has chunks of size 1 and 2, and Λ3 has chunks of size 2 and 3.) Since chunk sizes of a MOS themselves form a MOS, Λ2 has more chunks of size 1 than it has chunks of size 2.

Λ2 has only two chunks of size 1, {{nowrap|Λ2[''n'' − 2]}} and Λ2[0], since otherwise Λ3 would have a chunk of size 1 within {{nowrap|Λ3[0 : ''n'' − 1]}}. Thus Λ2 has exactly one chunk of size 2. Thus {{nowrap|Λ2 {{=}} ββ′βββ′ββ′}} and {{nowrap|Λ3 {{=}} γγ′γγγ′γγ}}. Thus we have:

<pre<includeonly />>
1 2 3 4 5 6 7
Σ = Q R Q Q R Q T
Λ1 = α α α α α α α′
Λ2 = β β′ β β β′ β β′
Λ3 = γ γ′ γ γ γ′ γ γ
</pre>

Suppose a step of ''s'' is reached by stacking ''t''-many ''k''-steps. We have three cases after accounting for equave complements:

# {{nowrap|''t'' {{=}} 1}}: ''s'' is equivalent to '''abacaba'''.
# {{nowrap|''t'' {{=}} 2}}: ''s'' is {{nowrap|'''QR QQ RQ TQ RQ QR QT''' ⇒ ''s''}} is equivalent to '''abacaba'''.
# {{nowrap|''t'' {{=}} 3}}: ''s'' is {{nowrap|'''QRQ QRQ TQR QQR QTQ RQQ RQT''' ⇒ ''s''}} is equivalent to '''abacaba'''.

(This also implies ''s'' is SV3.)

'''Case 3.2''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}} + 1, 2*{{floor|''n''/μ}} − 1)}} is impossible: Here {{nowrap|(''x'', ''y'') {{=}} (4, 5)}}. But then Λ2 has a chunk of size < 3 because of the β′ at index ''n'', contradicting that ''x'' is one of the chunk sizes of Λ2.

'''Case 3.3''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}} + 1, 2*{{floor|''n''/μ}})}} is impossible: Here {{nowrap|(''x'', ''y'') {{=}} (3, 4)}}. But then Λ2 has a chunk of size 1 because of the β′ at index ''n'', and another chunk of size 0 or 2, contradicting that ''x'' is one of the chunk sizes of Λ2.

The remaining cases are all impossible because they imply {{nowrap|''y'' − ''x'' ≥ 2}}:

* '''Case 3.4''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}} + 1, 2*{{floor|''n''/μ}} + 1)}}
* '''Case 3.5''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}} + 1, 2*{{floor|''n''/μ}} + 2)}}
* '''Case 3.6''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}} + 1, 2*{{floor|''n''/μ}} + 3)}}
* '''Case 3.7''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}}, 2*{{floor|''n''/μ}})}}
* '''Case 3.8''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}}, 2*{{floor|''n''/μ}} + 1)}}
* '''Case 3.9''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}}, 2*{{floor|''n''/μ}} + 2)}}
* '''Case 3.10''': {{nowrap|(''x'', ''y'') {{=}}}} {{nowrap|({{floor|''n''/μ}}, 2*{{floor|''n''/μ}} + 3)}}
{{qed}}

== Theorem 3 (PMOS scales are balanced) ==
All pairwise-MOS scales are [[balanced]].

=== Proof ===
For any individual letter '''X''', identify letters other than it to get a MOS. Since MOS words are balanced, the block balance for any letter '''X''' is at most 1, as required by the balance property. {{Qed}}

== Theorem 4 (Generator-offset structure of even-regular scales) ==
=== Definition (Even-regular scale) ===
A primitive ternary scale ''s'' is ''even-regular'' if len(''s'') is even and ''s'' is equivalent to a word constructed from taking the MOS 2''a'''''X''' 2''c'''''Z''' with ''a'' odd and {{nowrap|gcd(''a'', ''c'') {{=}} 1}}, and replacing every other '''X''' with '''Y'''. In particular, ''s'' has [[step signature]] equivalent to ''a'''''X''' ''a'''''Y''' ''b'''''Z''' with ''a'' odd and ''b'' even. For example, '''LsLsLmsLsLsm''' (achiral [[diachrome]], 5'''L''' 2'''m''' 5'''s''') is an even-regular scale.
=== Theorem ===
If {{nowrap|''s'' {{=}} ''s''('''X''', '''Y''', '''Z''')}} is even-regular, then:
# ''s'' consists of two generator chains, each with len(''s'')/2 notes;
# the generator has the same interval class as some generator of the MOS 2''a'''''W''' 2''c'''''Z''';
# the two generator chains are offset by a len(''s'')/2-step interval;
# ''s'' is [[balanced]].

=== Proof ===
The result of substituting '''Y''' with '''X''' (let us call this map ''p'') is the MOS {{nowrap|''M'' {{=}} 2''a'''''X''' 2''c'''''Z'''}}, which has exactly 2 periods since {{nowrap|gcd(''a'', ''c'') {{=}} 1}}. ''M'' thus consists of two generator chains separated by the period of ''M'', which has {{nowrap|''a'' + ''c'' {{=}} len(''s'')}} steps. It thus suffices for there to exist ''k'', {{nowrap|0 < ''k'' < ''a'' + ''c''}}, such that every perfect ''k''-step generator has the same preimage in ''s'', which will be our desired generator. Suppose that the perfect ''k''-step of ''M'' is {{nowrap|''i'''''W''' + ''j'''''Z'''}} where {{nowrap|0 < ''i'' < ''a''}}. Since ''a'' is odd, possibly after taking the period-complement we may assume that ''i'' is even. Hence each subword ''w'' of ''s'' such that its projection ''p''(''w'') subtends a perfect ''k''-step satisfies {{nowrap|{{abs|''w''}}'''X''' {{=}} {{abs|''w''}}'''Y''' {{=}} ''i''/2}}. It plainly follows that every such ''w'' satisfies {{nowrap|{{abs|''w''}}'''X''' {{=}} {{abs|''w''}}'''Y'''}} = {{sfrac|''i''|2}} and {{nowrap|{{abs|''w''}}'''Z''' {{=}} ''j''}}.

It remains to show that ''s'' is balanced. Any ''k''-step subword has either ''j'' or ''j'' + 1 '''Z'''s for some ''j'' since the result of conflating '''X''' and '''Y''' is a MOS, and ''k''-step subwords for both possibilities exist when 0 < ''k'' < len(''s'')/2. If the number of non-'''Z''' letters in a ''k''-step subword is even, then there is only one possibility for the number of '''X''' and the number of '''Y'''. If the number of non-'''Z''' letters in a ''k''-step subword is odd, then both the number of '''X'''s and the number of '''Y'''s differ by at most 1. {{qed}}

== Theorem 5 (Classification of MV3 scales) ==
In the following, ''equivalent'' means "is the same circular word after permuting '''X''', '''Y''', and '''Z'''." This means that '''XYXZXYX''' is equivalent to '''YZYXYZY''', or '''XZXYXZX''', and so on.

=== Theorem 5.1 (Classification of ternary balanced scales) ===
# A primitive [[balanced]] ternary scale ''s'' is pairwise-MOS; conversely, pairwise-MOS scales are balanced. Such a scale satisfies one of the following:
## '''sporadic balanced''': ''s'' is equivalent to '''XYXZXYX''', the ternary [[Fraenkel word]], with step signature 4'''X'''2'''Y'''1'''Z'''.
## '''odd-regular''': len(''s'') is odd, and ''s'' is equivalent to a word constructed from taking the brightest mode of the MOS ''c'''''X'''''b'''''Z''' with ''c'' even and {{nowrap|gcd(''c'', ''b'') {{=}} 1}}, and replacing every other '''X''' with '''Y'''. We assume {{nowrap|'''X''' > '''Z'''}} when constructing the MOS. In particular, ''s'' has [[step signature]] ''a'''''X'''''a'''''Y'''''b'''''Z''' where ''b'' is odd (with {{nowrap|''a'' {{=}} ''c''/2}}).
## '''even-regular''': len(''s'') is even, and ''s'' is equivalent to a word constructed from taking the brightest mode of the MOS 2''a'''''X'''2''c'''''Z''' with ''a'' odd and {{nowrap|gcd(''a'', ''c'') {{=}} 1}}, and replacing every other '''X''' with '''Y'''. In particular, ''s'' has [[step signature]] ''a'''''X'''''a'''''Y'''''b'''''Z''' with ''a'' odd and ''b'' even.
# All primitive balanced ternary scales are MV3.
# A balanced primitive ternary scale is SV3 if and only if it is not even-regular.
# Odd-regular balanced primitive ternary scales have a generator sequence of period 2.

(Condensed: All single-period balanced ternary scales that are not the Fraenkel word are a'''X''' a'''Y''' b'''Z'''. In this case, if b is odd, then the scale is odd-regular. If b is even, then the scale is even-regular.)

==== Proof ====
For 5.1.1: We showed previously that the Fraenkel, odd-regular, and even-regular circular words are balanced.

We will first prove that a balanced circular word is primitive iff the gcd of the step signature is 1. Proof sketch: let ''d'' be the gcd of the step signature. (''n''/''d'')-step multisets come in 1 size, namely the equave divided by ''d'', because if some letter count differs, then we get 3 values for this letter count for (''n''/''d'')-step multisets by the discrete IVT.

It remains to show that (a) ternary balanced words are pairwise-MOS (b) if ''a'' > ''b'' > ''c'', then ''s'' is equivalent to the Fraenkel word (c) assuming ''a'' != ''b'' = ''c'' any ''s'' that is not odd-regular or even-regular is not balanced.

(a) Let ''s'' be a ternary balanced word; then for any given letter '''y''' the number of '''y'''s in a subword of any given length ''L'' varies by at most 1. Thus the same is true when we count all non-'''y''' letters in any subword of length ''L''; thus when we equate '''x''' and '''z''', the count of the resulting letter in any subword of length ''L'' differs by 1. Being a binary balanced word is one characterization of the MOS property.

(b) The following proof is taken from "Balanced Sequences and Optimal Routing", by Altman, Gaujal, and Hordijk (2000).

Let ''W'' be the (balanced) right-infinite word made by concatenating infinitely many copies of ''s''. We use the following steps, using the balance property:

(i) The sequence '''XZX''' must appear in ''W''.

There are two consecutive '''X'''s with no '''Y''' in between since ''a'' > ''b''. This means either '''XX''' or '''XZX''' appears. If '''XX''' appears, then a '''Z''' is necessarily surrounded by two '''X'''s.

(ii) The sequence '''YXXY''' and '''XYXXYX''' must appear in ''W''.

There exists a pair of consecutive '''Y'''s with no '''Z''' in between. Thus we have a subword of the form '''YX'''''n'''''Y'''. Now, ''n'' ≤ 1 is not possible because of the presence of '''XZX''' and '''Y'''-balance. ''n'' ≥ 3 implies the existence of '''X'''''n''-1'''ZX'''''n''-1 by '''X'''-balance which is incompatible with '''YX'''''n'''''Y''' because of '''Y'''-balance. Therefore, ''n'' = 2. Note that this also implies the presence of subwords '''XX''' and '''XYXXYX'''.

(iii) The sequence '''XYXZXYX''' appears in ''W''.

The sequence ''W'' must contain a '''Z'''. This '''Z''' is necessarily surrounded by two '''X'''s since '''XX''' exists by Step (ii). This group is necessarily surrounded by two '''Y'''s since '''YXXY''' exists, and consequently, necessarily surrounded by two '''X'''s because '''XYXXYX''' exists. We get the sequence '''XYXZXYX'''.

(iv) ''W'' = ('''XYXZXYX''')ω.

No letter around this word can be a '''Z''' because '''YXXY''' exists. None can be a '''Y''' since '''XZX''' exists. Therefore, they have to be two '''X'''s. Then note that the two surrounding letters cannot be '''Z''' (because of the existence of '''XYXXYX''') nor '''X''' (because of the existence of '''YXZ''') so they are '''Y''', then followed by '''X''' (because '''XX''' exists). At this point, we have the sequence
“_'''XYXXYXZXYXXYX'''_”. Both _s are necessarily '''Z'''s. To end the proof, note that we have obtained the configuration around every '''Z''' and this determines the whole sequence. Thus ''W'' = ('''XYXZXYX''')ω.

(c) The scale made by taking ''s'' and conflating '''Y''' and '''Z''' into the letter '''W''' must be a MOS. To this scale we may imagine substituting a scale made of an equal amount of '''Y''' and '''Z''' letters into the "slot letters" '''W''' letter by letter. Let ''t''1 be a length-''k'' subword of the form '''YX'''''k''-2'''Y''' under the projection. We may assume that the chunk sizes of the MOS are ''k'' - 2 and ''k'' - 1, or ''k'' - 2 and ''k'' - 3. Either way, there exists some subword with (''k'' - i)-many '''X'''s, i = 1 or 2, and two '''Z'''s. This violates balance because ''t''1 contains zero '''Z'''s.

For 5.1.2: Suppose ''s'' is balanced and has at least three sizes for ''k''-steps, {{nowrap|''a''''i'''''X''' + ''b''''i'''''Y''' + ''c''''i'''''Z''' {{=}} (''a''''i'', ''b''''i'', ''c''''i'')}} for {{nowrap|''i'' ∈ {{(}}1, 2, 3{{)}}}}. We may assume {{nowrap|(''a''2, ''b''2, ''c''2) {{=}} (''a''1, ''b''1 + 1, ''c''1 − 1)}}. Then either {{nowrap|(''a''3, ''b''3, ''c''3) {{=}} (''a''1 + 1, ''b''1, ''c''1 − 1)}} or {{nowrap|(''a''3, ''b''3, ''c''3) {{=}} (''a''1 − 1, ''b''1 + 1, ''c''1)}}. In both cases, by balancedness applied to subwords of length ''k'', the three vectors represent the only possible interval sizes.

For 5.1.3: The ternary Fraenkel word may be verified as SV3 by inspection, and we have already shown in Theorem 1 that odd-regular balanced scales are SV3. To show that even-regular balanced scales are ''not'' SV3, observe that {{nowrap|(''a'' + ''c'')}}-steps come in only 2 sizes in such a scale ''s'': {{nowrap|{{floor|''a''/2}}'''X''' + {{ceil|''a''/2}}'''Y''' + ''c'''''Z'''}} and {{nowrap|{{ceil|''a''/2}}'''X''' + {{floor|''a''/2}}'''Y''' + ''c'''''Z'''}}, since the underlying MOS 2''a'''''X'''2''c'''''Y''' only has the {{nowrap|(''a'' + ''c'')}}-step {{nowrap|''a'''''X''' + ''c'''''Z'''}}. The construction replaces the '''X'''s in these subwords with alternating '''X'''s and '''Y'''s; either of '''X''' or '''Y''' may occur first, corresponding to the two possible sizes, since ''a'' is odd and thus the {{nowrap|(''a'' + ''c'')}}-step subword {{nowrap|''s''[''k'' − 1 : ''k'' + ''a'' + ''c'' − 1]}} becomes the subword {{nowrap|''s''[''k'' + ''a'' + ''c'' − 1 : ''k'' + 2''a'' + 2''c'' − 1]}} via interchanging '''X''' and '''Y'''.

Claim 5.1.4 can be verified by noting that such scales are PWF and using Theorem 4. {{Qed}}

=== Theorem 5.2 (Classification of MV3 scales) ===
A primitive MV3 scale is either
# '''balanced''' (classified by the previous theorem),
# '''sporadic non-balanced''': equivalent to '''XYZYX''', or
# '''twisted''': equivalent to a word constructed as follows:
#* Start with the brightest multiMOS word ''kc'''''X'''''kb'''''Z''' with ''c'' being an even number.
#* Interchange a '''Z''' and an '''X''' at some (possibly more than one) of the boundaries of these copies of the MOS word ''w''. Here, the boundary of two consecutive copies of ''w'' is the last letter of the first word and the first letter of the second word. (At the ends of the whole multiMOS word, the boundaries are just the first and last letters of the word.) For example, let ''w'' be the multiMOS word 8'''X'''6'''Z''', '''XXZXZXZXXZXZXZ'''. Then the border between the copies of the MOS subword '''XXZXZXZ''' are ''w''[6]''w''[7] and ''w''[13]''w''[0] (using 0-based numbering).
#* Replace every other '''X''' with '''Y''' in ''w''. (Thus in particular, twisted MV3 scales have step signature ''ka'''''X'''''ka'''''Y'''''kb'''''Z''')

==== Proof ====
Most of this has been proved by Bulgakova, Buzhinsky and Goncharov (2023), "[https://arxiv.org/pdf/2012.15818 On balanced and abelian properties of circular words over a ternary alphabet]"; however, the designations ''sporadic'', ''odd-regular'', and ''even-regular'' for the classes are ours.

Note: The xen term "brightest MOS word" is equivalent to "Christoffel word" in the paper, and similarly "brightest multiMOS word" is equivalent to "powers of a Christoffel word". Also see [[Glossary for combinatorics on words]] for more equivalents between xen community terms and standard academic terminology.

== Theorem 6 (Even-regular scales as (contra)interleavings) ==
Let ''s'' be a primitive even-regular scale of [[MOS substitution]] type ''a'''''x'''(''k'''''y''' ''k'''''z''') where ''a'' is even and gcd(''a'', ''k'') = 1. Let ''n'' = |''s''| = ''a'' + 2''k''.
# If ''n'' is singly even, then ''s'' is a [[interleaving|contrainterleaving]] of the two opposite chiralities of an odd-regular scale.
# If ''n'' is doubly even and > 4, then ''s'' is an [[interleaving]] of two copies of a smaller even-regular scale.
# If ''n'' = 4, then ''s'' = '''xyxz''' is an interleaving of a 2-note MOS.
=== Proof ===
Statement 3 is trivial and is included for completeness. We assume ''n'' > 4. The ''a'' = 2''k'' case means that ''k'' = gcd(''a'', ''k'') = 1, and ''a'' = 2. This is the trivial ''n'' = 4 case. Thus ''a'' ≠ 2''k''.

The 2-step intervals of ''s'' must be:
# if ''a'' > 2''k'': '''y''' + '''z''', otherwise: 2'''x'''
# '''x''' + '''y'''
# '''x''' + '''z'''
We also know that ''s'' is of the form {{nowrap|''w''('''x''', '''y''', '''z''')''w''('''x''', '''z''', '''y''').}} Hence the number of occurrences of '''x''' + '''y''' = the number of occurrences of '''x''' + '''z''', counting all 2-steps in all of ''s''.

Write ''s''1 for the scale word made from stacked 2-steps from the 0-degree, and let ''s''2 be as follows:
* In the singly even case, let ''s''2 be the circular word of 2-steps starting at the (''n''/2)-degree. We know that they differ only by interchanging '''y''' and '''z''', hence that they have the same period. Hence both ''s''1 and ''s''2 are primitive.
* In the doubly even case, start from the mode of ''s'' whose template MOS is the brightest mode. Let ''s''2 be offset at a generator of the even-regular scale, which we choose to have the same interval class as a bright generator of the MOS ''a'''''x''' 2''k'''''X'''. This is what induces the equality of ''s''1 and ''s''2 (in particular, the two scales have the same period, thus they are both primitive): Let ''s''''t'' be the period of the brightest mode of the template MOS, and let ''g'' be its bright generator class. Then the slice {{nowrap|''s''''t''[-''g'' +1 : 1]}} is the imperfect generator of the MOS. Now when we "darken" the mode by one generator, which is the difference between the template MOSes of ''s''1 and ''s''2, we turn that slice into the bright generator, hence swapping ''s''''t''[-''g''] and ''s''''t''[-''g'' + 1]. Note that ''g'' must be odd since it generates a 2-period MOS. So (under 0-indexing) the first letter's index is even and the second letter's index is odd, which is what we want since the letters are within a stacked 2-step. While the generator might have to be higher by an (''n''/2)-step, that doesn't affect the parity since ''n''/2 is even.

We prove that ''s''1 and ''s''2 are MOS substitution scales with a filling MOS of period 2. The number the 2-step (1) occurs must be the same in both ''s''1 and ''s''2. The word of stacked 2-steps of the template MOS (which is of the form {{nowrap|''w''('''x''', '''X''', '''X''')''w''('''x''', '''X''', '''X''')}}), which is itself a MOS word, consists of letters (1) '''x''' + '''X''' and (2) 2'''X''' if more '''X''''s than '''x''''s, 2'''x''' if more '''x''''s than '''X''''s. The word of stacked 2-steps from our chosen offset is also this same MOS word. Thus it remains to handle the cases (1) and (2) above. Whenever the letter '''x''' + '''X''' is encountered, the number of the last letters that are equated to '''X''' that are consumed is 1, which is odd. Whenever the other letter is encountered, that number is even (0 or 2). Hence (since ''n'' > 4) the letter 2'''X''' resp. 2'''x''' serves as the non-slot letter, and the letters ('''x''' + '''X''') serve as the slot letters where a 2-period filling MOS word (a repetition of {{nowrap|('''x'''+'''y''')('''x'''+'''z''')}}) is substituted.

Now we count the letters that occur in these MOS substitution words of 2-steps. Consider the chunk boundaries of the template MOS. For every boundary between chunks, there is one slot letter in the template MOS for ''s''1 and one in the template MOS ''s''2, due to index parity. So it suffices that we have evenly many boundaries between (nonempty) chunks. Equivalently, we have to prove that there are evenly many steps of the step size that occurs less frequently in the template MOS ''a'''''x''' 2''k'''''X''', which is true by assumption (''a'' and 2''k'' are both even).
* In the singly even case, since there are evenly many slot letters in both ''s''1 and ''s''2, there are oddly many non-slot letters in both. Since ''s''1 and ''s''2 differ by interchanging '''y''' and '''z''', they have "opposite" filling letters, '''x''' + '''y''' being the opposite of '''x''' + '''z'''. This makes ''s''1 and ''s''2 opposite chiralities of an odd-regular MV3 scale.
* In the doubly even case, the number of non-slot letters in ''s''1 and ''s''2 is even, and we have a filling MOS of period 2. Since ''s''1 and ''s''2 are both primitive, they are both even-regular scales. {{Qed}}

== Theorem 7 (Ternary parallelogram scales are MOS substitution) ==
:''Main article: [[Ternary parallelogram scales are MOS substitution]]''

== Open problems ==
# Classify all twisted SV3 scales, thereby completing the classification of all abstractly SV3 scales.
# Conjecture: If a twisted MV3 is not SV3, then it is constructed from ''ka'''''X'''''kb'''''Z''' where ''k'' is composite.

=== Conjecture ("MV3 Sequences") ===
Given any two generators, we can iterate them to any number of notes and see what the maximum-variety of the resulting scale is. In particular, we can look at those scale sizes which are MV3, and thus compute the '''MV3 sequence''' for the pair of generators (similar to the "MOS sequence" one can compute for one generator). Thus, for any pair of generators, we can form the associated sequence of increasingly large MV3 scales.

Surprisingly, for almost all pairs of generators, this sequence seems to terminate after some (usually relatively small) scale. That is, if we simply take all possible pairs of generators between 0 and 1200 cents, and for each pair we compute the MV3 sequence for all generator pairs up to some maximum ''N'', such as 1000, we can easily see that most points will have only a few entries in it, after which no MV3 scales are apparently generated. It would seem to be true that as the two generators get closer and closer in size, the MV3 sequence gets longer and longer, until when the two generators are equal you have an infinite-length sequence (corresponding to MOS).

It is pretty easy to see this behavior is true if we simply compute the MV3 sequences up to any very large ''N'', far beyond the scale sizes we typically use in music theory, but it would be good to have a proof.

=== Open questions ===
This heading has those open questions for which no conjecture has yet been formed either way. (These can be updated as necessary)
# Given any arbitrary MOS scale with at least three notes per period, is there *always* a MV3 generator-offset scale which can be derived as a "detempering" of that scale? Or is this only true for some MOS's? For instance, the MOS '''LLsLLLs''' has the MV3 generator-offset scale '''LmsLmLs''' as a detempering. Does a similar MV3 detempering exist for every possible DE scale with at least three notes per period, or at least for strict MOS's with one period per octave (e.g. well-formed scales)?
#* Yes. For an ''a'''''x'''''b'''''y''' MOS with gcd(''a'', ''b'') = 1, if one of ''a'' and ''b'' is even, detemper '''x''' resp. '''y''' into two step sizes. The result is a 1-period odd-regular MV3. If neither is even, assume ''a'' > ''b''. Then use {{nowrap|(''a'' - ''b'')'''x'''''b'''''y'''''b'''''z'''}}, which is a 1-period even-regular MV3 since {{nowrap|gcd(''a'' - ''b'', ''b'') {{=}} gcd(''a'', ''b'') {{=}} 1.}}
# The scale tree is a great way to analyze MOS scales. For any generator, we can compute the various MOS's it forms if we simply look at the scale tree, and indeed MOS "words" like LLsLLLs can be identified with regions on the scale tree (in this situation the interval between 4/7 and 3/5). A similar "scale plane" should exist for generator-offset-MV3 scales, where given some word representing a generator-offset-MV3 scale, we can look at the set of points on the generator plane which generates it; these seem to often be triangles, with the lines corresponding to MOS's and the vertices corresponding to EDOs (though is this always true?). What is the big picture of this scale plane? Can we use Viggo Brun's algorithm for this, generalizing the theory of continued fractions? Is there some simple formula we can use to predict, given some generator-offset-MV3 scale, which region on the scale plane it corresponds to? Can we plot simple generator-size-proportions as points in this space? And so on.
# In the theory of MOS, there is a second [[MOS Scale Family Tree|scale tree]] that is less frequently talked about, which Erv Wilson calls the "Rabbit Sequence" ([http://www.anaphoria.com/RabbitSequence.pdf Erv Wilson's original version], [https://mikebattagliamusic.com/MOSTree/MOSTreeab.html interactive version 1], [https://mikebattagliamusic.com/MOSTree/MOSTreeLs.html interactive version 2]). This is a tree for which each MOS word has two children, depending on if the MOS is "soft" (with {{nowrap|L/s < 2}}) or "hard" (with {{nowrap|L/s > 2}}). For instance, LsLss has the two children LLsLLLs and ssLsssL. Does a similar scale plane exist for these generator-offset-MV3 scales?

== External links ==
* [https://github.com/turbofishcrow/scale-word-theorems Scale word theorems formalized in Lean 4 (WIP)]
[[Category:Math]]
[[Category:Rank-3 scales| ]]
[[Category:Scale]]
[[Category:Pages with proofs]]
[[Category:Pages with open problems]]

Aberschismic family

2026-06-06T13:11:39Z

Inthar:

{{Interwiki
| en = Aberschismic family
| de = Aberrschismisch
| es =
| ja =
| ro =
| ko = 헤미패미티 (음률)
}}
{{Technical data page}}
The '''aberschismic family''' of [[rank-3 temperament|rank-3]] [[regular temperament|temperaments]] [[tempering out|tempers out]] the [[aberschisma]] ({{monzo|legend=1| 10 -6 1 -1 }}, [[ratio]]: [[5120/5103]]).

== Aberschismic ==
Aberschismic (formerly ''hemifamity'') divides an exact or approximate septimal quartertone, [[36/35]] into two equal steps, each representing [[81/80]][[~]][[64/63]], the syntonic comma or the septimal comma. Therefore, classical and septimal intervals are found by the same [[chain of fifths]] inflected by the same comma to the opposite sides. In addition we may identify [[10/7]] with the augmented fourth (C–F#) and [[50/49]] with the [[Pythagorean comma]].

Aberschismic can be further tempered to [[garibaldi]], which expands the interpretations of 81/80~64/63 to include the Pythagorean comma (collapsing to a rank-2 structure), or alternatively, aberschismic can be seen as liberating the syntonic-septimal comma from garibaldi's chain of fifths.

It is therefore very handy to adopt an additional module of accidentals such as arrows to represent the syntonic~septimal comma, in which case we have [[5/4]] at the down major third (C–vE) and [[7/4]] at the down minor seventh (C–vBb).

[[Subgroup]]: 2.3.5.7

[[Comma list]]: [[5120/5103]]

{{Mapping|legend=1| 1 0 0 10 | 0 1 0 -6 | 0 0 1 1 }}
: mapping generators: ~2, ~3, ~5

[[Mapping to lattice]]: [{{val| 0 1 2 -4 }}, {{val| 0 0 1 1 }}]

Lattice basis:
: 3/2 length = 0.5670, 10/9 length = 1.8063
: Angle (3/2, 10/9) = 82.112 degrees

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.7172{{c}}, ~3/2 = 702.6636{{c}}, ~5/4 = 386.7266{{c}}
: [[error map]]: {{val| -0.283 +0.426 -0.153 +0.222 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 702.8166{{c}}, ~5/4 = 386.5465{{c}}
: error map: {{val| 0.000 +0.862 +0.233 +0.821 }}

[[Minimax tuning]]: c = 5120/5103
* [[7-odd-limit]]: 3 and 7 1/7c sharp, 5 just
: {{monzo list| 1 0 0 0 | 10/7 1/7 1/7 -1/7 | 0 0 1 0 | 10/7 -6/7 1/7 6/7 }}
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.5.7/3
* [[9-odd-limit]]: 3 1/8c sharp, 5 just, 7 1/4c sharp
: {{monzo list| 1 0 0 0 | 5/4 1/4 1/8 -1/8 | 0 0 1 0 | 5/2 -3/2 1/4 3/4 }}
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.5.9/7

{{Optimal ET sequence|legend=1| 41, 53, 87, 94, 99, 239, 251, 292, 391, 881bd, 1272bcdd }}

[[Badness]] (Sintel): 0.675

[[Projection pair]]s: 7 5120/729

; Music
* [http://www.archive.org/details/Choraled ''Choraled''] [http://www.archive.org/download/Choraled/Genewardsmith-Choraled.mp3 play] by [[Gene Ward Smith]]
* [http://clones.soonlabel.com/public/micro/hemifamity27/hemifamity27-IF-20100917.mp3 ''Hemifamity27''] by [[Chris Vaisvil]]

=== Overview to extensions ===
==== 11- and 13-limit extensions ====
Strong extensions of aberschismic are [[#Pele|pele]], [[#Laka|laka]], [[#Akea|akea]], and [[#Lono|lono]]. The rest are weak extensions. Using the arrow to represent the syntonic~septimal comma, pele finds the [[11/8]] as a down diminished fifth (C–vGb); laka, up augmented third (C–^E#); akea, double-up fourth (C–^^F); lono, triple-down augmented fourth (C–v3F#). All these extensions follow the trend of tuning the fifth a little sharp. Thus a successful mapping of 13 can be found by fixing the [[13/11]] at the minor third (C–Eb), tempering out [[352/351]], [[847/845]], and [[2080/2079]].

Temperaments discussed elsewhere include:
* ''[[Kahoupokane]]'' (+121/120) → [[Biyatismic clan #Kahoupokane|Biyatismic clan]]

==== Subgroup extensions ====
A notable 2.3.5.7.19-subgroup extension, counterpyth, is considered in [[#Subgroup extensions]].

== Pele ==
{{Main| Pele }}
{{See also| Pentacircle clan }}

Pele tempers out [[441/440]] as well as [[896/891]] and may be described as the {{nowrap| 41 & 46 & 58 }} temperament, finding the interval class of 11 at the down diminished fifth (C–vGb). It also extends [[parapyth]]. [[145edo]] makes for an excellent tuning.

[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 441/440, 896/891

{{Mapping|legend=1| 1 0 0 10 17 | 0 1 0 -6 -10 | 0 0 1 1 1 }}

[[Mapping to lattice]]: [{{val| 0 1 4 -2 -6 }}, {{val| 0 0 -1 -1 -1 }}]

Lattice basis:
: 3/2 length = 0.3812, 56/55 length = 1.5893
: Angle(3/2, 56/55) = 90.4578 degrees

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.5424{{c}}, ~3/2 = 703.0109{{c}}, ~5/4 = 387.6427{{c}}
: [[error map]]: {{val| -0.458 +0.598 +0.414 -1.995 +2.097 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 703.2804{{c}}, ~5/4 = 387.3911{{c}}
: error map: {{val| 0.000 +1.325 +1.077 -1.117 +3.269 }}

[[Minimax tuning]]:
* [[11-odd-limit]]
: [{{monzo| 1 0 0 0 0 }}, {{monzo| 17/10 0 1/10 0 -1/10 }}, {{monzo| 17/5 -2 6/5 0 -1/5 }}, {{monzo| 16/5 -2 3/5 0 2/5 }}, {{monzo| 17/5 -2 1/5 0 4/5 }}]
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.9/5.11/9

{{Optimal ET sequence|legend=1| 29, 41, 58, 87, 99e, 145, 186e }}

[[Badness]] (Sintel): 0.779

[[Projection pair]]s: 7 5120/729 11 655360/59049

=== 13-limit ===
Subgroup: 2.3.5.7.11.13

Comma list: 196/195, 352/351, 364/363

Mapping: {{mapping| 1 0 0 10 17 22 | 0 1 0 -6 -10 -13 | 0 0 1 1 1 1 }}

Optimal tunings:
* WE: ~2 = 1199.4965{{c}}, ~3/2 = 703.1192{{c}}, ~5/4 = 388.0342{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 703.4225{{c}}, ~5/4 = 387.7761{{c}}

Minimax tuning:
* 13-odd-limit unchanged-interval (eigenmonzo) basis: 2.9/5.13/9
* 15-odd-limit unchanged-interval (eigenmonzo) basis: 2.5/3.13/9

{{Optimal ET sequence|legend=0| 29, 41, 46, 58, 87, 145, 232 }}

Badness (Sintel): 0.658

=== 17-limit ===
Subgroup: 2.3.5.7.11.13.17

Comma list: 196/195, 256/255, 352/351, 364/363

Mapping: {{mapping| 1 0 0 10 17 22 8 | 0 1 0 -6 -10 -13 -1 | 0 0 1 1 1 1 -1 }}

Optimal tunings:
* WE: ~2 = 1199.3960{{c}}, ~3/2 = 703.0725{{c}}, ~5/4 = 388.4246{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 703.4518{{c}}, ~5/4 = 388.4909{{c}}

{{Optimal ET sequence|legend=0| 29, 41, 46, 58, 87, 99ef, 145 }}

Badness (Sintel): 0.884

== Laka ==
{{Main| Laka }}

Laka can be described as the {{nowrap| 41 & 53 & 58 }} temperament, tempering out [[540/539]], and finds the interval class of 11 at the up augmented third (C–^E#). [[Gene Ward Smith]] considered it a [[17-limit]] temperament, assigning the vanishing of [[442/441]] ({{nowrap| 41g & 53 & 58 }}) as the main extension, but {{nowrap| 41 & 53g & 58 }} also makes for a competitive extension.<ref>[https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_101682.html#101776 Yahoo! Tuning Group | ''Laka 17-limit minimax planar temperament'']</ref> Indeed, laka makes most sense as a 2.3.5.7.11.13.19-[[subgroup]] temperament, skipping prime 17, as the 19 is accurate and easily available in a 24-tone scale. [[152edo]] makes for an excellent tuning, using the 152f val for prime 13.

[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 540/539, 5120/5103

{{Mapping|legend=1| 1 0 0 10 -18 | 0 1 0 -6 15 | 0 0 1 1 -1 }}

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.6201{{c}}, ~3/2 = 702.4416{{c}}, ~5/4 = 386.6781{{c}}
: [[error map]]: {{val| -0.380 +0.107 -0.395 +0.924 +0.527 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 702.6175{{c}}, ~5/4 = 386.4170{{c}}
: error map: {{val| 0.000 +0.663 +0.103 +1.886 +1.528 }}

[[Minimax tuning]]
* [[11-odd-limit]]
: [{{monzo| 1 0 0 0 0 }}, {{monzo| 4/3 0 2/21 -1/21 1/21 }}, {{monzo| 0 0 1 0 0 }}, {{monzo| 2 0 3/7 2/7 -2/7 }}, {{monzo| 2 0 3/7 -5/7 5/7 }}]
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.5.11/7

{{Optimal ET sequence|legend=1| 41, 53, 58, 94, 99e, 152, 497de, 555dee, 707ddee, 859bddee }}

[[Badness]] (Sintel): 0.992

[[Projection pair]]s: <code>7 5120/729 11 14348907/1310720</code>

=== 13-limit ===
Subgroup: 2.3.5.7.11.13

Comma list: 352/351, 540/539, 729/728

Mapping: {{mapping| 1 0 0 10 -18 -13 | 0 1 0 -6 15 12 | 0 0 1 1 -1 -1 }}

Optimal tunings:
* WE: ~2 = 1199.4742{{c}}, ~3/2 = 702.3385{{c}}, ~5/4 = 387.0965{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 702.5780{{c}}, ~5/4 = 386.7718{{c}}

Minimax tuning:
* 13- and 15-odd-limit
: [{{monzo| 1 0 0 0 0 0 }}, {{monzo| 13/8 -1/2 1/8 0 0 1/8 }}, {{monzo| 13/4 -3 5/4 0 0 1/4 }}, {{monzo| 7/2 0 1/2 0 0 -1/2 }}, {{monzo| 25/8 -9/2 5/8 0 0 13/8 }}, {{monzo| 13/4 -3 1/4 0 0 5/4 }}]
: unchanged-interval (eigenmonzo) basis: 2.11.13/7

{{Optimal ET sequence|legend=0| 41, 53, 58, 94, 111, 152f, 415dff }} *

<nowiki>*</nowiki> optimal patent val: [[205edo|205]]

Badness (Sintel): 0.769

=== 2.3.5.7.11.13.19 subgroup ===
Subgroup: 2.3.5.7.11.13.19

Comma list: 352/351, 400/399, 456/455, 495/494

Mapping: {{mapping| 1 0 0 10 -18 -13 -6 | 0 1 0 -6 15 12 5 | 0 0 1 1 -1 -1 1 }}

Optimal tunings:
* WE: ~2 = 1199.4881{{c}}, ~3/2 = 702.3224{{c}}, ~5/4 = 386.8881{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 702.5613{{c}}, ~5/4 = 386.6230{{c}}

{{Optimal ET sequence|legend=0| 41, 53, 58h, 94, 111, 152f, 415dffhh }} *

<nowiki>*</nowiki> optimal patent val: [[205edo|205]]

Badness (Sintel): 0.647

== Akea ==
[[File:Lattice Akea.png|thumb|Lattice for 13-limit akea.]]
[[File:Lattice Akea-commatic.png|thumb|Ditto, but rearranged to basis {~2, ~3, ~81/80}.]]

Akea tempers out [[385/384]] and may be described as the {{nowrap| 41 & 46 & 53 }} temperament, finding the interval class of 11 at the double-up fourth (C–^^F). [[140edo]], [[181edo]] and especially [[321edo]] can be used as tunings. Note that [[94edo]] is a notable tuning not appearing on the optimal ET sequence.

[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 385/384, 2200/2187

{{Mapping|legend=1| 1 0 0 10 -3 | 0 1 0 -6 7 | 0 0 1 1 -2 }}

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1200.1396{{c}}, ~3/2 = 702.9241{{c}}, ~5/4 = 385.1817{{c}}
: [[error map]]: {{val| +0.140 +1.109 -0.853 -0.351 -1.213 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 702.8511{{c}}, ~5/4 = 385.1712{{c}}
: error map: {{val| 0.000 +0.896 -1.143 -0.761 -1.703 }}

[[Minimax tuning]]:
* [[11-odd-limit]]
: [{{monzo| 1 0 0 0 0 }}, {{monzo| 5/3 0 1/6 -1/6 0 }}, {{monzo| 26/9 0 13/18 -7/18 -1/3 }}, {{monzo| 26/9 0 -5/18 11/18 -1/3 }}, {{monzo| 26/9 0 -5/18 -7/18 2/3 }}]
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.7/5.11/5

{{Optimal ET sequence|legend=1| 34, 41, 53, 87, 140, 181, 321 }}

[[Badness]] (Sintel): 1.20

=== 13-limit ===
Subgroup: 2.3.5.7.11.13

Comma list: 325/324, 352/351, 385/384

Mapping: {{mapping| 1 0 0 10 -3 2 | 0 1 0 -6 7 4 | 0 0 1 1 -2 -2 }}

Lattice basis:
: 3/2 length = 0.5354, 27/20 length = 1.0463
: Angle (3/2, 27/20) = 80.5628 degrees

Mapping to lattice: [{{val| 0 1 3 -3 1 -2 }}, {{val| 0 0 -1 -1 2 2 }}]

Optimal tunings:
* WE: ~2 = 1200.0943{{c}}, ~3/2 = 702.9377{{c}}, ~5/4 = 385.4278{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 702.8853{{c}}, ~5/4 = 385.4002{{c}}

Minimax tuning:
* 13- and 15-odd-limit
: [{{monzo| 1 0 0 0 0 0 }}, {{monzo| 5/3 0 1/6 -1/6 0 0 }}, {{monzo| 26/9 0 13/18 -7/18 -1/3 0 }}, {{monzo| 26/9 0 -5/18 11/18 -1/3 0 }}, {{monzo| 26/9 0 -5/18 -7/18 2/3 0 }}, {{monzo| 26/9 0 -7/9 1/9 2/3 0 }}]
: unchanged-interval (eigenmonzo) basis: 2.7/5.11/5

{{Optimal ET sequence|legend=0| 34, 41, 46, 53, 87, 140, 321, 461e }}

Badness (Sintel): 0.769

Scales: [[akea46_13]]

== Lono ==
Lono tempers out [[176/175]] and may be described as the {{nowrap| 46 & 53 & 58 }} temperament, finding the interval class of 11 at the triple-down augmented fourth (C–v3F#). It notably also tempers out [[8019/8000]], thus setting 11/10, 10/9, 9/8, and 8/7 a comma apart from each other. [[111edo]] is a great tuning for it. [[157edo]] is a viable alternative, which is almost as good.

[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 176/175, 5120/5103

{{Mapping|legend=1| 1 0 0 10 6 | 0 1 0 -6 -6 | 0 0 1 1 3 }}

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.3368{{c}}, ~3/2 = 702.5643{{c}}, ~5/4 = 389.5319{{c}}
: [[error map]]: {{val| -0.663 -0.054 +1.892 +1.341 -2.088 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 702.9356{{c}}, ~5/4 = 389.4076{{c}}
: error map: {{val| 0.000 +0.981 +3.094 +2.968 -0.708 }}

{{Optimal ET sequence|legend=1| 46, 53, 58, 99, 111, 268cd }}

[[Badness]] (Sintel): 1.41

=== 13-limit ===
Subgroup: 2.3.5.7.11.13

Comma list: 176/175, 351/350, 847/845

Mapping: {{mapping| 1 0 0 10 6 11 | 0 1 0 -6 -6 -9 | 0 0 1 1 3 3 }}

Optimal tunings:
* WE: ~2 = 1199.3329{{c}}, ~3/2 = 702.5519{{c}}, ~5/4 = 389.5508{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 702.9205{{c}}, ~5/4 = 389.4341{{c}}

{{Optimal ET sequence|legend=0| 46, 53, 58, 99, 104c, 111, 268cd }}

Badness (Sintel): 0.850

== Kapo ==
[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 3025/3024, 5120/5103

{{Mapping|legend=1| 1 0 0 10 7 | 0 1 1 -5 -2 | 0 0 2 2 -1 }}
: mapping generators: ~2, ~3, ~128/99

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.7125{{c}}, ~3/2 = 702.6631{{c}}, ~128/99 = 441.8973{{c}}
: [[error map]]: {{val| -0.287 +0.421 -0.143 +0.216 +0.021 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~3/2 = 702.8413{{c}}, ~128/99 = 441.9493{{c}}
: error map: {{val| 0.000 +0.886 +0.426 +0.866 +1.050 }}

[[Minimax tuning]]:
* [[11-odd-limit]]:
: [{{monzo| 1 0 0 0 0 }}, {{monzo| 8/5 2/5 0 -1/15 -2/15 }}, {{monzo| 14/5 6/5 0 7/15 -16/15 }}, {{monzo| 16/5 -6/5 0 13/15 -4/15 }}, {{monzo| 16/5 -6/5 0 -2/15 11/15 }}]
: [[eigenmonzo basis|unchanged-interval (eigenmonzo) basis]]: 2.9/7.11/9

{{Optimal ET sequence|legend=1| 41, 65d, 87, 111, 152, 239, 391, 980bcde, 1132bcdde, 1371bbcddee }}

[[Badness]] (Sintel): 1.19

== Namaka ==
[[Subgroup]]: 2.3.5.7.11

[[Comma list]]: 3388/3375, 5120/5103

{{Mapping|legend=1| 1 0 0 10 -6 | 0 2 0 -12 9 | 0 0 1 1 1 }}
: mapping generators: ~2, ~400/231, ~5

[[Optimal tuning]]s:
* [[WE]]: ~2 = 1199.7179{{c}}, ~400/231 = 951.2909{{c}}, ~5/4 = 387.4982{{c}}
: [[error map]]: {{val| -0.282 +0.627 +0.620 -0.203 -1.074 }}
* [[CWE]]: ~2 = 1200.0000{{c}}, ~400/231 = 951.5081{{c}}, ~5/4 = 387.3182{{c}}
: error map: {{val| 0.000 +1.061 +1.004 +0.395 -0.426 }}

{{Optimal ET sequence|legend=1| 29, 53, 58, 87, 111, 140, 198 }}

[[Badness]] (Sintel): 2.09

=== 13-limit ===
Subgroup: 2.3.5.7.11.13

Comma list: 352/351, 676/675, 847/845

Mapping: {{mapping| 1 0 0 10 -6 -1 | 0 2 0 -12 9 3 | 0 0 1 1 1 1 }}

Optimal tunings:
* WE: ~2 = 1199.7072{{c}}, ~26/15 = 951.2767{{c}}, ~5/4 = 387.4314{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~26/15 = 951.5016{{c}}, ~5/4 = 387.2360{{c}}

{{Optimal ET sequence|legend=0| 29, 53, 58, 87, 111, 140, 198, 536f }}

Badness (Sintel): 0.731

== Subgroup extensions ==
=== Counterpyth (2.3.5.7.19) ===
{{Main| Counterpyth }}

Developed analogous to [[parapyth]], counterpyth is an extension of aberschismic with an even milder fifth, as it finds [[19/15]] at the major third (C–E) and [[19/10]] at the major seventh (C–B). Notice the factorization {{nowrap| 5120/5103 {{=}} ([[400/399]])⋅([[1216/1215]]) }}. Other important ratios are [[21/19]] at the diminished third (C–Ebb) and [[19/14]] at the augmented third (C–E#).

It can be further extended via the mappings of laka or akea, while working less well with pele or lono due to their much sharper fifths.

Subgroup: 2.3.5.7.19

Comma list: 400/399, 1216/1215

Mapping: {{mapping| 1 0 0 10 -6 | 0 1 0 -6 5 | 0 0 1 1 1 }}

Optimal tunings:
* WE: ~2 = 1199.6953{{c}}, ~3/2 = 702.5169{{c}}, ~5/4 = 386.2648{{c}}
* CWE: ~2 = 1200.0000{{c}}, ~3/2 = 702.6771{{c}}, ~5/4 = 386.0544{{c}}

{{Optimal ET sequence|legend=0| 12, 29, 41, 53, 94, 99, 140, 152, 292h, 444dh }}

Badness (Sintel): 0.347

== References ==

[[Category:Temperament families]]
[[Category:Aberschismic family| ]] 
[[Category:Rank 3]]
[[Category:Listen]]

헤미패미티 (음률)

2026-06-06T13:11:23Z

Inthar: Inthar moved page 헤미패미티 (음률) to 애버스키스믹 (음률)

#REDIRECT [[애버스키스믹 (음률)]]

애버스키스믹 (음률)

2026-06-06T13:11:23Z

Inthar: Inthar moved page 헤미패미티 (음률) to 애버스키스믹 (음률)

{{interwiki
| en = Aberschismic
| de = Aberrschismisch
| es =
| ja =
| ro =
}}
{{Foreign language|Korean}}

'''애버스키스믹'''(Aberschismic) 음률이란 [[81/80 (Korean)|81/80]] 콤마와 [[64/63 (Korean)|64/63]] 콤마를 일치시키는 [[7한계]] 음률이다. 따라서 [[5120/5103]]을 사라지게 한다.

81/80은 81/64(피타고라스 또는 3한계 장3도)와 5/4(5한계 장3도) 사이의 음정이고 64/63는 81/64와 9/7(7한계 장3도) 사이의 음정이므로 이 음률은 중요한 7한계 음률이다.

애버스키스믹을 구현하는 평균율의 예는 [[41edo (Korean)|41edo]], [[46edo (Korean)|46edo]], [[53edo (Korean)|53edo]]가 있다.

애버스키스믹 (음률)

2026-06-06T13:11:02Z

Inthar:

Talk:5120/5103

2026-06-01T20:16:41Z

Inthar: /* Petition to officialize aberschisma, and change hemifamity to aberschismic */

== "Universal" name for 5120/5103 ==

I've noticed the conversation on the XA Discord about picking a name to replace "hemifamity comma". Suggestions I've seen include ''argent comma'' and ''pele comma''. I'm a bit biased towards ''aberschisma'' since I coined the name, but MidnightBlue pointed out that 6¢ is quite wide to be calling it a schisma, which I've also thought about. Maybe ''aberkleisma'' or even ''pentasept comma''?

: I'm not too invested into this comma, but will add my <strike>schisma</strike> 2c after seeing the Discord convo: ''pele comma'' and ''peleisma'' are fine with me, whereas I'm afraid ''argent comma'', while logical, may be confused with the [[argyria]] (which is more of an ''arg''ument for renaming the latter).

: On a side note, 5120/5103 does function like a kleisma for me, particularly because the ratio of the pental kleisma to it is the [[horwell comma]], which is among the staple commas in my 7-limit analysis of edos incl. 53. Because schismic x kleismic product words are among the best ways to make well-tempered 53-note scales, the pental kleisma is a chroma there, and when horwell tempered, it turns into 5120/5103 and is, among other roles, the scale-chroma between the 81/80 and 64/63 steps.

: Meanwhile, the ratio of 5120/5103 to the pental schisma is the [[garischisma]]. So for fans of the latter, which I'm not, it may act like a schisma instead, but that's less likely because the pental schisma flattens the fifth while the garischisma sharpens it, so if anything, the latter and 5120/5103 would be seen as 'negative schismas', which, btw, brings us to the concept of [[counterpyth]].

: Afaik, counterpyth has never been considered under this name without 5120/5103, whereas [[1216/1215]] works well together with other commas that stack slightly sharp fifths, such as the [[wilschisma]] and the [[symbiotic comma]], and the name ''Eratosthenes' comma'' is good, so I disagree with the assignment of the counterpyth family label to any temp with 1216/1215 in sintel's finder. I.e., to me, 5120/5103 is more related to counterpyth than 1216/1215 is. But I can't be sure of my judgment on this without FloraC's opinion. Either way, I don't mind ''counterpyth comma'' for 5120/5103, its 7-limit rank-3 then called counterpyth like its canonical extension to 2.3.5.7.19 already is.

: --[[User:VIxen|VIxen]] ([[User talk:VIxen|talk]]) 23:55, 1 June 2025 (UTC)

:: I'm all for ''argent comma''. The similarity with ''argyria'' isn't high enough to worry me. I'm against ''pele comma'' cuz that would set pele as canon which I don't think we should ever do. For the same reason I'd hesitate to call it ''counterpyth comma''. [[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 14:17, 2 June 2025 (UTC)

::: OK, then I settle on ''argent comma'' too. That matches my view of argent fifths as a distinct region that's roughly [65\111, 17\29] and sharp of the olympic / garischismic / symbiotic / wilschismic fifths region that's roughly [55\94, 65\111]. --[[User:VIxen|VIxen]] ([[User talk:VIxen|talk]]) 18:38, 2 June 2025 (UTC)

:::: What about 41edo and 46edo? Those are both notable tunings that temper out the comma and have fifths that fall outside of your *argent* range. -- [[User:Tristanbay|Tristanbay]] ([[User talk:Tristanbay|talk]]) 00:35, 12 June 2025 (UTC)

::::: On my part I include 41edo within the argent range; and there's a case to be made that 46edo and 53edo, while notable, aren't truly representative of the intonation of tempering out 5120/5103. "Argent" strictly speaking refers not to a particular tuning range, anyhow, but to a specific tuning that sets the logarithmic ratio of the perfect fifth to the perfect fourth to be sqrt(2):1, for which one can define bands of tolerance around, but which very closely corresponds to the most accurate tunings that temper out this comma. Perhaps "argentisma" -> argentic, argentismic would be clearer, so as not to imply an RTT interpretation for the term "argent temperament" which is already in use.

::::: Compare this to the intonation of counterpyth, which quite distinctly favors tunings of 3/2 far flatter than the optimum of tempering out 5120/5103 by itself: just 19/15 gives us roughly 1/16-comma hemifamity as opposed to just 15/14, 7/5, or 21/20 which provide 1/5, 1/6, and 1/7-comma tunings. For this reason, I oppose seeing counterpyth as a canonical extension to the 7-limit rank-3 {5120/5103} temperament. -- [[User:Lériendil|Lériendil]] ([[User talk:Lériendil|talk]]) 01:24, 12 June 2025 (UTC)

::::: I did think about making 24\41 the boundary instead, as rank-3 microtemps tend to have flatter fifths than that even if 152fg or 111 support them. My flat end of argent is surely not flatter than 24\41 and not sharper than 41\70. Between those are kwai fifths... that I may consider too damaged indeed on second thought, and so belonging to the "slightly exo" range codenamed argent. [[User:VIxen|VIxen]] ([[User talk:VIxen|talk]]) 20:23, 19 June 2025 (UTC)

:::: I prefer "Saruyo". It's the only name out of all these suggestions that directly indicates 5120/5103. --[[User:TallKite|TallKite]] ([[User talk:TallKite|talk]]) 09:19, 5 June 2025 (UTC)

: I have a dumb idea. Why not call it the *pell comma* after the Pell sequence of numbers, whose convergent ratio gives the approximate ratio between an octave and a perfect fourth for the optimal tuning of the temperament? [[User:Tristanbay|Tristanbay]] ([[User talk:Tristanbay|talk]]) 20:59, 18 September 2025 (UTC)

:: I think referencing the Pell sequence makes way more sense for a member of the family of commas going 50/49, 289/288, 1682/1681, 9801/9800, etc. The only relation of Pell numbers to 5120/5103 is the edo sequence, which seems rather secondary, as much as I'm a promoter of 239edo. --[[User:Lériendil|Lériendil]] ([[User talk:Lériendil|talk]]) 22:42, 18 September 2025 (UTC)

: I propose the name "interkleisma", since 5120/5103 is the difference between 64/63 and 81/80 (the main formal commas for primes 5 and 7), and is around a kleisma in size.--[[User:Overthink|Overthink]] ([[User talk:Overthink|talk]]) 03:02, 13 February 2026 (UTC)

:: It's a half kleisma in 270edo (and 311edo if you consider other kleismata such as 1029/1024) tho. —[[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 09:20, 13 February 2026 (UTC)

::: Your essay on the 13-limit JI space considers 5120/5103~352/351~847/845, 325/324~385/384, 364/363~441/440, 540/539~729/728, and 351/350 as kleismas. Even if it is a half-kleisma in 270edo, the comma is close enough to the rough interval region, and also no single edo should decide the name.--[[User:Overthink|Overthink]] ([[User talk:Overthink|talk]]) 16:58, 13 February 2026 (UTC)

:::: Oh wow, my bad. I'll change them to hemikleismata. —[[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 21:39, 13 February 2026 (UTC)

Should we do a poll here? The name was basically pre-maturely changed according to a poll on XA Discord. Besides, we need to decide what to do with the temp's name. —[[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 12:51, 22 January 2026 (UTC)

: If enough people want to, then I guess. I like the current name of this comma, and I was thinking of the associated full 7-limit temperament being "argentic" and the 2.3.7/5 subgroup one being "argic". [[User:Tristanbay|Tristanbay]] ([[User talk:Tristanbay|talk]]) 06:12, 27 January 2026 (UTC)

: Why not [[64/63|S8]]/[[81/80|S9]]? Are there many properties of this comma that aren't explained by it being ((8/7)/(9/8)) / ((9/8)/(10/9)) = (64/63) / (81/80) and hence ([[10/7]])/([[9/8]])3? --[[User:Godtone|Godtone]] ([[User talk:Godtone|talk]]) 12:27, 16 February 2026 (UTC)

:: Because "ess eight over ess nine" is too many syllables. [[User:Tristanbay|Tristanbay]] ([[User talk:Tristanbay|talk]]) 05:34, 17 February 2026 (UTC)

: I'm fine calling it saruyoma, y'all sort this out. --[[User:Eufalesio|Eufalesio]] ([[User talk:Eufalesio|talk]]) 10:04, 6 May 2026 (UTC)

=== Petition to officialize ''aberschisma'', and change ''hemifamity'' to ''aberschismic'' ===
At this point, ''aberschisma'' and ''aberschismic'' seem like the most widely liked and used names in xenharmonic communities. Thereby I request ''aberschisma'' be set as the permanent, main name for 5120/5103, and ''hemifamity'' be officially changed to ''aberschismic''.

Please put your "yes" or "no" and signature below. —[[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 05:56, 1 June 2026 (UTC)

# '''Yes'''. —[[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 05:56, 1 June 2026 (UTC)
# Yes, sure, why not. --[[User:Eufalesio|Eufalesio]] ([[User talk:Eufalesio|talk]]) 07:48, 1 June 2026 (UTC)
# '''Yes''', I'm only weakly towards that name, but it feels alright, if the community wants it. --[[User:Overthink|Overthink]] ([[User talk:Overthink|talk]]) 15:40, 1 June 2026 (UTC)
# '''Yes.''' [[User:Inthar|Inthar]] ([[User talk:Inthar|talk]]) 20:16, 1 June 2026 (UTC)

: I was under the impression that "argent" won out in the community? – [[User:Sintel|Sintel🎏]] ([[User_talk:Sintel|talk]]) 12:30, 1 June 2026 (UTC)
:: In my opinion it's a bit too confusing with the logarithmic argent tuning, even though it is closely related. --[[User:Overthink|Overthink]] ([[User talk:Overthink|talk]]) 15:40, 1 June 2026 (UTC)

2026-05-17T19:28:17Z

Inthar:

An '''elf''' is a scale in a [[regular temperament]] which is tempered from a [[just intonation]] (JI) scale in the group of the temperament which is a one-to-one [[detempering]] of ''n''-edo via a [[val]] ''V'' which may not, and characteristically does not, support the temperament. This allows the elf to have more freedom in scale size and structure but still to possess the coherence induced by the one-to-one detempering.

To construct an elf given an ''n''-edo val ''V'' and a temperament, the following steps are used:
# Take all intervals in the JI group of the temperament which lie within an octave.
# For each interval of the temperament, keep only the least complex (in terms of [[Benedetti height]]) JI interpretation of that interval.
# Construct a detempering of ''n''-edo as follows: For each integer value {{nowrap|1 ≤ ''i'' ≤ ''n''}}, set the ''i''th degree of the scale to be the least temperamentally-complex interval ''c'' in the listing such that {{nowrap|''V''(''c'') {{=}} ''i''}}; which is to say, the interval of least [[Complexity#Complexity of an interval in a temperament|temperamental complexity]] with ties broken by Benedetti height.
# Temper this detempering of ''n''-edo using a [[tuning map]] for the temperament. The result is an elf.

== Rank two examples ==
=== 13-limit leapday ===
* [[elfleapday7]]
* [[elfleapday8d]]
* [[elfleapday9]]
* [[elfleapday10]]
* [[elfleapday12f]]

=== 11-limit magic ===
* [[elfmagic7]]
* [[elfmagic8]]
* [[elfmagic8d]]
* [[elfmagic9]]
* [[elfmagic10]]
* [[elfmagic12]]

=== 11-limit miracle ===
* [[elfmiracle7]]
* [[elfmiracle8d]]
* [[elfmiracle9]]
* [[elfmiracle10]]
* [[elfmiracle12]]

=== 13-limit myna ===
* [[elfmyna7]]
* [[elfmyna8d]]
* [[elfmyna9]]
* [[elfmyna10]]
* [[elfmyna12f]]

=== 13-limit octacot ===
* [[elfoctacot7]]
* [[elfoctacot8d]]
* [[elfoctacot9]]
* [[elfoctacot10]]
* [[elfoctacot12f]]

=== 13-limit qilin ===
* [[elfqilin7]]
* [[elfqilin8d]]
* [[elfqilin9]]
* [[elfqilin10]]
* [[elfqilin12f]]

=== 13-limit sensus ===
* [[elfsensus7]]
* [[elfsensus8d]]
* [[elfsensus9]]
* [[elfsensus10]]
* [[elfsensus12]]
* [[elfsensus12f]]

=== 11-limit valentine ===
* [[elfvalentine7]]
* [[elfvalentine8d]]
* [[elfvalentine9]]
* [[elfvalentine10]]
* [[elfvalentine12]]

== Rank three examples ==
=== 11-limit jove ===
* [[elfjove7]]
* [[elfjove8d]]
* [[elfjove9]]
* [[elfjove10]]
* [[elfjove11c]]
* [[elfjove12]]

=== 13-limit madagascar ===
* [[elfmadagascar7]]
* [[elfmadagascar8d]]
* [[elfmadagascar9]]
* [[elfmadagascar10]]
* [[elfmadagascar12f]]
* [[elfmadagascar14c]]
* [[elfmadagascar15]]

=== 11-limit portent ===
* [[elfportent9]]
* [[elfportent10]]
* [[elfportent11c]]
* [[elfportent12]]
* [[elfportent15]]

=== 11-limit thrush ===
* [[elfthrush7]]
* [[elfthrush8d]]
* [[elfthrush9]]
* [[elfthrush10]]
* [[elfthrush12]]

=== 11-limit zeus ===
* [[zeus7tri]]
* [[elfzeus8]]
* [[elfzeus9]]
* [[elfzeus10]]
* [[elfzeus12]]

== Rank four examples ==
=== Keenanismic ===
* [[elfkeenanismic7]]
* [[elfkeenanismic8d]]
* [[elfkeenanismic9]]
* [[elfkeenanismic10]]
* [[elfkeenanismic11c]]
* [[elfkeenanismic12]]
* [[elfkeenanismic19]]

=== Swetismic ===
* [[elfswetismic8d]]
* [[elfswetismic9]]
* [[elfswetismic10]]
* [[elfswetismic12]]

=== Valinorsmic ===
* [[elfvalinorsmic7]]
* [[elfvalinorsmic8d]]
* [[elfvalinorsmic9]]
* [[elfvalinorsmic10]]
* [[elfvalinorsmic11c]]
* [[elfvalinorsmic12]]

[[Category:Elves]]