{
  "schema_version": 1,
  "problem_number": "OWR-741-001",
  "title": "Hive Polytopes with Arbitrary Integral Right-Hand Sides Have Integral Points Exactly up to Rank 5: A Counterexample to a Conjecture of De Loera and McAllister",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Knutson and Tao proved that a nonempty hive polytope has an integral vertex. De Loera and McAllister conjectured that this extends to arbitrary integral right-hand sides: if B and R are the matrices of the boundary equations and of the rhombus inequalities of hive patterns of rank r, every nonempty polytope {h : Bh = b, Rh ≤ c} with integral b and c should have an integral vertex, and the matrix [B 0; R I] should have a unimodular triangulation (Oberwolfach Report 39/2004; Experiment. Math. 15 (2006), Conjecture 4.5). We show that for every r ≥ 6 there is an integral c for which {h : Bh = 0, Rh ≤ c} is a single point with four coordinates equal to 1/2. Hence for r ≥ 6 the conjecture fails in both printed forms: the cone generated by the columns of the matrix has no unimodular cover, and neither has their convex hull. For r = 6 the example is derived in a few lines from fifteen of the 45 rhombus inequalities. For r ≤ 5 every nonempty polytope of this form contains an integral point. This is contained in what the sources report as verified by computation; we prove it independently, by a reduction to finitely many cases and an exact computation. So the question whether such polytopes always contain an integral point, record OWR-741-001 of the UnsolvedMath collection, has the answer yes for r ≤ 5 and no for r ≥ 6. The sources state that the conjecture was verified for r ≤ 6. In the indexing of their definitions the example has r = 6; a hive pattern printed there with the label r = 5 has five rows, which is rank 4 in that indexing. We cannot tell from the texts which indexing the verification used. The journal version of the paper of De Loera and McAllister was not accessible to us and was not read; we used the arXiv version. No counterexample was found in the literature accessible to us; a search that finds nothing is not a proof of novelty. This is an unrefereed note.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.CO",
    "math.RT",
    "math.OC"
  ],
  "keywords": [
    "hive polytopes",
    "rhombus inequalities",
    "saturation theorem",
    "Littlewood-Richardson coefficients",
    "unimodular triangulation",
    "unimodular cover",
    "integral points",
    "integer programming",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-741-001",
    "math.CO",
    "math.RT",
    "math.OC",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-12",
  "publication_date": "2026-10-12",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-12",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-741-001/",
  "pdf_url": "https://eulersolve.org/papers/owr-741-001/paper.pdf?v=583ffd0bd2ec",
  "doi": "10.5281/zenodo.23311939",
  "zenodo_record_url": "https://zenodo.org/records/23311939",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers the conjecture of De Loera and McAllister (Oberwolfach Report 39/2004, p. 2073; Experiment. Math. 15 (2006), Conjecture 4.5) in every rank r, for patterns with (r+1)(r+2)/2 entries: for every r ≥ 6 there is an integral right-hand side c for which the polytope {h : Bh = 0, Rh ≤ c} is a single point with four coordinates 1/2, so the homogenized hive matrix has no unimodular cover; for r ≤ 5 every nonempty polytope of this form contains an integral point (an integral vertex is not claimed). The hive polytopes themselves (c = 0) are not affected. The journal version of the paper of De Loera and McAllister was not accessible to us; its arXiv version was read. Novelty is not certified.",
  "files": {
    "paper.pdf": {
      "sha256": "583ffd0bd2eca896be3534dcee8c41c5e1744c69a1fe4eae44704690d1809789"
    },
    "source.zip": {
      "sha256": "d3030099250fd90eb0fe47455623db53fa1fb2e9a870fb0f44d33188b44fb61a"
    },
    "verification_report.md": {
      "sha256": "1901fff61930be744730f9d64fd60219c37915f0c4b53219e1adcc074b671244"
    }
  },
  "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."
}