945 research outputs found
Algebraic Systems Biology: A Case Study for the Wnt Pathway
Steady state analysis of dynamical systems for biological networks give rise
to algebraic varieties in high-dimensional spaces whose study is of interest in
their own right. We demonstrate this for the shuttle model of the Wnt signaling
pathway. Here the variety is described by a polynomial system in 19 unknowns
and 36 parameters. Current methods from computational algebraic geometry and
combinatorics are applied to analyze this model.Comment: 24 pages, 2 figure
Sparse implicitization by interpolation: Characterizing non-exactness and an application to computing discriminants
We revisit implicitization by interpolation in order to examine its properties in the context of sparse elimination theory. Based on the computation of a superset of the implicit support, implicitization is reduced to computing the nullspace of a numeric matrix. The approach is applicable to polynomial and rational parameterizations of curves and (hyper)surfaces of any dimension, including the case of parameterizations with base points.
Our support prediction is based on sparse (or toric) resultant theory, in order to exploit the sparsity of the input and the output. Our method may yield a multiple of the implicit equation: we characterize and quantify this situation by relating the nullspace dimension to the predicted support and its geometry. In this case, we obtain more than one multiples of the implicit equation; the latter can be obtained via multivariate polynomial gcd (or factoring).
All of the above techniques extend to the case of approximate computation, thus yielding a method of sparse approximate implicitization, which is important in tackling larger problems. We discuss our publicly available Maple implementation through several examples, including the benchmark of bicubic surface.
For a novel application, we focus on computing the discriminant of a multivariate polynomial, which characterizes the existence of multiple roots and generalizes the resultant of a polynomial system.
This yields an efficient, output-sensitive algorithm for
computing the discriminant polynomial
Plane mixed discriminants and toric jacobians
Polynomial algebra offers a standard approach to handle several problems in
geometric modeling. A key tool is the discriminant of a univariate polynomial,
or of a well-constrained system of polynomial equations, which expresses the
existence of a multiple root. We concentrate on bivariate polynomials and
establish an original formula that relates the mixed discriminant of two
bivariate Laurent polynomials with fixed support, with the sparse resultant of
these polynomials and their toric Jacobian. This allows us to obtain a new
proof for the bidegree of the mixed discriminant as well as to establish
multipicativity formulas arising when one polynomial can be factored.Comment: 16 page
- …