Monotone Jacobi Hybrid Neural ODE
Implementation & benchmark of arXiv:2607.10434 — Second order optimality conditions for piecewise regular extremals in Optimal Control
Source paper: Second order optimality conditions for piecewise regular extremals in Optimal Control arXiv:2607.10434 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct a hybrid neural ODE from several smooth vector-field branches and select the active branch using a learned Hamiltonian-like score. Track a positive-definite matrix representing local tangent sensitivity and force its discrete evolution to be positive semidefinite, adapting the paper's monotone Jacobi-curve condition to neural dynamics.
Formulas
Mathematical statement
The paper defines branch Hamiltonians by h_u(p,q)=p u-L(q,u) and selects the active branch using u_max(lambda)=argmax_v h_v(lambda), producing the piecewise flow dot(lambda)=vec(H)(lambda)=vec(h_{u_max(lambda)})(lambda). For two branches, the switching set is Sigma={lambda:H^1(lambda)=H^2(lambda)}, and Proposition 2.1 states that the induced flow Phi is Lipschitz continuous under the paper's regularity and transverse-switching assumptions. In a local chart of the Lagrangian Grassmannian, a propagated Lagrangian subspace is represented by a symmetric matrix S_t, and the paper obtains dot(S_t)>=0; choosing S_0>0 then preserves S_t>0 locally. Here lambda is the neural state, H^j is the score of branch j, Phi_t is the neural flow, and S_t is a symmetric sensitivity or tangent metric. The proposed discrete analogue is S_{k+1}=S_k+eta G_k^T G_k+epsilon I, where G_k=partial f_{j_k}(x_k)/partial x_k is the Jacobian of the selected neural vector field, eta>=0 is a regularization step, and epsilon>0 ensures positive definiteness.
Implementation notes
(1) Integration point: replace the vector field in a small neural ODE, continuous-depth residual block, or state-space model with K smooth branches f_j(x;theta) and scalar scores H_j(x;theta). At each fixed solver step, select j_k=argmax_j H_j(x_k) and perform x_{k+1}=x_k+Delta t f_{j_k}(x_k). Start with K=2 and width-64 two-layer MLP branches. (2) Pseudocode: initialize x=x_0 and S=epsilon I. For k=0,...,N-1, compute every H_j(x), choose j=argmax_j H_j(x), compute f=f_j(x), obtain G=partial f_j(x)/partial x with automatic differentiation, update x=x+Delta t f, and update S=S+eta G^T G+epsilon I. Add lambda_S times the squared Frobenius norm of S-S^T if numerical asymmetry appears. Add a switching-margin term lambda_sw times max(0,delta-|H_(1)-H_(2)|)^2 away from deliberately targeted switches, where H_(1) and H_(2) are the largest and second-largest scores. (3) The paper contributes the max-of-branches construction, switching-surface coordinates, Lipschitz-flow motivation, and monotone positive-semidefinite tangent evolution. Estimate switch transversality empirically using |gradient_x(H_(1)-H_(2))^T f_j| at near-tie steps; clip the solver step or soften the switch when this value is below a threshold. Record the minimum eigenvalue of S, the maximum input-Jacobian norm, the number of branch switches, and the number of near-tie steps. (4) First experiment: train a four-step or eight-step neural ODE classifier on MNIST or CIFAR-10. Compare an unconstrained single-branch MLP vector field, a two-branch hard-switch model without S, and the proposed model at matched parameter count and FLOPs. Use identical AdamW schedules and five random seeds. Success means fewer NaN or exploding-gradient runs, lower variance of validation loss, and a smaller maximum input-Jacobian norm at equal accuracy. A stronger result would be stable training with a larger Euler step size or with twice as many branch switches.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.