---
title: 'DECOR: Detection of Commutative Factors'
url: https://www.emergentmind.com/topics/decor
type: topic
---

# DECOR: Detection of Commutative Factors

In probabilistic graphical models, **DECOR** denotes the **Detection of Commutative Factors** algorithm, introduced to identify exchangeable argument sets inside factors of a factor graph so that lifted probabilistic inference can exploit internal symmetries during lifted model construction [2407.16280]. The method addresses a specific bottleneck: prior commutativity detection in the ACP, or CPR, pipeline checked candidate argument subsets by descending-size enumeration, which can require \(O(2^n)\) subset iterations for a factor with \(n\) arguments in the worst case. DECOR replaces that search with a bucket-based restriction mechanism that derives candidate commutative subsets from duplicate potential patterns and prunes the search dramatically in practice [2407.16280].

## 1. Factor graphs, lifted inference, and the role of commutative factors

The setting is a factor graph defined as an undirected bipartite graph
\[
G = (\boldsymbol V, \boldsymbol E)
\]
with
\[
\boldsymbol V = \boldsymbol R \cup \boldsymbol \Phi,
\]
where \(\boldsymbol R = \{R_1, \ldots, R_n\}\) are variable nodes and \(\boldsymbol \Phi = \{\phi_1, \ldots, \phi_m\}\) are factor nodes. Its semantics is
\[
P_G = \frac{1}{Z} \prod_{j=1}^m \phi_j(\mathcal A_j),
\]
where \(Z\) is the normalization constant and \(\mathcal A_j\) is the tuple of random variables adjacent to factor \(\phi_j\) [2407.16280].

The motivation for DECOR comes from lifted probabilistic inference. Lifted methods exploit symmetry so they can reason over groups of indistinguishable individuals rather than each ground variable separately. In the factor-graph setting considered here, one important symmetry is **internal to a single factor**: some argument positions may be interchangeable without changing the factor value. These are the paper’s **commutative factors**. Detecting them matters because the advanced colour passing, or ACP/CPR, algorithm for lifted model construction needs to know whether a factor can send the same message to several neighboring variables irrespective of their argument positions [2407.16280].

If arguments are exchangeable, they can be grouped in the lifted representation, often via counting random variables. This reduces representation size and inference cost. A plausible implication is that commutative-factor detection is not merely a preprocessing convenience; it determines whether internal factor symmetry is available to the lifted representation at all.

## 2. Formal definition of commutativity and the baseline problem

For a factor \(\phi(R_1,\ldots,R_n)\), the factor is commutative with respect to a subset \(\boldsymbol S \subseteq \{R_1,\ldots,R_n\}\) iff for all events \(r_1,\ldots,r_n \in \times_{i=1}^n {R_i}\),
\[
\phi(r_1, \ldots, r_n) = \phi(r_{\pi(1)}, \ldots, r_{\pi(n)})
\]
for all permutations \(\pi\) of \(\{1,\ldots,n\}\) such that \

Source: https://www.emergentmind.com/topics/decor