面向信息论结论的自动化定理证明框架
信息论
2022-07-13 v4 math.IT
摘要
我们提出了一个通用的自动化定理证明框架，能够在统一框架下自动发现、简化并证明网络信息论中的内外界、推导信息论量的性质（如Wyner与Gács-Körner公共信息），并发现非香农型不等式。我们的实现成功地为El Gamal与Kim所著《网络信息论》第1–14章中56个定理里的32个生成了证明。我们的框架基于存在性信息不等式的概念，其为信息论中广泛问题提供了一个公理化框架。
引用
@article{arxiv.2101.12370,
title = {An Automated Theorem Proving Framework for Information-Theoretic Results},
author = {Cheuk Ting Li},
journal= {arXiv preprint arXiv:2101.12370},
year = {2022}
}
备注
27 pages, presented in part at the IEEE International Symposium on Information Theory 2021