Network Optimization in a Single-Cell Organism
Experimental studies have shown that the slime mold Physarum polycephalum, a single-cell slime mold that feeds on bacteria and spores, is able to perform tasks that are surprisingly complex for such a simple organism: for example, finding the shortest path through a maze. From these experiments and from the mathematical model proposed by biologists, IASI researchers have developed a rigorous mathematical analysis that confirms how the process followed by Physarum is a perfect “natural algorithm” for network optimization, developed by evolution over millions of years.
In the experiments initially performed at the Hokkaido university in Japan, the slime mold was uniformly distributed over a maze where two oat flakes have been positioned; oat is the slime mold's favorite food. With the passage of time, the slime mold retracted from the less efficient paths, and concentrated its mass on the shortest route joining the two oat flakes. The study analyzed the biological mechanism that reconfigures the slime mold into the shortest path: each “vein” of the Physarum expands or contracts depending on higher or lower availability of nutrients, following precise equations identified by the biologists. In turn, the larger or smaller dilation of the veins implies a variation of the flux passing through them, thus creating a dynamical process.
The study carried out by IASI researchers in collaboration with the Max Planck Institute for Informatics in Saarbruecken (Germany) and presented at the Symposium on Discrete Algorithms in Kyoto, has clarified how network optimization is a mathematical consequence of the vein dynamics, independent of the complexity of the underlying network. One could say that evolution, during millions of years, designed Physarum's vein regulation mechanism to obtain the right algorithm for finding the shortest path in a network.
This type of research has two goals. One is to understand the mechanisms underlying “intelligent” behavior in the simplest of organisms; without this first step, one cannot hope to understand the same mechanisms in more evolved organisms, such as animals or men. The second is to explore alternative, potentially fruitful approaches for challenging network optimization problems, such as the design of connectivity networks of low total cost.
Publications
Two results on slime mold computations
R. Becker, V. Bonifaci, A. Karrenbauer, P. Kolev, K. Mehlhorn
arXiv preprint
On the convergence time of a natural dynamics for linear programming
V. Bonifaci
ISAAC 2017
Physarum can compute shortest paths:
Convergence proofs and complexity bounds
L. Becchetti, V. Bonifaci, M. Dirnberger, A. Karrenbauer, and K. Mehlhorn
ICALP 2013
[ doi
]
[ abstract ]
Physarum polycephalum is a slime mold that is apparently able to solve shortest
path problems. A mathematical model for the slime's behavior in the form of a
coupled system of differential equations was proposed by Tero, Kobayashi and
Nakagaki (2007). We prove that a discretization of the model (Euler
integration) computes a (1 + eps)- approximation of the shortest path in
O(mL(log n + log L)/eps^3) iterations, with arithmetic on numbers of
O(log(nL/eps)) bits; here, n and m are the number of nodes and edges of the
graph, respectively, and L is the largest length of an edge. We also obtain
two results for a directed Physarum model proposed by Ito et al. (2011):
convergence in the general, nonuniform case and convergence and complexity
bounds for the discretization of the uniform case.
A revised model of fluid transport optimization
in Physarum polycephalum
V. Bonifaci
Journal of Mathematical Biology, 74:567--581, 2017
[ doi ]
[ abstract ]
Optimization of fluid transport in the slime mold Physarum polycephalum
has been the subject of several modeling efforts in recent literature.
Existing models assume that the tube adaptation mechanism in P.
polycephalum's tubular network is controlled by the sheer amount of fluid
flow through the tubes. We put forward the hypothesis that the controlling
variable may instead be the flow's pressure gradient along the tube. We carry
out the stability analysis of such a revised mathematical model for a
parallel-edge network, proving that the revised model supports the global
flow-optimizing behavior of the slime mold for a substantially wider class of
response functions compared to previous models. Simulations also suggest that
the same conclusion may be valid for arbitrary network topologies.
Physarum can compute shortest paths: A short
proof
V. Bonifaci
Information Processing Letters, 113(1--2):4--7, 2013
[ doi ]
[ abstract ]
The purpose of this note is to give a short proof that a standard model for the
Physarum polycephalum slime mold correctly computes the shortest path in an
undirected weighted graph [V. Bonifaci, K. Mehlhorn, G. Varma, Physarum can
compute shortest paths, in: Proc. of the 23rd ACM-SIAM Symposium on Discrete
Algorithms, SIAM, 2012, pp. 233-240].
Physarum can compute shortest paths
V. Bonifaci, K. Mehlhorn, and G. Varma
Journal of Theoretical Biology, 309:121--133, 2012
Preliminary version in SODA 2012
[ doi ]
[ abstract ]
Physarum polycephalum is a slime mold that is apparently able to solve shortest
path problems. A mathematical model has been proposed by Tero et al. (Journal
of Theoretical Biology, 244, 2007, pp. 553-564) to describe the feedback
mechanism used by the slime mold to adapt its tubular channels while foraging
two food sources s0 and s1. We prove that, under this model, the mass of the
mold will eventually converge to the shortest s0-s1 path of the network that
the mold lies on, independently of the structure of the network or of the
initial mass distribution. This matches the experimental observations by Tero
et al. and can be seen as an example of a "natural algorithm", that is, an
algorithm developed by evolution over millions of years.
Press, Media and Blogs