### Abstract

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 a polytope defined as the convex hull of the coefficients with respect to the tensorial Bernstein basis, and we formulate several polytopes based on the Bernstein polynomials of the domain. These Bernstein polytopes can be defined by a polynomial number of halfspaces. We give the number of vertices, the number of hyperfaces, 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.

Original language | English (US) |
---|---|

Pages (from-to) | 18-29 |

Number of pages | 12 |

Journal | Computer Aided Geometric Design |

Volume | 29 |

Issue number | 1 |

DOIs | |

State | Published - Jan 1 2012 |

### Fingerprint

### Keywords

- Bernstein polynomials
- Multivariate polynomials
- Polynomial ranges
- Polytopes

### ASJC Scopus subject areas

- Modeling and Simulation
- Automotive Engineering
- Aerospace Engineering
- Computer Graphics and Computer-Aided Design

### Cite this

*Computer Aided Geometric Design*,

*29*(1), 18-29. https://doi.org/10.1016/j.cagd.2011.09.001

**Polytope-based computation of polynomial ranges.** / Fünfzig, Christoph; Michelucci, Dominique; Foufou, Sebti.

Research output: Contribution to journal › Article

*Computer Aided Geometric Design*, vol. 29, no. 1, pp. 18-29. https://doi.org/10.1016/j.cagd.2011.09.001

}

TY - JOUR

T1 - Polytope-based computation of polynomial ranges

AU - Fünfzig, Christoph

AU - Michelucci, Dominique

AU - Foufou, Sebti

PY - 2012/1/1

Y1 - 2012/1/1

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 a polytope defined as the convex hull of the coefficients with respect to the tensorial Bernstein basis, and we formulate several polytopes based on the Bernstein polynomials of the domain. These Bernstein polytopes can be defined by a polynomial number of halfspaces. We give the number of vertices, the number of hyperfaces, 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 a polytope defined as the convex hull of the coefficients with respect to the tensorial Bernstein basis, and we formulate several polytopes based on the Bernstein polynomials of the domain. These Bernstein polytopes can be defined by a polynomial number of halfspaces. We give the number of vertices, the number of hyperfaces, 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=81855221800&partnerID=8YFLogxK

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

U2 - 10.1016/j.cagd.2011.09.001

DO - 10.1016/j.cagd.2011.09.001

M3 - Article

VL - 29

SP - 18

EP - 29

JO - Computer Aided Geometric Design

JF - Computer Aided Geometric Design

SN - 0167-8396

IS - 1

ER -