English

A combinatorial approach to categorical M\"obius inversion and pseudoinversion

Combinatorics 2024-07-23 v1 Category Theory

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\"obius inversion whenever it exists. Every M\"obius 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\"obius pseudoinversion and, consequently, of the magnitude of an arbitrary finite category.

Keywords

Cite

@article{arxiv.2407.14647,
  title  = {A combinatorial approach to categorical M\"obius inversion and pseudoinversion},
  author = {Juan Pablo Vigneaux},
  journal= {arXiv preprint arXiv:2407.14647},
  year   = {2024}
}

Comments

17 pages. Some of the results were presented at the conference "Magnitude 2023" in Osaka, Japan

R2 v1 2026-06-28T17:47:54.862Z