Distributional evenness: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Fredg999 (talk | contribs)
m Distinguish
Inthar (talk | contribs)
No edit summary
Line 1: Line 1:
{{Distinguish|Maximal evenness}}
{{Distinguish|Maximal evenness}}
A scale is '''distributionally even''' ('''DE''') if it has [[maximum variety]] 2; that is, each [https://en.wikipedia.org/wiki/Generic_and_specific_intervals generic interval class] ("seconds", "thirds", and so on) contains no more than two [https://en.wikipedia.org/wiki/Generic_and_specific_intervals specific intervals].
A scale with two step sizes is '''distributionally even''' ('''DE''') if it has its two step sizes distributed as evenly as possible. This turns out to be equivalent to the property of having [[maximum variety]] 2; that is, each [[interval class]] ("seconds", "thirds", and so on) contains no more than two sizes.


In practice, such scales are often referred to as "[[MOS scale]]s", but some consider this usage to be technically incorrect because a MOS as defined by [[Erv Wilson]] was to have ''exactly'' two specific intervals for each class other than multiples of the octave. When Wilson discovered MOS scales and found numerous examples, DE scales with period a fraction of an octave such as [[pajara]], [[augmented]], [[diminished]], etc. were not among them.
In practice, such scales are often referred to as "[[MOS scale]]s", but some consider this usage to be technically incorrect because a MOS as defined by [[Erv Wilson]] was to have ''exactly'' two specific intervals for each class other than multiples of the octave. When Wilson discovered MOS scales and found numerous examples, DE scales with period a fraction of an octave such as [[pajara]], [[augmented]], [[diminished]], etc. were not among them.
== Generalization ==
Distributional evenness has an obvious generalization to scales of arbitrary [[arity]]: we simply extend the consideration of evenly distributing each step size to every step size of an arbitrary scale.
Formally, consider a ''r''-ary periodic scale ''S'' with length ''n'' (i.e. ''S''(''kn'') = ''kP'' where ''P'' is the period), with step sizes ''x''<sub>1</sub>, ..., ''x''<sub>''r''</sub>, i.e. such that Δ''S''(''i'') := ''S''(''i''+1) &minus; ''S''(''i'') ∈ {''x''<sub>1</sub>, ..., ''x''<sub>''r''</sub>} ∀''i'' ∈ '''Z'''. For each ''i'' ∈ {1, ..., ''r''}, define ''T''<sub>''i''</sub> = ΔS<sup>-1</sup>(''x''<sub>''i''</sub>), naturally viewed as a subset of '''Z'''/''n'''''Z'''. The scale ''S'' is ''distributionally even'' if for every ''i'' ∈ {1, ..., ''r''}, ''T''<sub>''i''</sub> is a rotation of the [[maximally even]] MOS of |''T''<sub>i</sub>| notes in '''Z'''/''n'''''Z'''.


[[Category:Terms]]
[[Category:Terms]]
[[Category:Scale]]
[[Category:Scale]]

Revision as of 00:21, 25 August 2023

Not to be confused with Maximal evenness.

A scale with two step sizes is distributionally even (DE) if it has its two step sizes distributed as evenly as possible. This turns out to be equivalent to the property of having maximum variety 2; that is, each interval class ("seconds", "thirds", and so on) contains no more than two sizes.

In practice, such scales are often referred to as "MOS scales", but some consider this usage to be technically incorrect because a MOS as defined by Erv Wilson was to have exactly two specific intervals for each class other than multiples of the octave. When Wilson discovered MOS scales and found numerous examples, DE scales with period a fraction of an octave such as pajara, augmented, diminished, etc. were not among them.

Generalization

Distributional evenness has an obvious generalization to scales of arbitrary arity: we simply extend the consideration of evenly distributing each step size to every step size of an arbitrary scale.

Formally, consider a r-ary periodic scale S with length n (i.e. S(kn) = kP where P is the period), with step sizes x1, ..., xr, i.e. such that ΔS(i) := S(i+1) − S(i) ∈ {x1, ..., xr} ∀iZ. For each i ∈ {1, ..., r}, define Ti = ΔS-1(xi), naturally viewed as a subset of Z/nZ. The scale S is distributionally even if for every i ∈ {1, ..., r}, Ti is a rotation of the maximally even MOS of |Ti| notes in Z/nZ.