-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Local dimensions of overlap** 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 overlap** 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 overlap** 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.
-
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 overlap** 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 overlap** 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 overlap** 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 overlap** 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.
-
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.
-
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.
-
Local dimensions of measures of finite type II - Measures without full support and with non-regular probabilities
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Michael Ka Shing Ng
Abstract:
Consider a sequence of linear contractions $S_{j}(x)=\varrho x+d_{j}$ and probabilities $p_{j}>0$ with $\sum p_{j}=1$. We are interested in the self-similar measure $μ=\sum p_{j}μ\circ S_{j}^{-1}$, of finite type. In this paper we study the multi-fractal analysis of such measures, extending the theory to measures arising from non-regular probabilities and whose support is not necessarily an interv…
▽ More
Consider a sequence of linear contractions $S_{j}(x)=\varrho x+d_{j}$ and probabilities $p_{j}>0$ with $\sum p_{j}=1$. We are interested in the self-similar measure $μ=\sum p_{j}μ\circ S_{j}^{-1}$, of finite type. In this paper we study the multi-fractal analysis of such measures, extending the theory to measures arising from non-regular probabilities and whose support is not necessarily an interval.
Under some mild technical assumptions, we prove that there exists a subset of supp$μ$ of full $μ$ and Hausdorff measure, called the truly essential class, for which the set of (upper or lower) local dimensions is a closed interval. Within the truly essential class we show that there exists a point with local dimension exactly equal to the dimension of the support. We give an example where the set of local dimensions is a two element set, with all the elements of the truly essential class giving the same local dimension. We give general criteria for these measures to be absolutely continuous with respect to the associated Hausdorff measure of their support and we show that the dimension of the support can be computed using only information about the essential class.
To conclude, we present a detailed study of three examples. First, we show that the set of local dimensions of the biased Bernoulli convolution with contraction ratio the inverse of a simple Pisot number always admits an isolated point. We give a precise description of the essential class of a generalized Cantor set of finite type. Lastly, we study a maximal loop class that is not truly essential.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Multidimensional self-affine sets: non-empty interior and the set of uniqueness
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $M$ be a $d\times d$ contracting matrix. In this paper we consider the self-affine iterated function system $\{Mv-u, Mv+u\}$, where $u$ is a cyclic vector. Our main result is as follows: if $|\det M|\ge 2^{-1/d}$, then the attractor $A_M$ has non-empty interior.
We also consider the set $\mathcal U_M$ of points in $A_M$ which have a unique address. We show that unless $M$ belongs to a very s…
▽ More
Let $M$ be a $d\times d$ contracting matrix. In this paper we consider the self-affine iterated function system $\{Mv-u, Mv+u\}$, where $u$ is a cyclic vector. Our main result is as follows: if $|\det M|\ge 2^{-1/d}$, then the attractor $A_M$ has non-empty interior.
We also consider the set $\mathcal U_M$ of points in $A_M$ which have a unique address. We show that unless $M$ belongs to a very special (non-generic) class, the Hausdorff dimension of $\mathcal U_M$ is positive. For this special class the full description of $\mathcal U_M$ is given as well.
This paper continues our work begun in two previous papers.
△ Less
Submitted 11 January, 2016; v1 submitted 29 June, 2015;
originally announced June 2015.
-
Some properties of even moments of uniform random walks
Authors:
Kevin G. Hare,
Ghislain McKay
Abstract:
We build upon previous work on the densities of uniform random walks in higher dimensions, exploring some properties of the even moments of these densities and extending a result about their modularity.
We build upon previous work on the densities of uniform random walks in higher dimensions, exploring some properties of the even moments of these densities and extending a result about their modularity.
△ Less
Submitted 4 June, 2015; v1 submitted 3 June, 2015;
originally announced June 2015.
-
Local dimensions of measures of finite type
Authors:
Kathryn E. Hare,
Kevin G. Hare,
Kevin R. Matthews
Abstract:
We study the multifractal analysis of a class of equicontractive, self-similar measures of finite type, whose support is an interval. Finite type is a property weaker than the open set condition, but stronger than the weak open set condition. Examples include Bernoulli convolutions with contraction factor the inverse of a Pisot number and self-similar measures associated with $m$-fold sums of Cant…
▽ More
We study the multifractal analysis of a class of equicontractive, self-similar measures of finite type, whose support is an interval. Finite type is a property weaker than the open set condition, but stronger than the weak open set condition. Examples include Bernoulli convolutions with contraction factor the inverse of a Pisot number and self-similar measures associated with $m$-fold sums of Cantor sets with ratio of dissection $1/R$ for integer $R\leq m$.
We introduce a combinatorial notion called a loop class and prove that the set of attainable local dimensions of the measure at points in a positive loop class is a closed interval. We prove that the local dimensions at the periodic points in the loop class are dense and give a simple formula for those local dimensions. These self-similar measures have a distinguished positive loop class called the essential class. The set of points in the essential class has full Lebesgue measure in the support of the measure and is often all but the two endpoints of the support. Thus many, but not all, measures of finite type have at most one isolated point in their set of local dimensions.
We give examples of Bernoulli convolutions whose sets of attainable local dimensions consist of an interval together with an isolated point. As well, we give an example of a measure of finite type that has exactly two distinct local dimensions.
△ Less
Submitted 2 April, 2015;
originally announced April 2015.
-
Two-dimensional self-affine sets with interior points, and the set of uniqueness
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $M$ be a $2\times2$ real matrix with both eigenvalues less than~1 in modulus. Consider two self-affine contraction maps from $\mathbb R^2 \to \mathbb R^2$, \begin{equation*} T_m(v) = M v - u \ \ \mathrm{and}\ \ T_p(v) = M v + u, \end{equation*} where $u\neq0$. We are interested in the properties of the attractor of the iterated function system (IFS) generated by
$T_m$ and $T_p$, i.e., the un…
▽ More
Let $M$ be a $2\times2$ real matrix with both eigenvalues less than~1 in modulus. Consider two self-affine contraction maps from $\mathbb R^2 \to \mathbb R^2$, \begin{equation*} T_m(v) = M v - u \ \ \mathrm{and}\ \ T_p(v) = M v + u, \end{equation*} where $u\neq0$. We are interested in the properties of the attractor of the iterated function system (IFS) generated by
$T_m$ and $T_p$, i.e., the unique non-empty compact set $A$ such that $A = T_m(A) \cup T_p(A)$. Our two main results are as follows:
1. If both eigenvalues of $M$ are between $2^{-1/4}\approx 0.8409$ and $1$ in absolute value, and the IFS is non-degenerate, then $A$ has non-empty interior.
2. For almost all non-degenerate IFS, the set of points which have a unique address is of positive Hausdorff dimension -- with the exceptional cases fully described as well.
This paper continues our work begun in [11].
△ Less
Submitted 8 September, 2015; v1 submitted 25 February, 2015;
originally announced February 2015.
-
Growth degree classification for finitely generated semigroups of integer matrices
Authors:
Jason P. Bell,
Michael Coons,
Kevin G. Hare
Abstract:
Let $\mathcal{A}$ be a finite set of $d\times d$ matrices with integer entries and let $m_n(\mathcal{A})$ be the maximum norm of a product of $n$ elements of $\mathcal{A}$. In this paper, we classify gaps in the growth of $m_n(\mathcal{A})$; specifically, we prove that $\lim_{n\to\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}.$ This has applications to the growth of…
▽ More
Let $\mathcal{A}$ be a finite set of $d\times d$ matrices with integer entries and let $m_n(\mathcal{A})$ be the maximum norm of a product of $n$ elements of $\mathcal{A}$. In this paper, we classify gaps in the growth of $m_n(\mathcal{A})$; specifically, we prove that $\lim_{n\to\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}.$ This has applications to the growth of regular sequences as defined by Allouche and Shallit.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
The minimal growth of a $k$-regular sequence
Authors:
Jason P. Bell,
Michael Coons,
Kevin G. Hare
Abstract:
We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\) such that \(|f(n)|>c\log n\) infinitely often. We end our paper by answering a question of Borwein, Choi, and Coons on the sums of completely multiplicative aut…
▽ More
We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\) such that \(|f(n)|>c\log n\) infinitely often. We end our paper by answering a question of Borwein, Choi, and Coons on the sums of completely multiplicative automatic functions.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
On a family of self-affine sets: topology, uniqueness, simultaneous expansions
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $β_1,β_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{β_1}, \frac{y+i}{β_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{β_1, β_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a detailed analysis of $A$, and the parameters $(β_1, β_2)$ where$A$ satisfies various topological properties. In particular, we show that if $β_1<β_2<1.202$,then $A$ has a non-empty interior,…
▽ More
Let $β_1,β_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{β_1}, \frac{y+i}{β_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{β_1, β_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a detailed analysis of $A$, and the parameters $(β_1, β_2)$ where$A$ satisfies various topological properties. In particular, we show that if $β_1<β_2<1.202$,then $A$ has a non-empty interior, thus significantly improving the bound from [1]. In the opposite direction,we prove that the connectedness locus for this family studied in [16] is not simply connected.We prove that the set of points of $A$ which have a unique address has positive Hausdorff dimension for all $(β_1,β_2)$.Finally, we investigate simultaneous $(β_1,β_2)$-expansions of reals, which were the initial motivation for studying this family in [5].
△ Less
Submitted 11 May, 2015; v1 submitted 15 October, 2014;
originally announced October 2014.
-
There are no two non-real conjugates of a Pisot number with the same imaginary part
Authors:
Artūras Dubickas,
Kevin G. Hare,
Jonas Jankauskas
Abstract:
We show that the number $α=(1+\sqrt{3+2\sqrt{5}})/2$ with minimal polynomial $x^4-2x^3+x-1$ is the only Pisot number whose four distinct conjugates $α_1,α_2,α_3,α_4$ satisfy the additive relation $α_1+α_2=α_3+α_4$. This implies that there exists no two non-real conjugates of a Pisot number with the same imaginary part and also that at most two conjugates of a Pisot number can have the same real pa…
▽ More
We show that the number $α=(1+\sqrt{3+2\sqrt{5}})/2$ with minimal polynomial $x^4-2x^3+x-1$ is the only Pisot number whose four distinct conjugates $α_1,α_2,α_3,α_4$ satisfy the additive relation $α_1+α_2=α_3+α_4$. This implies that there exists no two non-real conjugates of a Pisot number with the same imaginary part and also that at most two conjugates of a Pisot number can have the same real part. On the other hand, we prove that similar four term equations $α_1 = α_2 + α_3+α_4$ or $α_1 + α_2 + α_3 + α_4 =0$ cannot be solved in conjugates of a Pisot number $α$. We also show that the roots of the Siegel's polynomial $x^3-x-1$ are the only solutions to the three term equation $α_1+α_2+α_3=0$ in conjugates of a Pisot number. Finally, we prove that there exists no Pisot number whose conjugates satisfy the relation $α_1=α_2+α_3$.
△ Less
Submitted 6 October, 2014;
originally announced October 2014.
-
Most Reinhardt polygons are sporadic
Authors:
Kevin G. Hare,
Michael J. Mossinghoff
Abstract:
A \textit{Reinhardt polygon} is a convex $n$-gon that, for $n$ not a power of $2$, is optimal in three different geometric optimization problems, for example, it has maximal perimeter relative to its diameter. Some such polygons exhibit a particular periodic structure; others are termed \textit{sporadic}. Prior work has described the periodic case completely, and has shown that sporadic Reinhardt…
▽ More
A \textit{Reinhardt polygon} is a convex $n$-gon that, for $n$ not a power of $2$, is optimal in three different geometric optimization problems, for example, it has maximal perimeter relative to its diameter. Some such polygons exhibit a particular periodic structure; others are termed \textit{sporadic}. Prior work has described the periodic case completely, and has shown that sporadic Reinhardt polygons occur for all $n$ of the form $n=pqr$ with $p$ and $q$ distinct odd primes and $r\geq2$. We show that (dihedral equivalence classes of) sporadic Reinhardt polygons outnumber the periodic ones for almost all $n$, and find that this first occurs at $n=105$. We also determine a formula for the number of sporadic Reinhardt polygons when $n=2pq$ with $p$ and $q$ distinct odd primes.
△ Less
Submitted 24 October, 2014; v1 submitted 20 May, 2014;
originally announced May 2014.
-
On cycles for the doubling map which are disjoint from an interval
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $T:[0,1]\to[0,1]$ be the doubling map and let $0<a<b<1$. We say that an integer $n\ge3$ is bad for $(a,b)$ if all $n$-cycles for $T$ intersect $(a,b)$. Let $B(a,b)$ denote the set of all $n$ which are bad for $(a,b)$. In this paper we completely describe the sets: \[ D_2=\{(a,b) : B(a,b)\,\text{is finite}\} \] and \[ D_3=\{(a,b) : B(a,b)=\varnothing\}. \] In particular, we show that if…
▽ More
Let $T:[0,1]\to[0,1]$ be the doubling map and let $0<a<b<1$. We say that an integer $n\ge3$ is bad for $(a,b)$ if all $n$-cycles for $T$ intersect $(a,b)$. Let $B(a,b)$ denote the set of all $n$ which are bad for $(a,b)$. In this paper we completely describe the sets: \[ D_2=\{(a,b) : B(a,b)\,\text{is finite}\} \] and \[ D_3=\{(a,b) : B(a,b)=\varnothing\}. \] In particular, we show that if $b-a<\frac16$, then $(a,b)\in D_2$, and if $b-a\le\frac2{15}$, then $(a,b)\in D_3$, both constants being sharp.
△ Less
Submitted 14 May, 2014; v1 submitted 13 August, 2013;
originally announced August 2013.
-
Sporadic Reinhardt polygons
Authors:
Kevin G. Hare,
Michael J. Mossinghoff
Abstract:
Let $n$ be a positive integer, not a power of two. A \textit{Reinhardt polygon} is a convex $n$-gon that is optimal in three different geometric optimization problems: it has maximal perimeter relative to its diameter, maximal width relative to its diameter, and maximal width relative to its perimeter. For almost all $n$, there are many Reinhardt polygons with $n$ sides, and many of them exhibit a…
▽ More
Let $n$ be a positive integer, not a power of two. A \textit{Reinhardt polygon} is a convex $n$-gon that is optimal in three different geometric optimization problems: it has maximal perimeter relative to its diameter, maximal width relative to its diameter, and maximal width relative to its perimeter. For almost all $n$, there are many Reinhardt polygons with $n$ sides, and many of them exhibit a particular periodic structure. While these periodic polygons are well understood, for certain values of $n$, additional Reinhardt polygons exist that do not possess this structured form. We call these polygons \textit{sporadic}. We completely characterize the integers $n$ for which sporadic Reinhardt polygons exist, showing that these polygons occur precisely when $n=pqr$ with $p$ and $q$ distinct odd primes and $r\geq2$. We also prove that a positive proportion of the Reinhardt polygons with $n$ sides are sporadic for almost all integers $n$, and we investigate the precise number of sporadic Reinhardt polygons that are produced for several values of $n$ by a construction that we introduce.
△ Less
Submitted 27 September, 2012; v1 submitted 19 March, 2012;
originally announced March 2012.
-
Extremal sequences of polynomial complexity
Authors:
Kevin G. Hare,
Ian D. Morris,
Nikita Sidorov
Abstract:
The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagar…
▽ More
The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagarias and Y. Wang asked whether every finite set of matrices admits an extremal sequence which is periodic. This is equivalent to the assertion that every finite set of matrices admits an extremal sequence with bounded subword complexity. Counterexamples were subsequently constructed which have the property that every extremal sequence has at least linear subword complexity. In this paper we extend this result to show that for each integer $p \geq 1$, there exists a pair of square matrices of dimension $2^p(2^{p+1}-1)$ for which every extremal sequence has subword complexity at least $2^{-p^2}n^p$.
△ Less
Submitted 24 April, 2013; v1 submitted 30 January, 2012;
originally announced January 2012.
-
An explicit counterexample to the Lagarias-Wang finiteness conjecture
Authors:
Kevin G. Hare,
Ian D. Morris,
Nikita Sidorov,
Jacques Theys
Abstract:
The joint spectral radius of a finite set of real $d \times d$ matrices is defined to be the maximum possible exponential rate of growth of long products of matrices drawn from that set. A set of matrices is said to have the \emph{finiteness property} if there exists a periodic product which achieves this maximal rate of growth. J.C. Lagarias and Y. Wang conjectured in 1995 that every finite set o…
▽ More
The joint spectral radius of a finite set of real $d \times d$ matrices is defined to be the maximum possible exponential rate of growth of long products of matrices drawn from that set. A set of matrices is said to have the \emph{finiteness property} if there exists a periodic product which achieves this maximal rate of growth. J.C. Lagarias and Y. Wang conjectured in 1995 that every finite set of real $d \times d$ matrices satisfies the finiteness property. However, T. Bousch and J. Mairesse proved in 2002 that counterexamples to the finiteness conjecture exist, showing in particular that there exists a family of pairs of $2 \times 2$ matrices which contains a counterexample. Similar results were subsequently given by V.D. Blondel, J. Theys and A.A. Vladimirov and by V.S. Kozyakin, but no explicit counterexample to the finiteness conjecture has so far been given. The purpose of this paper is to resolve this issue by giving the first completely explicit description of a counterexample to the Lagarias-Wang finiteness conjecture. Namely, for the set \[ \mathsf{A}_{α_*}:= \{({cc}1&1\\0&1), α_*({cc}1&0\\1&1)\}\] we give an explicit value of
α_* \simeq 0.749326546330367557943961948091344672091327370236064317358024...] such that $\mathsf{A}_{α_*}$ does not satisfy the finiteness property.
△ Less
Submitted 11 November, 2010; v1 submitted 10 June, 2010;
originally announced June 2010.
-
The sum of digits of $n$ and $n^2$
Authors:
K. G. Hare,
S. Laishram,
T. Stoll
Abstract:
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 2005, Melfi examined the structure of $n$ such that $s_2(n) = s_2(n^2)$. We extend this study to the more general case of generic $q$ and polynomials $p(n)$, and obtain, in particular, a refinement of Melfi's result. We also give a more detailed analysis of the special case $p(n) = n^2$, looking at the subse…
▽ More
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 2005, Melfi examined the structure of $n$ such that $s_2(n) = s_2(n^2)$. We extend this study to the more general case of generic $q$ and polynomials $p(n)$, and obtain, in particular, a refinement of Melfi's result. We also give a more detailed analysis of the special case $p(n) = n^2$, looking at the subsets of $n$ where $s_q(n) = s_q(n^2) = k$ for fixed $k$.
△ Less
Submitted 23 January, 2010;
originally announced January 2010.
-
Stolarsky's conjecture and the sum of digits of polynomial values
Authors:
K. G. Hare,
S. Laishram,
T. Stoll
Abstract:
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 1978, Stolarsky showed that $$ \liminf_{n\to\infty} \frac{s_2(n^2)}{s_2(n)} = 0. $$ He conjectured that, as for $n^2$, this limit infimum should be 0 for higher powers of $n$. We prove and generalize this conjecture showing that for any polynomial $p(x)=a_h x^h+a_{h-1} x^{h-1} + ... + a_0 \in \Z[x]$ with…
▽ More
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 1978, Stolarsky showed that $$ \liminf_{n\to\infty} \frac{s_2(n^2)}{s_2(n)} = 0. $$ He conjectured that, as for $n^2$, this limit infimum should be 0 for higher powers of $n$. We prove and generalize this conjecture showing that for any polynomial $p(x)=a_h x^h+a_{h-1} x^{h-1} + ... + a_0 \in \Z[x]$ with $h\geq 2$ and $a_h>0$ and any base $q$, \[ \liminf_{n\to\infty} \frac{s_q(p(n))}{s_q(n)}=0.\] For any $ε> 0$ we give a bound on the minimal $n$ such that the ratio $s_q(p(n))/s_q(n) < ε$. Further, we give lower bounds for the number of $n < N$ such that $s_q(p(n))/s_q(n) < ε$.
△ Less
Submitted 23 January, 2010;
originally announced January 2010.
-
A lower bound for Garsia's entropy for certain Bernoulli convolutions
Authors:
Kevin G. Hare,
Nikita Sidorov
Abstract:
Let $β\in(1,2)$ be a Pisot number and let $H_β$ denote Garsia's entropy for the Bernoulli convolution associated with $β$. Garsia, in 1963 showed that $H_β<1$ for any Pisot $β$. For the Pisot numbers which satisfy $x^m=x^{m-1}+x^{m-2}+...+x+1$ (with $m\ge2$) Garsia's entropy has been evaluated with high precision by Alexander and Zagier and later improved by Grabner, Kirschenhofer and Tichy, and…
▽ More
Let $β\in(1,2)$ be a Pisot number and let $H_β$ denote Garsia's entropy for the Bernoulli convolution associated with $β$. Garsia, in 1963 showed that $H_β<1$ for any Pisot $β$. For the Pisot numbers which satisfy $x^m=x^{m-1}+x^{m-2}+...+x+1$ (with $m\ge2$) Garsia's entropy has been evaluated with high precision by Alexander and Zagier and later improved by Grabner, Kirschenhofer and Tichy, and it proves to be close to 1. No other numerical values for $H_β$ are known.
In the present paper we show that $H_β>0.81$ for all Pisot $β$, and improve this lower bound for certain ranges of $β$. Our method is computational in nature.
△ Less
Submitted 13 November, 2009; v1 submitted 18 November, 2008;
originally announced November 2008.
-
On univoque Pisot numbers
Authors:
J. -P. Allouche,
C. Frougny,
K. G. Hare
Abstract:
We study Pisot numbers $β\in (1, 2)$ which are univoque, i.e., such that there exists only one representation of 1 as $1 = \sum_{n \geq 1} s_nβ^{-n}$, with $s_n \in \{0, 1\}$. We prove in particular that there exists a smallest univoque Pisot number, which has degree 14. Furthermore we give the smallest limit point of the set of univoque Pisot numbers.
We study Pisot numbers $β\in (1, 2)$ which are univoque, i.e., such that there exists only one representation of 1 as $1 = \sum_{n \geq 1} s_nβ^{-n}$, with $s_n \in \{0, 1\}$. We prove in particular that there exists a smallest univoque Pisot number, which has degree 14. Furthermore we give the smallest limit point of the set of univoque Pisot numbers.
△ Less
Submitted 23 October, 2006;
originally announced October 2006.
-
The monic integer transfinite diameter
Authors:
K. G. Hare,
C. J. Smyth
Abstract:
We study the problem of finding nonconstant monic integer polynomials, normalized by their degree, with small supremum on an interval I. The monic integer transfinite diameter t_M(I) is defined as the infimum of all such supremums. We show that if I has length 1 then t_M(I) = 1/2.
We make three general conjectures relating to the value of t_M(I) for intervals I of length less that 4. We also c…
▽ More
We study the problem of finding nonconstant monic integer polynomials, normalized by their degree, with small supremum on an interval I. The monic integer transfinite diameter t_M(I) is defined as the infimum of all such supremums. We show that if I has length 1 then t_M(I) = 1/2.
We make three general conjectures relating to the value of t_M(I) for intervals I of length less that 4. We also conjecture a value for t_M([0, b]) where 0 < b < 1. We give some partial results, as well as computational evidence, to support these conjectures.
We define two functions that measure properties of the lengths of intervals I with t_M(I) on either side of t. Upper and lower bounds are given for these functions.
We also consider the problem of determining t_M(I) when I is a Farey interval. We prove that a conjecture of Borwein, Pinner and Pritsker concerning this value is true for an infinite family of Farey intervals.
△ Less
Submitted 14 July, 2005;
originally announced July 2005.
-
New techniques for bounds on the total number of Prime Factors of an Odd Perfect Number
Authors:
Kevin G. Hare
Abstract:
Let $σ(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $σ(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form $N = p^α\prod_{j=1}^k q_j^{2 β_j}$, where $p, q_1, ..., q_k$ are distinct primes and $p \equiv α\equiv 1 \pmod{4}$. Define the total number of prime factors of $N$ as…
▽ More
Let $σ(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $σ(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form $N = p^α\prod_{j=1}^k q_j^{2 β_j}$, where $p, q_1, ..., q_k$ are distinct primes and $p \equiv α\equiv 1 \pmod{4}$. Define the total number of prime factors of $N$ as $Ω(N) := α+ 2 \sum_{j=1}^k β_j$. Sayers showed that $Ω(N) \geq 29$. This was later extended by Iannucci and Sorli to show that $Ω(N) \geq 37$. This was extended by the author to show that $Ω(N) \geq 47$. Using an idea of Carl Pomerance this paper extends these results. The current new bound is $Ω(N) \geq 75$.
△ Less
Submitted 12 April, 2006; v1 submitted 5 January, 2005;
originally announced January 2005.
-
On the height of the Sylvester Resultant
Authors:
Carlos D'Andrea,
Kevin G. Hare
Abstract:
Let n be a positive integer. We consider the Sylvester Resultant of f and g, where f is a generic polynomial of degree 2 or 3 and g is a generic polynomial of degree n. If f is a quadratic polynomial, we find the resultant's height. If f is a cubic polynomial, we find tight asymptotics for the resultant's height.
Let n be a positive integer. We consider the Sylvester Resultant of f and g, where f is a generic polynomial of degree 2 or 3 and g is a generic polynomial of degree n. If f is a quadratic polynomial, we find the resultant's height. If f is a cubic polynomial, we find tight asymptotics for the resultant's height.
△ Less
Submitted 13 May, 2004; v1 submitted 17 October, 2003;
originally announced October 2003.