Interval variety: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Inthar (talk | contribs)
Inthar (talk | contribs)
Line 13: Line 13:
In the following, two letters are to be considered the same if their numerical values are congruent modulo ''n''.  
In the following, two letters are to be considered the same if their numerical values are congruent modulo ''n''.  


{{theorem|contents=For all ''n'' ≥ 1, the word '''0123'''...('''''n''-1''') is SV''n''.}}
{{theorem|text=For all ''n'' ≥ 1, the word '''0123'''...('''''n''-1''') is SV''n''.}}


{{Proof|contents=All ''k''-letter subwords of '''0123'''...('''''n''-1''') is of the form ('''i''')('''i+1''')...('''i+k-1'''), and there are exactly ''n'' of them.}}
{{Proof|contents=All ''k''-letter subwords of '''0123'''...('''''n''-1''') is of the form ('''i''')('''i+1''')...('''i+k-1'''), and there are exactly ''n'' of them.}}


{{theorem|contents=For all ''n'' ≥ 1, the word '''0123'''...('''''n''-2''')('''''n''-1''')('''''n''-2''')...'''3210''' is SV''n''.}}
{{theorem|text=For all ''n'' ≥ 1, the word '''0123'''...('''''n''-2''')('''''n''-1''')('''''n''-2''')...'''3210''' is SV''n''.}}


{{Proof|contents=We prove this by dividing this word into four overlapping noncircular subwords which cover all cases.  
{{Proof|We prove this by dividing this word into four overlapping noncircular subwords which cover all cases.  


Consider the subwords '''0123'''...('''''n''-2''')('''''n''-1''') and ('''''n''-1''')('''''n''-2''')...'''3210'''. If we treat these two words as noncircular, then there are ''n''-''k'' distinct ''k''-letter subwords.  
Consider the subwords '''0123'''...('''''n''-2''')('''''n''-1''') and ('''''n''-1''')('''''n''-2''')...'''3210'''. If we treat these two words as noncircular, then there are ''n''-''k'' distinct ''k''-letter subwords.  

Revision as of 21:38, 7 February 2024

The interval variety of an interval class in a scale is the number of different interval qualities available for that interval class. For example, the interval class "fifth" in the diatonic scale has interval variety 2, because there are two sizes of fifths in that scale: 6 perfect fifths and 1 diminished fifth.

The concept of interval variety can be applied to all interval classes of a scale at once. Here are some such properties:

  • Highest interval variety (see also maximum variety)
  • Mean interval variety
  • Median interval variety
  • Lowest interval variety

In addition, strict variety scales, such as single-period MOS scales and trivalent scales, have the same interval variety for all interval classes (except the unison, which always trivially has interval variety 1).

Note: A standard academic counterpart to the xen term variety is the abelian complexity function of a word: a function ρab : N -> N where ρab(n) is the number of distinct sizes (abelianizations, living in a free abelian group over the step sizes) that length-n subwords can have in a word.

Facts

In the following, two letters are to be considered the same if their numerical values are congruent modulo n.

Proof
All k-letter subwords of 0123...(n-1) is of the form (i)(i+1)...(i+k-1), and there are exactly n of them. [math]\displaystyle{ \square }[/math]
Proof
{{{contents}}} [math]\displaystyle{ \square }[/math]

Abstractly SV4 scale patterns

Abstractly SV4 scale patterns (patterns that are SV4 for any choice of distinct cent values for the four steps):

  • 4 notes: 0123
  • 5 notes: 01023
  • 6 notes: none
  • 7 notes: 0123210, 0102013, and 0103102 (The last two patterns are a chiral pair fixing concrete sizes for the steps.)
  • 8 notes: 00100232 and 01212103
  • 9 notes: none
  • 10 notes: 0010020302 and 0102103012
  • 11 to 14 notes: none

(Note that abstract SV4-ness implies that a scale pattern is primitive, or single-period.)

Conjecture: there are no SV4 scale patterns with more than 10 notes.

Open questions

  • Why are (abstractly) SV4 scale patterns seemingly so rare?
    • Conjecture: There are only finitely many SV4 circular words.
    • Conjecture: For all n greater than a sufficiently large m, the longest abstractly SVn word is 0123...(n−2)(n−1)(n−2)...3210, with length 2n - 1.
    • Related may be the following conjecture: For a sufficiently long ternary noncircular word, there exists k > 1 such that the interval class of k-steps has at least 3 sizes and the interval class of (k − 1)-steps also has at least 3 sizes.