{
  "schema_version": 1,
  "problem_number": "OWR-11695865-007",
  "title": "An Exact Singular-Locus Formula for Rooted-Tree Compartmental Models",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "We compute the coefficient-map Jacobian determinant of every bidirected-tree linear compartmental model whose sole input, output and leak are at one root. The determinant is a product of explicit edge powers and squared resultants of characteristic polynomials of sibling branches. For a descendant subtree of size s, the rates away from and toward the root have exact multiplicities s-1 and s. The formula proves the catenary singular-locus conjecture of Gross, Meshkat and Shiu and the tree multiplicity conjecture credited by them to Hoch, Sweeney and Tung, and specifies all additional factors caused by branching. The proof is a polynomial gluing and leaf-elimination argument, valid also at zero rates and coincident branch spectra. These are the adjacent compartmental conjectures, not the general structural-equation covariance question extracted as OWR-11695865-007. This is an unrefereed, AI-assisted preprint; no absolute-priority or independent-certification claim is made.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.CO",
    "math.AG",
    "math.DS"
  ],
  "keywords": [
    "OWR-11695865-007",
    "linear compartmental models",
    "rooted trees",
    "singular locus",
    "Jacobian determinant",
    "resultant",
    "identifiability"
  ],
  "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/owr-11695865-007/",
  "pdf_url": "https://eulersolve.org/papers/owr-11695865-007/paper.pdf?v=e14b070a2aef",
  "doi": "10.5281/zenodo.23401376",
  "zenodo_record_url": "https://zenodo.org/records/23401376",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete coefficient-Jacobian determinant identity for every finite bidirected tree with sole input, output and leak at its root. It proves the adjacent catenary and tree-multiplicity conjectures, GMS v3 Conjectures 5.5 and 5.9 (the latter credited to Hoch, Sweeney and Tung). The general mixed-graph structural-equation covariance question extracted as OWR-11695865-007 remains open. Self-audited, unrefereed and AI-assisted; no independent certification, formal proof verification or absolute-priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "e14b070a2aefafc6e28c38c769fa8e8b329dc613491ec4f4c78daa9711eca160"
    },
    "source.zip": {
      "sha256": "506ee0c3fa2bb121c8259213e8537ef60f234cd5110bcc07d07ac7bedf92aae0"
    },
    "verification_report.md": {
      "sha256": "2ca48fce051ea0b708acfb106508e54704f7220132cf218880a149efc3393a69"
    }
  },
  "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."
}