This blog post exhibits a recent work with Tuomo Ojala and Eino Rossi. The purpose of the paper is to consider the behavior of quasisymmetric mappings on self-affine carpets. More precisely, we study what kind of restrictions does the structure of self-affine carpets and give to quasisymmetric mappings . Furthermore, we show that such self-affine carpets are minimal for the conformal dimension.

If and are metric spaces and is a homeomorphism, then a homeomorphism is –quasisymmetric if

for all with . Quasisymmetric mappings generalize bi-Lipschitz mappings, but compared to arbitrary homeomorphisms, their local behavior has some control:

**Lemma.**If is an -quasisymmetric mapping, then for each and there is such that

**Proof.** Choose as in the following picture:

Let . Then we clearly have

This gives the claim since

A metric space is uniformly perfect if there exists a constant such that for all and whenever . The following lemma further describes properties of quasisymmetric mappings:

**Lemma.**If and are uniformly perfect bounded metric spaces and is a quasisymmetric mapping, then there are such that

for all .

The Assouad dimension of a set , denoted by , is the infimum of all satisfying the following: there exists a constant such that each set can be covered by at most balls of radius centered at for all . The definition is due to Assouad (1983). Recall that the Hausdorff dimension of , , is defined by using arbitrary covers and the upper Minkowski dimension of , , uses covers consisting of balls with a fixed radius. The upper Minkowski dimension is therefore related to the average small scale structure whereas the Assouad dimension depends on the extreme properties of the set and takes into account all scales. In fact, if is compact, then . Furthermore, Assouad dimension is invariant under bi-Lipschitz mappings but, contrary to the Hausdorff dimension and the upper Minkowski dimension, it may increase under Lipschitz mappings.

A metric space is doubling if there exists such that each ball can be covered by at most many balls of radius . If is a metric space, then if and only if is doubling.

Assouad’s embedding theorem states that for every and there are and such that if is an -doubling metric space, then admits a -bi-Lipschitz embedding into . This version of the theorem is due to Naor & Neiman (2012).

A set is porous if there exists such that for each and there is such that . If , then if and only if is porous.

The conformal Assouad dimension of is

The Assouad dimension above can of course be replaced by any set dimension, and this gives rise to other conformal dimensions. The definition is due to Pansu (1989). The conformal dimension measures the dimension of the “best shape” of the metric space. We say that a set is minimal for the conformal Assouad dimension if

Note that we trivially have .

If is porous, then . A nontrivial generalization of this is the result of Kovalev (2006) which states that a metric space with has . On the other hand, Tyson (2000) has shown that for each there is such that , so is minimal for the conformal Hausdorff dimension.

Recall that bi-Lipschitz mappings preserve the dimension. By Marczewski’s result (1937), the topological dimension of a separable set is

Therefore,

This observation gives an intuition that a quasisymmetric mapping defined on a minimal set behaves as an average like a bi-Lipschitz mapping, and defined on other kinds of sets, starts to resemble a general homeomorphism. Also, since , it holds that .

Our main results are the following two theorems:

**Theorem A**(Ojala & Rossi & K., 2018)

**.**If are horizontal self-affine carpets, then any quasisymmetric mapping is quasi-Lipschitz.

A mapping is quasi-Lipschitz if

uniformly as . If and are separable, then quasi-Lipschitz mappings preserve the Hausdorff dimension. Therefore, by Theorem A, two horizontal self-affine carpets either have the same dimension or there is no quasi-symmetric mapping between them. This is in a huge contrast to the self-similar case: Wang, Wen, and Zhu (2010) have shown that if and are self-similar sets satisfying the strong separation condition, then there exists a quasisymmetric mapping . So in fact, for all such self-similar sets . Furthermore, Bonk & Merenkov (2013) have proved that every quasisymmetric self-map of the standard Sierpiński carpet is an isometry.

**Theorem B**(Ojala & Rossi & K., 2018)

**.**Horizontal self-affine carpets are minimal for the conformal Assouad dimension.

A set is a horizontal self-affine carpet if it satisfies the strong separation condition, the “construction rectangles” are horizontal, and each vertical line intersects at least two such rectangles:

Mackay (2011) has shown that Gatzouras-Lalley carpets are minimal for the conformal Assouad dimension when they project to a line; otherwise the conformal Assouad dimension is zero. Theorem B strictly generalizes the result of Mackay. It should also be mentioned that since the codomains in the definition of the conformal dimension can be any metric spaces, Theorem A cannot be used to prove Theorem B.

The proof of Theorem A has the following three essential steps:

**Theorem 1**(Ojala & Rossi & K., 2018)

**.**Let and be uniformly perfect compact doubling metric spaces. If is a quasisymmetric mapping such that any quasisymmetric weak tangent mapping is bi-Lipschitz (with the same constants), then is quasi-Lipschitz.

Let be compact. We say that is a weak tangent of if there exists a sequence of similarity mappings such that

in the Hausdorff metric as . The above definition is given in only for simplicity. The general case can be handled by the pointed Gromov-Hausdorff convergence and the Assouad embedding. Let be a quasisymmetric mapping. If is a tangent set of (and the associated similarities), then, by the Arzelà-Ascoli theorem, converge (along a subsequence) to a quasisymmetric weak tangent mapping .

The idea of the proof of Theorem 1 is as follows: If is not quasi-Lipschitz, then there exists a sequence of pairs of points in which obeys true Hölder behavior. For each pair there is a triplet of points (with comparable distances) in which still obeys true Hölder behavior. These triplets then allow us to define weak tangents so that the limit mappings are quasisymmetric and obey true Hölder behavior. This is a contradiction with the bi-Lipschitz assumption.

Let us sketch the outline of the proof. If is not quasi-Lipschitz, then there are and sequences and such that

for all and as . Relying on uniform perfectness, choose such that and

We assume that

for all . This would mean that the distances are above the graph of :

By Hölder continuity and the estimate for , this is a contradiction. Hence there exists such that

Let us denote by . Define weak tangent sets and mapping by using magnifications which take and into unit lengths. Let be such that , , and . Recalling that is bi-Lipschitz, we get

which is a contradiction for small enough .

To prove Theorem A, the task is now to find geometric conditions under which the assumptions of Theorem 1 are satisfied. This is given by the result of Le Donne & Xie (2016):

**Theorem 2**(Le Donne & Xie, 2016)

**.**If and are fibered spaces and is a quasisymmetric mapping such that the fibers of go homeomorphically to fibers of , then is bi-Lipschitz.

A metric space is fibered if , where the fibers are unbounded geodesic spaces and they have positive distance. Furthermore, non-parallel fibers are assumed to diverge and parallel fibers are not isolated.

Theorem A follows now from Theorems 1 and 2 if weak tangents of horizontal self-affine carpets are unions of fibered spaces. This is the content of the last step of the proof:

**Theorem 3**(Ojala & Rossi & K., 2018)

**.**If is horizontal self-affine carpet, then weak tangents of are of the form

where and are uniformly perfect porous sets.

Theorem 3 generalizes the result of Bandt & K. (2013) which describes tangent sets at generic points under some assumptions. The result of Bandt & K. (2013) has been recently generalized for non-carpet self-affine sets by Koivusalo & Rossi & K. (2017).

The proof of Theorem B relies on the following two results. The first one guarantees that the weak tangents of a horizontal self-affine carpet are minimal.

**Theorem 4**(Bishop & Tyson, 2001)

**.**If is compact, then is minimal for the conformal Hausdorff dimension.

The second one states that we can always find a weak tangent set having maximal dimension.

**Theorem 5**(Furstenberg, 2008)

**.**If is compact, then there exists a weak tangent of such that

**Proof of Theorem B.** Let be a horizontal self-affine carpet. By Theorem 5, there exists a weak tangent of such that

Recall that, by Theorem 3, is a union of fibered spaces. Therefore, by Theorem 4, is minimal for the conformal Hausdorff dimension, i.e.

Recalling the definition of the Assouad dimension, it is easy to see that and, similarly,

The proof follows now by combining these inequalities.