Point-to-set Principle and Constructive Dimension Faithfulness

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Nandakumar, Satyadev, Pulari, Subin, S, Akhil
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913073626873856
author Nandakumar, Satyadev
Pulari, Subin
S, Akhil
author_facet Nandakumar, Satyadev
Pulari, Subin
S, Akhil
contents Hausdorff $Φ$-dimension is a notion of Hausdorff dimension developed using a restricted class of coverings of a set. We introduce an effective version of Hausdorff $Φ$-dimension, which we call constructive $Φ$-dimension. 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. We also provide a Kolmogorov complexity characterization of constructive $Φ$-dimension. A class of covering sets $Φ$ is said to be ``faithful'' to Hausdorff dimension if the $Φ$-dimension and Hausdorff dimension coincide for every set. Similarly, $Φ$ is said to be ``faithful'' to constructive dimension if the constructive $Φ$-dimension and constructive dimension coincide for every set. We derive the necessary and sufficient conditions for the constructive dimension faithfulness of the coverings generated by the Cantor series expansion, based on the terms of the expansion. 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. Hence we show the necessary and sufficient conditions for Hausdorff dimension faithfulness of Cantor coverings, thereby giving an information theoretic proof of the result by Albeverio, Ivanenko, Lebid, and Torbin.
format Preprint
id arxiv_https___arxiv_org_abs_2403_08278
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Point-to-set Principle and Constructive Dimension Faithfulness
Nandakumar, Satyadev
Pulari, Subin
S, Akhil
Information Theory
03D32, 68P30, 28A78
Hausdorff $Φ$-dimension is a notion of Hausdorff dimension developed using a restricted class of coverings of a set. We introduce an effective version of Hausdorff $Φ$-dimension, which we call constructive $Φ$-dimension. 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. We also provide a Kolmogorov complexity characterization of constructive $Φ$-dimension. A class of covering sets $Φ$ is said to be ``faithful'' to Hausdorff dimension if the $Φ$-dimension and Hausdorff dimension coincide for every set. Similarly, $Φ$ is said to be ``faithful'' to constructive dimension if the constructive $Φ$-dimension and constructive dimension coincide for every set. We derive the necessary and sufficient conditions for the constructive dimension faithfulness of the coverings generated by the Cantor series expansion, based on the terms of the expansion. 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. Hence we show the necessary and sufficient conditions for Hausdorff dimension faithfulness of Cantor coverings, thereby giving an information theoretic proof of the result by Albeverio, Ivanenko, Lebid, and Torbin.
title Point-to-set Principle and Constructive Dimension Faithfulness
topic Information Theory
03D32, 68P30, 28A78
url https://arxiv.org/abs/2403.08278