Max-Flow Min-Cut Theorems for Multi-User Communication Networks

Soren Riis,Maximilien Gadouleau
DOI: https://doi.org/10.48550/arXiv.1012.5224
2014-10-16
Abstract:The paper presents four distinct new ideas and results for communication networks: 1) We show that relay-networks (i.e. communication networks where different nodes use the same coding functions) can be used to model dynamic networks. 2) We introduce {\em the term model}, which is a simple, graph-free symbolic approach to communication networks. 3) We state and prove variants of a theorem concerning the dispersion of information in single-receiver communications. 4) We show that the solvability of an abstract multi-user communication problem is equivalent to the solvability of a single-target communication in a suitable relay network. In the paper, we develop a number of technical ramifications of these ideas and results. One technical result is a max-flow min-cut theorem for the Rényi entropy with order less than one, given that the sources are equiprobably distributed; conversely, we show that the max-flow min-cut theorem fails for the Rényi entropy with order greater than one. We leave the status of the theorem with regards to the ordinary Shannon Entropy measure (Rényi entropy of order one and the limit case between validity or failure of the theorem) as an open question. In non-dynamic static communication networks with a single receiver, a simple application of Menger's theorem shows that the optimal throughput can be achieved without proper use of network coding i.e. just by using ordinary packet-switching. This fails dramatically in relay networks with a single receiver. We show that even a powerful method like linear network coding fails miserably for relay networks. With that in mind, it is noticeable that our rather weak form of network coding (routing with dynamic headers) is asymptotically sufficient to reach capacity.
Information Theory,Logic in Computer Science,Combinatorics
What problem does this paper attempt to address?
This paper attempts to address several key issues in communication networks, specifically: 1. **Dynamic Network Modeling**: The paper proposes using relay networks (i.e., communication networks where different nodes use the same encoding function) to simulate dynamic networks. This simulation method can handle dynamic situations such as link failures, node failures, changes in network topology during transmission, and changes in receiver demands. By considering a "multiverse" model, where different "possible worlds" represent different hypothetical scenarios, these scenarios are modeled in a discrete manner in parallel worlds. 2. **Information Theoretic Limit Calculation**: The paper introduces a simple, graph-free symbolic method called the "term model" to represent communication networks. Based on this term model, the paper develops an algorithm (based on the max-flow min-cut algorithm) to calculate the information theoretic capacity upper bound of a given communication network. The paper points out that even non-isomorphic communication networks may be mathematically identical because they lead to the same term model. 3. **Information Dispersion Theorem in Single-Receiver Communication**: The paper states and proves a theorem about information dispersion in single-receiver communication. This theorem is similar to the max-flow min-cut theorem in commodity networks, indicating that the minimum cut value (i.e., channel capacity) can be asymptotically achieved. The proof of the theorem combines Menger's theorem in graph theory with arguments similar to Shannon's fundamental theorem for memoryless noisy channels. To this end, the paper introduces a very weak form of network coding (called routing with dynamic headers). 4. **Solvability of Multi-User Communication Problems**: The paper proves that the solvability of abstract multi-user communication problems is equivalent to the solvability of single-objective communication in an appropriate relay network. This result helps to understand the complexity and solvability of multi-user communication problems. In summary, by introducing new concepts and methods, this paper aims to address key issues in communication networks such as dynamic modeling, information theoretic limit calculation, information dispersion, and the solvability of multi-user communication problems.