TY - GEN

T1 - Polytope-based computation of polynomial ranges

AU - Fünfzig, Christoph

AU - Michelucci, Dominique

AU - Foufou, Sebti

PY - 2010

Y1 - 2010

N2 - Polynomial ranges are commonly used for numerically solving polynomial systems with interval Newton solvers. Often ranges are computed using the convex hull property of the tensorial Bernstein basis, which is exponential size in the number n of variables. In this paper, we consider methods to compute tight bounds for polynomials in n variables by solving two linear programming problems over a polytope. We formulate several polytopes based on the tensorial Bernstein basis, and we formulate a polytope for the quadratic patch Q n:= (x1, ..., xn, x21, ..., x2n, x1x2, ..., x n-1xn) by projections. This Bernstein polytope has Θ(n2) hyperplanes. We give the number of vertices, the number of hyperplanes, and the volume of each polytope for n = 1, 2, 3, 4, and we compare the computed range widths for random n-variate polynomials for n ≤ 10. The Bernstein polytope of polynomial size gives only marginally worse range bounds compared to the range bounds obtained with the tensorial Bernstein basis of exponential size.

AB - Polynomial ranges are commonly used for numerically solving polynomial systems with interval Newton solvers. Often ranges are computed using the convex hull property of the tensorial Bernstein basis, which is exponential size in the number n of variables. In this paper, we consider methods to compute tight bounds for polynomials in n variables by solving two linear programming problems over a polytope. We formulate several polytopes based on the tensorial Bernstein basis, and we formulate a polytope for the quadratic patch Q n:= (x1, ..., xn, x21, ..., x2n, x1x2, ..., x n-1xn) by projections. This Bernstein polytope has Θ(n2) hyperplanes. We give the number of vertices, the number of hyperplanes, and the volume of each polytope for n = 1, 2, 3, 4, and we compare the computed range widths for random n-variate polynomials for n ≤ 10. The Bernstein polytope of polynomial size gives only marginally worse range bounds compared to the range bounds obtained with the tensorial Bernstein basis of exponential size.

KW - Bernstein polynomials

KW - multivariate polynomials

KW - polynomial ranges

KW - polytopes

UR - http://www.scopus.com/inward/record.url?scp=77954701892&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77954701892&partnerID=8YFLogxK

U2 - 10.1145/1774088.1774353

DO - 10.1145/1774088.1774353

M3 - Conference contribution

AN - SCOPUS:77954701892

SN - 9781605586380

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 1247

EP - 1252

BT - APPLIED COMPUTING 2010 - The 25th Annual ACM Symposium on Applied Computing

T2 - 25th Annual ACM Symposium on Applied Computing, SAC 2010

Y2 - 22 March 2010 through 26 March 2010

ER -