Rank-3 scale theorems: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 57: | Line 57: | ||
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) | 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) ==== | ||
| Line 103: | Line 101: | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||
--> | --> | ||
==== AG scale is unconditionally MV3 implies "ax by bz" and that the scale has odd size ==== | ==== AG scale is unconditionally MV3 implies "ax by bz" and that the scale has odd size ==== | ||
AG by itself does ''not'' imply "ax by bz"; [[blackdye]] (LSLMLSLMLS) is a counterexample. | AG by itself does ''not'' imply "ax by bz"; [[blackdye]] (LSLMLSLMLS) is a counterexample. | ||