Heavily modified comment:
Yes, the operation f(a) = (a) XOR (3a) is a doubling.
f(a)= 2 a.
Since I proved it for a single bit a_1 = 1, and an arbitrary bit b, a_b = 1, I think I unknowingly proved it for all numbers (!) since all numbers are superpositions of n bits. Since the relationship holds for all single bits in position b starting with a_n = a_b then it holds for all numbers: f(a_i + a_j + a_k ... ) = (2a_i + 2a_j + 2a_k) =
2 (a_i+a_j + a+k ...)
one thing needed to complete the proof is this:
for the case: a_n = 0
f(a_n) = 0 = 2 a_n
Edited on October 31, 2018, 11:25 am