-
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.
-
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.
-
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.
-
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.
-
The magnetic structure of Ce$_3$TiBi$_5$ and its relation to current-induced magnetization
Authors:
Nicolas Gauthier,
Romain Sibille,
Vladimir Pomjakushin,
Øystein S. Fjellvåg,
James Fraser,
Mathieu Desmarais,
Andrea D. Bianchi,
Jeffrey A. Quilliam
Abstract:
The control of magnetization using electric fields has been extensively studied in magnetoelectric multiferroic insulator materials. Changes in magnetization in bulk metals caused by electric currents have attracted less attention. The recently discovered metallic magnet Ce$_3$TiBi$_5$ has been reported to exhibit current-induced magnetization. Here we determined the magnetic structure of Ce$_3$Ti…
▽ More
The control of magnetization using electric fields has been extensively studied in magnetoelectric multiferroic insulator materials. Changes in magnetization in bulk metals caused by electric currents have attracted less attention. The recently discovered metallic magnet Ce$_3$TiBi$_5$ has been reported to exhibit current-induced magnetization. Here we determined the magnetic structure of Ce$_3$TiBi$_5$ using neutron diffraction, aiming to understand the microscopic origin of this magnetoelectric phenomenon in a metal. We established that the antiferromagnetic order emerging below $T_N=5$ K is a cycloid order described by $P6_3/mcm.1'(0,0,g)00sss$ with small moment sizes of $0.50(2)~μ_B$ and propagation vector ${\bf k}=(0,0,0.386)$. Surprisingly, the symmetry of this magnetic structure is inconsistent with the presence of current-induced magnetization and potential origins of this inconsistency with previous results are discussed. Additionally, our results suggest that moments order along their hard magnetic direction in Ce$_3$TiBi$_5$, a phenomenon which has been observed in other Kondo systems.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
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 13 January, 2024;
originally announced January 2024.
-
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.
-
Linking ice and gas in the Coronet cluster in Corona Australis
Authors:
G. Perotti,
J. K. Jørgensen,
W. R. M. Rocha,
A. Plunkett,
E. Artur de la Villarmois,
L. E. Kristensen,
M. Sewiło,
P. Bjerkeli,
H. J. Fraser,
S. B. Charnley
Abstract:
During the journey from the cloud to the disc, the chemical composition of the protostellar envelope material can be either preserved or processed to varying degrees depending on the surrounding physical environment. This works aims to constrain the interplay of solid (ice) and gaseous methanol (CH$_3$OH) in the outer regions of protostellar envelopes located in the Coronet cluster in Corona Austr…
▽ More
During the journey from the cloud to the disc, the chemical composition of the protostellar envelope material can be either preserved or processed to varying degrees depending on the surrounding physical environment. This works aims to constrain the interplay of solid (ice) and gaseous methanol (CH$_3$OH) in the outer regions of protostellar envelopes located in the Coronet cluster in Corona Australis (CrA), and assess the importance of irradiation by the Herbig Ae/Be star R CrA. CH$_3$OH is a prime test-case as it predominantly forms as a consequence of the solid-gas interplay (hydrogenation of condensed CO molecules onto the grain surfaces) and it plays an important role in future complex molecular processing. We present 1.3 mm Submillimeter Array (SMA) and Atacama Pathfinder Experiment (APEX) observations towards the envelopes of four low-mass protostars in the Coronet. Eighteen molecular transitions of seven species are identified. We calculate CH$_3$OH gas-to-ice ratios in this strongly irradiated cluster and compare them with ratios determined towards protostars located in less irradiated regions such as the Serpens SVS 4 cluster in Serpens Main and the Barnard 35A cloud in the $λ$ Orionis region. The CH$_3$OH gas-to-ice ratios in the Coronet vary by one order of magnitude (from 1.2$\times$10$^{-4}$ to 3.1$\times$10$^{-3}$) which is similar to less irradiated regions as found in previous studies. We find that the CH$_3$OH gas-to-ice ratios estimated in these three regions are remarkably similar despite the different UV radiation field intensities and formation histories. This result suggests that the overall CH$_3$OH chemistry in the outer regions of low-mass envelopes is relatively independent of variations in the physical conditions and hence that it is set during the prestellar stage.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
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.
-
Assouad-type Dimensions of Overlap** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Metallicity-Suppressed Collapsars Cannot be the Dominant r-Process Source in the Milky Way
Authors:
Jack Fraser,
Ralph Schönrich
Abstract:
We develop a high-performance analytical model of Galactic Chemical Evolution, which accounts for delay time distributions and lock-up of stellar yields in a thermal-phased ISM. The model is capable of searching, for the first time, through the high-dimensional parameter space associated with the r-process enrichment of the Milky Way by its possible sources: Neutron Star Mergers and Collapsar even…
▽ More
We develop a high-performance analytical model of Galactic Chemical Evolution, which accounts for delay time distributions and lock-up of stellar yields in a thermal-phased ISM. The model is capable of searching, for the first time, through the high-dimensional parameter space associated with the r-process enrichment of the Milky Way by its possible sources: Neutron Star Mergers and Collapsar events. Their differing formation mechanisms give these two processes different time dependencies, a property which has frequently been used to argue in favour of collapsars as the dominant r-process source. However, we show that even with large degrees of freedom in the allowed thermal, structural, and chemical properties of the galaxy, large regions of parameter space are in strong tension with the data. In particular, whilst we are able to find models in which neutron star mergers produce the majority of r-process material, the data rule out all models with dominant collapsar yields. With no other identified source, we conclude that Neutron Star Mergers must be the dominant contributors to the modern Milky Way r-process budget.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Characterization of a Spatially Resolved Multi-Element Laser Ablation Ion Source
Authors:
K. Murray,
C. Chambers,
D. Chen,
Z. Feng,
J. Fraser,
Y. Ito,
Y. Lan,
S. Mendez,
M. Medina Peregrina,
H. Rasiwala,
L. Richez,
N. Roy,
R. Simpson,
J. Dilling,
W. Fairbank Jr.,
A. A. Kwiatkowski,
T. Brunner
Abstract:
A laser ablation ion source (LAS) is a powerful tool by which diverse species of ions can be produced for mass spectrometer calibration, or surface study applications. It is necessary to frequently shift the laser position on the target to selectively ablate materials in a controlled manner, and to mitigate degradation of the target surface caused by ablation. An alternative to mounting the target…
▽ More
A laser ablation ion source (LAS) is a powerful tool by which diverse species of ions can be produced for mass spectrometer calibration, or surface study applications. It is necessary to frequently shift the laser position on the target to selectively ablate materials in a controlled manner, and to mitigate degradation of the target surface caused by ablation. An alternative to mounting the target onto a rotation wheel or $x-y$ translation stage, is to shift the laser position with a final reflection from a motorized kinematic mirror mount. Such a system has been developed, assembled and characterized with a two axis motorized mirror and various metal targets. In the system presented here, ions are ablated from the target surface and guided by a 90 degree quadrupole bender to a Faraday cup where the ion current is measured. Spatially resolved scans of the target are produced by actuating the mirror motors, thus moving the laser spot across the target, and performing synchronous measurements of the ion current to construct 2D images of a target surface which can be up to 50~mm in diameter. The spatial resolution of the system has been measured by scanning the interfaces between metals such as steel and niobium, where it was demonstrated that the LAS can selectively ablate an area of diameter $\approx$50 $μ$m. This work informs the development of subsequent LAS systems, that are intended to serve as multi-element ion sources for commercial and custom-built time-of-flight mass spectrometers, or to selectively study surface specific regions of samples.
△ Less
Submitted 17 November, 2021; v1 submitted 23 August, 2021;
originally announced August 2021.
-
Low levels of sulphur dioxide contamination of Venusian phosphine spectra
Authors:
Jane S. Greaves,
Paul B. Rimmer,
Anita M. S. Richards,
Janusz J. Petkowski,
William Bains,
Sukrit Ranjan,
Sara Seager,
David L. Clements,
Clara Sousa Silva,
Helen J. Fraser
Abstract:
New analysis is presented of the 1.1 mm wavelength absorption lines in Venus' atmosphere that suggested the presence of phosphine. We retrieve a sulphur dioxide observation from the JCMT archive that was simultaneous within a few days of the PH3 1-0 spectrum obtained in June 2017, and demonstrate via a radiative transfer calculation that contamination of PH3 by SO2 was ~10 per cent. We also presen…
▽ More
New analysis is presented of the 1.1 mm wavelength absorption lines in Venus' atmosphere that suggested the presence of phosphine. We retrieve a sulphur dioxide observation from the JCMT archive that was simultaneous within a few days of the PH3 1-0 spectrum obtained in June 2017, and demonstrate via a radiative transfer calculation that contamination of PH3 by SO2 was ~10 per cent. We also present ALMA 2019 spectra of PH3 1-0 and an SO2 transition acquired simultaneously, and infer that SO2 line-contamination was ~2 percent (for the least-noisy half of the planetary disc). The contamination-subtracted ALMA and JCMT spectra (of 6-8 sigma confidence) are now consistent with similar absorption-depths at the two epochs. The two values span -1.9(+/-0.2) 10-4 of the continuum signal (which was re-estimated for ALMA), albeit for differing planetary areas. This suggests that the abundance attributed to phosphine in Venus' atmosphere was broadly similar in 2017 and 2019.
△ Less
Submitted 21 June, 2022; v1 submitted 18 August, 2021;
originally announced August 2021.
-
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.
-
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.
-
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.
-
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.
-
Linking ice and gas in the Lambda Orionis Barnard 35A cloud
Authors:
G. Perotti,
J. K. Jørgensen,
H. J. Fraser,
A. N. Suutarinen,
L. E. Kristensen,
W. R. M. Rocha,
P. Bjerkeli,
K. M. Pontoppidan
Abstract:
Dust grains play an important role in the synthesis of molecules in the interstellar medium, from the simplest species to complex organic molecules. How some of these solid-state molecules are converted into gas-phase species is still a matter of debate. Our aim is to directly compare ice and gas abundances of methanol (CH$_3$OH) and CO, and to investigate the relationship between ice and gas in l…
▽ More
Dust grains play an important role in the synthesis of molecules in the interstellar medium, from the simplest species to complex organic molecules. How some of these solid-state molecules are converted into gas-phase species is still a matter of debate. Our aim is to directly compare ice and gas abundances of methanol (CH$_3$OH) and CO, and to investigate the relationship between ice and gas in low-mass protostellar envelopes. We present Submillimeter Array and Atacama Pathfinder EXperiment observations of gas-phase CH$_3$OH and CO towards the multiple protostellar system IRAS05417+0907 located in the B35A cloud. We use archival AKARI ice data toward the same target to calculate CH$_3$OH and CO gas-to-ice ratios. The CO isotopologues emissions are extended, whereas the CH$_3$OH emission is compact and traces the giant outflow emanating from IRAS05417+0907. A discrepancy between submillimeter dust emission and H$_2$O ice column density is found for B35A$-$4 and B35A$-$5, similar to what has previously been reported. B35A$-$2 and B35A$-$3 are located where the submillimeter dust emission peaks and show H$_2$O column densities lower than for B35A$-$4. The difference between the submillimeter continuum emission and the infrared H$_2$O ice observations suggests that the distributions of dust and H$_2$O ice differ around the young stellar objects in this dense cloud. The reason for this may be that the sources are located in different environments resolved by the interferometric observations: B35A$-$2, B35A$-$3 and in particular B35A$-$5 are situated in a shocked region plausibly affected by sputtering and heating impacting the submillimeter dust emission pattern, while B35A$-$4 is situated in a more quiescent part of the cloud. Gas and ice maps are essential to connect small-scale variations in the ice composition with large-scale astrophysical phenomena probed by gas observations.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
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.
-
Recovery of Spectra of Phosphine in Venus' Clouds
Authors:
Jane S. Greaves,
Anita M. S. Richards,
William Bains,
Paul B. Rimmer,
David L. Clements,
Sara Seager,
Janusz J. Petkowski,
Clara Sousa-Silva,
Sukrit Ranjan,
Helen J. Fraser
Abstract:
We recover PH3 in the atmosphere of Venus in data taken with ALMA, using three different calibration methods. The whole-planet signal is recovered with 5.4σ confidence using Venus bandpass self-calibration, and two simpler approaches are shown to yield example 4.5-4.8σ detections of the equatorial belt. Non-recovery by Villanueva et al. is attributable to (a) including areas of the planet with hig…
▽ More
We recover PH3 in the atmosphere of Venus in data taken with ALMA, using three different calibration methods. The whole-planet signal is recovered with 5.4σ confidence using Venus bandpass self-calibration, and two simpler approaches are shown to yield example 4.5-4.8σ detections of the equatorial belt. Non-recovery by Villanueva et al. is attributable to (a) including areas of the planet with high spectral-artefacts and (b) retaining all antenna baselines which raises the noise by a factor ~2.5. We release a data-processing script that enables our whole-planet result to be reproduced. The JCMT detection of PH3 remains robust, with the alternative SO2 attribution proposed by Villanueva et al. appearing inconsistent both in line-velocity and with millimetre-wavelength SO2 monitoring. SO2 contamination of the ALMA PH3-line is minimal. Net abundances for PH3, in the gas column above ~55 km, are up to ~20 ppb planet-wide with JCMT, and ~7 ppb with ALMA (but with signal-loss possible on scales approaching planetary size). Derived abundances will differ if PH3 occupies restricted altitudes - molecules in the clouds will contribute significantly less absorption at line-centre than equivalent numbers of mesospheric molecules - but in the latter zone, PH3 lifetime is expected to be short. Given we recover phosphine, we suggest possible solutions (requiring substantial further testing): a small collisional broadening coefficient could give narrow lines from lower altitude, or a high eddy diffusion coefficient could allow molecules to survive longer at higher altitudes. Alternatively, PH3 could be actively produced by an unknown mechanism in the mesosphere, but this would need to be in addition to cloud-level PH3 detected retrospectively by Pioneer-Venus.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Ps and Qs: Quantization-aware pruning for efficient low latency neural network inference
Authors:
Benjamin Hawks,
Javier Duarte,
Nicholas J. Fraser,
Alessandro Pappalardo,
Nhan Tran,
Yaman Umuroglu
Abstract:
Efficient machine learning implementations optimized for inference in hardware have wide-ranging benefits, depending on the application, from lower inference latency to higher data throughput and reduced energy consumption. Two popular techniques for reducing computation in neural networks are pruning, removing insignificant synapses, and quantization, reducing the precision of the calculations. I…
▽ More
Efficient machine learning implementations optimized for inference in hardware have wide-ranging benefits, depending on the application, from lower inference latency to higher data throughput and reduced energy consumption. Two popular techniques for reducing computation in neural networks are pruning, removing insignificant synapses, and quantization, reducing the precision of the calculations. In this work, we explore the interplay between pruning and quantization during the training of neural networks for ultra low latency applications targeting high energy physics use cases. Techniques developed for this study have potential applications across many other domains. We study various configurations of pruning during quantization-aware training, which we term quantization-aware pruning, and the effect of techniques like regularization, batch normalization, and different pruning schemes on performance, computational complexity, and information content metrics. We find that quantization-aware pruning yields more computationally efficient models than either pruning or quantization alone for our task. Further, quantization-aware pruning typically performs similar to or better in terms of computational efficiency compared to other neural architecture search techniques like Bayesian optimization. Surprisingly, while networks with different training configurations can have similar performance for the benchmark application, the information content in the network can vary significantly, affecting its generalizability.
△ Less
Submitted 19 July, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
On the Robustness of Phosphine Signatures in Venus' Clouds
Authors:
Jane S. Greaves,
William Bains,
Janusz J. Petkowski,
Sara Seager,
Clara Sousa-Silva,
Sukrit Ranjan,
David L. Clements,
Paul B. Rimmer,
Helen J. Fraser,
Steve Mairs,
Malcolm J. Currie
Abstract:
We published spectra of phosphine molecules in Venus' clouds, following open-science principles in releasing data and scripts (with community input leading to ALMA re-processing, now benefiting multiple projects). Some misconceptions about de-trending of spectral baselines have also emerged, which we address here. Using the JCMT PH3-discovery data, we show that mathematically-correct polynomial fi…
▽ More
We published spectra of phosphine molecules in Venus' clouds, following open-science principles in releasing data and scripts (with community input leading to ALMA re-processing, now benefiting multiple projects). Some misconceptions about de-trending of spectral baselines have also emerged, which we address here. Using the JCMT PH3-discovery data, we show that mathematically-correct polynomial fitting of periodic ripples does not lead to "fake lines" (probability < ~1%). We then show that the ripples can be characterised in a non-subjective manner via Fourier transforms. A 20 ppb PH3 feature is ~5σ compared to the JCMT baseline-uncertainty, and is distinctive as a narrow perturber of the periodic ripple pattern. The structure of the FT-derived baseline also shows that polynomial fitting, if unguided, can amplify artefacts and so artificially reduce significance of real lines.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Completeness of the Gaia-verse III: using hidden states to infer gaps, detection efficiencies and the scanning law from the DR2 light curves
Authors:
Douglas Boubert,
Andrew Everall,
Jack Fraser,
Amery Gration,
Berry Holl
Abstract:
The completeness of the Gaia catalogues heavily depends on the status of that space telescope through time. Stars are only published with each of the astrometric, photometric and spectroscopic data products if they are detected a minimum number of times. If there is a gap in scientific operations, a drop in the detection efficiency or Gaia deviates from the commanded scanning law, then stars will…
▽ More
The completeness of the Gaia catalogues heavily depends on the status of that space telescope through time. Stars are only published with each of the astrometric, photometric and spectroscopic data products if they are detected a minimum number of times. If there is a gap in scientific operations, a drop in the detection efficiency or Gaia deviates from the commanded scanning law, then stars will miss out on potential detections and thus be less likely to make it into the Gaia catalogues. We lay the groundwork to retrospectively ascertain the status of Gaia throughout the mission from the tens of individual measurements of the billions of stars, by develo** novel methodologies to infer both the orientation and angular velocity of Gaia through time and gaps and efficiency drops in the detections. We have applied these methodologies to the Gaia DR2 variable star epoch photometry -- which are the only publicly available Gaia time-series at the present time -- and make the results publicly available. We accompany these results with a new Python package scanninglaw (https://github.com/gaiaverse/scanninglaw) that you can use to easily predict Gaia observation times and detection probabilities for arbitrary locations on the sky.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Re-analysis of Phosphine in Venus' Clouds
Authors:
Jane S. Greaves,
Anita M. S. Richards,
William Bains,
Paul B. Rimmer,
David L. Clements,
Sara Seager,
Janusz J. Petkowski,
Clara Sousa-Silva,
Sukrit Ranjan,
Helen J. Fraser
Abstract:
We first respond to two points raised by Villanueva et al. We show the JCMT discovery spectrum of PH3 can not be re-attributed to SO2, as the line width is larger than observed for SO2 features, and the required abundance would be an extreme outlier. The JCMT spectrum is also consistent with our simple model, constant PH3-abundance with altitude, with no discrepancy in line profile (within data li…
▽ More
We first respond to two points raised by Villanueva et al. We show the JCMT discovery spectrum of PH3 can not be re-attributed to SO2, as the line width is larger than observed for SO2 features, and the required abundance would be an extreme outlier. The JCMT spectrum is also consistent with our simple model, constant PH3-abundance with altitude, with no discrepancy in line profile (within data limits); reconciliation with a full photochemical model is the subject of future work. Section 2 presents initial results from re-processed ALMA data. Villanueva et al. noted an issue with bandpass calibration. They have worked on a partially re-processed subset of the ALMA data, so we note where their conclusions, and those of Greaves et al., are now superseded. To summarise: we recover PH3 in Venus' atmosphere with ALMA (~5σ confidence). Localised abundance appears to peak at ~5-10 parts-per-billion (ppb), with suggestions of spatial variation. Advanced data-products suggest a planet-averaged PH3 abundance ~1-4 ppb, lower than from the earlier ALMA processing (which indicated 7+ ppb). The ALMA data are reconcilable with the JCMT detection (~20 ppb) if there is order-of-magnitude temporal variation; more advanced processing of the JCMT data is underway to check methods. Independent PH3 measurements suggest possible altitude dependence (under ~5 ppb at 60+ km, up to ~100 ppb at 50+ km; see Section 2: Conclusions.). Given that both ALMA and JCMT were working at the limit of observatory capabilities, new spectra should be obtained. The ALMA data in-hand are no longer limited by calibration, but spectral ripples still exist, probably due to size and brightness of Venus in relation to the primary beam. Further, spatial ripples are present, potentially reducing significance of real narrow spectral features.
△ Less
Submitted 10 December, 2020; v1 submitted 16 November, 2020;
originally announced November 2020.
-
FAT: Training Neural Networks for Reliable Inference Under Hardware Faults
Authors:
Ussama Zahid,
Giulio Gambardella,
Nicholas J. Fraser,
Michaela Blott,
Kees Vissers
Abstract:
Deep neural networks (DNNs) are state-of-the-art algorithms for multiple applications, spanning from image classification to speech recognition. While providing excellent accuracy, they often have enormous compute and memory requirements. As a result of this, quantized neural networks (QNNs) are increasingly being adopted and deployed especially on embedded devices, thanks to their high accuracy,…
▽ More
Deep neural networks (DNNs) are state-of-the-art algorithms for multiple applications, spanning from image classification to speech recognition. While providing excellent accuracy, they often have enormous compute and memory requirements. As a result of this, quantized neural networks (QNNs) are increasingly being adopted and deployed especially on embedded devices, thanks to their high accuracy, but also since they have significantly lower compute and memory requirements compared to their floating point equivalents. QNN deployment is also being evaluated for safety-critical applications, such as automotive, avionics, medical or industrial. These systems require functional safety, guaranteeing failure-free behaviour even in the presence of hardware faults. In general fault tolerance can be achieved by adding redundancy to the system, which further exacerbates the overall computational demands and makes it difficult to meet the power and performance requirements. In order to decrease the hardware cost for achieving functional safety, it is vital to explore domain-specific solutions which can exploit the inherent features of DNNs. In this work we present a novel methodology called fault-aware training (FAT), which includes error modeling during neural network (NN) training, to make QNNs resilient to specific fault models on the device. Our experiments show that by injecting faults in the convolutional layers during training, highly accurate convolutional neural networks (CNNs) can be trained which exhibits much better error tolerance compared to the original. Furthermore, we show that redundant systems which are built from QNNs trained with FAT achieve higher worse-case accuracy at lower hardware cost. This has been validated for numerous classification tasks including CIFAR10, GTSRB, SVHN and ImageNet.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Phosphine Gas in the Cloud Decks of Venus
Authors:
Jane S. Greaves,
Anita M. S. Richards,
William Bains,
Paul B. Rimmer,
Hideo Sagawa,
David L. Clements,
Sara Seager,
Janusz J. Petkowski,
Clara Sousa-Silva,
Sukrit Ranjan,
Emily Drabek-Maunder,
Helen J. Fraser,
Annabel Cartwright,
Ingo Mueller-Wodarg,
Zhuchang Zhan,
Per Friberg,
Iain Coulson,
E'lisa Lee,
Jim Hoge
Abstract:
Measurements of trace-gases in planetary atmospheres help us explore chemical conditions different to those on Earth. Our nearest neighbor, Venus, has cloud decks that are temperate but hyper-acidic. We report the apparent presence of phosphine (PH3) gas in Venusian atmosphere, where any phosphorus should be in oxidized forms. Single-line millimeter-waveband spectral detections (quality up to ~15…
▽ More
Measurements of trace-gases in planetary atmospheres help us explore chemical conditions different to those on Earth. Our nearest neighbor, Venus, has cloud decks that are temperate but hyper-acidic. We report the apparent presence of phosphine (PH3) gas in Venusian atmosphere, where any phosphorus should be in oxidized forms. Single-line millimeter-waveband spectral detections (quality up to ~15 sigma) from the JCMT and ALMA telescopes have no other plausible identification. Atmospheric PH3 at ~20 parts-per-billion abundance is inferred. The presence of phosphine is unexplained after exhaustive study of steady-state chemistry and photochemical pathways, with no currently-known abiotic production routes in Venusian atmosphere, clouds, surface and subsurface, or from lightning, volcanic or meteoritic delivery. Phosphine could originate from unknown photochemistry or geochemistry, or, by analogy with biological production of phosphine on Earth, from the presence of life. Other PH3 spectral features should be sought, while in-situ cloud and surface sampling could examine sources of this gas.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
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.
-
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.
-
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.
-
Linking ice and gas in the Serpens low-mass star-forming region
Authors:
G. Perotti,
W. R. M. Rocha,
J. K. Jørgensen,
L. E. Kristensen,
H. J. Fraser,
K. M. Pontoppidan
Abstract:
The interaction between dust, ice, and gas during the formation of stars produces complex organic molecules. While observations indicate that several species are formed on ice-covered dust grains and are released into the gas phase, the exact chemical interplay between solid and gas phases and their relative importance remain unclear. Our goal is to study the interplay in regions of low-mass star…
▽ More
The interaction between dust, ice, and gas during the formation of stars produces complex organic molecules. While observations indicate that several species are formed on ice-covered dust grains and are released into the gas phase, the exact chemical interplay between solid and gas phases and their relative importance remain unclear. Our goal is to study the interplay in regions of low-mass star formation through ice- and gas-map** and by directly measuring gas-to-ice ratios. This provides constraints on the routes that lead to the chemical complexity that is observed in both phases. We present observations of gas-phase methanol (CH$_3$OH) and carbon monoxide at 1.3 mm towards ten low-mass young protostars in the Serpens SVS4 cluster from the SubMillimeter Array and the Atacama Pathfinder EXperiment telescope. We used archival data from the Very Large Telescope to derive abundances of ice H$_2$O, CO, and CH$_3$OH towards the same region. Finally, we constructed gas-ice maps of SVS4 and directly measured CO and CH$_3$OH gas-to-ice ratios. The CH$_3$OH gas-to-ice ratio agrees with values that were previously reported for embedded Class 0/I low-mass protostars. The CO gas-maps trace an extended gaseous component that is not sensitive to the effect of freeze-out. We find that there is no straightforward correlation between CO and CH$_3$OH gas with their ice counterparts in the cluster. This is likely related to the complex morphology of SVS4: the Class 0 protostar SMM4 and its envelope lie in the vicinity, and the outflow associated with SMM4 intersects the cluster. This study serves as a pathfinder for future observations with ALMA and the James Webb Space Telescope that will provide high-sensitivity gas-ice maps of molecules more complex than methanol. Such comparative maps will be essential to constrain the chemical routes that regulate the chemical complexity in star-forming regions.
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
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.
-
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.
-
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.
-
$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.
-
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.
-
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.
-
LogicNets: Co-Designed Neural Networks and Circuits for Extreme-Throughput Applications
Authors:
Yaman Umuroglu,
Yash Akhauri,
Nicholas J. Fraser,
Michaela Blott
Abstract:
Deployment of deep neural networks for applications that require very high throughput or extremely low latency is a severe computational challenge, further exacerbated by inefficiencies in map** the computation to hardware. We present a novel method for designing neural network topologies that directly map to a highly efficient FPGA implementation. By exploiting the equivalence of artificial neu…
▽ More
Deployment of deep neural networks for applications that require very high throughput or extremely low latency is a severe computational challenge, further exacerbated by inefficiencies in map** the computation to hardware. We present a novel method for designing neural network topologies that directly map to a highly efficient FPGA implementation. By exploiting the equivalence of artificial neurons with quantized inputs/outputs and truth tables, we can train quantized neural networks that can be directly converted to a netlist of truth tables, and subsequently deployed as a highly pipelinable, massively parallel FPGA circuit. However, the neural network topology requires careful consideration since the hardware cost of truth tables grows exponentially with neuron fan-in. To obtain smaller networks where the whole netlist can be placed-and-routed onto a single FPGA, we derive a fan-in driven hardware cost model to guide topology design, and combine high sparsity with low-bit activation quantization to limit the neuron fan-in. We evaluate our approach on two tasks with very high intrinsic throughput requirements in high-energy physics and network intrusion detection. We show that the combination of sparsity and low-bit activation quantization results in high-speed circuits with small logic depth and low LUT cost, demonstrating competitive accuracy with less than 15 ns of inference latency and throughput in the hundreds of millions of inferences per second.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
What will computational modelling approaches have to say in the era of atomistic cryo-EM data?
Authors:
James S. Fraser,
Kresten Lindorff-Larsen,
Massimiliano Bonomi
Abstract:
The focus of this viewpoint is to identify, in the era of atomistic resolution cryo-electron microscopy data, the areas in which computational modelling and molecular simulations will bring valuable contributions to structural biologists and to give an overview of some of the existing efforts in this direction.
The focus of this viewpoint is to identify, in the era of atomistic resolution cryo-electron microscopy data, the areas in which computational modelling and molecular simulations will bring valuable contributions to structural biologists and to give an overview of some of the existing efforts in this direction.
△ Less
Submitted 1 February, 2020;
originally announced February 2020.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.