Left invertibility of I/O quantized linear systems in dimension 1: a number theoretic approach