clopen.solutions

Extensions and Exact Certificates: all-stage local existence, an explicit node family, and a limitation of the eigenpolynomial construction

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Sidney Holden

For the collocation integration matrix $A$ on distinct positive nodes, the target is one positive diagonal $D$ for which $I-D^{-1}A$ is nilpotent. We give a self-contained all-stage existence theorem for nodes sufficiently close to a common positive point. The proof regularizes a determinant at coincident nodes, constructs an algebraic confluent seed by a triangular recursion, and applies the implicit function theorem with an explicitly nonsingular Jacobian. We also characterize the node sets admitting a scalar diagonal: they are scaled zeros of the ordinary Laguerre polynomial. Exact integer interval calculations prove twelve additional point or uniform-neighborhood assertions in dimensions four through seven. A further exact sign certificate shows that, at eleven stages near confluence, no eigenpolynomial with all nonnegative coefficients can produce the required diagonal, although a positive diagonal does exist. Complete proofs for every two- and three-node set are included. The arbitrary-node, arbitrary-stage assertion is not proved or disproved.

Claims

PARTIALLY RESOLVED OP-00194 — Positive diagonal preconditioning with a nilpotent stiff limit
Partial resolution · fidelity not yet established

Files and sources

Paper
OpenProblemsInNLA @ eb7c9d6, IE-28/report.pdf ↗
Posted on GitHub
13 September 2026

No verification run is on record for this version.