Discrete energy as an exact label-free training objective for finite-element surrogates
- URL: http://arxiv.org/abs/2608.05437v1
- Date: Wed, 05 Aug 2026 22:15:38 GMT
- Title: Discrete energy as an exact label-free training objective for finite-element surrogates
- Abstract summary: This note records, with proofs, the identities that make this signal exact for linear elastostatics.<n>Label-free discrete-energy minimisation and supervised regression in the stiffness norm have the same unique minimiser and identical gradients at every point.
- Score: 0.8125368885437911
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Supervised training of finite-element (FE) surrogate models requires reference solutions, and each reference solution is obtained by solving the system that the surrogate is intended to replace. The assembled discrete potential energy provides a training signal that requires no reference solution. This note records, with proofs, the identities that make this signal exact for linear elastostatics: the difference between the energy of a prediction and the energy of the reference solution equals one half of the squared stiffness-norm error, and the gradient of the energy equals the stiffness-weighted error. Label-free discrete-energy minimisation and supervised regression in the stiffness norm therefore have the same unique minimiser and identical gradients at every point. Around this central result, the note states a conditioning lemma that bounds the displacement error by the energy gap, a modewise contraction identity that explains why the Euclidean displacement error is an unsuitable primary metric, the Chebyshev bound that governs conjugate-gradient post-processing of surrogate predictions, and a conditional latent-separation proposition for joint-embedding predictive architecture (JEPA) pretraining on a shared stiffness operator, with an explicit numerical counterexample that delimits its scope. Every claim with numeric content is implemented as an executable falsification check; the checks were executed twice, on synthetic test problems and on a probe set of 16 instances from the validation split of a pre-registered experimental run, and every inequality holds, with the measured tightness reported. A closing section explains why the construction does not extend to elastodynamics through direct minimisation of the action functional, and which time-discrete formulation restores exactness.
Related papers
- Marginal Coordinate Test for Fréchet Regression with Random Objects [15.929485404318557]
We develop a test for regression with Euclidean predictors and a random-object response in a separable metric space.<n>We establish a weighted centered chi-square null limit, wild bootstrap validity, and consistency against fixed detectable alternatives.<n>For simultaneous inference, truncated p-to-e calibration combined with e-BH provides false discovery rate control under general dependence.
arXiv Detail & Related papers (2026-08-31T11:48:12Z) - Finite-Sample Metric Non-Collapse for Geometrically Supervised Latent World Models in Control [0.0]
We establish a finite-sample learning-to-control theory for geometrically supervised latent models of nonlinear deterministic systems.<n>We introduce an encoder-only local--global metric hinge that enforces directional resolution and separated-state discrimination.<n>A modular deterministic transfers the learned certificates to trajectory, finite-horizon cost, learned-cost-head, and corollary guarantees, while a validated finite-net result enables sharper model-specific certification.
arXiv Detail & Related papers (2026-08-07T14:25:33Z) - Stochastic Counterdiabatic Driving via Biorthogonal Liouvillian Eigenmodes [42.668742604089324]
Escorted free energy simulations address the non-adiabatic lag by engineering control fields $mathbfu$ that eliminate the lag.<n>We construct a complementary numerical framework based on gauge-type transforms instead of generalized coordinate transforms.<n>We show that the counterdiabatic condition is satisfied to machine precision, with the non-adiabatic lag suppressed by roughly twelve orders of magnitude.
arXiv Detail & Related papers (2026-07-27T13:08:14Z) - An Adjoint-Sensitivity Framework for Lost-in-the-Middle Phenomena in Causal Residual Transformers [1.4180331276028662]
We develop an adjoint-sensitivity framework for positional influence in causal residual Transformers.<n>We state boundary advantages under independently checkable energy, correlation, and local-channel bounds.
arXiv Detail & Related papers (2026-07-20T08:44:31Z) - The SIGReg Objective as Variational Free Energy: A Theoretical Active-Inference Account of JEPA World Models [47.471225029744424]
Joint-Embedding Predictive Architectures (JEPAs) are the dominant design for latent world models.<n>We show that the choice of anti-collapse regulariser determines whether a JEPA's training objective, a prediction loss plus a weighted embedding regulariser, is a valid Active Inference (AIF) variational free energy.
arXiv Detail & Related papers (2026-07-15T08:59:36Z) - Fault tolerant computation of the static structure factor and finite size effects [43.936586633107396]
We develop a quantum post-processing strategy for the leading two-body finite-size correction.<n>After one-body shell effects are reduced by twist averaging, the dominant residual error is controlled by long-wavelength density fluctuations.<n>We also introduce adaptive global and local binary search procedures for identifying the infrared fitting window used to reconstruct the two-body finite size error correction.
arXiv Detail & Related papers (2026-06-26T05:31:08Z) - Effective Covariance Dynamics in Solvable High-Dimensional GANs [2.639628765667673]
We study a solvable high-dimensional model of generative adversarial network (GAN) training in which a linear generator learns a low-dimensional subspace from data.<n>We prove that the microscopic training process converges, in the high-dimensional limit, to deterministic ordinary differential equations governed by this effective covariance.
arXiv Detail & Related papers (2026-06-25T16:33:54Z) - Conformal Prediction for Dyadic Regression Under Complex Missingness [2.7512870037345696]
We develop a framework for conformal prediction in dyadic regression problems under complex missingness mechanisms.<n>We establish conditional validity results for both continuous and discrete responses.<n>This is the first formal proof of conditional validity for weighted conformal prediction under a missing-not-at-random assumption.
arXiv Detail & Related papers (2026-06-09T17:28:07Z) - The conditional-mean barrier: From deterministic regression to conditional distribution learning [6.160113667162026]
This tutorial develops a self-contained module centered on the conditional-mean barrier.<n>Adding latent randomness to a squared-loss predictor collapses it back to the conditional mean.<n>We briefly organize common distributional objectives, including negative log-likelihood, moment and observable matching, variational objectives, adversarial divergences, and score matching.
arXiv Detail & Related papers (2026-05-27T07:31:42Z) - Efficient Adjoint Matching for Fine-tuning Diffusion Models [47.05085426361986]
We propose EAM, which substantially improves training efficiency by reformulating the SOC problem with a textit base drift and a textitterminal cost.<n>EAM converges up to 4x faster than AM and matches or surpasses it across various metrics including PickScore, ImageReward, HPSv2.1, CLIPScore and Aesthetics.
arXiv Detail & Related papers (2026-05-12T03:55:12Z) - Stability and Generalization of Push-Sum Based Decentralized Optimization over Directed Graphs [55.77845440440496]
Push-based decentralized communication enables optimization over communication networks, where information exchange may be asymmetric.<n>We develop a unified uniform-stability framework for the Gradient Push (SGP) algorithm.<n>A key technical ingredient is an imbalance-aware generalization bound through two quantities.
arXiv Detail & Related papers (2026-02-24T05:32:03Z) - Discovering Causal Relationships using Proxy Variables under Unmeasured Confounding [42.70985072862832]
Inferring causal relationships between variable pairs in the observational study is crucial but challenging.<n>We develop a general nonparametric approach that accommodates both discrete and continuous settings for testing causal hypothesis under unmeasured confounders.<n>We demonstrate the effectiveness of our approach through extensive simulations and real-world data from the Intensive Care Data and World Values Survey.
arXiv Detail & Related papers (2025-10-20T05:13:12Z) - Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
We propose an unsupervised conformal inference framework for generation.<n>Our gates achieve close-to-nominal coverage and provide tighter, more stable thresholds than split UCP.<n>The result is a label-free, API-compatible gate for test-time filtering.
arXiv Detail & Related papers (2025-09-26T23:40:47Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.