×

A formula for the categorical magnitude in terms of the Moore-Penrose pseudoinverse. (English) Zbl 1529.18003

G.-C. Rota [Z. Wahrscheinlichkeitstheor. Verw. Geb. 2, 340–368 (1964; Zbl 0121.02406)] extended the Möbius inversion technique to partially ordered set (posets), provided they are locally finite, the classical case corresponding to the poset of positive integers ordered by divisibility. T. Leinster [Doc. Math. 13, 21–49 (2008; Zbl 1139.18009)] revisited Rota’s work, extending the notion of Euler characteristic to finite categories \(\boldsymbol{A}\) to get the notion of magnitude \(\chi(\boldsymbol{A})\).
Upon enumerating the objects of a finite category \(\boldsymbol{A}\) with \(n=\left\vert \mathrm{Ob}(\boldsymbol{A})\right\vert \), there is an algebra homomorphism between the incidence algebra \(R(\boldsymbol{A})\) and the matrices \(\mathrm{Mat}_{n\times n}(\mathbb{Q})\). Every matrix with complex coefficients has a unique Moore-Penrose pseudo-inverse, characterized by a system of equations (Theorem 3.1). In particular, the \(\zeta\) function is represented by a matrix \(Z\), whose pseudoinverse \(Z^{+}\) is the matricial representation of a pseudo-Möbius function. This paper establishes that one might use \(Z^{+}\) to check if a given finite category has magnitude and subsequently compute it. The magnitude arises as the sum of all the entries of the pseudoinverse matrix \(Z^{+}\) (Corollary 4.8). The main result (Theorem 4.1) gives a formula for the computation of the magnitude of a matrix in terms of its pseudoinverse and as such applies in a broader generality.

MSC:

18D99 Categorical structures
15A10 Applications of generalized inverses

References:

[1] Gian-Carlo Rota. On the foundations of combinatorial theory I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete, 2, 1964. · Zbl 0121.02406
[2] Tom Leinster. The Euler characteristic of a category. Documenta Mathematica, 13, 2008. [arXiv:math/0610260]. · Zbl 1139.18009
[3] Tom Leinster. The magnitude of metric spaces. Documenta Mathematica, 18:857-905, 2013. · Zbl 1284.51011
[4] Mustafa Akkaya andÖzgünÜnlü. The Euler characteristic of finite cate-gories. arXiv preprint arXiv:2301.08966, 2023.
[5] Tom Leinster. Notions of Möbius inversion. Bulletin of the Belgian Mathemat-ical Society, 19, 2012. [arXiv:1201.0413]. · Zbl 1269.18002
[6] Sir Roger Penrose. A generalized inverse for matrices. Mathematical Proceed-ings of the Cambridge Philosophical Society, 51, 1955. · Zbl 0065.24603
[7] Adi Ben-Israel and Thomas N.E. Greville. Generalized Inverses: Theory and Applications. CMS Books in Mathematics. Springer, 2003. · Zbl 1026.15004
[8] K.P.S. Bhaskara Rao. On generalized inverses of matrices over integral do-mains. Linear Algebra and Its Applications, 49:179-189, 1983. · Zbl 0505.15002
[9] R. B. Bapat, K.P.S. Bhaskara Rao, and K. Manjunatha Prasad. Generalized inverses over integral domains. Linear Algebra and its Applications, 140:181-196, 1990. · Zbl 0712.15004
[10] Robert Piziak and Patrick L. Odell. Full rank factorization of matrices. Math-ematics Magazine, 72, 1999. · Zbl 1006.15009
[11] Saunders Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer-Verlag, New York, USA, 1998. · Zbl 0906.18001
[12] E California Blvd, Math Dept. 253-37, California Institute of Technology, Pasadena, CA 91125, USA. email : vigneaux@caltech.edu
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.