Carries and the arithmetic progression structure of sets
If we want to represent integers in base m, we need a set A of digits, which needs to be a complete set of residues modulo m. When adding two integers with last digits a1,a2∈A, we find the unique a∈A such that a1+a2≡a mod m, and call (a1+a2−a)/m the carry. Carries occur also when addition is done modulo m2, with A chosen as a set of coset representatives for the cyclic group Z/mZ⊆Z/m2Z. It is a natural to look for sets A which minimize the number of different carries. In a recent paper, Diaconis, Shao and Soundararajan proved that, when m=p, p prime, the only set A which induces two distinct carries, i. e. with A+A⊆{x,y}+A for some x,y∈Z/p2Z, is the arithmetic progression [0,p−1], up to certain linear transformations. We present a generalization of the result above to the case of generic modulus m2, and show how this is connected to the uniqueness of the representation of sets as a minimal number of arithmetic progression of same difference.