Unverified 2026

Graded residual geometry for degenerate inverse networks

Implementation & benchmark of arXiv:2607.29114 — Anisotropic Higher-Order Semiregularity of Degenerate Generalized Equations

Usefulness6/10
Difficulty4/10
Novelty8/10

Source paper: Anisotropic Higher-Order Semiregularity of Degenerate Generalized Equations arXiv:2607.29114 ⓘ · analyzed Aug 31, 2026

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

Idea description

Partition the network output into blocks according to their estimated local controllability order and replace the ordinary residual norm by the anisotropic gauge q_p(r) = max_i ||r_i||^(1/i). Train an inverse network or unrolled solver with blockwise target tolerances ||r_i|| approximately less than or equal to rho^i, so directions reachable only through higher-order changes are not incorrectly treated as equally first-order errors.

Formulas

$$Y=Y_{1}\oplus\cdots\oplus Y_{p},\qquad q_{p}(v):=\max_{1\leq i\leq p}\|P_{i}v\|^{1/i}.$$
$$\operatorname{dist}\bigl(\bar{x},\mathcal{M}^{-1}(y)\bigr)\leq Mq_{p}(y-\bar{y}).$$
$$\|P_i(F_\theta(\bar{x}+t d)-F_\theta(\bar{x}))\|=O(t^i),\qquad i=1,\ldots,p.$$
$$L_{\mathrm{grade}}(r)=\frac{1}{\alpha}\log\!\left[\sum_{i=1}^{p}\exp\!\left(\alpha(\|r_i\|_2^2+\varepsilon)^{1/(2i)}\right)\right],\qquad r_i=P_i(F_\theta(x)-y).$$

Mathematical statement

The paper fixes an indexed target decomposition Y = Y_1 direct sum ... direct sum Y_p, with P_i the projection from Y onto Y_i, and defines the graded gauge q_p(v) = max over i of ||P_i v||^(1/i). Its fixed-base semiregularity conclusion is dist(x_bar, M^{-1}(y)) <= M q_p(y - y_bar), where M is a set-valued mapping, (x_bar, y_bar) is a reference graph point, and M is a local covering constant. The interpretation is that block Y_i is covered at order t^i: an input displacement of size t can produce an output displacement of size t^i in that block. For a neural map F_theta from X to Y, let r_i = P_i(F_theta(x) - y). Use the smooth surrogate L_grade(r) = log-sum-exp over i of alpha times (||r_i||^2 + epsilon)^(1/(2i)), divided by alpha. The triangular factor condition in the paper motivates estimating each order i from local finite differences or derivative response tests. The theorem's transferable property is the fractional-power conversion from block residual size to a common source-displacement scale.

Implementation notes

Integrate this at the output residual and inverse-solver loss, not inside every hidden layer initially. Use a small differentiable map F_theta, an inverse model G_phi, or an unrolled optimizer that seeks x satisfying F_theta(x) approximately equal to y. First choose a block partition of the output; for a synthetic problem, define the Y_i blocks explicitly, while for a real model use groups of coordinates, channels, or task heads. Estimate each block order before training. At a reference input x_bar, sample random directions d_k and scales t_k in {10^-1, 10^-2, 10^-3}. Compute a_ik = ||P_i(F(x_bar + t_k d_k) - F(x_bar))||_2 and fit the slope of log(a_ik) against log(t_k). Assign block i to the nearest stable integer slope, retaining only slopes with adequate signal-to-noise; otherwise assign i = 1. During training, compute r_i = P_i(F_theta(G_phi(y)) - y), evaluate the smooth log-sum-exp surrogate above, and backpropagate it jointly with a small ordinary MSE term, for example L = L_grade + 0.1 times the sum of ||r_i||_2^2. An unrolled solver can additionally accept an update only when q_p(r_new) <= q_p(r_old), or can enforce per-block targets ||r_i|| <= rho^i. The mathematical quantities computed directly are the projections, fractional powers, and graded gauge; the constant M, valid neighborhood, and order labels are estimated empirically. Start with F(x_1, x_2) = (x_1, x_2^2) near x_2 = 0, then test a rank-deficient MLP autoencoder or nonlinear inverse problem. Compare ordinary MSE, manually weighted MSE, and the graded loss at equal parameter count and FLOPs. Success means lower second-block error at the same training budget, fewer failed inverse solves, and a tighter empirical relation between reconstruction displacement and q_p(y - y_bar).

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.