Finding the capacity of next-generation networks by linear programming
| dc.contributor.author | Tan, C. | |
| dc.contributor.author | Ho, S.W. | |
| dc.contributor.author | Lin, S. | |
| dc.contributor.author | Yeung, R. | |
| dc.contributor.conference | International conference on communication systems (19 Nov 2014 - 21 Nov 2014 : China) | |
| dc.date.issued | 2014 | |
| dc.description.abstract | Proving or disproving an information inequality is a crucial step in establishing the converse results in the coding theorems of communication networks. However, next-generation networks are very large-scale, typically involving multiple users and many transceivers and relays. This means that an information inequality involving many random variables can be difficult to be proved or disproved manually. In [1], Yeung developed a framework that uses linear programming for verifying linear information inequalities, and it was recently shown in [2] that this framework can be used to explicitly construct an analytic proof of an information inequality or an analytic counterexample to disprove it if the inequality is not true in general. In this paper, we consider the construction of the smallest counterexample, and also give sufficient conditions for that the inequality can be manipulated to become true. We also describe the software development of automating this analytical framework enabled by cloud computing to analytically verify information inequalities in large-scale problem setting | |
| dc.identifier.citation | IEEE International conference on communication systems, IEEE ICCS 2014, 2014, pp.192-196 | |
| dc.identifier.doi | 10.1109/ICCS.2014.7024792 | |
| dc.identifier.isbn | 9781479958320 | |
| dc.identifier.orcid | Ho, S.W. [0000-0002-8630-494X] | |
| dc.identifier.uri | https://hdl.handle.net/11541.2/114547 | |
| dc.language.iso | en | |
| dc.publisher | IEEE Press | |
| dc.publisher.place | US | |
| dc.rights | Copyright 2014 IEEE | |
| dc.source.uri | https://doi.org/10.1109/ICCS.2014.7024792 | |
| dc.subject | coding theorems | |
| dc.subject | large-scale problem | |
| dc.subject | linear information | |
| dc.subject | multiple user | |
| dc.title | Finding the capacity of next-generation networks by linear programming | |
| dc.type | Conference paper | |
| pubs.publication-status | Published | |
| ror.mmsid | 9915913912501831 |