New Clocks, Optimal Line Formation and Self-Replication Population Protocols

Authors Leszek Gąsieniec , Paul G. Spirakis , Grzegorz Stachowiak



PDF
Thumbnail PDF

File

LIPIcs.STACS.2023.33.pdf
  • Filesize: 2.06 MB
  • 22 pages

Document Identifiers

Author Details

Leszek Gąsieniec
  • University of Liverpool, UK
Paul G. Spirakis
  • University of Liverpool, UK
Grzegorz Stachowiak
  • University of Wrocław, Poland

Cite AsGet BibTex

Leszek Gąsieniec, Paul G. Spirakis, and Grzegorz Stachowiak. New Clocks, Optimal Line Formation and Self-Replication Population Protocols. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 254, pp. 33:1-33:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.STACS.2023.33

Abstract

In this paper we consider a known variant of the standard population protocol model in which agents are allowed to be connected by edges, referred to as the network constructor model. During an interaction between two agents the relevant connecting edge can be formed, maintained or eliminated by the transition function. Since pairs of agents are chosen uniformly at random the status of each edge is updated every Θ(n²) interactions in expectation which coincides with Θ(n) parallel time. This phenomenon provides a natural lower bound on the time complexity for any non-trivial network construction designed for this variant. This is in contrast with the standard population protocol model in which efficient protocols operate in O(polylog n) parallel time. The main focus of this paper is on efficient manipulation of linear structures including formation, self-replication and distribution (including pipelining) of complex information in the adopted model. - We propose and analyze a novel edge based phase clock counting parallel time Θ(nlog n) in the network constructor model, showing also that its leader based counterpart provides the same time guarantees in the standard population protocol model. Note that all currently known phase clocks can count parallel time not exceeding O(polylog n). - We prove that any spanning line formation protocol requires Ω(nlog n) parallel time if high probability guaranty is imposed. We also show that the new clock enables an optimal O(nlog n) parallel time spanning line construction, which improves dramatically on the best currently known O(n²) parallel time protocol, solving the main open problem in the considered model [O. Michail and P. Spirakis, 2016]. - We propose a new probabilistic bubble-sort algorithm in which random comparisons and transfers are limited to the adjacent positions in the sequence. Utilising a novel potential function reasoning we show that rather surprisingly this probabilistic sorting procedure requires O(n²) comparisons in expectation and whp, and is on par with its deterministic counterpart. - We propose the first population protocol allowing self-replication of a strand of an arbitrary length k (carrying k-bit message of size independent of the state space) in parallel time O(n(k+log n)). The bit pipelining mechanism and the time complexity analysis of self-replication process mimic those used in the probabilistic bubble-sort argument. The new protocol permits also simultaneous self-replication, where l copies of the strand can be created in parallel in time O(n(k+log n)log l). We also discuss application of the strand self-replication protocol to pattern matching. All protocols are always correct and provide time guarantees with high probability defined as 1-n^(-η), for a constant η > 0.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Population protocols
  • constructors
  • probabilistic bubble-sort
  • self-replication

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. D. Alistarh, J. Aspnes, D. Eisenstat, R. Gelashvili, and R.L. Rivest. Time-space trade-offs in population protocols. In Proc. SODA 2017, pages 2560-2579, 2017. Google Scholar
  2. D. Alistarh, J. Aspnes, and R. Gelashvili. Space-optimal majority in population protocols. In Proc. SODA 2018, pages 2221-2239, 2018. Google Scholar
  3. D. Alistarh and R. Gelashvili. Polylogarithmic-time leader election in population protocols. In Proc. ICALP 2015, pages 479-491, 2015. Google Scholar
  4. D. Angluin, J. Aspnes, Z. Diamadi, M.J. Fischer, and R. Peralta. Computation in networks of passively mobile finite-state sensors. In Proc. PODC 2004, pages 290-299, 2004. Google Scholar
  5. D. Angluin, J. Aspnes, and D. Eisenstat. Fast computation by population protocols with a leader. Distributed Comput., 21(3):183-199, 2008. Google Scholar
  6. P. Berenbrink, G. Giakkoupis, and P. Kling. Optimal time and space leader election in population protocols. In Proc. STOC 2020, pages 119-129, 2020. Google Scholar
  7. P. Berenbrink, D. Kaaser, P. Kling, and L. Otterbach. Simple and efficient leader election. In Proc. SOSA 2018, volume 61 of OASICS, pages 9:1-9:11, 2018. Google Scholar
  8. A. Bilke, C. Cooper, R. Elsässer, and T. Radzik. Brief announcement: Population protocols for leader election and exact majority with O(log^2 n) states and O(log^2 n) convergence time. In Proc. PODC 2017, pages 451-453, 2017. Google Scholar
  9. I. Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, and P.G. Spirakis. Passively mobile communicating machines that use restricted space. TCS, 412(46):6469-6483, 2011. Google Scholar
  10. H-L Chen, R. Cummings, D. Doty, and D. Soloveichik. Speed faults in computation by chemical reaction networks. In Proc. DISC 2014, pages 16-30, 2014. Google Scholar
  11. B.S. Chlebus and L. Gąsieniec. Optimal pattern matching on meshes. In STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, volume 775 of Lecture Notes in Computer Science, pages 213-224. Springer, 1994. Google Scholar
  12. M. Connor, O. Michail, and P. Spirakis. On the distributed construction of stable networks in polylogarithmic parallel time. Information, 12(6):254-266, 2021. Google Scholar
  13. M. Crochemore and T. Lecroq. String Matching, pages 2113-2117. Springer New York, 2016. Google Scholar
  14. A. Czumaj and A. Lingas. On truly parallel time in population protocols. CoRR, abs/2108.11613, 2021. Google Scholar
  15. D. Doty. Timing in chemical reaction networks. In Proc. SODA 2014, pages 772-784, 2014. Google Scholar
  16. D. Doty, M. Eftekhari, L. Gąsieniec, E.E. Severson, G. Stachowiak, and P. Uznański. A time and space optimal stable population protocol solving exact majority. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, pages 1044-1055, 2021. Google Scholar
  17. D. Doty and D. Soloveichik. Stable leader election in population protocols requires linear time. In Proc. DISC 2015, pages 602-616, 2015. Google Scholar
  18. L. Gąsieniec and G. Stachowiak. Enhanced phase clocks, population protocols, and fast space optimal leader election. J. ACM, 68(1):2:1-2:21, 2021. Google Scholar
  19. L. Gąsieniec, G. Stachowiak, and P. Uznański. Almost logarithmic-time space optimal leader election in population protocols. In Proc. SPAA 2019, pages 93-102, 2019. Google Scholar
  20. S. Janson. Tail bounds for sums of geometric and exponential variables. Satistics and Probability Letters, 135(1):1-6, 2018. Google Scholar
  21. R.A. Freitas Jr and R.C. Merkle. Kinematic Self-Replicating Machines. Landes Bioscience, Georgetown, TX, 2004. Google Scholar
  22. D.E. Knuth. The Art of Computer Programming, Volume III: Sorting and Searching. Addison-Wesley, 1973. Google Scholar
  23. T.A. Lincoln and G.F. Joyce. Self-sustained replication of an rna enzyme. In Science, Vol 323, Issue 5918, pages 1229-1232. American Association for the Advancement of Science, 2009. Google Scholar
  24. O. Michail and P. Spirakis. Simple and efficient local codes for distributed stable network construction. Distributed Computing, 29(3):207-237, 2016. Google Scholar
  25. E. Moulin and N. Giuseppone. Dynamic combinatorial self-replicating systems. In Constitutional Dynamic Chemistry, pages 87-105. Springer, 2011. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail