Many NP complete problems can be encoded in system of polynomial equations. For example, in partition problem one is asking whether it is possible to divide a list of integers into two lists that the sum of element of each least are equal. Given the list of elements one is looking for the element , such that .

To encode the problem into the system of polynomial equations over one need equations of the form – that will ensure variables , and the above mentioned equation . In total nonlinear equations. We can also change the variables that . In some sense this variables may be easier for the analyses later.

One way to solve this equation is to linearise it, e.g. we define a new set of variables , and we set . Now in terms of we have system of linear equations. Unfortunately, we have lost relationship between terms. Linear system does not “know” that , etc. On the other hand, if solution of the original system exists it should lay in the null space of the coefficient matrix. We will try use it. Suppose, we have null space , than if system of equations has the solution all monomials will be simultaneously expressed as a linear combination of null space vectors . The dimensionality of null space is exactly the number of quadratic monomials minus number of equations.

So far, we were looking only at second order monomials. If we go to higher order monomials we can see that . What we wrote is tautology – this is true independent of the values of . This is also true for any . So this tautologies can be written in terms of our new variables , . On the other hand, if we have , than we does not have tautology. In any case, we can write down all tautologies for up to order 4, and their expression in terms of new variables . Moreover, for each we have its linear expression in terms of unknowns . So if we expand tautologies in terms of we will get a new set of quadratic equations, that must be satisfied, if original system has a solution.

Now we already know what to do. We need to linearise the system of quadratic equations, for which we need to introduce new variables , write down the system of linear equations, find the null space of coefficient matrix, encode as a linear combination of the null space basis, and finally encode forth-order monomials in terms of new coefficient of new null space basis. Ok, we can repeat this forever, just remember to write down all quadratic tautologies in terms of known monomials (e.g. many more tautologies). What is interesting here is how changes with iterations.

Ok, I will come back here later, when I cool down and wil have more time. Note that the number of tautologies are much more (seems to be exponentially more) than the number of monomials.

Each iteration we are squaring the number of variables which encode monomials in terms of null space. Now consider only monomials with . If we have monomial of degree than only for that monomial we have , since we want to choose half variables, and one half comes from the fact that multiplication is commutative. The number of monomials is . So, assuming tautologies are linearly independent, we have , . So the lower bound is asymptotically …

Many NP-complete problems can be encoded in the system of polynomial equations. Some examples are in the introduction here. Basically the idea is to encode binary variables in the equations , or , and add one or more quadratic equations () encoding decision problem. Since the system can have exponentially many solutions finding them is hard. On the other hand, we can try to figure out if the system has solutions at all. One of the approaches is to use

Nulstellensatzcertificate, e.g. find the set of polynomials , where is an algebraically closed field, for example such that the following equation is satisfied . The problem with this approach is that one need very high degree polynomials and the certificate has exponentially many monomials. The intuition here is following. The problem is hard since all variables are influencing other variables, otherwise the problem can be split into independent subproblems. Since all of them are important the term with monomial has to appear in the certificate. That lead to the certificate of degree , which has too many monomials. There is no clear way of selecting right monomials, and we need to use all of them. So the problem is that by increasing the degree of certificate the “mixing” of variables is too slow!!! And we need a way to speed-up mixing of the variables.Here it is. We do usual trick of linearizing quadratic equations in terms of quadratic monomials (for 3-SAT we need cubic monomials), e.g. . This linear system has linear variables (monomials), and equations, e.g. highly under-complete. The solution of this (homogenised) linear system is dimensional projective space. The original system has a solution iff there is a point in this projective space such that all corresponding equations on are satisfied. These are quadratic equations on , so we can write all the quadratic in constraints. For example, (So we are using tautologies, instead of deriving them as done in propositional proof systems). Therefore, we have quadratic equations with indeterminates . Now we have equivalent, in terms of satisfiability, system of quadratic equations with equations and variables, and before we had quadratic equations with variables. In other words, now we have equations in terms of the number of monomials, and before we had equations in terms of monomials.

Now we can write

Nulstellensatzcertificate for the new system. The number of independent coefficients grow faster then the number of monomials with increasing the certificate degree. Therefore, there is a fixed (independent of ) degree of certificate that depend on . If the above arguments are correct, it would be possible to check whether NP-complete problem has a solution in polynomial time, with all consequencies.Pingback: Monomial problems | Birthofgaming