发表机构
univie.ac.at（维也纳大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究半正六边形中平铺放置概率的 1/3 现象，通过应用泽尔伯格算法和完整假设，先将问题简化为正六边形情况，再进一步简化为文献中特殊情况，从而证明了克拉滕哈勒 2001 年的猜想。
AI 中文摘要
我们证明了克拉滕哈勒 2001 年关于半正六边形菱形平铺的 1/3 现象的猜想。第一步，我们将问题简化为正六边形的情况。第二步，通过大量应用著名的泽尔伯格算法和完整假设，我们进一步将问题简化为文献中已涵盖的特殊情况。
英文摘要
We prove Krattenthaler's conjecture from 2001 about the $1/3$-phenomenon for lozenge tilings of semiregular hexagons. In a first step we reduce the problem to the case of regular hexagons. In a second step we further reduce the question to a special case already covered in the literature. This is achieved by vast application of the celebrated Zeilberger Algorithm and the Holonomic Ansatz.
