Problem:
Suppose that there are 16 variables , each of which may be 0 or 1. For how many settings of the variables do there exist positive reals such that the polynomial
is bounded below?
Solution
Solution:
Answer: 126
For some choices of the , let , and let . Let denote the convex hull of . We claim that the problem conditions are satisfied (there exist positive coefficients for the terms so that the polynomial is bounded below) if and only if the vertices of all have both coordinates even.
For one direction, suppose that has a vertex with at least one odd coordinate; WLOG, suppose it is . Since is a vertex, it maximizes some objective function over uniquely, and thus also over . Since , we must have . Now consider plugging in () into . This gives the value
But no matter what positive we choose, this expression is not bounded below as grows infinitely large, as there is a term, with , and all other terms have smaller powers of . So the polynomial cannot be bounded below.
For the other direction, suppose the vertices of all have both coordinates even. If all points in are vertices of , then the polynomial is a sum of squares, so it is bounded below. Otherwise, we assume that some points in are not vertices of . It suffices to consider the case where there is exactly one such point. Call this point . Let denote the set of the vertices of , and let . Enumerate the points of as . Let denote the and coordinates of , respectively.
Since , there exist nonnegative constants such that and . (Here, we are treating the ordered pairs as vectors.) Then, by weighted AM-GM, we have
Let be the -value associated with . Then by picking and , we find that for all , as desired.
We now find all possible convex hulls (with vertices chosen from , and ), and for each convex hull, determine how many possible settings of give that convex hull. There are 8 such possible convex hulls: the point only, 3 lines, 3 triangles, and the square. The point has 2 possible choices, each line has 4 possible choices, each triangle has 16 possible choices, and the square has 64 possible choices, giving total choices.