Accumulated DMA Error on Cyclic Graphs

Bound the accumulated approximation error of Direct Message Approximation after more than one sweep on cyclic factor graphs, thereby establishing end-to-end convergence guarantees.

Background

Direct Message Approximation establishes an edge-local bound relating marginal KL divergence to the KL error of an individual approximate factor-to-variable message. The paper’s guarantees are primarily local or concern a single forward/backward sweep, and they do not characterize how approximation errors accumulate when multiple sweeps are performed on graphs containing cycles.

The authors identify extending the analysis to K > 1 sweeps on cyclic graphs as the most pressing unresolved theoretical issue. A successful bound would connect the local message-quality guarantees to global, end-to-end convergence behavior of iterative DMA inference.

References

Bounding accumulated error after $K > 1$ sweeps on cyclic graphs is the most pressing open problem; closing this gap would give end-to-end convergence guarantees.

— Direct Message Approximation (DMA): A Consistency-Based Framework for Tractable Approximate Inference on Factor Graphs  (2609.29466 - Herbrich et al., 24 Sep 2026) in Section 'Discussion and Conclusions', paragraph 'Future directions'