## Abstract

We provide open-source software implemented in MATLAB, that performs Fourier-Motzkin elimination (FME) and removes constraints that are redundant due to Shannon-type inequalities (STIs). The FME is often used in information

theoretic contexts to simplify rate regions, e.g., by eliminating auxiliary rates. Occasionally, however, the procedure becomes cumbersome, which makes an error-free hand-written derivation an elusive task. Some computer software have circumvented this difficulty by exploiting an automated FME process. However, the outputs of such software often include constraints that are inactive due to information theoretic properties. By incorporating the notion of STIs (a class of information inequalities provable via a computer program), our algorithm removes such redundant constraints based on nonnegativity properties, chain-rules and probability mass function factorization. This newsletter first illustrates the program’s abilities, and then reviews the contribution of STIs to the identification of redundant constraints.

theoretic contexts to simplify rate regions, e.g., by eliminating auxiliary rates. Occasionally, however, the procedure becomes cumbersome, which makes an error-free hand-written derivation an elusive task. Some computer software have circumvented this difficulty by exploiting an automated FME process. However, the outputs of such software often include constraints that are inactive due to information theoretic properties. By incorporating the notion of STIs (a class of information inequalities provable via a computer program), our algorithm removes such redundant constraints based on nonnegativity properties, chain-rules and probability mass function factorization. This newsletter first illustrates the program’s abilities, and then reviews the contribution of STIs to the identification of redundant constraints.

Original language | English |
---|---|

Journal | arxiV cs.IT |

Volume | abs/1610.03990 |

State | Published - 2016 |