Searcharxiv⌕ Search

arXiv · 2610.32598

Universal neural network approximation of symmetric polyconvex energies and envelopes

Abstract

Symmetric polyconvexity provides a sufficient condition for weak lower semicontinuity in small-strain elasticity and a tractable lower bound for the relaxation of non-(quasi)convex energies. Since classical algorithms for computing such functions can be computationally expensive, neural network approximations have recently emerged as an alternative. A central difficulty with establishing such neural network based approaches for symmetric polyconvexity is the additional monotonicity property. As we show, the corresponding weight restrictions on ReLU-based input-convex networks do not yield universal approximation of the lifted representers. Here, we introduce symmetric polyconvex neural networks (SPCNNs) for constitutive modeling and approximation of symmetric polyconvex envelopes. The deep architecture combines convexity with the monotonicity required of a representer in the space of minors. We prove a universal approximation theorem for symmetric polyconvex energies, without requiring isotropy, and quantify the number of affine pieces attainable by the lifted network and derive reduced architectures for isotropic energies. Numerical examples illustrate stress-based regression and approximation of the symmetric polyconvex envelope of a double-well potential. Symmetric polyconvexity is guaranteed by construction, while the accuracy of the fitted energies and envelopes is assessed numerically.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Florian Gammer. 2026-10-23. Universal neural network approximation of symmetric polyconvex energies and envelopes. https://arxiv.org/abs/2610.32598

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Puzzle Game: Prediction and Classification of Wordle Solution Words

Wordle result prediction involves both daily participation and the difficulty of the solution word. We model these quantities with ARIMA forecasts of report counts, XGBoost regressors using word frequency, letter entropy, and repetition, and a decision tree trained on K-means difficulty tiers. Experiments use 355 daily outcome distributions, with a 107-word chronological holdout and four expanding-window tests. XGBoost reduces holdout mean absolute error from 4.08 to 3.84 percentage points and improves over the training mean in every temporal window. Ridge and random forests remain competitive. XGBoost systematically underestimates failure rates on difficult words. The lexical decision tree achieves 54.2% tier accuracy, compared with 40.2% when predicted histograms are assigned to the same training centroids. Bootstrap analysis shows that cluster stability does not imply that tiers are predictable from lexical attributes. For report counts, comparisons at matched horizons reveal substantial overdispersion in full-history ARIMA intervals. These results characterize the predictive value and limitations of a compact lexical model of reported Wordle performance.

math.NA↗

Nodal Coarsening and Approximate Ideal Interpolation for H(curl) in Algebraic Multigrid

We propose an approximate interpolation construction and a practical coarsening algorithm for algebraic multigrid (AMG) method when applied to H(curl) problems. Building on the generalized AMG framework, we introduce an interior/exterior splitting that yields both a refinement-based and a fully algebraic construction of the interpolation. The refinement-based approach follows a geometric hierarchy, while the purely algebraic interpolation is constructed through a coarsening process that first coarsens a nodal dual problem and then builds coarse and fine variables using a matching algorithm. Under a uniform fine-space smoothing assumption, we prove a jump-independent two-grid convergence bound for canonical finite-element spaces. We also establish an exact commuting relation for the unshifted construction. Two-dimensional numerical experiments demonstrate sparse multilevel hierarchies and robust convergence under strong coefficient jumps in the curl--curl term. Three-dimensional experiments provide a two-level proof of concept, although the interpolation operators remain dense. Developing a practical sparse three-dimensional multilevel method is left to future work.

math.NA↗

Local discontinuous Galerkin FEM for convex minimization

The heart of the a priori and a posteriori error control in convex minimization problems is the sharp control of the differences of discrete and exact minimal energy. Conforming finite element discretizations for p-Laplace type minimization problems provide upper bounds of the energy difference with optimal convergence rates. Even for smooth solutions, known convergence rates for higher-order non-conforming finite element discretizations for the same problem class with $2 < p < \infty$, however, are exclusively suboptimal. Thus the popular a posteriori error control within the two-energy principle, that generalize hyper-circle identities, appears unbalanced. The innovative point of departure in a refined analysis of two discontinuous Galerkin (dG) schemes exploits duality relations between a discrete primal and a semi-discrete dual problem. The infinite-dimensional dual problem leads to a tiny duality gap that even vanishes for polynomial low-order terms. For a class of degenerated convex minimization problems with two-sided $p$ growth, the novel duality provides improved a priori convergence rates for the error in the minimal energies. This closes the misfit of convergence rates for the conforming and nonconforming schemes at least for the local discontinuous Galerkin schemes at hand. The motivating two-energy principle and some post-processing for a Raviart-Thomas dual variable provides an a posteriori error control, that also may drive adaptive mesh-refining. Computational benchmarks provide numerical evidence for improved convergence rates of the adaptive beyond uniform mesh-refining.

math.NA↗