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)/k (1). Similarly, there is a k-step within [n_0, n] that has slope ( | Since M_b is a mos mode, there is a k-step within [0, n_0] that has slope (F(n_0)-1)/k (1). Similarly, there is a k-step within [n_0, n] that has slope (F(n_0)+1)/(k). (Since k is not the period so there are slopes more or less than the average over an interval.) | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||