{"id":"https://openalex.org/W7154996506","doi":"https://doi.org/10.48550/arxiv.2604.15698","title":"Rate-Distortion Theory for Deductive Sources under Closure Fidelity","display_name":"Rate-Distortion Theory for Deductive Sources under Closure Fidelity","publication_year":2026,"publication_date":"2026-04-17","ids":{"openalex":"https://openalex.org/W7154996506","doi":"https://doi.org/10.48550/arxiv.2604.15698"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.15698","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15698","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.2604.15698","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134019336","display_name":"Jianfeng Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xu, Jianfeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5134019336"],"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/T11269","display_name":"Algorithms and Data Compression","score":0.5788999795913696,"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/T11269","display_name":"Algorithms and Data Compression","score":0.5788999795913696,"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/T10964","display_name":"Wireless Communication Security Techniques","score":0.20739999413490295,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.04149999842047691,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.6236000061035156},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4648999869823456},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4562999904155731},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.43209999799728394},{"id":"https://openalex.org/keywords/lossless-compression","display_name":"Lossless compression","score":0.428600013256073},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.4205000102519989},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4011000096797943},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.3977000117301941}],"concepts":[{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.6236000061035156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5019000172615051},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48190000653266907},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4648999869823456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46459999680519104},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4562999904155731},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43209999799728394},{"id":"https://openalex.org/C81081738","wikidata":"https://www.wikidata.org/wiki/Q55542","display_name":"Lossless compression","level":3,"score":0.428600013256073},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4011000096797943},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.3977000117301941},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C200801453","wikidata":"https://www.wikidata.org/wiki/Q5283181","display_name":"Distributed source coding","level":4,"score":0.37130001187324524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.366100013256073},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34779998660087585},{"id":"https://openalex.org/C165021410","wikidata":"https://www.wikidata.org/wiki/Q55564","display_name":"Lossy compression","level":2,"score":0.34389999508857727},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.32910001277923584},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.32589998841285706},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.3100000023841858},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.296099990606308},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.15698","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15698","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.2604.15698","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15698","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],"study":[1],"lossy":[2],"compression":[3,226],"of":[4,37,57,78,97,103,152,194,196],"a":[5,11,21,26,50,55,76,122,132,139,187],"finite":[6],"statement":[7],"source":[8,16,59,95,105,154],"generated":[9],"in":[10,20,148],"fixed":[12],"deductive":[13,38,150,229],"environment.":[14],"The":[15],"symbols":[17],"are":[18,173],"statements":[19],"knowledge":[22,155],"base":[23],"endowed":[24],"with":[25,131,215],"shared":[27],"proof":[28,47],"system,":[29],"and":[30,49,65,178,227],"reconstruction":[31,145],"fidelity":[32],"is":[33,184],"measured":[34],"by":[35,42,126],"preservation":[36],"closure":[39,151],"rather":[40],"than":[41],"symbolwise":[43,225],"equality.":[44],"Fixing":[45],"the":[46,58,82,89,94,98,101,104,111,117,149,153,161,168,182,197,212,216],"system":[48],"canonical":[51],"scan":[52],"order":[53],"yields":[54],"decomposition":[56],"alphabet":[60],"into":[61],"an":[62,202,207],"irredundant":[63],"core":[64,73,99,129,214],"redundant":[66,171],"stored":[67],"consequences.":[68],"At":[69],"zero":[70],"distortion,":[71],"each":[72],"symbol":[74],"induces":[75],"set":[77],"distortion-free":[79],"reconstructions.":[80],"In":[81,110],"nonconfusable":[83],"(disjoint-core)":[84],"regime,":[85,114],"we":[86,115,157,200],"show":[87],"that":[88,108,160],"minimum":[90],"zero-distortion":[91,119],"rate":[92,120,177],"equals":[93],"mass":[96],"times":[100],"entropy":[102,137],"conditioned":[106],"on":[107,167],"core.":[109],"general":[112],"confusable-core":[113],"characterise":[116],"exact":[118,203],"via":[121],"hypergraph-entropy":[123],"quantity":[124],"induced":[125],"jointly":[127],"realisable":[128],"subsets,":[130],"reduction":[133],"to":[134,175,186],"Korner-style":[135],"graph":[136],"under":[138],"natural":[140],"pairwise":[141],"realisability":[142],"condition.":[143],"For":[144],"alphabets":[146],"contained":[147],"base,":[156],"further":[158],"prove":[159],"full":[162],"rate-distortion":[163],"function":[164],"depends":[165],"only":[166],"core,":[169],"so":[170],"states":[172],"invisible":[174],"both":[176],"distortion.":[179],"Finally,":[180],"when":[181],"decoder":[183],"limited":[185],"bounded":[188,192],"inference-depth":[189],"budget":[190],"(a":[191],"number":[193],"iterations":[195],"immediate-consequence":[198],"operator),":[199],"obtain":[201],"rate-depth-distortion":[204],"characterisation.":[205],"Under":[206],"additional":[208],"order-robustness":[209],"assumption":[210],"identifying":[211],"chosen":[213],"order-free":[217],"essential":[218],"set,":[219],"this":[220],"characterisation":[221],"interpolates":[222],"between":[223],"classical":[224],"unconstrained":[228],"compression.":[230]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-21T00:00:00"}