{"id":"https://openalex.org/W7161783042","doi":"https://doi.org/10.48550/arxiv.2605.19944","title":"A Measure-Theoretic Analysis of Reasoning: Structural Generalization and Approximation Limits","display_name":"A Measure-Theoretic Analysis of Reasoning: Structural Generalization and Approximation Limits","publication_year":2026,"publication_date":"2026-05-19","ids":{"openalex":"https://openalex.org/W7161783042","doi":"https://doi.org/10.48550/arxiv.2605.19944"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.19944","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19944","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.19944","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136553880","display_name":"Yuyang Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yuyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136553828","display_name":"Yifu Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yifu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136592705","display_name":"Xuehai Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Xuehai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136540531","display_name":"Xiaoyin Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Xiaoyin","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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.11810000240802765,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.11810000240802765,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.08250000327825546,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.07900000363588333,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7038999795913696},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6990000009536743},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.6392999887466431},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5421000123023987},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5120000243186951},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4187999963760376},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.40560001134872437},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.39399999380111694}],"concepts":[{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7038999795913696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7032999992370605},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6990000009536743},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.6392999887466431},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5120000243186951},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4187999963760376},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.40560001134872437},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.39399999380111694},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.39340001344680786},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.382999986410141},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.3398999869823456},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3336000144481659},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3172000050544739},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.3125},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29760000109672546},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C13474197","wikidata":"https://www.wikidata.org/wiki/Q1158876","display_name":"Lipschitz domain","level":3,"score":0.2703000009059906}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.19944","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19944","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.19944","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19944","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":"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":{"While":[0],"empirical":[1],"scaling":[2,126],"laws":[3],"for":[4,109],"LLM":[5],"reasoning":[6,20],"are":[7],"well-documented,":[8],"the":[9,37,90,157],"theoretical":[10],"mechanisms":[11,82],"governing":[12],"out-of-distribution":[13],"(OOD)":[14],"generalization":[15,46,152],"remain":[16],"elusive.":[17],"We":[18],"formalize":[19],"via":[21,47],"optimal":[22],"transport,":[23],"projecting":[24],"discrete":[25],"trajectories":[26],"into":[27],"a":[28,98,103,123],"continuous":[29],"metric":[30],"space":[31],"to":[32,68,97,118,132],"quantify":[33],"domain":[34,159],"shifts":[35],"using":[36],"Wasserstein-1":[38],"distance.":[39],"Invoking":[40],"Kantorovich":[41],"duality,":[42],"we":[43,101],"bound":[44,89,108],"OOD":[45],"architectural":[48],"Lipschitz":[49,75],"continuity":[50],"and":[51,77,88],"functional":[52],"approximation":[53,134],"limits.":[54],"This":[55],"exposes":[56],"two":[57],"primary":[58],"constraints.":[59],"First,":[60],"position-dependent":[61],"attention":[62],"(e.g.,":[63,83],"Absolute":[64],"Positional":[65],"Encoding)":[66],"fails":[67],"preserve":[69,86],"shift":[70],"invariance,":[71],"yielding":[72],"an":[73],"$\u03a9(1)$":[74],"constant":[76],"expected":[78],"risk,":[79],"whereas":[80],"shift-invariant":[81],"Rotary":[84],"Embeddings)":[85],"equivariance":[87],"error.":[91],"Second,":[92],"by":[93],"mapping":[94],"sequential":[95],"backtracking":[96],"Dyck-$k$":[99],"language,":[100],"establish":[102],"strict":[104],"circuit":[105],"depth":[106,115],"lower":[107],"$\\text{TC}^0$":[110],"Transformers.":[111],"Scaling":[112],"physical":[113],"layer":[114],"is":[116],"necessary":[117],"avert":[119],"representation":[120,127],"collapse":[121],"--":[122],"constraint":[124],"that":[125,151],"width":[128],"cannot":[129],"bypass":[130],"due":[131],"irreducible":[133],"bounds":[135],"in":[136],"Barron":[137],"spaces.":[138],"Evaluations":[139],"across":[140],"54":[141],"Transformer":[142],"configurations":[143],"on":[144],"combinatorial":[145],"search":[146],"corroborate":[147],"these":[148],"bounds,":[149],"demonstrating":[150],"risk":[153],"degrades":[154],"monotonically":[155],"with":[156],"Wasserstein":[158],"shift.":[160]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-21T00:00:00"}