Document

# Real Numbers Equally Compressible in Every Base

## File

LIPIcs.STACS.2023.48.pdf
• Filesize: 0.8 MB
• 20 pages

## Acknowledgements

The authors wish to thank anonymous reviewers for helpful suggestions. The authors would also like to thank Jack Lutz and Theodore Slaman for helpful discussions. The second author would like to thank the Institute of Mathematical Sciences, National University of Singapore for their hospitality during the IMS Graduate Summer School in Logic 2022. Parts of this work was completed during the course of the summer school.

## Cite As

Satyadev Nandakumar and Subin Pulari. Real Numbers Equally Compressible in Every Base. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 254, pp. 48:1-48:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.STACS.2023.48

## Abstract

This work solves an open question in finite-state compressibility posed by Lutz and Mayordomo [Lutz and Mayordomo, 2021] about compressibility of real numbers in different bases. Finite-state compressibility, or equivalently, finite-state dimension, quantifies the asymptotic lower density of information in an infinite sequence. Absolutely normal numbers, being finite-state incompressible in every base of expansion, are precisely those numbers which have finite-state dimension equal to 1 in every base. At the other extreme, for example, every rational number has finite-state dimension equal to 0 in every base. Generalizing this, Lutz and Mayordomo in [Lutz and Mayordomo, 2021] (see also Lutz [Lutz, 2012]) posed the question: are there numbers which have absolute positive finite-state dimension strictly between 0 and 1 - equivalently, is there a real number ξ and a compressibility ratio s ∈ (0,1) such that for every base b, the compressibility ratio of the base-b expansion of ξ is precisely s? It is conceivable that there is no such number. Indeed, some works explore "zero-one" laws for other feasible dimensions [Fortnow et al., 2011] - i.e. sequences with certain properties either have feasible dimension 0 or 1, taking no value strictly in between. However, we answer the question of Lutz and Mayordomo affirmatively by proving a more general result. We show that given any sequence of rational numbers ⟨q_b⟩_{b=2}^∞, we can explicitly construct a single number ξ such that for any base b, the finite-state dimension/compression ratio of ξ in base-b is q_b. As a special case, this result implies the existence of absolutely dimensioned numbers for any given rational dimension between 0 and 1, as posed by Lutz and Mayordomo. In our construction, we combine ideas from Wolfgang Schmidt’s construction of absolutely normal numbers from [Schmidt, 1961], results regarding low discrepancy sequences and several new estimates related to exponential sums.

## Subject Classification

##### ACM Subject Classification
• Mathematics of computing → Information theory
##### Keywords
• Finite-state dimension
• Finite-state compression
• Absolutely dimensioned numbers
• Exponential sums
• Weyl criterion
• Normal numbers

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. Christoph Aistleitner, Verónica Becher, Adrian-Maria Scheerer, and Theodore A. Slaman. On the construction of absolutely normal numbers. Acta Arith., 180(4):333-346, 2017. URL: https://doi.org/10.4064/aa170213-5-8.
2. Krishna B Athreya, John M Hitchcock, Jack H Lutz, and Elvira Mayordomo. Effective strong dimension in algorithmic information and computational complexity. SIAM journal on computing, 37(3):671-705, 2007.
3. Verónica Becher, Yann Bugeaud, and Theodore A. Slaman. On simply normal numbers to different bases. Math. Ann., 364(1-2):125-150, 2016. URL: https://doi.org/10.1007/s00208-015-1209-9.
4. Verónica Becher, Pablo Ariel Heiber, and Theodore A. Slaman. A computable absolutely normal Liouville number. Math. Comp., 84(296):2939-2952, 2015. URL: https://doi.org/10.1090/mcom/2964.
5. Verónica Becher and Theodore A. Slaman. On the normality of numbers to different bases. Journal of the London Mathematical Society, 90(2):472-494, 2014. URL: https://doi.org/10.1112/jlms/jdu035.
6. Patrick Billingsley. Probability and measure. Wiley Series in Probability and Mathematical Statistics. John Wiley & Sons, Inc., New York, third edition, 1995. A Wiley-Interscience Publication.
7. Chris Bourke, John M. Hitchcock, and N. V. Vinodchandran. Entropy rates and finite-state dimension. Theoretical Computer Science, 349(3):392-406, 2005.
8. D. G. Champernowne. Construction of decimals normal in the scale of ten. J. London Math. Soc., 2(8):254-260, 1933.
9. T. M. Cover and J. A. Thomas. Elements of Information Theory. John Wiley & Sons, Inc., New York, N.Y., 1991.
10. Jack J. Dai, James I. Lathrop, Jack H. Lutz, and Elvira Mayordomo. Finite-state dimension. Theoretical Computer Science, 310(1-3):1-33, 2004.
11. Lance Fortnow, John M. Hitchcock, A. Pavan, N. V. Vinodchandran, and Fengming Wang. Extracting Kolmogorov complexity with applications to dimension zero-one laws. Inform. and Comput., 209(4):627-636, 2011. URL: https://doi.org/10.1016/j.ic.2010.09.006.
12. S. Gaal and L. Gál. The discrepancy of the sequence (2ⁿx). Nederl. Akad. Wetensch. Proc. Ser. A 67 = Indag. Math., 26:129-143, 1964.
13. John M. Hitchcock. Fractal dimension and logarithmic loss unpredictability. Theoretical Computer Science, 304(1):431-441, 2003. URL: https://doi.org/10.1016/S0304-3975(03)00138-5.
14. A. Ya. Khinchin. Mathematical Foundations of Information Theory. Dover Publications, 1957.
15. J. F. Koksma. Diophantische Approximationen. Springer-Verlag, Berlin-New York, 1974. Reprint.
16. Alexander Kozachinskiy and Alexander Shen. Automatic Kolmogorov complexity, normality, and finite-state dimension revisited. Journal of Computer and System Sciences, 118:75-107, 2021. URL: https://doi.org/10.1016/j.jcss.2020.12.003.
17. L. Kuipers and H. Niederreiter. Uniform distribution of sequences. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney, 1974.
18. Jack H. Lutz. Dimension in complexity classes. SIAM J. Comput., 32(5):1236-1259, 2003. URL: https://doi.org/10.1137/S0097539701417723.
19. Jack H. Lutz. Alan turing in the twenty-first century: normal numbers, randomness, and finite automata. CCR 2012: 7th conference on computability, complexity and randomnes, July 2012. URL: https://www.newton.ac.uk/seminar/2265/.
20. Jack H. Lutz and Elvira Mayordomo. Computing absolutely normal numbers in nearly linear time. Inform. and Comput., 281:Paper No. 104746, 12, 2021. URL: https://doi.org/10.1016/j.ic.2021.104746.
21. Walter Philipp. Limit theorems for lacunary series and uniform distribution mod 1. Acta Arith., 26(3):241-251, 1974/75. URL: https://doi.org/10.4064/aa-26-3-241-251.
22. Wolfgang M. Schmidt. On normal numbers. Pacific J. Math., 10:661-672, 1960. URL: http://projecteuclid.org/euclid.pjm/1103038420.
23. Wolfgang M. Schmidt. Über die Normalität von Zahlen zu verschiedenen Basen. Acta Arith., 7:299-309, 1961/62. URL: https://doi.org/10.4064/aa-7-3-299-309.
24. C. P. Schnorr and H. Stimm. Endliche automaten und zufallsfolgen. Acta Informatica, 1:345-359, 1972.
25. D. Sheinwald. On the Ziv-Lempel proof and related topics. Proceedings of the IEEE, 82(6):866-871, 1994. URL: https://doi.org/10.1109/5.286190.
26. Elias M. Stein and Rami Shakarchi. Complex analysis, volume 2 of Princeton Lectures in Analysis. Princeton University Press, Princeton, NJ, 2003.
27. Hermann Weyl. Über die Gleichverteilung von Zahlen mod. Eins. Math. Ann., 77(3):313-352, 1916. URL: https://doi.org/10.1007/BF01475864.
28. J. Ziv and A. Lempel. Compression of individual sequences via variable rate coding. IEEE Transaction on Information Theory, 24:530-536, 1978.
X

Feedback for Dagstuhl Publishing