14,428 research outputs found
Parametric Inference for Biological Sequence Analysis
One of the major successes in computational biology has been the unification,
using the graphical model formalism, of a multitude of algorithms for
annotating and comparing biological sequences. Graphical models that have been
applied towards these problems include hidden Markov models for annotation,
tree models for phylogenetics, and pair hidden Markov models for alignment. A
single algorithm, the sum-product algorithm, solves many of the inference
problems associated with different statistical models. This paper introduces
the \emph{polytope propagation algorithm} for computing the Newton polytope of
an observation from a graphical model. This algorithm is a geometric version of
the sum-product algorithm and is used to analyze the parametric behavior of
maximum a posteriori inference calculations for graphical models.Comment: 15 pages, 4 figures. See also companion paper "Tropical Geometry of
Statistical Models" (q-bio.QM/0311009
Probabilistic communication complexity over the reals
Deterministic and probabilistic communication protocols are introduced in
which parties can exchange the values of polynomials (rather than bits in the
usual setting). It is established a sharp lower bound on the communication
complexity of recognizing the -dimensional orthant, on the other hand the
probabilistic communication complexity of its recognizing does not exceed 4. A
polyhedron and a union of hyperplanes are constructed in \RR^{2n} for which a
lower bound on the probabilistic communication complexity of recognizing
each is proved. As a consequence this bound holds also for the EMPTINESS and
the KNAPSACK problems
- …