Searcharxiv⌕ Search

arXiv subjects

Kathryn Hare

Publications and source records attributed to Kathryn Hare.

13 recordsLinked to original sources
arXiv2020

Intermediate Assouad-like dimensions

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.

math.CA↗
arXiv2020

Riesz bases of exponentials and the Bohr topology

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.

math.CA↗
arXiv2019

A non-abelian, non-Sidon, completely bounded $Λ(p)$ 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.

math.FA↗
arXiv2019

Properties of Quasi-Assouad dimension

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.

math.CA↗
arXiv2018

Quasi-doubling of self-similar measures with overlaps

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.

math.MG↗
arXiv2017

When is an automatic set an additive basis?

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.

math.NT↗
arXiv2016

An abstract proof of the L2-singular dichotomy for orbital measures on Lie algebras and groups

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.$

math.CA↗
arXiv2016

Assouad dimensions of complementary sets

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.

math.CA↗
arXiv2015

The absolute continuity of convolution products of orbital measures in exceptional symmetric spaces

Let $G$ be a non-compact group, $K$ the compact subgroup fixed by a Cartan involution and assume $G/K$ is an exceptional, symmetric space, one of Cartan type $E,F $ or $G$. We find the minimal integer, $L(G),$ such that any convolution product of $L(G)$ continuous, $K$-bi-invariant measures on $G$ is absolutely continuous with respect to Haar measure. Further, any product of $L(G)$ double cosets has non-empty interior. The number $L(G)$ is either $2$ or $3$% , depending on the Cartan type, and in most cases is strictly less than the rank of $G$.

math.RT↗
arXiv2015

Smoothness of convolution products of orbital measures on rank one compact symmetric spaces

We prove that all convolution products of pairs of continuous orbital measures in rank one, compact symmetric spaces are absolutely continuous and determine which convolution products are in $L^{2}$ (meaning, their density function is in $L^{2})$. Characterizations of the pairs whose convolution product is either absolutely continuous or in $L^2$ are given in terms of the dimensions of the corresponding double cosets. In particular, we prove that if $G/K$ is not $SU(2)/SO(2),$ then the convolution of any two regular orbital measures is in $L^{2}$, while in $SU(2)/SO(2)$ there are no pairs of orbital measures whose convolution product is in $L^{2}$.

math.RT↗
arXiv2015

A generalization of a theorem of Erdős-Rényi to $m$-fold sums and differences

Let $m\geq 2$ be a positive integer. Given a set $E(ω)\subseteq \mathbb{N}$ we define $r_{N}^{(m)}(ω)$ to be the number of ways to represent $N\in \mathbb{Z}$ as any combination of sums $\textit{ and }$ differences of $m$ distinct elements of $E(ω)$. In this paper, we prove the existence of a "thick" set $E(ω)$ and a positive constant $K$ such that $r_{N}^{(m)}(ω)<K$ for all $N\in \mathbb{Z}$. This is a generalization of a known theorem by Erdős and Rényi. We also apply our results to harmonic analysis, where we prove the existence of certain thin sets.

math.NT↗
arXiv2015

The Relationship between $ε$-Kronecker and Sidon Sets

A subset $E$ of a discrete abelian group is called $ε$-Kronecker if all $E$-functions of modulus one can be approximated to within $ε$ by characters. $E$ is called a Sidon set if all bounded $E$-functions can be interpolated by the Fourier transform of measures on the dual group. As $ε$-Kronecker sets with $ε<2$ possess the same arithmetic properties as Sidon sets, it is natural to ask if they are Sidon. We use the Pisier net characterization of Sidonicity to prove this is true.

math.CA↗