English

Gaps in N-expansions

Number Theory 2021-07-15 v1 Dynamical Systems

Abstract

For a natural number N2N\geq 2 and a real α\alpha such that 0<αN10 < \alpha \leq \sqrt{N}-1, we define Iα:=[α,α+1]I_\alpha:=[\alpha,\alpha+1] and Iα:=[α,α+1)I_\alpha^-:=[\alpha,\alpha+1) and investigate the continued fraction map Tα:IαIαT_\alpha:I_\alpha \to I_\alpha^-, which is defined as Tα(x):=N/xd(x),T_\alpha(x):= N/x-d(x), where d(x):=N/xαd(x):=\left \lfloor N/x -\alpha\right \rfloor. For all natural N7N \geq 7, for certain values of α\alpha, open intervals (a,b)Iα(a,b) \subset I_\alpha exist such that for almost every xIαx \in I_{\alpha} there is an natural number n0n_0 for which Tαn(x)(a,b)T_\alpha^n(x) \notin (a,b) for all nn0n\geq n_0. These \emph{gaps} (a,b)(a,b) are investigated in the square Υα:=Iα×Iα\Upsilon_\alpha:=I_\alpha \times I_\alpha^-, where the \emph{orbits} Tαk(x),k=0,1,2,T_\alpha^k(x), k=0,1,2,\ldots of numbers xIαx \in I_\alpha are represented as cobwebs. The squares Υα\Upsilon_\alpha are the union of \emph{fundamental regions}, which are related to the cylinder sets of the map TαT_\alpha, according to the finitely many values of dd in TαT_\alpha. In this paper some clear conditions are found under which IαI_\alpha is gapless. When IαI_\alpha consists of at least five cylinder sets, it is always gapless. In the case of four cylinder sets there are usually no gaps, except for the rare cases that there is one, very wide gap. Gaplessness in the case of two or three cylinder sets depends on the position of the endpoints of IαI_\alpha with regard to the fixed points of IαI_\alpha under TαT_\alpha.

Cite

@article{arxiv.2107.06722,
  title  = {Gaps in N-expansions},
  author = {J. de Jonge and C. Kraaikamp and H. Nakada},
  journal= {arXiv preprint arXiv:2107.06722},
  year   = {2021}
}
R2 v1 2026-06-24T04:11:34.465Z