Rank-3 scale theorems: Difference between revisions

Inthar (talk | contribs)
Tags: Mobile edit Mobile web edit
Inthar (talk | contribs)
Definitions: LQ (WIP): Defining LQ is a wip for 3-step scales
Tags: Mobile edit Mobile web edit
Line 21: Line 21:
# ''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''.
# ''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''.


==== Definitions: LQ ====
==== Definitions: LQ (WIP) ====
First attempt at a definition: "A scale word ''S'' with ''k'' step sizes X_1, ..., X_k (with a_1 X_1's, ..., and a_k X_k's) is ''line-quantizing'' (LQ) if ''S'', when viewed as a set of instructions tracing a path in Z^k from the origin (in which each X_i means "go 1 step in the positive x_i direction"), results in a path that is a closest approximation to the line [a_1 : a_2 : ... : a_k] intersecting the origin in R^k."  
First attempt at a definition: "A scale word ''S'' with ''k'' step sizes X_1, ..., X_k (with a_1 X_1's, ..., and a_k X_k's) is ''line-quantizing'' (LQ) if ''S'', when viewed as a set of instructions tracing a path in Z^k from the origin (in which each X_i means "go 1 step in the positive x_i direction"), results in a path that is a closest approximation to the line [a_1 : a_2 : ... : a_k] intersecting the origin in R^k."