Tractable minor-free generalization of planar zero-field Ising models
Abstract
We present a new family of zero-field Ising models over N binary variables/spins obtained by consecutive 'gluing' of planar and O(1)-sized components and subsets of at most three vertices into a tree. The polynomial time algorithm of the dynamic programming type for solving exact inference (computing partition function) and exact sampling (generating i.i.d. samples) consists of sequential application of an efficient (for planar) or brute-force (for O(1)-sized) inference and sampling to the components as a black box. To illustrate the utility of the new family of tractable graphical models, we first build a polynomial algorithm for inference and sampling of zero-field Ising models over K33-minor-free topologies and over K5-minor-free topologies—both of which are extensions of the planar zero-field Ising models—which are neither genus- nor treewidth-bounded. Second, we empirically demonstrate an improvement in the approximation quality of the NP-hard problem of inference over the square-grid Ising model in a node-dependent nonzero 'magnetic' field.
- Publication:
-
Journal of Statistical Mechanics: Theory and Experiment
- Pub Date:
- December 2020
- DOI:
- 10.1088/1742-5468/abcaf1
- arXiv:
- arXiv:1910.11142
- Bibcode:
- 2020JSMTE2020l4007L
- Keywords:
-
- analysis of algorithms;
- inference of graphical models;
- statistical inference;
- Computer Science - Data Structures and Algorithms;
- Mathematics - Statistics Theory;
- Physics - Data Analysis;
- Statistics and Probability;
- Statistics - Machine Learning
- E-Print:
- 32 pages. arXiv admin note: substantial text overlap with arXiv:1906.06431, arXiv:1812.09587