A unification of network coding and tree-packing (routing) theorems

• Published in: IEEE transactions on information theory Vol. 52; no. 6; pp. 2398 - 2409
• Main Authors: Wu, Yunnan, Jain, Kamal, Sun-Yuan, Kung
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.06.2006; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Acoustic materials; Acoustic signal processing; Codes; Coding; Communications networks; Computer networks; Constraint theory; Data transmission; Flow; Graph theory; Multicast; Network coding; Networks; Packet switched networks; Proving; Relays; Routing; Routing (telecommunications); Speech processing; Steiner tree; Studies; Tail; Theorems; Theory; Upper bound
• ISSN: 0018-9448; 1063-6692; 1557-9654; 1558-2566
• DOI: 10.1109/TIT.2006.874430

Given a network of lossless links with rate constraints, a source node, and a set of destination nodes, the multicast capacity is the maximum rate at which the source can transfer common information to the destinations. The multicast capacity cannot exceed the capacity of any cut separating the source from a destination; the minimum of the cut capacities is called the cut bound. A fundamental theorem in graph theory by Edmonds established that if all nodes other than the source are destinations, the cut bound can be achieved by routing. In general, however, the cut bound cannot be achieved by routing. Ahlswede et al. established that the cut bound can be achieved by performing network coding, which generalizes routing by allowing information to be mixed. This paper presents a unifying theorem that includes Edmonds' theorem and Ahlswede et al.'s theorem as special cases. Specifically, it shows that the multicast capacity can still be achieved even if information mixing is only allowed on edges entering relay nodes. This unifying theorem is established via a graph theoretic hardwiring theorem, together with the network coding theorems for multicasting. The proof of the hardwiring theorem implies a new proof of Edmonds' theorem.