Non-Count Symmetries in Boolean & Multi-Valued Prob. Graphical Models

07/27/2017
by   Ankit Anand, et al.
0

Lifted inference algorithms commonly exploit symmetries in a probabilistic graphical model (PGM) for efficient inference. However, existing algorithms for Boolean-valued domains can identify only those pairs of states as symmetric, in which the number of ones and zeros match exactly (count symmetries). Moreover, algorithms for lifted inference in multi-valued domains also compute a multi-valued extension of count symmetries only. These algorithms miss many symmetries in a domain. In this paper, we present first algorithms to compute non-count symmetries in both Boolean-valued and multi-valued domains. Our methods can also find symmetries between multi-valued variables that have different domain cardinalities. The key insight in the algorithms is that they change the unit of symmetry computation from a variable to a variable-value (VV) pair. Our experiments find that exploiting these symmetries in MCMC can obtain substantial computational gains over existing algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/30/2016

Contextual Symmetries in Probabilistic Graphical Models

An important approach for efficient inference in probabilistic graphical...
research
07/02/2018

Block-Value Symmetries in Probabilistic Graphical Models

Several lifted inference algorithms for probabilistic graphical models f...
research
01/21/2020

Bisimilar Conversion of Multi-valued Networks to Boolean Networks

Discrete modelling frameworks of Biological networks can be divided in t...
research
12/12/2021

Interpreting Lambda Calculus in Domain-Valued Random Variables

We develop Boolean-valued domain theory and show how the lambda-calculus...
research
04/23/2019

A formalization of forcing and the unprovability of the continuum hypothesis

We describe a formalization of forcing using Boolean-valued models in th...
research
05/25/2020

Mixing properties of Skellam-GARCH processes

We consider integer-valued GARCH processes, where the count variable con...
research
02/28/2023

Estimation-of-Distribution Algorithms for Multi-Valued Decision Variables

With apparently all research on estimation-of-distribution algorithms (E...

Please sign up or login with your details

Forgot password? Click here to reset