Liouville Numbers and the Computational Complexity of Changing Bases

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

We study the computational complexity of uniformly converting the base-a expansion of an irrational numbers to the base-b expansion. In particular, we are interested in subsets of the irrationals where such conversion can be performed with little overhead. We show that such conversion is possible, essentially with polynomial overhead, for the set of irrationals that are not Liouville numbers. Furthermore, it is known that there are irrational numbers x such that the expansion of x in one integer base is efficiently computable, but the expansion of x in certain other integer bases is not. We prove that any such number must be a Liouville number.

Original languageEnglish
Title of host publicationBeyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings
EditorsMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
PublisherSpringer VS
Publication date2020
Pages50-62
ISBN (Print)9783030514655
DOIs
Publication statusPublished - 2020
Event16th Conference on Computability in Europe, CiE 2020 - Fisciano, Italy
Duration: 29 Jun 20203 Jul 2020

Conference

Conference16th Conference on Computability in Europe, CiE 2020
LandItaly
ByFisciano
Periode29/06/202003/07/2020
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12098 LNCS
ISSN0302-9743

    Research areas

  • Computability, Computational complexity, Diophantine approximation, Number theory

ID: 250487288