-
On continuum real trees of circle maps and their graphs
Authors:
Maik Gröger,
Sascha Troscheit
Abstract:
The Brownian continuum tree was extensively studied in the 90s as a universal random metric space. One construction obtains the continuum tree by a change of metric from an excursion function (or continuous circle mapping) on $[0,1]$. This change of metric can be applied to all excursion functions, and generally to continuous circle mappings. In 2008, Picard proved that the dimension theory of the…
▽ More
The Brownian continuum tree was extensively studied in the 90s as a universal random metric space. One construction obtains the continuum tree by a change of metric from an excursion function (or continuous circle mapping) on $[0,1]$. This change of metric can be applied to all excursion functions, and generally to continuous circle mappings. In 2008, Picard proved that the dimension theory of the tree is connected to its associated contour function: the upper box dimension of the continuum tree coincides with the variation index of the contour function.
In this article we give a short and direct proof of Picard's theorem through the study of packings. We develop related and equivalent notions of variations and variation indices and study their basic properties. Finally, we link the dimension theory of the tree with the dimension theory of the graph of its contour function.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Interpolating with generalized Assouad dimensions
Authors:
Amlan Banaji,
Alex Rutar,
Sascha Troscheit
Abstract:
The $φ$-Assouad dimensions are a family of dimensions which interpolate between the upper box and Assouad dimensions. They are a generalization of the well-studied Assouad spectrum with a more general form of scale sensitivity that is often closely related to "phase-transition" phenomena in sets.
In this article we establish a number of key properties of the $φ$-Assouad dimensions which help to…
▽ More
The $φ$-Assouad dimensions are a family of dimensions which interpolate between the upper box and Assouad dimensions. They are a generalization of the well-studied Assouad spectrum with a more general form of scale sensitivity that is often closely related to "phase-transition" phenomena in sets.
In this article we establish a number of key properties of the $φ$-Assouad dimensions which help to clarify their behaviour. We prove for any bounded doubling metric space $F$ and $α\in\mathbb{R}$ satisfying $\overline{\operatorname{dim}}_{\mathrm{B}}F<α\leq\operatorname{dim}_{\mathrm{A}} F$ that there is a function $φ$ so that the $φ$-Assouad dimension of $F$ is equal to $α$. We further show that the "upper" variant of the dimension is fully determined by the $φ$-Assouad dimension, and that homogeneous Moran sets are in a certain sense generic for these dimensions.
Further, we study explicit examples of sets where the Assouad spectrum does not reach the Assouad dimension. We prove a precise formula for the $φ$-Assouad dimensions for Galton--Watson trees that correspond to a general class of stochastically self-similar sets, including Mandelbrot percolation. This result follows from two results which may be of general interest: a sharp large deviations theorem for Galton--Watson processes with bounded offspring distribution, and a Borel--Cantelli-type lemma for infinite structures in random trees. Finally, we obtain results on the $φ$-Assouad dimensions of overlapping self-similar sets and decreasing sequences with decreasing gaps.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Stability relations for Hilbert space operators and a problem of Kaplansky
Authors:
Laurent W. Marcoux,
Heydar Radjavi,
Sascha Troscheit,
Yuanhang Zhang
Abstract:
In his monograph on Infinite Abelian Groups, I. Kaplansky raised three ``test problems" concerning their structure and multiplicity. As noted by Azoff, these problems make sense for any category admitting a direct sum operation. Here, we are interested in the operator theoretic version of Kaplansky's second problem which asks: if $A$ and $B$ are operators on an infinite-dimensional, separable Hilb…
▽ More
In his monograph on Infinite Abelian Groups, I. Kaplansky raised three ``test problems" concerning their structure and multiplicity. As noted by Azoff, these problems make sense for any category admitting a direct sum operation. Here, we are interested in the operator theoretic version of Kaplansky's second problem which asks: if $A$ and $B$ are operators on an infinite-dimensional, separable Hilbert space and $A \oplus A$ is equivalent to $B \oplus B$ in some (precise) sense, is $A$ equivalent to $B$? We examine this problem under a strengthening of the hypothesis, where a ``primitive" square root $J_2(A)$ of $A\oplus A$ is assumed to be equivalent to the corresponding square root $J_2(B)$ of $B \oplus B$. When ``equivalence" refers to similarity of operators and $A$ is a compact operator, we deduce from this stronger hypothesis that $A$ and $B$ are similar. We exhibit a counterexample (due to J. Bell) of this phenomenon in the setting of unital rings. Also, we exhibit an uncountable family $\{ U_α\}_{α\in Ω}$ of unitary operators, no two of which are unitarily equivalent, such that each $U_α$ is unitarily equivalent to $J_n(U_α)$, a ``primitive" $n^{th}$ root of $U_α\oplus U_α\oplus \cdots \oplus U_α$.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Box-counting dimension in one-dimensional random geometry of multiplicative cascades
Authors:
Kenneth J. Falconer,
Sascha Troscheit
Abstract:
We investigate the box-counting dimension of the image of a set $E \subset \mathbb{R}$ under a random multiplicative cascade function $f$. The corresponding result for Hausdorff dimension was established by Benjamini and Schramm in the context of random geometry, and for sufficiently regular sets, the same formula holds for the box-counting dimension. However, we show that this is far from true in…
▽ More
We investigate the box-counting dimension of the image of a set $E \subset \mathbb{R}$ under a random multiplicative cascade function $f$. The corresponding result for Hausdorff dimension was established by Benjamini and Schramm in the context of random geometry, and for sufficiently regular sets, the same formula holds for the box-counting dimension. However, we show that this is far from true in general, and we compute explicitly a formula of a very different nature that gives the almost sure box-counting dimension of the random image $f(E)$ when the set $E$ comprises a convergent sequence. In particular, the box-counting dimension of $f(E)$ depends more subtly on $E$ than just on its dimensions. We also obtain lower and upper bounds for the box-counting dimension of the random images for general sets $E$.
△ Less
Submitted 24 October, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Dynamically defined subsets of generic self-affine sets
Authors:
Balázs Bárány,
Sascha Troscheit
Abstract:
In dynamical systems, shrinking target sets and pointwise recurrent sets are two important classes of dynamically defined subsets. In this article we introduce a mild condition on the linear parts of the affine mappings that allow us to bound the Hausdorff dimension of cylindrical shrinking target and recurrence sets. For generic self-affine sets in the sense of Falconer, that is by randomising th…
▽ More
In dynamical systems, shrinking target sets and pointwise recurrent sets are two important classes of dynamically defined subsets. In this article we introduce a mild condition on the linear parts of the affine mappings that allow us to bound the Hausdorff dimension of cylindrical shrinking target and recurrence sets. For generic self-affine sets in the sense of Falconer, that is by randomising the translation part of the affine maps, we prove that these bounds are sharp. These mild assumptions mean that our results significantly extend and complement the existing literature for recurrence on self-affine sets.
△ Less
Submitted 5 October, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
On the Minkowski content of self-similar random homogeneous iterated function systems
Authors:
Sascha Troscheit
Abstract:
The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets, satisfying reasonable separation conditions and non-log comensurable contraction ratios, have a well-defined Minkowski content. When dropping the contraction conditions,…
▽ More
The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets, satisfying reasonable separation conditions and non-log comensurable contraction ratios, have a well-defined Minkowski content. When dropping the contraction conditions, the more general notion of average Minkowski content still exists. For random recursive self-similar sets the Minkowski content also exists almost surely, whereas for random homogeneous self-similar sets it was recently shown by Zähle that the Minkowski content exists in expectation. In this short note we show that the upper Minkowski content, as well as the upper average Minkowski content of random homogeneous self-similar sets is infinite, almost surely, answering a conjecture posed by Zähle. Additionally, we show that in the random homogeneous equicontractive self-similar setting the lower Minkowski content is zero and the lower average Minkowski content is also infinite. These results are in stark contrast to the random recursive model or the mean behaviour of random homogeneous attractors.
△ Less
Submitted 11 March, 2023; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Analogues of Khintchine's theorem for random attractors
Authors:
Simon Baker,
Sascha Troscheit
Abstract:
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.
△ Less
Submitted 14 October, 2020;
originally announced October 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.
-
On quasisymmetric embeddings of the Brownian map and continuum trees
Authors:
Sascha Troscheit
Abstract:
The Brownian map is a model of random geometry on the sphere and as such an important object in probability theory and physics. It has been linked to Liouville Quantum Gravity and much research has been devoted to it. One open question asks for a canonical embedding of the Brownian map into the sphere or other, more abstract, metric spaces. Similarly, Liouville Quantum Gravity has been shown to be…
▽ More
The Brownian map is a model of random geometry on the sphere and as such an important object in probability theory and physics. It has been linked to Liouville Quantum Gravity and much research has been devoted to it. One open question asks for a canonical embedding of the Brownian map into the sphere or other, more abstract, metric spaces. Similarly, Liouville Quantum Gravity has been shown to be "equivalent" to the Brownian map but the exact nature of the correspondence (i.e.\ embedding) is still unknown. In this article we show that any embedding of the Brownian map or continuum random tree into $\mathbb{R}^d$, $\mathbb{S}^d$, $\mathbb{T}^d$, or more generally any doubling metric space, cannot be quasisymmetric. We achieve this with the aid of dimension theory by identifying a metric structure that is invariant under quasisymmetric mappings (such as isometries) and which implies infinite Assouad dimension.
We show, using elementary methods, that this structure is almost surely present in the Brownian continuum random tree and the Brownian map. We further show that snowflaking the metric is not sufficient to find an embedding and discuss continuum trees as a tool to studying "fractal functions".
△ Less
Submitted 27 November, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Assouad spectrum thresholds for some random constructions
Authors:
Sascha Troscheit
Abstract:
The Assouad dimension of a metric space determines its extremal scaling properties. The derived notion of the Assouad spectrum fixes relative scales by a scaling function to obtain interpolation behaviour between the quasi-Assouad and box-counting dimensions. While the quasi-Assouad and Assouad dimensions often coincide, they generally differ in random constructions. In this paper we consider a ge…
▽ More
The Assouad dimension of a metric space determines its extremal scaling properties. The derived notion of the Assouad spectrum fixes relative scales by a scaling function to obtain interpolation behaviour between the quasi-Assouad and box-counting dimensions. While the quasi-Assouad and Assouad dimensions often coincide, they generally differ in random constructions. In this paper we consider a generalised Assouad spectrum that interpolates between the quasi-Assouad to the Assouad dimension. For common models of random fractal sets we obtain a dichotomy of its behaviour by finding a threshold function where the quasi-Assouad behaviour transitions to the Assouad dimension. This threshold can be considered a phase transition and we compute the threshold for the Gromov boundary of Galton-Watson trees and one-variable random self-similar and self-affine constructions. We describe how the stochastically self-similar model can be derived from the Galton-Watson tree result.
△ Less
Submitted 17 June, 2019; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Lower Assouad Dimension of Measures and Regularity
Authors:
Kathryn E. Hare,
Sascha Troscheit
Abstract:
In analogy with the lower Assouad dimensions of a set, we study the lower Assouad dimensions of a measure. As with the upper Assouad dimensions, the lower Assouad dimensions of a measure provide information about the extreme local behaviour of the measure. We study the connection with other dimensions and with regularity properties. In particular, the quasi-lower Assouad dimension is dominated by…
▽ More
In analogy with the lower Assouad dimensions of a set, we study the lower Assouad dimensions of a measure. As with the upper Assouad dimensions, the lower Assouad dimensions of a measure provide information about the extreme local behaviour of the measure. We study the connection with other dimensions and with regularity properties. In particular, the quasi-lower Assouad dimension is dominated by the infimum of the measure's lower local dimensions. Although strict inequality is possible in general, equality holds for the class of self-similar measures of finite type. This class includes all self-similar, equicontractive measures satisfying the open set condition, as well as certain `overlapping' self-similar measures, such as Bernoulli convolutions with contraction factors that are inverses of Pisot numbers.
We give lower bounds for the lower Assouad dimension for measures arising from a Moran construction, prove that self-affine measures are uniformly perfect and have positive lower Assouad dimension, prove that the Assouad spectrum of a measure converges to its quasi-Assouad dimension and show that coincidence of the upper and lower Assouad dimension of a measure does not imply that the measure is $s$-regular.
△ Less
Submitted 20 December, 2018; v1 submitted 13 December, 2018;
originally announced December 2018.
-
Quasi-doubling of self-similar measures with overlaps
Authors:
Kathryn Hare,
Kevin Hare,
Sascha Troscheit
Abstract:
The Assouad and quasi-Assouad dimensions of a metric space provide information about the extreme local geometric nature of the set. The Assouad dimension of a set has a measure theoretic analogue, which is also known as the upper regularity dimension. One reason for the interest in this notion is that a measure has finite Assouad dimension if and only if it is doubling.
Motivated by recent progr…
▽ More
The Assouad and quasi-Assouad dimensions of a metric space provide information about the extreme local geometric nature of the set. The Assouad dimension of a set has a measure theoretic analogue, which is also known as the upper regularity dimension. One reason for the interest in this notion is that a measure has finite Assouad dimension if and only if it is doubling.
Motivated by recent progress on both the Assouad dimension of measures that satisfy a strong separation condition and the quasi-Assouad dimension of metric spaces, we introduce the notion of the quasi-Assouad dimension of a measure. As with sets, the quasi-Assouad dimension of a measure is dominated by its Assouad dimension. It dominates both the quasi-Assouad dimension of its support and the supremal local dimension of the measure, with strict inequalities possible in all cases.
Our main focus is on self-similar measures in $\mathbb{R}$ whose support is an interval and which may have `overlaps'. For measures that satisfy a weaker condition than the weak separation condition we prove that finite quasi-Assouad dimension is equivalent to quasi-doubling of the measure, a strictly less restrictive property than doubling. Further, we exhibit a large class of such measures for which the quasi-Assouad dimension coincides with the maximum of the local dimension at the endpoints of the support. This class includes all regular, equicontractive self-similar measures satisfying the weak separation condition, such as convolutions of uniform Cantor measures with integer ratio of dissection. Other properties of this dimension are also established and many examples are given.
△ Less
Submitted 14 November, 2018; v1 submitted 24 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.
-
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.
-
Self-conformal sets with positive Hausdorff measure
Authors:
Jasmina Angelevska,
Antti Käenmäki,
Sascha Troscheit
Abstract:
We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are…
▽ More
We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are Ahlfors regular, irrespective of separation conditions. When restricting to self-conformal subsets of the real line with Hausdorff dimension strictly less than one, we additionally show that the weak separation condition is equivalent to Ahlfors regularity and its failure implies full Assouad dimension. In fact, we resolve a self-conformal extension of the dimension drop conjecture for self-conformal sets with positive Hausdorff measure by showing that its Hausdorff dimension falls below the expected value if and only if there are exact overlaps.
△ Less
Submitted 11 December, 2019; v1 submitted 24 March, 2018;
originally announced March 2018.
-
Local dimensions of random homogeneous self-similar measures: strong separation and finite type
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Sascha Troscheit
Abstract:
We study the multifractal analysis of self-similar measures arising from random homogeneous iterated function systems. Under the assumption of the uniform strong separation condition, we see that this analysis parallels that of the deterministic case. The overlapping case is more complicated; we introduce the notion of finite type for random homogeneous iterated function systems and give a formula…
▽ More
We study the multifractal analysis of self-similar measures arising from random homogeneous iterated function systems. Under the assumption of the uniform strong separation condition, we see that this analysis parallels that of the deterministic case. The overlapping case is more complicated; we introduce the notion of finite type for random homogeneous iterated function systems and give a formula for the local dimensions of finite type, regular, random homogeneous self-similar measures in terms of Lyapunov exponents of certain transition matrices. We show that almost all points with respect to this measure are described by a distinguished subset called the essential class, and that the dimension of the support can be computed almost surely from knowledge of this essential class. For a special subcase, that we call commuting, we prove that the set of attainable local dimensions is almost surely a closed interval. Particular examples of such random measures are analyzed in more detail.
△ Less
Submitted 27 November, 2017;
originally announced November 2017.
-
Exact Hausdorff and packing measures for random self-similar code-trees with necks
Authors:
Sascha Troscheit
Abstract:
Random code-trees with necks were introduced recently to generalise the notion of $V$-variable and random homogeneous sets. While it is known that the Hausdorff and packing dimensions coincide irrespective of overlaps, their exact Hausdorff and packing measure has so far been largely ignored. In this article we consider the general question of an appropriate gauge function for positive and finite…
▽ More
Random code-trees with necks were introduced recently to generalise the notion of $V$-variable and random homogeneous sets. While it is known that the Hausdorff and packing dimensions coincide irrespective of overlaps, their exact Hausdorff and packing measure has so far been largely ignored. In this article we consider the general question of an appropriate gauge function for positive and finite Hausdorff and packing measure. We first survey the current state of knowledge and establish some bounds on these gauge functions. We then show that self-similar code-trees do not admit a gauge functions that simultaneously give positive and finite Hausdorff measure almost surely. This surprising result is in stark contrast to the random recursive model and sheds some light on the question of whether $V$-variable sets interpolate between random homogeneous and random recursive sets. We conclude by discussing implications of our results.
△ Less
Submitted 28 March, 2019; v1 submitted 19 October, 2017;
originally announced October 2017.
-
The inverse problem for collisionless plasma equilibria
Authors:
O. Allanson,
S. Troscheit,
T. Neukirch
Abstract:
Vlasov-Maxwell equilibria are described by the self-consistent solutions of the time-independent Maxwell equations for the real-space dynamics of electromagnetic fields, and the Vlasov equation for the phase-space dynamics of particle distributions in a collisionless plasma. These two systems (macroscopic and microscopic) are coupled via the source terms in Maxwell's equations, which are sums of v…
▽ More
Vlasov-Maxwell equilibria are described by the self-consistent solutions of the time-independent Maxwell equations for the real-space dynamics of electromagnetic fields, and the Vlasov equation for the phase-space dynamics of particle distributions in a collisionless plasma. These two systems (macroscopic and microscopic) are coupled via the source terms in Maxwell's equations, which are sums of velocity-space 'moment' integrals of the particle distribution function. This paper considers 'the inverse problem for collisionless equilibria' (IPCE), viz. "given information regarding the real-space/macroscopic configuration of a specific collisionless plasma equilibrium, what self-consistent equilibrium distributions exist?" We develop the constants of motion approach to IPCE using the assumptions of a 'modified Maxwellian' distribution function, and a strictly neutral and spatially one-dimensional plasma. In such circumstances, IPCE formally reduces to the inversion of Weierstrass transformations (Bilodeau, 1962), such as those transformations that feature in the initial value problem for the heat/diffusion equation. We discuss the various mathematical conditions that a candidate solution of IPCE must satisfy. One method that can be used to invert the Weierstrass transform is expansions in Hermite polynomials. Building on the results of Allanson et al. (2016), we establish under what circumstances a solution obtained by these means converges, and allows velocity moments of all orders. Ever since the seminal work by Bernstein et al. (1957), on 'stationary' electrostatic plasma waves, the necessary quality of non-negativity has been noted as a feature that any candidate solution of IPCE will not $\textit{a priori}$ satisfy. We also discuss this problem in the context of for our formalism, for magnetised plasmas.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
The quasi-Assouad dimension for stochastically self-similar sets
Authors:
Sascha Troscheit
Abstract:
The class of stochastically self-similar sets contains many famous examples of random sets, e.g. Mandelbrot percolation and general fractal percolation. Under the assumption of the uniform open set condition and some mild assumptions on the iterated function systems used, we show that the quasi-Assouad dimension of self-similar random recursive sets is almost surely equal to the almost sure Hausdo…
▽ More
The class of stochastically self-similar sets contains many famous examples of random sets, e.g. Mandelbrot percolation and general fractal percolation. Under the assumption of the uniform open set condition and some mild assumptions on the iterated function systems used, we show that the quasi-Assouad dimension of self-similar random recursive sets is almost surely equal to the almost sure Hausdorff dimension of the set. We further comment on random homogeneous and $V$-variable sets and the removal of overlap conditions.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
Random ubiquitous transformation semigroups
Authors:
Julius Jonušas,
Sascha Troscheit
Abstract:
A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set $X$ is a generating set such that no proper subset of $X$ is also a generating set. A semigroup $S$ is ubiquitous if every irredundant generating set of $S$ is of the same cardinality.
We are motivated by a naïve algorithm to find a small generating set for a semigro…
▽ More
A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set $X$ is a generating set such that no proper subset of $X$ is also a generating set. A semigroup $S$ is ubiquitous if every irredundant generating set of $S$ is of the same cardinality.
We are motivated by a naïve algorithm to find a small generating set for a semigroup, which in practice often outputs a smallest generating set. We give a sufficient condition for a transformation semigroup to be ubiquitous and show that a transformation semigroup generated by $k$ randomly chosen transformations asymptoticly satisfies the sufficient condition. Finally, we show that under this condition the output of the previously mentioned naïve algorithm is irredundant.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
The Mass Transference Principle: Ten Years On
Authors:
Demi Allen,
Sascha Troscheit
Abstract:
In this article we discuss the Mass Transference Principle due to Beresnevich and Velani and survey several generalisations and variants, both deterministic and random. Using a Hausdorff measure analogue of the inhomogeneous Khintchine-Groshev Theorem, proved recently via an extension of the Mass Transference Principle to systems of linear forms, we give an alternative proof of a general inhomogen…
▽ More
In this article we discuss the Mass Transference Principle due to Beresnevich and Velani and survey several generalisations and variants, both deterministic and random. Using a Hausdorff measure analogue of the inhomogeneous Khintchine-Groshev Theorem, proved recently via an extension of the Mass Transference Principle to systems of linear forms, we give an alternative proof of a general inhomogeneous Jarník-Besicovitch Theorem which was originally proved by Levesley. We additionally show that without monotonicity Levesley's theorem no longer holds in general. Thereafter, we discuss recent advances by Wang, Wu and Xu towards mass transference principles where one transitions from $\limsup$ sets defined by balls to $\limsup$ sets defined by rectangles (rather than from "balls to balls" as is the case in the original Mass Transference Principle). Furthermore, we consider mass transference principles for transitioning from rectangles to rectangles and extend known results using a slicing technique. We end this article with a brief survey of random analogues of the Mass Transference Principle.
△ Less
Submitted 9 May, 2017; v1 submitted 21 April, 2017;
originally announced April 2017.
-
From one-dimensional fields to Vlasov equilibria: Theory and application of Hermite polynomials
Authors:
O. Allanson,
T. Neukirch,
S. Troscheit,
F. Wilson
Abstract:
We consider the theory and application of a solution method for the inverse problem in collisionless equilibria, namely that of calculating a Vlasov-Maxwell equilibrium for a given macroscopic (fluid) equilibrium. Using Jeans' Theorem, the equilibrium distribution functions are expressed as functions of the constants of motion, in the form of a Maxwellian multiplied by an unknown function of the c…
▽ More
We consider the theory and application of a solution method for the inverse problem in collisionless equilibria, namely that of calculating a Vlasov-Maxwell equilibrium for a given macroscopic (fluid) equilibrium. Using Jeans' Theorem, the equilibrium distribution functions are expressed as functions of the constants of motion, in the form of a Maxwellian multiplied by an unknown function of the canonical momenta. In this case it is possible to reduce the inverse problem to inverting Weierstrass transforms, which we achieve by using expansions over Hermite polynomials. A sufficient condition on the pressure tensor is found which guarantees the convergence and the boundedness of the candidate solution, when satisfied. This condition is obtained by elementary means, and it is clear how to put it into practice. We also argue that for a given pressure tensor for which our method applies, there always exists a positive distribution function solution for a sufficiently magnetised plasma. Illustrative examples of the use of this method with both force-free and non-force-free macroscopic equilibria are presented, including the full verification of a recently derived distribution function for the force-free Harris Sheet (Allanson $\textit{et al., Phys. Plasmas}$, vol. 22 (10), 2015, 102116). In the effort to model equilibria with lower values of the plasma beta, solutions for the same macroscopic equilibrium in a new gauge are calculated, with numerical results presented for $β_{pl}=0.05$.
△ Less
Submitted 8 June, 2016; v1 submitted 6 June, 2016;
originally announced June 2016.
-
A dichotomy of self-conformal subsets of the real line with overlaps
Authors:
Jasmina Angelevska,
Sascha Troscheit
Abstract:
We show that self-conformal subsets of $\mathbb{R}$ that do not satisfy the weak separation condition have full Assouad dimension. Combining this with a recent results by Käenmäki and Rossi we conclude that an interesting dichotomy applies to self-conformal and not just self-similar sets: if $F\subset\mathbb{R}$ is self-conformal with Hausdorff dimension strictly less than $1$, either the Hausdorf…
▽ More
We show that self-conformal subsets of $\mathbb{R}$ that do not satisfy the weak separation condition have full Assouad dimension. Combining this with a recent results by Käenmäki and Rossi we conclude that an interesting dichotomy applies to self-conformal and not just self-similar sets: if $F\subset\mathbb{R}$ is self-conformal with Hausdorff dimension strictly less than $1$, either the Hausdorff dimension and Assouad dimension agree or the Assouad dimension is $1$. We conclude that the weak separation property is in this case equivalent to Assouad and Hausdorff dimension coinciding.
(This manuscript contains errors, see comment below.)
△ Less
Submitted 1 May, 2019; v1 submitted 18 February, 2016;
originally announced February 2016.
-
The box dimension of random box-like self-affine sets
Authors:
Sascha Troscheit
Abstract:
In this paper we study two random analogues of the box-like self-affine attractors introduced by Fraser, itself an extension of Sierpiński carpets. We determine the almost sure box-counting dimension for the homogeneous random case ($1$-variable random), and give a sufficient condition for the almost sure box dimension to be the expectation of the box dimensions of the deterministic attractors. Fu…
▽ More
In this paper we study two random analogues of the box-like self-affine attractors introduced by Fraser, itself an extension of Sierpiński carpets. We determine the almost sure box-counting dimension for the homogeneous random case ($1$-variable random), and give a sufficient condition for the almost sure box dimension to be the expectation of the box dimensions of the deterministic attractors. Furthermore we find the almost sure box-counting dimension of the random recursive model ($\infty$-variable), which includes affine fractal percolation.
△ Less
Submitted 19 May, 2017; v1 submitted 22 December, 2015;
originally announced December 2015.
-
On the dimensions of attractors of random self-similar graph directed iterated function systems
Authors:
Sascha Troscheit
Abstract:
In this paper we propose a new model of random graph directed fractals that extends the current well-known model of random graph directed iterated function systems, $V$-variable attractors, and fractal and Mandelbrot percolation. We study its dimensional properties for similarities with and without overlaps. In particular we show that for the two classes of $1$-variable and $\infty$-variable rando…
▽ More
In this paper we propose a new model of random graph directed fractals that extends the current well-known model of random graph directed iterated function systems, $V$-variable attractors, and fractal and Mandelbrot percolation. We study its dimensional properties for similarities with and without overlaps. In particular we show that for the two classes of $1$-variable and $\infty$-variable random graph directed attractors we introduce, the Hausdorff and upper box counting dimension coincide almost surely, irrespective of overlap. Under the additional assumption of the uniform strong separation condition we give an expression for the almost sure Hausdorff and Assouad dimension.
△ Less
Submitted 19 May, 2017; v1 submitted 11 November, 2015;
originally announced November 2015.
-
An exact collisionless equilibrium for the Force-Free Harris Sheet with low plasma beta
Authors:
O. Allanson,
T. Neukirch,
F. Wilson,
S. Troscheit
Abstract:
We present a first discussion and analysis of the physical properties of a new exact collisionless equilibrium for a one-dimensional nonlinear force-free magnetic field, namely the Force-Free Harris Sheet. The solution allows any value of the plasma beta, and crucially below unity, which previous nonlinear force-free collisionless equilibria could not. The distribution function involves infinite s…
▽ More
We present a first discussion and analysis of the physical properties of a new exact collisionless equilibrium for a one-dimensional nonlinear force-free magnetic field, namely the Force-Free Harris Sheet. The solution allows any value of the plasma beta, and crucially below unity, which previous nonlinear force-free collisionless equilibria could not. The distribution function involves infinite series of Hermite Polynomials in the canonical momenta, of which the important mathematical properties of convergence and non-negativity have recently been proven. Plots of the distribution function are presented for the plasma beta modestly below unity, and we compare the shape of the distribution function in two of the velocity directions to a Maxwellian distribution.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Particular solutions of the inverse problem for 1D Vlasov-Maxwell equilibria using Hermite polynomials
Authors:
O. Allanson,
T. Neukirch,
S. Troscheit,
F. Wilson
Abstract:
We present the solution to an inverse problem arising in the context of finding a distribution function for a specific collisionless plasma equilibrium. The inverse problem involves the solution of two integral equations, each having the form of a Weierstrass transform. We prove that inverting the Weierstrass transform using Hermite polynomials leads to convergent infinite series. We also comment…
▽ More
We present the solution to an inverse problem arising in the context of finding a distribution function for a specific collisionless plasma equilibrium. The inverse problem involves the solution of two integral equations, each having the form of a Weierstrass transform. We prove that inverting the Weierstrass transform using Hermite polynomials leads to convergent infinite series. We also comment on the non-negativity of the distribution function, with more detail on this in Allanson $\textit{et al., Journal of Plasma Physics}$, vol. 82 (03), 2016. Whilst applied to a specific magnetic field, the inversion techniques used in this paper (as well as the derived convergence criteria and discussion of non-negativity) are of a general nature, and are applicable to other smooth pressure functions.
△ Less
Submitted 7 June, 2016; v1 submitted 31 August, 2015;
originally announced August 2015.
-
The Assouad dimension of randomly generated fractals
Authors:
Jonathan M. Fraser,
Jun Jie Miao,
Sascha Troscheit
Abstract:
We consider several different models for generating random fractals including random self-similar sets, random self-affine carpets, and fractal percolation. In each setting we compute either the \emph{almost sure} or the \emph{Baire typical} Assouad dimension and consider some illustrative examples. Our results reveal a common phenomenon in all of our models: the Assouad dimension of a randomly ge…
▽ More
We consider several different models for generating random fractals including random self-similar sets, random self-affine carpets, and fractal percolation. In each setting we compute either the \emph{almost sure} or the \emph{Baire typical} Assouad dimension and consider some illustrative examples. Our results reveal a common phenomenon in all of our models: the Assouad dimension of a randomly generated fractal is generically as big as possible and does not depend on the measure theoretic or topological structure of the sample space. This is in stark contrast to the other commonly studied notions of dimension like the Hausdorff or packing dimension.
△ Less
Submitted 1 May, 2015; v1 submitted 25 October, 2014;
originally announced October 2014.
-
Hölder differentiability of self-conformal devil's staircases
Authors:
Sascha Troscheit
Abstract:
In this paper we consider the probability distribution function of a Gibbs measure supported on a self-conformal set given by an iterated function system (devil's staircase). We use thermodynamic multifractal formalism to calculate the Hausdorff dimension of the sets $S^α_{0}$, $S^α_{\infty}$ and $S^α$, the set of points at which this function has, respectively, Hölder derivative 0, $\infty$ or no…
▽ More
In this paper we consider the probability distribution function of a Gibbs measure supported on a self-conformal set given by an iterated function system (devil's staircase). We use thermodynamic multifractal formalism to calculate the Hausdorff dimension of the sets $S^α_{0}$, $S^α_{\infty}$ and $S^α$, the set of points at which this function has, respectively, Hölder derivative 0, $\infty$ or no derivative in the general sense. This extends recent work by Darst, Dekking, Falconer, Kesseböhmer and Stratmann and Yao, Zhang and Li.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.