---
title: 'Bethe Permanent: Theory & Applications'
url: https://www.emergentmind.com/topics/bethe-permanent
type: topic
---

# Bethe Permanent: Theory & Applications

The Bethe permanent is a tractable approximation to the #P-hard matrix permanent, defined as the exponential of the maximum of a Bethe free energy functional over the Birkhoff polytope (the set of doubly stochastic matrices). Introduced as a surrogate for the partition function of graphical models and motivated by the sum-product (belief propagation) algorithm, the Bethe permanent admits both analytic and combinatorial characterizations—most notably via graph covers ("degree-$M$" Bethe permanents). It has played a central role in deterministic approximation schemes for the permanent of nonnegative matrices, coding-theoretic pseudocodeword constructions, and combinatorial optimization on graphical models.

## 1. Definition and Variational Formulation

Given an $n \times n$ nonnegative matrix $A = (A_{i,j})$, the permanent is
\[
\perm(A) = \sum_{\sigma \in S_n} \prod_{i=1}^n A_{i, \sigma(i)},
\]
which is #P-hard to compute exactly.

The Bethe permanent is defined via the Bethe free energy $F_{\mathrm{Bethe}}$ over the set of doubly stochastic matrices (the Birkhoff polytope $\mathcal{B}_n$). In canonical form [1107.4196, 1811.02933, 2306.02280],
\[
F_{\mathrm{Bethe}}(P) = -\sum_{i,j} P_{i,j} \ln A_{i,j}
-\sum_{i,j} \left[
 -P_{i,j}\ln P_{i,j} - (1-P_{i,j})\ln(1-P_{i,j})
\right],
\]
where $P = (P_{i,j}) \in \mathcal{B}_n$ and $A_{i,j} > 0$.

The Bethe permanent is then
\[
\perm_B(A) = \exp\left( - \min_{P \in \mathcal{B}_n} F_{\mathrm{Bethe}}(P) \right).
\]

This variational principle is a surrogate for the log-partition function of the graphical model representing perfect matchings of bipartite graphs, where the Bethe entropy replaces the true (Shannon) entropy. The Bethe permanent can be computed via belief propagation, leveraging the convexity of $F_{\mathrm{Bethe}}$ for bipartite matching graphs [1107.4196, 2306.02280].

## 2. Graph Cover Characterization and Degree-$M$ Bethe Permanent

A key combinatorial insight is that the Bethe permanent can be expressed as the asymptotic $M$th root of averaged permanents over graph lifts ("covers"). For each $M \geq 1$, consider all $M$-fold covers ("$M$-lifts") of $A$: each entry $A_{i,j}$ is replaced with an $M \times M$ block $A_{i,j} P_{i,j}$, where $P_{i,j}$ is a permutation matrix. Let $P_M$ denote the set of all such block-matrix assemblies.

The degree-$M$ Bethe permanent is defined as
\[
\perm_{B,M}(A) = \left( \frac{1}{|P_M|} \sum_{P \in P_M} \perm(A^{\uparrow P}) \right)^{1/M}
\]
where $A^{\uparrow P}$ is the $Mn \times Mn$ block matrix corresponding to the $M$-lift associated to $P$ [1503.02217, 2306.02280].

The ordinary Bethe permanent is
\[
\perm_B(A) = \limsup_{M \to \infty} \perm_{B,M}(A).
\]
This characterization connects the Bethe permanent to a natural class of weighted perfect matching counts over graph covers [2306.02280].

## 3. Fundamental Bounds and Tightness

Seminal results of Gurvits, Vontobel, and later Anari–Rezaei establish two-sided, tight bounds for the Bethe permanent:
\[
\perm_B(A) \le \perm(A) \le 2^{n/2} \, \perm_B(A).
\]
Equivalently,
\[
1 \le \frac{\perm(A)}{\perm_B(A)} \le 2^{n/2}
\]
for all nonnegative $n \times n$ matrices $A$ [1811.02933, 2306.02280, 2101.12280].

These bounds are sharp: the lower bound (equality) is achieved for diagonal matrices; the upper bound is realized for block-diagonal matrices composed of $2 \times 2$ all-ones blocks [1811.02933]. No Bethe-based proxy can deterministically approximate the permanent within a factor better than $2^{n/2}$ in general.

The degree-$M$ Bethe permanent yields explicit finite-$M$ bounds:
\[
1 \le \frac{\perm(A)}{\perm_{B,M}(A)} \le \left(2^{n/2}\right)^{(M-1)/M},
\]
and in the limit $M \to \infty$, the sharp bounds above are recovered [2306.02280].

## 4. Algorithmic Aspects and Belief Propagation

The minimization defining the Bethe permanent is a concave maximization over the Birkhoff polytope, enabling polynomial-time algorithms:
- Convex optimization directly applied to $F_{\mathrm{Bethe}}$ [1811.02933].
- Sum-product (belief propagation) on a bipartite perfect-matching normal factor graph [1107.4196, 0908.1769].

The belief propagation updates are guaranteed to converge for this structure due to free-energy convexity [1107.4196]. Efficient message updates yield $O(n^2)$ per iteration complexity; overall runtime is dominated by the number of needed fixed-point steps, often of order $O(\log n)$. Empirically, BP is fast and robust for a wide variety of matrix types [0908.1769, 2205.15186].

## 5. Extensions: Low-Rank Structure and Combinatorial Classes

For matrices with low nonnegative rank $k$, dramatically improved approximation guarantees are available:
\[
\perm_B(A) \le \perm(A) \le \exp(O(k \log(N/k)))\, \perm_B(A)
\]
for $A \in \mathbb{R}_{\geq 0}^{N \times N}$ with $\operatorname{nnrank}(A) \leq k$ [2004.02425].

In practical scenarios (e.g., block-structured, Vandermonde, or random ensembles), the ratio $\perm(A) / \perm_B(A)$ is highly concentrated around constants depending mildly on $N$ or $k$, typically much less than the worst-case bound $2^{N/2}$ [2601.17508, 2205.15186]. For the all-ones matrix $J_n$,
\[
\frac{\perm(J_n)}{\perm_B(J_n)} \sim \sqrt{\frac{2\pi n}{e}}
\]
as $n \to \infty$ [2205.15186].

These properties underpin efficient universal estimators for symmetric distributional properties, such as profile maximum likelihood [2004.02425].

## 6. Coding-Theoretic Applications and Pseudocodewords

In coding theory, the Bethe permanent appears in the construction of so-called Bethe perm-pseudocodewords for Low-Density Parity-Check (LDPC) codes [1112.4625]. For a parity-check matrix $H$, the vector whose components are Bethe permanents of suitable submatrices lies in the fundamental cone of $H$, generalizing classical perm-pseudocodeword constructions. This provides efficiently computable upper bounds on the minimum pseudo-weight of LDPC codes.

Block-diagonal and recurrence properties extend naturally to Bethe permanents, supporting their use in code analysis and design [1112.4625].

## 7. Analytical, Topological, and Combinatorial Structure

The Bethe permanent is intertwined with several deep combinatorial and analytical ideas:
- Combinatorial interpretation via graph covers, particularly double covers, yields exact formulas for degree-$M$ Bethe permanents and explicit cycle-sum expansions [2205.15186].
- For certain structured classes (e.g., block-constant or low-rank), asymptotic and generating function techniques quantify the scaling of the permanent to Bethe permanent ratio [2601.17508].
- Extensions to fractional Bethe permanents (parameterizing entropy weights) can further tighten the approximation in specific cases [1107.4196, 1811.02933].

The Bethe permanent framework is thus a unifying perspective in the study of partition function approximations, graph covers, and combinatorial optimization.

---

**Key references:**
- [1107.4196] The Bethe Permanent of a Non-Negative Matrix  
- [1811.02933] A Tight Analysis of Bethe Approximation for Permanent  
- [2306.02280] Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix  
- [1503.02217] Bounding the Bethe and the Degree-$M$ Bethe Permanents  
- [2004.02425] The Bethe and Sinkhorn Permanents of Low Rank Matrices and Implications for Profile Maximum Likelihood  
- [2205.15186] Double-cover-based analysis of the Bethe permanent of non-negative matrices  
- [2601.17508] Double-Cover-Based Analysis of the Bethe Permanent of Block-Structured Positive Matrices  
- [1112.4625] Pseudocodewords from Bethe Permanents  
- [0908.1769] Approximating the Permanent with Belief Propagation

Source: https://www.emergentmind.com/topics/bethe-permanent