ML: Geometry

Machine-learning ideas tagged Geometry in the ML taxonomy of the Math2NN corpus.

37 ideas found

△ Mechanism confirmed, baseline not beaten 2026

Horizontal oblique reflection for constrained diffusion

Modify a diffusion or score-based sampler so that boundary reflection is aligned with the model's admissible noise and control directions instead of using the Euclidean normal. At a boundary hit, reflect through the sub-Riemannian diffusion Gram matrix, preserving the anisotropic dynamics and preventing constraint corrections from injecting motion into inaccessible directions.

Useful8/10
Difficulty4/10
Novelty7/10
Paper: Reflected Schrodinger Bridge Problem over Sub-Riemannian Manifold arXiv:2607.17904
✓✓ Beats tuned baseline 2026

Intrinsic Tangent-Projected Point-Cloud Layer

Modify a point-cloud message-passing or neural-operator layer so that scalar gradients, vector features, and vector-to-vector interactions are computed only in the estimated tangent plane of the surface. Projecting both feature values and derivative directions prevents the network from using arbitrary ambient-space normal directions and should improve transfer across differently embedded but intrinsically similar surfaces.

Useful7/10
Difficulty4/10
Novelty5/10
Paper: Solving the Incompressible Navier-Stokes Equations on Oriented Curved Surfaces Discretized by Point Clouds arXiv:2609.00216
△ Mechanism confirmed, baseline not beaten 2026

Boundary-Radial Persistence Loss

Add a topology-aware loss to a segmentation or implicit-shape network by computing radial extended persistence on the predicted boundary rather than on the full predicted mask. Match signed persistence intervals of the prediction to those of the target, penalizing missing, extra, or incorrectly ordered radial components and holes. This should provide a compact shape prior that is sensitive to anatomy-specific radial organization while avoiding volumetric homology computation.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Computing extended persistent homology of radial distance filtrations of Euclidean shapes arXiv:2608.11963
✓✓ Beats tuned baseline 2026

Divergence-Free Spherical Kernel Layer

Build a kernel aggregation layer whose output is a tangent vector field on the unit sphere and whose surface divergence is identically zero by construction. For each source point, use a matrix kernel obtained by applying a surface-rotated gradient in the query variable to a scalar zonal kernel; this is a differential-form version of the paper's matrix-valued construction. The layer can replace attention or message passing when the target dynamics are incompressible, such as spherical fluid…

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Divergence-free interpolation of tangential vector fields via matrix-valued kernels arXiv:2608.05547
△ Mechanism confirmed, baseline not beaten 2026

Bundle-Glued Neural Field

Represent a field on a manifold with one neural network per chart, while enforcing the exact transition law between chart outputs on overlaps. This avoids the artificial requirement that one coordinate frame work globally and should improve learning on spherical, periodic, or otherwise topologically nontrivial domains. Use an augmented Lagrangian rather than only a pointwise penalty so chart compatibility is enforced strongly without requiring identical local parameterizations.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Finite element discretization of Yang--Mills connections arXiv:2608.02108
△ Mechanism confirmed, baseline not beaten 2026

Harmonic-coordinate neural PDE ansatz

Build a complex-valued coordinate map q(x) whose components are harmonic and whose gradients are mutually null, then feed q(x) into an otherwise unconstrained neural function v. Any learned output of the form u(x)=v(q(x)) is analytically harmonic when the constraints are satisfied, so the network does not need to rediscover the Laplace structure from collocation data. This is especially suitable for two-dimensional elliptic PDEs, where q=x+iy is the canonical example.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Harmonic Variables for Laplace Operators on Homogeneous Spaces arXiv:2607.14132
✗ Failed on benchmark 2026

Tangent-Cone Score Target

Use the Gaussian mass of the local inward tangent cone to construct an analytic score target for noisy points lying within O(\sigma) of a support boundary or corner. This prevents a score network from learning an incorrect full-manifold or Euclidean approximation in the region where diffusion sampling is most sensitive to support truncation.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Boundary-layer asymptotics for Gaussian-smoothed singular measures arXiv:2607.04514
✓✓ Beats tuned baseline 2026

Weak Cartan curvature loss

Replace a pointwise Gauss-equation penalty involving the determinant of a neural surface Hessian with a weak Cartan residual built from an orthonormal coframe and its connection 1-form. The residual is evaluated after integration against compactly supported test functions, making curvature supervision less sensitive to noisy second derivatives and compatible with rough neural surfaces.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity arXiv:2607.02412
✓✓ Beats tuned baseline 2026

Differentiable R-Function Geometry Gate

Attach an analytic geometry gate to a KAN or MLP so that known feasible regions, exclusions, and unions are represented by differentiable implicit functions instead of being learned only from samples. Use R-conjunctions for intersections and R-disjunctions for unions, then convert the signed support score into a soft gate that modulates the prediction.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Geometry-Aware R-Structured Kolmogorov-Arnold Networks arXiv:2607.01449
✗ Mechanism failed 2026

Long-Cycle Topological Graph Pooling

Construct a sparse radius graph over input samples or learned node embeddings, compute its cycle space, and remove the subspace generated by sufficiently short cycles. Feed the remaining quotient-cycle coordinates or Betti-rank estimate to a graph neural network as a global topological feature, or use them to guide pooling so that local redundant loops are collapsed while global loops are retained. The paper predicts that the threshold L approximately equal to |log r| graph hops is the critical…

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Detection of first homology via random geometric graphs in the thermodynamic regime arXiv:2608.25065
Unverified 2026

Bernstein Bounded Implicit Representation

Parameterize a scalar or vector implicit neural field on each spatial cell with Bernstein polynomials and constrain its coefficients instead of sampling many points to enforce output bounds. The Bernstein convex-hull property gives a deterministic pointwise bound everywhere in the cell, making the method useful for neural fields representing densities, concentrations, masks, or material parameters.

Useful6/10
Difficulty4/10
Novelty7/10
Paper: Bounds-Constrained Finite Element Approximation of Time-Dependent Partial Differential Equations arXiv:2609.01915
Unverified 2026

Interleaving-Calibrated Pixel Topology

Use the paper's explicit pixel-spacing error bound to make radial topological features and losses resolution-aware. Treat intervals whose endpoint changes are below the discretization tolerance as unreliable, and use the bound to select contour resolution or a persistence threshold instead of tuning these quantities arbitrarily. This can improve robustness to rasterization, small contour perturbations, and multi-resolution training.

Useful6/10
Difficulty4/10
Novelty7/10
Paper: Computing extended persistent homology of radial distance filtrations of Euclidean shapes arXiv:2608.11963
Unverified 2026

GW Geodesic Mixup

Generate relational training examples by first coupling two graphs or kernels and then interpolating every matched pair of node or edge attributes along a geodesic in Z. Unlike ordinary mixup, this preserves the intrinsic Gromov-Wasserstein correspondence and produces constant-speed paths in the relational metric when Z is geodesic.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Metric Geometry of Lebesgue, Wasserstein, and Gromov-Wasserstein Spaces: Submetries, Curvature, and Geodesics arXiv:2608.11680
Unverified 2026

Chain-Current Latent States

Replace an unconstrained geometric latent vector with a state consisting of discrete chain coefficients, a continuous current, and an integral-current curvature. Neural updates are projected through the differential-homology boundary operator, so learned states remain compatible with conservation and boundary structure on meshes or point clouds.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Differential Homology arXiv:2608.05048
Unverified 2026

Riesz-distance signature loss for polygon reconstruction

Add a transformation-invariant global shape loss based on the interpoint-distance distribution or its Riesz-energy transform to a network that predicts polygon vertices or masks. Matching this signature forces the prediction to reproduce global side-length and angle structure even when local vertex correspondence is ambiguous, while random translations, rotations, and reflections require no alignment preprocessing. The uniqueness guarantee applies to generic polygonal domains, so this should be…

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Identification of generic polygonal domains by integral-geometric invariants arXiv:2608.02288
Unverified 2026

Volume-Weighted Hodge Convolution

Replace the ordinary combinatorial Hodge propagation in a simplicial neural network with a geometry-induced weighted Hodge Laplacian built from Euclidean simplex volumes. The operator preserves the harmonic/topological subspace while changing the positive spectrum according to the shape and scale of the simplices, allowing message passing to distinguish geometrically meaningful cells that have identical incidence patterns.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Geometry-Induced Hodge Stars on Rips and Dowker--Rips Complexes arXiv:2607.18692
Unverified 2026

Minkowski gradient barrier for neural fields

Add a Born–Infeld/Minkowski-gradient barrier to a coordinate MLP so that its spatial gradient remains below a prescribed speed limit, rather than using an ordinary quadratic smoothness penalty. Couple the barrier with a forcing or task loss; under strong forcing, the resulting field should preferentially approach a distance-to-boundary-like profile while avoiding exploding derivatives and oscillatory solutions.

Useful6/10
Difficulty4/10
Novelty5/10
Paper: Positive and nodal solutions for the Minkowski mean curvature equation: multiplicity and asymptotics arXiv:2607.15956
Unverified 2026

Arcosh-convex PINN output

Replace the usual unconstrained PINN output u_theta(x) with a latent field w_theta(x), and reconstruct the physical solution as u_theta(x) = -2 log cosh(w_theta(x)). Train w_theta to be convex while enforcing the Liouville or real two-Hessian PDE residual and the boundary condition u = 0. The transformation automatically gives u less than or equal to zero, matching the target solutions, while convexity supplies a strong global shape prior.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: Strict Convexity for Solution of Liouville-Type Dirichlet Problems arXiv:2607.12849
Unverified 2026

Mapping-Cone Compatible Representation

Train a map F from a source representation to a target representation together with a source-side potential η and target-side differential form ω. Penalize the mapping-cone closure residual F*ω-dη, while separately enforcing dω=0; this makes the learned representation preserve a global differential relation instead of only matching pointwise features.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Reduction of relative multisymplectic manifolds arXiv:2607.12350
△ Mechanism confirmed, baseline not beaten 2026

Bounded Commuting Cochain Layer

Replace independently predicted node, edge, and face features on a simplicial mesh by a coupled projection layer that is idempotent, bounded in a mass-matrix norm, and approximately commutes with the discrete exterior derivative. The layer can be inserted after an ordinary graph-neural update and should suppress topologically inconsistent feature components without requiring the downstream network to learn these constraints from data.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: An Approximate Bounded Cochain Projection arXiv:2607.07457
✓✓ Beats tuned baseline 2026

Singularity-Enriched Neural Ansatz

Add an explicit local power-law singular basis to a neural field near mixed Dirichlet-Neumann junctions, allowing the neural network to learn only the smoother remainder. Use the predicted or fitted singular exponent to concentrate collocation points near the junction. This directly targets the regularity bottleneck identified by the paper, where increasing polynomial degree or network capacity cannot overcome a convergence cap under uniform resolution.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: A Unified CutFEM Formulation for Finite-Strain Elasticity: Energy Minimisation and Corner Singularities arXiv:2607.02334
✗ Mechanism failed 2026

Energy-Derived Nitsche Neural Fields

Represent a solution on an unfitted domain with local neural subnetworks and train them using one augmented energy containing the bulk physical energy, symmetric Nitsche boundary or interface terms, and a derivative-jump ghost penalty. Automatic differentiation of this scalar objective supplies all gradients and avoids independently tuning inconsistent PDE residual, flux, and boundary losses. The method is especially suited to moving geometries, cut-cell domains, and domain-decomposed neural…

Useful6/10
Difficulty5/10
Novelty6/10
Paper: A Unified CutFEM Formulation for Finite-Strain Elasticity: Energy Minimisation and Corner Singularities arXiv:2607.02334
✓✓ Beats tuned baseline 2026

Exact Elasticity-Complex Message Passing

Construct a mesh neural network with node, edge, face, and cell feature spaces modeled on the four spaces of the discrete elasticity complex. Replace unconstrained cross-order message passing by fixed incidence and geometric operators whose compositions vanish exactly, so gradient-like, incompatibility-like, and divergence-like features cannot contain algebraically spurious components.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: A Vector-Valued Co-Chain/Chain Complex Associated to the Elasticity Complex arXiv:2608.23829
△ Mechanism confirmed, baseline not beaten 2026

Polyconvex rotation-frame Jacobian loss

Replace ordinary Jacobian penalties in coordinate MLPs or deformation networks with a learned local rotation frame and a polyconvex energy of the relative stretch. Penalize \(U\), its cofactor, and its determinant through a convex function, while separately smoothing the rotation field through \(R^T\operatorname{Curl}R\). The intended benefit is resistance to fold formation and better conditioning than directly penalizing \(\|J-I\|^2\), especially for large deformations.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Polyconvexity for Cosserat nonlinear elasticity and nonlinear couple-stress theory arXiv:2608.23072