Dyadic valuation and scale colouring
ID: dyadic-valuation-and-scale-colouring
Colour by . No increasing infinite sequence can make all its sums and , , one colour. If its 2-adic valuations are bounded, two terms of equal valuation and equal odd part modulo four give pair sums of different valuation parity. If they are unbounded, a later term divisible by a sufficiently large power of two prevents adding a fixed earlier term from crossing either dyadic boundary; the two resulting sums have adjacent logarithmic scale indices.
New to topics? Read the docs here!