Abstract:We construct functions $f \colon [0,1] \to [0,1]$ whose graph as a subset of $\mathbb{R}^2$ has Hausdorff dimension greater than any given value $\alpha \in (1,2)$ but conformal dimension $1$. These functions have the property that a positive proportion of level sets have positive codimension-$1$ measure. This result gives a negative answer to a question of Binder--Hakobyan--Li. We also give a function whose graph has Hausdorff dimension $2$ but conformal dimension $1$. The construction is based on the author's previous solution to the inverse absolute continuity problem for quasisymmetric mappings.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the relationship between the conformal dimension and the Hausdorff dimension of graphs. Specifically, the author constructs a function \( f: [0,1] \to [0,1] \) that maps the unit interval \([0,1]\) to itself, whose graph in \(\mathbb{R}^2\) has a Hausdorff dimension greater than any given value \(\alpha \in (1,2)\), but has a conformal dimension of 1. These functions have the property that a positive proportion of the level sets have positive codimension - 1 measure.
### Specific Problem Description
The main purpose of the paper is to answer a question proposed by Binder - Hakobyan - Li: For a continuous function \( f: [0,1] \to \mathbb{R} \), does its graph always minimize the conformal dimension? That is, are there conditions to ensure that the conformal dimension of the graph is equal to its Hausdorff dimension?
### Main Results
The author gives counter - examples to the above conjecture through the following two theorems:
#### Theorem 1.1
For all \(\alpha \in (1,2)\), there exists a function \( f: [0,1] \to [0,1] \) such that the Hausdorff dimension of its graph \(\Gamma(f)\) is greater than \(\alpha\), but there exists a quasisymmetric mapping \( g: \Gamma(f) \to Y \) to a metric space \( Y \) with a Hausdorff dimension of 1. Moreover, for almost all \( a \in [0,1] \), the Hausdorff dimension of the intersection \(\Gamma(f) \cap (\mathbb{R} \times \{a\})\) is \(\text{dim}_H(\Gamma(f)) - 1\).
#### Theorem 1.2
There exists a function \( f: [0,1] \to [0,1] \) such that the Hausdorff dimension of its graph \(\Gamma(f)\) is 2, but there exists a quasisymmetric mapping \( g: \Gamma(f) \to Y \) to a metric space \( Y \) with a Hausdorff dimension of 1.
### Construction Method
The author constructs a function satisfying the above properties based on the method previously used to solve the inverse absolute continuity problem. The specific steps include:
1. **Constructing a Quasisymmetric Mapping**: Use the method in Theorem 1.3 to construct a quasisymmetric mapping \( g_0 \) and the corresponding set \( E \).
2. **Modifying the Bedford - McMullen Carpet**: Modify the standard Bedford - McMullen carpet so that it is locally rectifiable outside the set \( E \) and oscillates violently inside the set \( E \).
3. **Combining Multiple Functions**: By combining functions \( f_n \) at multiple different scales, finally obtain the required function \( f \).
### Conclusion
These results show that not all graphs of continuous functions minimize the conformal dimension, thus negating the conjecture of Binder - Hakobyan - Li. In addition, the author also proposes problems for further research, such as finding sufficient conditions for the graph of a continuous function to minimize the conformal dimension.