{
  "schema_version": 1,
  "problem_number": "AIM-COMBINATORICS-0014",
  "title": "Boundary Rigidity for Equi-isoclinic Planes",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Consider a family of real two-dimensional subspaces with common isoclinic projection length 1/2. We prove that if one triangle of normalized cross-Gram matrices has negative determinant, then the entire family spans at most six dimensions and contains at most nine planes, independently of the initial ambient dimension. We give an exhaustive finite description relative to such a triangle and show that the nine-member families in this branch form one unordered congruence class. The proof uses the null relation of a singular anchor Gram matrix, eight extension types, and four explicit nonnegative polynomial identities. If no triangle has negative determinant, the family is the realification of complex equiangular lines. The known maximum of nine planes in R6 is credited to Et-Taoui. This is a complete proof of a restricted boundary-parameter theorem, not a resolution of the general fixed-angle conjectures in AIM-COMBINATORICS-0014. The preprint is AI-assisted, self-audited and unrefereed; absolute priority is not certified.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.MG",
    "math.CO",
    "math.FA"
  ],
  "keywords": [
    "AIM-COMBINATORICS-0014",
    "equi-isoclinic planes",
    "holonomy",
    "Gram matrix",
    "subspace packing",
    "exact arithmetic"
  ],
  "manuscript_version_date": "2026-10-23",
  "publication_date": "2026-10-23",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-23",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-combinatorics-0014/",
  "pdf_url": "https://eulersolve.org/papers/aim-combinatorics-0014/paper.pdf?v=9663a25dabd1",
  "doi": "10.5281/zenodo.23602906",
  "zenodo_record_url": "https://zenodo.org/records/23602906",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "At projection length 1/2, any real equi-isoclinic plane family containing a reflection triangle spans at most six dimensions, has at most nine members, admits an explicit finite type/sign classification, and has a unique unordered noncomplex extremal configuration. The general fixed-angle AIM conjectures remain unresolved. The known nine-plane maximum in R6 is credited to Et-Taoui. Precise priority for the restricted rigidity theorem is not certified. This preprint is AI-assisted, self-audited and unrefereed; no independent or formal verification or certified novelty or absolute-priority claim is made.",
  "files": {
    "paper.pdf": {
      "sha256": "9663a25dabd16559be926977d3c1764613749820f98f1476167c637dea15050e"
    },
    "source.zip": {
      "sha256": "762c3ce3c367626ebf43bb2fac032bb73cb979caca8d0447d5df124e8e6b6693"
    },
    "verification_report.md": {
      "sha256": "dcd22506e12666ac97b4eb4763279a621f35c39b9ad1da825e7ed1a71c6fc821"
    }
  },
  "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."
}