Archive

Posts Tagged ‘pairing functions’

Where are the powers of two?

June 29, 2011 2 comments

The following construction gives an interesting pairing map between the positive integers and the lattice of integer-valued points in the plane:

  • Place \boldsymbol{z}=1 at the origin.
  • For each level n \in \mathbb{N}, populate the 4n points of the plane on the square with vertices \big\{ (\pm n, 0), (0, \pm n) \big\}, starting from z=2(n^2-n+1) at the position (n,0), and going counter-clockwise.

    mypfschema

After pairing enough positive integers on the lattice, pay attention to the powers of two: they all seem to be located on the same two horizontal lines: y=0 and y=2.

mypfproofofconcept

Is this statement true?

Read more…