用于信息论不等式的 Fourier-Motzkin 消元软件
信息论
2016-10-14 v1 math.IT
摘要
我们提供了用 MATLAB 实现的开源软件，该软件执行 Fourier-Motzkin 消元（FME）并移除由于 Shannon 型不等式（STI）而冗余的约束。FME 常用于信息论语境中以简化速率区域，例如通过消除辅助速率。然而，该过程有时会变得繁琐，使得无错误的手工推导成为一项难以实现的任务。一些计算机软件通过利用自动化的 FME 过程规避了这一困难。但是，此类软件的输出通常包含由于信息论性质而无效的约束。通过结合 STI 的概念（一类可通过计算机程序证明的信息不等式），我们的算法基于非负性、链式法则和概率质量函数分解移除了此类冗余约束。本通讯首先说明了该程序的能力，然后回顾了 STI 在识别冗余约束方面的贡献。
引用
@article{arxiv.1610.03990,
title = {Fourier-Motzkin Elimination Software for Information Theoretic Inequalities},
author = {Ido B. Gattegno and Ziv Goldfeld and Haim H. Permuter},
journal= {arXiv preprint arXiv:1610.03990},
year = {2016}
}