The Matrix-Tree Theorem is a well-known combinatorial result relating the value of the minors of a certain square matrix to the sum of the weights of the arborescences (= rooted directed trees) in the associated graph. We prove an extension of this result to algebraic structures much more general th
A generalization of the all minors tree theorem to semirings
โ Scribed by M. Minoux
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 616 KB
- Volume
- 199
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
โฆ Synopsis
The 'All Minors Matrix Tree Theorem' (Chen, Applied Graph Theory, Graphs and Electrical Networks, North-Holland, Amsterdam, 1976; Chaiken, SIAM J. Algebraic Discrete Math. 3 (3) (1982) 319-329) is an extension of the well-known 'Matrix Tree Theorem' (Tutte, Proc. Cambridge Philos. Sot. 44 (1948) 463-482) which relates the values of the determinants of square submatrices of a given square matrix to the sum of the weights of some families of forests in the associated weighted graph. The 'All Minors Matrix Tree Theorem' is extended here to algebraic structures much more general than the field of real numbers, namely semirings. Since a semiring is no longer assumed to be a group with respect to the first law (addition), the combinatorial proof given here significantly differs from the one working on the field of real numbers. Even the statement of the result has to be changed since the standard concept of determinant of a matrix is not relevant any more and must be replaced by the concept of bideterminant.
The proof also significantly differs from the one used in a previous paper to derive the semiring extension of the Matrix Tree Theorem.
๐ SIMILAR VOLUMES
Let C p be the collection of real-valued functions f defined on E &p such that f is uniformly continuous on bounded subsets of Then C is a complete countably normed space equipped with the family [&}& , p : p=1, 2, 3, ...] of norms. In this paper it is shown that to every bounded linear functional
## Abstract We prove a model theoretic generalization of an extension of the KeislerโMorley theorem for countable recursively saturated models of theories having a __ฮบ__ โlike model, where __ฮบ__ is an inaccessible cardinal. (ยฉ 2007 WILEYโVCH Verlag GmbH & Co. KGaA, Weinheim)