English

Description of polygonal regions by polynomials of bounded degree

Metric Geometry 2010-02-05 v1 Algebraic Geometry

Abstract

We show that every (possibly unbounded) convex polygon PP in R2R^2 with mm edges can be represented by inequalities p10,...,pn0,p_1 \ge 0,...,p_n \ge 0, where the pip_i's are products of at most kk affine functions each vanishing on an edge of PP and n=n(m,k)n=n(m,k) satisfies s(m,k)n(m,k)(1+ϵm)s(m,k)s(m,k) \le n(m,k) \le (1+\epsilon_m) s(m,k) with s(m,k):=max{m/k,log2m}s(m,k):=\max \{m/k,\log_2 m\} and ϵm0\epsilon_m \to 0 as mm \to \infty. This choice of nn is asymptotically best possible. An analogous result on representing the interior of PP in the form p1>0,...,pn>0p_1 > 0,..., p_n > 0 is also given. For km/log2mk \le m/\log_2 m these statements remain valid for representations with arbitrary polynomials of degree not exceeding kk.

Keywords

Cite

@article{arxiv.1002.0941,
  title  = {Description of polygonal regions by polynomials of bounded degree},
  author = {Gennadiy Averkov and Christian Bey},
  journal= {arXiv preprint arXiv:1002.0941},
  year   = {2010}
}