Pairwise anisotropic minimality regularizer
Source paper: Rigidity of Euclidean Minimal Hypersurfaces under Nonuniform Diagonal Dilations arXiv:2609.00668 ⓘ · analyzed Sep 2, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train an implicit neural field with a regularizer that evaluates its level-set minimality operator after several nonuniform diagonal coordinate dilations. Instead of penalizing only the aggregate operator at the original coordinates, invert the resulting Vandermonde system and penalize every coordinate-pair coefficient separately. This suppresses hidden curvature cancellations and should produce level sets that remain geometrically simple under anisotropic rescaling.
Formulas
Mathematical statement
For a smooth defining function F: R^n -> R, the Euclidean level-set minimality operator is M[F] = |grad F|^2 Delta F - Hess F(grad F, grad F). Let D_t = diag(t^{g_1}, ..., t^{g_n}) and define the transported field G_t(x) = F(D_t^{-1}x), with z = D_t^{-1}x. Then partial_i G_t = t^{-g_i} F_i(z) and partial_ij G_t = t^{-(g_i+g_j)} F_ij(z). Expanding M[G_t] and cancelling diagonal terms gives M[G_t](x) = sum_{1 <= i < j <= n} t^{-2(g_i+g_j)} C_ij(z), where C_ij = F_j^2 F_ii + F_i^2 F_jj - 2 F_i F_j F_ij; all derivatives on the right are evaluated at z. If the pair sums g_i+g_j are distinct, choose m = n(n-1)/2 distinct scales t_l and form V_li = t_l^{-2(g_i+g_j)}. The coefficient-isolation argument is V C = y, where y_l = M[G_{t_l}], and V is invertible because it is a generalized Vandermonde matrix. Penalizing ||V^{-1} y||_2^2 penalizes each C_ij independently, preventing different coordinate-pair contributions from cancelling. At points where grad F != 0, driving all C_ij to zero enforces the paper's pairwise rigidity condition; under the paper's connectedness and nonresonance assumptions, the corresponding exact minimal level hypersurface is affine.
Implementation notes
Integrate this as an auxiliary loss for an implicit neural representation F_theta(x), such as an SDF, occupancy field, neural surface reconstruction model, or coordinate MLP. Apply it only at sampled points near the target zero level set, where the geometric interpretation is relevant and where ||grad F_theta|| is above a small threshold. Choose n input dimensions and positive exponents g_i with distinct pair sums; search small real-valued exponents numerically and reject choices whose pair-sum matrix is poorly conditioned. Use m=n(n-1)/2 scales t_l log-spaced around 1, for example exp([-1,-0.5,0,0.5,1]) in the three-dimensional case. Precompute V and a damped pseudoinverse P=(V^T V+lambda I)^(-1)V^T. For each minibatch point x and each scale, evaluate z_l=D_{t_l}^{-1}x, F_theta(z_l), its gradient, and Hessian using forward-over-reverse autodiff or Hessian-vector products. Compute y_l = ||grad G_l||^2 trace(H_l) - grad G_l^T H_l grad G_l using the scaled derivatives, then compute C_hat=P y and add alpha sum(C_hat^2) to the reconstruction or surface loss. The formulas and pair coefficients come from the paper; alpha, scale placement, damping, gradient clipping, and near-surface sampling are empirical settings. First test on a small 2D or 3D coordinate MLP fitting planes, spheres, and deliberately curved synthetic surfaces, comparing the ordinary single-scale M[F] penalty against the multi-scale loss at equal wall-clock budget. Measure reconstruction error, zero-level-set curvature, robustness after anisotropic coordinate rescaling, and gradient stability. Success means lower residual curvature and less anisotropic cancellation at comparable reconstruction accuracy.
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.