Unverified 2026

Projected Contact Momentum Optimizer

Implementation & benchmark of arXiv:2608.17198 — A Projected Semiexplicit Integrator for Dissipative Systems with Configuration-Dependent Kinetic Energy: Contact-Herglotz Formulation and Benchmarks

Usefulness6/10
Difficulty6/10
Novelty6/10

Source paper: A Projected Semiexplicit Integrator for Dissipative Systems with Configuration-Dependent Kinetic Energy: Contact-Herglotz Formulation and Benchmarks arXiv:2608.17198 ⓘ · analyzed Sep 1, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace a conventional momentum update by a damped second-order trajectory with a configuration-dependent dense kinetic metric. Evolve two phase-space copies using symmetric split orderings, project both copies exactly back to their averaged physical state, and apply exact friction half-steps so momentum decay remains stable at large step sizes.

Formulas

$$\eta=dz-p_i\,dq^i$$
$$\dot{q}^{i}=\frac{\partial H}{\partial p_{i}},\qquad \dot{p}_{i}=-\frac{\partial H}{\partial q^{i}}-p_{i}\,\frac{\partial H}{\partial z},\qquad \dot{z}=p_{i}\,\frac{\partial H}{\partial p_{i}}-H$$
$$H_0(\theta,p)=\frac{1}{2}p^\top M(\theta)^{-1}p+L(\theta),\qquad p\leftarrow e^{-\gamma h/2}p$$
$$\theta=\frac{\theta_a+\theta_b}{2},\quad p=\frac{p_a+p_b}{2},\quad (\theta_a,p_a),(\theta_b,p_b)\leftarrow(\theta,p),\qquad \|\mathcal{R}_{\eta}(h)\|=O(h^3)$$

Mathematical statement

The paper defines the contact manifold with coordinates $(q,p,z)$ and contact one-form $\eta=dz-p_i\,dq^i$. For a Hamiltonian $H(q,p,z)$, the contact vector field obeys $\dot q^i=\partial H/\partial p_i$, $\dot p_i=-\partial H/\partial q^i-p_i\partial H/\partial z$, and $\dot z=p_i\partial H/\partial p_i-H$. For optimization, set $q=\theta\in\mathbb{R}^d$, momentum $p\in\mathbb{R}^d$, and $H_0(\theta,p)=\tfrac12p^\top M(\theta)^{-1}p+L(\theta)$, where $L$ is the minibatch loss and $M(\theta)$ is positive definite. Constant friction is implemented by exact half-steps $p\leftarrow e^{-\gamma h/2}p$, with friction coefficient $\gamma\geq0$ and step size $h$. Duplicate $(\theta,p)$ into $(\theta_a,p_a)$ and $(\theta_b,p_b)$, integrate the two copies with opposite symmetric split orderings, then project by $\theta\leftarrow(\theta_a+\theta_b)/2$ and $p\leftarrow(p_a+p_b)/2$, assigning this average to both copies. The paper establishes that exact projection gives contact-form rescaling by $e^{-\gamma h}$ for constant friction and that the symmetric method has one-step contact-form residual $O(h^3)$, which supports second-order global accuracy under smoothness and bounded-derivative assumptions.

Implementation notes

Integrate this at the optimizer level after computing a minibatch loss and gradient. Store parameters $\theta$, momentum $p$, and two temporary copies $(\theta_a,p_a)$ and $(\theta_b,p_b)$. Use a positive-definite metric $M(\theta)$, initially block-diagonal or diagonal-plus-low-rank, so computing $M(\theta)^{-1}p$ is affordable. Set $\rho=\exp(-\gamma h/2)$ and apply the first exact damping half-step to both momenta: $p_a\leftarrow\rho p_a$ and $p_b\leftarrow\rho p_b$. For copy a, use kick-drift-kick: compute $g_a=\nabla L(\theta_a)$, update $p_a\leftarrow p_a-(h/2)g_a$, solve $M(\theta_a)v_a=p_a$, update $\theta_a\leftarrow\theta_a+h v_a$, recompute $g_a$, and apply the second kick. For copy b, use the reverse drift-kick-drift ordering: solve $M(\theta_b)v_b=p_b$, update $\theta_b\leftarrow\theta_b+(h/2)v_b$, compute the gradient, update $p_b\leftarrow p_b-hg_b$, solve again, and finish the remaining half drift. Average the endpoints with $\theta=(\theta_a+\theta_b)/2$ and $p=(p_a+p_b)/2$, overwrite both copies with this average, and apply the second damping half-step $p\leftarrow\rho p$. Use the paper's projection and $O(h^3)$ symmetry principle directly; estimate metric-vector products using conjugate gradients, Cholesky for small blocks, or a Woodbury solve for low-rank updates. The first experiment should train a two-layer MLP on MNIST or CIFAR-10, comparing AdamW, standard momentum, and this optimizer at equal gradient evaluations. Test several step sizes and friction values, including a regime where Euler damping $p\leftarrow(1-\gamma h)p$ becomes unstable or negative. Measure training loss versus optimizer steps, gradient evaluations, wall-clock cost, exploding-run frequency, and validation accuracy. The key signal is lower loss at equal steps and substantially fewer divergent runs at large $h$; ablate projection, reversed split ordering, and exact exponential damping separately.

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.