Una perspectiva computacional sobre números normales

Autores
Heiber, Pablo Ariel
Año de publicación
2014
Idioma
inglés
Tipo de recurso
tesis doctoral
Estado
versión publicada
Colaborador/a o director/a de tesis
Becher, Verónica Andrea
Descripción
La normalidad es una forma débil de azar. Un número real es normal enuna base entera dada si su expansión en esa base es balanceada: todos los bloques dela misma cantidad de dígitos tienen igual frecuencia en la expansión. La normalidadabsoluta es normalidad en toda base. En esta tesis resolvemos varios problemassobre normalidad: La existencia de números absolutamente normales computables era conocida,pero no se conocía ningún algoritmo que computara uno en tiempo polinomial. Nosotros damos un algoritmo que computa uno en tiempo apenas mayor acuadrático. Mostramos que el conjunto de números absolutamente normales, como subconjuntode los reales, no tiene otras propiedades aritméticas que las impuestaspor la definición de normalidad. Técnicamente, demostramos que el conjuntode números absolutamente normales es π°3-completo. Extendemos la caracterización conocida de normalidad en términos de incompresibilidadmediante autómatas finitos. Analizamos exhaustivamente todaslas maneras de mejorar un simple autómata finito agregando memoria de diferentesformas, permitiendo no-determinismo y permitiendo la lectura de la entradamás de una vez. Demostramos que la normalidad se preserva bajo reglas de selección basadasen préfijos finitos o sufijos infinitos reconocidos por autómatas finitos, pero noambos simultáneamente. Esto extiende un resultado conocido para el caso deprefijos.
Normality is a weak form of randomness. A real number is normalto a given integer base if its expansion in that base is balanced: all blocks of thesame number of digits occur with the same frequency in the expansion. Absolutenormality is normality to all bases. We solve several problems on normality: It was known that computable absolutely normal numbers exist, but no algorithmwas known to compute one in polynomial time. We give an algorithmthat computes one in just above quadratic time. We show that the set of absolutely normal numbers, as a subset of the realnumbers, has no other arithmetical properties than those imposed by the definitionof normality. Technically, we prove that the set of absolutely normalnumbers is π°3-complete. We extend the known characterization of normality in terms of incompressibilityby deterministic finite automata. We exhaust all ways of enhancing asimple finite state automaton by adding memory in different forms, allowingnon-determinism, and allowing to read the input more than once. We prove that normality is preserved by selection rules based on finite pre-fixes or infinite suffixes being recognized by finite automata, but not bothsimultaneously. This extends a known result about the prefixes case.
Fil: Heiber, Pablo Ariel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
NUMEROS NORMALES
COMPLEJIDAD ALGORITMICA
COMPLEJIDAD DESCRIPTIVA
AUTOMATAS FINITOS
COMPRESIBILIDAD
NORMAL NUMBERS
ALGORITHMIC COMPLEXITY
DESCRIPTIVE COMPLEXITY
FINITE AUTOMATA
COMPRESSIBILITY
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
tesis:tesis_n5450_Heiber

id BDUBAFCEN_3e295f96b626579438b6bf929b194902
oai_identifier_str tesis:tesis_n5450_Heiber
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling Una perspectiva computacional sobre números normalesA computational perspective on normal numbersHeiber, Pablo ArielNUMEROS NORMALESCOMPLEJIDAD ALGORITMICACOMPLEJIDAD DESCRIPTIVAAUTOMATAS FINITOSCOMPRESIBILIDADNORMAL NUMBERSALGORITHMIC COMPLEXITYDESCRIPTIVE COMPLEXITYFINITE AUTOMATACOMPRESSIBILITYLa normalidad es una forma débil de azar. Un número real es normal enuna base entera dada si su expansión en esa base es balanceada: todos los bloques dela misma cantidad de dígitos tienen igual frecuencia en la expansión. La normalidadabsoluta es normalidad en toda base. En esta tesis resolvemos varios problemassobre normalidad: La existencia de números absolutamente normales computables era conocida,pero no se conocía ningún algoritmo que computara uno en tiempo polinomial. Nosotros damos un algoritmo que computa uno en tiempo apenas mayor acuadrático. Mostramos que el conjunto de números absolutamente normales, como subconjuntode los reales, no tiene otras propiedades aritméticas que las impuestaspor la definición de normalidad. Técnicamente, demostramos que el conjuntode números absolutamente normales es π°3-completo. Extendemos la caracterización conocida de normalidad en términos de incompresibilidadmediante autómatas finitos. Analizamos exhaustivamente todaslas maneras de mejorar un simple autómata finito agregando memoria de diferentesformas, permitiendo no-determinismo y permitiendo la lectura de la entradamás de una vez. Demostramos que la normalidad se preserva bajo reglas de selección basadasen préfijos finitos o sufijos infinitos reconocidos por autómatas finitos, pero noambos simultáneamente. Esto extiende un resultado conocido para el caso deprefijos.Normality is a weak form of randomness. A real number is normalto a given integer base if its expansion in that base is balanced: all blocks of thesame number of digits occur with the same frequency in the expansion. Absolutenormality is normality to all bases. We solve several problems on normality: It was known that computable absolutely normal numbers exist, but no algorithmwas known to compute one in polynomial time. We give an algorithmthat computes one in just above quadratic time. We show that the set of absolutely normal numbers, as a subset of the realnumbers, has no other arithmetical properties than those imposed by the definitionof normality. Technically, we prove that the set of absolutely normalnumbers is π°3-complete. We extend the known characterization of normality in terms of incompressibilityby deterministic finite automata. We exhaust all ways of enhancing asimple finite state automaton by adding memory in different forms, allowingnon-determinism, and allowing to read the input more than once. We prove that normality is preserved by selection rules based on finite pre-fixes or infinite suffixes being recognized by finite automata, but not bothsimultaneously. This extends a known result about the prefixes case.Fil: Heiber, Pablo Ariel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesBecher, Verónica Andrea2014info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttps://hdl.handle.net/20.500.12110/tesis_n5450_Heiberenginfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-04T09:47:13Ztesis:tesis_n5450_HeiberInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-04 09:47:18.143Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Una perspectiva computacional sobre números normales
A computational perspective on normal numbers
title Una perspectiva computacional sobre números normales
spellingShingle Una perspectiva computacional sobre números normales
Heiber, Pablo Ariel
NUMEROS NORMALES
COMPLEJIDAD ALGORITMICA
COMPLEJIDAD DESCRIPTIVA
AUTOMATAS FINITOS
COMPRESIBILIDAD
NORMAL NUMBERS
ALGORITHMIC COMPLEXITY
DESCRIPTIVE COMPLEXITY
FINITE AUTOMATA
COMPRESSIBILITY
title_short Una perspectiva computacional sobre números normales
title_full Una perspectiva computacional sobre números normales
title_fullStr Una perspectiva computacional sobre números normales
title_full_unstemmed Una perspectiva computacional sobre números normales
title_sort Una perspectiva computacional sobre números normales
dc.creator.none.fl_str_mv Heiber, Pablo Ariel
author Heiber, Pablo Ariel
author_facet Heiber, Pablo Ariel
author_role author
dc.contributor.none.fl_str_mv Becher, Verónica Andrea
dc.subject.none.fl_str_mv NUMEROS NORMALES
COMPLEJIDAD ALGORITMICA
COMPLEJIDAD DESCRIPTIVA
AUTOMATAS FINITOS
COMPRESIBILIDAD
NORMAL NUMBERS
ALGORITHMIC COMPLEXITY
DESCRIPTIVE COMPLEXITY
FINITE AUTOMATA
COMPRESSIBILITY
topic NUMEROS NORMALES
COMPLEJIDAD ALGORITMICA
COMPLEJIDAD DESCRIPTIVA
AUTOMATAS FINITOS
COMPRESIBILIDAD
NORMAL NUMBERS
ALGORITHMIC COMPLEXITY
DESCRIPTIVE COMPLEXITY
FINITE AUTOMATA
COMPRESSIBILITY
dc.description.none.fl_txt_mv La normalidad es una forma débil de azar. Un número real es normal enuna base entera dada si su expansión en esa base es balanceada: todos los bloques dela misma cantidad de dígitos tienen igual frecuencia en la expansión. La normalidadabsoluta es normalidad en toda base. En esta tesis resolvemos varios problemassobre normalidad: La existencia de números absolutamente normales computables era conocida,pero no se conocía ningún algoritmo que computara uno en tiempo polinomial. Nosotros damos un algoritmo que computa uno en tiempo apenas mayor acuadrático. Mostramos que el conjunto de números absolutamente normales, como subconjuntode los reales, no tiene otras propiedades aritméticas que las impuestaspor la definición de normalidad. Técnicamente, demostramos que el conjuntode números absolutamente normales es π°3-completo. Extendemos la caracterización conocida de normalidad en términos de incompresibilidadmediante autómatas finitos. Analizamos exhaustivamente todaslas maneras de mejorar un simple autómata finito agregando memoria de diferentesformas, permitiendo no-determinismo y permitiendo la lectura de la entradamás de una vez. Demostramos que la normalidad se preserva bajo reglas de selección basadasen préfijos finitos o sufijos infinitos reconocidos por autómatas finitos, pero noambos simultáneamente. Esto extiende un resultado conocido para el caso deprefijos.
Normality is a weak form of randomness. A real number is normalto a given integer base if its expansion in that base is balanced: all blocks of thesame number of digits occur with the same frequency in the expansion. Absolutenormality is normality to all bases. We solve several problems on normality: It was known that computable absolutely normal numbers exist, but no algorithmwas known to compute one in polynomial time. We give an algorithmthat computes one in just above quadratic time. We show that the set of absolutely normal numbers, as a subset of the realnumbers, has no other arithmetical properties than those imposed by the definitionof normality. Technically, we prove that the set of absolutely normalnumbers is π°3-complete. We extend the known characterization of normality in terms of incompressibilityby deterministic finite automata. We exhaust all ways of enhancing asimple finite state automaton by adding memory in different forms, allowingnon-determinism, and allowing to read the input more than once. We prove that normality is preserved by selection rules based on finite pre-fixes or infinite suffixes being recognized by finite automata, but not bothsimultaneously. This extends a known result about the prefixes case.
Fil: Heiber, Pablo Ariel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description La normalidad es una forma débil de azar. Un número real es normal enuna base entera dada si su expansión en esa base es balanceada: todos los bloques dela misma cantidad de dígitos tienen igual frecuencia en la expansión. La normalidadabsoluta es normalidad en toda base. En esta tesis resolvemos varios problemassobre normalidad: La existencia de números absolutamente normales computables era conocida,pero no se conocía ningún algoritmo que computara uno en tiempo polinomial. Nosotros damos un algoritmo que computa uno en tiempo apenas mayor acuadrático. Mostramos que el conjunto de números absolutamente normales, como subconjuntode los reales, no tiene otras propiedades aritméticas que las impuestaspor la definición de normalidad. Técnicamente, demostramos que el conjuntode números absolutamente normales es π°3-completo. Extendemos la caracterización conocida de normalidad en términos de incompresibilidadmediante autómatas finitos. Analizamos exhaustivamente todaslas maneras de mejorar un simple autómata finito agregando memoria de diferentesformas, permitiendo no-determinismo y permitiendo la lectura de la entradamás de una vez. Demostramos que la normalidad se preserva bajo reglas de selección basadasen préfijos finitos o sufijos infinitos reconocidos por autómatas finitos, pero noambos simultáneamente. Esto extiende un resultado conocido para el caso deprefijos.
publishDate 2014
dc.date.none.fl_str_mv 2014
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12110/tesis_n5450_Heiber
url https://hdl.handle.net/20.500.12110/tesis_n5450_Heiber
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
dc.source.none.fl_str_mv reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1842340686488141824
score 12.623145