A general principle for Hausdorff measure

Mumtaz Hussain,David Simmons

DOI: https://doi.org/10.1090/proc/14539

IF: 0.9709

2019-06-10

Proceedings of the American Mathematical Society

Abstract:We introduce a general principle for studying the Hausdorff measure of limsup sets. A consequence of this principle is the well-known Mass Transference Principle of Beresnevich and Velani (2006).

mathematics, applied

What problem does this paper attempt to address?

A unified approach to mass transference principle and large intersection property

Yubin He

2024-04-18

Abstract:The mass transference principle, discovered by Beresnevich and Velani [Ann Math (2), 2006], is a landmark result in Diophantine approximation that allows us to obtain the Hausdorff measure theory of $\limsup$ set. Another important tool is the notion of large intersection property, introduced and systematically studied by Falconer [J. Lond. Math. Soc. (2), 1994]. The former mainly focuses on passing between full (Lebesgue) measure and full Hausdorff measure statements, while the latter transfers full Hausdorff content statement to Hausdorff dimension. From this perspective, the proofs of the two results are quite similar but often treated in different ways.

Number Theory,Metric Geometry
Mass transference principle from rectangles to rectangles in Diophantine approximation

Baowei Wang,Jun Wu

DOI: https://doi.org/10.48550/arXiv.1909.00924

2021-03-23

Abstract:By introducing a ubiquity property for rectangles, we prove the mass transference principle from rectangles to rectangles, i.e., if a sequence of rectangles forms a ubiquity system (a full measure property), then the limsup set defined by shrinking these rectangles to smaller rectangles has full Hausdorff measure or to say transfer a full measure property to a full Hausdorff measure property for brevity. The limsup sets generated by balls or generated by rectangles appear at the most fundamental level in Diophantine approximation: one follows from Dirichlet's theorem, the other follows from Minkowski's theorem. So the result sets up a general principle for the Hausdorff measure theory for high dimensional Diophantine approximation which, together with the landmark work of Beresnevich & Velani in 2006 where a transference principle from balls to balls is established, gives a coherent Hausdorff measure theory for metric Diophantine approximation. The dimensional theory for limsup sets generated by rectangles also underpins the dimensional theory in multiplicative Diophantine approximation where unexpected phenomenon occurs and the usually used methods or even their generalizations fail to work.

Number Theory
A new Hausdorff content bound for limsup sets

Sylvester Eriksson-Bique

DOI: https://doi.org/10.1016/j.aim.2024.109638

IF: 1.675

2024-05-01

Advances in Mathematics

Abstract:We give a new Hausdorff content bound for limsup sets, which is related to Falconer's sets of large intersection. Falconer's sets of large intersection satisfy a content bound for all balls in a space. In comparison, our main theorem only assumes a scale-invariant bound for the balls forming the limit superior set in question. We give four applications of these ideas and our main theorem: a new proof and generalization of the mass transference principle related to Diophantine approximations, a related result on random limsup sets, a new proof of Federer's characterization of sets of finite perimeter and a statement concerning generic paths and the measure theoretic boundary. The new general mass transference principle infers a content bound for one collection of balls from the content bound of another collection of sets. The benefit of our approach is greatly simplified arguments as well as new tools to estimate Hausdorff content. The new methods allow for us to dispense with many of the assumptions in prior work. Specifically, our general Mass Transference Principle, and bounds on random limsup sets, do not assume Ahlfors regularity. Further, they apply to any complete metric space. This generality is made possible by the fact that our general Hausdorff content estimate applies to limsup sets in any complete metric space.

mathematics
Subsets of Positive and Finite -Hausdorff Measures and Applications

Bilel Selmi

DOI: https://doi.org/10.1007/s12220-023-01538-w

2024-01-21

Journal of Geometric Analysis

Abstract:Working with sets of infinite -Hausdorff measures can be cumbersome, so simplifying them to sets of positive finite general fractal measures proves to be highly beneficial. This paper aims to demonstrate that the -Hausdorff measures adhere to the property of being a subset of positive and finite measures. Our main result is then applied to establish that the general fractal function dimension is defined as the supremum of the general fractal dimension across all Borel probability measures.

mathematics
The Mass Transference Principle: Ten Years On

Demi Allen,Sascha Troscheit

DOI: https://doi.org/10.48550/arXiv.1704.06628

2017-05-09

Abstract:In this article we discuss the Mass Transference Principle due to Beresnevich and Velani and survey several generalisations and variants, both deterministic and random. Using a Hausdorff measure analogue of the inhomogeneous Khintchine-Groshev Theorem, proved recently via an extension of the Mass Transference Principle to systems of linear forms, we give an alternative proof of a general inhomogeneous Jarn\'ık-Besicovitch Theorem which was originally proved by Levesley. We additionally show that without monotonicity Levesley's theorem no longer holds in general. Thereafter, we discuss recent advances by Wang, Wu and Xu towards mass transference principles where one transitions from $\limsup$ sets defined by balls to $\limsup$ sets defined by rectangles (rather than from "balls to balls" as is the case in the original Mass Transference Principle). Furthermore, we consider mass transference principles for transitioning from rectangles to rectangles and extend known results using a slicing technique. We end this article with a brief survey of random analogues of the Mass Transference Principle.

Number Theory,History and Overview,Metric Geometry
Some Remarks on the Hausdorff Measure of the Cantor Set

Minghua Wang

DOI: https://doi.org/10.1051/shsconf/20162401015

2016-01-01

Abstract:In this paper, the author further reveals some intrinsic properties of the Cantor set. By erties, the author gives a new method for calculating the exact value of the Hausdorff measure of the C and shows the facts that each covering which consists of basic intervals, in which any basic interval can pletely contain the other, is the best covering of the Cantor set, and the Hausdorff measure of the Cant be determined by coverings which only consist of basic intervals.
The Hausdorff-integral on h-measure spaces and its applications

Attila Losonczi

2024-03-27

Abstract:We are going to widen the scope of the previously defined Hausdorff-integral in two ways. First, in the sense, that we develop the theory of the integral on some naturally generalized measure spaces. Second, we extend it to functions taking values in $[0,+\infty)\times[0,+\infty)$. In all our intentions, we follow the same attitude that we had in our previous investigation, i.e. we work in the realm of Hausdorff dimension and measure.

Classical Analysis and ODEs
A note on the relationship of pointwise dimensions of an invariant measure and its natural extension

P.-D. Liu

DOI: https://doi.org/10.1007/s00013-004-1012-4

2004-01-01

Archiv der Mathematik

Abstract:. In this note we present an estimate on the relationship of lower pointwise dimensions of an invariant measure of a Lipschitz map on a compact metric space and its natural extension.
Variational Principles for General Fractal Dimensions

Rim Achour,Zhiming Li,Bilel Selmi

DOI: https://doi.org/10.1007/s00025-024-02292-3

2024-10-16

Results in Mathematics

Abstract:The objective of this research is to establish a representation of the general Hausdorff and packing dimensions of compact sets in Euclidean space. This representation is formulated in terms of the lower and upper local dimensions with respect to two functions, denoted as h and g , which are associated with a probability measure defined on . Additionally, we establish a relationship that enables us to determine the general fractal dimensions by utilizing corresponding versions of these measures. These dimensions are defined as the supremum over the lower and upper general dimensions across all Borel probability measures. As a practical application of these findings, we introduce a variational principle for these general fractal dimensions. This principle establishes an equality between a parameter that is inherently linked to a given space or mapping and the supremum of specific values associated with a class of probability measures supported by the set, denoted as A . Furthermore, we propose two additional dimensions: the general concentration dimension and the general thin dimension. The concentration dimension is defined through the utilization of the Lévy concentration function and offers a relatively straightforward calculation method. It is closely connected to the mass distribution principle and often simplifies the determination of the general Hausdorff dimension of sets. The thin dimension, on the other hand, is grounded in the concept of the thin function, which can be seen as an anti-concentration function in relation to the Lévy function. This thin dimension also exhibits connections with the general fractal dimension.

mathematics, applied
Hausdorff dimension and infinitesimal similitudes on complete metric spaces

S. Verma

DOI: https://doi.org/10.48550/arXiv.2101.07520

2021-01-19

Abstract:In this paper, we answer a question of Nussbaum, Priyadarshi, and Lunel [Positive operators and Hausdorff dimension of invariant sets, Trans. Amer. Math. Soc. 364(2) (2012) 1029-1066.]. We also show that the Hausdorff dimension and box dimension of the attractor generated by a finite set of contractive infinitesimal similitudes are the same. Further, we extend many results of dimension theory to complete metric spaces. In the last part, we fill the gaps in the proofs of some articles, which are related to the dimension theory, and hint at some possible improvements in the recent papers.

Dynamical Systems,Metric Geometry,Spectral Theory
Hausdorff dimension of plane sections and general intersections

Pertti Mattila

DOI: https://doi.org/10.1112/blms.13038

IF: 1.036

2024-04-03

Bulletin of the London Mathematical Society

Abstract:This paper extends some results of Mattila (J. Fractal Geom. 66 (2021) 389–401 and Ann. Acad. Sci. Fenn. A Math. 42 (2017) 611–620), in particular, removing assumptions of positive lower density. We give conditions on a general family Pλ:Rn→Rm,λ∈Λ , of orthogonal projections which guarantee that the Hausdorff dimension formula dimA∩Pλ−1{u}=s−m holds generically for measurable sets A⊂Rn with positive and finite s ‐dimensional Hausdorff measure, s>m . As an application we prove for Borel sets A,B⊂Rn with positive s ‐ and t-dimensional measures that if s+(n−1)t/n>n , then dimA∩(g(B)+z)⩾s+t−n for almost all rotations g and for positively many z∈Rn . We shall also give an application to the estimates of the dimension of the set of exceptional rotations.

mathematics
A basic introduction of geometric measure theory

Q. Han,Xianghui Yu

2006-01-01

Abstract:Geometric measure theory studies properties of measures, functions and sets. In this note, we provide a basic introduction of geometric measure theory. We will study elementary properties of Hausdorff measures, Lipschitz functions and countably rectifiable sets. To make this note easily accessible, we confine our discussions in Euclidean spaces. Important topics include the area and coarea formulae for Lipschitz functions and approximate tangent space properties of countably rectifiable sets. This note is prepared for lectures in the Special Lecture Series the author delivered in Peking University, June 2006. He would like to thank Professor Gang Tian for providing such an opportunity. He would also like to thank Miss Xianghui Yu for helping him dealing various issues when he was visiting Peking University. Last but not least, the author would like to thank all participants of this series of lectures. Because of their active participation in class and numerous discussions with him after the class, the author was able to correct many mistakes in the early version of this lecture note.
Hausdorff dimension, its properties, and its surprises

Dierk Schleicher

DOI: https://doi.org/10.48550/arXiv.math/0505099

2007-08-21

Abstract:We review the motivation and fundamental properties of the Hausdorff dimension of metric spaces and illustrate this with a number of examples, some of which are expected and well-known. We also give examples where the Hausdorff dimension has some surprising properties: we construct a set $E\subset\C$ of positive planar measure and with dimension 2 such that each point in $E$ can be joined to $\infty$ by one or several curves in $\C$ such that all curves are disjoint from each other and from $E$, and so that their union has Hausdorff dimension 1. We can even arrange things so that every point in $\C$ which is not on one of these curves is in $E$. These examples have been discovered very recently; they arise quite naturally in the context of complex dynamics, more precisely in the iteration theory of simple maps such as $z\mapsto \pi\sin(z)$.

Dynamical Systems
The Hausdorff operator on the Hardy space ${H^{1}(\mathbb{R}^{1})}$

Jiecheng Chen,Dashan Fan,Xiangrong Zhu

DOI: https://doi.org/10.1007/s10474-016-0622-1

2016-01-01

Acta Mathematica Hungarica

Abstract:We study the Hausdorff operator $$H_{phi }f(x) = int_{0}^{infty }phi (u)f(ux) , du,$$where ({phi L_{rm loc}^{1}((0,infty ) setminus {1})}). We give a sufficient condition on ({phi }) such that ({H_{phi }}) is bounded on the Hardy space H 1. The result is an improvement of the main theorem in [10] and it negates that ({int_{0}^{infty }frac{|phi (u)|}{u} ,du u003c infty}) is a necessary and sufficient condition of boundedness of ({H_{phi }}) on H 1.
Hausdorff And Packing Measure Of Sets Of Generic Points: A Zero-Infinity Law

Jh Ma,Zy Wen

DOI: https://doi.org/10.1112/S0024610703005040

2004-01-01

Abstract:On the symbolic space endowed with a metric given by a Gibbs measure, it is shown that, for any invariant probability measure mu other than the given Gibbs measure, the set of mu-generical points satisfies a 'zero-infinity law' (in particular, its Hausdorff and packing measure ire infinite). This extends a result of R. Kaufman on Besicovitch-Eggleston sets, and applies to le-vel sets of Birkhoff averages and certain subsets of self-similar sets.
Upper bounds for measures on distal classes

Ilia Nekrasov,Andrew Snowden

2024-07-27

Abstract:In recent work, Harman and Snowden introduced a notion of measure on a Fraïssé class $\mathfrak{F}$, and showed how such measures lead to interesting tensor categories. Constructing and classifying measures is a difficult problem, and so far only a handful of cases have been worked out. In this paper, we obtain some of the first general results on measures. Our main theorem states that if $\mathfrak{F}$ is distal (in the sense of Simon), and there are some bounds on automorphism groups, then $\mathfrak{F}$ admits only finitely many measures; moreover, we give an effective upper bound on their number. For example, if $\mathfrak{F}$ is the class of ``$s$-dimensional permutations'' (finite sets equipped with $s$ total orders), we show that the number of measures is bounded above by approximately $\exp(\exp(s^2 \log{s}))$.

Representation Theory,Combinatorics,Logic
On the Lebesgue measure of one generalised set of subsums of geometric series

Oleg Makarchuk,Dmytro Karvatskyi

2024-10-19

Abstract:In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various systems of representation of real numbers. The main object of this paper was particularly studied by R. Kenyon, who brought up a question about the Lebesgue measure of the set and conjectured that it is positive. Further, Z. Nitecki confirmed the hypothesis by using nontrivial topological techniques. However, the aforementioned result is quite limited, as this particular case should satisfy a rigid condition of homogeneity. Despite the limited progress, the problem remained understudied in a general framework.

Probability,Classical Analysis and ODEs
Three superposition principles: currents, continuity equations and curves of measures

Eugene Stepanov,Dario Trevisan

DOI: https://doi.org/10.48550/arXiv.1512.05109

2015-12-16

Abstract:We establish a general superposition principle for curves of measures solving a continuity equation on metric spaces without any smooth structure nor underlying measure, representing them as marginals of measures concentrated on the solutions of the associated ODE defined by some algebra of observables. We relate this result with decomposition of acyclic normal currents in metric spaces. As an application, a slightly extended version of a probabilistic representation for absolutely continuous curves in Kantorovich-Wasserstein spaces, originally due to S. Lisini, is provided in the metric framework. This gives a hierarchy of implications between superposition principles for curves of measures and for metric currents.

Functional Analysis,Metric Geometry
Boundedness of Hausdorff Operators on Lebesgue Spaces and Hardy Spaces

Jiecheng Chen,Jiawei Dai,Dashan Fan,Xiangrong Zhu

DOI: https://doi.org/10.1007/s11425-017-9246-7

2018-01-01

Science China Mathematics

Abstract:In this paper, we study the boundedness of the Hausdorff operator Hϕ on the real line ℝ. First, we start with an easy case by establishing the boundedness of the Hausdorff operator on the Lebesgue space Lp(ℝ) and the Hardy space H1(ℝ). The key idea is to reformulate Hϕ as a Calderón-Zygmund convolution operator, from which its boundedness is proved by verifying the Hörmander condition of the convolution kernel. Secondly, to prove the boundedness on the Hardy space Hp(ℝ) with 0 < p < 1; we rewrite the Hausdorff operator as a singular integral operator with the non-convolution kernel. This novel reformulation, in combination with the Taibleson-Weiss molecular characterization of Hp(ℝ) spaces, enables us to obtain the desired results. Those results significantly extend the known boundedness of the Hausdorff operator on H1(ℝ).

A general principle for Hausdorff measure

A unified approach to mass transference principle and large intersection property

Mass transference principle from rectangles to rectangles in Diophantine approximation

A new Hausdorff content bound for limsup sets

Subsets of Positive and Finite -Hausdorff Measures and Applications

The Mass Transference Principle: Ten Years On

Some Remarks on the Hausdorff Measure of the Cantor Set

The Hausdorff-integral on h-measure spaces and its applications

A note on the relationship of pointwise dimensions of an invariant measure and its natural extension

Variational Principles for General Fractal Dimensions

Hausdorff dimension and infinitesimal similitudes on complete metric spaces

Hausdorff dimension of plane sections and general intersections

A basic introduction of geometric measure theory

Hausdorff dimension, its properties, and its surprises

The Hausdorff operator on the Hardy space \({H^{1}(\mathbb{R}^{1})}\)

Hausdorff And Packing Measure Of Sets Of Generic Points: A Zero-Infinity Law

Upper bounds for measures on distal classes

On the Lebesgue measure of one generalised set of subsums of geometric series

Three superposition principles: currents, continuity equations and curves of measures

Boundedness of Hausdorff Operators on Lebesgue Spaces and Hardy Spaces