Rank-3 scale theorems: Difference between revisions
→MV3 Theorem 1 (WIP): non-multiperiod takes care of repetitions |
|||
| Line 58: | Line 58: | ||
''The following are equivalent for a non-multiperiod scale word S with steps x, y, z:'' | ''The following are equivalent for a non-multiperiod scale word S with steps x, y, z:'' | ||
# ''S is MV3 for all possible choices of step ratio x:y:z.'' | # ''S is MV3 for all possible choices of step ratio x:y:z.'' | ||
# ''(a) S is PMOS, or (b) S is of the form x'y'z'y'x' | # ''(a) S is PMOS, or (b) S is of the form x'y'z'y'x', or (c) S has signature nx ny nz, n ≥ 2.'' | ||
# ''Either S is AG and is of the form ax by bz, or S is of the form x'y'x'z'x'y'x' | # ''Either S is AG and is of the form ax by bz, or S is of the form x'y'x'z'x'y'x'.'' | ||
====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ||