Ternary parallelogram scales are MOS substitution: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
No edit summary
Line 78: Line 78:


This pattern of movements is in fact the same as the one produced by taking the circular word {{nowrap|''v'' {{=}} "1 1 1 ... 1 (1 - ''n'')"}} ((''n'' - 1)-many 1's) and stacking sums <math>\sum_{i=0}^{c-1} v[i_0+i]</math> of ''c''-step subwords. As the resulting word has only one bad position per period, the filling word can easily be seen to be MOS by stacking ''kc''-step subwords of ''v'' for {{nowrap|2 &le; ''k'' &le; length - 1.}} {{Qed}}
This pattern of movements is in fact the same as the one produced by taking the circular word {{nowrap|''v'' {{=}} "1 1 1 ... 1 (1 - ''n'')"}} ((''n'' - 1)-many 1's) and stacking sums <math>\sum_{i=0}^{c-1} v[i_0+i]</math> of ''c''-step subwords. As the resulting word has only one bad position per period, the filling word can easily be seen to be MOS by stacking ''kc''-step subwords of ''v'' for {{nowrap|2 &le; ''k'' &le; length - 1.}} {{Qed}}
== Open problems ==
# Conjecture: Ternary scales that are parallelogram substrings with full row length ''m'', full column length ''n'', and cardinality {{nowrap|''mn'' - 1}} are MOS substitution.
# Conjecture: Ternary scales that are parallelogram substrings with full row length ''m'', full column length ''n'', and cardinality {{nowrap|''mn'' - 2}} are MOS substitution.
[[Category:Math]]
[[Category:Math]]
[[Category:Pages with proofs]]
[[Category:Pages with proofs]]
[[Category:Combinatorics on words]]
[[Category:Combinatorics on words]]