Daniel Glasscock, Florian Richter and I have just uploaded to the arXiv our new paper entitled “Additive transversality of fractal sets in the reals and the integers”. In this paper we introduce a new notion of fractal sets of natural numbers in analogy with -invariant subsets of , and obtain the analogues of several results pertaining -invariant subsets of .

The prototypical example of the kind of fractal subsets of that we deal with is the *integer middle thirds Cantor set* consisting of all that when represented in base use only the digits and . Symbolically

** — 1. -invariant subsets of — **

Definition 1Let . A set is said to be -invariant if it is closed and (where the product should be understood inside , or equivalently ).

The class of -invariant subsets of contains properly the class of restricted digit sets in base , i.e. sets which, like , consist of all numbers that can be represented in base using only digits from a subset of all digits. Being defined multiplicatively (or, more accurately, in terms of digit expansions) the natural questions to ask about -invariant sets are about their relation with the additive structure, and the relation between a -invariant set and a -invariant set, for distinct and . On the latter, it is important to notice that if is a power of , then any -invariant set is also a -invariant set. On the other hand, if and are *multiplicatively independent*, then we expect that a -invariant set and a -invariant set to share little structure. It turns out that the notion of multiplicative independence we require is very weak (and, for instance, much weaker than being co-prime).

Definition 2Two numbers are multiplicatively independent if they are not both an integer power of the same integer or, equivalently, if .

Here is a sample of results about -invariant sets.

Theorem 3Let be multiplicatively independent, let be a -invariant set and let be a -invariant set.

- If then .
- (Furstenberg, 1968) If , then is either finite or .
- (Lindenstrauss-Meiri-Peres, 1999) Letting be the sum of copies of , .
- (Hochman-Shmerkin, 2012)
- (Shmerkin/ Wu, 2019) .

While I fear that this terse summary of some properties of -invariant sets may not be enough to convey how interesting these sets are, and certainly doesn’t highlight the fascinating connections to other areas of mathematics, such as probability and number theory, I will refrain from saying more in order to remain on topic. Suffice it to say that, apart from Furstenberg’s seminal paper essentially starting the whole subject, all the other articles linked above were published in the Annals of Mathematics.

** — 2. -invariant subsets of — **

Before talking about fractal subsets of we need a notion of dimension. While fractal subsets of the Euclidean space have the property that zooming in reveals similar features at every scale, fractal subsets of will instead have the property that zooming *out* will reveal similar features at every scale (this may be thought of as an instance of the duality between compact and discreet sets). The notion of dimension must capture this zooming out idea.

Definition 4Let . Its (mass) dimension is

Not every subset of has a well defined dimension as the limit used in the definition may not exist. Observe that itself has dimension , as does any set of positive density. On the other hand, the set of prime numbers, which has zero density, still has dimension . The equation is equivalent to , so the dimension of a set captures its rough growth rate. For instance, letting be the set of perfect squares we have .

It is not immediately clear how to define an analogous class of -invariant subsets of . For instance, the naive definition that stipulates that does not lead to an interesting class: if the is the set of all which can be represented in base using only digits from , then whenever the containment is false. Furthermore, the set of perfect squares satisfies simultaneously and , but .

Instead we need to be a bit more flexible, keeping in mind the duality between compact and discrete sets. For we require that , which can be described as multiplication followed by a natural operation () to bring the result back to the compact set. For we will require that , which can be described as a division, followed again by a natural operation (the floor function ) to bring the result back to the discrete set. Moreover, for subsets of we require them to be closed. This is a bit harder to transpose into the discrete world, but we do need an additional condition which is in some sense capturing the same property.

Definition 5Let and let have base expansion Define the operations A set is said to be -invariant if both and .

Note that deletes the Left-most (or, Leading) digit, while deletes the Right most digit (or the Remainder upon division by ).

Any base restricted digit Cantor set in the integers is a -invariant set. In particular, is a -invariant set and, unsurprisingly, its mass dimension is .

Using this notion -invariant sets in , we obtain analogues of most items in Theorem 3.

Both Theorems 3 and 6 are formulated only for a special representative case of the full strength of those theorems.

Regarding item 3. in Theorem 3, we believe that the analogue for -invariant subsets of also holds and hope to have a proof for it soon, but we are not yet ready to announce a result.

** — 3. Proof outline and a strengthening of the Hochman-Shmerkin theorem — **

However in order to prove part 6. of Theorem 6 with a similar correspondence, we needed a stronger version of part 3. from Theorem 3. This stronger version is a bit technical to state formally here (it’s Theorem A in the paper) and, while it is stronger in a precise quantitative sense than part 3. of Theorem 3, the full strength of the results of Hochman and Shmerkin are significantly more general in a different sense. Nevertheless, it does not seem possible to obtain our quantitative strengthening from the results of Hochman and Shmerkin alone, so we ended up giving a different and direct proof of this theorem, which has the advantage of being mostly elementary and avoiding most of the heavy machinery typically necessary in this area.

Finally, the integer analogue of part 3. of Theorem 3 seems to require a similarly stronger version of its counterpart in .