A (k,d)-multigrade is a diophantine equation of the form , that is valid for all powers . We can call k, the highest valid exponent, the "level" and d, the dimension of each vector the "order." Consider altering the multigrade by another vector as such: , provided for all i. In another thread, Wonderboy1953 conjectured that for the vector , no multigrade exists such that its altered version holds on any level greater than 2. That is, given a (k,d)-multigrade , . This is equivalent to the following formulation using matrices...
Find two vectors ,
Define
Define and
Such that . In general, A and B are independent of each other, so the nullspace of matrix M has at least dimension 2, requiring .
In search of a counterexample, I have verified that when , no d=5 solutions exist for vectors with components less than 50. Is anyone interested in pursuing a general proof?
Wonderboy, etc:
Previously I used matrices to prove your conjecture is true for all multigrades up to order 4. I have just managed to prove the conjecture also holds for all order 5 multigrades as well. The proof is quite long and involves proving that the roots of a cubic polynomial are always zero. As you know, the general formula for cubic roots is ridiculously complicated, making a direct proof impossible, but I was able to find a shortcut that allowed me to reduce it to a quadratic.
I will post the proof shortly. In the meantime, anyone interested in this problem should know that if a counterexample exists, it must have at least six variables on either side of the equation (with no two variables on opposite sides equal, causing trivial cancellation). This substantially increases the space of candidate solutions (to ), rendering computer aid virtually useless in searching for counterexamples.
As a side note, none of my proofs so far require solutions in integers. Therefore, a more general form may be true for all real numbers. I shall formally write up my two proofs, before tackling the d=6 case.
-- Media_(is_the_)Man