-
Point-to-set Principle and Constructive Dimension Faithfulness
Authors:
Satyadev Nandakumar,
Subin Pulari,
Akhil S
Abstract:
We introduce a constructive analogue of $Φ$-dimension, a notion of Hausdorff dimension developed using a restricted class of coverings of a set. A class of coverings $Φ$ is said to be "faithful" to Hausdorff dimension if the $Φ$-dimension and Hausdorff dimension coincide for every set.
We prove a Point-to-Set Principle for $Φ$-dimension, through which we get Point-to-Set Principles for Hausdorff…
▽ More
We introduce a constructive analogue of $Φ$-dimension, a notion of Hausdorff dimension developed using a restricted class of coverings of a set. A class of coverings $Φ$ is said to be "faithful" to Hausdorff dimension if the $Φ$-dimension and Hausdorff dimension coincide for every set.
We prove a Point-to-Set Principle for $Φ$-dimension, through which we get Point-to-Set Principles for Hausdorff Dimension, continued-fraction dimension and dimension of Cantor Coverings as special cases. Using the Point-to-Set Principle for Cantor coverings and a new technique for the construction of sequences satisfying a certain Kolmogorov complexity condition, we show that the notions of faithfulness of Cantor coverings at the Hausdorff and constructive levels are equivalent.
We adapt the result by Albeverio, Ivanenko, Lebid, and Torbin to derive the necessary and sufficient conditions for the constructive dimension faithfulness of the coverings generated by the Cantor series expansion. This condition yields two general classes of representations of reals, one whose constructive dimensions that are equivalent to the constructive Hausdorff dimensions, and another, whose effective dimensions are different from the effective Hausdorff dimensions, completely classifying Cantor series expansions of reals.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Finite-State Relative Dimension, dimensions of A. P. subsequences and a Finite-State van Lambalgen's theorem
Authors:
Satyadev Nandakumar,
Subin Pulari,
Akhil S
Abstract:
Finite-state dimension (Dai, Lathrop, Lutz, and Mayordomo (2004)) quantifies the information rate in an infinite sequence as measured by finite-state automata. In this paper, we define a relative version of finite-state dimension. The finite-state relative dimension $dim_{FS}^Y(X)$ of a sequence $X$ relative to $Y$ is the finite-state dimension of $X$ measured using the class of finite-state gambl…
▽ More
Finite-state dimension (Dai, Lathrop, Lutz, and Mayordomo (2004)) quantifies the information rate in an infinite sequence as measured by finite-state automata. In this paper, we define a relative version of finite-state dimension. The finite-state relative dimension $dim_{FS}^Y(X)$ of a sequence $X$ relative to $Y$ is the finite-state dimension of $X$ measured using the class of finite-state gamblers with an oracle access to $Y$. We show its mathematical robustness by equivalently characterizing this notion using the relative block entropy rate of $X$ conditioned on $Y$.
We derive inequalities relating the dimension of a sequence to the relative dimension of its subsequences along any arithmetic progression (A.P.). These enable us to obtain a strengthening of Wall's Theorem on the normality of A.P. subsequences of a normal number, in terms of relative dimension. In contrast to the original theorem, this stronger version has an exact converse yielding a new characterization of normality.
We also obtain finite-state analogues of van Lambalgen's theorem on the symmetry of relative normality.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Real numbers equally compressible in every base
Authors:
Satyadev Nandakumar,
Subin Pulari
Abstract:
This work solves an open question in finite-state compressibility posed by Lutz and Mayordomo 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 pr…
▽ More
This work solves an open question in finite-state compressibility posed by Lutz and Mayordomo 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 (2021) 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 \in (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 - 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 $\langle q_b \rangle$, 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 (1962), results regarding low discrepancy sequences and several new estimates related to exponential sums.
△ Less
Submitted 29 September, 2022; v1 submitted 12 August, 2022;
originally announced August 2022.
-
A Weyl Criterion for Finite-State Dimension and Applications
Authors:
Jack H. Lutz,
Satyadev Nandakumar,
Subin Pulari
Abstract:
Finite-state dimension, introduced early in this century as a finite-state version of classical Hausdorff dimension, is a quantitative measure of the lower asymptotic density of information in an infinite sequence over a finite alphabet, as perceived by finite automata. Finite-state dimension is a robust concept that now has equivalent formulations in terms of finite-state gambling, lossless finit…
▽ More
Finite-state dimension, introduced early in this century as a finite-state version of classical Hausdorff dimension, is a quantitative measure of the lower asymptotic density of information in an infinite sequence over a finite alphabet, as perceived by finite automata. Finite-state dimension is a robust concept that now has equivalent formulations in terms of finite-state gambling, lossless finite-state data compression, finite-state prediction, entropy rates, and automatic Kolmogorov complexity. The Schnorr-Stimm dichotomy theorem gave the first automata-theoretic characterization of normal sequences, which had been studied in analytic number theory since Borel defined them. This theorem implies that a sequence (or a real number having this sequence as its base-b expansion) is normal if and only if it has finite-state dimension 1. One of the most powerful classical tools for investigating normal numbers is the Weyl criterion, which characterizes normality in terms of exponential sums. Such sums are well studied objects with many connections to other aspects of analytic number theory, and this has made use of Weyl criterion especially fruitful. This raises the question whether Weyl criterion can be generalized from finite-state dimension 1 to arbitrary finite-state dimensions, thereby making it a quantitative tool for studying data compression, prediction, etc.
This paper does exactly this. We extend the Weyl criterion from a characterization of sequences with finite-state dimension 1 to a criterion that characterizes every finite-state dimension. This turns out not to be a routine generalization of the original Weyl criterion. Even though exponential sums may diverge for non-normal numbers, finite-state dimension can be characterized in terms of the dimensions of the subsequence limits of the exponential sums. We demonstrate the utility of our criterion though examples.
△ Less
Submitted 10 May, 2023; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Ergodic Theorems for PSPACE functions and their converses
Authors:
Satyadev Nandakumar,
Subin Pulari
Abstract:
We initiate the study of effective pointwise ergodic theorems in resource-bounded settings. Classically, the convergence of the ergodic averages for integrable functions can be arbitrarily slow. In contrast, we show that for a class of PSPACE L1 functions, and a class of PSPACE computable measure-preserving ergodic transformations, the ergodic average exists for all PSPACE randoms and is equal to…
▽ More
We initiate the study of effective pointwise ergodic theorems in resource-bounded settings. Classically, the convergence of the ergodic averages for integrable functions can be arbitrarily slow. In contrast, we show that for a class of PSPACE L1 functions, and a class of PSPACE computable measure-preserving ergodic transformations, the ergodic average exists for all PSPACE randoms and is equal to the space average on every EXP random. We establish a partial converse that PSPACE non-randomness can be characterized as non-convergence of ergodic averages. Further, we prove that there is a class of resource-bounded randoms, viz. SUBEXP-space randoms, on which the corresponding ergodic theorem has an exact converse - a point x is SUBEXP-space random if and only if the corresponding effective ergodic theorem holds for x.
△ Less
Submitted 14 February, 2021; v1 submitted 21 December, 2020;
originally announced December 2020.
-
An analogue of Pillai's theorem for continued fraction normality and an application to subsequences
Authors:
Satyadev Nandakumar,
Subin Pulari,
Prateek Vishnoi,
Gopal Viswanathan
Abstract:
We show that two notions of continued fraction normality, one where overlap** occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base-$b$ expansions. The proof requires techniques which are fundamentally different,…
▽ More
We show that two notions of continued fraction normality, one where overlap** occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base-$b$ expansions. The proof requires techniques which are fundamentally different, since the continued fraction expansion utilizes a countably infinite alphabet, leading to a non-compact space. Utilizing the equivalence of these two notions, we provide a new proof of Heersink and Vandehey's recent result that selection of subsequences along arithmetic progressions does not preserve continued fraction normality.
△ Less
Submitted 10 September, 2019; v1 submitted 8 September, 2019;
originally announced September 2019.