{"id":"https://openalex.org/W4409585286","doi":"https://doi.org/10.1145/3729207","title":"Real numbers equally compressible in every base","display_name":"Real numbers equally compressible in every base","publication_year":2025,"publication_date":"2025-04-18","ids":{"openalex":"https://openalex.org/W4409585286","doi":"https://doi.org/10.1145/3729207"},"language":"en","primary_location":{"id":"doi:10.1145/3729207","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729207","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047441815","display_name":"Satyadev Nandakumar","orcid":"https://orcid.org/0000-0002-0214-0598"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Satyadev Nandakumar","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0002-0214-0598","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050881589","display_name":"Subin Pulari","orcid":"https://orcid.org/0000-0001-8426-4326"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subin Pulari","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0001-8426-4326","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08183111,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9897000193595886,"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/base","display_name":"Base (topology)","score":0.7167953252792358},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6327574253082275},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3335787057876587},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.22474893927574158}],"concepts":[{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.7167953252792358},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6327574253082275},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3335787057876587},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.22474893927574158}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729207","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729207","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W880608189","https://openalex.org/W1447601445","https://openalex.org/W1964013156","https://openalex.org/W1968831457","https://openalex.org/W1985086503","https://openalex.org/W2013665528","https://openalex.org/W2043927415","https://openalex.org/W2055459469","https://openalex.org/W2055910828","https://openalex.org/W2056099894","https://openalex.org/W2057978375","https://openalex.org/W2082201286","https://openalex.org/W2087171258","https://openalex.org/W2122962290","https://openalex.org/W2133913727","https://openalex.org/W2963801322","https://openalex.org/W3120179544","https://openalex.org/W3154496493","https://openalex.org/W4210896998","https://openalex.org/W4230951315","https://openalex.org/W4238477653"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2962838298","https://openalex.org/W2600246793"],"abstract_inverted_index":{"This":[0],"work":[1],"solves":[2],"an":[3,36],"open":[4],"question":[5,181],"in":[6,19,35,45,59,77,175,230],"finite-state":[7,26,43,54,72,95,225],"compressibility":[8,15,112,126],"posed":[9,85,260],"by":[10,187,261],"Lutz":[11,82,183,262],"and":[12,83,100,110,184,257,263,290],"Mayordomo":[13,84,185],"about":[14],"of":[16,33,128,133,182,199,228,246,275,287],"real":[17,107],"numbers":[18,51,90,201,249,278],"different":[20],"bases.":[21],"Finite-state":[22],"compressibility,":[23],"or":[24,169],"equivalently,":[25,103],"dimension,":[27],"quantifies":[28],"the":[29,63,86,125,129,180,224,244,285],"asymptotic":[30],"lower":[31],"density":[32],"information":[34],"infinite":[37],"sequence.":[38],"Absolutely":[39],"normal":[40,277],"numbers,":[41],"being":[42],"incompressible":[44],"every":[46,60,68,78,121],"base,":[47],"are":[48,88],"precisely":[49,136],"those":[50],"which":[52,91],"have":[53,92,165],"dimension":[55,73,96,167,254],"equal":[56,74],"to":[57,75,295],"1":[58,101],"base.":[61,79],"At":[62],"other":[64,155],"extreme,":[65],"for":[66,120,154,219,250],"example,":[67],"rational":[69,200,253],"number":[70,108,215],"has":[71],"0":[76,99,168,256],"Generalizing":[80],"this,":[81],"question:":[87],"there":[89,105,143],"absolute":[93],"positive":[94],"strictly":[97,174],"between":[98,255],"-":[102,158],"is":[104,135,140,144,233],"a":[106,111,189,213,238],"\u03be":[109,134,216,229],"ratio":[113,127,227],"s":[114,137],"\u2208":[115],"(0,":[116],"1)":[117],"such":[118,146,217],"that":[119,142,195,218],"base":[122,221,231],"b":[123,131,222,232,235],",":[124,208,223],"base-":[130],"expansion":[132],"?":[138],"It":[139],"conceivable":[141],"no":[145,172],"number.":[147],"Indeed,":[148],"some":[149],"works":[150],"explore":[151],"\u201czero-one\u201d":[152],"laws":[153],"feasible":[156,166],"dimensions":[157],"i.e.":[159],"sequences":[160,289],"with":[161],"certain":[162,288],"properties":[163],"either":[164],"1,":[170,258],"taking":[171],"value":[173],"between.":[176],"However,":[177],"we":[178,209,268],"answer":[179],"affirmatively":[186],"proving":[188],"more":[190],"general":[191],"result.":[192],"We":[193],"show":[194],"given":[196,252],"any":[197,220,251],"sequence":[198],"\\(\\langle":[202],"q_b":[203],"\\rangle":[204],"_{b=2}^{\\infty":[205],"}":[206],"\\)":[207],"can":[210],"explicitly":[211],"construct":[212],"single":[214],"dimension/compression":[226],"q":[234],".":[236],"As":[237],"special":[239],"case,":[240],"this":[241],"result":[242],"implies":[243],"existence":[245],"absolutely":[247,276],"dimensioned":[248],"as":[259],"Mayordomo.":[264],"In":[265],"our":[266],"construction,":[267],"combine":[269],"ideas":[270],"from":[271,279],"Wolfgang":[272],"Schmidt\u2019s":[273],"construction":[274],"Schmidt":[280],"(1962),":[281],"upper":[282],"bounds":[283],"on":[284],"discrepancy":[286],"several":[291],"new":[292],"estimates":[293],"related":[294],"exponential":[296],"sums.":[297]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}