The Jacobian conjecture is a famous unsolved problem in mathematics asking whether a certain type of polynomial map (called a Keller map) that looks invertible based on its derivative must actually be invertible. Researchers have developed various tools to study these maps, including a technique called polarization that converts lower-degree polynomial maps into higher-degree ones in more variables while preserving the key properties under investigation. A related open question, Zhao's Vanishing Conjecture, predicts that a certain algebraic quantity associated with these maps always equals zero, which would have implications for the Jacobian conjecture itself.
The paper introduces a compression principle built around what the authors call a "collision," which is roughly a special algebraic relationship that arises when two parts of a Keller map interact in a constrained way. When a collision occurs, it generates a smaller algebraic structure (a subalgebra) that captures essential information about the original map. The authors show this framework reproduces a previously known result about a specific 24-variable example due to Thompson, where the relevant algebraic object can be compressed from 24 variables down to 20 in a natural and systematic way, rather than through ad hoc reasoning.
The more striking contribution is an explicit counterexample to Zhao's Vanishing Conjecture. The authors construct a specific polynomial in 40 variables, written out with 350 terms, for which the quantity that Zhao's conjecture predicts should vanish does not vanish. The counterexample works over several number systems including the complex numbers and the rationals extended by the square root of negative one. The authors are careful to note they are not claiming this is the simplest possible counterexample, but the calculations have been verified by computer algebra. This result separates Zhao's Vanishing Conjecture from the Jacobian conjecture, showing the two problems are not equivalent in the way some had hoped.