{
  "schema_version": 1,
  "problem_number": "OWR-15585-006",
  "title": "Strong Approximate Innerness for Diagonal Graph Actions without Aperiodicity",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Every finite abelian action on the C*-algebra of a finite strongly connected noncycle graph that fixes vertices and scales edges by characters is strongly approximately inner. Neither graph aperiodicity nor action outerness is assumed. The proof uses Barlak and Szabo's aperiodic outer-action theorem as its analytic input, removes the graph period through a return-path corner and fixed-frame lifting, and removes the inner kernel through vertex coboundaries and extension of subgroup characters. A block-diagonal polar correction restores fixed implementers for the original action. The result answers the finite abelian diagonal quasi-free action question in Oberwolfach Report 42/2017, p. 2621, for simple purely infinite Cuntz-Krieger algebras. This is an AI-assisted, self-audited, unrefereed preprint; no formal verification, independent human review or absolute priority is claimed.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.OA"
  ],
  "keywords": [
    "Cuntz-Krieger algebra",
    "graph C*-algebra",
    "finite abelian action",
    "strong approximate innerness",
    "full corner",
    "vertex coboundary",
    "OWR-15585-006"
  ],
  "manuscript_version_date": "2026-10-18",
  "publication_date": "2026-10-18",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-18",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-15585-006/",
  "pdf_url": "https://eulersolve.org/papers/owr-15585-006/paper.pdf?v=3615cd22b366",
  "doi": "10.5281/zenodo.23443694",
  "zenodo_record_url": "https://zenodo.org/records/23443694",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Affirmative answer to the exact source question. The analytic input is Barlak-Szabo Corollary 2.8; explicit period-corner and inner-kernel reductions remove its aperiodicity and outerness restrictions. Strong approximate innerness, not approximate representability. AI-assisted, self-audited and unrefereed; no independent review, formal certification or absolute-priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "3615cd22b366de15c7e7fd8afeb30287ad82029c3124d03044a4f21a7c18b30a"
    },
    "source.zip": {
      "sha256": "2033dc542558612178bae40c84c75d908e5a85af6027502ca0dd25f34a07aa45"
    },
    "verification_report.md": {
      "sha256": "9df5b5bdd142ee70fecac82ff1b73aa3d8fa3e9d0f71d8cda70ef31275607deb"
    }
  },
  "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."
}