Anonymous

Smooth-Point Certificates for Polydegree Containments: A Jacobian Interpretation of the Lewis-Perry-Straub Determinant

Unrefereed candidate. This work identifies the Lewis–Perry–Straub auxiliary determinant as a Jacobian, derives an integral weighted-Euler syzygy, turns its specialisation test into a smooth-point criterion, gives a smaller Hensel certificate, and proves uniform squarefreeness for...

Bilateral Deficiency: Residual SAT Optimisation and Independent Domination in Regular-DIM Graphs

Unrefereed candidate. No journal submission, external specialist review, unaffiliated independent reproduction, or full proof-assistant formalisation of the universal theory has been undertaken. This release defines bilateral deficiency as the minimum deficiency of a bipolar resi...

Smooth-Point Certificates for Polydegree Containments: A Jacobian Interpretation of the Lewis-Perry-Straub Determinant

Unrefereed candidate. This work identifies the Lewis–Perry–Straub auxiliary determinant as a Jacobian, derives an integral weighted-Euler syzygy, turns its specialisation test into a smooth-point criterion, gives a smaller Hensel certificate, and proves uniform squarefreeness for...

Bilateral Deficiency: Residual SAT Optimisation and Independent Domination in Regular-DIM Graphs

Unrefereed candidate. No journal submission, external specialist review, unaffiliated independent reproduction, or full proof-assistant formalisation of the universal theory has been undertaken. This release defines bilateral deficiency as the minimum deficiency of a bipolar resi...