Broadcasting on Random Directed Acyclic Graphs

© 1963-2012 IEEE. We study the following generalization of the well-known model of broadcasting on trees. Consider an infinite directed acyclic graph (DAG) with a unique source vertex X. Let the collection of vertices at distance k from X be called the k th layer, and suppose every non-source vertex...

Full description

Bibliographic Details
Main Authors: Makur, Anuran, Mossel, Elchanan, Polyanskiy, Yury
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE) 2021
Online Access:https://hdl.handle.net/1721.1/136548
_version_ 1826190322792660992
author Makur, Anuran
Mossel, Elchanan
Polyanskiy, Yury
author2 Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
author_facet Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Makur, Anuran
Mossel, Elchanan
Polyanskiy, Yury
author_sort Makur, Anuran
collection MIT
description © 1963-2012 IEEE. We study the following generalization of the well-known model of broadcasting on trees. Consider an infinite directed acyclic graph (DAG) with a unique source vertex X. Let the collection of vertices at distance k from X be called the k th layer, and suppose every non-source vertex has indegree d2. At layer 0, the source vertex is given a random bit. At layer k1, each vertex receives d bits from its parents in the (k-1) th layer, which are transmitted along edges that are independent binary symmetric channels (BSCs) with crossover probability δ 012. Each vertex combines its d noisy inputs using a deterministic d -ary Boolean processing function that generates the value at the vertex. The goal is to be able to reconstruct the original bit X with probability of error bounded away from 12 using the values of all vertices at an arbitrarily deep layer k. This question is closely related to models of reliable computation and storage, and information flow in biological networks. In this paper, we treat the case of randomly constructed DAGs, for which we show that broadcasting is only possible if the BSC noise level δ is below a certain (degree and function dependent) critical threshold. For d3, and random DAGs with layers of size Ω k and majority processing functions, we identify the critical threshold. For d = 2, we establish a similar result for the NAND processing function. We also prove a partial converse result for odd d3 illustrating that the identified thresholds are impossible to improve by selecting different processing functions if the decoder is restricted to using a single vertex's value. Finally, for any BSC noise level δ, we construct explicit DAGs (using regular bipartite lossless expander graphs) with bounded degree and layers of size Θk admitting reconstruction. In particular, we show that the first r layers of such DAGs can be generated in either deterministic quasi-polynomial time or randomized polylogarithmic time in r. These results portray a doubly-exponential advantage for storing a bit in bounded degree DAGs compared to trees, where d = 1 but layer sizes need to grow exponentially with depth in order for broadcasting to be possible.
first_indexed 2024-09-23T08:38:30Z
format Article
id mit-1721.1/136548
institution Massachusetts Institute of Technology
language English
last_indexed 2024-09-23T08:38:30Z
publishDate 2021
publisher Institute of Electrical and Electronics Engineers (IEEE)
record_format dspace
spelling mit-1721.1/1365482023-12-22T19:05:53Z Broadcasting on Random Directed Acyclic Graphs Makur, Anuran Mossel, Elchanan Polyanskiy, Yury Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology. Department of Mathematics © 1963-2012 IEEE. We study the following generalization of the well-known model of broadcasting on trees. Consider an infinite directed acyclic graph (DAG) with a unique source vertex X. Let the collection of vertices at distance k from X be called the k th layer, and suppose every non-source vertex has indegree d2. At layer 0, the source vertex is given a random bit. At layer k1, each vertex receives d bits from its parents in the (k-1) th layer, which are transmitted along edges that are independent binary symmetric channels (BSCs) with crossover probability δ 012. Each vertex combines its d noisy inputs using a deterministic d -ary Boolean processing function that generates the value at the vertex. The goal is to be able to reconstruct the original bit X with probability of error bounded away from 12 using the values of all vertices at an arbitrarily deep layer k. This question is closely related to models of reliable computation and storage, and information flow in biological networks. In this paper, we treat the case of randomly constructed DAGs, for which we show that broadcasting is only possible if the BSC noise level δ is below a certain (degree and function dependent) critical threshold. For d3, and random DAGs with layers of size Ω k and majority processing functions, we identify the critical threshold. For d = 2, we establish a similar result for the NAND processing function. We also prove a partial converse result for odd d3 illustrating that the identified thresholds are impossible to improve by selecting different processing functions if the decoder is restricted to using a single vertex's value. Finally, for any BSC noise level δ, we construct explicit DAGs (using regular bipartite lossless expander graphs) with bounded degree and layers of size Θk admitting reconstruction. In particular, we show that the first r layers of such DAGs can be generated in either deterministic quasi-polynomial time or randomized polylogarithmic time in r. These results portray a doubly-exponential advantage for storing a bit in bounded degree DAGs compared to trees, where d = 1 but layer sizes need to grow exponentially with depth in order for broadcasting to be possible. 2021-10-27T20:35:53Z 2021-10-27T20:35:53Z 2020 2021-03-09T20:06:12Z Article http://purl.org/eprint/type/JournalArticle https://hdl.handle.net/1721.1/136548 en 10.1109/TIT.2019.2935772 IEEE Transactions on Information Theory Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) arXiv
spellingShingle Makur, Anuran
Mossel, Elchanan
Polyanskiy, Yury
Broadcasting on Random Directed Acyclic Graphs
title Broadcasting on Random Directed Acyclic Graphs
title_full Broadcasting on Random Directed Acyclic Graphs
title_fullStr Broadcasting on Random Directed Acyclic Graphs
title_full_unstemmed Broadcasting on Random Directed Acyclic Graphs
title_short Broadcasting on Random Directed Acyclic Graphs
title_sort broadcasting on random directed acyclic graphs
url https://hdl.handle.net/1721.1/136548
work_keys_str_mv AT makuranuran broadcastingonrandomdirectedacyclicgraphs
AT mosselelchanan broadcastingonrandomdirectedacyclicgraphs
AT polyanskiyyury broadcastingonrandomdirectedacyclicgraphs