Curved latent coverage regularizer
Source paper: Minkowski sums with convex curves without pointwise Fourier decay arXiv:2608.28770 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a learnable curved augmentation trace to latent features and penalize excessive overlap between its translated tubular neighborhoods. The regularizer uses the paper's curvature-driven bound as a scale-dependent target: nearby translations may overlap at order delta, while translations at distance r should overlap only at order delta squared divided by r. This encourages feature perturbations to form a non-flat, coverage-efficient manifold rather than collapsing onto a line or a small set of directions.
Formulas
Mathematical statement
Theorem 2.3 considers a graph Sigma={(x,g(x)):a<=x<=b}, where g belongs to C^2([a,b]) and |g''(x)|>=c_0>0 everywhere. For its Euclidean delta-neighborhood Sigma^delta and any translation h in R^2, it proves |Sigma^delta intersect (h+Sigma^delta)| <= C delta^2/(delta+|h|). Here |.| is planar Lebesgue measure, |h| is Euclidean translation distance, delta is tube radius, and C depends on the curve and curvature lower bound c_0. The two regimes are overlap O(delta) for |h| less than or comparable to delta and O(delta^2/|h|) for |h| greater than or comparable to delta. The paper's curved-trace theorem further states that if a compact rectifiable curve contains a positive-length subset of a C^2 curve with curvature bounded away from zero, then |E+Gamma|>0 for every compact E in R^2 with Hausdorff dimension dim_H(E)>1. We use the explicit overlap inequality as a soft regularization target, not as an unconditional theorem for high-dimensional neural features.
Implementation notes
1. Integration point: insert the module after a backbone projection head, where each example has a latent vector z_i in R^d. Select two coordinates, or learn a 2D projection P in R^(2xd), and define a shared augmentation curve gamma(t)=(t,g(t)) in R^2. Parameterize g(t) with a small monotone-convex spline or MLP; use softplus curvature, for example g''(t)=c_min+softplus(q(t)), and obtain g and g' by automatic differentiation. Generate K points gamma(t_k), and form augmented features z_i+P^T gamma(t_k). 2. Pseudocode: sample a minibatch z_i; sample t_k uniformly from [a,b]; compute y_ik=Pz_i+gamma(t_k); choose random pairs of translations h_ij=y_i-y_j; estimate tube overlap with a differentiable kernel O_hat(h)=mean_{u,v} exp(-||u-v-h||^2/(2 sigma^2)), where u and v are sampled points from the curve or its K-point tube and sigma=delta; add L_curve above with kappa a tunable safety factor and c_min>0; optimize task loss plus L_curve. In the formula, delta is the kernel or tube scale, h_ij is the sampled feature translation, and kappa C is approximated by kappa. 3. Compute from the paper: use the exact distance-dependent target delta^2/(delta+||h||), the near/far regime split, and the requirement of nonzero curvature. Estimate empirically: the constant C, the effective overlap O_hat, and whether the chosen latent projection is genuinely curved. Normalize O_hat and the target by feature dimension or minibatch estimator so their magnitudes are comparable. Stop-gradient through the target denominator to avoid trivial scale games, and optionally constrain ||P||_F=1. 4. First experiment: train a small ResNet-18 or ViT-Tiny on CIFAR-10 and CIFAR-100 with standard feature-space augmentation as the baseline. Compare no regularizer, a straight-line latent augmentation with g''=0, and the curved module with L_curve. Use identical augmentation counts and FLOPs. Measure validation accuracy, corruption accuracy, feature covariance rank, average union occupancy of K translated delta-balls, and the empirical curve-overlap curve versus ||h||. Success means lower occupancy collapse and improved corruption or held-out accuracy at equal training loss, while the learned overlap follows the predicted plateau O(delta) near zero distance and approximate 1/||h|| decay at larger distances. Ablate c_min, delta, and the number of curve samples K.
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.