Parallelogram substring scale: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Inthar (talk | contribs)
Inthar (talk | contribs)
Line 12: Line 12:
* <math>\{\mathbf{a} + i\mathbf{v}\}_{i=a}^{n-1}</math> is a (nonempty) tail of the first row
* <math>\{\mathbf{a} + i\mathbf{v}\}_{i=a}^{n-1}</math> is a (nonempty) tail of the first row
* <math>\{\mathbf{a} + i\mathbf{v} + j\mathbf{w}\}_{(i,j) \in [n]_0 \times [m-2]_1}</math> is a (possibly empty) parallelogram where rows are traversed fully
* <math>\{\mathbf{a} + i\mathbf{v} + j\mathbf{w}\}_{(i,j) \in [n]_0 \times [m-2]_1}</math> is a (possibly empty) parallelogram where rows are traversed fully
* <math>\{\mathbf{a} + i\mathbf{v} + (m-1)\mathbf{w}\}_{i=0}^{b}</math> is a (nonempty) prefix of the last row.
* <math>\{\mathbf{a} + i\mathbf{v} + (m-1)\mathbf{w}\}_{i=0}^{b}</math> is a (nonempty) prefix of the last row
* '''v''' and '''w''' are the generator and offset
* '''v''' and '''w''' are the generator and offset


== Ternary scales with this property ==
== Ternary scales with this property ==
Conjecture: All ternary quasi-parallelogram scales are MOS substitution scales.
Conjecture: All ternary quasi-parallelogram scales are MOS substitution scales.

Revision as of 13:52, 24 December 2025

A quasi-parallelogram scale is a scale whose pitch class lattice forms either a parallelogram or an incomplete traversal of one.

Mathematical definition

An e-equivalent scale is a quasi-parallelogram if there exist non-negative integers m, n, 0 ≤ a < n, 0 ≤ b < n, a vector a, and two linearly independent vectors v and w such that the set of notes in the scale as a subset of the lattice of e-equivalent pitches is

[math]\displaystyle{ \{\mathbf{a} + i\mathbf{v}\}_{i=a}^{n-1} \cup \{\mathbf{a} + i\mathbf{v} + j\mathbf{w}\}_{(i,j) \in [n]_0 \times [m-2]_1} \cup \{\mathbf{a} + i\mathbf{v} + (m-1)\mathbf{w}\}_{i=0}^{b}. % prefix of last row }[/math]

Here the scale is thought as traversing a series of rows one step of the row at a time, and

  • [math]\displaystyle{ \{\mathbf{a} + i\mathbf{v}\}_{i=a}^{n-1} }[/math] is a (nonempty) tail of the first row
  • [math]\displaystyle{ \{\mathbf{a} + i\mathbf{v} + j\mathbf{w}\}_{(i,j) \in [n]_0 \times [m-2]_1} }[/math] is a (possibly empty) parallelogram where rows are traversed fully
  • [math]\displaystyle{ \{\mathbf{a} + i\mathbf{v} + (m-1)\mathbf{w}\}_{i=0}^{b} }[/math] is a (nonempty) prefix of the last row
  • v and w are the generator and offset

Ternary scales with this property

Conjecture: All ternary quasi-parallelogram scales are MOS substitution scales.