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.

Equivariant Tutte Polynomial

Chain Tutte polynomials

Tutte polynomials of matroids as universal valuative invariants

Tutte polynomials for regular oriented matroids

Permutation Tutte polynomial

Invariants of Tutte Partitions and a $q$-Analogue

Hilbert polynomials for finitary matroids

Connectivity gaps among matroids with the same enumerative invariants

The Tutte polynomials of genus $g$

K-theoretic positivity for matroids

A categorification for the characteristic polynomial of matroids

An activities expansion of the transition polynomial of a multimatroid

The representation of $\mathfrak{S}_n$ on the cohomology of the permutohedral variety and gamma vectors of partitioned permutohedra

Multipath matroids, digraph colourings, and the Tutte polynomial

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

Equivariant Cohomology Chern Numbers Determine Equivariant Unitary Bordism for Torus Groups

Matroid variant of Matiyasevich formula and its application

Log-concavity of polynomials arising from equivariant cohomology

Extreme coefficients of multiplicity Tutte polynomials

K-classes of delta-matroids and equivariant localization

Tensor products of multimatroids and a Brylawski-type formula for the transition polynomial