%0 Journal Article %T Stochastic Analysis of Average Based Distributed Algorithms %+ Multi-scale numerical geometric schemes (MINGUS) %+ Dependability Interoperability and perfOrmance aNalYsiS Of networkS (DIONYSOS) %+ Confidentialité, Intégrité, Disponibilité et Répartition (CIDRE) %A Mocquard, Yves %A Sericola, Bruno %A Robin, Frédérique %A Anceaume, Emmanuelle %< avec comité de lecture %@ 0021-9002 %J Journal of Applied Probability %I Cambridge University press %V 58 %N 2 %P 394 - 410 %8 2021-06-21 %D 2021 %R 10.1017/jpr.2020.97 %K Averaging stochastic process %K Interacting particle systems %K Markov chain %K Coupling %K Distributed algorithms %Z Computer Science [cs] %Z Computer Science [cs]/Data Structures and Algorithms [cs.DS] %Z Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]Journal articles %X We analyse average-based distributed algorithms relying on simple and pairwise random interactions among a large and unknown number of anonymous agents. This allows the characterization of global properties emerging from these local interactions. Agents start with an initial integer value, and at each interaction keep the average integer part of both values as their new value. The convergence occurs when, with high probability, all the agents possess the same value which means that they all know a property of the global system. Using a well chosen stochastic coupling, we improve upon existing results by providing explicit and tight bounds of the convergence time. We apply these general results to both the proportion problem and the system size problem. %G English %2 https://cnrs.hal.science/hal-02473856/document %2 https://cnrs.hal.science/hal-02473856/file/main_JAP.pdf %L hal-02473856 %U https://cnrs.hal.science/hal-02473856 %~ UNIV-RENNES1 %~ IRMAR %~ UR2-HB %~ CNRS %~ INRIA %~ UNIV-UBS %~ INSA-RENNES %~ INRIA-RENNES %~ IRISA %~ IRISA_SET %~ INRIA_TEST %~ SUP_CIDRE %~ UNAM %~ TESTALAIN1 %~ CHL %~ CENTRALESUPELEC %~ INRIA2 %~ UR1-HAL %~ UR1-MATH-STIC %~ UR1-UFR-ISTIC %~ AGREENIUM %~ UNIV-RENNES2 %~ TEST-UR-CSS %~ CENTRALESUPELEC-SACLAY-VP %~ UNIV-RENNES %~ INRIA-RENGRE %~ INSA-GROUPE %~ TEST-HALCNRS %~ UR1-MATH-NUM %~ CYBERSCHOOL %~ INRIAARTDOI %~ INSTITUT-AGRO