The Tutte polynomial, also called the dichromate or the Tutte–Whitney polynomial, is a graph polynomial. It is a polynomial in two variables which plays an important role in graph theory. It is defined for every undirected graph G {\displaystyle G} and contains information about how the graph is connected. It is denoted by T G {\displaystyle T_{G}} . The importance of this polynomial stems from the information it contains about G {\displaystyle G} . Though originally studied in algebraic graph theory as a generalization of counting problems related to graph coloring and nowhere-zero flow, it contains several famous other specializations from other sciences such as the Jones polynomial from knot theory and the partition functions of the Potts model from statistical physics. It is also the source of several central computational problems in theoretical computer science. The Tutte polynomial has several equivalent definitions. It is essentially equivalent to Whitney’s rank polynomial, Tutte’s own dichromatic polynomial and Fortuin–Kasteleyn’s random cluster model under simple transformations. It is essentially a generating function for the number of edge sets of a given size and number of connected components, with immediate generalizations to matroids. It is also the most general graph invariant that can be defined by a deletion–contraction recurrence. Several textbooks about graph theory and matroid theory devote entire chapters to it.
Definitions Definition. For an undirected graph G = ( V , E ) {\displaystyle G=(V,E)} one may define the Tutte polynomial as
T G ( x , y ) = ∑ A ⊆ E ( x − 1 ) k ( A ) − k ( E ) ( y − 1 ) k ( A ) + | A | − | V | , {\displaystyle T_{G}(x,y)=\sum \nolimits _{A\subseteq E}(x-1)^{k(A)-k(E)}(y-1)^{k(A)+|A|-|V|},}
where k ( A ) {\displaystyle k(A)} denotes the number of connected components of the graph ( V , A ) {\displaystyle (V,A)} . In this definition it is clear that T G {\displaystyle T_{G}} is well-defined and a polynomial in x {\displaystyle x} and y {\displaystyle y} . The same definition can be given using slightly different notation by letting r ( A ) = | V | − k ( A ) {\displaystyle r(A)=|V|-k(A)} denote the rank of the graph ( V , A ) {\displaystyle (V,A)} . Then the Whitney rank generating function is defined as
R G ( u , v ) = ∑ A ⊆ E u r ( E ) − r ( A ) v | A | − r ( A ) . {\displaystyle R_{G}(u,v)=\sum \nolimits _{A\subseteq E}u^{r(E)-r(A)}v^{|A|-r(A)}.}
The two functions are equivalent under a simple change of variables:
T G ( x , y ) = R G ( x − 1 , y − 1 ) . {\displaystyle T_{G}(x,y)=R_{G}(x-1,y-1).}
Tutte’s dichromatic polynomial Q G {\displaystyle Q_{G}} is the result of another simple transformation:
T G ( x , y ) = ( x − 1 ) − k ( G ) Q G ( x − 1 , y − 1 ) . {\displaystyle T_{G}(x,y)=(x-1)^{-k(G)}Q_{G}(x-1,y-1).}
Tutte’s original definition of T G {\displaystyle T_{G}} is equivalent but less easily stated. For connected G {\displaystyle G} we set
… excerpt ends here. Continue reading the full article.






