Ternary scale theorems: Difference between revisions

Line 227:

== Theorem 5 (Classification of MV3 scales) ==

# A single-period MV3 is either (1) equivalent to XYZYX, (2) constructed from aX bZ with a even and gcd(a, b) = 1 by replacing every other X with Y, (3) constructed from 2aX 2bY with a odd and gcd(a, b) = 1 by replacing every other X with Y, or (4) a "twisted" word constructed as follows:

# A single-period MV3 is either (1) equivalent to XYZYX, (2) equivalent to XYXZXYX, (3) constructed from aX bZ with a even and gcd(a, b) = 1 by replacing every other X with Y, (4) constructed from 2aX 2bY with a odd and gcd(a, b) = 1 by replacing every other X with Y, or (5) a "twisted" word constructed as follows:

## Start with a power of a multimos word ''w''(X, Z) = ''ka''X ''kb''Z such that ''a'' is even and each ''a''X ''b''Z subword of ''w'' is of the form X''P''(X, Z)Z where ''P''(X, Z) is a palindrome.

## Interchange some of the Z's and X's at some of the borders of these copies of the mos word ''w''.

Line 234:

# Single-period MV3 scales not of type (4) and not of the form XYZYX are ''balanced'': for any ''k'', any pair of k-steps has a difference that contains +1, -1, or 0 of each step size.

=== Proof ===

Proven by Bulgakova, Buzhinsky and Goncharov (2023), "[https://www.sciencedirect.com/science/article/pii/S0304397522006417 On balanced and abelian properties of circular words over a ternary alphabet]" (and Theorem 4). Note that ~~PWF~~ scales are type (2) in this classification.

Proven by Bulgakova, Buzhinsky and Goncharov (2023), "[https://www.sciencedirect.com/science/article/pii/S0304397522006417 On balanced and abelian properties of circular words over a ternary alphabet]" (and Theorem 4). Note that odd GO scales are type (3) in this classification.

[[Category:Math]]

[[Category:Ternary scale]]

[[Category:Scale]]

@@ Line 227: / Line 227: @@
 == Theorem 5 (Classification of MV3 scales) ==
-# A single-period MV3 is either (1) equivalent to XYZYX, (2) constructed from aX bZ with a even and gcd(a, b) = 1 by replacing every other X with Y, (3) constructed from 2aX 2bY with a odd and gcd(a, b) = 1 by replacing every other X with Y, or (4) a "twisted" word constructed as follows:
+# A single-period MV3 is either (1) equivalent to XYZYX, (2) equivalent to XYXZXYX, (3) constructed from aX bZ with a even and gcd(a, b) = 1 by replacing every other X with Y, (4) constructed from 2aX 2bY with a odd and gcd(a, b) = 1 by replacing every other X with Y, or (5) a "twisted" word constructed as follows:
 ## Start with a power of a multimos word ''w''(X, Z) = ''ka''X ''kb''Z such that ''a'' is even and each ''a''X ''b''Z subword of ''w'' is of the form X''P''(X, Z)Z where ''P''(X, Z) is a palindrome.
 ## Interchange some of the Z's and X's at some of the borders of these copies of the mos word ''w''.
@@ Line 234: / Line 234: @@
 # Single-period MV3 scales not of type (4) and not of the form XYZYX are ''balanced'': for any ''k'', any pair of k-steps has a difference that contains +1, -1, or 0 of each step size.
 === Proof ===
-Proven by Bulgakova, Buzhinsky and Goncharov (2023), "[https://www.sciencedirect.com/science/article/pii/S0304397522006417 On balanced and abelian properties of circular words over a ternary alphabet]" (and Theorem 4). Note that PWF scales are type (2) in this classification.
+Proven by Bulgakova, Buzhinsky and Goncharov (2023), "[https://www.sciencedirect.com/science/article/pii/S0304397522006417 On balanced and abelian properties of circular words over a ternary alphabet]" (and Theorem 4). Note that odd GO scales are type (3) in this classification.
 [[Category:Math]]
 [[Category:Ternary scale]]
 [[Category:Scale]]