We consider a two-unicast-Z network over a directed acyclic graph of unit capacitated edges; the two-unicast-Z network is a special case of two-unicast networks where one of the destinations has apriori side information of the unwanted (interfering) message. In this paper, we settle open questions on the limits of network coding for two-unicast-Z networks by showing that the generalized network sharing bound is not tight, vector linear codes outperform scalar linear codes, and non-linear codes outperform linear codes in general. We also develop a commutative algebraic approach to deriving linear network coding achievability results, and demonstrate our approach by providing an alternate proof to the previous result of Wang et. al. regarding feasibility of rate (1, 1) in the network.
I. INTRODUCTIONThere is significant interest in multiple unicast network coding and index coding in recent times. In addition to capturing the essence of network communication, there are interesting connections between special instances of the multiple unicast network communication problem and several emerging applications including topological interference management in wireless networks [6], codes for caching and content distribution [9] and regenerating and locally recoverable codes for distributed storage [1], [10]. In this paper, we study the most simple multiple unicast communication scenario, in terms of message structure, whose capacity is unknown: the two-unicast-Z network.The two-unicast-Z network, like the two-unicast network, has two independent message sources and two destinations, each destination respectively requiring to decode one of the two message sources. One of the two destinations, say the second destination, has apriori side information of the unintended (first) message source (See Fig. 1). Like the Z-interference channel in wireless communications, the two sources of the network interfere at only one destination. The study of twounicast-Z networks is important, because, like index coding and other simplified variants, insights obtained through code development for two-unicast-Z networks can potentially influence code design for more general multiple unicast networks and its related applications. A low-complexity linear network coding algorithm for two-unicast-Z networks has been developed in [13].It is shown in [12] that the generalized network sharing bound is tight for a specific class of two-unicast-Z networks. However, unlike the two-unicast network [7] where (a) linear network coding is insufficient for capacity, (b) vector linear codes outperform scalar linear codes, and (c) the generalized network sharing (GNS) cut set bound is not tight in general, it is not known whether non-linear network coding, vector linear codes, or bounds stronger than the GNS bound are required to characterize capacity for the two-unicast-Z network. In particular, because twounicast-Z networks are a special case of two-unicast networks, the results of two-unicast networks