{"id":"https://openalex.org/W7165932973","doi":"https://doi.org/10.48550/arxiv.2606.25777","title":"Space-Efficient Language Generation in the Limit","display_name":"Space-Efficient Language Generation in the Limit","publication_year":2026,"publication_date":"2026-06-24","ids":{"openalex":"https://openalex.org/W7165932973","doi":"https://doi.org/10.48550/arxiv.2606.25777"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.25777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25777","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.25777","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061093552","display_name":"Nicolas Flammarion","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Flammarion, Nicolas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081649943","display_name":"Chirag Pabbaraju","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pabbaraju, Chirag","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073929256","display_name":"Hristo Papazov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Papazov, Hristo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139345321","display_name":"Miltiadis Stouras","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stouras, Miltiadis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137861498","display_name":"Ola Svensson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Svensson, Ola","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9570000171661377,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9570000171661377,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.013000000268220901,"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.003599999938160181,"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/complement","display_name":"Complement (music)","score":0.6209999918937683},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.5641999840736389},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.5478000044822693},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5461000204086304},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.49129998683929443},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4894999861717224},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4781000018119812},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.44369998574256897}],"concepts":[{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6209999918937683},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5641999840736389},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.5478000044822693},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5461000204086304},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5023000240325928},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.49129998683929443},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4894999861717224},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4781000018119812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4666000008583069},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.44369998574256897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4399999976158142},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3978999853134155},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38190001249313354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34119999408721924},{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.33340001106262207},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2745000123977661},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C153578388","wikidata":"https://www.wikidata.org/wiki/Q351625","display_name":"Theoretical linguistics","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.25777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25777","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.25777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25777","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,52,143],"initiate":[1],"a":[2,21,29,37,89,98,113,122,148,153,156,175],"resource-aware":[3],"theory":[4],"of":[5,15,50,58,71,138],"\\textit{language":[6],"generation":[7,107,125,163,180],"in":[8,136],"the":[9,12,56,75,83,94,104,130],"limit}":[10],"under":[11],"minimal":[13],"constraint":[14],"space":[16,118],"efficiency.":[17],"In":[18,82,109],"our":[19],"framework,":[20],"learner":[22,90],"observes":[23],"an":[24,69],"adversarial":[25],"positive":[26],"stream":[27],"from":[28,155],"target":[30,95],"language":[31,40],"$K$":[32,137],"and":[33,181],"must":[34],"eventually":[35],"output":[36],"hallucination-free":[38],"hypothesis":[39,77,123,132],"$L":[41],"\\subseteq":[42],"K$":[43],"while":[44],"omitting":[45],"at":[46,64,140],"most":[47,65],"$\u0394$":[48],"strings":[49],"$K$.":[51,96],"focus":[53],"on":[54],"$\\mathcal{C}_{s,k}$,":[55],"collection":[57],"languages":[59],"recognized":[60],"by":[61],"DFAs":[62],"with":[63,124,147],"$s$":[66],"states":[67],"over":[68],"alphabet":[70],"size":[72],"$k$,":[73],"as":[74],"natural":[76],"class":[78],"for":[79],"memory-bounded":[80],"learners.":[81],"exponential-space":[84,182],"regime,":[85],"we":[86,102,111],"prove":[87],"that":[88,119],"can":[91],"exactly":[92],"identify":[93],"Under":[97],"stricter":[99],"memory":[100],"budget,":[101],"characterize":[103],"strongest":[105],"possible":[106],"guarantees.":[108],"particular,":[110],"present":[112],"streaming":[114],"algorithm":[115],"using":[116],"$\\mathrm{poly}(s,k)$":[117],"converges":[120],"to":[121],"gap":[126,164],"$\u0394=":[127],"O(k^{2s-2})$.":[128],"Moreover,":[129],"learned":[131],"captures":[133],"every":[134],"string":[135],"length":[139],"least":[141],"$2s-1$.":[142],"complement":[144],"this":[145],"result":[146],"near-matching":[149],"lower":[150],"bound":[151],"through":[152],"reduction":[154],"standard":[157],"communication":[158],"complexity":[159],"problem.":[160],"Specifically,":[161],"achieving":[162],"$\u0394\\le":[165],"k^{(1-\\varepsilon)s}$":[166],"requires":[167],"$k^{\u03a9(\\varepsilon":[168],"s)}$":[169],"memory.":[170],"Together,":[171],"these":[172],"results":[173],"reveal":[174],"sharp":[176],"transition":[177],"between":[178],"polynomial-space":[179],"exact":[183],"identification.":[184]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-26T00:00:00"}