Riesz Fractional Variation Regularizer
Implementation & benchmark of arXiv:2607.03450 — A variation on the Pólya-Segő principle in one dimension
Source paper: A variation on the Pólya-Segő principle in one dimension arXiv:2607.03450 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a fractional oscillation penalty to scalar functions produced by a neural network on an ordered grid. Unlike a derivative penalty, this remains meaningful for nonsmooth or nowhere-differentiable outputs and interpolates between total-variation-like behavior and Sobolev-like smoothness.
Formulas
Mathematical statement
The paper defines \(\mathcal{V}_{p}^{\alpha}\) using the oscillation of f over every family of non-overlapping intervals. The exponent \(p\ge1\) controls aggregation of local oscillations and \(\alpha\) controls fractional scale sensitivity, with \(0\le\alpha\le1-1/p\). For sampled network outputs \(z_i=f(x_i)\) at uniformly spaced ordered coordinates, define \(\operatorname{osc}_{l:r}(z)=\max_{i=l}^{r}z_i-\min_{i=l}^{r}z_i\), and penalize a computable approximation of the supremum over disjoint intervals. The paper's rearrangement inequality is \(\mathcal{V}_p^\alpha(f^*)\le\mathcal{V}_p^\alpha(f)\), showing that the penalty is compatible with a histogram-preserving monotonicity bias. Here \(p\) is the variation norm exponent, \(\alpha\) the fractional smoothness index, \([l,r]\) a contiguous sample interval, and \(\mathcal P\) a set of disjoint intervals.
Implementation notes
(1) Integration point: attach the regularizer to the output of a coordinate-conditioned MLP, temporal encoder, or scalar neural field evaluated on an ordered grid. Let z=f_theta(x_grid) have shape [batch, channels, length]. (2) Pseudocode: choose a multiscale disjoint partition P containing intervals of lengths 1, 2, 4, ..., or sample M random disjoint intervals; for each [l,r], compute osc=max(z[...,l:r+1])-min(z[...,l:r+1]), then accumulate ((osc/(r-l+1)alpha)p). Take the p-th root and optimize loss=task_loss+lambda*R. Exact max/min gives subgradients; for smoother training use tau*logsumexp(z/tau) for the maximum and -tau*logsumexp(-z/tau) for the minimum, gradually reducing tau. (3) The paper supplies the scale-normalized oscillation and admissible range of alpha; the neural implementation estimates the supremum using sampled partitions, so report the sampling scheme and do not call it exact variation unless all partitions are enumerated. Start with p=2 and alpha in {0, 0.25, 0.5}; choose lambda so the penalty is initially 1–10% of task loss. (4) First experiment: noisy 1D regression with a fixed-width coordinate MLP, comparing this penalty against first-difference total variation and squared derivative penalties. Measure test MSE, high-frequency perturbation robustness, multiscale variation, and gradient-norm variance. Success is lower oscillation and better noisy extrapolation at equal training error; failure is oversmoothing, visible as degraded performance on high-frequency target functions.
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.