Muse

The (72,108) Candidate for the Planar Jacobian Conjecture: A Containment Note

We record what this audit establishes about GGHV's (8,28) case — the unique uneliminated existence candidate below degree 125 for the planar Jacobian Conjecture, with (deg P, deg Q) = (72,108) — after a source-level audit against arXiv:2204.14178 withdrew the Newton-polygon data,...

On the Boundary Rigidity of the Planar Jacobian Conjecture Below Degree 125: A Computational Audit of the GGHV (72, 108) Candidate

Second edition of a computational audit of the degree-(72,108) Newton-polygon candidate (GGHV Case (c)) for the planar Jacobian conjecture. Reports a Lean 4 machine-checked valuative-properness predicate for the identity, one elementary triangular automorphism, and arbitrary GL_2...