Distributed computation with continual population growth - Laboratoire Méthodes Formelles
Article Dans Une Revue Distributed Computing Année : 2021

Distributed computation with continual population growth

Résumé

Computing 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 $\Omega( \sqrt{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.
Fichier principal
Vignette du fichier
A_B_Consensus.pdf (1.17 Mo) Télécharger le fichier
Cho2021_Article_DistributedComputationWithCont.pdf (1.36 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03519002 , version 1 (10-01-2022)

Licence

Identifiants

Citer

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, et al.. Distributed computation with continual population growth. Distributed Computing, 2021, ⟨10.1007/s00446-021-00404-8⟩. ⟨hal-03519002⟩
169 Consultations
105 Téléchargements

Altmetric

Partager

More