🤖 AI Summary
Existing Advanced Colour Passing (ACP) algorithms require strict distributional matching to identify indistinguishability, yet learned potential functions inevitably exhibit small deviations—rendering approximate exchangeability unusable in practice.
Method: We propose ε-Advanced Colour Passing (ε-ACP), the first ACP variant incorporating an adjustable tolerance parameter ε to enable controlled approximate lifting. Theoretically, we establish a strict upper bound on the approximation error, which vanishes asymptotically in practice. Our method integrates graph-colouring–based lifted inference, parametric factor graphs, and abstract aggregation to uncover latent approximate symmetries in real-world models—without sacrificing computational efficiency.
Contribution/Results: ε-ACP successfully exploits previously ignored approximate symmetries while preserving exact lifted inference guarantees. Empirical evaluation shows that the actual approximation error is significantly below the theoretical bound, and downstream inference accuracy remains unchanged.
📝 Abstract
Probabilistic relational models such as parametric factor graphs enable efficient (lifted) inference by exploiting the indistinguishability of objects. In lifted inference, a representative of indistinguishable objects is used for computations. To obtain a relational (i.e., lifted) representation, the Advanced Colour Passing (ACP) algorithm is the state of the art. The ACP algorithm, however, requires underlying distributions, encoded as potential-based factorisations, to exactly match to identify and exploit indistinguishabilities. Hence, ACP is unsuitable for practical applications where potentials learned from data inevitably deviate even if associated objects are indistinguishable. To mitigate this problem, we introduce the $varepsilon$-Advanced Colour Passing ($varepsilon$-ACP) algorithm, which allows for a deviation of potentials depending on a hyperparameter $varepsilon$. $varepsilon$-ACP efficiently uncovers and exploits indistinguishabilities that are not exact. We prove that the approximation error induced by $varepsilon$-ACP is strictly bounded and our experiments show that the approximation error is close to zero in practice.