Generator-offset property: Difference between revisions

Line 75:

In aX bY bZ, consider (i+j)-steps (representing the generator) with: (1) the maximum possible number of Y’s (at least 2 more than the # of Z's), (2) the maximum maximum number of Z’s (at least 2 more than the # of Y's), or (3) an intermediate number of Y’s and Z’s between the two or (4) (the preimage of) the imperfect generator. Since a + 2b >= 5, are at least 4 perfect generators, so there must be at least one of each of (1), (2), and (3), giving a contradiction to MV3. [Let T be the subword consisting only of Y's and Z's. If T has a substring of length j that's not contained in a perfect generator, you can go somewhere else to find it, since the numbers of Y's and Z's change one at a time and reach a maximum and a minimum somewhere, guaranteeing that intermediate values are reached "on the other side".]

The generator of aX 2bW must have an odd number of W steps; if it had an even number of steps, it would be generated by stacking the generator of the mos 2X bW' with W' = 2W, a contradiction. Since we just proved that Y and Z alternate in ''S'', the claim about the alternants immediately follows. <math>\square</math>

The generator of aX 2bW must have an odd number of W steps; if it had an even number of W steps, it would be generated by stacking the generator of the mos 2X bW' with W' = 2W, a contradiction. Since we just proved that Y and Z alternate in ''S'', the claim about the alternants immediately follows. <math>\square</math>

=== Proposition 2 ===

@@ Line 75: / Line 75: @@
 In aX bY bZ, consider (i+j)-steps (representing the generator) with: (1) the maximum possible number of Y’s (at least 2 more than the # of Z's), (2) the maximum maximum number of Z’s (at least 2 more than the # of Y's), or (3) an intermediate number of Y’s and Z’s between the two or (4) (the preimage of) the imperfect generator. Since a + 2b >= 5, are at least 4 perfect generators, so there must be at least one of each of (1), (2), and (3), giving a contradiction to MV3. [Let T be the subword consisting only of Y's and Z's. If T has a substring of length j that's not contained in a perfect generator, you can go somewhere else to find it, since the numbers of Y's and Z's change one at a time and reach a maximum and a minimum somewhere, guaranteeing that intermediate values are reached "on the other side".]
-The generator of aX 2bW must have an odd number of W steps; if it had an even number of steps, it would be generated by stacking the generator of the mos 2X bW' with W' = 2W, a contradiction. Since we just proved that Y and Z alternate in ''S'', the claim about the alternants immediately follows. <math>\square</math>
+The generator of aX 2bW must have an odd number of W steps; if it had an even number of W steps, it would be generated by stacking the generator of the mos 2X bW' with W' = 2W, a contradiction. Since we just proved that Y and Z alternate in ''S'', the claim about the alternants immediately follows. <math>\square</math>
 === Proposition 2 ===