Skip to main content

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.

37 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
14 votes
0 answers
402 views

Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?

I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero. In the 1966 paper "Additive gruppen mit vorgegebener ...
James E. Reid's user avatar
11 votes
0 answers
337 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}$ ...
Sebastien Palcoux's user avatar
8 votes
0 answers
230 views

The Hausdorff dimension of the set of reals of inner models

Suppose that both $M$ and $N$ are models of $ZFC$ with $M\subseteq N$ so that $M$ is definable in $N$. Question Can $(\mathbb{R})^M$ have Hausdorff dimension strictly between $0$ and $1$ in $N$? How ...
喻 良's user avatar
  • 4,201
6 votes
0 answers
822 views

Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?

Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$. Let $\Omega$...
Nate River's user avatar
  • 6,323
6 votes
0 answers
147 views

Estimating the Hausdorff dimension of the discontinuity set of a function

Suppose $\sum_{\xi \in \mathbb{Z}^d}{a_{\xi}}e^{i\langle x, \xi\rangle }$ converges spherically pointwise to $0$ for all $x \in \mathbb{T}^d$, i.e. $\lim_{R \to \infty} \sum_{|\xi| < R}{a_{\xi}}e^{...
fwd's user avatar
  • 161
6 votes
0 answers
111 views

A generalized Hausdorff dimension in form of a Lower semi continuous function

Let $(X,d)$ be a compact metric space. Assume that $f:X\to \mathbb{R}$ is a positive continuous function. We say that the $f$-dimension of $(X,d)$ is equal to $0$ if for every $\epsilon>0$ ...
Ali Taghavi's user avatar
5 votes
0 answers
156 views

What is the Hausdorff dimension of the set on which this exponential sum is bounded?

This is a direct follow up to For which rationals is this exponential sum bounded? Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$. What is the Hausdorff dimension of the ...
Nate River's user avatar
  • 6,323
5 votes
0 answers
160 views

Naïve definition of a measure on a fractal

This question was previously posted on MSE. Let $K\subset \mathbb R^2$ be a compact fractal of Hausdorff dimension $1<d<2$. I want to define a natural measure on $K$. One option would be to use ...
Matheus Manzatto's user avatar
5 votes
0 answers
586 views

On the Hausdorff dimension of a Cantor set

In what follows I refer to this paper by Orevkov. I am writing a paper on this, so if somebody is interested we could consider to write a joint paper. Consider a sequence $R=\{R_n\}_n$ of strictly ...
Joe's user avatar
  • 779
4 votes
0 answers
83 views

An algebraic condition possibly related with the Hausdorff measure on $\mathbb{R}$

This is my first time to ask a question here. Please tell me if I can improve it. I would like to introduce the following definition inspired from a measure theory exercise. Definition. A subset $K$ ...
Jianqiao Shang's user avatar
4 votes
0 answers
95 views

Counting fractals modulo "shared complements"

Previously asked at MSE: Let $\mathscr{H}$ be the space of compact nonempty subsets of $\mathbb{R}^2$ (I'm not especially wedded to dimension $2$, so feel free to tweak that if it would lead to a more ...
Noah Schweber's user avatar
4 votes
1 answer
325 views

The Hausdorff codimension of singular matrices vs. the Hausdorff codimension of points with divergent trajectories

Let $G:=SL(m+n,\mathbb R)$ and $\Gamma :=SL(m+n,\mathbb Z)$ and $X:=G/\Gamma$. (1) Let $M$ denote the set of all $m \times n$ matrices with real entries. A matrix $A \in M$ is called $\textit{singular}...
No One's user avatar
  • 1,565
4 votes
0 answers
119 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 ...
Jörg Neunhäuserer's user avatar
4 votes
0 answers
255 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 ...
Nikita M's user avatar
3 votes
0 answers
49 views

Kaplan-Yorke dimension when all Lyapunov exponents are positive or the system is 1-dimensional

The Lyapunov/Kaplan-Yorke dimension $D_{KY}$ can be calculated using the Lyapunov Exponents of an n-dimensional dynamical system, as shown in the relevant Scholarpedia entry. If $\lambda_1>\...
Claudiu Crăciun's user avatar
3 votes
1 answer
105 views

Existence of an $\alpha$-regular measure with positive measure on a binary digits do not have a limiting frequency

let $$X=\left\{ \sum_{n=1}^{\infty}a_{n}2^{-n}:a_{n}\in\left\{ 0,1\right\} ,\liminf\frac{1}{n}\sum_{i=1}^{n}a_{i}<\limsup\frac{1}{n}\sum_{i=1}^{n}a_{i}\right\} $$ I'm studying fractal geometry and ...
Simple Conjugate's user avatar
3 votes
0 answers
199 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 ...
Rob F's user avatar
  • 31
3 votes
0 answers
204 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+\...
user avatar
2 votes
0 answers
51 views

What is $3/2$-dimensional Hausdorff measure of the graph of Brownian motion?

It is well-known, and well-documented, that the Hausdorff dimension of the graph of regular $1$-dimensional Brownian motion is $3/2$ (almost surely). See for example Theorem 4.29 in "Brownian ...
mdr's user avatar
  • 593
2 votes
0 answers
123 views

Are the extensions of the expected value, below, finite for all functions in only a shy subset of all measurable functions?

This is a follow up to this post, where I wish to verify whether one of the statements (in the post) is true but first let's recap the definitions: Let $(X,d)$ be a metric space. If set $A\subseteq X$,...
Arbuja's user avatar
  • 63
2 votes
0 answers
187 views

Relationship between Hausdorff dimension and covering number

Let $(X,d)$ be a compact metric space and recall that the $\epsilon$-external covering number $\mathcal{N}^{\epsilon}(X)$ of $X$ is defined by: $$ \mathcal{N}^{\epsilon}(X) := \inf\left\{ N\in \mathbb{...
ABIM's user avatar
  • 5,405
2 votes
0 answers
222 views

Is Kakeya conjecture open with some additional regularity condition on Kakeya map?

in the paper, ON KAKEYA MAPS WITH REGULARITY ASSUMPTIONS, the author of the paper consider the Kakeya conjecture with some regularity on Kakeya map, Kekeya conjecture[Hausdorff dimension version] If ...
katago's user avatar
  • 543
2 votes
0 answers
89 views

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 ...
user6419's user avatar
  • 441
2 votes
0 answers
48 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 ...
user109433's user avatar
2 votes
0 answers
99 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 ...
truebaran's user avatar
  • 9,340
2 votes
0 answers
267 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 ...
user48633's user avatar
2 votes
0 answers
66 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 ...
QCD_IS_GOOD's user avatar
2 votes
0 answers
83 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 ...
ljjpfx's user avatar
  • 207
2 votes
0 answers
85 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-...
DavidHume's user avatar
  • 743
2 votes
0 answers
73 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 ...
Thomas Yang's user avatar
1 vote
0 answers
742 views

Finding a unique and finite expected value for almost all measurable functions?

Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
Arbuja's user avatar
  • 63
1 vote
0 answers
98 views

Lower bound estimate for the sum $\sum \text{diam}(U)^d$ over all countable covers of a cube

This question is inspired from the definition of Hausdorff measure. Let $C$ be a closed unit hypercube in $\mathbb R^d$ (side length equal to one, including boundary. The cube itself is at top ...
No One's user avatar
  • 1,565
1 vote
0 answers
114 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 ...
Guo's user avatar
  • 11
1 vote
0 answers
251 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 ...
Andrea's user avatar
  • 11
0 votes
0 answers
151 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?
Dopax's user avatar
  • 1
0 votes
0 answers
122 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}(...
Thomas Yang's user avatar
0 votes
1 answer
325 views

Finding examples of functions which are infinite or undefined with current extensions of the expected value?

Preliminaries Consider the expectations desribed in this paper, which is an extension of the Lebesgue density theorem; this paper which is an extension of the Hausdorff measure, using Hyperbolic ...
Arbuja's user avatar
  • 63