12,434 research outputs found
Message-Passing Algorithms for Quadratic Minimization
Gaussian belief propagation (GaBP) is an iterative algorithm for computing
the mean of a multivariate Gaussian distribution, or equivalently, the minimum
of a multivariate positive definite quadratic function. Sufficient conditions,
such as walk-summability, that guarantee the convergence and correctness of
GaBP are known, but GaBP may fail to converge to the correct solution given an
arbitrary positive definite quadratic function. As was observed in previous
work, the GaBP algorithm fails to converge if the computation trees produced by
the algorithm are not positive definite. In this work, we will show that the
failure modes of the GaBP algorithm can be understood via graph covers, and we
prove that a parameterized generalization of the min-sum algorithm can be used
to ensure that the computation trees remain positive definite whenever the
input matrix is positive definite. We demonstrate that the resulting algorithm
is closely related to other iterative schemes for quadratic minimization such
as the Gauss-Seidel and Jacobi algorithms. Finally, we observe, empirically,
that there always exists a choice of parameters such that the above
generalization of the GaBP algorithm converges
Negative circuits and sustained oscillations in asynchronous automata networks
The biologist Ren\'e Thomas conjectured, twenty years ago, that the presence
of a negative feedback circuit in the interaction graph of a dynamical system
is a necessary condition for this system to produce sustained oscillations. In
this paper, we state and prove this conjecture for asynchronous automata
networks, a class of discrete dynamical systems extensively used to model the
behaviors of gene networks. As a corollary, we obtain the following fixed point
theorem: given a product of finite intervals of integers, and a map
from to itself, if the interaction graph associated with has no
negative circuit, then has at least one fixed point
- …