Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2401.14916 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916106711597056 |
|---|---|
| author | Guo, Laigang Yeung, Raymond W. Gao, Xiao-Shan |
| author_facet | Guo, Laigang Yeung, Raymond W. Gao, Xiao-Shan |
| contents | The proof of information inequalities and identities under linear constraints on the information measures is an important problem in information theory. For this purpose, ITIP and other variant algorithms have been developed and implemented, which are all based on solving a linear program (LP). In this paper, we develop a method with symbolic computation. Compared with the known methods, our approach can completely avoids the use of linear programming which may cause numerical errors. Our procedures are also more efficient computationally. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_14916 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Proving Information Inequalities by Gaussian Elimination Guo, Laigang Yeung, Raymond W. Gao, Xiao-Shan Information Theory The proof of information inequalities and identities under linear constraints on the information measures is an important problem in information theory. For this purpose, ITIP and other variant algorithms have been developed and implemented, which are all based on solving a linear program (LP). In this paper, we develop a method with symbolic computation. Compared with the known methods, our approach can completely avoids the use of linear programming which may cause numerical errors. Our procedures are also more efficient computationally. |
| title | Proving Information Inequalities by Gaussian Elimination |
| topic | Information Theory |
| url | https://arxiv.org/abs/2401.14916 |