Questions tagged [hausdorff-dimension]

Questions about dimensions of possibly highly irregular or "rough" sets, Hausdorff–Besicovitch dimension and related concepts such as box-counting or Minkowski–Bouligand dimension.

Filter by
Sorted by
Tagged with
2
votes
0answers
56 views
+150

Bounds on convergence of two orbits in the limit set of a Schottky group

Suppose we have two points in the limit set of a Schottky group, $x,y\in \Lambda(\Gamma)$. Consider the orbits of those points under a primitive subset $\Gamma'$ of $\Gamma,$ that is, one that does ...
2
votes
0answers
49 views

For $\mathcal{L}^1$-a.e. $t\in R$, Hausdorff dimension of level sets of a locally Lipschitz function $f:R^n\to R$ is $n-1$?

Let $f:R^n\to R$ be a locally Lipchitz function. Denote $H^n$ the n-dimensional Hausdorff measure. We know that for any $H^n$-measurable subset $A\subset R^n$, for $\mathcal{L}^1$-a.e. $t\in R$, $A\...
2
votes
0answers
39 views

(1, 2) stability and Hausdorff dimension

Recall that a set $E \subset \mathbb{R}^n$ is called (1,2) stable if it satisfies the following: $$ W_0^{1,2}(E) = W_0^{1,2}(E^0), $$ where $E^0$ is the interior of $E$ and $W_0^{1,2}(E)$ is defined ...
3
votes
2answers
853 views

A set whose Hausdorff dimension gradually changes?

Can there be a set whose Hausdorff dimension gradually changes? For instance, a set of real numbers contained in an interval, whose Hausdorff dimension is 0 at the beginning and 1 closer to the end, ...
2
votes
0answers
66 views

Hausdorff dimension between $(1,2)$

Is there a number $c \in (1,2)$ for which there exist some interesting geometric property/properties which hold for every set of Hausdorff dimension in $(1,c)$ and does not hold for any set of ...
5
votes
0answers
81 views

How do sets with unit fractional Hausdorff measure of dimension $>1$ look like?

Triggered by the recent question How can we not know the measure of the Sierpiński triangle? I would like to ask: Let $s>1$ and $s$ not be an integer. How to construct a set $A$ with $\mathfrak{...
0
votes
0answers
62 views

What is the geometric or dynamic meaning of a global attractor with an infinite fractal dimension?

In Efendiev-Ôtani's article: Infinite-dimensional attractors for parabolic equations with p-Laplacian in heterogeneous medium (Ann.I. H. Poincaré, AN 28,2011), is obtained that the fractal dimension ...
5
votes
1answer
166 views

Subspaces of metric spaces having prescribed dimension

Let $(X,d)$ be a metric space having Hausdorff dimension $\alpha>0$ and let $0<\beta<\alpha$. Is there a metric subspace of $X$ having Hausdorff dimension $\beta$?
2
votes
0answers
37 views

Examples of essentially sub-linear functions

A dimension function is an increasing, continuous function $% f:\mathbb R_{+}\rightarrow \mathbb R_{+}$ such that $f(r)\to 0$ as $r\to 0$. Say that a dimension function $f$ is essentially sub-linear ...
1
vote
1answer
139 views

Does fractallity depend on the Riemannian metric?

Edit: According to comment of Andre Henriques we revise the question: In this question a fractal is a metric space whose topological and Hausdorff dimensions are different. So we would like that ...
10
votes
0answers
205 views

Hausdorff dimension and von Neumann dimension

There are two subjects in which non-integral dimensions appear: fractal geometry: consider the well-known Hausdorff dimension of fractals. von Neumann algebra: consider a type ${\rm II_1}$ ...
1
vote
0answers
55 views

Universal structure of fractal spaces

In the same way that we can say manifolds are made of pieces that look like $\mathbb{R}^n$, is there any way to say that spaces with the same hausdorff dimension are made up of pieces that look the ...
2
votes
1answer
146 views

Hausdorff dimension and $W^{1,1}$ functions

What can be said about the Hausdorff dimension of the image of a set by a $W^{1,1}$ map? In other words, what is the relationship between $\mathrm{dim}_H f(A)$ and $\mathrm{dim}_H A$, where $f \in ...
7
votes
1answer
201 views

Hausdorff dimension of the boundary of fibres of Lipschitz maps

Let $f: \mathbb{R}^m\rightarrow \mathbb{R}^{m-k}$ be a Lipschitz map. Can we get a uniform estimate on the Hausdorff dimension of the boundaries of fibres of $f$? I.e. do we have an upper bound for ...
22
votes
3answers
696 views

Existence of subset with given Hausdorff dimension

Let $A\subseteq \mathbb{R}$ be Lebesgue-measurable and let $0<\alpha<1$ be its Hausdorff dimension. For a given $0<\beta <\alpha$ can we find a subset $B\subset A$ with Hausdorff ...
2
votes
1answer
114 views

Failure of Falconer distance problem in one dimension

I am told that the Falconer distance conjecture fails trivially in one dimension, but I really cannot find any reference for that. Precisely, I am asking the following question: For a compact set $E\...
9
votes
1answer
484 views

Coarea inequality, Eilenberg inequality

The general statement of the coarea inequality known also as the Eilenberg inequality is: Theorem. If $f:X\to Y$ is a Lipschitz map between metric sapces and $A\subset X$, $0\leq m\leq n$, then $$ ...
13
votes
1answer
434 views

Are Hausdorff measures on the real line Haar measures for some locally compact topology?

For $0\leq d\leq 1$, let $\lambda_d$ be the $d$-dimensional Hausdorff measure on $\mathbb{R}$. Note that it is translation-invariant. Does there exist a locally compact topology $\mathscr{T}_d$ on $\...
0
votes
0answers
64 views

Set with modified lower box counting dimension strictly less than Hausdorff dimension

Please, can someone give (as simple as possible) example of the set for which modified lower box counting dimension is strictly smaller than Hausdorff dimension?
2
votes
0answers
62 views

The Hausdorff dimensions of variations of Jarnik sets

For $\alpha, \beta>3,$ define $$\{(x,y)\in[0,1]\times [0,1]: \|qx\|\le q^{1-\alpha}, \|qy\|\le q^{1-\beta} \quad \text{for infinitely many $ q\in \mathbb{N}$}\}.$$ This set can be regarded as a two ...
6
votes
3answers
274 views

about the Hausdorff dimension of Removable singularities of PDE

There are some interesting phenomenons about removable singularities (or extension problems). In the theory of functions of several complex variables, we know the classical Hartogs theorem: Let f ...
2
votes
0answers
54 views

Intersections of Sierpinski carpets with lines

Let $S$ be the Sierpinski carpet contained in the square $[0,1]^2$. For Lebesgue almost every $a\in [0,1]^2$ and every $\theta\in\mathbb Q$ the intersection of the line $L_{a,\theta}$ with equation $y-...
8
votes
1answer
152 views

Examples of probability measures with `fake' decay

To be concise, I am wondering whether there are natural examples of probability measures $\mu$ compactly supported on the real line which satisfy $\mu(I) \lesssim l_n^\alpha$ for all intervals $I$ ...
4
votes
0answers
102 views

A quantity that distinguishes finer than Hausdorff dimension

Consider sets $A\subseteq \mathbb{R}$ with Lebesgue measure zero and Hausdorff dimension one. For instance the set of real numbers with bounded entries in their continued fraction expansion have ...
6
votes
1answer
561 views

Hausdorff dimension of the graph of an increasing function

Let $f$ be a continuous, strictly increasing function from $[0,1]$ to itself with $f(0)=0, f(1)=1$. Let $\Gamma_f$ denote its graph. What can be said about the Hausdorff dimension of $\Gamma_f$? In ...
1
vote
0answers
90 views

density of fractal measures

Let $s\in (0, 1)$ be a real number. Let $E\subset [0, 1]$ be a Borel set whose Hausdorff dimension is given by $s$. Assume that $\mathcal{H}^s(E)=+\infty$, that is, the $s$-dimensional Hausdorff ...
3
votes
1answer
118 views

Measures maximizing entropy in a set of measures with fixed average for some observable

Let $\Omega$ be the set of all infinite binary sequences $(x_i)_{i\ge 0}$ endowed with the product topology coming from discrete topology on $\{0,1\}$. Consider $0<\alpha<1$ and let $$K_\alpha=\{...
2
votes
0answers
47 views

Closed set containing infinite arithmetic progressions of ANY gap

Let $A\subseteq [0,\infty)$ be a set containing infinite arithmetic progressions of ANY gap, that is, for any $d>0$, there is $t>0$ such that $t+kd\in A$ for all $k\in \mathbb N$. Molter and ...
1
vote
0answers
173 views

Compact sets of Hausdorff dimension zero

I have a question about Hausdorff dimension. Suppose S is a compact subset of $\mathbb{R}^n$ whose Hausdorff dimension is zero. Does it follow that S can be covered by a finite DISJOINT union of ...
0
votes
0answers
107 views

Hausdorff dimension of $X\times X$

I am thinking of the following question: Let $X\subseteq \mathbb R$. Is it true that $$ \mathrm{dim_H}(X\times X)=2\mathrm{dim_H}(X)? $$ My thoughts: We know that $\mathrm{dim_H}(X)+\mathrm{dim_H}(...
9
votes
1answer
303 views

Is there a characterization of the Hausdorff measures?

It is known that there is a unique measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ such that the measure of the rectangle $\prod_i [a_i,b_i[$ is $\prod_i (b_i-a_i)$. This is the Lebesgue ...
2
votes
1answer
91 views

volume entropy and Hausdoff dimension

In relation to this question: Relation between volume entropy and Hausdorff dim of limit set? Given a metric space $Z$ and a hyperbolic approximation $X := hyp_{r_0}(Z)$ (as defined for example here)....
1
vote
1answer
110 views

Dimension of quotient of compact totally disconnected group action

Assume that $X$ is a compact metric space and $G$ is compact totally disconnected group. And $X$ has isometric free $G$-action i.e. $gx=x\Rightarrow g=e$. Then the following holds $${\rm dim}\ ...
6
votes
5answers
864 views

Fractals of dimension zero

Are there any famous examples of fractals, or other closed sets, of cardinality continuum but Hausdorff dimension 0? I can think of something ad hoc like a Cantor middle $\frac13$ set where the ...
4
votes
1answer
280 views

Hausdorff dimension of boundaries of open sets diffeomorphic to $\mathbb{R}^n$

Let $B$ be a bounded open subset of $\mathbb{R}^n$ which is diffeomorphic to $\mathbb{R}^n$. (I am not sure how important the diffeomorphism is but this is the case I am interested in.) Let $C$ be its ...
0
votes
1answer
117 views

Construction of null sets with prescribed Hausdorff dimension and generalizations

Given $h:\mathbb{R}_0^+ \to \mathbb{R}_0^+$ increasing and right continuous, the outer measure $\mathcal{H}^h$ in $\mathbb{R}^d$ that assigns to every $E\subset\mathbb{R}^d$ the measure $$\mathcal{H}^...
3
votes
1answer
121 views

Is there a concept of uniform Hausdorff dimension?

Let $M$ be a metric space and let $U \subset M$ be open. Then the Hausdorff dimension of $U$ is defined in the usual way. If there is a single dimension number $d$ that is the Hausdorff dimension of ...
7
votes
2answers
800 views

Haar measure on the Grassmannian space

The grassmannian space $G(n,m)$ may be identified with the quotient space $O(n)/(O(m)\times O(n-m)$. As such, it is endowed with a natural invariant probability measure which I call "Haar measure on $...
2
votes
0answers
139 views

Controlling the size of the balls in Hausdorff dimension/measure

Let $X$ be a compact metric space, and let $$ \nu_s(X):=\sup\limits_{\varepsilon>0} \inf\limits_{\mathcal{E}} \sum\limits_{E \in \mathcal E} \mathrm{diam}(E)^s $$ be the $s$-dimensional Hausdorff ...
1
vote
0answers
160 views

Hausdorff Dimension of Exceptional Set for Carleson's Theorem

In Mattila's book Fourier Analysis and Hausdorff Dimension, Mattila presents a result of Barcelo, Bennett, Carbery, and Rogers about convergence of solutions of the Schrodinger equation to the initial ...
4
votes
1answer
461 views

Usable Change-of-Variables Formula for Hausdorff Measure

Let $H^{s}$ be the $s$-dimensional Hausdorff measure, let $D$ be a nonsingular matrix. Consider the change of measure formula: $$ \int\limits_{A} f(Dx) \; \mathrm{d}H^{s}(x) = \int\limits_{ D A} f(y)...
3
votes
2answers
186 views

Hausdorff dimension of sequence space

Let $\Omega =\{0,1\}^{\mathbb{N}}$ denote the set of infinite sequences with elements $0$ or $1$. Let $d$ be the metric on $\Omega$ given by $d((x_n),(y_n))=1/2^m$, where $m=\min\{i\in\mathbb{N}\,:\,...
3
votes
0answers
191 views

Product Fractals

Here is a theorem found in the Falconer's book on fractal geometry: Theorem: For any sets $E\subset \mathbb{R}^n$ and $F\subset \mathbb{R}^m$ $$ \dim_HF+\dim_HE\leq \dim_H(E\times F)\leq \dim_HE+\...
11
votes
1answer
512 views

Hausdorff dimension of Apollonian circle packing, 1.305686729, 1.305688 or yet something else?

I am interested in the Hausdorff dimension of the Apollonian circle packing. There seem to be two numerical calculations of the value: 1.305686729(10) from P.B ...
8
votes
1answer
682 views

When is Hausdorff measure a Frostman measure?

Let $(X,d)$ be a metric space and let $\mathcal{H}^s$ be the $s$-dimensional Hausdorff measure on $X$. For a measure $\mu$ on $X$, we say that $\mu$ is a Frostman measure (sometimes referred as ...
3
votes
1answer
145 views

Packing measure and Kleinian groups

There has been "some" debate on the notion of fractal (as an illustration, see for example the discussion in this link). One of the possible notions includes relating Hausdorff dimension and packing ...
7
votes
1answer
257 views

Jarník-Besicovitch and outer measure

The set $A_\tau$ of irrational numbers $x$ which are $\tau$-approximable, i.e., that satisfy the estimate $$\left|x - \frac{p}{q}\right| \leq \frac{1}{q^\tau}$$ for infinitely many rationals $p/q$, ...
6
votes
2answers
854 views

Hausdorff dimension of a Cantor-like set

Suppose $K$ is a subset of $[0,1]$ with the following property: for almost $x,y \in K$, we have $$\frac{x+y}{2} \not\in K.$$ (Here, "almost in $K$" means "in $K$ except for a countable subset"). ...
17
votes
2answers
474 views

Best Hölder exponents of surjective maps from the unit square to the unit cube

The Peano's square-filling curve $p:I\to I^2$ turn's out to be Hölder continuous with exponent $1/2$ on the unit interval $I$ (a quick way to see it, is to note that $p$ is a fixed point of a ...
7
votes
3answers
529 views

How can dimension depend on the point?

Let $M$ be a metric space. For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension. For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...