Search papers, labs, and topics across Lattice.
This paper introduces a reference-free selection rule for neural approximations of symmetric coercive variational problems, addressing the challenge of accessing logged energy errors without exact solutions. By employing a computable conforming Riesz monitor, the authors establish a method that provides both lower and upper bounds on logged energy errors, ensuring uniform recovery and oracle-level selection from finite checkpoint archives. Key findings reveal that the order of archive selection is critical, as unresolved components can significantly alter the ranking of approximations, emphasizing the need for a robust selection criterion that operates independently of exact error minimization.
Archive selection can dramatically shift based on unresolved components, revealing that checkpoint recovery alone is insufficient for accurate energy-oracle ranking.
Neural PDE training yields a finite checkpoint archive, yet its logged energy errors are inaccessible without the exact solution, while loss-based selection does not necessarily recover the logged energy oracle. For admissible neural approximations of symmetric coercive variational problems, we introduce a reference-free selection rule based on minimizing a computable conforming Riesz monitor. The exact residual-energy identity and conforming projection make the monitor an unconditional lower bound converging monotonically to each logged energy error under nested conforming refinement; under saturation, hierarchical enrichment yields a computable upper estimate and hence a lower-upper bracket. A key finding is that archive selection is order-sensitive: unresolved checkpoint-dependent components can reverse the oracle-non-oracle ranking at finite resolution, so checkpointwise recovery alone is insufficient. For finite archives, we prove uniform recovery, yielding convergence to the logged-oracle error and, without saturation, logged-oracle selection at sufficiently fine auxiliary resolution. Under saturation, the bracket gives a computable near-oracle bound and certifies unique logged-oracle selection upon interval separation. We also bound logging-resolution loss and certify oracle inclusion over prescribed comparison trajectories. The resulting criterion replaces inaccessible exact-error minimization by computable, training-independent post-training selection on the intrinsic energy-error scale, requiring only the computed candidates and the variational problem. Experiments on diffusion and elasticity, including a non-manufactured perforated plate, demonstrate energy-scale calibration, oracle-level selection, and modest post-processing cost.
