Current browse context:
cs.IT
Change to browse by:
References & Citations
Computer Science > Information Theory
Title: Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication
(Submitted on 23 May 2022 (v1), last revised 29 May 2022 (this version, v3))
Abstract: We resolve three long-standing open problems, namely the (algorithmic) decidability of network coding, the decidability of conditional information inequalities, and the decidability of conditional independence implication among random variables, by showing that these problems are undecidable. The proof utilizes a construction inspired by Herrmann's arguments on embedded multivalued database dependencies, a network studied by Dougherty, Freiling and Zeger, together with a novel construction to represent group automorphisms on top of the network.
Submission history
From: Cheuk Ting Li [view email][v1] Mon, 23 May 2022 16:58:00 GMT (335kb,D)
[v2] Wed, 25 May 2022 17:57:45 GMT (345kb,D)
[v3] Sun, 29 May 2022 10:24:21 GMT (355kb,D)
Link back to: arXiv, form interface, contact.