Table of Contents
Fetching ...

Numbers omitting digits in certain base expansions

Alexia Yavicoli, Han Yu

TL;DR

The paper addresses the problem of finding integers whose representations in several bases simultaneously omit prescribed digits, providing explicit quantitative thresholds. It uses a thickness-based fractal framework and the Fal-Yav intersection theorem to guarantee nonempty intersections of thick digit-omitting sets, yielding infinite families of such integers; the key quantitative device is the threshold $M(k)$ defined by $g_k(M-2)=\frac{M-2}{\log(M-2)}-k \frac{e 4 (432)^2}{\log(4)}>0$. The work includes a zero-digit case, extensions to nonzero digit sets, and an algebraic extension to bases in number fields (including $\mathbb{Q}[i]$), demonstrating that for large enough bases and equal-norm embeddings there are infinitely many integers (or algebraic integers) whose expansions avoid a fixed digit in all bases. This blends fractal geometry of missing-digit sets with number-theoretic base expansions, producing constructive, quantitative results and broadening the scope to algebraic bases with potential for further generalization.

Abstract

In DOI:10.1017/etds.2022.2 the author proved that for each integer $k$ there is an implicit number $M > 0$ such that if $b_1, \cdots , b_k$ are multiplicatively independent integers greater than $M$, there are infinitely many integers whose base $b_1, b_2, \cdots , b_k$ expansions all do not have zero digits. In this paper we don't require the multiplicative independence condition and make the result quantitative, getting an explicit value for $M$. We also obtain a result for the case when the missing digit(s) may not be zero. Finally, we extend our method to study various missing-digit sets in an algebraic setting.

Numbers omitting digits in certain base expansions

TL;DR

The paper addresses the problem of finding integers whose representations in several bases simultaneously omit prescribed digits, providing explicit quantitative thresholds. It uses a thickness-based fractal framework and the Fal-Yav intersection theorem to guarantee nonempty intersections of thick digit-omitting sets, yielding infinite families of such integers; the key quantitative device is the threshold defined by . The work includes a zero-digit case, extensions to nonzero digit sets, and an algebraic extension to bases in number fields (including ), demonstrating that for large enough bases and equal-norm embeddings there are infinitely many integers (or algebraic integers) whose expansions avoid a fixed digit in all bases. This blends fractal geometry of missing-digit sets with number-theoretic base expansions, producing constructive, quantitative results and broadening the scope to algebraic bases with potential for further generalization.

Abstract

In DOI:10.1017/etds.2022.2 the author proved that for each integer there is an implicit number such that if are multiplicatively independent integers greater than , there are infinitely many integers whose base expansions all do not have zero digits. In this paper we don't require the multiplicative independence condition and make the result quantitative, getting an explicit value for . We also obtain a result for the case when the missing digit(s) may not be zero. Finally, we extend our method to study various missing-digit sets in an algebraic setting.

Paper Structure

This paper contains 4 sections, 10 theorems, 49 equations, 3 figures.

Key Result

Theorem 2

Let $k\geq 2$ be an integer. Let $(b_1, \cdots, b_k)$ be a $k$-tuple of natural numbers. Let $M=M(k)\in {\mathbb N}_{\geq 5}$ be the smallest number satisfying that $g_k(M-2):=\frac{M-2}{\log(M-2)}-k \frac{e 4 (432)^2}{\log (4)}>0$. If $b_i \geq M=M(k)$ for every $1\leq i \leq k$, then there are inf

Figures (3)

  • Figure 1: Integers in $\mathbb{Z}[i]$ in base $b=1+i$, $D_b=\{0,1\}$ with at most 15 digits.
  • Figure 2:
  • Figure 3: Base $b=1+2i$ with all possible one missing digit.

Theorems & Definitions (22)

  • Definition 1
  • Theorem 2
  • Remark 3
  • Theorem 4
  • Theorem 5
  • Remark 6
  • Remark 7
  • Definition 8
  • Example 9
  • Definition 10
  • ...and 12 more