We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Information Theory

Title: Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication

Authors: Cheuk Ting Li
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.
Comments: 20 pages, 8 figures
Subjects: Information Theory (cs.IT); Probability (math.PR)
Cite as: arXiv:2205.11461 [cs.IT]
  (or arXiv:2205.11461v3 [cs.IT] for this version)

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.