Work

The Undecidability of Network Coding with some Fixed-Size Messages and Edges

Year: 2022

Type: conference-paper

Abstract: We consider a network coding setting where some of the messages and edges have fixed alphabet sizes, that do not change when we increase the common alphabet size of the rest of the messages and edges. We prove that the problem of deciding whether such network admits a coding scheme is undecidable. This can be considered as a partial solution to the conjecture that network coding (without fixed-size messages/edges) is undecidable. The proof, which makes heavy use of analogies with digital circuits, is essentially constructing a digital circuit of logic gates and flip-flops within a network coding model that is capable of simulating an arbitrary Turing machine.

Source: IEEE International Symposium on Information Theory (ISIT)

DOI: 10.1109/isit50566.2022.9834871

Author: Cheuk Ting Li

Institution: Chinese University of Hong Kong

Language: English

Topic: Cooperative Communication and Network Coding

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Chinese University of Hong Kong

Award: G3005345176