{
  "schema_version": 1,
  "problem_number": "AIM-ANALYSIS-0016",
  "title": "A Four-Point Obstruction to Completeness for Three Atomic Inner Functions",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "For the atomic singular inner functions u_(xi,alpha)(z)=exp[-alpha(xi+z)/(xi-z)], we construct an explicit four-point functional annihilating all individual nonnegative powers at singularities 1, -1 and i with mass 3*pi, while detecting z^2. Their linear span is therefore not weak-star dense in H-infinity, not dense in H^p for any 0<p<infinity, and not dense for locally uniform convergence. The certificate also works with the fourth atom at -i and independent positive integer multiples of the masses. A real smooth Poisson-kernel density annihilates all bilateral boundary powers in L-infinity. Four is the minimal possible support size for an evaluation annihilator associated with three distinct atomic singularities. Disk automorphisms give bad positive masses at every prescribed triple of distinct boundary locations. These complete explicit results disprove universal completeness but do not classify the complete parameter configurations or close the underspecified AIM source question. This is an unrefereed preprint with no absolute priority claim.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.CV",
    "math.FA"
  ],
  "keywords": [
    "AIM-ANALYSIS-0016",
    "atomic inner function",
    "completeness",
    "Hardy space",
    "weak-star topology",
    "finite-support annihilator",
    "Poisson kernel"
  ],
  "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-analysis-0016/",
  "pdf_url": "https://eulersolve.org/papers/aim-analysis-0016/paper.pdf?v=2aa523fa4e96",
  "doi": "10.5281/zenodo.23405157",
  "zenodo_record_url": "https://zenodo.org/records/23405157",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete explicit pure-power counterexamples, a bilateral boundary obstruction, the optimal four-point evaluation-support bound and conformal transport with suitable masses. Mixed products and a classification of complete parameter configurations are not covered. The underspecified AIM source question is not declared solved. Prior two-function completeness results and Seco's third-function abstract are credited. Unrefereed and AI-assisted; no independent review, formal verification or absolute priority is certified.",
  "files": {
    "paper.pdf": {
      "sha256": "2aa523fa4e9662b7ecfd5f71943f056170b89789e1e8342e1dca4a2e2009f642"
    },
    "source.zip": {
      "sha256": "970d0bdc2200ecd3c2e2902397c539b53333995c6fb1d06681dda88d466374c7"
    },
    "verification_report.md": {
      "sha256": "6268db28fde448f8ef53300b992cc196bbddbf660e93d2434f500d026715345b"
    }
  },
  "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."
}