Showing 1–50 of 88 results for author: Fraser, J M

$L^p$ averages of the Fourier transform in finite fields

Authors: Jonathan M. Fraser

Abstract: The Fourier transform plays a central role in many geometric and combinatorial problems cast in vector spaces over finite fields. In general, sets with good uniform bounds for the Fourier transform are less structured, more `random', and can often be analysed more easily. In many cases obtaining good \emph{uniform} bounds is not possible, even if `most' points admit good pointwise bounds. Motivate… ▽ More The Fourier transform plays a central role in many geometric and combinatorial problems cast in vector spaces over finite fields. In general, sets with good uniform bounds for the Fourier transform are less structured, more `random', and can often be analysed more easily. In many cases obtaining good \emph{uniform} bounds is not possible, even if `most' points admit good pointwise bounds. Motivated by this, we propose a more nuanced approach where one seeks to bound the $L^p$ averages of the Fourier transform instead of only the maximum. We explore this idea by considering several examples and find that a rich theory emerges. Further, we provide various applications of this new approach; including to sumset type problems, the finite fields distance conjecture, and the problem of counting $k$-simplices inside a given set. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 30 pages, 1 figure

MSC Class: primary: 52C10; 43A25; secondary: 11B30; 52C35; 43A46; 11L40

Inhomogeneous attractors and box dimension

Authors: Jonathan M. Fraser

Abstract: Iterated function systems (IFSs) are one of the most important tools for building examples of fractal sets exhibiting some kind of `approximate self-similarity'. Examples include self-similar sets, self-affine sets etc. A beautiful variant on the standard IFS model was introduced by Barnsley and Demko in 1985 where one builds an \emph{inhomogeneous} attractor by taking the closure of the orbit of… ▽ More Iterated function systems (IFSs) are one of the most important tools for building examples of fractal sets exhibiting some kind of `approximate self-similarity'. Examples include self-similar sets, self-affine sets etc. A beautiful variant on the standard IFS model was introduced by Barnsley and Demko in 1985 where one builds an \emph{inhomogeneous} attractor by taking the closure of the orbit of a fixed compact condensation set under a given standard IFS. In this expository article I will discuss the dimension theory of inhomogeneous attractors, giving several examples and some open questions. I will focus on the upper box dimension with emphasis on how to derive good estimates, and when these estimates fail to be sharp. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: Expository article. 18 pages, 6 figures

MSC Class: 28A80; 26A18; 37F32

Critical exponents and dimension for generalised limit sets

Authors: Tianyi Feng, Jonathan M. Fraser

Abstract: There is a beautiful and well-studied relationship between the Poincare exponent and the fractal dimensions of the limit set of a Kleinian group. Motivated by this, given an arbitrary discrete subset of the unit ball we define a critical exponent and investigate how it relates to the fractal dimensions of the associated generalised limit set. There is a beautiful and well-studied relationship between the Poincare exponent and the fractal dimensions of the limit set of a Kleinian group. Motivated by this, given an arbitrary discrete subset of the unit ball we define a critical exponent and investigate how it relates to the fractal dimensions of the associated generalised limit set. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 16 pages

Fourier decay of product measures

Authors: Jonathan M. Fraser

Abstract: Can one characterise the Fourier decay of a product measure in terms of the Fourier decay of its marginals? We make inroads on this question by describing the Fourier spectrum of a product measure in terms of the Fourier spectrum of its marginals. The Fourier spectrum is a continuously parametrised family of dimensions living between the Fourier and Hausdorff dimensions and captures more Fourier a… ▽ More Can one characterise the Fourier decay of a product measure in terms of the Fourier decay of its marginals? We make inroads on this question by describing the Fourier spectrum of a product measure in terms of the Fourier spectrum of its marginals. The Fourier spectrum is a continuously parametrised family of dimensions living between the Fourier and Hausdorff dimensions and captures more Fourier analytic information than either dimension considered in isolation. We provide several examples and applications, including to Kakeya and Furstenberg sets. In the process we derive novel Fourier analytic characterisations of the upper and lower box dimensions. △ Less

Submitted 29 May, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

Comments: 17 pages, 1 figure. Error corrected, more details added, other small changes

MSC Class: primary: 42B10; 28A80; secondary: 28A75; 28A78

A Fourier analytic approach to exceptional set estimates for orthogonal projections

Authors: Jonathan M. Fraser, Ana E. de Orellana

Abstract: Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and Hausdorff dimension coincide have no exceptional projections, that is, \emph{all} orthogonal projections satisfy the conclusion of Marstrand's theorem. With this… ▽ More Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and Hausdorff dimension coincide have no exceptional projections, that is, \emph{all} orthogonal projections satisfy the conclusion of Marstrand's theorem. With this in mind, one might believe that the Fourier dimension (or at least, Fourier decay) could be used to give better estimates for the Hausdorff dimension of the exceptional set in general. We obtain projection theorems and exceptional set estimates based on the Fourier spectrum; a family of dimensions that interpolates between the Fourier and Hausdorff dimensions. We apply these results to show that the Fourier spectrum can be used to improve several results for the Hausdorff dimension in certain cases, such as Ren--Wang's sharp bound for the exceptional set in the plane, Peres--Schlag's exceptional set bound and Bourgain--Oberlin's sharp $0$-dimensional exceptional set estimate. △ Less

Submitted 20 June, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: 23 pages, 3 figures. Some improvements

MSC Class: primary: 28A80; 42B10; secondary: 28A75; 28A78

Obtaining the Fourier spectrum via Fourier coefficients

Authors: Marc Carnovale, Jonathan M. Fraser, Ana E. de Orellana

Abstract: The Fourier spectrum is a family of dimensions that interpolates between the Fourier and Hausdorff dimensions and are defined in terms of certain energies which capture Fourier decay. In this paper we obtain a convenient discrete representation of those energies using the Fourier coefficients. As an example application, we use this representation to establish sharp bounds for the Fourier spectrum… ▽ More The Fourier spectrum is a family of dimensions that interpolates between the Fourier and Hausdorff dimensions and are defined in terms of certain energies which capture Fourier decay. In this paper we obtain a convenient discrete representation of those energies using the Fourier coefficients. As an example application, we use this representation to establish sharp bounds for the Fourier spectrum of a general measure with bounded support, improving previous estimates of the second-named author △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 13 pages

MSC Class: primary: 28A75; 42B10; secondary: 42B05

Assouad spectrum of Gatzouras-Lalley carpets

Authors: Amlan Banaji, Jonathan M. Fraser, István Kolossváry, Alex Rutar

Abstract: We study the fine local scaling properties of a class of self-affine fractal sets called Gatzouras-Lalley carpets. More precisely, we establish a formula for the Assouad spectrum of all Gatzouras-Lalley carpets as the concave conjugate of an explicit piecewise-analytic function combined with a simple parameter change. Our formula implies a number of novel properties for the Assouad spectrum not pr… ▽ More We study the fine local scaling properties of a class of self-affine fractal sets called Gatzouras-Lalley carpets. More precisely, we establish a formula for the Assouad spectrum of all Gatzouras-Lalley carpets as the concave conjugate of an explicit piecewise-analytic function combined with a simple parameter change. Our formula implies a number of novel properties for the Assouad spectrum not previously observed for dynamically invariant sets; in particular, the Assouad spectrum can be a non-trivial differentiable function on the entire domain $(0,1)$ and can be strictly concave on open intervals. Our proof introduces a general framework for covering arguments using techniques developed in the context of multifractal analysis, including the method of types from large deviations theory and Lagrange duality from optimisation theory. △ Less

Submitted 11 July, 2024; v1 submitted 13 January, 2024; originally announced January 2024.

Comments: 43 pages, 6 figures; v2: A minor auxiliary lemma (Lemma 4.7) in v1 was incorrect as stated and it has been removed; all other results unchanged. Numbering is different from v1

MSC Class: 28A80 (Primary) 37C45; 49N15 (Secondary)

Localized Gradual Photomediated Brightness and Lifetime Increase of Superacid Treated Monolayer MoS$_2$

Authors: Kurt H. Tyson, James R. Godfrey, James M. Fraser, Robert G. Knobel

Abstract: Monolayer semiconducting transition metal dichalcogenides (S-TMDs) have been extensively studied as materials for next-generation optoelectronic devices due to their direct band gap and high exciton binding energy at room temperature. Under a superacid treatment of bis(trifluoromethane)sulfonimide (TFSI), sulfur-based TMDs such as MoS$_2$ can emit strong photoluminescence (PL) with photoluminescen… ▽ More Monolayer semiconducting transition metal dichalcogenides (S-TMDs) have been extensively studied as materials for next-generation optoelectronic devices due to their direct band gap and high exciton binding energy at room temperature. Under a superacid treatment of bis(trifluoromethane)sulfonimide (TFSI), sulfur-based TMDs such as MoS$_2$ can emit strong photoluminescence (PL) with photoluminescence quantum yield (PLQY) approaching unity. However, the magnitude of PL enhancement varies by more than two orders of magnitude in published reports. A major culprit behind the discrepancy is sulfur-based TMD's sensitivity to above band-gap photostimulation. Here, we present a detailed study of how TFSI-treated MoS$_2$ reacts to photostimulation with increasing PL occurring hours after constant or pulsed laser exposure. The PL of TFSI-treated MoS$_2$ is enhanced up to 74 times its initial intensity after 5 hours of continuous exposure to 532nm laser light. Photostimulation also enhances the PL of untreated MoS$_2$ but with a much smaller enhancement. Caution should be taken when probing MoS$_2$ PL spectra as above-bandgap light can alter the resulting intensity and peak wavelength of the emission over time. The presence of air is verified to play a key role in the photostimulated enhancement effect. Additionally, the rise of PL intensity is mirrored by an increase in measured carrier lifetime of up to ~400ps consistent with the suppression of non-radiative pathways. This work demonstrates why variations in PL intensity are observed across samples and provides an understanding of the changes in carrier lifetimes to better engineer next-generation optoelectronic devices. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: Main document: 15 pages, 4 figures. Supplemental document: 12 pages, 7 figures

The Fourier spectrum and sumset type problems

Authors: Jonathan M. Fraser

Abstract: We introduce and study the \emph{Fourier spectrum} which is a continuously parametrised family of dimensions living between the Fourier dimension and the Hausdorff dimension for both sets and measures. We establish some fundamental theory and motivate the concept via several applications, especially to sumset type problems. For example, we study dimensions of convolutions and sumsets, and solve th… ▽ More We introduce and study the \emph{Fourier spectrum} which is a continuously parametrised family of dimensions living between the Fourier dimension and the Hausdorff dimension for both sets and measures. We establish some fundamental theory and motivate the concept via several applications, especially to sumset type problems. For example, we study dimensions of convolutions and sumsets, and solve the distance set problem for sets satisfying certain Fourier analytic conditions. △ Less

Submitted 29 May, 2024; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 32 pages, 1 figure, to appear in Math. Annalen

MSC Class: primary: 42B10; 28A80; secondary: 28A75; 28A78

Assouad-type Dimensions of Overlapping Self-affine Sets

Authors: Jonathan M. Fraser, Alex Rutar

Abstract: We study the Assouad and quasi-Assoaud dimensions of dominated rectangular self-affine sets in the plane. In contrast to previous work on the dimension theory of self-affine sets, we assume that the sets satisfy certain separation conditions on the projection to the principal axis, but otherwise have arbitrary overlaps in the plane. We introduce and study regularity properties of a certain symboli… ▽ More We study the Assouad and quasi-Assoaud dimensions of dominated rectangular self-affine sets in the plane. In contrast to previous work on the dimension theory of self-affine sets, we assume that the sets satisfy certain separation conditions on the projection to the principal axis, but otherwise have arbitrary overlaps in the plane. We introduce and study regularity properties of a certain symbolic non-autonomous iterated function system corresponding to "symbolic slices" of the self-affine set. We then establish dimensional formulas for the self-affine sets in terms of the dimension of the projection along with the maximal dimension of slices orthogonal to the projection. Our results are new even in the case when the self-affine set satisfies the strong separation condition: in fact, as an application, we show that self-affine sets satisfying the strong separation condition can have distinct Assouad and quasi-Assouad dimensions, answering a question of the first named author. △ Less

Submitted 3 December, 2023; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 22 pages; v3: small fixes and other minor changes incorporating referee comments. To appear in Ann. Fenn. Math

MSC Class: 28A80

Journal ref: Ann. Fenn. Math. 49 (2024) 3-21

Assouad type dimensions of infinitely generated self-conformal sets

Authors: Amlan Banaji, Jonathan M. Fraser

Abstract: We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of conformal contractions. Our focus is on the Assouad type dimensions, which give information about the local structure of sets. Under natural separation conditions, we prove a formula for the Assouad dimension and prove sharp bounds for the Assouad spectrum in terms of the Hausdorff… ▽ More We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of conformal contractions. Our focus is on the Assouad type dimensions, which give information about the local structure of sets. Under natural separation conditions, we prove a formula for the Assouad dimension and prove sharp bounds for the Assouad spectrum in terms of the Hausdorff dimension of the limit set and dimensions of the set of fixed points of the contractions. The Assouad spectra of the family of examples which we use to show that the bounds are sharp display interesting behaviour, such as having two phase transitions. Our results apply in particular to sets of real or complex numbers which have continued fraction expansions with restricted entries, and to certain parabolic attractors. △ Less

Submitted 13 March, 2024; v1 submitted 23 July, 2022; originally announced July 2022.

Comments: 32 pages, 1 figure. Added Lemma 5.3, Proposition 5.4, and Section 7

MSC Class: 28A80 (Primary) 37B10; 11K50 (Secondary)

Journal ref: Nonlinearity 37 (2024), 045004

The Assouad dimension of self-affine measures on sponges

Authors: Jonathan M. Fraser, István Kolossváry

Abstract: We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb{R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$ yielding precise explicit formulae for the dimensions. Moreover, there are easy to check conditions guaranteeing that the bounds coincide for $d \geq 4$.… ▽ More We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb{R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$ yielding precise explicit formulae for the dimensions. Moreover, there are easy to check conditions guaranteeing that the bounds coincide for $d \geq 4$. An interesting consequence of our results is that there can be a `dimension gap' for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of `Barański type' the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $δ>0$ depending only on the carpet. We also provide examples of self-affine carpets of `Barański type' where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure. △ Less

Submitted 8 August, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: v2: accepted version, to appear in ETDS, small changes to presentation, 22 pages, 1 figure

MSC Class: 28A80 (Primary) 37D20; 37C45 (Secondary)

Journal ref: Ergodic Theory and Dynamical Systems, 43, (2023), 2974-2996

Assouad type dimensions of parabolic Julia sets

Authors: Jonathan M. Fraser, Liam Stuart

Abstract: We prove that the Assouad dimension of a parabolic Julia set is $\max\{1,h\}$ where $h$ is the Hausdorff dimension of the Julia set. Since $h$ may be strictly less than 1, this provides examples where the Assouad and Hausdorff dimension are distinct. The box and packing dimensions of the Julia set are known to coincide with $h$ and, moreover, $h$ can be characterised by a topological pressure func… ▽ More We prove that the Assouad dimension of a parabolic Julia set is $\max\{1,h\}$ where $h$ is the Hausdorff dimension of the Julia set. Since $h$ may be strictly less than 1, this provides examples where the Assouad and Hausdorff dimension are distinct. The box and packing dimensions of the Julia set are known to coincide with $h$ and, moreover, $h$ can be characterised by a topological pressure function. This distinctive behaviour of the Assouad dimension invites further analysis of the Assouad type dimensions, including the Assouad and lower spectra. We compute all of the Assouad type dimensions for parabolic Julia sets and the associated $h$-conformal measure. Further, we show that if a Julia set has a Cremer point, then the Assouad dimension is 2. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 26 pages, 1 figure. This paper used to form part of arXiv:2007.15493 which has subsequently been cut into three pieces. This version contains a new result on Julia sets with Cremer points

MSC Class: 28A80; 37F10

The Assouad spectrum of Kleinian limit sets and Patterson-Sullivan measure

Authors: Jonathan M. Fraser, Liam Stuart

Abstract: The Assouad dimension of the limit set of a geometrically finite Kleinian group with parabolics may exceed the Hausdorff and box dimensions. The Assouad \emph{spectrum} is a continuously parametrised family of dimensions which `interpolates' between the box and Assouad dimensions of a fractal set. It is designed to reveal more subtle geometric information than the box and Assouad dimensions consid… ▽ More The Assouad dimension of the limit set of a geometrically finite Kleinian group with parabolics may exceed the Hausdorff and box dimensions. The Assouad \emph{spectrum} is a continuously parametrised family of dimensions which `interpolates' between the box and Assouad dimensions of a fractal set. It is designed to reveal more subtle geometric information than the box and Assouad dimensions considered in isolation. We conduct a detailed analysis of the Assouad spectrum of limit sets of geometrically finite Kleinian groups and the associated Patterson-Sullivan measure. Our analysis reveals several novel features, such as interplay between horoballs of different rank not seen by the box or Assouad dimensions. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 31 pages, 11 figures. This paper used to form part of arXiv:2007.15493 which has subsequently been cut into three pieces

MSC Class: 28A80; 37F32

Journal ref: Geometriae Dedicata, 217, (2023), Paper No. 1, 32 pp

Refined horoball counting and conformal measure for Kleinian group actions

Authors: Jonathan M. Fraser, Liam Stuart

Abstract: Parabolic fixed points form a countable dense subset of the limit set of a non-elementary geometrically finite Kleinian group with at least one parabolic element. Given such a group, one may associate a standard set of pairwise disjoint horoballs, each tangent to the boundary at a parabolic fixed point. The diameter of such a horoball can be thought of as the `inverse cost' of approximating an arb… ▽ More Parabolic fixed points form a countable dense subset of the limit set of a non-elementary geometrically finite Kleinian group with at least one parabolic element. Given such a group, one may associate a standard set of pairwise disjoint horoballs, each tangent to the boundary at a parabolic fixed point. The diameter of such a horoball can be thought of as the `inverse cost' of approximating an arbitrary point in the limit set by the associated parabolic point. A result of Stratmann and Velani allows one to count horoballs of a given size and, roughly speaking, for small $r>0$ there are $r^{-δ}$ many horoballs of size approximately $r$, where $δ$ is the Poincaré exponent of the group. We investigate localisations of this result, where we seek to count horoballs of size approximately $r$ inside a given ball $B(z,R)$. Roughly speaking, if $r \lesssim R^2$, then we obtain an analogue of the Stratmann-Velani result (normalised by the Patterson-Sullivan measure of $B(z,R)$). However, for larger values of $r$, the count depends in a subtle way on $z$. Our counting results have several applications, especially to the geometry of conformal measures supported on the limit set. For example, we compute or estimate several `fractal dimensions' of certain $s$-conformal measures for $s>δ$ and use this to examine continuity properties of $s$-conformal measures at $s=δ$. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 21 pages, 4 figures

MSC Class: 30F40; 28A80 (Primary) 11J83 (Secondary)

Journal ref: Annales Fennici Mathematici, 48, (2023), 325-344

Parabolic carpets

Authors: Jonathan M Fraser, Natalia Jurga

Abstract: We introduce and study a family of non-conformal and non-uniformly contracting iterated function systems. We refer to the attractors of such systems as parabolic carpets. Roughly speaking they may be thought of as nonlinear analogues of self-affine carpets which are allowed to have parabolic fixed points. We compute the $L^q$-spectrum of a class of weak Gibbs measures supported on parabolic carpet… ▽ More We introduce and study a family of non-conformal and non-uniformly contracting iterated function systems. We refer to the attractors of such systems as parabolic carpets. Roughly speaking they may be thought of as nonlinear analogues of self-affine carpets which are allowed to have parabolic fixed points. We compute the $L^q$-spectrum of a class of weak Gibbs measures supported on parabolic carpets as well as the box dimensions of the carpet itself. △ Less

Submitted 4 February, 2022; originally announced February 2022.

Comments: 30 pages, 1 figure

The Poincaré exponent and the dimensions of Kleinian limit sets

Authors: Jonathan M. Fraser

Abstract: We provide a proof of the (well-known) result that the Poincaré exponent of a non-elementary Kleinian group is a lower bound for the upper box dimension of the limit set. Our proof only uses elementary hyperbolic and fractal geometry. We provide a proof of the (well-known) result that the Poincaré exponent of a non-elementary Kleinian group is a lower bound for the upper box dimension of the limit set. Our proof only uses elementary hyperbolic and fractal geometry. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: Expository, 6 pages. This article has been accepted for publication in The American Mathematical Monthly, published by Taylor & Francis

MSC Class: 28A80; 30F40

On the Fourier dimension of $(d,k)$-sets and Kakeya sets with restricted directions

Authors: Jonathan M. Fraser, Terence L. J. Harris, Nicholas G. Kroon

Abstract: A $(d,k)$-set is a subset of $\mathbb{R}^d$ containing a $k$-dimensional unit ball of all possible orientations. Using an approach of D.~Oberlin we prove various Fourier dimension estimates for compact $(d,k)$-sets. Our main interest is in restricted $(d,k)$-sets, where the set only contains unit balls with a restricted set of possible orientations $Γ$. In this setting our estimates depend on the… ▽ More A $(d,k)$-set is a subset of $\mathbb{R}^d$ containing a $k$-dimensional unit ball of all possible orientations. Using an approach of D.~Oberlin we prove various Fourier dimension estimates for compact $(d,k)$-sets. Our main interest is in restricted $(d,k)$-sets, where the set only contains unit balls with a restricted set of possible orientations $Γ$. In this setting our estimates depend on the Hausdorff dimension of $Γ$ and can sometimes be improved if additional geometric properties of $Γ$ are assumed. We are led to consider cones and prove that the cone in $\mathbb{R}^{d+1}$ has Fourier dimension $d-1$, which may be of interest in its own right. △ Less

Submitted 27 September, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 13 pages. This revised version subsumes arXiv:2108.05771, contains a new result about the Fourier dimension of cones and includes a new co-author

MSC Class: 42B10; 28A80; 28A78

Journal ref: Math. Z. 301 (2022), no. 3, 2497-2508

Dimensions of Kleinian orbital sets

Authors: Thomas Bartlett, Jonathan M. Fraser

Abstract: Given a non-empty bounded subset of hyperbolic space and a Kleinian group acting on that space, the orbital set is the orbit of the given set under the action of the group. We may view orbital sets as bounded (often fractal) subsets of Euclidean space. We prove that the upper box dimension of an orbital set is given by the maximum of three quantities: the upper box dimension of the given set; the… ▽ More Given a non-empty bounded subset of hyperbolic space and a Kleinian group acting on that space, the orbital set is the orbit of the given set under the action of the group. We may view orbital sets as bounded (often fractal) subsets of Euclidean space. We prove that the upper box dimension of an orbital set is given by the maximum of three quantities: the upper box dimension of the given set; the Poincaré exponent of the Kleinian group; and the upper box dimension of the limit set of the Kleinian group. Since we do not make any assumptions about the Kleinian group, none of the terms in the maximum can be removed in general. We show by constructing an explicit example that the (hyperbolic) boundedness assumption on $C$ cannot be removed in general. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Comments: 11 pages

MSC Class: primary: 37F32; 28A80; secondary: 30F40; 28A78; 11J72

Journal ref: Journal of Fractal Geometry, 10, (2023), 267-278

Diophantine approximation in metric space

Authors: Jonathan M. Fraser, Henna Koivusalo, Felipe A. Ramirez

Abstract: Diophantine approximation is traditionally the study of how well real numbers are approximated by rationals. We propose a model for studying Diophantine approximation in an arbitrary totally bounded metric space where the rationals are replaced with a countable hierarchy of `well-spread' points, which we refer to as abstract rationals. We prove various Jarnik-Besicovitch type dimension bounds and… ▽ More Diophantine approximation is traditionally the study of how well real numbers are approximated by rationals. We propose a model for studying Diophantine approximation in an arbitrary totally bounded metric space where the rationals are replaced with a countable hierarchy of `well-spread' points, which we refer to as abstract rationals. We prove various Jarnik-Besicovitch type dimension bounds and investigate their sharpness. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 17 pages

Journal ref: Bulletin of the London Mathematical Society, 55, (2023), 756-776

Intermediate dimensions of infinitely generated attractors

Authors: Amlan Banaji, Jonathan M. Fraser

Abstract: We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of contractions. Our primary focus is on the intermediate dimensions: a family of dimensions depending on a parameter $θ\in [0,1]$ which interpolate between the Hausdorff and box dimensions. Our main results are in the case when all the contractions are conformal. Under a natural sepa… ▽ More We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of contractions. Our primary focus is on the intermediate dimensions: a family of dimensions depending on a parameter $θ\in [0,1]$ which interpolate between the Hausdorff and box dimensions. Our main results are in the case when all the contractions are conformal. Under a natural separation condition we prove that the intermediate dimensions of the limit set are the maximum of the Hausdorff dimension of the limit set and the intermediate dimensions of the set of fixed points of the contractions. This builds on work of Mauldin and Urbański concerning the Hausdorff and upper box dimension. We give several (often counter-intuitive) applications of our work to dimensions of projections, fractional Brownian images, and general Hölder images. These applications apply to well-studied examples such as sets of numbers which have real or complex continued fraction expansions with restricted entries. We also obtain several results without assuming conformality or any separation conditions. We prove general upper bounds for the Hausdorff, box and intermediate dimensions of infinitely generated attractors in terms of a topological pressure function. We also show that the limit set of a 'generic' infinite iterated function system has box and intermediate dimensions equal to the ambient spatial dimension, where 'generic' can mean either 'full measure' or 'comeagre.' △ Less

Submitted 13 March, 2024; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: 31 pages, 1 figure. Versions 3 and 4 include minor post-publication corrections, in particular a slight change to property (4) in Definition 2.3, and to the conditions on the set P

MSC Class: 28A80 (Primary); 37B10; 11K50 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 376 (2023) 2449-2479

Box dimensions of $(\times m, \times n)$-invariant sets

Authors: Jonathan M. Fraser, Natalia Jurga

Abstract: We study the box dimensions of sets invariant under the toral endomorphism $(x, y) \mapsto (m x \text{ mod } 1, \, n y \text{ mod } 1)$ for integers $n>m \geq 2$. The basic examples of such sets are Bedford-McMullen carpets and, more generally, invariant sets are modelled by subshifts on the associated symbolic space. When this subshift is topologically mixing and sofic the situation is well-under… ▽ More We study the box dimensions of sets invariant under the toral endomorphism $(x, y) \mapsto (m x \text{ mod } 1, \, n y \text{ mod } 1)$ for integers $n>m \geq 2$. The basic examples of such sets are Bedford-McMullen carpets and, more generally, invariant sets are modelled by subshifts on the associated symbolic space. When this subshift is topologically mixing and sofic the situation is well-understood by results of Kenyon and Peres. Moreover, other work of Kenyon and Peres shows that the Hausdorff dimension is generally given by a variational principle. Therefore, our work is focused on the box dimensions in the case where the underlying shift is not topologically mixing and sofic. We establish straightforward upper and lower bounds for the box dimensions in terms of entropy which hold for all subshifts and show that the upper bound is the correct value for coded subshifts whose entropy can be realised by words which can be freely concatenated, which includes many well-known families such as $β$-shifts, (generalised) $S$-gap shifts, and transitive sofic shifts. We also provide examples of transitive coded subshifts where the general upper bound fails and the box dimension is actually given by the general lower bound. In the non-transitive sofic setting, we provide a formula for the box dimensions which is often intermediate between the general lower and upper bounds. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: 20 pages, 2 figures

Journal ref: Indiana University Mathematics Journal, 72, (2023), 2341-2367

Fractal geometry of Bedford-McMullen carpets

Authors: Jonathan M. Fraser

Abstract: In 1984 Bedford and McMullen independently introduced a family of self-affine sets now known as \emph{Bedford-McMullen carpets}. Their work stimulated a lot of research in the areas of fractal geometry and non-conformal dynamics. In this survey article we discuss some aspects of Bedford-McMullen carpets, focusing mostly on dimension theory. In 1984 Bedford and McMullen independently introduced a family of self-affine sets now known as \emph{Bedford-McMullen carpets}. Their work stimulated a lot of research in the areas of fractal geometry and non-conformal dynamics. In this survey article we discuss some aspects of Bedford-McMullen carpets, focusing mostly on dimension theory. △ Less

Submitted 24 August, 2020; originally announced August 2020.

Comments: 21 pages, 3 figures. Survey article written for the Proceedings of the Fall 2019 Jean-Morlet Chair programme, Springer Lecture Notes Series

MSC Class: primary: 28A80; secondary: 28A78

The fractal structure of elliptical polynomial spirals

Authors: Stuart A. Burrell, Kenneth J. Falconer, Jonathan M. Fraser

Abstract: We investigate fractal aspects of elliptical polynomial spirals; that is, planar spirals with differing polynomial rates of decay in the two axis directions. We give a full dimensional analysis of these spirals, computing explicitly their intermediate, box-counting and Assouad-type dimensions. An exciting feature is that these spirals exhibit two phase transitions within the Assouad spectrum, the… ▽ More We investigate fractal aspects of elliptical polynomial spirals; that is, planar spirals with differing polynomial rates of decay in the two axis directions. We give a full dimensional analysis of these spirals, computing explicitly their intermediate, box-counting and Assouad-type dimensions. An exciting feature is that these spirals exhibit two phase transitions within the Assouad spectrum, the first natural class of fractals known to have this property. We go on to use this dimensional information to obtain bounds for the Hölder regularity of maps that can deform one spiral into another, generalising the 'winding problem' of when spirals are bi-Lipschitz equivalent to a line segment. A novel feature is the use of fractional Brownian motion and dimension profiles to bound the Hölder exponents. △ Less

Submitted 1 July, 2022; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 20 pages, 7 figures

MSC Class: primary: 28A80

Journal ref: Monatshefte für Mathematik, 199, (2022), 1-22

A new perspective on the Sullivan dictionary via Assouad type dimensions and spectra

Authors: Jonathan M. Fraser, Liam Stuart

Abstract: The Sullivan dictionary provides a beautiful correspondence between Kleinian groups acting on hyperbolic space and rational maps of the extended complex plane. An especially direct correspondence exists concerning the dimension theory of the associated limit sets and Julia sets. In recent work we established formulae for the Assouad type dimensions and spectra for these fractal sets and certain co… ▽ More The Sullivan dictionary provides a beautiful correspondence between Kleinian groups acting on hyperbolic space and rational maps of the extended complex plane. An especially direct correspondence exists concerning the dimension theory of the associated limit sets and Julia sets. In recent work we established formulae for the Assouad type dimensions and spectra for these fractal sets and certain conformal measures they support. This allows a rather more nuanced comparison of the two families in the context of dimension. In this expository article we discuss how these results provide new entries in the Sullivan dictionary, as well as revealing striking differences between the two settings. △ Less

Submitted 11 March, 2022; v1 submitted 30 July, 2020; originally announced July 2020.

Comments: 14 pages. 4 figures. The first version of this paper has now been cut into three pieces. The results on Kleinian groups now appear as arXiv:2203.04931 and the results on Julia sets now appear as arXiv:2203.04943. What remains here is an expository article

MSC Class: 28A80; 37C45; 37F10; 30F40; 37F50

Journal ref: Bulletin of the American Mathematical Society, 61, (2024), 103-118

Dimensions of the popcorn graph

Authors: Haipeng Chen, Jonathan M. Fraser, Han Yu

Abstract: The 'popcorn function' isThe `popcorn function' is a well-known and important example in real analysis with many interesting features. We prove that the box dimension of the graph of the popcorn function is 4/3, as well as computing the Assouad dimension and Assouad spectrum. The main ingredients include Duffin-Schaeffer type estimates from Diophantine approximation and the Chung-Erdős inequality… ▽ More The 'popcorn function' isThe `popcorn function' is a well-known and important example in real analysis with many interesting features. We prove that the box dimension of the graph of the popcorn function is 4/3, as well as computing the Assouad dimension and Assouad spectrum. The main ingredients include Duffin-Schaeffer type estimates from Diophantine approximation and the Chung-Erdős inequality from probability theory. △ Less

Submitted 1 July, 2021; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: 13 pages, 2 figures

MSC Class: 28A80; 11B57

Journal ref: Proceedings of the American Mathematical Society, 150, (2022), 4729-4742

On Hölder maps and prime gaps

Authors: Haipeng Chen, Jonathan M. Fraser

Abstract: Let $p_n$ denote the $n$th prime, and consider the function $1/n \mapsto 1/p_n$ which maps the reciprocals of the positive integers bijectively to the reciprocals of the primes. We show that Hölder continuity of this function is equivalent to a parameterised family of Cramér type estimates on the gaps between successive primes. Here the parameterisation comes from the Hölder exponent. In particula… ▽ More Let $p_n$ denote the $n$th prime, and consider the function $1/n \mapsto 1/p_n$ which maps the reciprocals of the positive integers bijectively to the reciprocals of the primes. We show that Hölder continuity of this function is equivalent to a parameterised family of Cramér type estimates on the gaps between successive primes. Here the parameterisation comes from the Hölder exponent. In particular, we show that Cramér's conjecture is equivalent to the map $1/n \mapsto 1/p_n$ being Lipschitz. On the other hand, we show that the inverse map $1/p_n \mapsto 1/n$ is Hölder of all orders but not Lipshitz and this is independent of Cramér's conjecture. △ Less

Submitted 21 April, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 7 pages, 0 figures

MSC Class: 11N05; 26A16

$L^q$-spectra of measures on planar non-conformal attractors

Authors: Kenneth J. Falconer, Jonathan M. Fraser, Lawrence D. Lee

Abstract: We study the $L^q$-spectrum of measures in the plane generated by certain nonlinear maps. In particular we consider attractors of iterated function systems consisting of maps whose components are $C^{1+α}$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^q$-spectrum of Bernoulli measures supported o… ▽ More We study the $L^q$-spectrum of measures in the plane generated by certain nonlinear maps. In particular we consider attractors of iterated function systems consisting of maps whose components are $C^{1+α}$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^q$-spectrum of Bernoulli measures supported on such sets by using an appropriately defined analogue of the singular value function and an appropriate pressure function. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 19 Pages, 3 figures

MSC Class: primary: 28A80; 37C45; secondary: 15A18

Assouad dimension and fractal geometry

Authors: Jonathan M. Fraser

Abstract: This is a book to be published in 2020 by Cambridge University Press (Tracts in Mathematics Series). It focuses on the Assouad dimension of sets and measures in Euclidean space, as well as many variants on the Assouad dimension, including the lower dimension and Assouad spectrum. It considers these notions in the setting of fractal geometry and topics covered include: weak tangents, self-similar s… ▽ More This is a book to be published in 2020 by Cambridge University Press (Tracts in Mathematics Series). It focuses on the Assouad dimension of sets and measures in Euclidean space, as well as many variants on the Assouad dimension, including the lower dimension and Assouad spectrum. It considers these notions in the setting of fractal geometry and topics covered include: weak tangents, self-similar sets, self-affine sets, Mandelbrot percolation, limit sets of Kleinian groups, orthogonal projections, distance sets, and Kakeya sets. It also considers applications of these ideas to other areas, including: embedding theory, number theory, probability theory and functional analysis. It ends with a list of open problems. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: Comments welcome. 292 pages, many figures. This material will be published by Cambridge University Press as Assouad Dimension and Fractal Geometry by Jonathan Fraser. This pre-publication version is free to view and download for personal use only. Not for re-distribution, re-sale or use in derivative works. Copyright Jonathan Fraser 2020

MSC Class: 28A80; 37C45

A nonlinear projection theorem for Assouad dimension and applications

Authors: Jonathan M. Fraser

Abstract: We prove a general nonlinear projection theorem for Assouad dimension. This theorem has several applications including to distance sets, radial projections, and sum-product phenomena. In the setting of distance sets we are able to completely resolve the planar distance set problem for Assouad dimension, both dealing with the awkward `critical case' and providing sharp estimates for sets with Assou… ▽ More We prove a general nonlinear projection theorem for Assouad dimension. This theorem has several applications including to distance sets, radial projections, and sum-product phenomena. In the setting of distance sets we are able to completely resolve the planar distance set problem for Assouad dimension, both dealing with the awkward `critical case' and providing sharp estimates for sets with Assouad dimension less than 1. In the higher dimensional setting we connect the problem to the dimension of the set of exceptions in a related (orthogonal) projection theorem. We also obtain results on pinned distance sets and our results still hold when the distances are taken with respect to a sufficiently curved norm. As another application we prove a radial projection theorem for Assouad dimension with sharp estimates on the Hausdorff dimension of the exceptional set. △ Less

Submitted 24 April, 2020; originally announced April 2020.

Comments: 21 pages

MSC Class: 28A80; 28A78

Journal ref: Journal of the London Mathematical Society, 107, (2023), 777-797

Minkowski dimension for measures

Authors: Kenneth J. Falconer, Jonathan M. Fraser, Antti Käenmäki

Abstract: The purpose of this article is to introduce and motivate the notion of Minkowski (or box) dimension for measures. The definition is simple and fills a gap in the existing literature on the dimension theory of measures. As the terminology suggests, we show that it can be used to characterise the Minkowski dimension of a compact metric space. We also study its relationship with other concepts in dim… ▽ More The purpose of this article is to introduce and motivate the notion of Minkowski (or box) dimension for measures. The definition is simple and fills a gap in the existing literature on the dimension theory of measures. As the terminology suggests, we show that it can be used to characterise the Minkowski dimension of a compact metric space. We also study its relationship with other concepts in dimension theory. △ Less

Submitted 8 June, 2022; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: 16 pages, 1 figure

MSC Class: Primary 28A75; 28A80; 54E35; Secondary 28A78; 54F45

Journal ref: Proceedings of the American Mathematical Society, 151, (2023), 779-794

Regularity versus smoothness of measures

Authors: Jonathan M. Fraser, Sascha Troscheit

Abstract: The Assouad and lower dimensions and dimension spectra quantify the regularity of a measure by considering the relative measure of concentric balls. On the other hand, one can quantify the smoothness of an absolutely continuous measure by considering the $L^p$ norms of its density. We establish sharp relationships between these two notions. Roughly speaking, we show that smooth measures must be re… ▽ More The Assouad and lower dimensions and dimension spectra quantify the regularity of a measure by considering the relative measure of concentric balls. On the other hand, one can quantify the smoothness of an absolutely continuous measure by considering the $L^p$ norms of its density. We establish sharp relationships between these two notions. Roughly speaking, we show that smooth measures must be regular, but that regular measures need not be smooth. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 17 pages, 4 figures

Journal ref: Pacific J. Math. 311 (2021) 257-275

Assouad dimension influences the box and packing dimensions of orthogonal projections

Authors: Kenneth J. Falconer, Jonathan M. Fraser, Pablo Shmerkin

Abstract: We present several applications of the Assouad dimension, and the related quasi-Assouad dimension and Assouad spectrum, to the box and packing dimensions of orthogonal projections of sets. For example, we show that if the (quasi-)Assouad dimension of $F \subseteq \rn$ is no greater than $m$, then the box and packing dimensions of $F$ are preserved under orthogonal projections onto almost all $m$-d… ▽ More We present several applications of the Assouad dimension, and the related quasi-Assouad dimension and Assouad spectrum, to the box and packing dimensions of orthogonal projections of sets. For example, we show that if the (quasi-)Assouad dimension of $F \subseteq \rn$ is no greater than $m$, then the box and packing dimensions of $F$ are preserved under orthogonal projections onto almost all $m$-dimensional subspaces. We also show that the threshold $m$ for the (quasi-)Assouad dimension is sharp, and bound the dimension of the exceptional set of projections strictly away from the dimension of the Grassmannian. △ Less

Submitted 1 July, 2021; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 10 pages, 1 figure. To appear in Journal of Fractal Geometry

MSC Class: 28A80

Improved bounds on the dimensions of sets that avoid approximate arithmetic progressions

Authors: Jonathan M. Fraser, Pablo Shmerkin, Alexia Yavicoli

Abstract: We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box… ▽ More We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension. △ Less

Submitted 7 August, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 14 pages. v3: minor corrections and clarifications

MSC Class: 11B25; 28A80

Journal ref: J. Fourier Anal. App., 27, (2021)

Projection theorems for intermediate dimensions

Authors: Stuart A. Burrell, Kenneth J. Falconer, Jonathan M. Fraser

Abstract: Intermediate dimensions were recently introduced to interpolate between the Hausdorff and box-counting dimensions of fractals. Firstly, we show that these intermediate dimensions may be defined in terms of capacities with respect to certain kernels. Then, relying on this, we show that the intermediate dimensions of the projection of a set $E \subset \mathbb{R}^n$ onto almost all $m$-dimensional su… ▽ More Intermediate dimensions were recently introduced to interpolate between the Hausdorff and box-counting dimensions of fractals. Firstly, we show that these intermediate dimensions may be defined in terms of capacities with respect to certain kernels. Then, relying on this, we show that the intermediate dimensions of the projection of a set $E \subset \mathbb{R}^n$ onto almost all $m$-dimensional subspaces depend only on $m$ and $E$, that is, they are almost surely independent of the choice of subspace. Our approach is based on `intermediate dimension profiles' that are expressed in terms of capacities. We discuss several applications at the end of the paper, including a surprising result that relates the box dimensions of the projections of a set to the Hausdorff dimension of the set. △ Less

Submitted 20 May, 2021; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: 17 pages, 0 figures

MSC Class: 28A80

Journal ref: Journal of Fractal Geometry, Vol. 8, No. 2 (2021), pp. 95-116

The box dimensions of exceptional self-affine sets in $\mathbb{R}^3$

Authors: Jonathan M. Fraser, Natalia Jurga

Abstract: We study the box dimensions of self-affine sets in $\mathbb{R}^3$ which are generated by a finite collection of generalised permutation matrices. We obtain bounds for the dimensions which hold with very minimal assumptions and give rise to sharp results in many cases. There are many issues in extending the well-established planar theory to $\mathbb{R}^3$ including that the principal planar project… ▽ More We study the box dimensions of self-affine sets in $\mathbb{R}^3$ which are generated by a finite collection of generalised permutation matrices. We obtain bounds for the dimensions which hold with very minimal assumptions and give rise to sharp results in many cases. There are many issues in extending the well-established planar theory to $\mathbb{R}^3$ including that the principal planar projections are (affine distortions of) self-affine sets with overlaps (rather than self-similar sets) and that the natural modified singular value function fails to be sub-multiplicative in general. We introduce several new techniques to deal with these issues and hopefully provide some insight into the challenges in extending the theory further. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 29 pages, 1 figure

Journal ref: Adv. Math. 385 (2021), 107734, 32 pp

Schmidt's game on Hausdorff metric and function spaces: generic dimension of sets and images

Authors: Ábel Farkas, Jonathan M. Fraser, Erez Nesharim, David Simmons

Abstract: We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic behaviour of objects in a metric space, mostly in the context of fractal dimensions, and the notion of `generic' we adopt is that of being winning for Schmidt's game… ▽ More We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic behaviour of objects in a metric space, mostly in the context of fractal dimensions, and the notion of `generic' we adopt is that of being winning for Schmidt's game. We find properties whose corresponding sets are winning for Schmidt's game that are starkly different from previously established, and well-known, properties which are generic in other contexts, such as being residual or of full measure. △ Less

Submitted 2 February, 2021; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: 21 pages

MSC Class: primary: 28A80; 91A44; secondary: 28A78; 91A05

Journal ref: Mathematika, 67, (2021), 196-213

Interpolating between dimensions

Authors: Jonathan M. Fraser

Abstract: Dimension theory lies at the heart of fractal geometry and concerns the rigorous quantification of how large a subset of a metric space is. There are many notions of dimension to consider, and part of the richness of the subject is in understanding how these different notions fit together, as well as how their subtle differences give rise to different behaviour. Here we survey a new approach in di… ▽ More Dimension theory lies at the heart of fractal geometry and concerns the rigorous quantification of how large a subset of a metric space is. There are many notions of dimension to consider, and part of the richness of the subject is in understanding how these different notions fit together, as well as how their subtle differences give rise to different behaviour. Here we survey a new approach in dimension theory, which seeks to unify the study of individual dimensions by viewing them as different facets of the same object. For example, given two notions of dimension, one may be able to define a continuously parameterised family of dimensions which interpolates between them. An understanding of this `interpolation function' therefore contains more information about a given object than the two dimensions considered in isolation. We pay particular attention to two concrete examples of this, namely the \emph{Assouad spectrum}, which interpolates between the box and (quasi-)Assouad dimension, and the \emph{intermediate dimensions}, which interpolate between the Hausdorff and box dimensions. △ Less

Submitted 19 September, 2019; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: to appear in Proceedings of Fractal Geometry and Stochastics VI - 18 pages, 6 figures

MSC Class: primary: 28A80; secondary: 37C45

On Hölder solutions to the spiral winding problem

Authors: Jonathan M. Fraser

Abstract: The winding problem concerns understanding the regularity of functions which map a line segment onto a spiral. This problem has relevance in fluid dynamics and conformal welding theory, where spirals arise naturally. Here we interpret `regularity' in terms of Hölder exponents and establish sharp results for spirals with polynomial winding rates, observing that the sharp Hölder exponent of the forw… ▽ More The winding problem concerns understanding the regularity of functions which map a line segment onto a spiral. This problem has relevance in fluid dynamics and conformal welding theory, where spirals arise naturally. Here we interpret `regularity' in terms of Hölder exponents and establish sharp results for spirals with polynomial winding rates, observing that the sharp Hölder exponent of the forward map and its inverse satisfy a formula reminiscent of Sobolev conjugates. We also investigate the dimension theory of these spirals, in particular, the Assouad dimension, Assouad spectrum and box dimensions. The aim here is to compare the bounds on the Hölder exponents in the winding problem coming directly from knowledge of dimension (and how dimension distorts under Hölder image) with the sharp results. We find that the Assouad spectrum provides the best information, but that even this is not sharp. We also find that the Assouad spectrum is the only `dimension' which distinguishes between spirals with different polynomial winding rates in the superlinear regime. △ Less

Submitted 18 May, 2019; originally announced May 2019.

Comments: 21 pages, 4 figures

MSC Class: primary: 28A80; 26A16; secondary: 37C45; 37C10; 28A78; 34C05

Journal ref: Nonlinearity 34 (2021), no. 5, 3251-3270

Approximate arithmetic structure in large sets of integers

Authors: Jonathan M. Fraser, Han Yu

Abstract: We prove that if a set is `large' in the sense of Erdős, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap length $Δ$ of the progression, we improve a previous result of $o(Δ)$ to $O(Δ^α)$ for any $α\in (0,1)$. We prove that if a set is `large' in the sense of Erdős, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap length $Δ$ of the progression, we improve a previous result of $o(Δ)$ to $O(Δ^α)$ for any $α\in (0,1)$. △ Less

Submitted 13 May, 2019; originally announced May 2019.

Comments: 1 figure

MSC Class: 11B25; 11B05

Intermediate dimensions

Authors: Kenneth J. Falconer, Jonathan M. Fraser, Tom Kempton

Abstract: We introduce a continuum of dimensions which are `intermediate' between the familiar Hausdorff and box dimensions. This is done by restricting the families of allowable covers in the definition of Hausdorff dimension by insisting that $|U| \leq |V|^θ$ for all sets $U, V$ used in a particular cover, where $θ\in [0,1]$ is a parameter. Thus, when $θ=1$ only covers using sets of the same size are allo… ▽ More We introduce a continuum of dimensions which are `intermediate' between the familiar Hausdorff and box dimensions. This is done by restricting the families of allowable covers in the definition of Hausdorff dimension by insisting that $|U| \leq |V|^θ$ for all sets $U, V$ used in a particular cover, where $θ\in [0,1]$ is a parameter. Thus, when $θ=1$ only covers using sets of the same size are allowable, and we recover the box dimensions, and when $θ=0$ there are no restrictions, and we recover Hausdorff dimension. We investigate many properties of the intermediate dimension (as a function of $θ$), including proving that it is continuous on $(0,1]$ but not necessarily continuous at $0$, as well as establishing appropriate analogues of the mass distribution principle, Frostman's lemma, and the dimension formulae for products. We also compute, or estimate, the intermediate dimensions of some familiar sets, including sequences formed by negative powers of integers, and Bedford-McMullen carpets. △ Less

Submitted 6 November, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 19 pages, 1 figure. To appear in Mathematische Zeitschrift

MSC Class: primary: 28A80; secondary: 37C45

Journal ref: Math. Z., 296, (2020), 813-830

$L^q$-spectra of self-affine measures: closed forms, counterexamples, and split binomial sums

Authors: Jonathan M. Fraser, Lawrence D. Lee, Ian D. Morris, Han Yu

Abstract: We study $L^q$-spectra of planar self-affine measures generated by diagonal systems with an emphasis on providing closed form expressions. We answer a question posed by Fraser in 2016 in the negative by proving that a certain natural closed form expression does not generally give the $L^q$-spectrum and, using a similar approach, find counterexamples to a statement of Falconer-Miao from 2007 and a… ▽ More We study $L^q$-spectra of planar self-affine measures generated by diagonal systems with an emphasis on providing closed form expressions. We answer a question posed by Fraser in 2016 in the negative by proving that a certain natural closed form expression does not generally give the $L^q$-spectrum and, using a similar approach, find counterexamples to a statement of Falconer-Miao from 2007 and a conjecture of Miao from 2008 concerning a closed form expression for the generalised dimensions of generic self-affine measures. In the positive direction we provide new non-trivial closed form bounds in both of the above settings, which in certain cases yield sharp results. We also provide examples of self-affine measures whose $L^q$-spectra exhibit new types of phase transitions. Our examples depend on a combinatorial estimate for the exponential growth of certain split binomial sums. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Comments: 27 Pages, 4 Figures

MSC Class: 28A80; 37C45 (primary); 15A18; 26A24 (secondary)

Attainable values for the Assouad dimension of projections

Authors: Jonathan M. Fraser, Antti Käenmäki

Abstract: We prove that for an arbitrary upper semi-continuous function $φ\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} πF = φ(π)$ for all $π\in G(1,2)$, where $πF$ is the orthogonal projection of $F$ onto the line $π$. In particular, this shows that the Assouad dimension of orthogonal projections can take on any finite or countable number of distinct valu… ▽ More We prove that for an arbitrary upper semi-continuous function $φ\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} πF = φ(π)$ for all $π\in G(1,2)$, where $πF$ is the orthogonal projection of $F$ onto the line $π$. In particular, this shows that the Assouad dimension of orthogonal projections can take on any finite or countable number of distinct values on a set of projections with positive measure. It was previously known that two distinct values could be achieved with positive measure. Recall that for other standard notions of dimension, such as the Hausdorff, packing, upper or lower box dimension, a single value occurs almost surely. △ Less

Submitted 6 January, 2020; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: 14 pages, to appear in Proc. AMS

MSC Class: 28A80

Journal ref: Proc. Amer. Math. Soc., 148, (2020), 3393-3405

Almost arithmetic progressions in the primes and other large sets

Authors: Jonathan M. Fraser

Abstract: A celebrated and deep result of Green and Tao states that the primes contain arbitrarily long arithmetic progressions. In this note I provide a straightforward argument demonstrating that the primes get arbitrarily close to arbitrarily long arithmetic progressions. The argument also applies to `large sets' in the sense of Erdős-Turán. The proof is short, completely self-contained, and aims to give… ▽ More A celebrated and deep result of Green and Tao states that the primes contain arbitrarily long arithmetic progressions. In this note I provide a straightforward argument demonstrating that the primes get arbitrarily close to arbitrarily long arithmetic progressions. The argument also applies to `large sets' in the sense of Erdős-Turán. The proof is short, completely self-contained, and aims to give a heuristic explanation of why the primes, and other large sets, possess arithmetic structure. △ Less

Submitted 18 July, 2019; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: Expository article, 6 pages, 1 figure. To appear in The American Mathematical Monthly

MSC Class: 11B25; 11N13; 11B05

Journal ref: Amer. Math. Monthly, 126, (2019), 553-558

On the Hausdorff dimension of microsets

Authors: Jonathan M. Fraser, Douglas C. Howroyd, Antti Käenmäki, Han Yu

Abstract: We investigate how the Hausdorff dimensions of microsets are related to the dimensions of the original set. It is known that the maximal dimension of a microset is the Assouad dimension of the set. We prove that the lower dimension can analogously be obtained as the minimal dimension of a microset. In particular, the maximum and minimum exist. We also show that for an arbitrary $\mathcal{F}_σ$ set… ▽ More We investigate how the Hausdorff dimensions of microsets are related to the dimensions of the original set. It is known that the maximal dimension of a microset is the Assouad dimension of the set. We prove that the lower dimension can analogously be obtained as the minimal dimension of a microset. In particular, the maximum and minimum exist. We also show that for an arbitrary $\mathcal{F}_σ$ set $Δ\subseteq [0,d]$ containing its infimum and supremum there is a compact set in $[0,1]^d$ for which the set of Hausdorff dimensions attained by its microsets is exactly equal to the set $Δ$. Our work is motivated by the general programme of determining what geometric information about a set can be determined at the level of tangents. △ Less

Submitted 7 January, 2021; v1 submitted 2 August, 2018; originally announced August 2018.

Comments: 15 pages, 1 figure. small fixes

MSC Class: 28A80 (Primary); 28A78 (Secondary)

Journal ref: Proc. Amer. Math. Soc., 147 (2019), no. 11, 4921-4936

The dimensions of inhomogeneous self-affine sets

Authors: Stuart A. Burrell, Jonathan M. Fraser

Abstract: We prove that the upper box dimension of an inhomogeneous self-affine set is bounded above by the maximum of the affinity dimension and the dimension of the condensation set. In addition, we determine sufficient conditions for this upper bound to be attained, which, in part, constitutes an exploration of the capacity for the condensation set to mitigate dimension drop between the affinity dimensio… ▽ More We prove that the upper box dimension of an inhomogeneous self-affine set is bounded above by the maximum of the affinity dimension and the dimension of the condensation set. In addition, we determine sufficient conditions for this upper bound to be attained, which, in part, constitutes an exploration of the capacity for the condensation set to mitigate dimension drop between the affinity dimension and the corresponding homogeneous attractor. Our work improves and unifies previous results on general inhomogeneous attractors, low-dimensional affine systems, and inhomogeneous self-affine carpets, while providing inhomogeneous analogues of Falconer's seminal results on homogeneous self-affine sets. △ Less

Submitted 28 April, 2021; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: 12 pages, 2 figures

MSC Class: 28A80

Journal ref: Ann. Acad. Sci. Fenn. Math., Vol. 45 (2020), pp. 313-324

Microsecond Valley Lifetime of Defect-Bound Excitons in Monolayer WSe$_2$

Authors: Galan Moody, Kha Tran, Xiaobo Lu, Travis Autry, James M. Fraser, Richard P. Mirin, Li Yang, Xiaoqin Li, Kevin L. Silverman

Abstract: In atomically thin two-dimensional semiconductors such as transition metal dichalcogenides (TMDs), controlling the density and type of defects promises to be an effective approach for engineering light-matter interactions. We demonstrate that electron-beam irradiation is a simple tool for selectively introducing defect-bound exciton states associated with chalcogen vacancies in TMDs. Our first-pri… ▽ More In atomically thin two-dimensional semiconductors such as transition metal dichalcogenides (TMDs), controlling the density and type of defects promises to be an effective approach for engineering light-matter interactions. We demonstrate that electron-beam irradiation is a simple tool for selectively introducing defect-bound exciton states associated with chalcogen vacancies in TMDs. Our first-principles calculations and time-resolved spectroscopy measurements of monolayer WSe2 reveal that these defect-bound excitons exhibit exceptional optical properties including a recombination lifetime approaching 200 ns and a valley lifetime longer than 1 $μ$s. The ability to engineer the crystal lattice through electron irradiation provides a new approach for tailoring the optical response of TMDs for photonics, quantum optics, and valleytronics applications. △ Less

Submitted 10 July, 2018; originally announced July 2018.

The Assouad spectrum of random self-affine carpets

Authors: Jonathan M. Fraser, Sascha Troscheit

Abstract: We derive the almost sure Assouad spectrum and quasi-Assouad dimension of random self-affine Bedford-McMullen carpets. Previous work has revealed that the (related) Assouad dimension is not sufficiently sensitive to distinguish between subtle changes in the random model, since it tends to be almost surely `as large as possible' (a deterministic quantity). This has been verified in conformal and no… ▽ More We derive the almost sure Assouad spectrum and quasi-Assouad dimension of random self-affine Bedford-McMullen carpets. Previous work has revealed that the (related) Assouad dimension is not sufficiently sensitive to distinguish between subtle changes in the random model, since it tends to be almost surely `as large as possible' (a deterministic quantity). This has been verified in conformal and non-conformal settings. In the conformal setting, the Assouad spectrum and quasi-Assouad dimension behave rather differently, tending to almost surely coincide with the upper box dimension. Here we investigate the non-conformal setting and find that the Assouad spectrum and quasi-Assouad dimension generally do not coincide with the box dimension or Assouad dimension. We provide examples highlighting the subtle differences between these notions. Our proofs combine deterministic covering techniques with suitably adapted Chernoff estimates and Borel-Cantelli type arguments. △ Less

Submitted 11 May, 2018; originally announced May 2018.

Comments: 15 pages, 2 figures

MSC Class: 28A80; 37C45

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 2927-2945

The Assouad spectrum and the quasi-Assouad dimension: a tale of two spectra

Authors: Jonathan M. Fraser, Kathryn E. Hare, Kevin G. Hare, Sascha Troscheit, Han Yu

Abstract: We consider the Assouad spectrum, introduced by Fraser and Yu, along with a natural variant that we call the `upper Assouad spectrum'. These spectra are designed to interpolate between the upper box-counting and Assouad dimensions. It is known that the Assouad spectrum approaches the upper box-counting dimension at the left hand side of its domain, but does not necessarily approach the Assouad dim… ▽ More We consider the Assouad spectrum, introduced by Fraser and Yu, along with a natural variant that we call the `upper Assouad spectrum'. These spectra are designed to interpolate between the upper box-counting and Assouad dimensions. It is known that the Assouad spectrum approaches the upper box-counting dimension at the left hand side of its domain, but does not necessarily approach the Assouad dimension on the right. Here we show that it necessarily approaches the \emph{quasi-Assouad dimension} at the right hand side of its domain. We further show that the upper Assouad spectrum can be expressed in terms of the Assouad spectrum, thus motivating the definition used by Fraser-Yu. We also provide a large family of examples demonstrating new phenomena relating to the form of the Assouad spectrum. For example, we prove that it can be strictly concave, exhibit phase transitions of any order, and need not be piecewise differentiable. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 8 pages

MSC Class: 28A80

Journal ref: Ann. Acad. Sci. Fenn. Math., 44, (2019), 379-387

Dimension growth for iterated sumsets

Authors: Jonathan M. Fraser, Douglas C. Howroyd, Han Yu

Abstract: We study dimensions of sumsets and iterated sumsets and provide natural conditions which guarantee that a set $F \subseteq \mathbb{R}$ satisfies $\overline{\dim}_\text{B} F+F > \overline{\dim}_\text{B} F$ or even $\dim_\text{H} n F \to 1$. Our results apply to, for example, all uniformly perfect sets, which include Ahlfors-David regular sets. Our proofs rely on Hochman's inverse theorem for entrop… ▽ More We study dimensions of sumsets and iterated sumsets and provide natural conditions which guarantee that a set $F \subseteq \mathbb{R}$ satisfies $\overline{\dim}_\text{B} F+F > \overline{\dim}_\text{B} F$ or even $\dim_\text{H} n F \to 1$. Our results apply to, for example, all uniformly perfect sets, which include Ahlfors-David regular sets. Our proofs rely on Hochman's inverse theorem for entropy and the Assouad and lower dimensions play a critical role. We give several applications of our results including an Erdős-Volkmann type theorem for semigroups and new lower bounds for the box dimensions of distance sets for sets with small dimension. △ Less

Submitted 25 November, 2018; v1 submitted 9 February, 2018; originally announced February 2018.

Comments: 23 pages, 2 figures. Minor changes. To appear in Math. Z

MSC Class: 28A80 (Primary); 11B13 (Secondary)

Journal ref: Math. Z., 293, (2019), 1015-1042