{
  "schema_version": 1,
  "problem_number": "AIM-FUNCTIONAL_ANALYSIS-0012",
  "title": "Finite-Frequency Rigidity for Maximal Perimeter Sections",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "We prove a quantitative nonlinear origin-symmetry theorem for convex bodies in three dimensions whose radial functions are close to one in C2 and whose odd parts have bounded spherical harmonic degree. The even part is unrestricted. An explicit bound controls the odd radial part by derivatives at zero of the parallel-section perimeters; for arbitrary odd parts there is an additional C2 high-frequency-tail term. The proof combines the classical equatorial derivative transform with a finite-rank inverse and an explicit nonlinear remainder estimate. All odd parameter jets vanish for sufficiently regular solution families through the ball, and real-analytic families are symmetric. An exactly evaluated ellipsoid example detects a missing term in a printed directional first-variation formula, without affecting the classical infinitesimal theorem at the ball. The neighborhood depends on the harmonic cutoff, and the general maximal-perimeter symmetry conjecture recorded as AIM-FUNCTIONAL_ANALYSIS-0012 is not resolved. Classical inputs are credited. This is an unrefereed preprint with AI assistance disclosed in the paper; no independent review, proof-assistant formalization or absolute priority is claimed.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.MG",
    "math.FA"
  ],
  "keywords": [
    "convex bodies",
    "maximal sections",
    "perimeter",
    "spherical harmonics",
    "local rigidity",
    "stability",
    "analytic families",
    "AIM-FUNCTIONAL_ANALYSIS-0012"
  ],
  "manuscript_version_date": "2026-10-15",
  "publication_date": "2026-10-15",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-15",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-functional-analysis-0012/",
  "pdf_url": "https://eulersolve.org/papers/aim-functional-analysis-0012/paper.pdf?v=78d46fa4b103",
  "doi": "10.5281/zenodo.23383408",
  "zenodo_record_url": "https://zenodo.org/records/23383408",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete local theorem in three dimensions with positive C2 radial function, a finite odd harmonic cutoff and an explicit cutoff-dependent radius. The even part is unrestricted. A high-frequency-tail estimate and a qualified analytic-family consequence are included. The general maximal-perimeter symmetry conjecture remains open; the ellipsoid tests a printed directional formula, not the full conjecture. Classical inputs are credited. Self-audited, unrefereed and AI-assisted; no absolute novelty, independent review or formal verification claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "78d46fa4b103e1d0750e33d33b2ed13866797fb6957e3d3317ac9bccc9c3b700"
    },
    "source.zip": {
      "sha256": "41c8ef7e91dc28c415ab28e79e9994740ba99d4d5bc7c0d8b0e1e3d5c8c61f3e"
    },
    "verification_report.md": {
      "sha256": "fc1d7e8f97acd94dd85997724797ceb4b87e557c06802fff39fab2f7f7b3328f"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}