Showing 1–8 of 8 results for author: de Vries, M

Topology of univoque sets in real base expansions

Authors: Martijn de Vries, Vilmos Komornik, Paola Loreti

Abstract: Given a positive integer $M$ and a real number $q \in (1,M+1]$, an expansion of a real number $x \in \left[0,M/(q-1)\right]$ over the alphabet $A=\{0,1,\ldots,M\}$ is a sequence $(c_i) \in A^{\mathbb N}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. Generalizing many earlier results, we investigate in this paper the topological properties of the set $U_q$ consisting of numbers $x$ having a unique ex… ▽ More Given a positive integer $M$ and a real number $q \in (1,M+1]$, an expansion of a real number $x \in \left[0,M/(q-1)\right]$ over the alphabet $A=\{0,1,\ldots,M\}$ is a sequence $(c_i) \in A^{\mathbb N}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. Generalizing many earlier results, we investigate in this paper the topological properties of the set $U_q$ consisting of numbers $x$ having a unique expansion of this form, and the combinatorial properties of the set $U_q'$ consisting of their corresponding expansions. We also provide shorter proofs of the main results of Baker in [B] by adapting the method given in [EJK] for the case $M=1$. △ Less

Submitted 15 March, 2022; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 33 pages. arXiv admin note: text overlap with arXiv:math/0609708

MSC Class: 11A63 (Primary) 10K50; 11K55; 11B83; 37B10 (Secondary)

Univoque bases and Hausdorff dimension

Authors: Derong Kong, Wenxia Li, Fan Lü, Martijn de Vries

Abstract: Given a positive integer $M$ and a real number $q >1$, a \emph{$q$-expansion} of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $(c_i) \in \{0,\ldots,M\}^\infty$ such that \[x=\sum_{i=1}^{\infty} c_iq^{-i}.\] It is well known that if $q \in (1,M+1]$, then each $x \in I_q:=\left[0,M/(q-1)\right]$ has a $q$-expansion. Let $\mathcal{U}=\mathcal{U}(M)$ be the set of \emph{univoque bases}… ▽ More Given a positive integer $M$ and a real number $q >1$, a \emph{$q$-expansion} of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $(c_i) \in \{0,\ldots,M\}^\infty$ such that \[x=\sum_{i=1}^{\infty} c_iq^{-i}.\] It is well known that if $q \in (1,M+1]$, then each $x \in I_q:=\left[0,M/(q-1)\right]$ has a $q$-expansion. Let $\mathcal{U}=\mathcal{U}(M)$ be the set of \emph{univoque bases} $q>1$ for which $1$ has a unique $q$-expansion. The main object of this paper is to provide new characterizations of $\mathcal{U}$ and to show that the Hausdorff dimension of the set of numbers $x \in I_q$ with a unique $q$-expansion changes the most if $q$ "crosses" a univoque base. Denote by $\mathcal{B}_2=\mathcal{B}_2(M)$ the set of $q \in (1,M+1]$ such that there exist numbers having precisely two distinct $q$-expansions. As a by-product of our results, we obtain an answer to a question of Sidorov (2009) and prove that \[\dim_H(\mathcal{B}_2\cap(q',q'+δ))>0\quad\textrm{for any}\quad δ>0,\] where $q'=q'(M)$ is the Komornik-Loreti constant. △ Less

Submitted 2 April, 2017; v1 submitted 12 June, 2016; originally announced June 2016.

Comments: 16 pages. To appear in Monatshefte fur Mathematik (2017)

MSC Class: Primary: 11A63; Secondary: 37B10; 28A78

Optimal expansions in non-integer bases

Authors: Karma Dajani, Martijn de Vries, Vilmos Komornik, Paola Loreti

Abstract: For a given positive integer $m$, let $A=\set{0,1,...,m}$ and $q \in (m,m+1)$. A sequence $(c_i)=c_1c_2 ...$ consisting of elements in $A$ is called an expansion of $x$ if $\sum_{i=1}^{\infty} c_i q^{-i}=x$. It is known that almost every $x$ belonging to the interval $[0,m/(q-1)]$ has uncountably many expansions. In this paper we study the existence of expansions $(d_i)$ of $x$ satisfying the ineq… ▽ More For a given positive integer $m$, let $A=\set{0,1,...,m}$ and $q \in (m,m+1)$. A sequence $(c_i)=c_1c_2 ...$ consisting of elements in $A$ is called an expansion of $x$ if $\sum_{i=1}^{\infty} c_i q^{-i}=x$. It is known that almost every $x$ belonging to the interval $[0,m/(q-1)]$ has uncountably many expansions. In this paper we study the existence of expansions $(d_i)$ of $x$ satisfying the inequalities $\sum_{i=1}^n d_iq^{-i} \geq \sum_{i=1}^n c_i q^{-i}$, $n=1,2,...$ for each expansion $(c_i)$ of $x$. △ Less

Submitted 15 May, 2011; v1 submitted 23 November, 2010; originally announced November 2010.

Comments: 11 pages, 0 figures, to appear in Proc. Amer. Math. Soc

MSC Class: 11A63; 37A05; 37L40

A two-dimensional univoque set

Authors: Martijn de Vries, Vilmos Komornik

Abstract: Let $\mathbf{J} \subset \mathbb{R}^2$ be the set of couples $(x,q)$ with $q>1$ such that $x$ has at least one representation of the form $x=\sum_{i=1}^{\infty} c_i q^{-i}$ with integer coefficients $c_i$ satisfying $0 \leq c_i < q$, $i \ge 1$. In this case we say that $(c_i)=c_1c_2...$ is an expansion of $x$ in base $q$. Let $\mathbf{U}$ be the set of couples $(x,q) \in \mathbf{J}$ such that $x$ h… ▽ More Let $\mathbf{J} \subset \mathbb{R}^2$ be the set of couples $(x,q)$ with $q>1$ such that $x$ has at least one representation of the form $x=\sum_{i=1}^{\infty} c_i q^{-i}$ with integer coefficients $c_i$ satisfying $0 \leq c_i < q$, $i \ge 1$. In this case we say that $(c_i)=c_1c_2...$ is an expansion of $x$ in base $q$. Let $\mathbf{U}$ be the set of couples $(x,q) \in \mathbf{J}$ such that $x$ has exactly one expansion in base $q$. In this paper we deduce some topological and combinatorial properties of the set $\mathbf{U}$. We characterize the closure of $\mathbf{U}$, and we determine its Hausdorff dimension. For $(x,q) \in \mathbf{J}$, we also prove new properties of the lexicographically largest expansion of $x$ in base $q$. △ Less

Submitted 16 December, 2010; v1 submitted 27 March, 2010; originally announced March 2010.

Comments: 12 pages, 0 figures. Comments of the referee are incorporated. Accepted for publication in Fundamenta Mathematicae

MSC Class: 11A63; 11B83

On the number of unique expansions in non-integer bases

Authors: Martijn de Vries

Abstract: Let $q > 1$ be a real number and let $m=m(q)$ be the largest integer smaller than $q$. It is well known that each number $x \in J_q:=[0, \sum_{i=1}^{\infty} m q^{-i}]$ can be written as $x=\sum_{i=1}^{\infty}{c_i}q^{-i}$ with integer coefficients $0 \le c_i < q$. If $q$ is a non-integer, then almost every $x \in J_q$ has continuum many expansions of this form. In this note we consider some prope… ▽ More Let $q > 1$ be a real number and let $m=m(q)$ be the largest integer smaller than $q$. It is well known that each number $x \in J_q:=[0, \sum_{i=1}^{\infty} m q^{-i}]$ can be written as $x=\sum_{i=1}^{\infty}{c_i}q^{-i}$ with integer coefficients $0 \le c_i < q$. If $q$ is a non-integer, then almost every $x \in J_q$ has continuum many expansions of this form. In this note we consider some properties of the set $\mathcal{U}_q$ consisting of numbers $x \in J_q$ having a unique representation of this form. More specifically, we compare the size of the sets $\mathcal{U}_q$ and $\mathcal{U}_r$ for values $q$ and $r$ satisfying $1< q < r$ and $m(q)=m(r)$. △ Less

Submitted 13 June, 2009; v1 submitted 14 May, 2008; originally announced May 2008.

Comments: typo corrected in Theorem 1.1

MSC Class: 11R06; 11B83

Journal ref: Topoplogy Appl. 156 (2009), no. 3, 652--657

A property of algebraic univoque numbers

Authors: M. de Vries

Abstract: Consider the set $\uu$ of real numbers $q \ge 1$ for which only one sequence $(c_i)$ of integers $0 \le c_i \le q$ satisfies the equality $\sum_{i=1}^{\infty} c_i q^{-i} = 1$. In this note we show that the set of algebraic numbers in $\uu$ is dense in the closure $\uuu$ of $\uu$. Consider the set $\uu$ of real numbers $q \ge 1$ for which only one sequence $(c_i)$ of integers $0 \le c_i \le q$ satisfies the equality $\sum_{i=1}^{\infty} c_i q^{-i} = 1$. In this note we show that the set of algebraic numbers in $\uu$ is dense in the closure $\uuu$ of $\uu$. △ Less

Submitted 7 March, 2007; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: 5 pages, journal version, to appear in Acta Math. Hungar

MSC Class: Primary: 11A63; Secondary:11B83

Invariant densities for random $β$-expansions

Authors: K. Dajani, M. de Vries

Abstract: Let $β>1$ be a non-integer. We consider expansions of the form $\sum_{i=1}^{\infty} d_i β^{-i}$, where the digits $(d_i)_{i \geq 1}$ are generated by means of a Borel map $K_β$ defined on $\{0,1\}^{\N}\times [ 0, \lfloor β\rfloor /(β-1)]$. We show existence and uniqueness of an absolutely continuous $K_β$-invariant probability measure w.r.t. $m_p \otimes λ$, where $m_p$ is the Bernoulli measure… ▽ More Let $β>1$ be a non-integer. We consider expansions of the form $\sum_{i=1}^{\infty} d_i β^{-i}$, where the digits $(d_i)_{i \geq 1}$ are generated by means of a Borel map $K_β$ defined on $\{0,1\}^{\N}\times [ 0, \lfloor β\rfloor /(β-1)]$. We show existence and uniqueness of an absolutely continuous $K_β$-invariant probability measure w.r.t. $m_p \otimes λ$, where $m_p$ is the Bernoulli measure on $\{0,1\}^{\N}$ with parameter $p$ $(0 < p < 1)$ and $λ$ is the normalized Lebesgue measure on $[0 ,\lfloor β\rfloor /(β-1)]$. Furthermore, this measure is of the form $m_p \otimes μ_{β,p}$, where $μ_{β,p}$ is equivalent with $λ$. We establish the fact that the measure of maximal entropy and $m_p \otimes λ$ are mutually singular. In case the number 1 has a finite greedy expansion with positive coefficients, the measure $m_p \otimes μ_{β,p}$ is Markov. In the last section we answer a question concerning the number of universal expansions, a notion introduced in [EK]. △ Less

Submitted 20 December, 2006; originally announced December 2006.

MSC Class: Primary: 28D05; Secondary: 11K16; 28D20; 37A35; 37A45

Journal ref: J. Eur. Math. Soc. 7 (2007), 157--176

Unique expansions of real numbers

Authors: Martijn de Vries, Vilmos Komornik

Abstract: It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i \in [0,q)$ satisfies the equality $\sum_{i=1}^\infty c_iq^{-i}=1$. The set of such "univoque numbers" has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approxim… ▽ More It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i \in [0,q)$ satisfies the equality $\sum_{i=1}^\infty c_iq^{-i}=1$. The set of such "univoque numbers" has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation. In this paper we consider for each fixed $q>1$ the set $\mathcal{U}_q$ of real numbers $x$ having a unique representation of the form $\sum_{i=1}^\infty c_iq^{-i}=x$ with integers $c_i$ belonging to $[0,q)$. We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases $q$ for which $\mathcal{U}_q$ is closed or even a Cantor set. We also study the set $\mathcal{U}_q'$ consisting of all sequences $(c_i)$ of integers $c_i \in [0,q)$ such that $\sum_{i=1}^{\infty} c_i q^{-i} \in \mathcal{U}_q$. We determine the numbers $r >1$ for which the map $q \mapsto \mathcal{U}_q'$ (defined on $(1, \infty)$) is constant in a neighborhood of $r$ and the numbers $q >1$ for which $\mathcal{U}_q'$ is a subshift or a subshift of finite type. △ Less

Submitted 17 December, 2008; v1 submitted 25 September, 2006; originally announced September 2006.

Comments: 29 pages, some new results added, final version, to appear in Advances in Mathematics

MSC Class: 11A63; 11B83; 37B10