A combinatorial approach to categorical Möbius inversion and pseudoinversion
Abstract
We use Cramer's formula for the inverse of a matrix and a combinatorial expression for the determinant in terms of paths of an associated digraph (which can be traced back to Coates) to give a combinatorial interpretation of Möbius inversion whenever it exists. Every Möbius coefficient is a quotient of two sums, each indexed by certain collections of paths in the digraph. Our result contains, as particular cases, previous theorems by Hall (for posets) and Leinster (for skeletal categories whose idempotents are identities). A byproduct is a novel expression for the magnitude of a metric space as sum over self-avoiding paths with finitely many terms. By means of Berg's formula, our main constructions can be extended to Moore-Penrose pseudoinverses, yielding an analogous combinatorial interpretation of Möbius pseudoinversion and, consequently, of the magnitude of an arbitrary finite category.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2024
- DOI:
- 10.48550/arXiv.2407.14647
- arXiv:
- arXiv:2407.14647
- Bibcode:
- 2024arXiv240714647V
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Category Theory;
- 15A09;
- 15A10;
- 18A05;
- 54E35;
- 18D20
- E-Print:
- 17 pages. Some of the results were presented at the conference "Magnitude 2023" in Osaka, Japan