Fixed-active-size obstruction for combinatorial lines
ID: fixed-active-size-obstruction-for-combinatorial-lines
For any proposed positive active size , the displayed two-colour finite colouring of binary words gives opposite colours to the two points of every combinatorial line with exactly active coordinates. Their counts of the letter differ by . Thus no dimension can guarantee a monochromatic line of one universally prescribed active size, even though the Hales-Jewett theorem guarantees some active size. The colouring is allowed to depend on because is chosen before the colouring.
New to topics? Read the docs here!