Rank-3 scale theorems: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 96: | Line 96: | ||
where u_L and u_s are the larger and smaller B_0-steps of w_X. | where u_L and u_s are the larger and smaller B_0-steps of w_X. | ||
Eliminating Y from w, w_Y is a mos (with letters X and Z). Consider chunks of Z bounded by X's, of sizes c and c+1. Within any contiguous subword of A_0-many X's, the number of Z's will be within [K, K+c+1]. | Eliminating Y from w, w_Y is a mos (with letters X and Z). Consider chunks of Z bounded by X's, of sizes c and c+1. Within any contiguous subword of A_0-many X's, the number of Z's will be within [K, K+c+1], for some constant K: | ||
XXX...XZZZ...Z (suffix = at most c+1 Z's) | |||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||