Level-Crossing Density as a Mesh-Free High-Frequency Auxiliary Loss for Implicit Neural Representations

arXiv cs.LG Papers

Summary

This paper introduces a differentiable training objective based on the Rice level-crossing density from random-field theory, which acts as a mesh-free high-frequency auxiliary loss for implicit neural representations. It requires no grid or FFT, and improves performance on non-uniform samples.

arXiv:2607.05815v1 Announce Type: new Abstract: The Minkowski functionals of a field's excursion sets -- area, boundary measure, and Euler characteristic -- describe its level-set morphology; the Euler characteristic is the cheapest handle on topology. We derive smooth Monte-Carlo estimators for all three of a continuous neural field, evaluated at scattered points via the co-area formula and Gauss-Bonnet, using only autodiff: no grid, no complex, no persistence. The estimator is accurate to 1-3% against exact topology in 2D and 3D, and costs about 3 ms per iteration where a persistent-homology (PH) loss on a cubical grid costs 650-1000 ms -- a 250x gap. We establish four design rules without which these losses silently fail: a dense level ladder (invariants are flat in the parameters away from transitions), a $C^2$ backbone (ReLU nets hide curvature in kinks), the full Minkowski vector (Euler characteristic alone is an alternating sum, gamed by debris-hole cancellation; pricing perimeter closes the channel), and sampling-scale coverage. In 2D the vector-valued cap is the only method in a controlled comparison that both repairs topology (3/3 seeds) and preserves fidelity -- uniform smoothing repairs at 11-17x the fidelity cost, and the Euler term alone repairs nothing. In 3D neural-SDF fitting, however, a failure mode we believe general to any sampled soft topology objective appears: gradient descent adversarially hides topological noise below the sampling density, where the estimator is blind -- spurious-feature counts are invariant to 4x more samples, and closing the window needs cubically many points, erasing the cost advantage. A grid-based PH baseline, whose complex is the evaluation resolution, solves the same benchmark ($4/9$ exact; median $b_1$ error 1 vs. ours above $10^4$). The 250x cost of persistence is, at present, the price of having no null space. We release estimators, receipts, and benchmarks.
Original Article
View Cached Full Text

Cached at: 07/08/26, 04:44 AM

# Level-Crossing Density as a Mesh-Free High-Frequency Auxiliary Loss for Implicit Neural Representations
Source: [https://arxiv.org/html/2607.05815](https://arxiv.org/html/2607.05815)
\(July 2026\)

###### Abstract

Coordinate\-MLP implicit neural representations \(INRs\) exhibit*spectral bias*: they fit low\-frequency structure quickly and high\-frequency detail slowly or not at all\. Existing remedies act in the frequency domain \(e\.g\., the Focal Frequency Loss\), on activations and encodings \(SIREN, Fourier features, FINER\), or through coarse\-to\-fine curricula—and the loss\-based remedies presuppose a regular sampling grid on which a discrete Fourier transform is available\. We revisit a classical object from random\-field theory, the*Rice level\-crossing density*, and turn it into a differentiable training objective\. By the co\-area formula, the density of level crossings of a field is a direct functional of its gradient magnitude concentrated on level sets, and for stationary processes it is monotone in the ratio of spectral momentsλ2/λ0\\sqrt\{\\lambda\_\{2\}/\\lambda\_\{0\}\}—i\.e\., it is a spatial\-domain, closed\-form proxy for high\-frequency content\. We construct a smoothed Monte\-Carlo estimator of the crossing density that is evaluated pointwise at arbitrary sample locations, requires no grid, no FFT, and no mesh, and match it to the empirical crossing density of the supervision signal across a set of levels\. We validate the estimator against exact crossing counts and the Rice formula, then evaluate the loss under strict information parity against the Focal Frequency Loss, normalized Sobolev supervision, and MSE\-only training, on regular grids and on scattered non\-uniform samples, and we report the outcome without embellishment\. Where supervision is scarce and irregular,*every*auxiliary spectral loss is transformative \(\+2\.3\+2\.3–3\.03\.0dB over MSE\-only on PE\-MLP,\+1\.4\+1\.4–1\.81\.8dB on SIREN\); on an edge\-dominated natural image the crossing\-density loss matches the alternatives—within0\.20\.2–0\.50\.5dB of FFL on PSNR, matching or exceeding it on SSIM—without beating them, while on a statistically homogeneous texture, the regime closest to the stationary fields of the Rice theory, it overtakes FFL by0\.60\.6dB\. Its further distinctions are structural: it is the only loss requiring neither a sampling grid nor trustworthy pointwise gradient targets, and an oracle\-gradient diagnostic shows it is uniquely insensitive to gradient\-target quality\. On dense regular grids, where auxiliary drives are unnecessary, finite\-difference gradient targets actively hurt—a caution that applies equally to Sobolev training\. We release code, raw results, and all experiment scripts\.

## 1Introduction

Implicit neural representations \(INRs\) parameterize a signal as a neural networkfθ:ℝd→ℝmf\_\{\\theta\}:\\mathbb\{R\}^\{d\}\\to\\mathbb\{R\}^\{m\}mapping coordinates to values, and have become a standard representation for images, signed distance fields, and radiance fields\[[24](https://arxiv.org/html/2607.05815#bib.bib24),[18](https://arxiv.org/html/2607.05815#bib.bib18),[16](https://arxiv.org/html/2607.05815#bib.bib16),[28](https://arxiv.org/html/2607.05815#bib.bib28)\]\. Their best\-known failure mode is*spectral bias*\[[20](https://arxiv.org/html/2607.05815#bib.bib20),[3](https://arxiv.org/html/2607.05815#bib.bib3)\]: trained with a plain reconstruction loss, coordinate MLPs learn low frequencies first and high frequencies slowly, blurring fine detail\. The community’s responses fall into three families: \(i\)*architectural*fixes—Fourier feature encodings\[[25](https://arxiv.org/html/2607.05815#bib.bib25)\], periodic activations\[[24](https://arxiv.org/html/2607.05815#bib.bib24)\], their variable\-periodic\[[14](https://arxiv.org/html/2607.05815#bib.bib14)\], wavelet\[[23](https://arxiv.org/html/2607.05815#bib.bib23)\], and Gaussian\[[21](https://arxiv.org/html/2607.05815#bib.bib21)\]relatives, multiplicative filter networks\[[6](https://arxiv.org/html/2607.05815#bib.bib6)\], band\-limited architectures\[[13](https://arxiv.org/html/2607.05815#bib.bib13)\], and hash grids\[[17](https://arxiv.org/html/2607.05815#bib.bib17)\]; \(ii\)*loss\-based*fixes—frequency\-domain objectives such as the Focal Frequency Loss \(FFL\)\[[9](https://arxiv.org/html/2607.05815#bib.bib9)\]and gradient\-domain \(Sobolev\) supervision\[[4](https://arxiv.org/html/2607.05815#bib.bib4),[30](https://arxiv.org/html/2607.05815#bib.bib30)\]; and \(iii\)*curricula*that schedule frequency content coarse\-to\-fine\[[8](https://arxiv.org/html/2607.05815#bib.bib8),[29](https://arxiv.org/html/2607.05815#bib.bib29)\]\.

The loss\-based family has a structural blind spot\. A discrete Fourier transform is defined on a regular grid\. When supervision arrives as scattered samples—point clouds for neural SDFs, non\-uniformly sampled sensor data, adaptively sampled renderings—a frequency\-domain loss must first*resample*the scattered data onto a grid, and the interpolation step smears exactly the high\-frequency content the loss is meant to supervise\. Gradient\-matching losses are pointwise and thus mesh\-free, but they supervise the gradient*at each point*, so their targets inherit, pointwise and at full strength, whatever noise the gradient\-estimation step introduces\.

This paper proposes a third kind of spatial\-domain objective, borrowed from random\-field theory\. The*Rice formula*\[[22](https://arxiv.org/html/2607.05815#bib.bib22),[10](https://arxiv.org/html/2607.05815#bib.bib10)\]states that for a stationary Gaussian process the expected number of crossings of leveluuper unit length is

μ​\(u\)=1π​λ2λ0​e−u2/\(2​λ0\),λk=∫ωk​𝑑S​\(ω\),\\mu\(u\)\\;=\\;\\frac\{1\}\{\\pi\}\\sqrt\{\\frac\{\\lambda\_\{2\}\}\{\\lambda\_\{0\}\}\}\\;e^\{\-u^\{2\}/\(2\\lambda\_\{0\}\)\},\\qquad\\lambda\_\{k\}=\\int\\omega^\{k\}\\,dS\(\\omega\),\(1\)whereSSis the spectral measure\. The crossing rate is monotone inλ2/λ0\\sqrt\{\\lambda\_\{2\}/\\lambda\_\{0\}\}, the RMS angular frequency:*how often a field crosses a level is a direct, closed\-form functional of how much high\-frequency energy it carries*\. This link between zero\-crossing rates and spectral content is classical in signal processing\[[11](https://arxiv.org/html/2607.05815#bib.bib11),[15](https://arxiv.org/html/2607.05815#bib.bib15)\]; our contribution is not the link itself but its*instantiation as a differentiable training objective for INRs*, and an empirical study of where such an objective helps\.

Concretely, we estimate the crossing density of the INR’s output field with a smoothed Monte\-Carlo form of the Kac–Rice integrand,

c^ε​\(u\)=1N​∑i=1Nδε​\(fθ​\(xi\)−u\)​‖∇xfθ​\(xi\)‖,\\hat\{c\}\_\{\\varepsilon\}\(u\)\\;=\\;\\frac\{1\}\{N\}\\sum\_\{i=1\}^\{N\}\\delta\_\{\\varepsilon\}\\\!\\bigl\(f\_\{\\theta\}\(x\_\{i\}\)\-u\\bigr\)\\,\\bigl\\lVert\\nabla\_\{x\}f\_\{\\theta\}\(x\_\{i\}\)\\bigr\\rVert,\(2\)where thexix\_\{i\}are the \(arbitrary, possibly scattered\) training coordinates,δε\\delta\_\{\\varepsilon\}is a Gaussian bump, and∇xfθ\\nabla\_\{x\}f\_\{\\theta\}is exact via automatic differentiation\. By the co\-area formula, \([2](https://arxiv.org/html/2607.05815#S1.E2)\) estimates crossings per unit length in 1D, level\-set length per unit area in 2D, and level\-set area per unit volume in 3D\. The auxiliary loss matchesc^ε​\(u\)\\hat\{c\}\_\{\\varepsilon\}\(u\)to the*empirical*crossing density of the ground truth at a small set of levels\. Everything is pointwise: no grid, no FFT, no mesh, no stationarity or Gaussianity assumption\.

Because a crossing\-density profile is a*distributional*statistic—an average over the whole batch—it discards phase information: it says how much level\-set geometry the field should have, not where\. It is therefore an auxiliary drive alongside a reconstruction loss \(which anchors locations\), not a stand\-alone objective, and its distributional character is exactly what we expect to make it robust on scattered domains: pointwise errors in derived gradient targets average out in \([2](https://arxiv.org/html/2607.05815#S1.E2)\) instead of being enforced point by point\.

#### Claims\.

We make three claims, each tested in Section[5](https://arxiv.org/html/2607.05815#S5)\. \(1\) The estimator \([2](https://arxiv.org/html/2607.05815#S1.E2)\) is an accurate, differentiable crossing\-density estimator \(validated against exact counts and against \([1](https://arxiv.org/html/2607.05815#S1.E1)\)\)\. \(2\) As an auxiliary loss it is a*working*high\-frequency drive: wherever supervision is scarce it recovers most of the gap between MSE\-only training and the information ceiling set by the samples, on two different backbones\. \(3\) Against the strongest loss\-based alternatives under strict information parity, it achieves PSNR parity on edge\-dominated natural\-image content \(with SSIM matching or exceeding FFL’s and unique robustness to gradient\-target quality\) and overtakes FFL only on statistically homogeneous texture—the regime the Rice theory actually describes\. We consider the disciplined measurement of \(3\), including its negative component, a contribution: the hypothesis that crossing statistics would broadly*beat*resampled frequency losses off\-grid was plausible, cheap to state, and is here tested and bounded\.

#### What we do not claim\.

Coarse\-to\-fine frequency curricula exist\[[8](https://arxiv.org/html/2607.05815#bib.bib8),[29](https://arxiv.org/html/2607.05815#bib.bib29)\]and we do not claim one\. The crossing\-rate–frequency link is textbook\[[11](https://arxiv.org/html/2607.05815#bib.bib11)\]; we claim only the differentiable\-loss instantiation and its evaluation\. On regular grids we expect, and report, rough parity rather than dominance\.

## 2Related work

#### Spectral bias and architectural remedies\.

Spectral bias was characterized byRahaman et al\. \[[20](https://arxiv.org/html/2607.05815#bib.bib20)\], withBasri et al\. \[[3](https://arxiv.org/html/2607.05815#bib.bib3)\]extending the analysis to non\-uniform input densities—directly relevant to our scattered\-sampling setting, since their theory predicts that convergence at a given frequency slows further in sparsely sampled regions\. Fourier feature encodings\[[25](https://arxiv.org/html/2607.05815#bib.bib25)\]and periodic activations\[[24](https://arxiv.org/html/2607.05815#bib.bib24)\]move the representable band up; FINER\[[14](https://arxiv.org/html/2607.05815#bib.bib14)\]makes the supported band tunable via variable\-periodic activations; WIRE\[[23](https://arxiv.org/html/2607.05815#bib.bib23)\], Gaussian activations\[[21](https://arxiv.org/html/2607.05815#bib.bib21)\], multiplicative filter networks\[[6](https://arxiv.org/html/2607.05815#bib.bib6)\], BACON\[[13](https://arxiv.org/html/2607.05815#bib.bib13)\], and hash encodings\[[17](https://arxiv.org/html/2607.05815#bib.bib17)\]are alternative routes\. All of these change the*architecture*; our proposal is orthogonal and combines with them \(Section[5\.4](https://arxiv.org/html/2607.05815#S5.SS4)\)\.

#### Loss\-based remedies\.

The Focal Frequency Loss\[[9](https://arxiv.org/html/2607.05815#bib.bib9)\]compares DFT spectra of prediction and target with an adaptive per\-frequency weight and is the standard frequency\-domain objective; it requires a regular grid\. Sobolev training supervises derivatives\[[4](https://arxiv.org/html/2607.05815#bib.bib4)\], applied to INRs with finite\-difference image derivatives byYuan et al\. \[[30](https://arxiv.org/html/2607.05815#bib.bib30)\]; it is mesh\-free but pointwise\. Eikonal\-type losses in shape representation\[[7](https://arxiv.org/html/2607.05815#bib.bib7)\]likewise constrain∥∇f∥\\lVert\\nabla f\\rVertpointwise \(to unit norm for SDFs\); our loss instead constrains an integral functional of∥∇f∥\\lVert\\nabla f\\rVertrestricted to level sets\. Frequency curricula\[[8](https://arxiv.org/html/2607.05815#bib.bib8),[29](https://arxiv.org/html/2607.05815#bib.bib29)\]schedule the encoding rather than add an objective\.

#### Level crossings and the Kac–Rice formula\.

Crossing counts of random processes go back toKac \[[10](https://arxiv.org/html/2607.05815#bib.bib10)\]andRice \[[22](https://arxiv.org/html/2607.05815#bib.bib22)\]; modern treatments includeAdler and Taylor \[[1](https://arxiv.org/html/2607.05815#bib.bib1)\], Azaïs and Wschebor \[[2](https://arxiv.org/html/2607.05815#bib.bib2)\], andLonguet\-Higgins \[[15](https://arxiv.org/html/2607.05815#bib.bib15)\]developed the 2D \(level\-set length\) theory for random surfaces\. Zero\-crossing rates as frequency features are classical in signal processing and time\-series discrimination\[[11](https://arxiv.org/html/2607.05815#bib.bib11)\]\. To our knowledge—including searches over arXiv abstracts and the recent INR literature—level\-crossing densities have not previously been used as a training objective for neural fields; the Kac–Rice machinery appears in machine learning mainly for counting critical points of loss landscapes, a different use entirely\.

## 3Method

### 3\.1Background: crossings, spectra, and the co\-area identity

Letf:Ω⊂ℝd→ℝf:\\Omega\\subset\\mathbb\{R\}^\{d\}\\to\\mathbb\{R\}be Lipschitz\. Ford=1d=1and a leveluu, letNu​\(f;Ω\)N\_\{u\}\(f;\\Omega\)be the number of solutions off​\(x\)=uf\(x\)=uinΩ\\Omega\. For stationary Gaussian processes, Rice’s formula \([1](https://arxiv.org/html/2607.05815#S1.E1)\) gives the expected crossing rate as a ratio of spectral moments:λ0\\lambda\_\{0\}is the signal variance andλ2\\lambda\_\{2\}the derivative variance, soλ2/λ0\\sqrt\{\\lambda\_\{2\}/\\lambda\_\{0\}\}is an RMS frequency\. A field that lacks high\-frequency energy crosses every level less often \(Figure[2](https://arxiv.org/html/2607.05815#S4.F2), right\)\.

Two properties make the crossing density usable beyond the Gaussian setting\. First, the*Kac–Rice integrand*: under mild conditions\[[2](https://arxiv.org/html/2607.05815#bib.bib2)\],

𝔼​Nu=∫Ω𝔼​\[\|f′​\(x\)\|\|f​\(x\)=u\]​pf​\(x\)​\(u\)​𝑑x,\\mathbb\{E\}\\,N\_\{u\}\\;=\\;\\int\_\{\\Omega\}\\mathbb\{E\}\\bigl\[\\,\\lvert f^\{\\prime\}\(x\)\\rvert\\,\\big\|\\,f\(x\)=u\\,\\bigr\]\\,p\_\{f\(x\)\}\(u\)\\,dx,\(3\)which requires no stationarity\. Second, and central for us, the deterministic*co\-area formula*\[[5](https://arxiv.org/html/2607.05815#bib.bib5)\]: for Lipschitzffand integrablegg,

∫Ωg​\(f​\(x\)\)​∥∇f​\(x\)∥​𝑑x=∫ℝg​\(u\)​ℋd−1​\(f−1​\(u\)∩Ω\)​𝑑u,\\int\_\{\\Omega\}g\\bigl\(f\(x\)\\bigr\)\\,\\lVert\\nabla f\(x\)\\rVert\\,dx\\;=\\;\\int\_\{\\mathbb\{R\}\}g\(u\)\\,\\mathcal\{H\}^\{d\-1\}\\bigl\(f^\{\-1\}\(u\)\\cap\\Omega\\bigr\)\\,du,\(4\)whereℋd−1\\mathcal\{H\}^\{d\-1\}is the\(d−1\)\(d\{\-\}1\)\-dimensional Hausdorff measure\. Takingg=δε\(⋅−u\)g=\\delta\_\{\\varepsilon\}\(\\cdot\-u\), a Gaussian kernel of bandwidthε\\varepsilon, the left\-hand side of \([4](https://arxiv.org/html/2607.05815#S3.E4)\) divided by\|Ω\|\\lvert\\Omega\\rvertbecomes anε\\varepsilon\-smoothed*level\-set density*: crossings per unit length \(d=1d\{=\}1\), level\-set length per unit area \(d=2d\{=\}2\), level\-set area per unit volume \(d=3d\{=\}3\)\. No probabilistic assumptions enter: \([4](https://arxiv.org/html/2607.05815#S3.E4)\) holds for the single deterministic field being fitted\.

### 3\.2A differentiable Monte\-Carlo estimator

Sampling coordinatesx1,…,xNx\_\{1\},\\dots,x\_\{N\}uniformly inΩ\\Omega\(or using the given training coordinates\) yields the estimator of \([2](https://arxiv.org/html/2607.05815#S1.E2)\):c^ε​\(u\)=1N​∑iδε​\(fθ​\(xi\)−u\)​∥∇xfθ​\(xi\)∥\\hat\{c\}\_\{\\varepsilon\}\(u\)=\\frac\{1\}\{N\}\\sum\_\{i\}\\delta\_\{\\varepsilon\}\(f\_\{\\theta\}\(x\_\{i\}\)\-u\)\\,\\lVert\\nabla\_\{x\}f\_\{\\theta\}\(x\_\{i\}\)\\rVertwithδε​\(z\)=\(2​π​ε2\)−1/2​e−z2/2​ε2\\delta\_\{\\varepsilon\}\(z\)=\(2\\pi\\varepsilon^\{2\}\)^\{\-1/2\}e^\{\-z^\{2\}/2\\varepsilon^\{2\}\}\. It is unbiased for theε\\varepsilon\-smoothed level\-set density and inherits the usual kernel trade\-off:O​\(ε2\)O\(\\varepsilon^\{2\}\)smoothing bias across levels versusO​\(1/\(N​ε\)\)O\(1/\(N\\varepsilon\)\)variance\. Three implementation points matter in practice\.

*Gradients are free and exact\.*∇xfθ\\nabla\_\{x\}f\_\{\\theta\}comes from automatic differentiation at arbitrary points; no finite differences, no grid\. Backpropagating the loss through∥∇xfθ∥\\lVert\\nabla\_\{x\}f\_\{\\theta\}\\rVertis a double\-backward operation, supported by all standard frameworks\[[19](https://arxiv.org/html/2607.05815#bib.bib19)\]\.

*Levels at target quantiles\.*We placeLLlevelsu1,…,uLu\_\{1\},\\dots,u\_\{L\}at uniformly spaced quantiles of the ground\-truth values in the batch \(between the 2nd and 98th percentile\), which keeps every level populated regardless of the value histogram\.

*Same\-batch targets\.*The target profilecgt​\(uj\)c^\{\\mathrm\{gt\}\}\(u\_\{j\}\)is the same estimator applied to the ground\-truth values and gradient norms*at the same batch points*\. Estimator and target then share sampling noise, which partially cancels in the difference—the loss compares two estimates of the same functional under the same measure, so even under non\-uniform sampling both sides are biased identically toward densely sampled regions\.

### 3\.3The Kac–Rice loss

The auxiliary loss matches the crossing\-density profile at theLLlevels, normalized to be scale\-free:

ℒKR​\(θ\)=1L​∑j=1L\(c^ε​\(uj\)−cgt​\(uj\)\)2\(cgt​\(uj\)\+c¯gt\)2,c¯gt=1L​∑jcgt​\(uj\),\\mathcal\{L\}\_\{\\mathrm\{KR\}\}\(\\theta\)\\;=\\;\\frac\{1\}\{L\}\\sum\_\{j=1\}^\{L\}\\frac\{\\bigl\(\\hat\{c\}\_\{\\varepsilon\}\(u\_\{j\}\)\-c^\{\\mathrm\{gt\}\}\(u\_\{j\}\)\\bigr\)^\{2\}\}\{\\bigl\(c^\{\\mathrm\{gt\}\}\(u\_\{j\}\)\+\\bar\{c\}^\{\\mathrm\{gt\}\}\\bigr\)^\{2\}\},\\qquad\\bar\{c\}^\{\\mathrm\{gt\}\}=\\tfrac\{1\}\{L\}\\textstyle\\sum\_\{j\}c^\{\\mathrm\{gt\}\}\(u\_\{j\}\),\(5\)and the total objective isℒ=1N​∑i\(fθ​\(xi\)−yi\)2\+β​ℒKR\\mathcal\{L\}=\\frac\{1\}\{N\}\\sum\_\{i\}\(f\_\{\\theta\}\(x\_\{i\}\)\-y\_\{i\}\)^\{2\}\+\\beta\\,\\mathcal\{L\}\_\{\\mathrm\{KR\}\}\. The normalization in \([5](https://arxiv.org/html/2607.05815#S3.E5)\) is not cosmetic: crossing densities grow linearly with frequency content, so the*squared*error grows quadratically, and an unnormalized version couples the effective weightβ\\betato the signal’s bandwidth\. In early experiments the unnormalized loss with a weight tuned for one signal destabilized training on another; the relative form transfers across signals with a singleβ\\beta\.111The same reasoning applies to the Sobolev baseline, which we normalize by the mean squared ground\-truth gradient norm; without this, its useful weight range also varies by orders of magnitude across signals\.

Defaults throughout:L=16L=16levels,ε=0\.15​σy\\varepsilon=0\.15\\,\\sigma\_\{y\}whereσy\\sigma\_\{y\}is the standard deviation of the batch ground\-truth values, andβ=0\.05\\beta=0\.05; all are ablated in Section[5\.5](https://arxiv.org/html/2607.05815#S5.SS5)\.

#### What the loss constrains\.

ℒKR\\mathcal\{L\}\_\{\\mathrm\{KR\}\}is a functional of the*marginal*level\-set geometry: it pushes the field to have the right amount of level\-crossing structure at each height, leaving*where*that structure goes to the reconstruction term\. It cannot, alone, place an edge; it can insist that the total edge length at each gray level be right\. This is weaker than a Fourier loss on a grid \(which constrains amplitude at every frequency\) but requires strictly less of the sampling process, and it is robust to pointwise target noise by construction: a zero\-mean error of varianceσ2\\sigma^\{2\}on individual gradient\-norm targets perturbs eachcgt​\(uj\)c^\{\\mathrm\{gt\}\}\(u\_\{j\}\)only atO​\(σ/Nj\)O\(\\sigma/\\sqrt\{N\_\{j\}\}\), withNjN\_\{j\}the effective number of points near leveljj, whereas a pointwise gradient\-matching loss absorbs that noise at full variance\.

#### Cost\.

Relative to plain MSE, the additional cost is one backward pass for∇xfθ\\nabla\_\{x\}f\_\{\\theta\}\(shared with any gradient\-based loss\) plus anO​\(N​L\)O\(NL\)kernel evaluation, and double\-backprop at optimization time\. In a back\-to\-back measurement \(PE\-MLP,16,38416\{,\}384points, CPU;bench\_timing\.pyin the released code, raw output in the result files\), one training iteration took223223ms with MSE only,473473ms with the Kac–Rice term \(2\.12×2\.12\\times\), and479479ms with Sobolev \(2\.14×2\.14\\times\)—the two gradient\-based losses share the dominant double\-backward cost\.

## 4Estimator validation

Before using \([2](https://arxiv.org/html/2607.05815#S1.E2)\) inside a loss we verify it in isolation \(Figure[1](https://arxiv.org/html/2607.05815#S4.F1)\)\. On deterministic multisine signals the estimator matches analytic crossing counts to within Monte\-Carlo error \(e\.g\.,sin⁡\(π​k​x\)\\sin\(\\pi kx\)on\[−1,1\]\[\-1,1\]yields measured densityk±2%k\\pm 2\\%atN=2×105N=2\\times 10^\{5\}, and the 2D co\-area version recovers the level\-set length density of oriented gratings equally well\)\. On an approximately Gaussian random field \(60 random\-phase sinusoids\), the estimator agrees with direct sign\-change counting on a dense grid within5%5\\%across levelsu∈\[−2\.5​σ,2\.5​σ\]u\\in\[\-2\.5\\sigma,2\.5\\sigma\], and with the Rice prediction \([1](https://arxiv.org/html/2607.05815#S1.E1)\) evaluated at empirical spectral moments within10%10\\%\. These tests ship as unit tests with the code\.

![Refer to caption](https://arxiv.org/html/2607.05815v1/x1.png)Figure 1:Estimator validation\.Smoothed Monte\-Carlo estimatorc^ε​\(u\)\\hat\{c\}\_\{\\varepsilon\}\(u\)\(red,N=4×105N\{=\}4\\times 10^\{5\}points,ε=0\.05\\varepsilon\{=\}0\.05\), exact crossing counts from dense\-grid sign changes \(dots\), and the Rice formula at empirical spectral moments \(dashed\), for an approximately Gaussian random field \(60 random\-phase sinusoids\)\. The estimator tracks the exact counts across all levels, including the non\-Gaussian wiggles that the Rice formula idealizes away\.![Refer to caption](https://arxiv.org/html/2607.05815v1/x2.png)Figure 2:Left:a multisine signal, one leveluu, and its crossings; the crossing density at leveluuis the number of such intersections per unit length\.Right:crossing\-density profilesc​\(u\)c\(u\)of the full signal versus its low\-pass approximation—the profile collapses when high frequencies are missing, which is the signal the loss exploits\.
## 5Experiments

### 5\.1Protocol

#### Backbones\.

The primary backbone for loss comparisons is a ReLU MLP on Fourier positional encodings \(PE\-MLP; 3 hidden layers, width 256\), the classic spectrally biased INR\[[25](https://arxiv.org/html/2607.05815#bib.bib25)\]\. SIREN\[[24](https://arxiv.org/html/2607.05815#bib.bib24)\]and FINER\[[14](https://arxiv.org/html/2607.05815#bib.bib14)\]appear as architecture baselines under plain MSE, and we test composability by adding our loss to SIREN\.

#### Baselines\.

\(i\) MSE only; \(ii\) MSE \+ Focal Frequency Loss\[[9](https://arxiv.org/html/2607.05815#bib.bib9)\]—our implementation is numerically verified against the official package; \(iii\) MSE \+ normalized Sobolev \(H1H^\{1\}gradient matching\)\[[4](https://arxiv.org/html/2607.05815#bib.bib4),[30](https://arxiv.org/html/2607.05815#bib.bib30)\]\.

#### Tasks\.

*Regular grids*\(sanity check\): a five\-tone multisine in 1D \(frequencies2,5,11,23,472,5,11,23,47half\-cycles per unit\) fitted from 1,024 grid points, and thecameraimage at1282128^\{2\}\.*Scattered domains*\(the decisive test\): the2562256^\{2\}cameraimage supervised only atN=8,192N\{=\}8\{,\}192scattered locations \(12\.5% of pixels\) drawn from three densities—uniform\(homogeneous\),blobs\(75% of samples in five Gaussian clusters\), andramp\(linear density gradient\)—plus a 1D variant and a synthetic multi\-scale texture\. On scattered tasks*all*losses receive exactly the same information: the scattered pairs\{\(xi,yi\)\}\\\{\(x\_\{i\},y\_\{i\}\)\\\}\. FFL’s grid target is obtained by Delaunay\-based linear interpolation \(SciPygriddata\[[26](https://arxiv.org/html/2607.05815#bib.bib26)\]\) and the loss is applied on random1282128^\{2\}crops of that grid each iteration \(patch\-based FFL, a mode the official implementation supports\); Sobolev and Kac–Rice gradient targets are central differences*of that same interpolant*sampled at the training points\. Oracle\-gradient variants \(true image gradients; not legal supervision\) isolate how much each gradient\-based method loses to interpolation noise\.

#### Metrics\.

PSNR on a dense evaluation grid; high\-frequency PSNR \(HF\-PSNR: PSNR of the residual after removing a Gaussian low\-pass,σ=4\\sigma=4px\); SSIM\[[27](https://arxiv.org/html/2607.05815#bib.bib27)\]; and relative spectral error in eight radial frequency bands\. All results are mean±\\pms\.d\. over three seeds \(model initialization and, on scattered tasks, the sampling pattern\)\. Adam\[[12](https://arxiv.org/html/2607.05815#bib.bib12)\]with cosine decay; full hyperparameters in Appendix[A](https://arxiv.org/html/2607.05815#A1)\.

### 5\.2Regular grids: parity, as expected

Table 1:Regular\-grid fitting\(sanity check; mean±\\pms\.d\. over 3 seeds\)\. 1D: parity across all losses\. 2D: dense supervision needs no auxiliary drive—MSE\-only is best among PE\-MLP losses, and architecture fixes \(SIREN, FINER\) dominate the entire loss family on\-grid\.![Refer to caption](https://arxiv.org/html/2607.05815v1/x3.png)Figure 3:Regular\-grid convergence\.PSNR versus iteration \(mean over 3 seeds; shaded±\\pms\.d\.\)\. Left: 1D multisine—all PE\-MLP losses converge to parity\. Right:1282128^\{2\}image—with dense supervision, MSE\-only is best and the finite\-difference gradient targets of Sobolev/Kac–Rice actively cost fidelity \(see text\)\.#### 1D: parity\.

On the grid\-sampled multisine, all four PE\-MLP losses converge to statistically indistinguishable quality \(MSE70\.6±0\.170\.6\\pm 0\.1dB, FFL69\.7±0\.269\.7\\pm 0\.2, Sobolev70\.4±0\.270\.4\\pm 0\.2, Kac–Rice70\.3±0\.370\.3\\pm 0\.3\): with dense regular supervision, the reconstruction term alone eventually recovers all five tones, and no auxiliary drive changes the endpoint\. SIREN, whose periodic activations match this signal family, reaches93\.8±1\.193\.8\\pm 1\.1dB; FINER reaches73\.6±7\.773\.6\\pm 7\.7dB with high seed variance\. This is the expected sanity\-check outcome: on\-grid, auxiliary spectral losses neither help nor hurt materially in 1D\.

#### 2D: dense supervision does not need—and is hurt by—auxiliary drives\.

On the1282128^\{2\}image \(Table[1](https://arxiv.org/html/2607.05815#S5.T1)\), MSE\-only training is the*best*configuration \(40\.5±1\.140\.5\\pm 1\.1dB\); FFL costs2\.72\.7dB, and the two gradient\-based losses cost∼10\{\\sim\}10dB\. The mechanism for the latter is instructive: the gradient targets are central differences of the discrete image, which are a low\-pass\-filtered version of the true local differences the MSE term is driving toward\. At high fidelity the two objectives conflict, and a fixedβ\\betabiases the optimum away from exact pixel reconstruction\. \(FFL’s target is the exact pixel grid, so it remains consistent with MSE and costs little\.\)Yuan et al\. \[[30](https://arxiv.org/html/2607.05815#bib.bib30)\]similarly report that Sobolev training for INRs requires care in how image derivatives are approximated\. The architecture baselines put the loss family in perspective: on\-grid, SIREN reaches62\.4±0\.362\.4\\pm 0\.3dB and FINER139\.7±3\.1139\.7\\pm 3\.1dB \(a numerically exact fit\)—dense grid fitting is simply solved by activation engineering, and no auxiliary loss on a PE\-MLP competes there\. The practical reading, consistent with the few\-shot literature\[[29](https://arxiv.org/html/2607.05815#bib.bib29)\]: auxiliary spectral objectives are tools for*underdetermined*regimes, not for dense overfitting, and we evaluate them where they are meant to operate—Section[5\.3](https://arxiv.org/html/2607.05815#S5.SS3)\.

### 5\.3Scattered non\-uniform domains: the decisive test

Table 2:Scattered\-domain fitting: the decisive comparison \(2562256^\{2\}camera,N=8,192N\{=\}8\{,\}192samples, three sampling densities; mean±\\pms\.d\. over 3 seeds\)\. All losses receive only the scattered samples\. Thegriddatarow is the plain linear\-interpolation reference computed from the same samples\.![Refer to caption](https://arxiv.org/html/2607.05815v1/x4.png)Figure 4:Scattered\-domain convergence\(blobssampling; mean over 3 seeds, shaded±\\pms\.d\.\)\. Full\-image PSNR \(left\) and high\-frequency PSNR \(right\)\. MSE\-only stalls immediately; all three auxiliary losses climb2\.32\.3–2\.72\.7dB above it\. Kac–Rice leads on HF\-PSNR early \(its target does not need to warm up any grid structure\) before Sobolev and FFL edge ahead after∼700\{\\sim\}700iterations\.![Refer to caption](https://arxiv.org/html/2607.05815v1/x5.png)Figure 5:Per\-band relative spectral error\(log scale; lower is better; mean±\\pms\.d\. over 3 seeds\)\. Left, regular grid: MSE\-only is lowest in every band, mirroring Table[1](https://arxiv.org/html/2607.05815#S5.T1)\. Right, scatteredblobs: the auxiliary losses dominate MSE in the low bands, and in the two highest bands Kac–Rice attains the lowest error among the spatial\-domain losses, consistent with its role as a high\-frequency drive\.![Refer to caption](https://arxiv.org/html/2607.05815v1/x6.png)Figure 6:Qualitative resultson scatteredblobssampling \(seed 0\): sample locations, reconstructions \(top\), high\-pass residuals \(bottom\)\. MSE\-only produces streaked, washed\-out structure; every auxiliary loss restores coherent detail\. Differences among the three auxiliary losses are subtle at this scale—consistent with the≤0\.5\{\\leq\}0\.5dB spreads in Table[2](https://arxiv.org/html/2607.05815#S5.T2)\.#### All auxiliary losses matter here; Kac–Rice ties FFL but does not beat it\.

Table[2](https://arxiv.org/html/2607.05815#S5.T2)is the decisive comparison, and we report it as measured\. First, the regime change from Section[5\.2](https://arxiv.org/html/2607.05815#S5.SS2)is dramatic: with scattered supervision,*every*auxiliary loss now adds\+2\.3\+2\.3to\+3\.0\+3\.0dB over MSE\-only training \(e\.g\.blobs:18\.9→21\.118\.9\\to 21\.1–21\.621\.6dB\), and the qualitative gap is larger than the numbers suggest—the MSE\-only reconstructions in Figure[6](https://arxiv.org/html/2607.05815#S5.F6)are blurred and streaked, while all three auxiliary variants recover coherent structure\. Second, the central hypothesis of this paper is*not*confirmed on the PE\-MLP backbone: Kac–Rice lands within0\.20\.2–0\.50\.5dB of FFL\-with\-resampling on every sampling density \(blobs21\.121\.1vs\.21\.621\.6;ramp22\.322\.3vs\.22\.522\.5;uniform22\.522\.5vs\.22\.722\.7\) but does not overtake it, and the normalized Sobolev loss is the strongest or tied\-strongest loss throughout\. On SSIM the ordering partially reverses—Kac–Rice matches FFL onblobsand exceeds it onrampanduniform\(0\.60/0\.66/0\.660\.60/0\.66/0\.66vs\.0\.59/0\.60/0\.620\.59/0\.60/0\.62\)—indicating the distributional loss buys structural coherence rather than pixel\-wise accuracy; per\-band spectra \(Figure[5](https://arxiv.org/html/2607.05815#S5.F5), right\) agree, with Kac–Rice showing the lowest error of the spatial\-domain losses in the top two frequency bands\. But the headline claim we set out to test—a clear PSNR win for crossing densities off\-grid—did not materialize\.

#### The interpolation ceiling\.

Thegriddatarow of Table[2](https://arxiv.org/html/2607.05815#S5.T2)is sobering context: at this sample budget, plain linear interpolation of the scattered samples scores within noise of the*best*INR configuration on PSNR \(21\.821\.8onblobs\)\. On the natural image, no loss studied here—frequency\-domain or spatial—pushes a PE\-MLP past the information ceiling that the interpolant itself sets \(the texture task below is the sole, marginal exception\)\. What the INR adds overgriddatais a compact, continuous, differentiable representation, not extra pixels; auxiliary losses determine how close to the ceiling one gets\.

#### Content dependence: crossing statistics win on texture\.

The synthetic multi\-scale texture \(Table[4](https://arxiv.org/html/2607.05815#A3.T4)\) reverses the ordering\. There Kac–Rice scores27\.19±0\.3327\.19\\pm 0\.33dB \(SSIM0\.790\.79\) against FFL’s26\.58±0\.1526\.58\\pm 0\.15\(SSIM0\.740\.74\)—a\+0\.6\+0\.6dB advantage—with Sobolev at27\.29±0\.1327\.29\\pm 0\.13; the two spatial\-domain losses match or slightly exceed thegriddataceiling \(26\.9626\.96\) while FFL stays below it\. The pattern is theoretically coherent: the texture is statistically homogeneous, i\.e\. close to the stationary\-random\-field regime in which crossing densities are an exact spectral functional \([1](https://arxiv.org/html/2607.05815#S1.E1)\), whereascamerais edge\-dominated and non\-stationary, so its crossing profile is a blunter summary\. Crossing\-density supervision is at its best when the signal looks like the random fields the theory was built for\.

#### Oracle diagnostics: the distributional loss is robust to target smoothing\.

Replacing estimated gradients with oracle image gradients*helps*Sobolev \(21\.6→21\.821\.6\\to 21\.8dB\) but does not help Kac–Rice \(21\.1→20\.921\.1\\to 20\.9dB\)\. This is the clearest direct evidence for the robustness mechanism of Section[3\.3](https://arxiv.org/html/2607.05815#S3.SS3): Sobolev consumes gradient targets pointwise and benefits from their exactness, whereas Kac–Rice only consumes their batch statistics—smoothing noise largely cancels, and sharper targets, if anything, ask for crossing mass the MSE anchor cannot yet place\. The practical consequence: Kac–Rice’s performance is insensitive to the quality of the gradient\-estimation step, which is the step that is genuinely hard on scattered domains\.

### 5\.4Composability with SIREN

Because the loss is orthogonal to architecture, it should stack with activation\-based remedies\. On theblobstask, SIREN\+MSE scores20\.10±0\.2020\.10\\pm 0\.20dB \(SSIM0\.560\.56\); adding Kac–Rice lifts it to21\.59±0\.1021\.59\\pm 0\.10\(SSIM0\.650\.65\)\. To test whether this is specific to our loss we also ran SIREN with the two baseline auxiliaries: FFL reaches21\.92±0\.1121\.92\\pm 0\.11\(SSIM0\.690\.69\) and Sobolev21\.50±0\.1421\.50\\pm 0\.14\(SSIM0\.630\.63\)\. The honest conclusion is that*composability is a property of auxiliary spectral supervision in general*, not of crossing densities in particular—though two details favor the distributional loss here: on SIREN, Kac–Rice edges Sobolev \(the reverse of their PE\-MLP ordering\), and every SIREN\+auxiliary configuration beats its PE\-MLP counterpart, so the loss and the activation fix address genuinely different parts of the problem\.

### 5\.5Ablations

![Refer to caption](https://arxiv.org/html/2607.05815v1/x7.png)Figure 7:Ablationsoncamera/blobs\(1,000 iterations, 2 seeds; error bars±\\pms\.d\.\)\. Left to right: Dirac bandwidth scaleε/σy\\varepsilon/\\sigma\_\{y\}\(wide plateau above0\.150\.15\), number of levelsLL\(saturates by1616–3232\), loss weightβ\\beta\(flat over a20×20\\timesrange, collapsing only atβ=1\\beta\{=\}1\), and sample budgetNN\(orderings stable across budgets\)\.All ablations usecamera/blobsat 1,000 iterations with 2 seeds \(Figure[7](https://arxiv.org/html/2607.05815#S5.F7)\); absolute numbers are therefore lower than in Table[2](https://arxiv.org/html/2607.05815#S5.T2), and only relative sensitivity is meaningful\.

#### Bandwidthε\\varepsilon\.

The loss is robust forε≥0\.15​σy\\varepsilon\\geq 0\.15\\,\\sigma\_\{y\}\(PSNR20\.820\.8–20\.920\.9dB acrossε/σy∈\{0\.15,0\.3,0\.6\}\\varepsilon/\\sigma\_\{y\}\\in\\\{0\.15,0\.3,0\.6\\\}\) and degrades below it \(19\.619\.6dB at0\.050\.05\): a too\-narrow Dirac starves most batch points of gradient signal, exactly the failure mode anticipated\. The practical guidance is simply “not too small”—the nuisance parameter flagged at the outset turns out to have a wide plateau rather than a narrow sweet spot\.

#### Number of levelsLL\.

Quality improves monotonically and saturates:19\.919\.9,20\.420\.4,20\.820\.8,20\.920\.9dB forL=4,8,16,32L=4,8,16,32\. Sixteen levels suffice\.

#### Weightβ\\beta\.

Performance is flat acrossβ∈\[0\.01,0\.2\]\\beta\\in\[0\.01,0\.2\]\(20\.420\.4–20\.820\.8dB\) and collapses only atβ=1\\beta=1\(18\.418\.4dB\), where the distributional term overwhelms reconstruction\. The relative normalization of \([5](https://arxiv.org/html/2607.05815#S3.E5)\) is what makes this range transferable across signals\.

#### Sample budget\.

AcrossN∈\{4096,8192,16384\}N\\in\\\{4096,8192,16384\\\}the ordering is stable, with FFL ahead of Kac–Rice by a constant∼0\.4\{\\sim\}0\.4dB \(0\.42/0\.40/0\.380\.42/0\.40/0\.38\)\. The auxiliary advantage over MSE is large at every budget but contracts slowly as sampling densifies—from\+2\.5/\+2\.1\+2\.5/\+2\.1dB \(FFL/Kac–Rice\) atN=4096N\{=\}4096to\+2\.1/\+1\.7\+2\.1/\+1\.7dB atN=16384N\{=\}16384—consistent with auxiliary drives mattering most when supervision is scarcest\.

## 6Discussion and limitations

#### What we learned\.

Taking the experiments together, the honest verdict on the opening hypothesis is*parity with a content\-dependent edge, not a general victory*: the crossing\-density loss is a working, validated, mesh\-free high\-frequency drive that matches frequency\-domain and gradient\-matching supervision on edge\-dominated natural\-image content, beats MSE\-only training by large margins wherever supervision is scarce, and overtakes FFL only where the signal is statistically homogeneous \(texture\)—the regime the underlying theory is actually about\. Its remaining distinguishing properties are structural\. First, it is the only loss in the comparison that needs neither a grid at any point in the pipeline \(FFL needs one for its transform\) nor trustworthy pointwise gradient targets \(Sobolev’s accuracy tracks target quality, while Kac–Rice is insensitive to it—the oracle diagnostic\)\. Second, it buys structural metrics preferentially: SSIM matching \(blobs\) or exceeding \(ramp,uniform\) FFL’s, and the best top\-band spectral error among the spatial\-domain losses, at a small PSNR cost\. Where those structural properties are decisive—supervision without any usable grid, gradient targets too noisy to match pointwise—it is a reasonable default; where a grid or clean gradients exist, existing losses are already sufficient\.

#### Why no win?

The mechanism we can defend from the data: the crossing profile constrainsLLnumbers per batch—a far weaker constraint than FFL’s full spectrum or Sobolev’sNNpointwise gradients\. Robustness and weakness here are two faces of the same statistic\. The interpolation\-ceiling observation sharpens this: atN=8,192N\{=\}8\{,\}192samples all auxiliary losses already saturate what linear interpolation extracts from the samples, so there was little headroom for a cleverer loss to express an advantage\. Regimes where the ceiling itself moves—strong shape priors, composed losses, or targets \(b\)\-style scheduled crossing profiles that inject*prior*spectral knowledge rather than re\-encoding sample information—are where a distributional drive could still separate; all remain untested here\.

#### Limitations\.

\(i\) Scope: 1D signals and 2D images only; neural SDFs from point clouds—arguably the setting where “no grid, noisy normals” bites hardest—and few\-shot NeRF remain future work, and our conclusions should not be extrapolated to them\. \(ii\) The loss constrains distributional level\-set geometry, not phase: it cannot place an edge, only demand total edge mass, so it is strictly an auxiliary term\. \(iii\) Hyperparameters are benign but real:ε\\varepsilonhas a wide plateau above0\.15​σy0\.15\\sigma\_\{y\},L=16L\{=\}16suffices, andβ\\betatolerates a20×20\\timesrange—but all were tuned on the same image family used for evaluation\. \(iv\) Double backprop makes each iteration∼2\.1×\{\\sim\}2\.1\\timesan MSE iteration, matching Sobolev\. \(v\) Evaluation uses one natural test image plus one synthetic texture at one resolution per task; broader image suites would tighten the estimates, though the seed\-level spreads are already small relative to the effects discussed\. \(vi\)camerais a standard public test image; no personal or sensitive data is involved\.

## 7Conclusion

We turned the Rice level\-crossing density into a differentiable, mesh\-free, FFT\-free auxiliary loss for INRs, validated the underlying estimator against exact crossing counts and the Rice formula, and evaluated it against the strongest loss\-based alternatives under strict information parity\. The result is a clean, honest data point for the field: crossing statistics*work*as a high\-frequency drive—recovering\+2\.3\+2\.3–3\.03\.0dB over plain reconstruction on PE\-MLP and\+1\.4\+1\.4–1\.81\.8dB on SIREN wherever supervision is scarce—but on natural images they match rather than beat frequency\-domain and Sobolev supervision, pulling ahead of the frequency\-domain loss only on statistically homogeneous texture, with their broader distinction being structural: no grid, no FFT, and demonstrated insensitivity to gradient\-target noise\. The broader point is that the geometry of level sets offers a family of spatial\-domain spectral surrogates—crossing densities here; critical\-point counts and Euler characteristics of excursion sets\[[1](https://arxiv.org/html/2607.05815#bib.bib1)\]are natural sequels—that remain defined exactly where frequency\-domain tooling is not, and the settings that motivated this loss most strongly \(point\-cloud SDFs, scheduled crossing targets\) remain open\.

#### Reproducibility\.

Code, experiment scripts, raw result JSONs, and the estimator’s unit tests are public at[https://github\.com/gunnerhowe/Research](https://github.com/gunnerhowe/Research)\(directorykac\-rice\)\. All experiments were run on a single consumer workstation \(16\-core CPU / RTX 3080\); the complete suite reproduces in under a day of commodity compute\.

## References

- Adler and Taylor \[2007\]Robert J\. Adler and Jonathan E\. Taylor\.*Random Fields and Geometry*\.Springer, 2007\.
- Azaïs and Wschebor \[2009\]Jean\-Marc Azaïs and Mario Wschebor\.*Level Sets and Extrema of Random Processes and Fields*\.John Wiley & Sons, 2009\.
- Basri et al\. \[2020\]Ronen Basri, Meirav Galun, Amnon Geifman, David Jacobs, Yoni Kasten, and Shira Kritchman\.Frequency bias in neural networks for input of non\-uniform density\.In*International Conference on Machine Learning \(ICML\)*, 2020\.
- Czarnecki et al\. \[2017\]Wojciech M\. Czarnecki, Simon Osindero, Max Jaderberg, Grzegorz Świrszcz, and Razvan Pascanu\.Sobolev training for neural networks\.In*Advances in Neural Information Processing Systems \(NeurIPS\)*, 2017\.
- Evans and Gariepy \[1992\]Lawrence C\. Evans and Ronald F\. Gariepy\.*Measure Theory and Fine Properties of Functions*\.CRC Press, 1992\.
- Fathony et al\. \[2021\]Rizal Fathony, Anit Kumar Sahu, Devin Willmott, and J\. Zico Kolter\.Multiplicative filter networks\.In*International Conference on Learning Representations \(ICLR\)*, 2021\.
- Gropp et al\. \[2020\]Amos Gropp, Lior Yariv, Niv Haim, Matan Atzmon, and Yaron Lipman\.Implicit geometric regularization for learning shapes\.In*International Conference on Machine Learning \(ICML\)*, 2020\.
- Hertz et al\. \[2021\]Amir Hertz, Or Perel, Raja Giryes, Olga Sorkine\-Hornung, and Daniel Cohen\-Or\.SAPE: Spatially\-adaptive progressive encoding for neural optimization\.In*Advances in Neural Information Processing Systems \(NeurIPS\)*, 2021\.
- Jiang et al\. \[2021\]Liming Jiang, Bo Dai, Wayne Wu, and Chen Change Loy\.Focal frequency loss for image reconstruction and synthesis\.In*IEEE/CVF International Conference on Computer Vision \(ICCV\)*, 2021\.
- Kac \[1943\]Mark Kac\.On the average number of real roots of a random algebraic equation\.*Bulletin of the American Mathematical Society*, 49\(4\):314–320, 1943\.
- Kedem \[1986\]Benjamin Kedem\.Spectral analysis and discrimination by zero\-crossings\.*Proceedings of the IEEE*, 74\(11\):1477–1493, 1986\.
- Kingma and Ba \[2015\]Diederik P\. Kingma and Jimmy Ba\.Adam: A method for stochastic optimization\.In*International Conference on Learning Representations \(ICLR\)*, 2015\.
- Lindell et al\. \[2022\]David B\. Lindell, Dave Van Veen, Jeong Joon Park, and Gordon Wetzstein\.BACON: Band\-limited coordinate networks for multiscale scene representation\.In*IEEE/CVF Conference on Computer Vision and Pattern Recognition \(CVPR\)*, 2022\.
- Liu et al\. \[2024\]Zhen Liu, Hao Zhu, Qi Zhang, Jingde Fu, Weibing Deng, Zhan Ma, Yanwen Guo, and Xun Cao\.FINER: Flexible spectral\-bias tuning in implicit neural representation by variable\-periodic activation functions\.In*IEEE/CVF Conference on Computer Vision and Pattern Recognition \(CVPR\)*, 2024\.
- Longuet\-Higgins \[1957\]Michael S\. Longuet\-Higgins\.The statistical analysis of a random, moving surface\.*Philosophical Transactions of the Royal Society of London\. Series A*, 249\(966\):321–387, 1957\.
- Mildenhall et al\. \[2020\]Ben Mildenhall, Pratul P\. Srinivasan, Matthew Tancik, Jonathan T\. Barron, Ravi Ramamoorthi, and Ren Ng\.NeRF: Representing scenes as neural radiance fields for view synthesis\.In*European Conference on Computer Vision \(ECCV\)*, 2020\.
- Müller et al\. \[2022\]Thomas Müller, Alex Evans, Christoph Schied, and Alexander Keller\.Instant neural graphics primitives with a multiresolution hash encoding\.*ACM Transactions on Graphics*, 41\(4\):102:1–102:15, 2022\.
- Park et al\. \[2019\]Jeong Joon Park, Peter Florence, Julian Straub, Richard Newcombe, and Steven Lovegrove\.DeepSDF: Learning continuous signed distance functions for shape representation\.In*IEEE/CVF Conference on Computer Vision and Pattern Recognition \(CVPR\)*, 2019\.
- Paszke et al\. \[2019\]Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, et al\.PyTorch: An imperative style, high\-performance deep learning library\.In*Advances in Neural Information Processing Systems \(NeurIPS\)*, 2019\.
- Rahaman et al\. \[2019\]Nasim Rahaman, Aristide Baratin, Devansh Arpit, Felix Draxler, Min Lin, Fred Hamprecht, Yoshua Bengio, and Aaron Courville\.On the spectral bias of neural networks\.In*International Conference on Machine Learning \(ICML\)*, 2019\.
- Ramasinghe and Lucey \[2022\]Sameera Ramasinghe and Simon Lucey\.Beyond periodicity: Towards a unifying framework for activations in coordinate\-MLPs\.In*European Conference on Computer Vision \(ECCV\)*, 2022\.
- Rice \[1944\]Stephen O\. Rice\.Mathematical analysis of random noise\.*Bell System Technical Journal*, 23\(3\):282–332, 1944\.and 24\(1\):46–156, 1945\.
- Saragadam et al\. \[2023\]Vishwanath Saragadam, Daniel LeJeune, Jasper Tan, Guha Balakrishnan, Ashok Veeraraghavan, and Richard G\. Baraniuk\.WIRE: Wavelet implicit neural representations\.In*IEEE/CVF Conference on Computer Vision and Pattern Recognition \(CVPR\)*, 2023\.
- Sitzmann et al\. \[2020\]Vincent Sitzmann, Julien N\. P\. Martel, Alexander W\. Bergman, David B\. Lindell, and Gordon Wetzstein\.Implicit neural representations with periodic activation functions\.In*Advances in Neural Information Processing Systems \(NeurIPS\)*, 2020\.
- Tancik et al\. \[2020\]Matthew Tancik, Pratul P\. Srinivasan, Ben Mildenhall, Sara Fridovich\-Keil, Nithin Raghavan, Utkarsh Singhal, Ravi Ramamoorthi, Jonathan T\. Barron, and Ren Ng\.Fourier features let networks learn high frequency functions in low dimensional domains\.In*Advances in Neural Information Processing Systems \(NeurIPS\)*, 2020\.
- Virtanen et al\. \[2020\]Pauli Virtanen, Ralf Gommers, Travis E\. Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, et al\.SciPy 1\.0: Fundamental algorithms for scientific computing in python\.*Nature Methods*, 17:261–272, 2020\.
- Wang et al\. \[2004\]Zhou Wang, Alan C\. Bovik, Hamid R\. Sheikh, and Eero P\. Simoncelli\.Image quality assessment: From error visibility to structural similarity\.*IEEE Transactions on Image Processing*, 13\(4\):600–612, 2004\.
- Xie et al\. \[2022\]Yiheng Xie, Towaki Takikawa, Shunsuke Saito, Or Litany, Shiqin Yan, Numair Khan, Federico Tombari, James Tompkin, Vincent Sitzmann, and Srinath Sridhar\.Neural fields in visual computing and beyond\.*Computer Graphics Forum*, 41\(2\):641–676, 2022\.
- Yang et al\. \[2023\]Jiawei Yang, Marco Pavone, and Yue Wang\.FreeNeRF: Improving few\-shot neural rendering with free frequency regularization\.In*IEEE/CVF Conference on Computer Vision and Pattern Recognition \(CVPR\)*, 2023\.
- Yuan et al\. \[2022\]Wentao Yuan, Qingtian Zhu, Xiangyue Liu, Yikang Ding, Haotian Zhang, and Chi Zhang\.Sobolev training for implicit neural representations with approximated image derivatives\.In*European Conference on Computer Vision \(ECCV\)*, 2022\.

## Appendix AHyperparameters

Table 3:Hyperparameters for all experiments\.
## Appendix BReproducibility

All code, raw result JSONs, and figure generators are public at[https://github\.com/gunnerhowe/Research](https://github.com/gunnerhowe/Research)\(directorykac\-rice\)\. Every number and figure in this paper regenerates from the released raw runs; no result exists only in the manuscript\.

#### Environment\.

Python 3\.13\.6, PyTorch 2\.7\.1, NumPy 2\.4\.4, SciPy 1\.17\.0, Matplotlib 3\.10\.7, on a single 16\-core Windows workstation\. All headline experiments ran on CPU in float32 \(the machine’s GPU was shared with unrelated jobs; CPU wall\-clock is not a reported metric, and the timing comparison of Section 3 uses the dedicated back\-to\-back benchmark below\)\.

#### Commands\.

Estimator correctness tests:python tests/test\_correctness\.py\(7 tests: crossing counts, co\-area, Rice agreement, FFL parity vs\. the official package, gradient flow\)\. Full experiment suite \(parallel workers; resume\-safe, so a single sequential invocation is equivalent\):

python experiments/run\_paper\.py \-\-suites exp1\_1d exp2\_1d exp1\_2d python experiments/run\_paper\.py \-\-suites exp2\_2d \-\-tag \_a python experiments/run\_paper\.py \-\-suites ablations \-\-tag \_c

Figures and tables:python experiments/make\_figures\.pyreadsresults/paper/\*\.jsonand writes every figure and LaTeX table used here\. Timing artifact:python experiments/bench\_timing\.pywritesresults/paper/timing\.json\(source of the2\.12×2\.12\\times/2\.14×2\.14\\timesfactors\)\.

#### Seeds and scope\.

Seeds0–22everywhere \(model init and, on scattered tasks, sampling patterns\),0–11for ablations; all seeds are set by CLI and recorded per run in the JSONs\. Total compute: under one day on the single workstation\.

## Appendix CAdditional results

![Refer to caption](https://arxiv.org/html/2607.05815v1/x8.png)Figure 8:1D scattered fitting\(ramp density,N=384N\{=\}384samples, mean over 3 seeds\)\. Left: reconstructions in the sparsely sampled region; all methods undershoot the highest tone where samples are scarce, with FFL producing the smoothest \(most conservative\) fit\. Right: final PSNR—all four configurations tie within noise \(28\.128\.1–28\.628\.6dB\)\. In 1D the linear interpolant is already a strong gradient/grid surrogate, and no auxiliary loss separates from the pack\.Table 4:Scatteredblobsfitting on the synthetic multi\-scale texture \(2562256^\{2\},N=8,192N\{=\}8\{,\}192; mean±\\pms\.d\. over 3 seeds\)\.

Similar Articles

The Implicit Bias of Depth: From Neural Collapse to Softmax Codes

arXiv cs.LG

This paper studies how depth alone induces an implicit low-rank bias in deep unconstrained feature models trained without regularization, shifting the optimal solution from neural collapse to softmax codes, and provides the first asymptotic and dynamic characterization of this bias under gradient descent with cross-entropy loss.

Derivative Informed Learning of Exchange-Correlation Functionals

arXiv cs.LG

This ICML 2026 paper introduces Derivative Informed XC-Loss (DI-Loss), a training approach for machine-learned exchange-correlation functionals that incorporates first and second derivative supervision on the Grassmannian of density matrices. Across four architectures, DI-Loss reduces total-energy MAE by 66% compared to energy and density supervision alone, and improves excited-state predictions in TDDFT calculations.

A lift for input-convex neural network training

arXiv cs.LG

Proposes a 'lift' method for training input-convex neural networks (ICNNs) that uses an unconstrained hypernetwork to emit non-negative inter-layer weights, softening the loss landscape and escaping gradient attenuation, achieving lower test loss than projected gradient descent and softplus reparametrization.

Closed-Form Steepest Descent Direction toward Flat Minima: Reducing Upper Bounds on the Loss Hessian Eigenspectrum in Neural Networks

arXiv cs.LG

Derives the closed-form gradient of the Wolkowicz-Styan upper bound on the loss Hessian eigenspectrum to guide neural network training toward flat minima, and introduces Hessian Spectral Range (HSR) Regularization. Numerical experiments show that HSR narrows the Hessian eigenvalue range, avoids sharp minima and saddle points, and achieves flat solutions comparable to Sharpness-Aware Minimization (SAM).

Learning sparse neural networks through L₀ regularization

OpenAI Blog

OpenAI proposes a practical L₀ regularization method for neural networks that encourages weights to become exactly zero during training, enabling network pruning for improved speed and generalization. The method uses stochastic gates and introduces the hard concrete distribution to make the non-differentiable L₀ norm optimization tractable via gradient descent.