All Kolmogorov complexity functions are optimal, but are some more optimal?
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911013887016960 |
|---|---|
| author | Bauwens, Bruno Kozachinskiy, Alexander Shen, Alexander |
| author_facet | Bauwens, Bruno Kozachinskiy, Alexander Shen, Alexander |
| contents | Kolmogorov (1965) defined the complexity of a string $x$ as the minimal length of a program generating $x$. Obviously this definition depends on the choice of the programming language. Kolmogorov noted that there exist \emph{optimal} programming languages that make the complexity function minimal up to $O(1)$ additive terms, and we should take one of them -- but which one?
Is there a chance to agree on some specific programming language in this definition? Or at least should we add some other requirements to optimality? What can we achieve in this way?
In this paper we discuss different suggestions of this type that appeared since 1965, specifically a stronger requirement of universality (and show that in many cases this does not change the set of complexity functions). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_16180 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | All Kolmogorov complexity functions are optimal, but are some more optimal? Bauwens, Bruno Kozachinskiy, Alexander Shen, Alexander Information Theory 68Q30 H.1.1 Kolmogorov (1965) defined the complexity of a string $x$ as the minimal length of a program generating $x$. Obviously this definition depends on the choice of the programming language. Kolmogorov noted that there exist \emph{optimal} programming languages that make the complexity function minimal up to $O(1)$ additive terms, and we should take one of them -- but which one? Is there a chance to agree on some specific programming language in this definition? Or at least should we add some other requirements to optimality? What can we achieve in this way? In this paper we discuss different suggestions of this type that appeared since 1965, specifically a stronger requirement of universality (and show that in many cases this does not change the set of complexity functions). |
| title | All Kolmogorov complexity functions are optimal, but are some more optimal? |
| topic | Information Theory 68Q30 H.1.1 |
| url | https://arxiv.org/abs/2506.16180 |