Generator-offset property: Difference between revisions

Line 15:

# ''S'' is generated by two chains of stacked generators g separated by a fixed offset δ; either both chains are of size ''n''/2 (implying ''n'' is even), or one chain has size (''n'' + 1)/2 and the second has size (''n'' − 1)/2 (implying ''n'' is odd).

# The scale is ''well-formed'' with respect to g, i.e. all occurrences of the generator g are ''k''-steps for a fixed ''k''.

~~== Open conjectures ==~~

~~=== 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 ==

@@ Line 15: / Line 15: @@
 # ''S'' is generated by two chains of stacked generators g separated by a fixed offset δ; either both chains are of size ''n''/2 (implying ''n'' is even), or one chain has size (''n'' + 1)/2 and the second has size (''n''&nbsp;&minus;&nbsp;1)/2 (implying ''n'' is odd).
 # The scale is ''well-formed'' with respect to g, i.e. all occurrences of the generator g are ''k''-steps for a fixed ''k''.
-== Open conjectures ==
-=== 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 ==