Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper establishes an exact equivalence between the symmetry groups governing DAG exchangeability and generalized wreath products previously developed for poset block structures in algebraic combinatorics. Bridging these distinct literatures provides a rigorous algebraic foundation for hierarchical, multi-relational exchangeability theorems that generalize Aldous-Hoover representations. Using this connection, the authors reformulate the DAG representation theorem and derive an explicit representation for block matrices with independently permutable nested row and column structures.
Modern DAG exchangeability in probabilistic AI is secretly classical algebraic design theory, mapping graph-structured de Finetti representations directly onto generalized wreath products.
Motivated by the structure of various standard statistical arrays, Bailey, Praeger, Rowley and Speed (1983) described the automorphism groups of poset block structures as generalized wreath products. We observe that these are exactly the groups used to define DAG exchangeability in Jung, Lee, Staton and Yang (2021), and we restate the representation theorem of the latter work in this language. As a concrete example, we write out the resulting representation for block matrices whose block rows and block columns are separately exchangeable, and whose rows and columns may also be permuted independently inside each block.