Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
Organizations: Koguan School of Law, China Institute for Smart Justice, School of Computer Science, Shanghai Jiao Tong University, Shanghai 200030, China
Abstract
Shannon's information theory deliberately excludes message semantics. This paper develops a rigorous framework for semantic communication that integrates formal proof systems with Shannon-theoretic tools. We introduce an axiomatic information model comprising Lsem-definable state sets linked by computable enabling maps, and define the semantic channel as a composition of Markov kernels whose supports respect the enabling structure. A fixed proof system induces an irredundant semantic core and a derivation-depth stratification, enabling four distortion measures of increasing semantic depth: Hamming, closure, depth, and a parameterized composite. Six families of computable semantic channel invariants are defined and their inter-relationships established, including a data processing bound, a semantic Fano bound, and an ideal-channel collapse theorem. The central quantitative result is a deductive compression gain: under closure-based fidelity, the minimum block length is determined by the irredundant core size rather than the full knowledge-base size. We instantiate the framework for heterogeneous multi-agent communication, introducing an overlap decomposition that yields necessary and sufficient conditions for closure-reliable communication. A semantic bottleneck phenomenon is identified in broadcast settings: vocabulary mismatch imposes irreducible fidelity limitations even over noiseless carriers. All results are verified on an explicit Datalog instance.
Figures & tables
| Symbol | Meaning |
| Knowledge base (semantic state set) of agent | |
| Irredundant core and stored shortcuts of agent | |
| Common states: | |
| Lost states: | |
| Surplus states: | |
| Preserved sender core: |
| Family | Invariant | Overlap expression / constraint |
| I. Source struct. | (sender core size) | |
| II. Set-level (KB only) | ( 5.10 ) | |
| iff (F1)+(F2) (Prop. 5.3 ) | ||
| III. Noise-pair (+kernel) | if ; else | |
| if ; else |
| Stratum | New elements |
| , , , | |
| , , , | |
| , |
| Quantity | Recv. 2 | Recv. 2 ′ | Recv. 3 |
| 7 | 8 | 4 | |
| 1 | 0 | 4 | |
| 2 | 1 | 2 | |
| 3 | 4 | 4 | |
| 1 | 0 | 0 | |
| 1 | 1 | 2 |
| Family | Invariant | Pair | Pair | Pair |
| I. Source | 4 | 4 | 4 | |
| 2 | 2 | 2 | ||
| II. Set-level | 0.750 | 1.000 | 1.000 | |
| 0.429 | 1.000 | 1.000 | ||
| III. Noise-pair | 0 | 0.900 | 0.900 | |
| 0 | 0 | 0.911 |
| Criterion | Pair | Pair | Pair |
| Hamming | N/A † | 1.183 | N/A † |
| Closure | ‡ | 0.789 | 0.789 |
| Ratio | — | 0.667 | — |
| † Hamming reconstruction impossible: . ‡ : closure reliability unachievable (Corollary 5.3 ). | |||
Semantic Communication
Semantic communication sends meaning- or task-relevant information so receivers can act without reconstructing every transmitted bit or signal.
See all 100 papers