arXiv++ Combinatorics

We prove that the formula for the diagonal approximation $Δ_{K}$ on J. Stasheff's $n$-dimensional associahedron $K_{n+2}$ derived by the current authors in 2004 agrees with the "magical formula" for the diagonal approximation $Δ_{K}^{\prime}$ derived by Markl and Shnider in 2006, by Loday in 2011, and by Masuda, Thomas, Tonks, and Vallette in 2021.

The dimension of a bipartition matrix (BPM) is the sum of the dimensions of its indecomposable factors. The dimension of an indecomposable BPM is the sum of its row, column, and entry dimensions. To compute these dimensions, we apply four routines of independent interest: (1) Factor a bipartition as a product of indecomposables; (2) recover a bipartition from its indecomposable factorization; (3) factor a BPM as a product of indecomposables; and (4) compute the "transpose-rotation" (the column dimension of a BPM is the row dimension of its transpose-rotation).