-
Greedy Beta-expansions for families of Salem numbers
Authors:
Kevin G. Hare,
Liam Orovec
Abstract:
We give criteria for finding the greedy $β$-expansion for $1$ for families of Salem numbers that approach a given Pisot number. We show that these expansions are related to the greedy expansion under the Pisot base. This expands on the work of Hare and Tweedle.
We give criteria for finding the greedy $β$-expansion for $1$ for families of Salem numbers that approach a given Pisot number. We show that these expansions are related to the greedy expansion under the Pisot base. This expands on the work of Hare and Tweedle.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Attainable Assouad-like dimensions of randomly generated Moran sets and measures
Authors:
Kathryn E. Hare,
Franklin Mendivil
Abstract:
In this paper we study the Assouad-like $Φ$ dimensions of sets and measures that are constructed by a random weighted iterated function system of similarities. These dimensions are distinguished by the depth of the scales considered and thus provide more refined infomation about the local geometry/behaviour of a set or measure. The Assouad dimensions are important well-known examples. We determine…
▽ More
In this paper we study the Assouad-like $Φ$ dimensions of sets and measures that are constructed by a random weighted iterated function system of similarities. These dimensions are distinguished by the depth of the scales considered and thus provide more refined infomation about the local geometry/behaviour of a set or measure. The Assouad dimensions are important well-known examples. We determine the almost sure value of the upper and lower Assouad dimension of the random set. We also determine the range of attainable upper and lower (small) $Φ$ dimensions of the measures, in both the situation where the probability weights can depend on the scaling factors and when they cannot. In the later case we find that there is a ``gap'' between the dimension of the set and the dimensions of the associated family of random measures.
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
Bounding the Local Dimension of the Convolution of Measures
Authors:
Kevin G. Hare,
Joaquin G. Prandi
Abstract:
We study the local dimension of the convolution of two measures. We give conditions for bounding the local dimension of the convolution on the basis of the local dimension of one of them. Moreover, we give a formula for the local dimension of some special points in the support of the convolution.
We study the local dimension of the convolution of two measures. We give conditions for bounding the local dimension of the convolution on the basis of the local dimension of one of them. Moreover, we give a formula for the local dimension of some special points in the support of the convolution.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
Totally real algebraic numbers in generalized Mandelbrot set
Authors:
Kevin G. Hare,
Chatchai Noytaptim
Abstract:
In this article, we study some potential theoretical and topological aspects of the generalized Mandelbrot set introduced by Baker and DeMarco. For $α$ real, we study the set of all totally real algebraic parameters $c$ such that $α$ is preperiodic under the iteration of the one-parameter family $f_c(x) = x^2 + c$. We show that when $|α| < 2$ and rational then the set of totally real algebraic par…
▽ More
In this article, we study some potential theoretical and topological aspects of the generalized Mandelbrot set introduced by Baker and DeMarco. For $α$ real, we study the set of all totally real algebraic parameters $c$ such that $α$ is preperiodic under the iteration of the one-parameter family $f_c(x) = x^2 + c$. We show that when $|α| < 2$ and rational then the set of totally real algebraic parameters $c$ with this property is finite, whereas if $|α| \geq 2$ and rational then this set is countably infinite. As an unexpected consequence of this study, we also show that when $|α| \geq 2$ then parameters $c$ such that $α$ is $f_c$-periodic are necessarily real. As a special case, we classify all totally real algebraic integers $c$ such that $α= \pm1$ is preperiodic.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Equicontractive weak separation property on the line does not imply convex finite type condition
Authors:
Kevin G. Hare
Abstract:
Let $\{S_1, S_2, \dots, S_n\}$ be an iterated function system on $\mathbb{R}$ with attractor $K$. It is known that if the iterated function system satisfies the weak separation property and $K = [0,1]$ then the iterated function system also satisfies the convex finite type condition. We show that the condition $K = [0,1]$ is necessary. That is, we give two examples of iterated function systems on…
▽ More
Let $\{S_1, S_2, \dots, S_n\}$ be an iterated function system on $\mathbb{R}$ with attractor $K$. It is known that if the iterated function system satisfies the weak separation property and $K = [0,1]$ then the iterated function system also satisfies the convex finite type condition. We show that the condition $K = [0,1]$ is necessary. That is, we give two examples of iterated function systems on $\mathbb{R}$ satisfying weak separation condition, and $0< \dim_H(K) < 1$ such that the IFS does not satisfy the convex finite type condition.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Self-similar sets and self-similar measures in the $p$-adics
Authors:
Kevin G. Hare,
Tomáš Vávra
Abstract:
In this paper we investigate $p$-adic self-similar sets and $p$-adic self-similar measures. We show that $p$-adic self-similar sets are $p$-adic path set fractals, and that the converse is not necessarily true. For $p$-adic self-similar sets and $p$-adic self-similar measures, we show the existence of a unique essential class. We show that, under mild assumptions, the decimation of $p$-adic self-s…
▽ More
In this paper we investigate $p$-adic self-similar sets and $p$-adic self-similar measures. We show that $p$-adic self-similar sets are $p$-adic path set fractals, and that the converse is not necessarily true. For $p$-adic self-similar sets and $p$-adic self-similar measures, we show the existence of a unique essential class. We show that, under mild assumptions, the decimation of $p$-adic self-similar sets is maximal. For $p$-adic self-similar measures, we show that many results involving local dimension are similar to those of their real counterparts, with fewer complications. Most of these results use the additional structure of self-similarity, and are not true in general for $p$-adic path set fractals.
△ Less
Submitted 17 July, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Computational progress on the unfair 0-1 polynomial Conjecture
Authors:
Kevin G. Hare
Abstract:
Let $c(x)$ be a monic integer polynomial with coefficients $0$ or $1$. Write $c(x) = a(x) b(x)$ where $a(x)$ and $b(x)$ are monic polynomials with non-negative real (not necessarily integer) coefficients. The unfair 0--1 polynomial conjecture states that $a(x)$ and $b(x)$ are necessarily integer polynomials with coefficients $0$ or $1$. Let $a(x)$ be a candidate factor of a (currently unknown) 0--…
▽ More
Let $c(x)$ be a monic integer polynomial with coefficients $0$ or $1$. Write $c(x) = a(x) b(x)$ where $a(x)$ and $b(x)$ are monic polynomials with non-negative real (not necessarily integer) coefficients. The unfair 0--1 polynomial conjecture states that $a(x)$ and $b(x)$ are necessarily integer polynomials with coefficients $0$ or $1$. Let $a(x)$ be a candidate factor of a (currently unknown) 0--1 polynomial. We will assume that we know if a coefficient is $0$, $1$ or strictly between $0$ and $1$, but that we do not know the precise value of non-integer coefficients. Given this candidate $a(x)$, this paper gives an algorithm to either find a $b(x)$ and $c(x)$ with $a(x) b(x) = c(x)$ such that $b(x)$ has non-negative real coefficients and $c(x)$ has coefficients $0$ or $1$, or (often) shows that no such $c(x)$ and $b(x)$ exist. Using this algorithm, we consider all candidate factors with degree less than or equal to 15. With the exception of 975 candidate factors (out of a possible 7141686 cases), this algorithm shows that there do not exist $b(x)$ with non-negative real coefficients and $c(x)$ with coefficients $0$ or $1$ such that $a(x) b(x) = c(x)$.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
The Minkowski sum of linear Cantor sets
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y \in C$ (the set of uniqueness). It isn't difficult to show that $\dim_H U = \log(2) / \log(3)$ and $U$ essentially looks like $2C$.
Assuming…
▽ More
Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y \in C$ (the set of uniqueness). It isn't difficult to show that $\dim_H U = \log(2) / \log(3)$ and $U$ essentially looks like $2C$.
Assuming $0,n-1 \in A \subset \{0,1,\dots,n-1\}$, define $C_A = C_{A,n}$ as the linear Cantor set which the attractor of the iterated function system \[ \{ x \mapsto (x + a) / n: a \in A \}. \] We consider various properties of such linear Cantor sets. Our main focus will be on the structure of $C_{A,n}+C_{A,n}$ depending on $n$ and $A$ as well as the properties of the set of uniqueness $U_A$.
△ Less
Submitted 19 October, 2022; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Assouad-like dimensions of a class of random Moran measures II -- non-homogeneous Moran sets
Authors:
Kathryn E. Hare,
Franklin Mendivil
Abstract:
In this paper, we determine the almost sure values of the $Φ$-dimensions of random measures $μ$ supported on random Moran sets in $\R^d$ that satisfy a uniform separation condition. This paper generalizes earlier work done on random measures on homogeneous Moran sets \cite{HM} to the case of unequal scaling factors. The $Φ$-dimensions are intermediate Assouad-like dimensions with the (quasi-)Assou…
▽ More
In this paper, we determine the almost sure values of the $Φ$-dimensions of random measures $μ$ supported on random Moran sets in $\R^d$ that satisfy a uniform separation condition. This paper generalizes earlier work done on random measures on homogeneous Moran sets \cite{HM} to the case of unequal scaling factors. The $Φ$-dimensions are intermediate Assouad-like dimensions with the (quasi-)Assouad dimensions and the $θ$-Assouad spectrum being special cases.
The almost sure value of $\dim_Φμ$ exhibits a threshold phenomena, with one value for ``large'' $Φ$ (with the quasi-Assouad dimension as an example of a ``large'' dimension) and another for ``small'' $Φ$ (with the Assouad dimension as an example of a ``small'' dimension). We give many applications, including where the scaling factors are fixed and the probabilities are uniformly distributed. The almost sure $Φ$ dimension of the underlying random set is also a consequence of our results.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
Self-similar measures with unusual local dimension properties
Authors:
Kevin G. Hare
Abstract:
Let $μ$ be a self-similar measure satisfying the finite type condition. It is known that the set of attainable local dimensions for such a measure is a union of disjoint intervals, where some intervals may be degenerate points. Despite this, it has not been shown if this full complexity of attainable local dimensions is achievable. In this paper we give two different constructions. The first is a…
▽ More
Let $μ$ be a self-similar measure satisfying the finite type condition. It is known that the set of attainable local dimensions for such a measure is a union of disjoint intervals, where some intervals may be degenerate points. Despite this, it has not been shown if this full complexity of attainable local dimensions is achievable. In this paper we give two different constructions. The first is a measure $μ$ where the set of all attainable local dimensions is the union of an interval union and an arbitrary number of disjoint points. The second is a measure $μ$ where the set of all attainable local dimensions is the union of an arbitrary number of disjoint intervals. As an application to these construction, we study the multi-fractal spectrum $f_μ(α)$ and the $L^q$-spectrum $τ_μ(q)$ of these measures. We given an example of a $μ$ where $f_μ(α)$ is not concave, and where $τ_μ(q)$ has two points of non-differentiability.
△ Less
Submitted 31 January, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Non-expansive matrix number systems with bases similar to $J_n(1)$
Authors:
Joshua W. Caldwell,
Kevin G. Hare,
Tomáš Vávra
Abstract:
We study representations of integral vectors in a number system with a matrix base $M$ and vector digits. We focus on the case when $M$ is similar to $J_n$, the Jordan block of $1$ of size $n$. If $M=J_2$, we classify digit sets of size 2 allowing representation of the whole $\mathbb{Z}^2$. For $J_n$ with $n\geq 3$, it is shown that three digits suffice to represent all of $\mathbb{Z}^n$. For base…
▽ More
We study representations of integral vectors in a number system with a matrix base $M$ and vector digits. We focus on the case when $M$ is similar to $J_n$, the Jordan block of $1$ of size $n$. If $M=J_2$, we classify digit sets of size 2 allowing representation of the whole $\mathbb{Z}^2$. For $J_n$ with $n\geq 3$, it is shown that three digits suffice to represent all of $\mathbb{Z}^n$. For bases similar to $J_n$, at most $n$ digits are required, with the exception of $n=1$. Moreover, the language of strings representing the zero vector with $M=J_2$ and the digits $(0,\pm 1)^T$ is shown not to be context-free, but to be recognizable by a Turing machine with logarithmic memory.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
The Absolute continuity of convolutions of orbital measures in SO(2n+1)
Authors:
Kathryn E. Hare
Abstract:
Let $G$ be a compact Lie group of Lie type $B_{n},$ such as $SO(2n+1)$. We characterize the tuples\ $(x_{1},...,x_{L})$ of the elements $x_{j}\in G$ which have the property that the product of their conjugacy classes has non-empty interior. Equivalently, the convolution product of the orbital measures supported on their conjugacy classes is absolutely continuous with respect to Haar measure. The c…
▽ More
Let $G$ be a compact Lie group of Lie type $B_{n},$ such as $SO(2n+1)$. We characterize the tuples\ $(x_{1},...,x_{L})$ of the elements $x_{j}\in G$ which have the property that the product of their conjugacy classes has non-empty interior. Equivalently, the convolution product of the orbital measures supported on their conjugacy classes is absolutely continuous with respect to Haar measure. The characterization depends on the dimensions of the largest eigenspaces of each $x_{j}$. Such a characterization was previously only known for the compact Lie groups of type $A_{n}$.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Assouad-like dimensions of random Moran measures
Authors:
Kathryn E. Hare,
Franklin Mendivil
Abstract:
In this paper, we determine the almost sure values of the $Φ$-dimensions of random measures supported on random Moran sets that satisfy a uniform separation condition. The $Φ$-dimensions are intermediate Assouad-like dimensions, the (quasi-)Assouad dimensions and $θ$-Assouad spectrum being special cases. Their values depend on the size of $Φ$, with one size coinciding with the Assouad dimension an…
▽ More
In this paper, we determine the almost sure values of the $Φ$-dimensions of random measures supported on random Moran sets that satisfy a uniform separation condition. The $Φ$-dimensions are intermediate Assouad-like dimensions, the (quasi-)Assouad dimensions and $θ$-Assouad spectrum being special cases. Their values depend on the size of $Φ$, with one size coinciding with the Assouad dimension and the other coinciding with the quasi-Assouad dimension. We give many applications, including to equicontractive self-similar measures and $1$-variable random Moran measures such as Cantor-like measures with probabilities that are uniformly distributed. We can also deduce the $Φ$-dimensions of the underlying random sets.
△ Less
Submitted 28 May, 2021;
originally announced May 2021.
-
Local Dimensions of Self-similar Measures Satisfying the Finite Neighbour Condition
Authors:
Kathryn E. Hare,
Alex Rutar
Abstract:
We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical assumption, we establish that the set of attainable local dimensions is a finite union of (possibly singleton) compact intervals. The number of intervals is bo…
▽ More
We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical assumption, we establish that the set of attainable local dimensions is a finite union of (possibly singleton) compact intervals. The number of intervals is bounded above by the number of non-trivial maximal strongly connected components of a finite directed graph construction depending only on the governing iterated function system. We also explain how our results allow computations of the sets of local dimensions in many explicit cases. This contextualizes and generalizes a vast amount of prior work on sets of local dimensions for self-similar measures satisfying the weak separation condition.
△ Less
Submitted 4 September, 2022; v1 submitted 18 January, 2021;
originally announced January 2021.
-
On a family of Self-Affine IFS whose attractors have a non-fractal top
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $0< λ< μ<1$ and $λ+μ>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{λ,μ}$ of the IFS $\{(λx,μy), (μx+1-μ, λy+1-λ)\}$ is the graph of a continuous, strictly increasing function. Despite this, for most parameters, $A_{λ, μ}$ has a box dimension strictly greater than 1, showing that the upper boundary is not representative of the complexity of…
▽ More
Let $0< λ< μ<1$ and $λ+μ>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{λ,μ}$ of the IFS $\{(λx,μy), (μx+1-μ, λy+1-λ)\}$ is the graph of a continuous, strictly increasing function. Despite this, for most parameters, $A_{λ, μ}$ has a box dimension strictly greater than 1, showing that the upper boundary is not representative of the complexity of the fractal. Finally, we prove that if $λμ\ge 2^{-1/6}$, then $A_{λ,μ}$ has a non-empty interior.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Conjugates of Pisot numbers
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
In this paper we investigate the Galois conjugates of a Pisot number $q \in (m, m+1)$, $m \geq 1$. In particular, we conjecture that for $q \in (1,2)$ we have $|q'| \geq \frac{\sqrt{5}-1}{2}$ for all conjugates $q'$ of $q$. Further, for $m \geq 3$, we conjecture that for all Pisot numbers $q \in (m, m+1)$ we have $|q'| \geq \frac{m+1-\sqrt{m^2+2m-3}}{2}$. A similar conjecture if made for $m =2$. W…
▽ More
In this paper we investigate the Galois conjugates of a Pisot number $q \in (m, m+1)$, $m \geq 1$. In particular, we conjecture that for $q \in (1,2)$ we have $|q'| \geq \frac{\sqrt{5}-1}{2}$ for all conjugates $q'$ of $q$. Further, for $m \geq 3$, we conjecture that for all Pisot numbers $q \in (m, m+1)$ we have $|q'| \geq \frac{m+1-\sqrt{m^2+2m-3}}{2}$. A similar conjecture if made for $m =2$. We conjecture that all of these bounds are tight. We provide partial supporting evidence for this conjecture. This evidence is both of a theoretical and computational nature.
Lastly, we connect this conjecture to a result on the dimension of Bernoulli convolutions parameterized by $β$, whose conjugate is the reciprocal of a Pisot number.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
The smoothness of orbital measures on noncompact symmetric spaces
Authors:
Sanjiv Kumar Gupta,
Kathryn E. Hare
Abstract:
Let $G/K$ be an irreducible symmetric space where $G$ is a non-compact, connected Lie group and $K$ is a compact, connected subgroup. We use decay properties of the spherical functions to show that the convolution product of any $r=r(G/K)$ continuous orbital measures has its density function in $% L^{2}(G)$ and hence is an absolutely continuous measure with respect to Haar measure. The number $r$…
▽ More
Let $G/K$ be an irreducible symmetric space where $G$ is a non-compact, connected Lie group and $K$ is a compact, connected subgroup. We use decay properties of the spherical functions to show that the convolution product of any $r=r(G/K)$ continuous orbital measures has its density function in $% L^{2}(G)$ and hence is an absolutely continuous measure with respect to Haar measure. The number $r$ is approximately the rank of $G/K$. For the special case of the orbital measures, $ν_{a_{i}}$, supported on the double cosets $Ka_{i}K$ where $a_{i}$ belongs to the dense set of regular elements, we prove the sharp result that $ν_{a_{1}}\ast ν_{a_{2}}\in L^{2},$ except for the symmetric space of Cartan type $AI$ when the convolution of three orbital measures is needed (even though $ν_{a_{1}}\ast ν_{a_{2}}$ is absolutely continuous).
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Intermediate Assouad-like dimensions for measures
Authors:
Kathryn E. Hare,
Kevin G. Hare
Abstract:
The upper and lower Assouad dimensions of a metric space are local variants of the box dimensions of the space and provide quantitative information about the `thickest' and `thinnest' parts of the set. Less extreme versions of these dimensions for sets have been introduced, including the upper and lower quasi-Assouad dimensions, $θ$-Assouad spectrum, and $Φ$-dimensions. In this paper, we study the…
▽ More
The upper and lower Assouad dimensions of a metric space are local variants of the box dimensions of the space and provide quantitative information about the `thickest' and `thinnest' parts of the set. Less extreme versions of these dimensions for sets have been introduced, including the upper and lower quasi-Assouad dimensions, $θ$-Assouad spectrum, and $Φ$-dimensions. In this paper, we study the analogue of the upper and lower $Φ$-dimensions for measures. We give general properties of such dimensions, as well as more specific results for self-similar measures satisfying various separation properties and discrete measures.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
When the Weak Separation Condition implies the Generalized Finite Type Condition
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Alex Rutar
Abstract:
We prove that an iterated function system of similarities on $\mathbb{R}$ that satisfies the weak separation condition and has an interval as its self-similar set satisfies the stronger generalized finite type condition. It is unknown if the assumption that the self-similar set is an interval is necessary.
We prove that an iterated function system of similarities on $\mathbb{R}$ that satisfies the weak separation condition and has an interval as its self-similar set satisfies the stronger generalized finite type condition. It is unknown if the assumption that the self-similar set is an interval is necessary.
△ Less
Submitted 17 March, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Riesz bases of exponentials and the Bohr topology
Authors:
Carlos Cabrelli,
Kathryn Hare,
Ursula Molter
Abstract:
We provide a necessary and sufficient condition to ensure that a multi-tile $Ω$ of $R^d$ of positive measure (but not necessarily bounded) admits a structured Riesz basis of exponentials for $ L^{2}(Ω)$. New examples are given and this characterization is generalized to abstract locally compact abelian groups.
We provide a necessary and sufficient condition to ensure that a multi-tile $Ω$ of $R^d$ of positive measure (but not necessarily bounded) admits a structured Riesz basis of exponentials for $ L^{2}(Ω)$. New examples are given and this characterization is generalized to abstract locally compact abelian groups.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Computing Garsia Entropy for Bernoulli Convolutions with Algebraic Parameters
Authors:
Kevin G. Hare,
Tom Kempton,
Tomas Persson,
Nikita Sidorov
Abstract:
We introduce a parameter space containing all algebraic integers $β\in(1,2]$ that are not Pisot or Salem numbers, and a sequence of increasing piecewise continuous function on this parameter space which gives a lower bound for the Garsia entropy of the Bernoulli convolution $ν_β$. This allows us to show that $\mathrm{dim}_\mathrm{H} (ν_β)=1$ for all $β$ with representations in certain open regions…
▽ More
We introduce a parameter space containing all algebraic integers $β\in(1,2]$ that are not Pisot or Salem numbers, and a sequence of increasing piecewise continuous function on this parameter space which gives a lower bound for the Garsia entropy of the Bernoulli convolution $ν_β$. This allows us to show that $\mathrm{dim}_\mathrm{H} (ν_β)=1$ for all $β$ with representations in certain open regions of the parameter space.
△ Less
Submitted 5 November, 2023; v1 submitted 23 December, 2019;
originally announced December 2019.
-
On Newman and Littlewood polynomials with prescribed number of zeros inside the unit disk
Authors:
Kevin G. Hare,
Jonas Jankauskas
Abstract:
We study $\{0, 1\}$ and $\{-1, 1\}$ polynomials $f(z)$, called Newman and Littlewood polynomials, that have a prescribed number $N(f)$ of zeros in the open unit disk $\mathcal{D} = \{z \in \mathbb{C}: |z| < 1\}$. For every pair $(k, n) \in \mathbb{N}^2$, where $n \geq 7$ and $k \in [3, n-3]$, we prove that it is possible to find a $\{0, 1\}$--polynomial $f(z)$ of degree $\text{deg }{f}=n$ with non…
▽ More
We study $\{0, 1\}$ and $\{-1, 1\}$ polynomials $f(z)$, called Newman and Littlewood polynomials, that have a prescribed number $N(f)$ of zeros in the open unit disk $\mathcal{D} = \{z \in \mathbb{C}: |z| < 1\}$. For every pair $(k, n) \in \mathbb{N}^2$, where $n \geq 7$ and $k \in [3, n-3]$, we prove that it is possible to find a $\{0, 1\}$--polynomial $f(z)$ of degree $\text{deg }{f}=n$ with non--zero constant term $f(0) \ne 0$, such that $N(f)=k$ and $f(z) \ne 0$ on the unit circle $\partial\mathcal{D}$. On the way to this goal, we answer a question of D.~W.~Boyd from 1986 on the smallest degree Newman polynomial that satisfies $|f(z)| > 2$ on the unit circle $\partial \mathcal{D}$. This polynomial is of degree $38$ and we use this special polynomial in our constructions. We also identify (without a proof) all exceptional $(k, n)$ with $k \in \{1, 2, 3, n-3, n-2, n-1\}$, for which no such $\{0, 1\}$--polynomial of degree $n$ exists: such pairs are related to regular (real and complex) Pisot numbers.
Similar, but less complete results for $\{-1, 1\}$ polynomials are established. We also look at the products of spaced Newman polynomials and consider the rotated large Littlewood polynomials. Lastly, based on our data, we formulate a natural conjecture about the statistical distribution of $N(f)$ in the set of Newman and Littlewood polynomials.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
A non-abelian, non-Sidon, completely bounded $Λ(p)$ set
Authors:
Kathryn Hare,
Parasar Mohanty
Abstract:
The purpose of this note is to construct an example of a discrete non-abelian group $G$ and a subset $E$ of $G$, not contained in any abelian subgroup, that is a completely bounded $Λ(p)$ set for all $p<\infty ,$ but is neither a Leinert set nor a weak Sidon set.
The purpose of this note is to construct an example of a discrete non-abelian group $G$ and a subset $E$ of $G$, not contained in any abelian subgroup, that is a completely bounded $Λ(p)$ set for all $p<\infty ,$ but is neither a Leinert set nor a weak Sidon set.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
Generalised Fibonacci sequences constructed from balancing words
Authors:
Kevin Hare,
J. C. Saunders
Abstract:
We study growth rates of generalised Fibonacci sequences of a particular structure. These sequences are constructed from choosing two real numbers for the first two terms and always having the next term be either the sum or the difference of the two preceding terms where the pluses and minuses follow a certain pattern. In 2012, McLellan proved that if the pluses and minuses follow a periodic patte…
▽ More
We study growth rates of generalised Fibonacci sequences of a particular structure. These sequences are constructed from choosing two real numbers for the first two terms and always having the next term be either the sum or the difference of the two preceding terms where the pluses and minuses follow a certain pattern. In 2012, McLellan proved that if the pluses and minuses follow a periodic pattern and $G_n$ is the $n$th term of the resulting generalised Fibonacci sequence, then \begin{equation*} \lim_{n\rightarrow\infty}|G_n|^{1/n} \end{equation*} exists. We extend her results to recurrences of the form $G_{m+2} = α_m G_{m+1} \pm G_{m}$ if the choices of pluses and minuses, and of the $α_m$ follow a balancing word type pattern.
△ Less
Submitted 18 February, 2021; v1 submitted 17 October, 2019;
originally announced October 2019.
-
The $L^q$-spectrum for a class of self-similar measures with overlap
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Wanchun Shen
Abstract:
It is known that the heuristic principle, referred to as the multifractal formalism, need not hold for self-similar measures with overlap, such as the $3$-fold convolution of the Cantor measure and certain Bernoulli convolutions. In this paper we study an important function in the multifractal theory, the $L^{q}$-spectrum, $τ(q)$, for measures of finite type, a class of self-similar measures that…
▽ More
It is known that the heuristic principle, referred to as the multifractal formalism, need not hold for self-similar measures with overlap, such as the $3$-fold convolution of the Cantor measure and certain Bernoulli convolutions. In this paper we study an important function in the multifractal theory, the $L^{q}$-spectrum, $τ(q)$, for measures of finite type, a class of self-similar measures that includes these examples. Corresponding to each measure, we introduce finitely many variants on the $% L^{q}$-spectrum which arise naturally from the finite type structure and are often easier to understand than $τ$. We show that $τ$ is always bounded by the minimum of these variants and is equal to the minimum variant for $q\geq 0$. This particular variant coincides with the $L^{q}$-spectrum of the measure $μ$ restricted to appropriate subsets of its support. If the IFS satisfies particular structural properties, which do hold for the above examples, then $τ$ is shown to be the minimum of these variants for all $q$. Under certain assumptions on the local dimensions of $μ$, we prove that the minimum variant for $q \ll 0$ coincides with the straight line having slope equal to the maximum local dimension of $μ$. Again, this is the case with the examples above. More generally, bounds are given for $τ$ and its variants in terms of notions closely related to the local dimensions of $μ$.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Measures with specified support and arbitrary Assouad dimensions
Authors:
Kathryn E. Hare,
Franklin Mendivil,
Leandro Zuberman
Abstract:
We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any $0\leq d<\dim_{L}E,$ there is a measure on $E$ with lower Assouad dimension $d$.
We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any $0\leq d<\dim_{L}E,$ there is a measure on $E$ with lower Assouad dimension $d$.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
The smoothness of convolutions of orbital measures on complex Grassmannian symmetric spaces
Authors:
Sanjiv Kumar Gupta,
Kathryn E. Hare
Abstract:
It is well known that if $G/K$ is any irreducible symmetric space and $μ_{a}$ is a continuous orbital measure supported on the double coset $KaK,$ then the convolution product, $μ_{a}^{k},$ is absolutely continuous for some suitably large $k\leq \dim G/K$. The minimal value of $k$ is known in some symmetric spaces and in the special case of groups or rank one symmetric spaces it has even been show…
▽ More
It is well known that if $G/K$ is any irreducible symmetric space and $μ_{a}$ is a continuous orbital measure supported on the double coset $KaK,$ then the convolution product, $μ_{a}^{k},$ is absolutely continuous for some suitably large $k\leq \dim G/K$. The minimal value of $k$ is known in some symmetric spaces and in the special case of groups or rank one symmetric spaces it has even been shown that $μ_{a}^{k}$ belongs to the smaller space $L^{2}$ for some $k$. Here we prove that this $L^{2}$ property holds for all the compact, complex Grassmanian symmetric spaces, $% SU(p+q)/S(U(p)\times U(q))$. Moreover, for the orbital measures at a dense set of points $a$, we prove that $μ_{a}^{2}\in L^{2}$ (or $μ_{a}^{3}\in L^{2}$ if $p=q$).
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Almost sure Assouad-like Dimensions of Complementary sets
Authors:
Ignacio García,
Kathryn E. Hare,
Franklin Mendivil
Abstract:
Given a non-negative, decreasing sequence $a$ with sum $1$, we consider all the closed subsets of $[0,1]$ such that the lengths of their complementary open intervals are given by the terms of $a$, the so-called complementary sets. In this paper we determine the almost sure value of the $Φ$-dimensions of these sets given a natural model of randomness. The $Φ$-dimensions are intermediate Assouad-lik…
▽ More
Given a non-negative, decreasing sequence $a$ with sum $1$, we consider all the closed subsets of $[0,1]$ such that the lengths of their complementary open intervals are given by the terms of $a$, the so-called complementary sets. In this paper we determine the almost sure value of the $Φ$-dimensions of these sets given a natural model of randomness. The $Φ$-dimensions are intermediate Assouad-like dimensions which include the Assouad and quasi-Assouad dimensions as special cases. The answers depend on the size of $Φ$, with one size behaving like the Assouad dimension and the other, like the quasi-Assouad dimension.
△ Less
Submitted 18 March, 2019;
originally announced March 2019.
-
Intermediate Assouad-like dimensions
Authors:
Ignacio García,
Kathryn Hare,
Franklin Mendivil
Abstract:
We introduce and study bi-Lipschitz-invariant dimensions that range between the box and Assouad dimensions. The quasi-Assouad dimensions and $θ$-spectrum are other special examples of these intermediate dimensions. These dimensions are localized, like Assouad dimensions, but vary in the depth of scale which is considered, thus they provide very refined geometric information.
We investigate the r…
▽ More
We introduce and study bi-Lipschitz-invariant dimensions that range between the box and Assouad dimensions. The quasi-Assouad dimensions and $θ$-spectrum are other special examples of these intermediate dimensions. These dimensions are localized, like Assouad dimensions, but vary in the depth of scale which is considered, thus they provide very refined geometric information.
We investigate the relationship between these and the familiar dimensions. We construct a Cantor set with a non-trivial interval of dimensions, the endpoints of this interval being given by the quasi-Assouad and Assouad dimensions of the set. We study continuity-like properties of the dimensions. In contrast with the Assouad-type dimensions, we see that decreasing sets in $\mathbb{R}$ with decreasing gaps need not have dimension $0$ or $1$.
Formulas are given for the dimensions of Cantor-like sets and these are used in some of our constructions. We also show that, as is the case for Hausdorff and Assouad dimensions, the Cantor set and the decreasing set have the extreme dimensions among all compact sets in $\mathbb{R}$ whose complementary set consists of open intervals of the same lengths.
△ Less
Submitted 8 September, 2020; v1 submitted 17 March, 2019;
originally announced March 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.
-
The Entropy of Cantor--like measures
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Brian P. M. Morris,
Wanchun Shen
Abstract:
By a Cantor-like measure we mean the unique self-similar probability measure $μ$ satisfying $μ=\sum_{i=0}^{m-1}p_{i}μ\circ S_{i}^{-1}$ where $% S_{i}(x)=\frac{x}{d}+\frac{i}{d}\cdot \frac{d-1}{m-1}$ for integers $2\leq d<m\le 2d-1$ and probabilities $p_{i}>0$, $\sum p_{i}=1$. In the uniform case ($p_{i}=1/m$ for all $i$) we show how one can compute the entropy and Hausdorff dimension to arbitrary…
▽ More
By a Cantor-like measure we mean the unique self-similar probability measure $μ$ satisfying $μ=\sum_{i=0}^{m-1}p_{i}μ\circ S_{i}^{-1}$ where $% S_{i}(x)=\frac{x}{d}+\frac{i}{d}\cdot \frac{d-1}{m-1}$ for integers $2\leq d<m\le 2d-1$ and probabilities $p_{i}>0$, $\sum p_{i}=1$. In the uniform case ($p_{i}=1/m$ for all $i$) we show how one can compute the entropy and Hausdorff dimension to arbitrary precision. In the non-uniform case we find bounds on the entropy.
△ Less
Submitted 29 September, 2018;
originally announced October 2018.
-
Sidon sets are proportionally Sidon with small Sidon constants
Authors:
Kathryn E. Hare,
Robert,
Yang
Abstract:
In his seminal work on Sidon sets, Pisier found an important characterization of Sidonicity: A set is Sidon if and only if it is proportionally quasi-independent. Later, it was shown that Sidon sets were proportionally `special' Sidon in several other ways. Here, we prove that Sidon sets in torsion-free groups are proportionally $n$-degree independent, a higher order of independence than quasi-ind…
▽ More
In his seminal work on Sidon sets, Pisier found an important characterization of Sidonicity: A set is Sidon if and only if it is proportionally quasi-independent. Later, it was shown that Sidon sets were proportionally `special' Sidon in several other ways. Here, we prove that Sidon sets in torsion-free groups are proportionally $n$-degree independent, a higher order of independence than quasi-independence, and we use this to prove that Sidon sets are proportionally Sidon with Sidon constants arbitrarily close to one, the minimum possible value.
△ Less
Submitted 9 August, 2018;
originally announced August 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.
-
Local dimensions of overlapping self-similar measures
Authors:
Kathryn E. Hare,
Kevin G. Hare
Abstract:
We show that any equicontractive, self-similar measure arising from the IFS of contractions $(S_{j})$, with self-similar set $[0,1]$, admits an isolated point in its set of local dimensions provided the images of $S_{j}(0,1)$ (suitably) overlap and the minimal probability is associated with one (resp., both) of the endpoint contractions. Examples include $m$-fold convolution products of Bernoulli…
▽ More
We show that any equicontractive, self-similar measure arising from the IFS of contractions $(S_{j})$, with self-similar set $[0,1]$, admits an isolated point in its set of local dimensions provided the images of $S_{j}(0,1)$ (suitably) overlap and the minimal probability is associated with one (resp., both) of the endpoint contractions. Examples include $m$-fold convolution products of Bernoulli convolutions or Cantor measures with contraction factor exceeding $1/(m+1)$ in the biased case and $1/m$ in the unbiased case. We also obtain upper and lower bounds on the set of local dimensions for various Bernoulli convolutions.
△ Less
Submitted 23 July, 2018;
originally announced July 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.
-
Applications of Integer and Semi-Infinite Programming to the Integer Chebyshev Problem
Authors:
Kevin G. Hare,
Philip W. Hodges
Abstract:
We consider the integer Chebyshev problem, that of minimizing the supremum norm over polynomials with integer coefficients on the interval $[0,1]$. We implement algorithms from semi-infinite programming and a branch and bound algorithm to improve on previous methods for finding integer Chebyshev polynomials of degree $n$. Using our new method, we found 16 new integer Chebyshev polynomials of degre…
▽ More
We consider the integer Chebyshev problem, that of minimizing the supremum norm over polynomials with integer coefficients on the interval $[0,1]$. We implement algorithms from semi-infinite programming and a branch and bound algorithm to improve on previous methods for finding integer Chebyshev polynomials of degree $n$. Using our new method, we found 16 new integer Chebyshev polynomials of degrees in the range 147 to 244.
△ Less
Submitted 25 October, 2018; v1 submitted 16 April, 2018;
originally announced April 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.
-
When is an automatic set an additive basis?
Authors:
Jason Bell,
Kathryn Hare,
Jeffrey Shallit
Abstract:
We characterize those $k$-automatic sets $S$ of natural numbers that form an additive basis for the natural numbers, and we show that this characterization is effective. In addition, we give an algorithm to determine the smallest $j$ such that $S$ forms an additive basis of order $j$, if it exists.
We characterize those $k$-automatic sets $S$ of natural numbers that form an additive basis for the natural numbers, and we show that this characterization is effective. In addition, we give an algorithm to determine the smallest $j$ such that $S$ forms an additive basis of order $j$, if it exists.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Transferring spherical multipliers on compact symmetric spaces
Authors:
Sanjiv K. Gupta,
Kathryn E. Hare
Abstract:
We prove a two-sided transference theorem between $L^{p}$ spherical multipliers on the compact symmetric space $U/K$ and $L^{p}$ multipliers on the vector space $i\mathfrak{p},$ where the Lie algebra of $U$ has Cartan decomposition $\mathfrak{k\oplus }i\mathfrak{p}$. This generalizes the classic theorem transference theorem of deLeeuw relating multipliers on $% L^{p}(\mathbb{T)}$ and…
▽ More
We prove a two-sided transference theorem between $L^{p}$ spherical multipliers on the compact symmetric space $U/K$ and $L^{p}$ multipliers on the vector space $i\mathfrak{p},$ where the Lie algebra of $U$ has Cartan decomposition $\mathfrak{k\oplus }i\mathfrak{p}$. This generalizes the classic theorem transference theorem of deLeeuw relating multipliers on $% L^{p}(\mathbb{T)}$ and $L^{p}(\mathbb{R)}$.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Open maps: small and large holes with unusual properties
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlapping union of shifted cylinders which intersect every orbit under the shift map.
We also show that for any proper subshift $Y$ of $X$ there exists a finite overlapping unions of shifted cylinders such th…
▽ More
Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlapping union of shifted cylinders which intersect every orbit under the shift map.
We also show that for any proper subshift $Y$ of $X$ there exists a finite overlapping unions of shifted cylinders such that its survivor set contains $Y$ (in particular, it can have entropy arbitrarily close to the entropy of $X$). Both results may be seen as somewhat counter-intuitive.
Finally, we apply these results to a certain class of hyperbolic algebraic automorphisms of a torus.
△ Less
Submitted 21 June, 2018; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Local dimensions of measures of finite type III -- Measures that are not equicontractive
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Grant Simms
Abstract:
We extend the study of the multifractal analysis of the class of equicontractive self-similar measures of finite type to the non-equicontractive setting. Although stronger than the weak separation condition, the finite type property includes examples of IFS that fail the open set condition. The important combinatorial properties of equicontractive self-similar measures of finite type are extended…
▽ More
We extend the study of the multifractal analysis of the class of equicontractive self-similar measures of finite type to the non-equicontractive setting. Although stronger than the weak separation condition, the finite type property includes examples of IFS that fail the open set condition. The important combinatorial properties of equicontractive self-similar measures of finite type are extended to the non-equicontractive setting and we prove that many of the results from the equicontractive case carry over to this new, more general, setting. In particular, previously it was shown that if an equicontractive self-similar measure of finite type was {\em regular}, then the calculations of local dimensions were relatively easy. We modify this definition of regular to define measures to be {\em generalized regular}. This new definition will include the non-equicontractive case and obtain similar results. Examples are studied of non-equicontractive self-similar generalized regular measures, as well as equicontractive self-similar measures which generalized regular in this new sense, but which are not regular.
△ Less
Submitted 24 September, 2019; v1 submitted 3 May, 2017;
originally announced May 2017.
-
The baker's map with a convex hole
Authors:
Lyndsey Clark,
Kevin G. Hare,
Nikita Sidorov
Abstract:
We consider the baker's map $B$ on the unit square $X$ and an open convex set $H\subset X$ which we regard as a hole. The survivor set $\mathcal J(H)$ is defined as the set of all points in $X$ whose $B$-trajectories are disjoint from $H$. The main purpose of this paper is to study holes $H$ for which $\dim_H \mathcal J(H)=0$ (dimension traps) as well as those for which any periodic trajectory of…
▽ More
We consider the baker's map $B$ on the unit square $X$ and an open convex set $H\subset X$ which we regard as a hole. The survivor set $\mathcal J(H)$ is defined as the set of all points in $X$ whose $B$-trajectories are disjoint from $H$. The main purpose of this paper is to study holes $H$ for which $\dim_H \mathcal J(H)=0$ (dimension traps) as well as those for which any periodic trajectory of $B$ intersects $\overline H$ (cycle traps).
We show that any $H$ which lies in the interior of $X$ is not a dimension trap. This means that, unlike the doubling map and other one-dimensional examples, we can have $\dim_H \mathcal J(H)>0$ for $H$ whose Lebesgue measure is arbitrarily close to one. Also, we describe holes which are dimension or cycle traps, critical in the sense that if we consider a strictly convex subset, then the corresponding property in question no longer holds.
We also determine $δ>0$ such that $\dim_H \mathcal J(H)>0$ for all convex $H$ whose Lebesgue measure is less than $δ$.
This paper may be seen as a first extension of our work begun in [3, 4, 6, 7, 13] to higher dimensions.
△ Less
Submitted 30 January, 2018; v1 submitted 1 May, 2017;
originally announced May 2017.
-
Properties of Quasi-Assouad dimension
Authors:
Ignacio García,
Kathryn Hare
Abstract:
The connections between quasi-Assouad dimension and tangents are studied. We apply these results to the calculation of the quasi-Assouad dimension for a class of planar self-affine sets. We also show that sets with decreasing gaps have quasi-Assouad dimension $0$ or $1$ and exhibit an example of a set in the plane whose quasi-Assouad dimension is smaller than that of its projection onto the $x$-ax…
▽ More
The connections between quasi-Assouad dimension and tangents are studied. We apply these results to the calculation of the quasi-Assouad dimension for a class of planar self-affine sets. We also show that sets with decreasing gaps have quasi-Assouad dimension $0$ or $1$ and exhibit an example of a set in the plane whose quasi-Assouad dimension is smaller than that of its projection onto the $x$-axis, showing that quasi-Assouad dimension may increase under Lipschitz mappings. Moreover, for closed sets, we show that the Hausdorff dimension is an upper bound for the lower-Assouad dimension.
△ Less
Submitted 25 June, 2019; v1 submitted 7 March, 2017;
originally announced March 2017.
-
On the spectra of Pisot-cyclotomic numbers
Authors:
Kevin G. Hare,
Zuzana Masáková,
Tomáš Vávra
Abstract:
We investigate the complex spectra \[ X^{\mathcal A}(β)=\left\{\sum_{j=0}^na_jβ^j : n\in{\mathbb N},\ a_j\in{\mathcal A}\right\} \] where $β$ is a quadratic or cubic Pisot-cyclotomic number and the alphabet $\mathcal A$ is given by $0$ along with a finite collection of roots of unity. Such spectra are discrete aperiodic structures with crystallographically forbidden symmetries. We discuss in gener…
▽ More
We investigate the complex spectra \[ X^{\mathcal A}(β)=\left\{\sum_{j=0}^na_jβ^j : n\in{\mathbb N},\ a_j\in{\mathcal A}\right\} \] where $β$ is a quadratic or cubic Pisot-cyclotomic number and the alphabet $\mathcal A$ is given by $0$ along with a finite collection of roots of unity. Such spectra are discrete aperiodic structures with crystallographically forbidden symmetries. We discuss in general terms under which conditions they possess the Delone property required for point sets modeling quasicrystals. We study the corresponding Voronoi tilings and we relate these structures to quasilattices arising from the cut and project method.
△ Less
Submitted 29 December, 2016;
originally announced December 2016.
-
An abstract proof of the L2-singular dichotomy for orbital measures on Lie algebras and groups
Authors:
Kathryn Hare,
Jimmy He
Abstract:
Let $G$ be a compact, connected simple Lie group and $\mathfrak{g}$ its Lie algebra. It is known that if $μ$ is any $G$-invariant measure supported on an adjoint orbit in $\mathfrak{g}$, then for each integer $k$, the $k$% -fold convolution product of $μ$ with itself is either singular or in $% L^{2}$. This was originally proven by computations that depended on the Lie type of $\mathfrak{g}$, as w…
▽ More
Let $G$ be a compact, connected simple Lie group and $\mathfrak{g}$ its Lie algebra. It is known that if $μ$ is any $G$-invariant measure supported on an adjoint orbit in $\mathfrak{g}$, then for each integer $k$, the $k$% -fold convolution product of $μ$ with itself is either singular or in $% L^{2}$. This was originally proven by computations that depended on the Lie type of $\mathfrak{g}$, as well as properties of the measure. In this note, we observe that the validity of this dichotomy is a direct consequence of the Duistermaat-Heckman theorem from symplectic geometry and that, in fact, any convolution product of (even distinct) orbital measures is either singular or in $L^{2+\varepsilon }$ for some $\varepsilon >0$. An abstract transference result is given to show that the $L^{2}$-singular dichotomy holds for certain of the $G$-invariant measures supported on conjugacy classes in $G.$
△ Less
Submitted 28 November, 2016;
originally announced November 2016.
-
A lower bound for the dimension of Bernoulli convolutions
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $β\in(1,2)$ and let $H_β$ denote Garsia's entropy for the Bernoulli convolution $μ_β$ associated with $β$. In the present paper we show that $H_β>0.82$ for all $β\in (1, 2)$ and improve this bound for certain ranges. Combined with recent results by Hochman and Breuillard-Varjú, this yields $\dim (μ_β)\ge0.82$ for all $β\in(1,2)$. In addition, we show that if an algebraic $β$ is such that…
▽ More
Let $β\in(1,2)$ and let $H_β$ denote Garsia's entropy for the Bernoulli convolution $μ_β$ associated with $β$. In the present paper we show that $H_β>0.82$ for all $β\in (1, 2)$ and improve this bound for certain ranges. Combined with recent results by Hochman and Breuillard-Varjú, this yields $\dim (μ_β)\ge0.82$ for all $β\in(1,2)$. In addition, we show that if an algebraic $β$ is such that $[\mathbb{Q}(β): \mathbb{Q}(β^k)] = k$ for some $k \geq 2$, then $\dim(μ_β)=1$. Such is, for instance, any root of a Pisot number which is not a Pisot number itself.
△ Less
Submitted 1 March, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
On (a,b) Pairs in Random Fibonacci Sequences
Authors:
Kevin G. Hare,
J. C. Saunders
Abstract:
We study the random Fibonacci tree, which is an infinite binary tree with non-negative integers at each node. The root consists of the number 1 with a single child, also the number 1. We define the tree recursively in the following way: if x is the parent of y, then y has two children, namely |x-y| and x+y. This tree was studied by Benoit Rittaud who proved that any pair of integers a,b that are c…
▽ More
We study the random Fibonacci tree, which is an infinite binary tree with non-negative integers at each node. The root consists of the number 1 with a single child, also the number 1. We define the tree recursively in the following way: if x is the parent of y, then y has two children, namely |x-y| and x+y. This tree was studied by Benoit Rittaud who proved that any pair of integers a,b that are coprime occur as a parent-child pair infinitely often. We extend his results by determining the probability that a random infinite walk in this tree contains exactly one pair (1,1), that being at the root of the tree. Also, we give tight upper and lower bounds on the number of occurrences of any specific coprime pair (a,b) at any given fixed depth in the tree.
△ Less
Submitted 28 February, 2018; v1 submitted 11 August, 2016;
originally announced August 2016.
-
Local dimensions of measures of finite type on the torus
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Kevin R. Matthews
Abstract:
The structure of the set of local dimensions of a self-similar measure has been studied by numerous mathematicians, initially for measures that satisfy the open set condition and, more recently, for measures on $\mathbb{R}$ that are of finite type.
In this paper, our focus is on finite type measures defined on the torus, the quotient space $\mathbb{R}\backslash \mathbb{Z}$. We give criteria whic…
▽ More
The structure of the set of local dimensions of a self-similar measure has been studied by numerous mathematicians, initially for measures that satisfy the open set condition and, more recently, for measures on $\mathbb{R}$ that are of finite type.
In this paper, our focus is on finite type measures defined on the torus, the quotient space $\mathbb{R}\backslash \mathbb{Z}$. We give criteria which ensures that the set of local dimensions of the measure taken over points in special classes generates an interval. We construct a non-trivial example of a measure on the torus that admits an isolated point in its set of local dimensions. We prove that the set of local dimensions for a finite type measure that is the quotient of a self-similar measure satisfying the strict separation condition is an interval. We show that sufficiently many convolutions of Cantor-like measures on the torus never admit an isolated point in their set of local dimensions, in stark contrast to such measures on $\mathbb{R}$. Further, we give a family of Cantor-like measures on the torus where the set of local dimensions is a strict subset of the set of local dimensions, excluding the isolated point, of the corresponding measures on $\mathbb{R}$.
△ Less
Submitted 12 July, 2016;
originally announced July 2016.
-
Generalized Continued Logarithms and Related Continued Fractions
Authors:
Jonathan M. Borwein,
Kevin G. Hare,
Jason G. Lynch
Abstract:
We study continued logarithms as introduced by Bill Gosper and studied by J. Borwein et. al.. After providing an overview of the type I and type II generalizations of binary continued logarithms introduced by Borwein et. al., we focus on a new generalization to an arbitrary integer base $b$. We show that all of our so-called type III continued logarithms converge and all rational numbers have fini…
▽ More
We study continued logarithms as introduced by Bill Gosper and studied by J. Borwein et. al.. After providing an overview of the type I and type II generalizations of binary continued logarithms introduced by Borwein et. al., we focus on a new generalization to an arbitrary integer base $b$. We show that all of our so-called type III continued logarithms converge and all rational numbers have finite type III continued logarithms. As with simple continued fractions, we show that the continued logarithm terms, for almost every real number, follow a specific distribution. We also generalize Khinchine's constant from simple continued fractions to continued logarithms, and show that these logarithmic Khinchine constants have an elementary closed form. Finally, we show that simple continued fractions are the limiting case of our continued logarithms, and briefly consider how we could generalize past continued logarithms.
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Assouad dimensions of complementary sets
Authors:
Ignacio Garcia,
Kathryn Hare,
Franklin Mendivil
Abstract:
Given a positive, decreasing sequence $a,$ whose sum is $L$, we consider all the closed subsets of $[0,L]$ such that the lengths of their complementary open intervals are in one to one correspondence with the sequence $a$. The aim of this note is to investigate the possible values that Assouad-type dimensions can attain for this class of sets. In many cases, the set of attainable values is a close…
▽ More
Given a positive, decreasing sequence $a,$ whose sum is $L$, we consider all the closed subsets of $[0,L]$ such that the lengths of their complementary open intervals are in one to one correspondence with the sequence $a$. The aim of this note is to investigate the possible values that Assouad-type dimensions can attain for this class of sets. In many cases, the set of attainable values is a closed interval whose endpoints we determine.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
