Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria

06/14/2022
by   Xiang Huang, et al.
0

Bournez, Fraigniaud, and Koegler defined a number in [0,1] as computable by their Large-Population Protocol (LPP) model, if the proportion of agents in a set of marked states converges to said number over time as the population grows to infinity. The notion, however, restricts the ordinary differential equations (ODEs) associated with an LPP to have only finitely many equilibria. This restriction places an intrinsic limitation on the model. As a result, a number is computable by an LPP if and only if it is algebraic, namely, not a single transcendental number can be computed under this notion. In this paper, we lift the finitary requirement on equilibria. That is, we consider systems with a continuum of equilibria. We show that essentially all numbers in [0,1] that are computable by bounded general-purpose analog computers (GPACs) or chemical reaction networks (CRNs) can also be computed by LPPs under this new definition. This implies a rich series of numbers (e.g., the reciprocal of Euler's constant, π/4, Euler's γ, Catalan's constant, and Dottie number) are all computable by LPPs. Our proof is constructive: We develop an algorithm that transfers bounded GPACs/CRNs into LPPs. Our algorithm also fixes a gap in Bournez et al.'s construction of LPPs designed to compute any arbitrary algebraic number in [0,1].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2018

Real-Time Computability of Real Numbers by Chemical Reaction Networks

We explore the class of real numbers that are computed in real time by d...
research
07/11/2022

Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics

It is well known that the R, the set of real numbers, is an abstract set...
research
01/19/2023

Nearly Computable Real Numbers

In this article we call a sequence (a_n)_n of elements of a metric space...
research
03/20/2020

Message complexity of population protocols

The standard population protocol model assumes that when two agents inte...
research
05/07/2018

Computational Complexity of Space-Bounded Real Numbers

In this work we study the space complexity of computable real numbers re...
research
05/02/2022

Relatively acceptable notation

Shapiro's notations for natural numbers, and the associated desideratum ...
research
05/17/2018

Property and structure in constructive analysis

Real numbers such as Dedekind reals or (quotiented) Cauchy reals (as opp...

Please sign up or login with your details

Forgot password? Click here to reset