Puiseux Arclength Continuation for Implicit Layers
Implementation & benchmark of arXiv:2607.06329 — Computing singular solutions of polynomial systems: towards superlinear convergence without deflation
Source paper: Computing singular solutions of polynomial systems: towards superlinear convergence without deflation arXiv:2607.06329 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace the usual linear predictor in continuation of an implicit neural state with a fractional-power predictor fitted from recent states, then correct the prediction using a pseudo-arclength constraint. This is designed for equilibrium layers, implicit sequence models, or homotopy training schedules where the state Jacobian becomes nearly singular and ordinary Newton correction or fixed-point iteration becomes unstable.
Formulas
Mathematical statement
The paper starts from a homotopy curve defined by h(z(t),t)=0, where z is the implicit state and t is a continuation parameter, and differentiates it to obtain the Davidenko ODE dot z(t)=-h_z(z(t),t)^(-1)h_t(z(t),t). This formula explains why direct tangent integration fails when h_z is singular. Near a singular endpoint, the branch is represented by a Puiseux expansion z(t)=a_0+a_1 t^(k_1/c)+a_2 t^(k_2/c)+a_3 t^(k_3/c)+..., where a_i are state-space coefficient vectors, c is a positive integer, and k_i are increasing positive integers. The exponents need not be 1/c,2/c,3/c because they belong to a value semigroup. Equation (22) estimates coefficients from state and derivative observations: the matrix with rows [1, lambda^(k_1/c), lambda^(k_2/c), lambda^(k_3/c)] and [0, (k_1/c)lambda^(k_1/c), (k_2/c)lambda^(k_2/c), (k_3/c)lambda^(k_3/c)] multiplies [a_0, a_1 t_1^(k_1/c), a_2 t_1^(k_2/c), a_3 t_1^(k_3/c)]^T and equals [z_1, t_1 dot z_1, z_2, t_2 dot z_2]^T, with lambda=t_2/t_1. The neural adaptation uses fitted exponents alpha_i=k_i/c and predicts z_pred(t)=a_0+sum_i a_i t^(alpha_i), while replacing exact tangents with secants or Jacobian-vector solves. A pseudo-arclength correction augments the residual equation with a tangent constraint, allowing continuation even when h_z is rank-deficient.
Implementation notes
Integrate this at the implicit-state solve of an equilibrium layer, for example z=phi_theta(z,x,t) with residual h(z,t)=z-phi_theta(z,x,t); t interpolates a stable initialization or regularized problem at t=1 toward the target problem at small t. Maintain the last four accepted pairs (t_j,z_j). Before each step, estimate a local exponent by fitting log(||z_j-z_{j-1}||+epsilon)=b+alpha log(t_j+epsilon) with least squares over the recent differences. Clamp alpha to [0.1,4], reject unstable fits, and retain up to three distinct exponents alpha_i. Solve the displayed coefficient system using recent states and finite-difference tangents dot z_j=(z_j-z_{j-1})/(t_j-t_{j-1}); with more history than equations, use regularized least squares. Predict at t_new=t_j-delta_t using z_pred=a_0+sum_i a_i t_new^(alpha_i). Correct jointly in (z,t) with Newton or damped least squares on h(z,t)=0 plus the pseudo-arclength equation q_z^T(z-z_pred)+q_t(t-t_new)=0. Compute h_z and h_t with automatic differentiation, but estimate exponents and coefficients empirically; the paper contributes the fractional-power model and derivative scaling rather than neural-specific hyperparameters. Use step rejection when Newton fails, and adapt delta_t by doubling after success or halving after failure. First test a small 2- or 3-layer DEQ on MNIST or CIFAR-10, comparing this method with linear prediction plus fixed-parameter Newton over a homotopy from t=1 to 10^-4. Record failed solves, Newton iterations, accepted step sizes, wall-clock time, final residual, and task accuracy. A positive result is at least 1.5x larger average continuation steps near rank deficiency and fewer failed corrections at equal residual tolerance.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 8/10
Built a scalar Puiseux/arclength continuation MVP for the singular implicit branch h(z,t)=z^2-t, including coefficient fitting, exponent estimation, pseudo-arclength Newton correction, and a linear-predictor baseline. The coefficient-system check passed with 6.7e-16 equation error and 7.2e-16 scaled-coefficient error. On 80 matched geometric steps from t=1 to 1e-8, Puiseux correction averaged 2.71 Newton iterations versus 3.26 for linear prediction, but both had zero failures; the idea was ~31x slower in this tiny implementation, prediction error was slightly worse, and exponent fitting degraded near machine precision, so there is no clear robust promised effect.
- Agent confidence
- 8/10
- Baseline
- 80 steps; 0 failed; mean Newton iterations 3.2625; mean prediction error 0.0038562; max residual 9.50e-12; runtime 0.00111 s
- Idea
- 80 steps; 0 failed; mean Newton iterations 2.7125; mean prediction error 0.0048366; max residual 6.44e-12; fitted alpha mean 1.482 (last clamped to 0.1); runtime 0.0354 s
Limitations: Only a scalar analytic branch was tested, not a neural equilibrium layer, multidimensional rank-deficient Jacobian, adaptive step rejection, GPU execution, training accuracy, or wall-clock performance at realistic scale. The endpoint exponent estimate is contaminated by floating-point/finite-difference effects, and the benchmark uses a fixed schedule rather than a full adaptive continuation policy.
How to run: python3 puiseux_experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- puiseux_experiment.py 5.9 KB View Raw
- report.md 1.7 KB View
- results.json 0.9 KB View Raw