Distributed computation with continual population growth
-
Published:2021-10-23
Issue:
Volume:
Page:
-
ISSN:0178-2770
-
Container-title:Distributed Computing
-
language:en
-
Short-container-title:Distrib. Comput.
Author:
Cho Da-Jung, Függer Matthias, Hopper Corbin, Kushwaha Manish, Nowak ThomasORCID, Soubeyran Quentin
Abstract
AbstractComputing via synthetically engineered bacteria is a vibrant and active field with numerous applications in bio-production, bio-sensing, and medicine. Motivated by the lack of robustness and by resource limitation inside single cells, distributed approaches with communication among bacteria have recently gained in interest. In this paper, we focus on the problem of population growth happening concurrently, and possibly interfering, with the desired bio-computation. Specifically, we present a fast protocol in systems with continuous population growth for the majority consensus problem and prove that it correctly identifies the initial majority among two inputs with high probability if the initial difference is $$\varOmega (\sqrt{n\log n})$$
Ω
(
n
log
n
)
where n is the total initial population. We also present a fast protocol that correctly computes the Nand of two inputs with high probability. By combining Nand gates with the majority consensus protocol as an amplifier, it is possible to compute arbitrary Boolean functions. Finally, we extend the protocols to several biologically relevant settings. We simulate a plausible implementation of a noisy Nand gate with engineered bacteria. In the context of continuous cultures with a constant outflow and a constant inflow of fresh media, we demonstrate that majority consensus is achieved only if the flow is slower than the maximum growth rate. Simulations suggest that flow increases consensus time over a wide parameter range. The proposed protocols help set the stage for bio-engineered distributed computation that directly addresses continuous stochastic population growth.
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference56 articles.
1. Alistarh, Dan., Aspnes, James., Gelashvili, Rati.: Space-optimal majority in population protocols. In Proceedings of the 2018 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018), pages 2221–2239. Society for Industrial and Applied Mathematics, (2018) 2. Amir, Talley, Aspnes, James, Lazarsfeld, John: Approximate Majority with Catalytic Inputs. In: Bramas, Quentin, Oshman, Rotem, Romano, Paolo (eds.) Schloss Dagstuhl-Leibniz-Zentrum für Informatik. Dagstuhl, Germany (2021) 3. Anderson, J.C., Clarke, E.J., Arkin, A.P., Voigt, C.A.: Environmentally controlled invasion of cancer cells by engineered bacteria. J. Mol. Biol. 355(4), 619–627 (2006) 4. Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. Distrib. Comput. 21(3), 183–199 (2008) 5. Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Distrib. Comput. 21(2), 87–102 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Majority Consensus Thresholds in Competitive Lotka-Volterra Populations;Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing;2024-06-17
|
|