{
 "artifacts": null,
 "category": "architecture",
 "description": "Replace or augment ordinary radial positional features with Dirichlet Bessel eigenfunctions whose first zero exactly matches the domain boundary. This creates a scale-normalized basis aligned with the lowest Jacobi modes of a cone, potentially improving learning of fields or shapes with radial geometry and hard outer boundaries.",
 "formulas_latex": [
  "$$\\lambda_{\\mathbf C}^{D}(R)=\\frac{j_{b_1,1}^{2}}{R^{2}},\\qquad b_1^{2}=\\frac{(n-2)^{2}}{4}+\\mu_{1}.$$",
  "$$\\phi_k(r;R)=J_b\\!\\left(j_{b,k}\\frac{r}{R}\\right),\\qquad \\phi_k(R;R)=J_b(j_{b,k})=0.$$",
  "$$h_\\theta(x)=\\operatorname{MLP}_\\theta\\left([x,\\phi_1(\\|x\\|;R),\\ldots,\\phi_K(\\|x\\|;R),\\phi_k(\\|x\\|;R)Y_\\ell(\\omega)]_{k,\\ell}\\right),\\qquad \\omega=x/\\|x\\|.$$"
 ],
 "id": 240,
 "implementation": "Integrate the basis at the input of a coordinate MLP, neural operator, or polar/spherical CNN patch. Normalize each sample to a known outer radius \\(R\\), compute \\(\\rho=\\|x\\|/(R+\\varepsilon)\\), and concatenate \\(K\\) radial features \\(\\phi_k(\\rho)=J_b(j_{b,k}\\rho)\\) to Cartesian or Fourier features. Start with \\(K=8\\) and fixed \\(b=\\max(0,(n-2)/2)\\). For a non-spherical cross-section, estimate the link eigenvalue \\(\\mu_1\\) once using a finite-element or graph eigensolver, then set \\(b=\\sqrt{(n-2)^2/4+\\mu_1}\\). Compute Bessel zeros with a scientific-library root finder and cache them. Compare against learned sinusoidal radial features and no radial features at equal width. The theorem predicts that rescaling the domain from \\(R\\) to \\(aR\\) rescales the lowest spectral variation by \\(a^{-2}\\); therefore train on several radii and evaluate zero-shot at unseen radii. The cheapest experiment is a coordinate MLP fitting analytic radial fields or Poisson solutions on disks and balls. Record relative L2 error, boundary-condition violation, optimization steps, and zero-shot radius-transfer error. Success is lower error and faster convergence near the Dirichlet boundary without meaningful inference overhead.",
 "math_summary": "For a stable regular minimal hypercone \\(\\mathbf C\\), let \\(\\lambda_{\\mathbf C}^{D}(R)\\) be the first Dirichlet eigenvalue of its Jacobi operator on \\(\\mathbf C\\cap B_R\\), let \\(\\mu_1\\) be the first eigenvalue of the link Jacobi operator, and define \\(b_1^2=(n-2)^2/4+\\mu_1\\). If \\(J_{b_1}\\) is the Bessel function of the first kind and \\(j_{b_1,1}\\) is its first positive zero, the paper gives the exact law \\(\\lambda_{\\mathbf C}^{D}(R)=j_{b_1,1}^2/R^2\\). The transferable properties are inverse-square scaling and a radial mode that vanishes exactly at the boundary. For normalized radius \\(\\rho=\\|x\\|/R\\), use \\(\\phi_k(\\rho)=J_b(j_{b,k}\\rho)\\), where \\(b\\) is selected from the angular spectrum or estimated from a discretized link operator.",
 "math_tags": [
  "spectral-theory",
  "pde",
  "special-functions",
  "geometry"
 ],
 "ml_areas": [
  "mlp",
  "initialization",
  "training-dynamics"
 ],
 "paper": {
  "arxiv_id": "2608.27398",
  "arxiv_url": "https://arxiv.org/abs/2608.27398",
  "summary_what_math_gives_to_ml": "The paper supplies two explicit stability tools with potential use in geometric machine learning: a distance-weighted perimeter-excess inequality and an exact inverse-square Dirichlet spectral law for conical domains. The first can become a geometry-aware regularizer for networks predicting regions or decision sets, where ordinary pixelwise losses do not distinguish boundary displacements by geometric cost. The second suggests fixed, scale-compatible radial features for coordinate networks or neural operators, with Bessel zeros enforcing boundary-aware modes. These ideas are most relevant to segmentation, shape learning, and PDE surrogates rather than generic language models.",
  "title": "Strict Stability and Strict Minimality of Regular Area-Minimizing Hypercones: A Quantitative Characterization",
  "year": "2026"
 },
 "ratings": {
  "difficulty": 4,
  "novelty": 8,
  "usefulness": 5
 },
 "solves": [
  "accuracy",
  "stability",
  "sample-efficiency"
 ],
 "title": "Bessel-Conical Radial Basis",
 "url": "https://synthcore.org/idea/240/bessel-conical-radial-basis",
 "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
   }
  }
 }
}