Source author record

Simon Baker

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

31works
9topics
4close collaborators

Published work

31 publications

preprint2022arXiv

A note on dyadic approximation in Cantor's set

We consider the convergence theory for dyadic approximation in the middle-third Cantor set, KK, for approximation functions of the form ψτ(n)=n−τψ_τ(n) = n^{-τ} (τ≥0τ\ge 0). In particular, we show that for values of ττ beyond a certain threshold we have that almost no point in KK is dyadically ψτψ_τ-well approximable with respect to the natural probability measure on KK. This refines a previous result in this direction obtained by the first, third, and fourth named authors (arXiv, 2020).

preprint2022arXiv

Approximating elements of the middle third Cantor set with dyadic rationals

Let CC be the middle third Cantor set and μμ be the log⁡2log⁡3\frac{\log 2}{\log 3}-dimensional Hausdorff measure restricted to CC. In this paper we study approximations of elements of CC by dyadic rationals. Our main result implies that for μμ almost every x∈Cx\in C we have #{1≤n≤N:∣x−p2n∣≤1n0.01⋅2n for some p∈N}∼2∑n=1Nn−0.01.\#\left\{1\leq n\leq N:\left|x-\frac{p}{2^n}\right| \leq \frac{1}{n^{0.01}\cdot 2^{n}}\textrm{ for some }p\in\mathbb{N}\right\}\sim 2\sum_{n=1}^{N}n^{-0.01}. This improves upon a recent result of Allen, Chow, and Yu which gives a sub-logarithmic improvement over the trivial approximation rate.

preprint2021arXiv

Equidistribution results for self-similar measures

A well known theorem due to Koksma states that for Lebesgue almost every x>1x>1 the sequence (xn)n=1∞(x^n)_{n=1}^{\infty} is uniformly distributed modulo one. In this paper we give sufficient conditions for an analogue of this theorem to hold for self-similar measures. Our approach applies more generally to sequences of the form (fn(x))n=1∞(f_{n}(x))_{n=1}^{\infty} where (fn)n=1∞(f_n)_{n=1}^{\infty} is a sequence of sufficiently smooth real valued functions satisfying a nonlinearity assumption. As a corollary of our main result, we show that if CC is equal to the middle third Cantor set and t≥1t\geq 1, then with respect to the Cantor-Lebesgue measure on C+tC+t the sequence (xn)n=1∞(x^n)_{n=1}^{\infty} is uniformly distributed for almost every xx.

preprint2021arXiv

Non-Autoregressive Text Generation with Pre-trained Language Models

Non-autoregressive generation (NAG) has recently attracted great attention due to its fast inference speed. However, the generation quality of existing NAG models still lags behind their autoregressive counterparts. In this work, we show that BERT can be employed as the backbone of a NAG model to greatly improve performance. Additionally, we devise mechanisms to alleviate the two common problems of vanilla NAG models: the inflexibility of prefixed output length and the conditional independence of individual token predictions. Lastly, to further increase the speed advantage of the proposed model, we propose a new decoding strategy, ratio-first, for applications where the output lengths can be approximately estimated beforehand. For a comprehensive evaluation, we test the proposed model on three text generation tasks, including text summarization, sentence compression and machine translation. Experimental results show that our model significantly outperforms existing non-autoregressive baselines and achieves competitive performance with many strong autoregressive models. In addition, we also conduct extensive analysis experiments to reveal the effect of each proposed component.

preprint2020arXiv

An analogue of Khintchine's theorem for self-conformal sets

Khintchine's theorem is a classical result from metric number theory which relates the Lebesgue measure of certain limsup sets with the convergence/divergence of naturally occurring volume sums. In this paper we ask whether an analogous result holds for iterated function systems (IFSs). We say that an IFS is approximation regular if we observe Khintchine type behaviour, i.e., if the size of certain limsup sets defined using the IFS is determined by the convergence/divergence of naturally occurring sums. We prove that an IFS is approximation regular if it consists of conformal mappings and satisfies the open set condition. The divergence condition we introduce incorporates the inhomogeneity present within the IFS. We demonstrate via an example that such an approach is essential. We also formulate an analogue of the Duffin-Schaeffer conjecture and show that it holds for a set of full Hausdorff dimension. Combining our results with the mass transference principle of Beresnevich and Velani \cite{BerVel}, we prove a general result that implies the existence of exceptional points within the attractor of our IFS. These points are exceptional in the sense that they are "very well approximated". As a corollary of this result, we obtain a general solution to a problem of Mahler, and prove that there are badly approximable numbers that are very well approximated by quadratic irrationals. The ideas put forward in this paper are introduced in the general setting of IFSs that may contain overlaps. We believe that by viewing IFS's from the perspective of metric number theory, one can gain a greater insight into the extent to which they overlap. The results of this paper should be interpreted as a first step in this investigation.

preprint2020arXiv

Equidistribution results for sequences of polynomials

Let (fn)n=1∞(f_n)_{n=1}^{\infty} be a sequence of polynomials and α>1α>1. In this paper we study the distribution of the sequence (fn(α))n=1∞(f_n(α))_{n=1}^{\infty} modulo one. We give sufficient conditions for a sequence (fn)n=1∞(f_n)_{n=1}^{\infty} to ensure that for Lebesgue almost every α>1α>1 the sequence (fn(α))n=1∞(f_n(α))_{n=1}^{\infty} has Poissonian pair correlations. In particular, this result implies that for Lebesgue almost every α>1α>1, for any k≥2k\geq 2 the sequence (αnk)n=1∞(α^{n^k})_{n=1}^{\infty} has Poissonian pair correlations.

preprint2020arXiv

Iterated function systems with super-exponentially close cylinders II

Until recently, it was an important open problem in Fractal Geometry to determine whether there exists an iterated function system acting on R\mathbb{R} with no exact overlaps for which cylinders are super-exponentially close at all small scales. Iterated function systems satisfying these properties were shown to exist by the author and by Bárány and Käenmäki. In this paper we prove a general theorem on the existence of such iterated function systems within a parameterised family. This theorem shows that if a parameterised family contains two independent subfamilies, and the set of parameters that cause exact overlaps satisfies some weak topological assumptions, then the original family will contain an iterated function system satisfying the desired properties. We include several explicit examples of parameterised families to which this theorem can be applied.

preprint2020arXiv

Multi-SimLex: A Large-Scale Evaluation of Multilingual and Cross-Lingual Lexical Semantic Similarity

We introduce Multi-SimLex, a large-scale lexical resource and evaluation benchmark covering datasets for 12 typologically diverse languages, including major languages (e.g., Mandarin Chinese, Spanish, Russian) as well as less-resourced ones (e.g., Welsh, Kiswahili). Each language dataset is annotated for the lexical relation of semantic similarity and contains 1,888 semantically aligned concept pairs, providing a representative coverage of word classes (nouns, verbs, adjectives, adverbs), frequency ranks, similarity intervals, lexical fields, and concreteness levels. Additionally, owing to the alignment of concepts across languages, we provide a suite of 66 cross-lingual semantic similarity datasets. Due to its extensive size and language coverage, Multi-SimLex provides entirely novel opportunities for experimental evaluation and analysis. On its monolingual and cross-lingual benchmarks, we evaluate and analyze a wide array of recent state-of-the-art monolingual and cross-lingual representation models, including static and contextualized word embeddings (such as fastText, M-BERT and XLM), externally informed lexical representations, as well as fully unsupervised and (weakly) supervised cross-lingual word embeddings. We also present a step-by-step dataset creation protocol for creating consistent, Multi-Simlex-style resources for additional languages. We make these contributions -- the public release of Multi-SimLex datasets, their creation protocol, strong baseline results, and in-depth analyses which can be be helpful in guiding future developments in multilingual lexical semantics and representation learning -- available via a website which will encourage community effort in further expansion of Multi-Simlex to many more languages. Such a large-scale semantic resource could inspire significant further advances in NLP across languages.

preprint2020arXiv

On the pair correlations of powers of real numbers

A classical theorem of Koksma states that for Lebesgue almost every x>1x>1 the sequence (xn)n=1∞(x^n)_{n=1}^{\infty} is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every x>1x>1 the pair correlations of the fractional parts of (xn)n=1∞(x^n)_{n=1}^{\infty} are asymptotically Poissonian. The proof is based on a martingale approximation method.

preprint2020arXiv

Prototype-to-Style: Dialogue Generation with Style-Aware Editing on Retrieval Memory

The ability of a dialog system to express prespecified language style during conversations has a direct, positive impact on its usability and on user satisfaction. We introduce a new prototype-to-style (PS) framework to tackle the challenge of stylistic dialogue generation. The framework uses an Information Retrieval (IR) system and extracts a response prototype from the retrieved response. A stylistic response generator then takes the prototype and the desired language style as model input to obtain a high-quality and stylistic response. To effectively train the proposed model, we propose a new style-aware learning objective as well as a de-noising learning strategy. Results on three benchmark datasets from two languages demonstrate that the proposed approach significantly outperforms existing baselines in both in-domain and cross-domain evaluations

preprint2020arXiv

Quantitative recurrence properties for self-conformal sets

In this paper we study the quantitative recurrence properties of self-conformal sets XX equipped with the map T:X→XT:X\to X induced by the left shift. In particular, given a function φ:N→(0,∞),φ:\mathbb{N}\to(0,\infty), we study the metric properties of the set R(T,φ)={x∈X:∣Tnx−x∣<φ(n) for infinitely many n∈N}.R(T,φ)=\left\{x\in X:|T^nx-x|<φ(n)\textrm{ for infinitely many }n\in \mathbb{N}\right\}. Our main result shows that for the natural measure supported on XX, R(T,φ)R(T,φ) has zero measure if a natural volume sum converges, and under the open set condition R(T,φ)R(T,φ) has full measure if this volume sum diverges.

preprint2020arXiv

Stylistic Dialogue Generation via Information-Guided Reinforcement Learning Strategy

Stylistic response generation is crucial for building an engaging dialogue system for industrial use. While it has attracted much research interest, existing methods often generate stylistic responses at the cost of the content quality (relevance and fluency). To enable better balance between the content quality and the style, we introduce a new training strategy, know as Information-Guided Reinforcement Learning (IG-RL). In IG-RL, a training model is encouraged to explore stylistic expressions while being constrained to maintain its content quality. This is achieved by adopting reinforcement learning strategy with statistical style information guidance for quality-preserving explorations. Experiments on two datasets show that the proposed approach outperforms several strong baselines in terms of the overall response performance.

preprint2017arXiv

Digit frequencies and self-affine sets with non-empty interior

In this paper we study digit frequencies in the setting of expansions in non-integer bases, and self-affine sets with non-empty interior. Within expansions in non-integer bases we show that if β∈(1,1.787…)β\in(1,1.787\ldots) then every x∈(0,1β−1)x\in(0,\frac{1}{β-1}) has a simply normal ββ-expansion. We also prove that if β∈(1,1+52)β\in(1,\frac{1+\sqrt{5}}{2}) then every x∈(0,1β−1)x\in(0,\frac{1}{β-1}) has a ββ-expansion for which the digit frequency does not exist, and a ββ-expansion with limiting frequency of zeros pp, where pp is any real number sufficiently close to 1/21/2. For a class of planar self-affine sets we show that if the horizontal contraction lies in a certain parameter space and the vertical contractions are sufficiently close to 1,1, then every nontrivial vertical fibre contains an interval. Our approach lends itself to explicit calculation and give rise to new examples of self-affine sets with non-empty interior. One particular strength of our approach is that it allows for different rates of contraction in the vertical direction.

preprint2016arXiv

On periodic representations in non-Pisot bases

We study periodic expansions in positional number systems with a base $β\in\C,\ |β|>1$, and with coefficients in a finite set of digits $\A\subset\C.$ We are interested in determining those algebraic bases for which there exists $\A\subset \Q(β),$ such that all elements of $\Q(β)$ admit at least one eventually periodic representation with digits in $\A$. In this paper we prove a general result that guarantees the existence of such an $\A$. This result implies the existence of such an $\A$ when ββ is a rational number or an algebraic integer with no conjugates of modulus 11. We also consider eventually periodic representations of elements of $\Q(β)$ for which the maximal power of the representation is proportional to the absolute value of the represented number, up to some universal constant. We prove that if every element of $\Q(β)$ admits such a representation then ββ must be a Pisot number or a Salem number. This result generalises a well known result of Schmidt \cite{Schmidt}.

preprint2016arXiv

On the regularity of the generalised golden ratio function

Given a finite set of real numbers AA, the generalised golden ratio is the unique real number G(A)>1\mathcal{G}(A) > 1 for which we only have trivial unique expansions in smaller bases, and have non-trivial unique expansions in larger bases. We show that G(A)\mathcal{G}(A) varies continuously with the alphabet AA (of fixed size). What is more, we demonstrate that as we vary a single parameter mm within~AA, the generalised golden ratio function may behave like m1/hm^{1/h} for any positive integer hh. These results follow from a detailed study of G(A)\mathcal{G}(A) for ternary alphabets, building upon the work of Komornik, Lai, and Pedicini (2011). We give a new proof of their main result, that is we explicitly calculate the function G({0,1,m})\mathcal{G}(\{0,1,m\}). (For a ternary alphabet, it may be assumed without loss of generality that A={0,1,m}A = \{0,1,m\} with m∈(1,2)]m\in(1,2)].) We also study the set of m∈(1,2]m \in (1,2] for which G({0,1,m})=1+m,\mathcal{G}(\{0,1,m\})=1+\sqrt{m}, we prove that this set is uncountable and has Hausdorff dimension~00. We show that the function mapping mm to G({0,1,m})\mathcal{G}(\{0,1,m\}) is of bounded variation yet has unbounded derivative. Finally, we show that it is possible to have unique expansions as well as points with precisely two expansions at the generalised golden ratio.

preprint2015arXiv

Approximation properties of ββ-expansions II

Given β∈(1,2)β\in(1,2) and x∈[0,1β−1]x\in[0,\frac{1}{β-1}], a sequence (εi)i=1∞∈{0,1}N(ε_{i})_{i=1}^{\infty}\in\{0,1\}^{\mathbb{N}} is called a ββ-expansion for xx if x=∑i=1∞εiβi.x=\sum_{i=1}^{\infty}\frac{ε_{i}}{β^{i}}. In a recent article the author studied the quality of approximation provided by the finite sums ∑i=1nεiβ−i\sum_{i=1}^{n}ε_{i}β^{-i} \cite{Bak}. In particular, given β∈(1,2)β\in(1,2) and Ψ:N→R≥0,Ψ:\mathbb{N}\to\mathbb{R}_{\geq 0}, we associate the set Wβ(Ψ):=⋂m=1∞⋃n=m∞⋃(εi)i=1n∈{0,1}n[∑i=1nεiβi,∑i=1nεiβi+Ψ(n)].W_β(Ψ):=\bigcap_{m=1}^{\infty}\bigcup_{n=m}^{\infty}\bigcup_{(ε_{i})_{i=1}^{n}\in\{0,1\}^{n}}\Big[\sum_{i=1}^{n}\frac{ε_{i}}{β^{i}},\sum_{i=1}^{n}\frac{ε_{i}}{β^{i}}+Ψ(n)\Big]. Alternatively, Wβ(Ψ)W_β(Ψ) is the set of x∈Rx\in \mathbb{R} such that for infinitely many n∈N,n\in\mathbb{N}, there exists a sequence (εi)i=1n(ε_{i})_{i=1}^{n} satisfying the inequalities 0≤x−∑i=1nεiβi≤Ψ(n).0\leq x-\sum_{i=1}^{n}\frac{ε_{i}}{β^{i}}\leq Ψ(n). If ∑n=1∞2nΨ(n)<∞\sum_{n=1}^{\infty}2^{n}Ψ(n)<\infty then Wβ(Ψ)W_β(Ψ) has zero Lebesgue measure. We call a β∈(1,2)β\in(1,2) approximation regular, if ∑n=1∞2nΨ(n)=∞\sum_{n=1}^{\infty}2^{n}Ψ(n)=\infty implies Wβ(Ψ)W_β(Ψ) is of full Lebesgue measure within [0,1β−1][0,\frac{1}{β-1}]. The author conjectured in \cite{Bak} that almost every β∈(1,2)β\in(1,2) is approximation regular. In this paper we make a significant step towards proving this conjecture. The main result of this paper is the following statement: given a sequence of positive real numbers (ωn)n=1∞,(ω_{n})_{n=1}^{\infty}, which satisfy lim⁡n→∞ωn=∞\lim_{n\to\infty} ω_{n}=\infty, then for Lebesgue almost every β∈(1.497…,2)β\in(1.497\ldots,2) the set Wβ(ωn⋅2−n)W_β(ω_{n}\cdot 2^{-n}) is of full Lebesgue measure within [0,1β−1][0,\frac{1}{β-1}]. Here the sequence (ωn)n=1∞(ω_{n})_{n=1}^{\infty} should be interpreted as a sequence tending to infinity at a very slow rate.

preprint2015arXiv

Induced Random ββ-transformation

In this article we study the first return map defined on the switch region induced by the greedy and lazy maps. In particular we study the allowable sequences of return times, and when the first return map is a generalised Lüroth series transformation. We show that there exists a countable collection of disjoint intervals (In)n=1∞,(\mathcal{I}_{n})_{n=1}^{\infty}, such that all sequences of return times are permissible if and only if β∈Inβ\in \mathcal{I}_{n} for some nn. Moreover, we show that there exists a set M⊆(1,2)M\subseteq(1,2) of Hausdorff dimension 11 and Lebesgue measure zero, for which the first return map is a generalised Lüroth series transformation if and only if β∈Mβ\in M.

preprint2015arXiv

On small bases for which 11 has countably many expansions

Let q∈(1,2)q\in(1,2). A qq-expansion of a number xx in [0,1q−1][0,\frac{1}{q-1}] is a sequence (δi)i=1∞∈{0,1}N(δ_i)_{i=1}^\infty\in\{0,1\}^{\mathbb{N}} satisfying x=∑i=1∞δiqi. x=\sum_{i=1}^\infty\frac{δ_i}{q^i}. Let Bℵ0\mathcal{B}_{\aleph_0} denote the set of qq for which there exists xx with a countable number of qq-expansions, and let B1,ℵ0\mathcal{B}_{1, \aleph_0} denote the set of qq for which 11 has a countable number of qq-expansions. In \cite{Sidorov6} it was shown that min⁡Bℵ0=min⁡B1,ℵ0=1+52,\min\mathcal{B}_{\aleph_0}=\min\mathcal{B}_{1,\aleph_0}=\frac{1+\sqrt{5}}{2}, and in \cite{Baker} it was shown that Bℵ0∩(1+52,q1]={q1}\mathcal{B}_{\aleph_0}\cap(\frac{1+\sqrt{5}}{2}, q_1]=\{ q_1\}, where q1(≈1.64541)q_1(\approx1.64541) is the positive root of x6−x4−x3−2x2−x−1=0x^6-x^4-x^3-2x^2-x-1=0. In this paper we show that the second smallest point of B1,ℵ0\mathcal{B}_{1,\aleph_0} is q3(≈1.68042)q_3(\approx1.68042), the positive root of x5−x4−x3−x+1=0x^5-x^4-x^3-x+1=0. Enroute to proving this result we show that Bℵ0∩(q1,q3]={q2,q3}\mathcal{B}_{\aleph_0}\cap(q_1, q_3]=\{ q_2, q_3\}, where q2(≈1.65462)q_2(\approx1.65462) is the positive root of x6−2x4−x3−1=0x^6-2x^4-x^3-1=0.

preprint2014arXiv

Approximation properties of ββ-expansions

Let β∈(1,2)β\in(1,2) and x∈[0,1β−1]x\in [0,\frac{1}{β-1}]. We call a sequence (εi)i=1∞∈{0,1}N(ε_{i})_{i=1}^\infty\in\{0,1\}^{\mathbb{N}} a ββ-expansion for xx if x=∑i=1∞εiβ−ix=\sum_{i=1}^{\infty}ε_{i}β^{-i}. We call a finite sequence (εi)i=1n∈{0,1}n(ε_{i})_{i=1}^{n}\in\{0,1\}^{n} an nn-prefix for xx if it can be extended to form a ββ-expansion of xx. In this paper we study how good an approximation is provided by the set of nn-prefixes. Given Ψ:N→R≥0Ψ:\mathbb{N}\to\mathbb{R}_{\geq 0}, we introduce the following subset of R\mathbb{R}, Wβ(Ψ):=⋂m=1∞⋃n=m∞⋃(εi)i=1n∈{0,1}n[∑i=1nεiβi,∑i=1nεiβi+Ψ(n)]W_β(Ψ):=\bigcap_{m=1}^{\infty}\bigcup_{n=m}^\infty\bigcup_{(ε_{i})_{i=1}^{n}\in\{0,1\}^{n}}\Big[\sum_{i=1}^{n}\frac{ε_i}{β^{i}}, \sum_{i=1}^n\frac{ε_i} {β^i}+Ψ(n)\Big] In other words, Wβ(Ψ)W_β(Ψ) is the set of x∈Rx\in\mathbb{R} for which there exists infinitely many solutions to the inequalities 0≤x−∑i=1nεiβi≤Ψ(n).0\leq x-\sum_{i=1}^{n}\frac{ε_{i}}{β^{i}}\leq Ψ(n). When ∑n=1∞2nΨ(n)<∞\sum_{n=1}^{\infty}2^{n}Ψ(n)<\infty the Borel-Cantelli lemma tells us that the Lebesgue measure of Wβ(Ψ)W_β(Ψ) is zero. When ∑n=1∞2nΨ(n)=∞,\sum_{n=1}^{\infty}2^{n}Ψ(n)=\infty, determining the Lebesgue measure of Wβ(Ψ)W_β(Ψ) is less straightforward. Our main result is that whenever ββ is a Garsia number and ∑n=1∞2nΨ(n)=∞\sum_{n=1}^{\infty}2^{n}Ψ(n)=\infty then Wβ(Ψ)W_β(Ψ) is a set of full measure within [0,1β−1][0,\frac{1}{β-1}]. Our approach makes no assumptions on the monotonicity of Ψ,Ψ, unlike in classical Diophantine approximation where it is often necessary to assume ΨΨ is decreasing.

preprint2014arXiv

Badly approximable numbers for sequences of balls

It is a classical result from Diophantine approximation that the set of badly approximable numbers has Lebesgue measure zero. In this paper we generalise this result to more general sequences of balls. Given a countable set of closed dd-dimensional Euclidean balls {B(xi,ri)}i=1∞,\{B(x_{i},r_{i})\}_{i=1}^{\infty}, we say that α∈Rdα\in \mathbb{R}^{d} is a badly approximable number with respect to {B(xi,ri)}i=1∞\{B(x_{i},r_{i})\}_{i=1}^{\infty} if there exists κ(α)>0κ(α)>0 and N(α)∈NN(α)\in\mathbb{N} such that α∉B(xi,κ(α)ri)α\notin B(x_{i},κ(α)r_{i}) for all i≥N(α)i\geq N(α). Under natural conditions on the set of balls, we prove that the set of badly approximable numbers with respect to {B(xi,ri)}i=1∞\{B(x_{i},r_{i})\}_{i=1}^{\infty} has Lebesgue measure zero. Moreover, our approach yields a new proof that the set of badly approximable numbers has Lebesgue measure zero.

preprint2014arXiv

Dynamical properties of S-gap shifts and other shift spaces

We study the dynamical properties of certain shift spaces. To help study these properties we introduce two new classes of shifts, namely boundedly supermultiplicative (BSM) shifts and balanced shifts. It turns out that any almost specified shift is both BSM and balanced, and any balanced shift is BSM. However, as we will demonstrate, there are examples of shifts which are BSM but not balanced. We also study the measure theoretic properties of balanced shifts. We show that a shift space admits a Gibbs state if and only if it is balanced. Restricting ourselves to SS-gap shifts, we relate certain dynamical properties of an SS-gap shift to combinatorial properties from expansions in non-integer bases. This identification allows us to use the machinery from expansions in non-integer bases to give straightforward constructions of SS-gap shifts with certain desirable properties. We show that for any q∈(0,1)q\in(0,1) there is an SS-gap shift which has the specification property and entropy qq. We also use this identification to address the question, for a given q∈(0,1),q\in(0,1), how many SS-gap shifts exist with entropy q?q? For certain exceptional values of qq there is a unique SS-gap shift with this entropy.

preprint2014arXiv

Expansions in non-integer bases: lower order revisited

Let q∈(1,2)q\in(1,2) and x∈[0,1q−1]x\in[0,\frac1{q-1}]. We say that a sequence (εi)i=1∞∈{0,1}N(\varepsilon_i)_{i=1}^{\infty}\in\{0,1\}^{\mathbb{N}} is an expansion of xx in base qq (or a qq-expansion) if x=∑i=1∞εiq−i. x=\sum_{i=1}^{\infty}\varepsilon_iq^{-i}. For any k∈Nk\in\mathbb N, let Bk\mathcal B_k denote the set of qq such that there exists xx with exactly kk expansions in base qq. In [12] it was shown that min⁡B2=q2≈1.71064\min\mathcal B_2=q_2\approx 1.71064, the appropriate root of x4=2x2+x+1x^{4}=2x^{2}+x+1. In this paper we show that for any k≥3k\geq 3, min⁡Bk=qf≈1.75488\min\mathcal B_k=q_f\approx1.75488, the appropriate root of x3=2x2−x+1x^3=2x^2-x+1.

preprint2014arXiv

On the cardinality and complexity of the set of codings for self-similar sets with positive Lebesgue measure

Let λ1,…,λnλ_{1},\ldots,λ_{n} be real numbers in (0,1)(0,1) and p1,…,pnp_{1},\ldots,p_{n} be points in Rd\mathbb{R}^{d}. Consider the collection of maps fj:Rd→Rdf_{j}:\mathbb{R}^{d}\to\mathbb{R}^{d} given by fj(x)=λjx+(1−λj)pj.f_{j}(x)=λ_{j} x +(1-λ_{j})p_{j}. It is a well known result that there exists a unique compact set Λ⊂RdΛ\subset \mathbb{R}^{d} satisfying Λ=∪j=1nfj(Λ).Λ=\cup_{j=1}^{n} f_{j}(Λ). Each x∈Λx\in Λ has at least one coding, that is a sequence (εi)i=1∞∈{1,…,n}N(ε_{i})_{i=1}^{\infty}\in \{1,\ldots,n\}^{\mathbb{N}} that satisfies lim⁡N→∞fε1⋯fεN(0)=x.\lim_{N\to\infty}f_{ε_{1}}\cdots f_{ε_{N}} (0)=x. We study the size and complexity of the set of codings of a generic x∈Λx\in Λ when ΛΛ has positive Lebesgue measure. In particular, we show that under certain natural conditions almost every x∈Λx\inΛ has a continuum of codings. We also show that almost every x∈Λx\inΛ has a universal coding. Our work makes no assumptions on the existence of holes in ΛΛ and improves upon existing results when it is assumed ΛΛ contains no holes.

preprint2014arXiv

On the distribution of powers of real numbers modulo 1

Given a strictly increasing sequence of positive real numbers tending to infinity (qn)n=1∞(q_{n})_{n=1}^{\infty}, and an arbitrary sequence of real numbers (rn)n=1∞.(r_{n})_{n=1}^{\infty}. We study the set of α∈(1,∞)α\in(1,\infty) for which lim⁡n→∞∥αqn−rn∥=0\lim_{n\to\infty}\|α^{q_{n}}-r_{n}\|= 0. In \cite{Dub} Dubickas showed that whenever lim⁡n→∞(qn+1−qn)=∞,\lim_{n\to\infty}(q_{n+1}-q_{n})=\infty, there always exists a transcendental αα for which lim⁡n→∞∥αqn−rn∥=0.\lim_{n\to\infty}\|α^{q_{n}}-r_{n}\|= 0. Adapting the approach of Bugeaud and Moshchevitin \cite{BugMos}, we improve upon this result and show that whenever lim⁡n→∞(qn+1−qn)=∞,\lim_{n\to\infty}(q_{n+1}-q_{n})=\infty, the set of α∈(1,∞)α\in(1,\infty) satisfying lim⁡n→∞∥αqn−rn∥=0\lim_{n\to\infty}\|α^{q_{n}}-r_{n}\|= 0 is a dense set of Hausdorff dimension 11.

preprint2014arXiv

On univoque points for self-similar sets

Let K⊆RK\subseteq\mathbb{R} be the unique attractor of an iterated function system. We consider the case where KK is an interval and study those elements of KK with a unique coding. We prove under mild conditions that the set of points with a unique coding can be identified with a subshift of finite type. As a consequence of this, we can show that the set of points with a unique coding is a graph-directed self-similar set in the sense of Mauldin and Williams \cite{MW}. The theory of Mauldin and Williams then provides a method by which we can explicitly calculate the Hausdorff dimension of this set. Our algorithm can be applied generically, and our result generalises the work of \cite{DKK}, \cite{K1}, \cite{K2}, and \cite{MK}.

preprint2013arXiv

On small bases which admit countably many expansions

Let q∈(1,2)q\in(1,2) and x∈[0,1q−1]x\in[0,\frac1{q-1}]. We say that a sequence (εi)i=1∞∈{0,1}N(ε_i)_{i=1}^{\infty}\in\{0,1\}^{\mathbb{N}} is an expansion of xx in base qq (or a qq-expansion) if x=\sum_{i=1}^{\infty}ε_iq^{-i}. Let Bℵ0\mathcal{B}_{\aleph_{0}} denote the set of qq for which there exists xx with exactly ℵ0\aleph_{0} expansions in base qq. In \cite{EHJ} it was shown that min⁡Bℵ0=1+52.\min\mathcal{B}_{\aleph_{0}}=\frac{1+\sqrt{5}}{2}. In this paper we show that the smallest element of Bℵ0\mathcal{B}_{\aleph_{0}} strictly greater than 1+52\frac{1+\sqrt{5}}{2} is qℵ0≈1.64541q_{\aleph_{0}}\approx1.64541, the appropriate root of x6=x4+x3+2x2+x+1x^6=x^4+x^3+2x^2+x+1. This leads to a full dichotomy for the number of possible qq-expansions for q∈(1+52,qℵ0)q\in (\frac{1+\sqrt{5}}{2},q_{\aleph_{0}}). We also prove some general results regarding Bℵ0∩[1+52,qf],\mathcal{B}_{\aleph_{0}}\cap[\frac{1+\sqrt{5}}{2},q_{f}], where qf≈1.75488q_{f}\approx 1.75488 is the appropriate root of x3=2x2−x+1.x^{3}=2x^{2}-x+1. Moreover, the techniques developed in this paper imply that if x∈[0,1q−1]x\in [0,\frac{1}{q-1}] has uncountably many qq-expansions then the set of qq-expansions for xx has cardinality equal to that of the continuum, this proves that the continuum hypothesis holds when restricted to this specific case.

preprint2013arXiv

On universal and periodic ββ-expansions, and the Hausdorff dimension of the set of all expansions

In this paper we study the topology of a set naturally arising from the study of ββ-expansions. After proving several elementary results for this set we study the case when our base is Pisot. In this case we give necessary and sufficient conditions for this set to be finite. This finiteness property will allow us to generalise a theorem due to Schmidt and will provide the motivation for sufficient conditions under which the growth rate and Hausdorff dimension of the set of ββ-expansions are equal and explicitly calculable.

preprint2012arXiv

Generalised golden ratios over integer alphabets

It is a well known result that for β∈(1,1+52)β\in(1,\frac{1+\sqrt{5}}{2}) and x∈(0,1β−1)x\in(0,\frac{1}{β-1}) there exists uncountably many (εi)i=1∞∈0,1N(ε_{i})_{i=1}^{\infty}\in {0,1}^{\mathbb{N}} such that x=∑i=1∞εiβ−i.x=\sum_{i=1}^{\infty}ε_{i}β^{-i}. When β∈(1+52,2]β\in(\frac{1+\sqrt{5}}{2},2] there exists x∈(0,1β−1)x\in (0,\frac{1}{β-1}) for which there exists a unique (εi)i=1∞∈0,1N(ε_{i})_{i=1}^{\infty}\in {0,1}^{\mathbb{N}} such that x=∑i=1∞εiβ−i.x=\sum_{i=1}^{\infty}ε_{i}β^{-i}. In this paper we consider the more general case when our sequences are elements of 0,...,mN.{0,...,m}^{\mathbb{N}}. We show that an analogue of the golden ratio exists and give an explicit formula for it.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.