Rank-3 scale theorems

From Xenharmonic Wiki
Jump to navigation Jump to search

Theorems

  • Every triple Fokker block is max variety 3.
  • Every max variety 3 block is a triple Fokker block. (However, not every max-variety 3 scale, in general, need be a Fokker block.)
  • Triple Fokker blocks form a trihexagonal tiling on the lattice.
  • A scale imprint is that of a Fokker block if and only if it is the product word of two DE scale imprints with the same number of notes. See Introduction to Scale Theory over Words in Two Dimensions | SpringerLink
  • If the step sizes for a rank-3 Fokker block are L, m, n, and s, where L > m > n > s, then the following identity must hold: (n-s) + (m-s) = (L-s), hence n+m=L+s
  • Any convex object on the lattice can be converted into a hexagon.
  • Any convex scale with 3 step sizes is a hexagon on the lattice, in which each set of parallel lines corresponds to one of the steps.

Unproven Conjectures

  • Every rank-3 Fokker block has mean-variety < 4, meaning that some interval class will come in less than 4 sizes.

MV3 proofs

Under construction

Definitions and theorems

Throughout, let S be a scale word in steps x, y, z (and assume all three of these letters are used).

Definition: Unconditionally MV3

S is unconditionally MV3 or intrinsically MV3 if S is MV3 for all possible choices of step ratio x:y:z.

Definition: EMOS

S is elimination-MOS (EMOS) if the result of removing (all instances of) any one of the step sizes is a MOS.

Definition: PMOS

S is pairwise MOS (PMOS) if the result of equating any two of the step sizes is a MOS.

Definition: AG

S satisfies the alternating generator property (AG) 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 m, or one chain has size m and the second has size m-1.

These are equivalent, since the separating interval can be taken to be g1 and the generator of each chain = g1 + g2.

For theorems relating to the AG property, see AG.

Definitions: LQ

Let n = a_1 + ... + a_r be the scale size, w a scale word with signature a_1 X_1, ..., a_r X_r, let L be a line of the form L(t) = (a_1, ..., a_r)t + v_0, where v_0 is a constant vector in R^r. We say that L is in generic position if L contains a point (0, α_1, α_2, ... α_{r-1}) where α_i and α_i/α_j for i != j are irrational.

  • Assume S is a 2-step scale. Then S is slope-LQ if the slope between any two pair of points (representing a k-mosstep) is one of the two nearest possible slopes (in the set {k/0,...,0/k}) to b/a.
  • Say that a 2-step scale S is floor-LQ if some mode M of S satisfies that γ(M) = the graph of floor(b/a*x).
  • Say that an r-step scale S is LQ if any appropriate line in generic position, (a_1, ..., a_r)t + v_0, has intersections with coordinate level planes x_i = k that spell out the scale as you move in the positive t direction.