Abstract:In 1977, Yu. V. Matiyasevich proposed a formula expressing the chromatic polynomial of an arbitrary graph as a linear combination of flow polynomials of subgraphs of the original graph. In this paper, we prove that this representation is a particular case of one (easily verifiable) formula, namely, the representation of the characteristic polynomial of an arbitrary matroid as a linear combination of characteristic polynomials of dual matroids. As an application, we represent the flow polynomial of a complete graph with $n$ vertices as the sum of elementary terms with respect to all partitions of positive integer $n$. Since the growth rate of the number of all partitions is less than exponential, this technique allows us to evaluate the flow polynomial for values of $n\approx 50$. We also get an explicit expression for the characteristic polynomial of the matroid dual to the matroid of the projective geometry over a finite field. We prove, in particular, that major coefficients of all these polynomials coincide with the beginning of the row in the Pascal triangle, whose number equals the quantity of elements in the corresponding matroid. At the end part of the paper, we consider one more approach, which allows us to obtain the same results of application of our main theoren by using properties of the Tutte polynomial and the classical Rota formula for coefficients of the characteristic polynomial of a matroid. In addition, we describe the connection between the matroid variant of the Matiyasevich formula and convolution formulas for Tutte polynomials.

Efficient Representation of Lattice Path Matroids

Efficient Representation of Lattice Path Matroids

Lattice Path Matroids and Quotients

Lattice Path Bicircular Matroids

A Note on Extension Properties and Representations of Matroids

On entropic and almost multilinear representability of matroids

Geometric Lattice Structure of Covering and Its Application to Attribute Reduction Through Matroids

Standard complexes of matroids and lattice paths

Optimizing Extension Techniques for Discovering Non-Algebraic Matroids

A lattice framework for generalizing shellable complexes and matroids

Affinely representable lattices, stable matchings, and choice functions

Adjoints of matroids

Combinatorial Generation Algorithms for Directed Lattice Paths

Matroid variant of Matiyasevich formula and its application

The excluded minors for the intersection of bicircular and lattice path matroids

Computing excluded minors for classes of matroids representable over partial fields

Computing the Tutte Polynomial of a Matroid from its Lattice of Cyclic Flats

On the representability of the bi-uniform matroid

Polymatroid Schubert varieties

Independent sets of non-geometric lattices and the maximal adjoint