Parallelogram substring scale: Difference between revisions
m Inthar moved page User:Inthar/Quasi-parallelogram ternary scales to User:Inthar/Parallelogram substring scales |
No edit summary |
||
| Line 1: | Line 1: | ||
A ''' | A '''parallelogram substring scale''' is a scale whose pitch class lattice forms either a parallelogram or an incomplete traversal of one. Such scales are currently being investigated in ternary generator-offset theory. | ||
== Mathematical definition == | == Mathematical definition == | ||
An '''e'''-equivalent scale is a ''' | An '''e'''-equivalent scale is a '''parallelogram substring''' if there exist integers ''m'' > 0, ''n'' > 0, 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> | <math> | ||
| Line 31: | Line 31: | ||
== Open problems == | == Open problems == | ||
# Classify all MOS-substitution | # Classify all MOS-substitution parallelogram substring scales. | ||
# Classify all ternary | # Classify all ternary parallelogram substring scales. <s>Conjecture: All ternary parallelogram substring scales are MOS substitution scales.</s> (counterexample: 5sL/5sR diachrome is 2-row QP) | ||
[[Category:Pages with open problems]] | [[Category:Pages with open problems]] | ||
Revision as of 03:02, 31 December 2025
A parallelogram substring scale is a scale whose pitch class lattice forms either a parallelogram or an incomplete traversal of one. Such scales are currently being investigated in ternary generator-offset theory.
Mathematical definition
An e-equivalent scale is a parallelogram substring if there exist integers m > 0, n > 0, 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) suffix 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
Examples
- All non-Fraenkel balanced primitive MV3 scales
- All ax(by(a - b)z) MOS substitution scales if gcd(a, b) = 1
- All MOS substitution scales where:
- The template MOS is primitive
- There exists a pair (g, h) where:
- g is a generator of the template MOS
- h is a generator of the filling MOS
- |g|X = |h| where X is the slot letter of the template MOS
Non-examples
- All multiperiod MOS substitution scales (e.g. 4L(10m10s))
Open problems
- Classify all MOS-substitution parallelogram substring scales.
- Classify all ternary parallelogram substring scales.
Conjecture: All ternary parallelogram substring scales are MOS substitution scales.(counterexample: 5sL/5sR diachrome is 2-row QP)