-
Robust Quantum Control for Bragg Pulse Design in Atom Interferometry
Authors:
Luke S. Baker,
Andre Luiz P. de Lima,
Andrew Harter,
Ceren Uzun,
Jr-Shin Li,
Anatoly Zlotnik,
Michael J. Martin,
Malcolm G. Boshier
Abstract:
We formulate a robust optimal control algorithm to synthesize minimum energy pulses that can transfer a cold atom system into various momentum states. The algorithm uses adaptive linearization of the evolution operator and sequential quadratic programming to iterate the control towards a minimum energy signal that achieves optimal target state fidelity. Robustness to parameter variation is achieve…
▽ More
We formulate a robust optimal control algorithm to synthesize minimum energy pulses that can transfer a cold atom system into various momentum states. The algorithm uses adaptive linearization of the evolution operator and sequential quadratic programming to iterate the control towards a minimum energy signal that achieves optimal target state fidelity. Robustness to parameter variation is achieved using Legendre polynomial approximation over the domain of variation. The method is applied to optimize the Bragg beamsplitting operation in ultra-cold atom interferometry. Even in the presence of 10-40% variability in the initial momentum dispersion of the atomic cloud and the intensity of the optical pulse, the algorithm reliably converges to a control protocol that robustly achieves unprecedented momentum levels with high fidelity for a single-frequency multi-photon Bragg diffraction scheme (e.g. $|\pm 40\hbar k\rangle$). Advantages of the proposed method are demonstrated by comparison to stochastic optimization using sampled parameter values.
△ Less
Submitted 10 February, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Disintegration results for fractal measures and applications to Diophantine approximation
Authors:
Simon Baker
Abstract:
In this paper we prove disintegration results for self-conformal measures and affinely irreducible self-similar measures. The measures appearing in the disintegration resemble self-conformal/self-similar measures for iterated function systems satisfying the strong separation condition. As an application of our results, we prove the following Diophantine statements:
1. Using a result of Pollingto…
▽ More
In this paper we prove disintegration results for self-conformal measures and affinely irreducible self-similar measures. The measures appearing in the disintegration resemble self-conformal/self-similar measures for iterated function systems satisfying the strong separation condition. As an application of our results, we prove the following Diophantine statements:
1. Using a result of Pollington and Velani, we show that if $μ$ is a self-conformal measure in $\mathbb{R}$ or an affinely irreducible self-similar measure, then there exists $α>0$ such that for all $β>α$ we have $$μ\left(\left\{\mathbf{x}\in \mathbb{R}^{d}:\max_{1\leq i\leq d}|x_{i}-p_i/q|\leq \frac{1}{q^{\frac{d+1}{d}}(\log q)^β}\textrm{ for i.m. }(p_1,\ldots,p_d,q)\in \mathbb{Z}^{d}\times \mathbb{N}\right\}\right)=0.$$
2. Using a result of Kleinbock and Weiss, we show that if $μ$ is an affinely irreducible self-similar measure, then $μ$ almost every $\mathbf{x}$ is not a singular vector.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
On finitely many base $q$ expansions
Authors:
Simon Baker,
George Bender
Abstract:
Given some integer $m \geq 3$, we find the first explicit collection of countably many intervals in $(1,2)$ such that for any $q$ in one of these intervals, the set of points with exactly $m$ base $q$ expansions is nonempty and moreover has positive Hausdorff dimension. Our method relies on an application of a theorem proved by Falconer and Yavicoli, which guarantees that the intersection of a fam…
▽ More
Given some integer $m \geq 3$, we find the first explicit collection of countably many intervals in $(1,2)$ such that for any $q$ in one of these intervals, the set of points with exactly $m$ base $q$ expansions is nonempty and moreover has positive Hausdorff dimension. Our method relies on an application of a theorem proved by Falconer and Yavicoli, which guarantees that the intersection of a family of compact subsets of $\mathbb{R}^d$ has positive Hausdorff dimension under certain conditions.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow
Authors:
Seung Whan Chung,
Youngsoo Choi,
Pratanu Roy,
Thomas Roy,
Tiras Y. Lin,
Du T. Nguyen,
Christopher Hahn,
Eric B. Duoss,
Sarah E. Baker
Abstract:
Computational physics simulation can be a powerful tool to accelerate industry deployment of new scientific technologies. However, it must address the challenge of computationally tractable, moderately accurate prediction at large industry scales, and training a model without data at such large scales. A recently proposed component reduced order modeling (CROM) tackles this challenge by combining…
▽ More
Computational physics simulation can be a powerful tool to accelerate industry deployment of new scientific technologies. However, it must address the challenge of computationally tractable, moderately accurate prediction at large industry scales, and training a model without data at such large scales. A recently proposed component reduced order modeling (CROM) tackles this challenge by combining reduced order modeling (ROM) with discontinuous Galerkin domain decomposition (DG-DD). While it can build a component ROM at small scales that can be assembled into a large scale system, its application is limited to linear physics equations. In this work, we extend CROM to nonlinear steady Navier-Stokes flow equation. Nonlinear advection term is evaluated via tensorial approach or empirical quadrature procedure. Application to flow past an array of objects at moderate Reynolds number demonstrates $\sim23.7$ times faster solutions with a relative error of $\sim 2.3\%$, even at scales $256$ times larger than the original problem.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling
Authors:
Seung Whan Chung,
Youngsoo Choi,
Pratanu Roy,
Thomas Roy,
Tiras Y. Lin,
Du T. Nguyen,
Christopher Hahn,
Eric B. Duoss,
Sarah E. Baker
Abstract:
Scaling up new scientific technologies from laboratory to industry often involves demonstrating performance on a larger scale. Computer simulations can accelerate design and predictions in the deployment process, though traditional numerical methods are computationally intractable even for intermediate pilot plant scales. Recently, component reduced order modeling method is developed to tackle thi…
▽ More
Scaling up new scientific technologies from laboratory to industry often involves demonstrating performance on a larger scale. Computer simulations can accelerate design and predictions in the deployment process, though traditional numerical methods are computationally intractable even for intermediate pilot plant scales. Recently, component reduced order modeling method is developed to tackle this challenge by combining projection reduced order modeling and discontinuous Galerkin domain decomposition. However, while many scientific or engineering applications involve nonlinear physics, this method has been only demonstrated for various linear systems. In this work, the component reduced order modeling method is extended to steady Navier-Stokes flow, with application to general nonlinear physics in view. Large-scale, global domain is decomposed into combination of small-scale unit component. Linear subspaces for flow velocity and pressure are identified via proper orthogonal decomposition over sample snapshots collected at small scale unit component. Velocity bases are augmented with pressure supremizer, in order to satisfy inf-sup condition for stable pressure prediction. Two different nonlinear reduced order modeling methods are employed and compared for efficient evaluation of nonlinear advection: 3rd-order tensor projection operator and empirical quadrature procedure. The proposed method is demonstrated on flow over arrays of five different unit objects, achieving $23$ times faster prediction with less than $4\%$ relative error up to $256$ times larger scale domain than unit components. Furthermore, a numerical experiment with pressure supremizer strongly indicates the need of supremizer for stable pressure prediction. A comparison between tensorial approach and empirical quadrature procedure is performed, which suggests a slight advantage for empirical quadrature procedure.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Robust Quantum Gate Preparation in Open Environments
Authors:
Luke S. Baker,
Syed A. Shah,
Anatoly Zlotnik,
Andrei Piryatinski
Abstract:
We develop an optimal control algorithm for robust quantum gate preparation in open environments with the state of the quantum system represented using the Lindblad master equation. The algorithm is based on adaptive linearization and iterative quadratic programming to progressively shape the control signal into an optimal form. Robustness is achieved with exponential rates of convergence by intro…
▽ More
We develop an optimal control algorithm for robust quantum gate preparation in open environments with the state of the quantum system represented using the Lindblad master equation. The algorithm is based on adaptive linearization and iterative quadratic programming to progressively shape the control signal into an optimal form. Robustness is achieved with exponential rates of convergence by introducing uncertain parameters into the master equation and expanding the parameterized state over the basis of Legendre polynomials. We prove that the proposed control algorithm reduces to GRadient Ascent Pulse Engineering (GRAPE) when the robustness portion of the algorithm is bypassed and signal restrictions are relaxed. The control algorithm is applied to prepare Controlled NOT and SWAP gates with high precision. Using only second order Legendre polynomials, the examples showcase unprecedented robustness to 100% parameter uncertainty in the interaction strength between the qubits, while simultaneously compensating for 20% uncertainty in signal intensity. The results could enable new capabilities for robust implementation of quantum gates and circuits subject to harsh environments and hardware limitations.
△ Less
Submitted 14 March, 2025; v1 submitted 1 October, 2024;
originally announced October 2024.
-
Fourier Decay from $L^2$-Flattening
Authors:
Simon Baker,
Osama Khalil,
Tuomas Sahlsten
Abstract:
We develop a unified approach for establishing rates of decay for the Fourier transform of a wide class of dynamically defined measures. Among the key features of the method is the systematic use of the $L^2$-flattening theorem obtained in \cite{Khalil-Mixing}, coupled with non-concentration estimates for the derivatives of the underlying dynamical system. This method yields polylogarithmic Fourie…
▽ More
We develop a unified approach for establishing rates of decay for the Fourier transform of a wide class of dynamically defined measures. Among the key features of the method is the systematic use of the $L^2$-flattening theorem obtained in \cite{Khalil-Mixing}, coupled with non-concentration estimates for the derivatives of the underlying dynamical system. This method yields polylogarithmic Fourier decay for Diophantine self-similar measures, and polynomial decay for Patterson-Sullivan measures of convex cocompact hyperbolic manifolds, Gibbs measures associated to non-integrable $C^2$ conformal systems, as well as stationary measures for carpet-like non-conformal iterated function systems. Applications include essential spectral gaps on convex cocompact hyperbolic manifolds, fractal uncertainty principles, and equidistribution properties of typical vectors in fractal sets.
△ Less
Submitted 20 December, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Convergence of Iterative Quadratic Programming for Robust Fixed-Endpoint Transfer of Bilinear Systems
Authors:
Luke S. Baker,
Andre Luiz P. de Lima,
Anatoly Zlotnik,
Jr-Shin Li,
Michael J. Martin
Abstract:
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. T…
▽ More
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. This class of dynamical systems is motivated by robust quantum control pulse synthesis, where the ensemble parameters correspond to uncertainty in the free Hamiltonian and inhomogeneity in the control Hamiltonian, respectively. Our computational method is based on polynomial approximation of the ensemble state in parameter space and discretization of the evolution equations in the time domain using a product of matrix exponentials corresponding to zero-order hold controls over the time intervals. The dynamics are successively linearized about control and trajectory iterates to formulate a sequence of quadratic programs for computing perturbations to the control that successively improve the objective until the iteration converges. We use a two-stage computation to first ensure transfer to the desired terminal state, and then minimize the norm of the control function. The method is demonstrated for the canonical uniform transfer problem for the Bloch system that appears in nuclear magnetic resonance, as well as the matter-wave splitting problem for the Raman-Nath system that appears in ultra-cold atom interferometry.
△ Less
Submitted 11 October, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
On the strong separation condition for self-similar iterated function systems with random translations
Authors:
Simon Baker,
Derong Kong,
Zhiqiang Wang
Abstract:
Given a self-similar iterated function system $Φ=\{ φ_i(x)=ρ_i O_i x+t_i \}_{i=1}^m$ acting on $\mathbb{R}^d$, we can generate a parameterised family of iterated function systems by replacing each $t_i$ with a random vector in $\mathbb{R}^d$. In this paper we study whether a Lebesgue typical member of this family will satisfy the strong separation condition. Our main results show that if the simil…
▽ More
Given a self-similar iterated function system $Φ=\{ φ_i(x)=ρ_i O_i x+t_i \}_{i=1}^m$ acting on $\mathbb{R}^d$, we can generate a parameterised family of iterated function systems by replacing each $t_i$ with a random vector in $\mathbb{R}^d$. In this paper we study whether a Lebesgue typical member of this family will satisfy the strong separation condition. Our main results show that if the similarity dimension of $Φ$ is sufficiently small, then a Lebesgue typical member of this family will satisfy the strong separation condition.
△ Less
Submitted 6 September, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Polynomial Fourier decay for fractal measures and their pushforwards
Authors:
Simon Baker,
Amlan Banaji
Abstract:
We prove that the pushforwards of a very general class of fractal measures $μ$ on $\mathbb{R}^d$ under a large family of non-linear maps $F \colon \mathbb{R}^d \to \mathbb{R}$ exhibit polynomial Fourier decay: there exist $C,η>0$ such that $|\widehat{Fμ}(ξ)|\leq C|ξ|^{-η}$ for all $ξ\neq 0$. Using this, we prove that if $Φ= \{ \varphi_a \colon [0,1] \to [0,1] \}_{a \in \mathcal{A}}$ is an iterated…
▽ More
We prove that the pushforwards of a very general class of fractal measures $μ$ on $\mathbb{R}^d$ under a large family of non-linear maps $F \colon \mathbb{R}^d \to \mathbb{R}$ exhibit polynomial Fourier decay: there exist $C,η>0$ such that $|\widehat{Fμ}(ξ)|\leq C|ξ|^{-η}$ for all $ξ\neq 0$. Using this, we prove that if $Φ= \{ \varphi_a \colon [0,1] \to [0,1] \}_{a \in \mathcal{A}}$ is an iterated function system consisting of analytic contractions, and there exists $a \in \mathcal{A}$ such that $\varphi_a$ is not an affine map, then every non-atomic self-conformal measure for $Φ$ has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.
△ Less
Submitted 17 January, 2025; v1 submitted 2 January, 2024;
originally announced January 2024.
-
Boundary Control for Suppressing Chaotic Response to Dynamic Hydrogen Blending in a Gas Pipeline
Authors:
Luke S. Baker,
Anatoly Zlotnik
Abstract:
It is known that periodic forcing of nonlinear flows can result in a chaotic response under certain conditions. Such non-periodic and chaotic solutions have been observed in simulations of heterogeneous gas flow in a pipeline with periodic, time-varying boundary conditions. In this paper, we examine a proportional feedback law for boundary control of a parabolic partial differential equation syste…
▽ More
It is known that periodic forcing of nonlinear flows can result in a chaotic response under certain conditions. Such non-periodic and chaotic solutions have been observed in simulations of heterogeneous gas flow in a pipeline with periodic, time-varying boundary conditions. In this paper, we examine a proportional feedback law for boundary control of a parabolic partial differential equation system that represents the flow of two gases through a pipe. We demonstrate that periodic variation of the mass fraction of the lighter gas at the pipe inlet can result in the chaotic propagation of gas pressure waves, and show that appropriate flow control can suppress this response. We examine phase space solutions for the single pipe system subject to boundary control, and use numerical experiments to characterize conditions for the controller gain to suppress chaos.
△ Less
Submitted 16 May, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
On the cardinality and dimension of the slices of Okamoto's functions
Authors:
Simon Baker,
George Bender
Abstract:
The graphs of Okamoto's functions, denoted by $K_q$, are self-affine fractal curves contained in $[0,1]^2$, parameterised by $q \in (1,2)$. In this paper we consider the cardinality and dimension of the intersection of these curves with horizontal lines. Our first theorem proves that if $q$ is sufficiently close to $2$, then $K_q$ admits a horizontal slice with exactly three elements. Our second t…
▽ More
The graphs of Okamoto's functions, denoted by $K_q$, are self-affine fractal curves contained in $[0,1]^2$, parameterised by $q \in (1,2)$. In this paper we consider the cardinality and dimension of the intersection of these curves with horizontal lines. Our first theorem proves that if $q$ is sufficiently close to $2$, then $K_q$ admits a horizontal slice with exactly three elements. Our second theorem proves that if a horizontal slice of $K_q$ contains an uncountable number of elements then it has positive Hausdorff dimension provided $q$ is in a certain subset of $(1,2)$. Finally, we prove that if $q$ is a $k$-Bonacci number for some $k \in \mathbb{N}_{\geq 3}$, then the set of $y \in [0,1]$ such that the horizontal slice at height $y$ has $(2m+1)$ elements has positive Hausdorff dimension for any $m \in \mathbb{N}$. We also show that, under the same assumption on $q$, there is some horizontal slice whose cardinality is countably infinite.
△ Less
Submitted 3 November, 2023; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Spectral gaps and Fourier dimension for self-conformal sets with overlaps
Authors:
Simon Baker,
Tuomas Sahlsten
Abstract:
We prove a uniform spectral gap for complex transfer operators near the critical line associated to overlapping $C^2$ iterated function systems on the real line satisfying a Uniform Non-Integrability (UNI) condition. Our work extends that of Naud (2005) on spectral gaps for nonlinear Cantor sets to allow overlaps. The proof builds a new method to reduce the problem of the lack of Markov structure…
▽ More
We prove a uniform spectral gap for complex transfer operators near the critical line associated to overlapping $C^2$ iterated function systems on the real line satisfying a Uniform Non-Integrability (UNI) condition. Our work extends that of Naud (2005) on spectral gaps for nonlinear Cantor sets to allow overlaps. The proof builds a new method to reduce the problem of the lack of Markov structure to average contraction of products of random Dolgopyat operators. This approach is inspired by a disintegration technique developed by Algom, the first author and Shmerkin in the study of normal numbers. As a consequence of the method of the second author and Stevens, our spectral gap result implies that the Fourier transform of any non-atomic self-conformal measure decays to zero at a polynomial rate for any $C^{2}$ iterated function system satisfying UNI. This latter result leads to Fractal Uncertainty Principles with arbitrary overlaps.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Linear System Analysis and Optimal Control of Natural Gas Dynamics in Pipeline Networks
Authors:
Luke S. Baker,
Sachin Shivakumar,
Dieter Armbruster,
Rodrigo B. Platte,
Anatoly Zlotnik
Abstract:
We design nonlinear and adaptive linear model-predictive control (MPC) techniques to minimize operational costs of compressor-actuated dynamics in natural gas pipeline networks. We establish stability of the local linear system and derive rigorous bounds on error between the nonlinear and linear system solutions. These bounds are used to quantify conditions under which the linear MPC can substitut…
▽ More
We design nonlinear and adaptive linear model-predictive control (MPC) techniques to minimize operational costs of compressor-actuated dynamics in natural gas pipeline networks. We establish stability of the local linear system and derive rigorous bounds on error between the nonlinear and linear system solutions. These bounds are used to quantify conditions under which the linear MPC can substitute the nonlinear MPC without significant loss of predictive accuracy. Furthermore, we prove and numerically verify that the computational cost of the linear MPC is orders of magnitude lower than that of solving the baseline optimal control problem. Numerical simulations are performed on nontrivial networks to demonstrate that the proposed MPC can effectively adapt to varying load conditions while maintaining nearly 95% optimality.
△ Less
Submitted 14 March, 2025; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Quantitative recurrence and the shrinking target problem for overlapping iterated function systems
Authors:
Simon Baker,
Henna Koivusalo
Abstract:
In this paper we study quantitative recurrence and the shrinking target problem for dynamical systems coming from overlapping iterated function systems. Such iterated function systems have the important property that a point often has several distinct choices of forward orbit. As is demonstrated in this paper, this non-uniqueness leads to different behaviour to that observed in the traditional set…
▽ More
In this paper we study quantitative recurrence and the shrinking target problem for dynamical systems coming from overlapping iterated function systems. Such iterated function systems have the important property that a point often has several distinct choices of forward orbit. As is demonstrated in this paper, this non-uniqueness leads to different behaviour to that observed in the traditional setting where every point has a unique forward orbit.
We prove several almost sure results on the Lebesgue measure of the set of points satisfying a given recurrence rate, and on the Lebesgue measure of the set of points returning to a shrinking target infinitely often. In certain cases, when the Lebesgue measure is zero, we also obtain Hausdorff dimension bounds. One interesting aspect of our approach is that it allows us to handle targets that are not simply balls, but may have a more exotic geometry.
△ Less
Submitted 29 January, 2024; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Transitions from Monotonicity to Chaos in Gas Mixture Dynamics in Pipeline Networks
Authors:
Luke S. Baker,
Saif R. Kazi,
Anatoly Zlotnik
Abstract:
The blending of hydrogen generated using clean energy into natural gas pipeline networks is proposed in order to utilize existing energy systems for their planned lifetimes while reducing their reliance on fossil fuels. We formulate a system of partial differential equations (PDEs) that govern the flow dynamics of mixtures of gases in pipeline networks under the influence of time-varying compresso…
▽ More
The blending of hydrogen generated using clean energy into natural gas pipeline networks is proposed in order to utilize existing energy systems for their planned lifetimes while reducing their reliance on fossil fuels. We formulate a system of partial differential equations (PDEs) that govern the flow dynamics of mixtures of gases in pipeline networks under the influence of time-varying compressor and regulator control actions. The formulation is derived for general gas networks that can inject or withdraw arbitrary time-varying mixtures of gases into or from the network at arbitrarily specified nodes. The PDE formulation is discretized in space to form a nonlinear control system that is used to prove that homogeneous mixtures are well-behaved and heterogeneous mixtures may be ill-behaved in the sense of monotone-ordering of solutions. We use numerical simulations to compute interfaces in the parameter region of sinusoidal boundary conditions that delimit monotonic, periodic, and chaotic system responses. The interfaces suggest that any solution in the monotonic response region is not chaotic and will eventually approach a periodic orbit. The results are demonstrated using examples for a single pipeline and a small test network.
△ Less
Submitted 24 July, 2023; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Recurrence rates for shifts of finite type
Authors:
Demi Allen,
Simon Baker,
Balázs Bárány
Abstract:
Let $Σ_{A}$ be a topologically mixing shift of finite type, let $σ:Σ_{A}\toΣ_{A}$ be the usual left-shift, and let $μ$ be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system $(Σ_{A},σ)$ that hold $μ$-almost surely. In particular, given a function $ψ:\mathbb{N}\to \mathbb{N}$ we are interested i…
▽ More
Let $Σ_{A}$ be a topologically mixing shift of finite type, let $σ:Σ_{A}\toΣ_{A}$ be the usual left-shift, and let $μ$ be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system $(Σ_{A},σ)$ that hold $μ$-almost surely. In particular, given a function $ψ:\mathbb{N}\to \mathbb{N}$ we are interested in the following set $$R_ψ=\{{\texttt i}\in Σ_{A}:i_{n+1}\ldots i_{n+ψ(n)+1}=i_1\ldots i_{ψ(n)}\textrm{ for infinitely many }n\in\mathbb{N}\}.$$
We provide sufficient conditions for $μ(R_ψ)=1$ and sufficient conditions for $μ(R_ψ)=0$. As a corollary of these results, we discover a new critical threshold where the measure of $R_ψ$ transitions from zero to one. This threshold was previously unknown even in the special case of a non-uniform Bernoulli measure defined on the full shift. The proofs of our results combine ideas from Probability Theory and Thermodynamic Formalism. In our final section we apply our results to the study of dynamics on self-similar sets.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
A note on dyadic approximation in Cantor's set
Authors:
Demi Allen,
Simon Baker,
Sam Chow,
Han Yu
Abstract:
We consider the convergence theory for dyadic approximation in the middle-third Cantor set, $K$, for approximation functions of the form $ψ_τ(n) = n^{-τ}$ ($τ\ge 0$). In particular, we show that for values of $τ$ beyond a certain threshold we have that almost no point in $K$ is dyadically $ψ_τ$-well approximable with respect to the natural probability measure on $K$. This refines a previous result…
▽ More
We consider the convergence theory for dyadic approximation in the middle-third Cantor set, $K$, for approximation functions of the form $ψ_τ(n) = n^{-τ}$ ($τ\ge 0$). In particular, we show that for values of $τ$ beyond a certain threshold we have that almost no point in $K$ is dyadically $ψ_τ$-well approximable with respect to the natural probability measure on $K$. This refines a previous result in this direction obtained by the first, third, and fourth named authors (arXiv, 2020).
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Approximating elements of the middle third Cantor set with dyadic rationals
Authors:
Simon Baker
Abstract:
Let $C$ be the middle third Cantor set and $μ$ be the $\frac{\log 2}{\log 3}$-dimensional Hausdorff measure restricted to $C$. In this paper we study approximations of elements of $C$ by dyadic rationals. Our main result implies that for $μ$ almost every $x\in C$ we have…
▽ More
Let $C$ be the middle third Cantor set and $μ$ be the $\frac{\log 2}{\log 3}$-dimensional Hausdorff measure restricted to $C$. In this paper we study approximations of elements of $C$ by dyadic rationals. Our main result implies that for $μ$ almost every $x\in C$ we have $$\#\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.
△ Less
Submitted 21 April, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
On normal numbers and self-similar measures
Authors:
Amir Algom,
Simon Baker,
Pablo Shmerkin
Abstract:
Let $\lbrace f_i(x)=s_i \cdot x+t_i \rbrace$ be a self-similar IFS on $\mathbb{R}$ and let $β>1$ be a Pisot number. We prove that if $\frac{\log |s_i|}{\log β}\notin \mathbb{Q}$ for some $i$ then for every $C^1$ diffeomorphism $g$ and every non-atomic self similar measure $μ$, the measure $gμ$ is supported on numbers that are normal in base $β$.
Let $\lbrace f_i(x)=s_i \cdot x+t_i \rbrace$ be a self-similar IFS on $\mathbb{R}$ and let $β>1$ be a Pisot number. We prove that if $\frac{\log |s_i|}{\log β}\notin \mathbb{Q}$ for some $i$ then for every $C^1$ diffeomorphism $g$ and every non-atomic self similar measure $μ$, the measure $gμ$ is supported on numbers that are normal in base $β$.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
On normal numbers and self-similar measures
Authors:
Simon Baker
Abstract:
In this paper we prove that if $\{\varphi_i(x)=λx+t_i\}$ is an equicontractive iterated function system and $b$ is a positive integer satisfying $\frac{\log b}{\log |λ|}\notin\mathbb{Q},$ then almost every $x$ is normal in base $b$ for any non-atomic self-similar measure of $\{\varphi_i\}$.
In this paper we prove that if $\{\varphi_i(x)=λx+t_i\}$ is an equicontractive iterated function system and $b$ is a positive integer satisfying $\frac{\log b}{\log |λ|}\notin\mathbb{Q},$ then almost every $x$ is normal in base $b$ for any non-atomic self-similar measure of $\{\varphi_i\}$.
△ Less
Submitted 22 November, 2021; v1 submitted 6 July, 2021;
originally announced July 2021.
-
Metric results for numbers with multiple $q$-expansions
Authors:
Simon Baker,
Yuru Zou
Abstract:
Let $M$ be a positive integer and $q\in (1, M+1]$. A $q$-expansion of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $c_i\in \{0,1,\ldots, M\}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. In this paper we study the set $\mathcal{U}_q^j$ consisting of those real numbers having exactly $j$ $q$-expansions. Our main result is that for Lebesgue almost every $q\in (q_{KL}, M+1), $ we have…
▽ More
Let $M$ be a positive integer and $q\in (1, M+1]$. A $q$-expansion of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $c_i\in \{0,1,\ldots, M\}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. In this paper we study the set $\mathcal{U}_q^j$ consisting of those real numbers having exactly $j$ $q$-expansions. Our main result is that for Lebesgue almost every $q\in (q_{KL}, M+1), $ we have $$\dim_{H}\mathcal{U}_{q}^{j}\leq \max\{0, 2\dim_H\mathcal{U}_q-1\}\text{ for all } j\in\{2,3,\ldots\}.$$ Here $q_{KL}$ is the Komornik-Loreti constant. As a corollary of this result, we show that for any $j\in\{2,3,\ldots\},$ the function mapping $q$ to $\dim_{H}\mathcal{U}_{q}^{j}$ is not continuous.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Intrinsic Diophantine Approximation for overlapping iterated function systems
Authors:
Simon Baker
Abstract:
In this paper we study a family of limsup sets that are defined using iterated function systems. Our main result is an analogue of Khintchine's theorem for these sets. We then apply this result to the topic of intrinsic Diophantine Approximation on self-similar sets. In particular, we define a new height function for an element of $\mathbb{Q}^d$ contained in a self-similar set in terms of its even…
▽ More
In this paper we study a family of limsup sets that are defined using iterated function systems. Our main result is an analogue of Khintchine's theorem for these sets. We then apply this result to the topic of intrinsic Diophantine Approximation on self-similar sets. In particular, we define a new height function for an element of $\mathbb{Q}^d$ contained in a self-similar set in terms of its eventually periodic representations. For limsup sets defined with respect to this height function, we obtain a detailed description of their metric properties. The results of this paper hold in arbitrary dimensions and without any separation conditions on the underlying iterated function system.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
New dimension bounds for $αβ$ sets
Authors:
Simon Baker
Abstract:
In this paper we obtain new lower bounds for the upper box dimension of $αβ$ sets. As a corollary of our main result, we show that if $α$ is not a Liouville number and $β$ is a Liouville number, then the upper box dimension of any $αβ$ set is $1$. We also use our dimension bounds to obtain new results on affine embeddings of self-similar sets.
In this paper we obtain new lower bounds for the upper box dimension of $αβ$ sets. As a corollary of our main result, we show that if $α$ is not a Liouville number and $β$ is a Liouville number, then the upper box dimension of any $αβ$ set is $1$. We also use our dimension bounds to obtain new results on affine embeddings of self-similar sets.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Gap statistics and higher correlations for geometric progressions modulo one
Authors:
Christoph Aistleitner,
Simon Baker,
Niclas Technau,
Nadav Yesha
Abstract:
Koksma's equidistribution theorem from 1935 states that for Lebesgue almost every $α>1$, the fractional parts of the geometric progression $(α^{n})_{n\geq1}$ are equidistributed modulo one. In the present paper we sharpen this result by showing that for almost every $α>1$, the correlations of all finite orders and hence the normalized gaps of $(α^{n})_{n\geq1}$ mod 1 have a Poissonian limit distri…
▽ More
Koksma's equidistribution theorem from 1935 states that for Lebesgue almost every $α>1$, the fractional parts of the geometric progression $(α^{n})_{n\geq1}$ are equidistributed modulo one. In the present paper we sharpen this result by showing that for almost every $α>1$, the correlations of all finite orders and hence the normalized gaps of $(α^{n})_{n\geq1}$ mod 1 have a Poissonian limit distribution, thereby resolving a conjecture of the two first named authors. While an earlier approach used probabilistic methods in the form of martingale approximation, our reasoning in the present paper is of an analytic nature and based upon the estimation of oscillatory integrals. This method is robust enough to allow us to extend our results to a natural class of sub-lacunary sequences.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
Analogues of Khintchine's theorem for random attractors
Authors:
Simon Baker,
Sascha Troscheit
Abstract:
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
Iterated function systems with super-exponentially close cylinders II
Authors:
Simon Baker
Abstract:
Until recently, it was an important open problem in Fractal Geometry to determine whether there exists an iterated function system acting on $\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 the…
▽ More
Until recently, it was an important open problem in Fractal Geometry to determine whether there exists an iterated function system acting on $\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.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Equidistribution results for self-similar measures
Authors:
Simon Baker
Abstract:
A well known theorem due to Koksma states that for Lebesgue almost every $x>1$ the sequence $(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 $(f_{n}(x))_{n=1}^{\infty}$ where $(f_n)_{n=1}^{\infty}$ is a sequence of su…
▽ More
A well known theorem due to Koksma states that for Lebesgue almost every $x>1$ the sequence $(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 $(f_{n}(x))_{n=1}^{\infty}$ where $(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 $C$ is equal to the middle third Cantor set and $t\geq 1$, then with respect to the Cantor-Lebesgue measure on $C+t$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed for almost every $x$.
△ Less
Submitted 22 February, 2021; v1 submitted 26 February, 2020;
originally announced February 2020.
-
On the pair correlations of powers of real numbers
Authors:
Christoph Aistleitner,
Simon Baker
Abstract:
A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(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>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proo…
▽ More
A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(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>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method.
△ Less
Submitted 9 March, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Quantitative recurrence properties for self-conformal sets
Authors:
Simon Baker,
Michael Farmer
Abstract:
In this paper we study the quantitative recurrence properties of self-conformal sets $X$ equipped with the map $T:X\to X$ induced by the left shift. In particular, given a function $\varphi:\mathbb{N}\to(0,\infty),$ we study the metric properties of the set $$R(T,\varphi)=\left\{x\in X:|T^nx-x|<\varphi(n)\textrm{ for infinitely many }n\in \mathbb{N}\right\}.$$ Our main result shows that for the na…
▽ More
In this paper we study the quantitative recurrence properties of self-conformal sets $X$ equipped with the map $T:X\to X$ induced by the left shift. In particular, given a function $\varphi:\mathbb{N}\to(0,\infty),$ we study the metric properties of the set $$R(T,\varphi)=\left\{x\in X:|T^nx-x|<\varphi(n)\textrm{ for infinitely many }n\in \mathbb{N}\right\}.$$ Our main result shows that for the natural measure supported on $X$, $R(T,\varphi)$ has zero measure if a natural volume sum converges, and under the open set condition $R(T,\varphi)$ has full measure if this volume sum diverges.
△ Less
Submitted 22 July, 2020; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Iterated function systems with super-exponentially close cylinders
Authors:
Simon Baker
Abstract:
Several important conjectures in Fractal Geometry can be summarised as follows: If the dimension of a self-similar measure in $\mathbb{R}$ does not equal its expected value, then the underlying iterated function system contains an exact overlap. In recent years significant progress has been made towards these conjectures. Hochman proved that if the Hausdorff dimension of a self-similar measure in…
▽ More
Several important conjectures in Fractal Geometry can be summarised as follows: If the dimension of a self-similar measure in $\mathbb{R}$ does not equal its expected value, then the underlying iterated function system contains an exact overlap. In recent years significant progress has been made towards these conjectures. Hochman proved that if the Hausdorff dimension of a self-similar measure in $\mathbb{R}$ does not equal its expected value, then there are cylinders which are super-exponentially close at all small scales. Several years later, Shmerkin proved an analogous statement for the $L^q$ dimension of self-similar measures in $\mathbb{R}$. With these statements in mind, it is natural to wonder whether there exist iterated function systems that do not contain exact overlaps, yet there are cylinders which are super-exponentially close at all small scales. In this paper we show that such iterated function systems do exist. In fact we prove much more. We prove that for any sequence $(ε_n)_{n=1}^{\infty}$ of positive real numbers, there exists an iterated function system $\{φ_i\}_{i\in \mathcal{I}}$ that does not contain exact overlaps and $$\min\left\{|φ_{\mathbf{a}}(0)-φ_{\mathbf{b}}(0)|: \mathbf{a},\mathbf{b}\in \mathcal{I}^n,\, \mathbf{a}\neq \mathbf{b},\, r_{\mathbf{a}}=r_{\mathbf{b}}\right\}\leq ε_n$$ for all $n\in \mathbb{N}.$
△ Less
Submitted 12 September, 2019; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Equidistribution results for sequences of polynomials
Authors:
Simon Baker
Abstract:
Let $(f_n)_{n=1}^{\infty}$ be a sequence of polynomials and $α>1$. In this paper we study the distribution of the sequence $(f_n(α))_{n=1}^{\infty}$ modulo one. We give sufficient conditions for a sequence $(f_n)_{n=1}^{\infty}$ to ensure that for Lebesgue almost every $α>1$ the sequence $(f_n(α))_{n=1}^{\infty}$ has Poissonian pair correlations. In particular, this result implies that for Lebesgu…
▽ More
Let $(f_n)_{n=1}^{\infty}$ be a sequence of polynomials and $α>1$. In this paper we study the distribution of the sequence $(f_n(α))_{n=1}^{\infty}$ modulo one. We give sufficient conditions for a sequence $(f_n)_{n=1}^{\infty}$ to ensure that for Lebesgue almost every $α>1$ the sequence $(f_n(α))_{n=1}^{\infty}$ has Poissonian pair correlations. In particular, this result implies that for Lebesgue almost every $α>1$, for any $k\geq 2$ the sequence $(α^{n^k})_{n=1}^{\infty}$ has Poissonian pair correlations.
△ Less
Submitted 4 March, 2020; v1 submitted 31 May, 2019;
originally announced May 2019.
-
Two bifurcation sets arising from the beta transformation with a hole at $0$
Authors:
Simon Baker,
Derong Kong
Abstract:
Given $β\in(1,2],$ the $β$-transformation $T_β: x\mapsto βx\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set
\[
\mathcal E_β:=\{t\in[0, 1): K_β(t')\ne K_β(t)~\forall t'>t\},
\]
where $K_β(t):=\{x\in[0, 1): T_β^n(x)\ge t~\forall n\ge 0\}$ is the survivor set. In this paper we investigate the dimension…
▽ More
Given $β\in(1,2],$ the $β$-transformation $T_β: x\mapsto βx\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set
\[
\mathcal E_β:=\{t\in[0, 1): K_β(t')\ne K_β(t)~\forall t'>t\},
\]
where $K_β(t):=\{x\in[0, 1): T_β^n(x)\ge t~\forall n\ge 0\}$ is the survivor set. In this paper we investigate the dimension bifurcation set
\[
\mathcal B_β:=\{t\in[0, 1): \dim_H K_β(t')\ne \dim_H K_β(t)~\forall t'>t\},
\]
where $\dim_H$ denotes the Hausdorff dimension.
We show that if $β\in(1,2]$ is a multinacci number then the two bifurcation sets $\mathcal B_β$ and $\mathcal E_β$ coincide. Moreover we give a complete characterization of these two sets. As a corollary of our main result we prove that for $β$ a multinacci number we have $\dim_H(\mathcal E_β\cap[t, 1])=\dim_H K_β(t)$ for any $t\in[0, 1)$. This confirms a conjecture of Kalle et al.~for $β$ a multinacci number.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Overlapping iterated function systems from the perspective of Metric Number Theory
Authors:
Simon Baker
Abstract:
In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation. This result shows that for a family of limsup sets, their Lebesgue measure is determined by the convergence or divergence of naturally occurring volume sums. For many parameterised families of overlapping iterated…
▽ More
In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation. This result shows that for a family of limsup sets, their Lebesgue measure is determined by the convergence or divergence of naturally occurring volume sums. For many parameterised families of overlapping iterated function systems, we prove that a typical member will exhibit similar Khintchine like behaviour. Families of iterated function systems our results apply to include those arising from Bernoulli convolutions, the $\{0,1,3\}$ problem, and affine contractions with varying translation parameter. As a by-product of our analysis we obtain new proofs of well known results due to Solomyak on the absolute continuity of Bernoulli convolutions, and when the attractor in the $\{0,1,3\}$ problem has positive Lebesgue measure.
For each $t\in [0,1]$ we let $Φ_t$ be the iterated function system given by $$Φ_{t}:=\Big\{φ_1(x)=\frac{x}{2},φ_2(x)=\frac{x+1}{2},φ_3(x)=\frac{x+t}{2},φ_{4}(x)=\frac{x+1+t}{2}\Big\}.$$ We include a detailed study of this family. We prove that either $Φ_t$ contains an exact overlap, or we observe Khintchine like behaviour. Our analysis of this family shows that by studying the metric properties of limsup sets, we can distinguish between the overlapping behaviour of iterated function systems in a way that is not available to us by simply studying properties of self-similar measures.
Last of all, we introduce a property of an iterated function system that we call being consistently separated with respect to a measure. We prove that this property implies that the pushforward of the measure is absolutely continuous. We include several explicit examples of consistently separated iterated function systems.
△ Less
Submitted 19 October, 2020; v1 submitted 23 January, 2019;
originally announced January 2019.
-
On the complexity of the set of codings for self-similar sets and a variation on the construction of Champernowne
Authors:
Simon Baker,
Derong Kong
Abstract:
Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=λ\mathbf{x} +(1-λ)\mathbf{p}_i,$$ where $λ\in(0,1)$. Given $F$ and $λ$ it is well known that there exists a unique non-empty compact set $X$ satisfying $X=\cup_{i=0}^n S_i(X)$. Fo…
▽ More
Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=λ\mathbf{x} +(1-λ)\mathbf{p}_i,$$ where $λ\in(0,1)$. Given $F$ and $λ$ it is well known that there exists a unique non-empty compact set $X$ satisfying $X=\cup_{i=0}^n S_i(X)$. For each $\mathbf{x} \in X$ there exists a sequence $\mathbf{a}\in\{0,\ldots,n\}^{\mathbb{N}}$ satisfying $$\mathbf{x}=\lim_{j\to\infty}(S_{a_1}\circ \cdots \circ S_{a_j})(\mathbf{0}).$$ We call such a sequence a coding of $\mathbf{x}$. In this paper we prove that for any $F$ and $k \in\mathbb{N},$ there exists $δ_k(F)>0$ such that if $λ\in(1-δ_k(F),1),$ then every point in the interior of $X$ has a coding which is $k$-simply normal. Similarly, we prove that there exists $δ_{uni}(F)>0$ such that if $λ\in(1-δ_{uni}(F),1),$ then every point in the interior of $X$ has a coding containing all finite words. For some specific choices of $F$ we obtain lower bounds for $δ_k(F)$ and $δ_{uni}(F)$. We also prove some weaker statements that hold in the more general setting when the similarities in our iterated function systems exhibit different rates of contraction. Our proofs rely on a variation of a well known construction of a normal number due to Champernowne, and an approach introduced by Erdős and Komornik.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
An infinitely generated self-similar set with positive Lebesgue measure and empty interior
Authors:
Simon Baker,
Nikita Sidorov
Abstract:
Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Csörnyei et al. They gave a parameterised family of iterated function systems for which almost all of the corresponding self-similar sets satisfied the required properties. They do not however provide an explicit example. Motiva…
▽ More
Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Csörnyei et al. They gave a parameterised family of iterated function systems for which almost all of the corresponding self-similar sets satisfied the required properties. They do not however provide an explicit example. Motivated by a desire to construct an explicit example, we in this paper provide an explicit construction of an infinitely generated self-similar set with positive Lebesgue measure and empty interior.
△ Less
Submitted 13 March, 2019; v1 submitted 2 June, 2018;
originally announced June 2018.
-
A General Mass Transference Principle
Authors:
Demi Allen,
Simon Baker
Abstract:
In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set condition and smooth compact manifolds embedded in $\mathbb{R}^n$. Our main result is applicable in locally compact metric spaces and allows one to transfer Hausdorff…
▽ More
In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set condition and smooth compact manifolds embedded in $\mathbb{R}^n$. Our main result is applicable in locally compact metric spaces and allows one to transfer Hausdorff $g$-measure statements to Hausdorff $f$-measure statements. This work extends previous results of this type in several distinct directions.
△ Less
Submitted 17 August, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Maximising Bernoulli measures and dimension gaps for countable branched systems
Authors:
Simon Baker,
Natalia Jurga
Abstract:
Kifer, Peres, and Weiss proved that there exists $c_0>0,$ such that $\dim μ\leq 1-c_0$ for any probability measure $μ$ which makes the digits of the continued fraction expansion i.i.d. random variables. In this paper we prove that amongst this class of measures, there exists one whose dimension is maximal. Our results also apply in the more general setting of countable branched systems.
Kifer, Peres, and Weiss proved that there exists $c_0>0,$ such that $\dim μ\leq 1-c_0$ for any probability measure $μ$ which makes the digits of the continued fraction expansion i.i.d. random variables. In this paper we prove that amongst this class of measures, there exists one whose dimension is maximal. Our results also apply in the more general setting of countable branched systems.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
Exceptional digit frequencies and expansions in non-integer bases
Authors:
Simon Baker
Abstract:
In this paper we study the set of digit frequencies that are realised by elements of the set of $β$-expansions. The main result of this paper demonstrates that as $β$ approaches $1,$ the set of digit frequencies that occur amongst the set of $β$-expansions fills out the simplex. As an application of our main result, we obtain upper bounds for the local dimension of certain biased Bernoulli convolu…
▽ More
In this paper we study the set of digit frequencies that are realised by elements of the set of $β$-expansions. The main result of this paper demonstrates that as $β$ approaches $1,$ the set of digit frequencies that occur amongst the set of $β$-expansions fills out the simplex. As an application of our main result, we obtain upper bounds for the local dimension of certain biased Bernoulli convolutions.
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
Numbers with simply normal $β$-expansions
Authors:
Simon Baker,
Derong Kong
Abstract:
In [Bak] the first author proved that for any $β\in (1,β_{KL})$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion, where $β_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented by an observation made in [JSS], where it was shown that whenever $β\in (β_T, 2]$ there exists an $x\in(0,\frac{1}{β-1})$ with a unique $β$-expansion, and this expansion is not sim…
▽ More
In [Bak] the first author proved that for any $β\in (1,β_{KL})$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion, where $β_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented by an observation made in [JSS], where it was shown that whenever $β\in (β_T, 2]$ there exists an $x\in(0,\frac{1}{β-1})$ with a unique $β$-expansion, and this expansion is not simply normal. Here $β_T\approx 1.80194$ is the unique zero in $(1,2]$ of the polynomial $x^3-x^2-2x+1$. This leaves a gap in our understanding within the interval $[β_{KL}, β_T]$. In this paper we fill this gap and prove that for any $β\in (1,β_T],$ every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion. For completion, we provide a proof that for any $β\in(1,2)$, Lebesgue almost every $x$ has a simply normal $β$-expansion. We also give examples of $x$ with multiple $β$-expansions, none of which are simply normal.
Our proofs rely on ideas from combinatorics on words and dynamical systems.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Bifurcation sets arising from non-integer base expansions
Authors:
Pieter Allaart,
Simon Baker,
Derong Kong
Abstract:
Given a positive integer $M$ and $q\in(1,M+1]$, let $\mathcal U_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion: there exists a unique sequence $(x_i)=x_1x_2\ldots$ with each $x_i\in\{0,1,\ldots, M\}$ such that
\[
x=\frac{x_1}{q}+\frac{x_2}{q^2}+\frac{x_3}{q^3}+\cdots.
\]
Denote by $\mathbf U_q$ the set of corresponding sequences of all points in $\mathcal U_q$.
It is w…
▽ More
Given a positive integer $M$ and $q\in(1,M+1]$, let $\mathcal U_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion: there exists a unique sequence $(x_i)=x_1x_2\ldots$ with each $x_i\in\{0,1,\ldots, M\}$ such that
\[
x=\frac{x_1}{q}+\frac{x_2}{q^2}+\frac{x_3}{q^3}+\cdots.
\]
Denote by $\mathbf U_q$ the set of corresponding sequences of all points in $\mathcal U_q$.
It is well-known that the function $H: q\mapsto h(\mathbf U_q)$ is a Devil's staircase, where $h(\mathbf U_q)$ denotes the topological entropy of $\mathbf U_q$. In this paper we {give several characterizations of} the bifurcation set
\[
\mathcal B:=\{q\in(1,M+1]: H(p)\ne H(q)\textrm{ for any }p\ne q\}.
\] Note that $\mathcal B$ is contained in the set $\mathcal{U}^R$ of bases $q\in(1,M+1]$ such that $1\in\mathcal U_q$. By using a transversality technique we also calculate the Hausdorff dimension of the difference $\mathcal B\backslash\mathcal{U}^R$. Interestingly this quantity is always strictly between $0$ and $1$. When $M=1$ the Hausdorff dimension of $\mathcal B\backslash\mathcal{U}^R$ is $\frac{\log 2}{3\log λ^*}\approx 0.368699$, where $λ^*$ is the unique root in $(1, 2)$ of the equation $x^5-x^4-x^3-2x^2+x+1=0$.
△ Less
Submitted 11 July, 2018; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Digit frequencies and self-affine sets with non-empty interior
Authors:
Simon Baker
Abstract:
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 $β\in(1,1.787\ldots)$ then every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion. We also prove that if $β\in(1,\frac{1+\sqrt{5}}{2})$ then every $x\in(0,\frac{1}{β-1})$ has a $β$-expansion for w…
▽ More
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 $β\in(1,1.787\ldots)$ then every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion. We also prove that if $β\in(1,\frac{1+\sqrt{5}}{2})$ then every $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 $p$, where $p$ is any real number sufficiently close to $1/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,$ 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.
△ Less
Submitted 24 January, 2017;
originally announced January 2017.
-
Root sets of polynomials and power series with finite choices of coefficients
Authors:
Simon Baker,
Han Yu
Abstract:
Given $H\subseteq \mathbb{C}$ two natural objects to study are the set of zeros of polynomials with coefficients in $H$, $$\{z\in \mathbb{C}: \exists k>0,\, \exists (a_n)\in H^{k+1}, \sum_{n=0}^{k}a_{n}z^n=0\},$$ and the set of zeros of power series with coefficients in $H$, $$\{z\in\mathbb{C}: \exists (a_n)\in H^{\mathbb{N}}, \sum_{n=0}^{\infty} a_nz^n=0\}.$$ In this paper we consider the case wh…
▽ More
Given $H\subseteq \mathbb{C}$ two natural objects to study are the set of zeros of polynomials with coefficients in $H$, $$\{z\in \mathbb{C}: \exists k>0,\, \exists (a_n)\in H^{k+1}, \sum_{n=0}^{k}a_{n}z^n=0\},$$ and the set of zeros of power series with coefficients in $H$, $$\{z\in\mathbb{C}: \exists (a_n)\in H^{\mathbb{N}}, \sum_{n=0}^{\infty} a_nz^n=0\}.$$ In this paper we consider the case where each element of $H$ has modulus $1$. The main result of this paper states that for any $r\in(1/2,1),$ if $H$ is $2\cos^{-1}(\frac{5-4|r|^2}{4})$-dense in $S^1,$ then the set of zeros of polynomials with coefficients in $H$ is dense in $\{z\in \mathbb{C}: |z|\in [r,r^{-1}]\},$ and the set of zeros of power series with coefficients in $H$ contains the annulus $\{z\in \mathbb{C}: |z|\in[r,1)\}$. These two statements demonstrate quantitatively how the set of polynomial zeros/power series zeros fill out the natural annulus containing them as $H$ becomes progessively more dense.
△ Less
Submitted 8 March, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
An analogue of Khintchine's theorem for self-conformal sets
Authors:
Simon Baker
Abstract:
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 certai…
▽ More
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.
△ Less
Submitted 22 July, 2020; v1 submitted 15 September, 2016;
originally announced September 2016.
-
Entropy, topological transitivity, and dimensional properties of unique $q$-expansions
Authors:
Rafael Alcaraz Barrera,
Simon Baker,
Derong Kong
Abstract:
Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences.
It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each…
▽ More
Let $M$ be a positive integer and $q \in(1,M+1].$ We consider expansions of real numbers in base $q$ over the alphabet $\{0,\ldots, M\}$. In particular, we study the set $\mathcal{U}_{q}$ of real numbers with a unique $q$-expansion, and the set $\mathbf{U}_q$ of corresponding sequences.
It was shown in (Komornik et al, 2017 Adv. Math.) that the function $H$, which associates to each $q\in(1, M+1]$ the topological entropy of $\mathcal{U}_q$, is a Devil's staircase. In this paper we explicitly determine the plateaus of $H$, and characterize the bifurcation set $\mathcal E$ of $q$'s where the function $H$ is not locally constant. Moreover, we show that $\mathcal E$ is a Cantor set of full Hausdorff dimension. We also investigate the topological transitivity of a naturally occurring subshift $(\mathbf{V}_q, σ),$ which has a close connection with open dynamical systems. Finally, we prove that the Hausdorff dimension and box dimension of $\mathcal{U}_q$ coincide for all $q\in(1,M+1]$.
△ Less
Submitted 21 August, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
On periodic representations in non-Pisot bases
Authors:
Simon Baker,
Zuzana Masáková,
Edita Pelantová,
Tomáš Vávra
Abstract:
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 tha…
▽ More
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 $1$.
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}.
△ Less
Submitted 12 April, 2016;
originally announced April 2016.
-
Unique expansions and intersections of Cantor sets
Authors:
Simon Baker,
Derong Kong
Abstract:
To each $α\in(1/3,1/2)$ we associate the Cantor set $$Γ_α:=\Big\{\sum_{i=1}^{\infty}ε_{i}α^i: ε_i\in\{0,1\},\,i\geq 1\Big\}.$$
In this paper we consider the intersection $Γ_α\cap (Γ_α+ t)$ for any translation $t\in\mathbb{R}$. We pay special attention to those $t$ with a unique
$\{-1,0,1\}$ $α$-expansion, and study the set…
▽ More
To each $α\in(1/3,1/2)$ we associate the Cantor set $$Γ_α:=\Big\{\sum_{i=1}^{\infty}ε_{i}α^i: ε_i\in\{0,1\},\,i\geq 1\Big\}.$$
In this paper we consider the intersection $Γ_α\cap (Γ_α+ t)$ for any translation $t\in\mathbb{R}$. We pay special attention to those $t$ with a unique
$\{-1,0,1\}$ $α$-expansion, and study the set
$$D_α:=\{\dim_H(Γ_α\cap (Γ_α+ t)):t \textrm{ has a unique }\{-1,0,1\}\,α\textrm{-expansion}\}.$$ We prove that there exists a transcendental number $α_{KL}\approx 0.39433\ldots$ such that: $D_α$ is finite for $α\in(α_{KL},1/2),$ $D_{α_{KL}}$ is infinitely countable, and $D_α$ contains an interval for $α\in(1/3,α_{KL}).$ We also prove that $D_α$ equals $[0,\frac{\log 2}{-\log α}]$ if and only if $α\in (1/3,\frac {3-\sqrt{5}}{2}].$
As a consequence of our investigation we prove some results on the possible values of $\dim_{H}(Γ_α\cap (Γ_α+ t))$ when $Γ_α\cap (Γ_α+ t)$ is a self-similar set. We also give examples of $t$ with a continuum of $\{-1,0,1\}$ $α$-expansions for which we can explicitly calculate $\dim_{H}(Γ_α\cap(Γ_α+t)),$ and for which $Γ_α\cap (Γ_α+t)$ is a self-similar set. We also construct $α$ and $t$ for which $Γ_α\cap (Γ_α+ t)$ contains only transcendental numbers.
Our approach makes use of digit frequency arguments and a lexicographic characterisation of those $t$ with a unique $\{-1,0,1\}$ $α$-expansion.
△ Less
Submitted 4 April, 2016;
originally announced April 2016.
-
On the regularity of the generalised golden ratio function
Authors:
Simon Baker,
Wolfgang Steiner
Abstract:
Given a finite set of real numbers $A$, the generalised golden ratio is the unique real number $\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 $\mathcal{G}(A)$ varies continuously with the alphabet $A$ (of fixed size). What is more, we demonstrate that as we vary a single parameter $m$ with…
▽ More
Given a finite set of real numbers $A$, the generalised golden ratio is the unique real number $\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 $\mathcal{G}(A)$ varies continuously with the alphabet $A$ (of fixed size). What is more, we demonstrate that as we vary a single parameter $m$ within~$A$, the generalised golden ratio function may behave like $m^{1/h}$ for any positive integer $h$. These results follow from a detailed study of $\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 $\mathcal{G}(\{0,1,m\})$. (For a ternary alphabet, it may be assumed without loss of generality that $A = \{0,1,m\}$ with $m\in(1,2)]$.) We also study the set of $m \in (1,2]$ for which $\mathcal{G}(\{0,1,m\})=1+\sqrt{m},$ we prove that this set is uncountable and has Hausdorff dimension~$0$. We show that the function mapping $m$ to $\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.
△ Less
Submitted 9 September, 2016; v1 submitted 26 November, 2015;
originally announced November 2015.
-
Induced Random $β$-transformation
Authors:
Simon Baker,
Karma Dajani
Abstract:
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 $(\mathcal{I}_{n})_{n=1}^{\infty},$ such that all sequences of return times…
▽ More
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 $(\mathcal{I}_{n})_{n=1}^{\infty},$ such that all sequences of return times are permissible if and only if $β\in \mathcal{I}_{n}$ for some $n$. Moreover, we show that there exists a set $M\subseteq(1,2)$ of Hausdorff dimension $1$ and Lebesgue measure zero, for which the first return map is a generalised Lüroth series transformation if and only if $β\in M$.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
Inhomogeneous self-similar sets with overlaps
Authors:
Simon Baker,
Jonathan M. Fraser,
András Máthé
Abstract:
It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and the condensation set. First, we prove that this `expected formula' does not hold in general if there are overlaps in the construction. We demonstrate this via two…
▽ More
It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and the condensation set. First, we prove that this `expected formula' does not hold in general if there are overlaps in the construction. We demonstrate this via two different types of counterexample: the first is a family of overlapping inhomogeneous self-similar sets based upon Bernoulli convolutions; and the second applies in higher dimensions and makes use of a spectral gap property that holds for certain subgroups of $SO(d)$ for $d\geq 3$.
We also obtain new upper bounds for the upper box dimension of an inhomogeneous self-similar set which hold in general. Moreover, our counterexamples demonstrate that these bounds are optimal. In the final section we show that if the \emph{weak separation property} is satisfied, ie. the overlaps are controllable, then the `expected formula' does hold.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
