Linear Network Codes for Vector-Linear Network Function Computation over Three-Layer Networks

We study vector-linear function computation over three-layer networks with a fixed target function and a fixed source-access pattern. We develop a support-constrained row-space framework that represents a linear computing code by a global row space. This space must contain the target row space and be generated by rows satisfying the local support-constraints of the network. We prove that this representation is equivalent to the existence of a linear computing code. For any prescribed global row space, we give a necessary and sufficient condition for its realization and determine the minimum uniform communication load at the middle nodes. The condition is expressed in terms of the ranks of the local subspaces supported on the source-access sets. It separates the exact local realization problem from the outer problem of designing the global row space and yields a variational characterization of the linear computing capacity. We then apply the framework to MDS targets over cyclic networks. We identify when the target row space alone is sufficient and when auxiliary rows are required. We determine the capacity in the dense regime and in the sparse regime whenever the cut-set bound is integral. For the remaining sparse parameters, we give a general linear construction whose achievable rate equals the integer part of the cut-set bound.