{"id":"https://openalex.org/W7155091947","doi":"https://doi.org/10.48550/arxiv.2604.16471","title":"Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication","display_name":"Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication","publication_year":2026,"publication_date":"2026-04-10","ids":{"openalex":"https://openalex.org/W7155091947","doi":"https://doi.org/10.48550/arxiv.2604.16471"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.16471","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16471","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.16471","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134107139","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/A5134107139"],"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/T10964","display_name":"Wireless Communication Security Techniques","score":0.2791999876499176,"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"}},"topics":[{"id":"https://openalex.org/T10964","display_name":"Wireless Communication Security Techniques","score":0.2791999876499176,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.13670000433921814,"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/T12131","display_name":"Wireless Signal Modulation Classification","score":0.1014999970793724,"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/datalog","display_name":"Datalog","score":0.6028000116348267},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5688999891281128},{"id":"https://openalex.org/keywords/information-bottleneck-method","display_name":"Information bottleneck method","score":0.4661000072956085},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.4652000069618225},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.42989999055862427},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.3894999921321869},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.3734000027179718},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3589000105857849}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527999877929688},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.6028000116348267},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5688999891281128},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5493999719619751},{"id":"https://openalex.org/C60008888","wikidata":"https://www.wikidata.org/wiki/Q6031013","display_name":"Information bottleneck method","level":3,"score":0.4661000072956085},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.4652000069618225},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.421999990940094},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.3734000027179718},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3589000105857849},{"id":"https://openalex.org/C202708506","wikidata":"https://www.wikidata.org/wiki/Q7449050","display_name":"Semantic compression","level":5,"score":0.3544999957084656},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.34940001368522644},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.29820001125335693},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C198942812","wikidata":"https://www.wikidata.org/wiki/Q496618","display_name":"Semantic property","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C130318100","wikidata":"https://www.wikidata.org/wiki/Q2268914","display_name":"Semantic similarity","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.16471","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16471","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.16471","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16471","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Shannon's":[0],"information":[1,28],"theory":[2],"deliberately":[3],"excludes":[4],"message":[5],"semantics.":[6],"This":[7],"paper":[8],"develops":[9],"a":[10,45,66,81,98,102,116],"rigorous":[11],"framework":[12,143],"for":[13,144,158],"semantic":[14,42,63,75,88,103,162],"communication":[15],"that":[16,152],"integrates":[17],"formal":[18],"proof":[19,58],"systems":[20],"with":[21],"Shannon-theoretic":[22],"tools.":[23],"We":[24,140],"introduce":[25],"an":[26,61,107,149,185],"axiomatic":[27],"model":[29],"comprising":[30],"Lsem-definable":[31],"state":[32],"sets":[33],"linked":[34],"by":[35,129],"computable":[36,87],"enabling":[37,54,69],"maps,":[38],"and":[39,65,80,93,106,155],"define":[40],"the":[41,53,123,130,136,142],"channel":[43,89],"as":[44],"composition":[46],"of":[47,73,86],"Markov":[48],"kernels":[49],"whose":[50],"supports":[51],"respect":[52],"structure.":[55],"A":[56,161],"fixed":[57],"system":[59],"induces":[60],"irredundant":[62,131],"core":[64,132],"derivation-depth":[67],"stratification,":[68],"four":[70],"distortion":[71],"measures":[72],"increasing":[74],"depth:":[76],"Hamming,":[77],"closure,":[78],"depth,":[79],"parameterized":[82],"composite.":[83],"Six":[84],"families":[85],"invariants":[90],"are":[91,182],"defined":[92],"their":[94],"inter-relationships":[95],"established,":[96],"including":[97],"data":[99],"processing":[100],"bound,":[101,105],"Fano":[104],"ideal-channel":[108],"collapse":[109],"theorem.":[110],"The":[111],"central":[112],"quantitative":[113],"result":[114],"is":[115,127,165],"deductive":[117],"compression":[118],"gain:":[119],"under":[120],"closure-based":[121],"fidelity,":[122],"minimum":[124],"block":[125],"length":[126],"determined":[128],"size":[133],"rather":[134],"than":[135],"full":[137],"knowledge-base":[138],"size.":[139],"instantiate":[141],"heterogeneous":[145],"multi-agent":[146],"communication,":[147],"introducing":[148],"overlap":[150],"decomposition":[151],"yields":[153],"necessary":[154],"sufficient":[156],"conditions":[157],"closure-reliable":[159],"communication.":[160],"bottleneck":[163],"phenomenon":[164],"identified":[166],"in":[167],"broadcast":[168],"settings:":[169],"vocabulary":[170],"mismatch":[171],"imposes":[172],"irreducible":[173],"fidelity":[174],"limitations":[175],"even":[176],"over":[177],"noiseless":[178],"carriers.":[179],"All":[180],"results":[181],"verified":[183],"on":[184],"explicit":[186],"Datalog":[187],"instance.":[188]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-22T00:00:00"}