Generator-offset property: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Inthar (talk | contribs)
same oversight as last time. mea culpa
Tags: Mobile edit Mobile web edit
Inthar (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Line 9: Line 9:
# ''S'' is generated by two chains of generators separated by a fixed interval; either both chains are of size ''n''/2, or one chain has size (''n'' + 1)/2 and the second has size (''n'' − 1)/2.
# ''S'' is generated by two chains of generators separated by a fixed interval; either both chains are of size ''n''/2, or one chain has size (''n'' + 1)/2 and the second has size (''n'' − 1)/2.


These are equivalent, since the separating interval can be taken to be ''g''<sub>1</sub> and the generator of each chain = ''g''<sub>1</sub> + ''g''<sub>2</sub>. This doesn't imply that ''g''<sub>1</sub> and ''g''<sub>2</sub> are the same number of scale steps.
These are equivalent, since the separating interval can be taken to be ''g''<sub>1</sub> and the generator of each chain = ''g''<sub>1</sub> + ''g''<sub>2</sub>. This doesn't imply that ''g''<sub>1</sub> and ''g''<sub>2</sub> are the same number of scale steps. For example, 5-limit [[blackdye]] has ''g''<sub>1</sub> = 9/5 (a 9-step)  and ''g''<sub>2</sub> = 5/3 (a 7-step).


== Theorems ==
== Theorems ==

Revision as of 12:51, 16 August 2021

A scale satisfies the alternating generator property (also alt-gen or AG) if it satisfies the following equivalent properties:

  • the scale can be built by stacking alternating generators
  • the scale is generated by two chains of generators separated by a fixed interval, and the lengths of the chains differ by at most one.

The Zarlino (3L 2M 2S) JI scale is an example of an alt-gen scale, because it is built by stacking alternating 5/4 and 6/5 generators. Diasem (5L 2M 2S) is another example, with generators 7/6 and 8/7.

More formally, a cyclic word S (representing a periodic scale) of size n is alt-gen if it satisfies the following equivalent properties:

  1. S can be built by stacking a single chain of alternating generators g1 and g2, resulting in a circle of the form either g1 g2 ... g1 g2 g1 g3 or g1 g2 ... g1 g2 g3.
  2. S is generated by two chains of generators separated by a fixed interval; either both chains are of size n/2, or one chain has size (n + 1)/2 and the second has size (n − 1)/2.

These are equivalent, since the separating interval can be taken to be g1 and the generator of each chain = g1 + g2. This doesn't imply that g1 and g2 are the same number of scale steps. For example, 5-limit blackdye has g1 = 9/5 (a 9-step) and g2 = 5/3 (a 7-step).

Theorems

Conjectures

Conjecture 2

If a non-multiperiod 3-step size scale word is

  1. unconditionally MV3,
  2. has odd cardinality,
  3. is not of the form mx my mz,
  4. and is not of the form xyxzxyx,

then it is alt-gen. (a converse to Theorem 1)