Heilmann-Lieb定理是代数组合学中的一个基本定理，它提供了图匹配多项式零点分布的刻画。本文建立了超图版本的Heilmann-Lieb定理：设$\h$为最大度数${\Delta}\geq 2$的连通$k$-超图，$\mu(\h, x)$为其匹配多项式。我们证明了$\mu(\h, x)$的零点（包括重数）在复平面上绕原点旋转角度$2\pi/{\ell}$后保持不变，其中$\ell$为某个正整数，而$k$是具有此性质的最大整数。进一步地，我们证明了$\mu(\h, x)$的所有零点中最大模数$\lambda(\h)$是$\mu(\h, x)$的单根，并满足$$\Delta^{\frac{1}{ k}} \leq \lambda(\h)< \frac{k}{k-1}\big((k-1)(\Delta-1)\big)^{\frac{1}{ k}}.$$为了得到这些结果，我们证明了$\mu(\h, x)$整除$\h$的$k$-步树的匹配多项式，从而将Godsil的一个经典结果推广到超图情形。

The Heilmann--Lieb theorem is a fundamental theorem in algebraic combinatorics which provides a characterization of the distribution of the zeros of matching polynomials of graphs. In this paper, we establish a hypergraph Heilmann--Lieb theorem as follows. Let $\h$ be a connected $k$-graph with maximum degree ${\Delta}\geq 2$ and let $\mu(\h, x)$ be its matching polynomial. We show that the zeros (with multiplicities) of $\mu(\h, x)$ are invariant under a rotation of an angle $2\pi/{\ell}$ in the complex plane for some positive integer $\ell$ and $k$ is the maximum integer with this property. We further prove that the maximum modulus $\lambda(\h)$ of all the zeros of $\mu(\h, x)$ is a simple root of $\mu(\h, x)$ and satisfies $$\Delta^{\frac{1}{ k}} \leq \lambda(\h)< \frac{k}{k-1}\big((k-1)(\Delta-1)\big)^{\frac{1}{ k}}.$$ To achieve these, we prove that $\mu(\h, x)$ divides the matching polynomial of the $k$-walk-tree of $\h$, which generalizes a classical result due to Godsil from graphs to hypergraphs.