Archive for August, 2017

News roundup, and binary Cantor orthogonality

August 15, 2017

[Posted on august 15, 2017.]

Summer news:


Completely unrelatedly, here’s probably another useless idea from this blog’s host. Consider a sequence (a_n)_{n\in\mathbb{N}^*} of binary numbers in [0,1] such that the number of digits of a_n is at least equal to n for all n. Then one can apply Cantor’s diagonal argument to extract a number that is uniquely defined (since a digit different from 0 must be 1 and vice versa) and different from all the a_n. Call the resulting number the “binary Cantor orthogonal” of that sequence. Can it have any useful properties?

Let’s look at the following example: a_n:=[1/p_n]_2, the binary version of the inverse of the n-th prime. That is, we do:

\displaystyle \begin{array}{ccl}  \frac{1}{2}& =& 0.1\\  \frac{1}{3}& = & 0.01010101\dots \\  \frac{1}{5}& =& 0.001100110011\dots\\  \frac{1}{7}&=& 0.001001001001\dots\\  \frac{1}{11}&=& 0.0001011101\dots\\  \vdots  \end{array}


then extract the diagonal of the decimal parts and invert it modulo 2. The resulting sequence is 0,0,0,1,1,1,0,0,1,0,1,0,0,1,1,0,0… Unfortunately, the OEIS doesn’t know this particular sequence, so there’s probably nothing noticeable here.

Jardin des Roses in Rennes (a small area of this marvel).

August 2017. Public domain