arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.36964

Counting the Fixed Points of Binary Belief Propagation: Generic Degree, Syzygies, and Real Solutions

Yusuke Watanabe
View original source ↗Read source document ↗Export metadata ↓

Abstract

How many fixed points does belief propagation have on a binary pairwise model? Over complex parameters, the admissible equations of a finite loopless multigraph form an algebraic family whose generic degree we determine: it is a graph state sum over edge sets without vertices of degree one, each vertex of positive degree contributing one less than its degree. We give two geometric realizations of this state sum. The first is the total Betti number of a universal edge-incidence ring constructed without parameters. Its full graded Betti table is the state sum, its Tor algebra is natural for noncontracting graph maps, the alternating numerator recovers the graph polynomial of Watanabe and Fukumizu, and an Artin reduction by a regular sequence realizes the one-variable specialization, corrected for tree components. The second lies in the actual family: at the strong-field boundary each state factor is a ramification index, and at sufficiently strong field the state charts exhaust the admissible complex fiber. For fixed nonzero real couplings, every Eulerian message-sign sector contains a real fixed point at every external field, and strong fields attain this lower bound: one admissible real fixed point per element of the binary cycle space and one positive fixed point. For graphs of maximum degree at most three, this minimum equals the number of minimal module generators of the edge-incidence ring. One state decomposition connects the complex degree, graded syzygies, and an attained minimum real count. The degree, selected ring and resolution statements, and the real counts are formalized in Lean 4.

Explore related subjects

math.ACcs.ITmath.AGmath.COmath.IT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yusuke Watanabe. 2026-10-27. Counting the Fixed Points of Binary Belief Propagation: Generic Degree, Syzygies, and Real Solutions. https://arxiv.org/abs/2610.36964

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Fitting criterion for quasi-Gorenstein local rings

We prove that a Noetherian local ring $R$ with canonical module $ω_R$ is quasi-Gorenstein if and only if $\Fitt_1^R(ω_R) \cong ω_R$. This settles the expectation of Eisenbud, Ficarra, Herzog, and Moradi on canonical ideals.

math.AC↗
arXiv2026

Multigraded Local Cohomology Categories: Homological Structure and Canonical Sources

Let $S=\kk[x_1,\ldots,x_n]$ with its standard $\mathbb N^n$-grading, and let $\mathfrak m=(x_1,\ldots,x_n)$. We study the essential images of the functors $M\mapsto H^i_{\mathfrak m}(M(-\mathbf1))$ on categories of positively determined $S$-modules, where $\mathbf1=(1,\ldots,1)$. For a fixed determining bound $\mathbf t\in\mathbb N^n$ and $0\le i<n$, we identify the image in degree $i$ with the category of finite-dimensional representations of the subposet of $[\mathbf0,\mathbf t]$ consisting of multidegrees with at least $n-i$ positive coordinates. These images are Serre subcategories of the category of negatively $\mathbf t$-determined modules. The top-degree image consists precisely of second cosyzygies in that category and is extension-closed, but is not abelian when $\mathbf t\ne\mathbf0$. For the non-top image categories, we determine attached primes from projective covers and compute the Bass numbers at $\mathfrak m$ and the injective dimensions over $S$ of projective and injective objects. In every non-top degree, we construct an exact functorial section selecting, for each nonzero target, a source of minimal projective dimension $n-i$ and maximal depth $i$ among all its sources. If $n\ge2$ and $\mathbf t\ge\mathbf1$, no fully faithful section exists in degrees $1$ and $n-1$, even without requiring exactness. In top degree, graded Matlis duality followed by $S$-duality gives a fully faithful functorial section. We also describe the global images obtained by varying the determining bound. The non-top global categories have enough injectives and no nonzero projective objects, while the top category corresponds to second cosyzygies in the category of finite-support representations of $\mathbb N^n$.

math.AC↗
arXiv2026

Decomposition Theorem for Perfectoid Rings along General Ideals

Using André's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

math.AC↗