{"id":"https://openalex.org/W7222993680","doi":"https://doi.org/10.48550/arxiv.2610.26396","title":"The Exhaustive Peres Transform: Extraction and Universal Coding","display_name":"The Exhaustive Peres Transform: Extraction and Universal Coding","publication_year":2026,"publication_date":"2026-10-19","ids":{"openalex":"https://openalex.org/W7222993680","doi":"https://doi.org/10.48550/arxiv.2610.26396"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.26396","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.26396","pdf_url":"https://arxiv.org/pdf/2610.26396","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.26396","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159118192","display_name":"Aur{\u00e9}lien Garivier","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210160577","display_name":"Unit\u00e9 de Math\u00e9matiques Pures et Appliqu\u00e9es","ror":"https://ror.org/05n21n105","country_code":"FR","type":"facility","lineage":["https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210160577"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Garivier, Aur{\u00e9}lien","raw_affiliation_strings":["UMPA-ENSL, MC2"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UMPA-ENSL, MC2","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210160577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5159118192"],"corresponding_institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210160577"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.0015999999595806003,"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/T11567","display_name":"semigroups and automata theory","score":9.999999747378752e-05,"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/universal-source-coding","display_name":"universal source coding","score":0.6060000061988831},{"id":"https://openalex.org/keywords/empirical-entropy","display_name":"empirical entropy","score":0.6129999756813049},{"id":"https://openalex.org/keywords/bernoulli-sources","display_name":"Bernoulli sources","score":0.8299999833106995},{"id":"https://openalex.org/keywords/burrows-wheeler-transform","display_name":"Burrows-Wheeler transform","score":0.9589999914169312},{"id":"https://openalex.org/keywords/stationary-ergodic-sources","display_name":"stationary ergodic sources","score":0.8830000162124634}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7565000057220459},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.4975000023841858},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4803999960422516},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.4359000027179718},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4318000078201294},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C60603091","wikidata":"https://www.wikidata.org/wiki/Q2981616","display_name":"Variable-length code","level":3,"score":0.39089998602867126},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.38960000872612},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3628000020980835},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C152361515","wikidata":"https://www.wikidata.org/wiki/Q181328","display_name":"Bernoulli's principle","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C153207627","wikidata":"https://www.wikidata.org/wiki/Q863873","display_name":"Code word","level":3,"score":0.28139999508857727},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.28139999508857727},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C20079647","wikidata":"https://www.wikidata.org/wiki/Q1278039","display_name":"Prefix code","level":5,"score":0.2587999999523163},{"id":"https://openalex.org/C153338461","wikidata":"https://www.wikidata.org/wiki/Q2651","display_name":"Arithmetic coding","level":4,"score":0.2567000091075897},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2610.26396","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.26396","pdf_url":"https://arxiv.org/pdf/2610.26396","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-05802360v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-05802360","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026, ⟨swh:1:dir:e124c781faa6b0fe3e85c93a3b8c268f678f1772;origin=https://hal.archives-ouvertes.fr/hal-05802360;visit=swh:1:snp:96d6caf6fc6a115077e69ce5a4f819ba412a9ef7;anchor=swh:1:rel:61677c03ad1f934a4cb07fdc4c720ced14567b77;path=/⟩","raw_type":"Software"},{"id":"pmh:oai:HAL:hal-05802697v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-05802697","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2610.26396","doi":"https://doi.org/10.48550/arxiv.2610.26396","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.26396","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.26396","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.26396","pdf_url":"https://arxiv.org/pdf/2610.26396","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2169522505","display_name":"Foundations of robustness and reliability in artificial intelligence","funder_award_id":"ANR-23-PEIA-0003","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5296751580","display_name":null,"funder_award_id":"ANR-20","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7080048889","display_name":null,"funder_award_id":"ANR-23","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7926196075","display_name":"Sequential and Active Learning for Optimization","funder_award_id":"ANR-20-CHIA-0020","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7222993680.pdf","grobid_xml":"https://content.openalex.org/works/W7222993680.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W2799982034","https://openalex.org/W7025566413"],"related_works":["https://openalex.org/W7097171355","https://openalex.org/W1500330986","https://openalex.org/W3125132828","https://openalex.org/W2572192328","https://openalex.org/W2159267606","https://openalex.org/W1996972450","https://openalex.org/W3018919005","https://openalex.org/W7100683839","https://openalex.org/W2596008493","https://openalex.org/W7096264954"],"abstract_inverted_index":{"Peres's":[0],"iteration":[1],"of":[2,19,39,62,64,67,74,99,147,164,167,190,200,226,242],"von":[3],"Neumann's":[4],"procedure,":[5],"run":[6],"to":[7,107],"exhaustion":[8],"and":[9,28,35,129,137,158,176],"keeping":[10],"everything":[11],"it":[12,170],"does":[13],"not":[14],"extract,":[15],"is":[16,33,185,216],"a":[17,29,60,89,198,213,223],"bijection":[18],"{0,1}^N":[20],"that":[21,96,215],"splits":[22],"every":[23,52,72,117,181,234,243],"string":[24,182],"into":[25],"fair":[26,43,100,135,156],"bits":[27,44,101,136,157],"residual.":[30],"The":[31],"residual":[32,50,56,78,140],"self-delimiting":[34],"determines":[36],"the":[37,42,49,65,68,77,97,108,122,127,134,139,145,148,155,160,165,168,188,191,206,227,238],"number":[38,98],"ones,":[40],"so":[41],"are":[45],"exactly":[46],"uniform":[47],"given":[48],"under":[51],"exchangeable":[53],"law.":[54],"Each":[55],"one":[57],"accounts":[58],"for":[59,110,250],"power":[61],"two":[63],"weight":[66],"input;":[69],"consequently,":[70],"on":[71,116,233],"input":[73],"length":[75,146,184],"N,":[76],"has":[79,144],"fewer":[80],"than":[81],"sqrt(3)":[82],"N^0.793":[83],"ones.":[84],"This":[85],"deterministic":[86],"sparsity":[87],"gives":[88,248],"short":[90],"proof,":[91],"with":[92,237],"an":[93],"explicit":[94],"remainder,":[95],"per":[102],"symbol":[103],"tends":[104],"almost":[105],"surely":[106],"entropy,":[109],"Bernoulli":[111,123],"sources":[112],"and,":[113],"by":[114],"binarisation,":[115],"finite":[118],"alphabet.":[119],"For":[120],"coding,":[121],"likelihood":[124],"factorises":[125],"along":[126],"recursion,":[128],"code":[130,152,230],"B,":[131],"which":[132,247],"stores":[133,154],"codes":[138,163],"at":[141,186,245],"plug-in":[142],"biases,":[143],"two-part":[149],"code.":[150],"Alternatively,":[151],"G":[153,231],"writes":[159],"Elias":[161],"gamma":[162],"gaps":[166],"residual:":[169],"needs":[171],"no":[172,174,177],"parameter,":[173],"estimate":[175],"arithmetic":[178],"coder.":[179],"On":[180],"its":[183,208],"most":[187],"logarithm":[189],"type":[192],"class":[193],"plus":[194,212],"O(N^0.793":[195],"log":[196],"N);":[197],"concatenation":[199],"J":[201,219],"pieces":[202],"costs,":[203],"without":[204],"transmitting":[205],"cuts,":[207],"piecewise":[209],"empirical":[210,239],"entropy":[211,241],"term":[214],"sublinear":[217],"when":[218],"=":[220],"o(N).":[221],"After":[222],"Burrows-Wheeler":[224],"transform":[225],"reversed":[228],"string,":[229],"competes":[232],"individual":[235],"sequence":[236],"conditional":[240],"order":[244],"once,":[246],"universality":[249],"stationary":[251],"ergodic":[252],"sources.":[253]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-21T00:00:00"}