{
 "artifacts": null,
 "category": "architecture",
 "description": "Build a geometry-conditioned neural operator on a single reference mesh instead of remeshing or changing the network discretization for every domain shape. Transport vector-valued surface features with a contravariant surface Piola map, and feed the network geometry-dependent pulled-back quantities. This should make the architecture stable across shape changes and allow batching many geometries with identical tensor shapes.",
 "formulas_latex": [
  "$$r_{\\mathbf y}(\\hat x)=\\hat x+\\sum_{j\\geq 1}y_j\\psi_j(\\hat x),\\qquad \\mathbf y=(y_j)_{j\\geq1}\\in[-1,1]^{\\mathbb N},\\qquad \\Gamma_{\\mathbf y}=r_{\\mathbf y}(\\widehat\\Gamma).$$",
  "$$b_j:=\\|\\psi_j\\|_{W^{2,\\infty}(\\widehat\\Gamma;\\mathbb R^3)},\\qquad \\mathbf b=(b_j)_{j\\ge1}\\in\\ell^p,\\quad 0\u003cp\u003c1.$$",
  "$$\\mathcal P_{\\mathbf y}\\hat u\\big(r_{\\mathbf y}(\\hat x)\\big)=J_{\\mathbf y}(\\hat x)^{-1}D_T r_{\\mathbf y}(\\hat x)\\hat u(\\hat x).$$",
  "$$\\int_{\\Gamma_{\\mathbf y}} u_{\\mathbf y}\\cdot v_{\\mathbf y}\\,dS=\\int_{\\widehat\\Gamma}\\big(J_{\\mathbf y}^{-1}D_T r_{\\mathbf y}\\hat u\\big)\\cdot\\big(J_{\\mathbf y}^{-1}D_T r_{\\mathbf y}\\hat v\\big)J_{\\mathbf y}\\,d\\hat S.$$"
 ],
 "id": 2973,
 "implementation": "(1) Replace the surface or mesh input of a vector neural operator by one fixed reference mesh \\(\\widehat\\Gamma\\). For each batch item, provide shape coefficients \\(y_1,\\ldots,y_K\\), compute \\(r_{\\mathbf y}\\), tangential derivatives \\(D_T r_{\\mathbf y}\\), surface Jacobian \\(J_{\\mathbf y}\\), and transformed normals. Apply the Piola map to every vector-valued input feature and inverse-Piola-map the output current or field. Use a mesh graph neural operator, Fourier layer on a parameterized chart, or attention over reference nodes; all batch items then share node and edge indices. (2) Pseudocode: sample \\(y\\); compute \\(r=\\hat x+\\sum_{j=1}^K y_j\\psi_j(\\hat x)\\); compute \\(A=D_T r\\) and \\(J\\); set \\(u=J^{-1}A\\hat u\\); run \\(\\hat z=F_\\theta(\\hat x,y,A,J,n,\\hat u)\\); return \\(z=\\mathcal P_y\\hat z\\). For a variational loss, assemble integrands on the reference mesh with transformed features and include the displayed area factor, without an additional geometry-dependent normalization. (3) Compute \\(r,A,J\\) analytically or by automatic differentiation from the deformation basis; estimate no theorem constants. Monitor whether \\(J\\) stays positive and reject invalid shapes. (4) First experiment: train a small mesh neural operator on Helmholtz or Maxwell fields over randomly deformed spheres or cubes, comparing this model with a remeshed model and a Cartesian coordinate-conditioned baseline. Measure relative field error, unseen-shape error, batching throughput, and memory. Success is equal accuracy with one shared mesh, at least 2x larger geometry batch size, and smoother error as deformation coefficients vary.",
 "math_summary": "The paper parameterizes surfaces by \\(r_{\\mathbf y}(\\hat x)=\\hat x+\\sum_{j\\ge1}y_j\\psi_j(\\hat x)\\), with \\(\\mathbf y\\in[-1,1]^{\\mathbb N}\\), reference surface \\(\\widehat\\Gamma\\), deformation modes \\(\\psi_j\\), and amplitudes \\(b_j=\\|\\psi_j\\|_{W^{2,\\infty}(\\widehat\\Gamma)}\\). A surface contravariant Piola map transports a reference tangential current \\(\\hat u\\) to the deformed surface by \\(u(r_{\\mathbf y}(\\hat x))=J_{\\mathbf y}(\\hat x)^{-1}D_T r_{\\mathbf y}(\\hat x)\\hat u(\\hat x)\\), where \\(D_T r_{\\mathbf y}\\) is the tangential derivative and \\(J_{\\mathbf y}\\) is the surface Jacobian. The paper's key structural fact is exact cancellation of surface Jacobian factors in the pulled-back variational formulation. The neural adaptation uses this transport to ensure that vector features represent the same physical type on every geometry rather than coordinate-dependent components.",
 "math_tags": [
  "geometry",
  "functional-analysis",
  "differential-geometry"
 ],
 "ml_areas": [
  "graph-nn",
  "embedding",
  "world-model"
 ],
 "paper": {
  "arxiv_id": "2609.00466",
  "arxiv_url": "https://arxiv.org/abs/2609.00466",
  "summary_what_math_gives_to_ml": "The paper provides a constructive recipe for representing operators on changing surfaces in one fixed function space: a surface contravariant Piola map transports geometry-dependent Maxwell trace spaces to a reference space, while Jacobian factors cancel in the pulled-back variational form. Its second transferable asset is dimension-independent sparse approximation: if shape perturbation amplitudes belong to \\(\\ell^p\\), \\(0\u003cp\u003c1\\), holomorphic parameter dependence implies rapidly decaying multivariate Legendre coefficients. Together these suggest geometry-conditioned neural operators or hypernetworks that reuse one mesh and one parameter indexing across shapes, while replacing dense dependence on infinitely many shape variables by a learned sparse polynomial dependence. The most credible first test is a fixed-reference neural operator for PDE or scattering data across randomly deformed domains, compared against remeshing and dense parameter encodings.",
  "title": "Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator",
  "year": "2026"
 },
 "ratings": {
  "difficulty": 6,
  "novelty": 7,
  "usefulness": 7
 },
 "solves": [
  "scalability",
  "memory",
  "stability"
 ],
 "title": "Piola-Conditioned Fixed-Reference Neural Operator",
 "url": "https://synthcore.org/idea/2973/piola-conditioned-fixed-reference-neural-operator",
 "verification": {
  "peer_reviewed": false,
  "status": "unverified",
  "status_label": "Unverified",
  "verdict_source": "deterministic test code (paired-seed permutation statistics)",
  "verification_axes": {
   "benchmark_mechanism": {
    "confirmed": null,
    "tested": false
   },
   "practical_benchmark": {
    "beats_baseline": null,
    "tested": false
   },
   "toy_mechanism_gate": {
    "confirmed": null,
    "tested": false
   }
  }
 }
}