On the existence of numbers with matching continued fraction and base \(b\) expansions
type: Item
instance of: scholarly article
title: On the existence of numbers with matching continued fraction and base \(b\) expansions
zbMATH Open document ID: 1530.11009
published in: Monatshefte für Mathematik
publication date: 2023-07-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/2108.03664
review text: This paper deals with certain sets which elements express some relationships between continued fraction expansions \([0; a_1, a_2, \dots, a_n, \dots ]\) and classical \(b\)-ary expansions (i.e., the base-\(b\) representations \((0. i_1i_2\dots i_n \dots )_b\)), where \(b>1\) is a positive integer. The authors note that \textit{M. Trott} [Math. J. 10, No. 2, 303--322 (2006)] introduced a question about the existence of a sequence \((a_k)\) for which the condition \[ [0; a_1, a_2, \dots, a_k, \dots ]=(0. a_1a_2\dots a_k \dots )_b \] holds. ``Trott gave, without proof, the number \[ x = [0; 1, 0, 8, 4, 1, 0, 1, 5, 1, 2, 2 ... ] = 0.10841015122 ...." \] This number is called \textit{Trott's constant}. The authors extend this notion and Trott's original question, as well as ``ask for solutions without the digit zero, but instead allowing multi-digit partial quotients''. So, suppose \(1<b\in \mathbb N\); then a number \(x\) is a Trott number in base \(b\) whenever \(x\) has an infinite continued fraction expansion with the condition \[ x = [0; a_1, a_2, a_3,... ] = (0.\hat a_1 \hat a_2 \hat a_3 \dots )_b, \] where \(\hat a_k\) is the string of digits resulting from writing \(a_k\) in base \(b\). Let \(T_b\) be the set of all Trott numbers in base \(b\). It is proven that ``there exists a Trott number in base \(b\) if and only if \[ b \in \Gamma:= = \{3\} \cup \bigcup^{\infty} _{k=1}{\{k^2 + 1, k^2 + 2,\dots, k^2 + k\}}. \] Furthermore, if \(T_b\) is nonempty, then it is uncountable''. Also, it is shown that for \(b \in \Gamma\), the set \(T_b\) is a complete \(G_\delta\) set, as well as the set \[ T :=\bigcup_{b\ge 2}{T_b} \] ``is nowhere dense and has Hausdorff dimension less than one''. In addition, ``several sufficient conditions on bases \(b\) and \(b^{'}\) such that \(T_b \cap T_{b^{'}}= \emptyset\), and conjecture that this is the case for all \(b\ne b^{'}\)'', are given. `` This question has connections with some deep theorems in Diophantine approximation''.
reviewed by: Symon Serbenyuk
Mathematics Subject Classification ID: 11A63
Mathematics Subject Classification ID: 11A55
Mathematics Subject Classification ID: 11D75
Mathematics Subject Classification ID: 11J86
Mathematics Subject Classification ID: 28A78
zbMATH DE Number: 7720073
zbMATH Keywords: Trott number
zbMATH Keywords: continued fraction
zbMATH Keywords: decimal expansion
zbMATH Keywords: Hausdorff dimension
zbMATH Keywords: Baker's theorem
MaRDI profile type: MaRDI publication profile
cites work: Logarithmic forms and group varieties.
cites work: ON THE NUMBER OF SOLUTIONS OF THE DIOPHANTINE EQUATIONaxm−byn=c
cites work: Q4323294
cites work: An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
cites work: Rational approximations to algebraic numbers
DOI: 10.1007/S00605-023-01873-8
Recommended article: Generalized golden ratios of ternary alphabets
Recommended article: Numbers with almost all convergents in a Cantor set
Recommended article: Unique double base expansions
Recommended article: The sets of different continued fractions with the same partial quotients
Recommended article: Unique representations of real numbers in non-integer bases
description: scientific article; zbMATH DE number 7720073