Abstract:In this paper, the problem of zero-error network function computation is considered, where in a directed acyclic network, a single sink node is required to compute with zero error a function of the source messages that are separately generated by multiple source nodes. From the information-theoretic point of view, we are interested in the fundamental computing capacity, which is defined as the average number of times that the function can be computed with zero error for one use of the network. The explicit characterization of the computing capacity in general is overwhelming difficult. The best known upper bound applicable to arbitrary network topologies and arbitrary target functions is the one proved by Guang et al. in using an approach of the cut-set strong partition. This bound is tight for all previously considered network function computation problems whose computing capacities are known. In this paper, we consider the model of computing the binary arithmetic sum over an asymmetric diamond network, which is of great importance to illustrate the combinatorial nature of network function computation problem. First, we prove a corrected upper bound 1 by using a linear programming approach, which corrects an invalid bound previously claimed in the literature. Nevertheless, this upper bound cannot bring any improvement over the best known upper bound for this model, which is also equal to 1. Further, by developing a different graph coloring approach, we obtain an improved upper bound 1/log32+log3-1 (≈0.822). We thus show that the best known upper bound proved by Guang et al. is not tight for this model which answers the open problem that whether this bound in general is tight. On the other hand, we present an explicit code construction, which implies a lower bound 1/2log36 (≈0.815) on the computing capacity. Comparing the improved upper and lower bounds thus obtained, there exists a rough 0.007 gap between them.

Computation of Binary Arithmetic Sum over an Asymmetric Diamond Network

Improved Upper Bound on the Network Function Computing Capacity.

An Enhanced Capacity Bound For Network Function Computation

Zero-Error Distributed Compression of Binary Arithmetic Sum

Zero-Error Distributed Function Compression for Binary Arithmetic Sum

Comments on Cut-Set Bounds on Network Function Computation.

An Improved Upper Bound on Network Function Computation Using Cut-Set Partition

Network Function Computation With Different Secure Conditions

An Improved Capacity Bound for Secure Network Function Computation.

Secure Network Function Computation for Linear Functions -- Part I: Source Security

How Hard is Computing Parity with Noisy Communications?

Linear Network Coding for Robust Function Computation and Its Applications in Distributed Computing

On Distributed Computing for Functions with Certain Structures

Computation Over Gaussian Networks With Orthogonal Components

How to Distribute Computation in Networks

On the quantum no-signalling assisted zero-error classical simulation cost of non-commutative bipartite graphs

A computational perspective on network coding

Single-Source/Sink Network Error Correction Is as Hard as Multiple-Unicast

Function Computation over Heterogeneous Wireless Sensor Networks

Distributed Compression of Linear Functions: Partial Sum-Rate Tightness and Gap to Optimal Sum-Rate

Beyond the Cut-Set Bound: Uncertainty Computations in Network Coding with Correlated Sources