Hypercubic billiard word: Difference between revisions
m →Properties: typo |
|||
| Line 15: | Line 15: | ||
== Properties == | == Properties == | ||
Proofs to be added | Proofs to be added | ||
* A (circular) scale word is a rank-2 billiard scale | * A (circular) scale word is a rank-2 billiard scale if it is a MOS scale. | ||
* All [[distributionally even]] scales on any finite number of letters are billiard scales<ref name="sano"/>. The converse fails, because not all billiard scales are Fokker blocks (DE implies the scale is a Fokker block); [[blackdye]] can be checked to be a billiard scale by using the initial position (1, 1/√5, 1/√3), but it is not a Fokker block. | * All [[distributionally even]] scales on any finite number of letters are billiard scales<ref name="sano"/>. The converse fails, because not all billiard scales are Fokker blocks (DE implies the scale is a Fokker block); [[blackdye]] can be checked to be a billiard scale by using the initial position (1, 1/√5, 1/√3), but it is not a Fokker block. | ||
* A billiard scale becomes a billiard scale over fewer letters when one removes all instances of some subset of its step sizes. In particular, ternary billiard scales are ''deletion-MOS'' (DMOS): deleting any step size results in a MOS. However, the converse is false. | * A billiard scale becomes a billiard scale over fewer letters when one removes all instances of some subset of its step sizes. In particular, ternary billiard scales are ''deletion-MOS'' (DMOS): deleting any step size results in a MOS. However, the converse is false. | ||