Rank-3 scale theorems: Difference between revisions
| Line 53: | Line 53: | ||
M_b >= F: (bc it's a mos) Suppose there is an x-value n_0 where M_b(n_0) <= F(n_0) - 1. n_0 > 1 since otherwise, M_b(1) < 0. Let k = min(n_0, n-n_0), n = scale size. Then find three different k-mossteps/average slopes by taking the interval [n_0-k, n_0] before n_0, one interval containing n_0 and one interval after n_0. (We already know that mosses are slope-LQ.) | M_b >= F: (bc it's a mos) Suppose there is an x-value n_0 where M_b(n_0) <= F(n_0) - 1. n_0 > 1 since otherwise, M_b(1) < 0. Let k = min(n_0, n-n_0), n = scale size. Then find three different k-mossteps/average slopes by taking the interval [n_0-k, n_0] before n_0, one interval containing n_0 and one interval after n_0. (We already know that mosses are slope-LQ.) | ||
Since M_b is a mos mode, there is a k-step within [0, n_0] that has slope (F(n_0)-1)/ | Since M_b is a mos mode, there is a k-step within [0, n_0] that has the slope which is just smaller than (F(n_0)-1)/n_0 (1). Similarly, there is a k-step within [n_0, n] that has the slope which is just bigger than (F(n_0)+1)/(n-n_0). These slopes are "two or more steps away" from each other, which is a contradiction. (State this more formally) | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||