New Subexponential Fewnomial Hypersurface Bounds

Abstract: Suppose

c_{1}, l d o t s, c_{n + k}

are real numbers,

a_{1}, l d o t s, a_{n + k}! s u b s e t! m a t h b b R^{n}

is a set of points not all lying in the same affine hyperplane,

y! i n! m a t h b b R^{n}

,

a_{j} c d o t y

denotes the standard real inner product of

a_{j}

and

y

, and we set

g (y)! :=! s u m_{j = 1}^{n + k} c_{j} e^{a_{j} c d o t y}

. We prove that, for generic

c_{j}

, the number of connected components of the real zero set of

g

is

O! l e f t (n^{2} + s q r t 2^{k^{2}} (n + 2)^{k - 2} i g h t)

. The best previous upper bounds, when restricted to the special case

k! =! 3

and counting just the non-compact components, were already exponential in

n

.

This page was built for publication: New Subexponential Fewnomial Hypersurface Bounds