Unverified 2026

Algebraic-Invariant Residual Layer

Implementation & benchmark of arXiv:2607.11569 — Algebraic Invariant Quadratization Schemes for Cahn--Hilliard Equations

Usefulness6/10
Difficulty5/10
Novelty8/10

Source paper: Algebraic Invariant Quadratization Schemes for Cahn--Hilliard Equations arXiv:2607.11569 ⓘ · analyzed Aug 30, 2026

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

Idea description

Represent a rational-like feature transformation with an auxiliary state y constrained by polynomial equations G(x,y)=0, and update x and y jointly along the tangent space of that constraint manifold. This creates residual blocks in which nonlinear feature identities remain consistent over many layers or time steps, reducing auxiliary-variable drift and potentially stabilizing rational activations and implicit recurrent dynamics.

Formulas

$$P(x,H(x))\equiv 0,\qquad P(x,y)=\sum_{i=0}^{d}p_i(x)y^i.$$
$$\mathcal{M}:=\{(x,y)\in\mathbb{R}^{n+d}:G(x,y)=0\},\qquad \widetilde{H}(x,y)=H(x)\quad\text{for }(x,y)\in\mathcal{M}.$$
$$J_G(x,y)=[A(x,y)\mid B(x,y)],\qquad \dot G=A\dot x+B\dot y=0.$$
$$\begin{pmatrix}\dot{x}\\\dot{y}\end{pmatrix}=\begin{pmatrix}\widetilde f(x,y)\\-B^{\dagger}(x,y)A(x,y)\widetilde f(x,y)\end{pmatrix},\qquad B^{\dagger}=(B^{\top}B)^{-1}B^{\top}.$$

Mathematical statement

Definition 1 calls H(x) rational-like when a nonzero polynomial P(x,y)=sum_{i=0}^d p_i(x)y^i satisfies P(x,H(x))=0. Definition 2 introduces a constraint map G:R^{n+d}->R^d and invariant manifold M={(x,y):G(x,y)=0}, together with a lifted function H_tilde(x,y) that equals H(x) on M. Write the constraint Jacobian as J_G(x,y)=[A(x,y)|B(x,y)], where A=partial_x G and B=partial_y G. Assuming B has full rank, the paper constructs lifted dynamics F(x,y)=(f_tilde(x,y), -B^dagger(x,y)A(x,y)f_tilde(x,y)); therefore dot G=A dot x+B dot y=0, so a state initialized on M remains on M. Here x is the neural feature vector, y is the auxiliary feature vector, G is implemented elementwise or in small groups, and f_tilde is the residual vector field. Use B^dagger=(B^T B)^(-1)B^T, or a damped pseudoinverse, to compute the compensating auxiliary derivative. Because a finite residual step is not exactly invariant, apply an optional Newton projection after each block.

Implementation notes

Integrate the construction into a residual MLP or recurrent/state-space block. Start with the scalar rational feature y=1/(1+x^2), represented by G(x,y)=(1+x^2)y-1=0; apply the constraint independently to each feature coordinate, making B diagonal and inexpensive. Store both x and y. For each block, compute v=dt*MLP(concat(x,y)); update x_new=x+v. Evaluate A=partial_x G(x_new,y) and B=partial_y G(x_new,y) analytically or with autodiff. Compute the tangent correction c=B_damped_dagger*A*v, where B_damped_dagger=(B^T B+lambda I)^(-1)B^T and lambda is initially 1e-6. Set y_new=y-c. Optionally perform one or two Newton corrections y_new <- y_new-(partial_y G)^dagger G(x_new,y_new). Pseudocode is: initialize y=H(x); repeat v=dt*F_theta(x,y), x=x+v, y=y-Bdagger*A*v, then repeat y=y-solve(B,G) if projection is enabled. The tangent correction is the paper-derived component; Newton projection is the practical discrete safeguard. Log ||G(x,y)||, activation magnitudes, gradient norms, loss, and wall-clock overhead. First test a 24-, 64-, and 128-layer residual MLP on CIFAR-10 and a synthetic task requiring repeated composition of the rational map. Compare ordinary rational activations, unconstrained auxiliary updates, projection-only updates, and the full method at equal width and optimizer settings. Success requires substantially smaller constraint residuals, fewer unstable runs, and lower loss or higher accuracy at depth 64 or greater without a large throughput penalty.

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.