{"id":"https://openalex.org/W7154476296","doi":"https://doi.org/10.48550/arxiv.2604.12457","title":"Characterizing normality via automata and random matrix products","display_name":"Characterizing normality via automata and random matrix products","publication_year":2026,"publication_date":"2026-04-14","ids":{"openalex":"https://openalex.org/W7154476296","doi":"https://doi.org/10.48550/arxiv.2604.12457"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-05588167v2","is_oa":false,"landing_page_url":"https://hal.science/hal-05588167","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"Preprints, Working Papers, ..."},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.12457","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002764180","display_name":"Laurent Bienvenu","orcid":"https://orcid.org/0000-0002-9638-3362"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bienvenu, Laurent","raw_affiliation_strings":["CNRS, LaBRI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LaBRI","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111557557","display_name":"Santiago Cifuentes","orcid":"https://orcid.org/0000-0002-6375-2045"},"institutions":[{"id":"https://openalex.org/I4210120593","display_name":"Uintah Basin Applied Technology College","ror":"https://ror.org/01vpg0r82","country_code":"US","type":"education","lineage":["https://openalex.org/I4210088440","https://openalex.org/I4210120593"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cifuentes, Santiago","raw_affiliation_strings":["ICC, UBA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICC, UBA","institution_ids":["https://openalex.org/I4210120593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108632816","display_name":"Hugo Gimbert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gimbert, Hugo","raw_affiliation_strings":["CNRS, LaBRI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LaBRI","institution_ids":["https://openalex.org/I4210142254"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.2800000011920929,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.2800000011920929,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.18940000236034393,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.08190000057220459,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.650600016117096},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.4675999879837036},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.4465000033378601},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.41190001368522644},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.3806000053882599},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.352400004863739},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.3513000011444092},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.32510000467300415}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.696399986743927},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.650600016117096},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5210999846458435},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.4675999879837036},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.4465000033378601},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4268999993801117},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.41190001368522644},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.3806000053882599},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3513000011444092},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.32510000467300415},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.32409998774528503},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.310699999332428},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C2776157432","wikidata":"https://www.wikidata.org/wiki/Q1375683","display_name":"Normality","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.2736999988555908},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2554999887943268}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:HAL:hal-05588167v2","is_oa":false,"landing_page_url":"https://hal.science/hal-05588167","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"Preprints, Working Papers, ..."},{"id":"doi:10.48550/arxiv.2604.12457","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.12457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.12457","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.12457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"For":[0],"a":[1,45,125,159,172,190,218,246],"fixed":[2],"alphabet":[3],"A,":[4],"an":[5,117],"infinite":[6],"sequence":[7,46,126,235],"X":[8,22,47,74,127,199],"is":[9,48,128,200,255],"said":[10],"to":[11,40,68,93,158,177,217,250],"be":[12],"normal":[13,49,129,201],"if":[14,50,53,130,133,202,205],"every":[15],"word":[16,30],"w":[17],"over":[18],"A":[19,35],"appears":[20],"in":[21,104],"with":[23,58,139],"the":[24,32,70,77,88,96,99,107,146,150,153,178,241],"same":[25,33],"frequency":[26],"as":[27,43],"any":[28,135,222],"other":[29],"of":[31,73,149,152,180,186,243,248],"length.":[34],"classical":[36],"result":[37,119],"relates":[38],"normality":[39],"finite":[41,59,141,160,184,219],"automata":[42,61],"follows:":[44],"and":[51,83,131,203,238],"only":[52,132,204],"all":[54,63],"gambling":[55,136],"strategies":[56],"implementable":[57,138],"deterministic":[60],"lose":[62],"their":[64],"capital":[65,89,108,151],"when":[66,121,162],"trying":[67],"predict":[69],"next":[71],"bit":[72],"after":[75],"seing":[76],"ones":[78],"before.":[79],"More":[80],"precisely,":[81],"Schnorr":[82],"Stimm":[84],"(1972)":[85],"proved":[86],"that":[87,101,116,145,198,233,240],"goes":[90],"exponentially":[91,156,215],"fast":[92,157,216],"zero":[94],"unless":[95],"automaton":[97,142],"represents":[98],"gambler":[100,154],"never":[102],"bets,":[103],"which":[105,251],"case":[106,252],"remains":[109],"constant.":[110],"In":[111,194],"this":[112,168,234],"paper":[113],"we":[114,170,196,228],"show":[115,171,197],"analogous":[118],"holds":[120,144],"considering":[122],"probabilistic":[123,140],"automata:":[124],"for":[134,221],"strategy":[137],"it":[143,253],"expected":[147],"value":[148,161,220],"converges":[155,214],"playing":[163],"against":[164],"X.":[165],"To":[166],"obtain":[167],"result,":[169],"more":[173],"general":[174],"statement":[175],"related":[176],"convergence":[179],"martingales":[181],"given":[182,245],"by":[183],"sets":[185],"non-negative":[187,223],"matrices":[188],"{M":[189],"}":[191],"a$\\in$A":[192],".":[193,208,209,210],"particular,":[195],"||vM":[206],"X[1]":[207],"M":[211],"X[n]":[212],"||":[213],"starting":[224],"vector":[225],"v.":[226],"Moreover,":[227],"distinguish":[229],"three":[230],"distinctive":[231],"behaviours":[232],"can":[236],"attain,":[237],"prove":[239],"problem":[242],"recognizing,":[244],"family":[247],"matrices,":[249],"belongs,":[254],"decidable.":[256]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-16T00:00:00"}