Rank-3 scale theorems: Difference between revisions

@@ Line 22: / Line 22: @@
 ==== Definitions: LQ ====
-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 γ(S) that is a closest approximation to the line [a_1 : a_2 : ... : a_k] intersecting the origin in R^k."
-The problem with this definition is that it is unclear what "closest approximation" means. We take several different definitions of that phrase and define different versions of the LQ property.
 Let n = a+b+c be the scale size, w = aX bY cZ be the scale word, let L be a line of the form L(t) = (a, b, c)t ÷ v_0, where v_0 is a constant vector. We say that L is ''in generic position'' if L intersects the yz-plane at (0, α, β) where α, β, and β/α are irrational.