Tutte polynomials of appropriate Cayley graphs - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T03:56:38Zhttp://mathoverflow.net/feeds/question/77896http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/77896/tutte-polynomials-of-appropriate-cayley-graphsTutte polynomials of appropriate Cayley graphsSomnath Basu2011-10-12T04:41:00Z2011-10-12T07:12:36Z
<p>I was quite intrigued by Tutte polynomials in a recent talk I had been to. It was introduced as a polynomial associated to a undirected finite graph. For a graph $G=(V,E)$ we form the polynomial</p>
<p>$T_G(x,y)=\sum_{A\subseteq E} (x-1)^{k(A)-k(E)}(y-1)^{k(A)+|A|-|V|}$</p>
<p>where $k(A)$ is the number of components of the graph $(G,A)$. </p>
<p>I have heard and read about the significance of this polynomial. However, I'm completely new to combinatorics and graph theory and have no prior knowledge of what is or isn't known about these things. I have two questions which should be easy enough for the experts.</p>
<p>(1) Let us start with a finite group $G$, chose a presentation and consider its Cayley graph $\Gamma$. Now consider the Tutte polynomial $T_\Gamma$ of $\Gamma$. We suppose that $G$ is the fundamental group of some <em>reasonable</em> space $M$ (it always is $\pi_1$ of some space but what I mean here is the space is a manifold or very broadly an object where distances and volumes make sense). </p>
<p><strong>Question</strong> Does the Tutte polynomial $T_\Gamma$ encode any information about the topological invariants of $M$?</p>
<p>(2) In my own naive way I was trying to see if anything similar (like the formula at the outset) works for infinite graphs. The existence of such a thing, at least, looks very interesting as Tutte polynomials generally have a lot of significance. If such a thing doesn't exist, one may begin to study properties of the Tutte polynomials associated to finite subgraphs of an infinite graph and analyze the asymptotics of the these properties on the poset of finite subgraphs. </p>
<p><strong>Question</strong> Is there a known way to define Tutte polynomials for infinite graphs? If so, how is defined and what is known? </p>
<p><strong>Question</strong> If the above answer is yes then what does $T_\Gamma$ encode about the growth of $G$ when $G$ is the fundamental group of a manifold? Note that by the $\check{S}varc$-$Milnor$ lemma this growth is asymptotic to the growth (in the sense of geometry) of the universal cover of $M$. </p>
<hr>
<p>REMARK : I edited the first question as the growth of a finite group is not terribly interesting. The original first question should make more sense now, as presented, as the last question.</p>
http://mathoverflow.net/questions/77896/tutte-polynomials-of-appropriate-cayley-graphs/77897#77897Answer by psd for Tutte polynomials of appropriate Cayley graphspsd2011-10-12T05:08:57Z2011-10-12T05:08:57Z<blockquote>
<p>Is there a known way to define Tutte polynomials for infinite graphs? If so, how is defined and what is known?</p>
</blockquote>
<p>From section 9.3.2 of <a href="http://www.springerlink.com/content/h711935478607208/fulltext.pdf" rel="nofollow">http://www.springerlink.com/content/h711935478607208/fulltext.pdf</a> :</p>
<blockquote>
<p>A generating function can often be thought of as a (possible infinite) polynomial
whose coefficients count structures that are encoded by the exponents of the variables ... In the case of the Tutte polynomial, there are
several different generating function formulations, each of which has its advantages.</p>
</blockquote>
http://mathoverflow.net/questions/77896/tutte-polynomials-of-appropriate-cayley-graphs/77900#77900Answer by Bruce Westbury for Tutte polynomials of appropriate Cayley graphsBruce Westbury2011-10-12T07:12:36Z2011-10-12T07:12:36Z<p>The Tutte polynomial of a finite graph has a physical interpretation as the partition
function of the $q$-state Potts model on the graph. The Potts and Ising models were
originally studied on the square lattice lattice and on the graph of the tiling of
the plane by equilateral triangles. This means that in some sense the Tutte "polynomial"
of these two infinite graphs has been intensively studied. Another example that is in
Baxter's book as a "toy model" is the Cayley graph of a free group. </p>