{
 "artifacts": null,
 "category": "architecture",
 "description": "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.",
 "formulas_latex": [
  "$$\\mathsf P(x)=I-n(x)n(x)^\\top,$$",
  "$$\\nabla f=\\mathsf P(\\overline{\\nabla}\\,\\overline f),$$",
  "$$\\nabla\\boldsymbol v=\\mathsf P(\\overline{\\nabla}\\,\\overline{\\boldsymbol v})\\mathsf P,$$",
  "$$[\\nabla\\boldsymbol v]_{ij}=\\mathsf P_{ik}[\\overline{\\nabla}\\overline{\\boldsymbol v}]_{kl}\\mathsf P_{lj}.$$"
 ],
 "id": 2967,
 "implementation": "Integrate this into a local point-cloud graph layer whose input is point coordinates \\(x_i\\in\\mathbb R^3\\), scalar features \\(s_i\\), and tangent vector features \\(v_i\\in\\mathbb R^3\\). First estimate a unit normal \\(n_i\\) from the centered \\(k\\)-nearest-neighbor covariance matrix: take the eigenvector associated with the smallest eigenvalue, orient neighboring normals consistently when possible, and set \\(P_i=I-n_i n_i^\\top\\). Before every vector-feature update, enforce \\(v_i\\leftarrow P_i v_i\\). For an edge \\(i\\to j\\), use the tangent displacement \\(r_{ij}=P_i(x_j-x_i)\\), its norm \\(d_{ij}=\\|r_{ij}\\|\\), and an MLP message \\(m_{ij}=\\phi([s_i,s_j,v_i,v_j,r_{ij},d_{ij}])\\). If the layer produces a vector message, reshape it as an ambient vector and apply \\(P_i\\); if it produces a linear map from vector features, implement the covariant analogue \\(A_{ij}\\leftarrow P_i A_{ij}P_i\\). A direct derivative branch can estimate an ambient Jacobian \\(J_i\\) by weighted least squares, solving \\(\\min_J\\sum_{j\\in N(i)}w_{ij}\\|v_j-v_i-J(x_j-x_i)\\|^2\\), then use \\(P_iJ_iP_i\\) as the intrinsic Jacobian feature. Compute projectors and least-squares coefficients from geometry; learn only the MLP parameters. Start with a six-layer EGNN or PointNet-style baseline on synthetic scalar and tangent-vector fields over spheres, tori, and randomly deformed embeddings, equalizing parameters, FLOPs, and training steps. Pre-register three mechanism tests: the mean normal velocity component \\(|n_i^\\top v_i|\\) must remain below \\(10^{-5}\\) after every layer; under a rigid rotation of the entire point cloud, prediction error should change by less than 1%; and training on one embedding and testing on an isometric re-embedding should improve relative error by at least 10% at fixed sample count. Remove only the left and right projectors for the ablation. The transfer is falsified if projection does not reduce normal leakage, gives no rotation or re-embedding benefit, or consistently harms in-distribution accuracy by more than 2%.",
 "math_summary": "For an oriented surface \\(\\mathcal S\\subset\\mathbb R^3\\) with unit normal \\(n(x)\\), let \\(\\mathsf P(x)=I-n(x)n(x)^\\top\\) be the orthogonal tangent projector. The paper defines the intrinsic gradient of a scalar extension \\(\\bar f\\) by \\(\\nabla f=\\mathsf P(\\bar\\nabla\\bar f)\\), and the intrinsic covariant derivative of an ambient vector extension \\(\\bar{\\boldsymbol v}\\) by \\(\\nabla\\boldsymbol v=\\mathsf P(\\bar\\nabla\\bar{\\boldsymbol v})\\mathsf P\\). Here \\(I\\) is the \\(3\\times3\\) identity, \\(n\\) is the estimated surface normal, \\(\\bar\\nabla\\) is the ordinary ambient derivative, and \\(\\nabla\\) is the surface derivative. The left projector removes normal components from the derivative output; the right projector restricts the input direction to tangent directions. For a point-cloud network, these identities become a differentiable architectural constraint rather than merely a discretization formula.",
 "math_tags": [
  "differential-geometry",
  "geometry",
  "numerical-analysis"
 ],
 "ml_areas": [
  "graph-nn",
  "world-model",
  "geometry"
 ],
 "paper": {
  "arxiv_id": "2609.00216",
  "arxiv_url": "https://arxiv.org/abs/2609.00216",
  "summary_what_math_gives_to_ml": "The transferable asset is not the particular Navier–Stokes solver, but its meshfree intrinsic calculus for vector fields stored on irregular samples of a curved manifold. Tangent projection provides a simple way to prevent neural outputs from acquiring nonphysical normal components, while projected covariant derivatives give geometry-aware local interactions without constructing a mesh. The artificial-compressibility analysis also suggests a pressure-like feedback state that suppresses local divergence through a tunable stiffness parameter and has a measurable oscillation-frequency signature. The strongest initial tests are therefore a tangent-constrained point-cloud network and a divergence-feedback decoder for predicting surface vector fields.",
  "title": "Solving the Incompressible Navier-Stokes Equations on Oriented Curved Surfaces Discretized by Point Clouds",
  "year": "2026"
 },
 "ratings": {
  "difficulty": 4,
  "novelty": 5,
  "usefulness": 7
 },
 "solves": [
  "accuracy",
  "stability",
  "generalization"
 ],
 "title": "Intrinsic Tangent-Projected Point-Cloud Layer",
 "url": "https://synthcore.org/idea/2967/intrinsic-tangent-projected-point-cloud-layer",
 "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
   }
  }
 }
}