spanning trees of tree graphs - Istituto Nazionale di...

35
Spanning trees of tree graphs Philippe Biane, CNRS-IGM-Universit´ e Paris-Est Firenze, May 18 2015 joint work with Guillaume Chapuy, CNRS-LIAFA-Universit´ e Paris 7 Philippe Biane spanning trees of tree graphs

Transcript of spanning trees of tree graphs - Istituto Nazionale di...

Page 1: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Spanning trees of tree graphs

Philippe Biane, CNRS-IGM-Universite Paris-Est

Firenze, May 18 2015

joint work with Guillaume Chapuy, CNRS-LIAFA-Universite Paris 7

Philippe Biane spanning trees of tree graphs

Page 2: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

V ,E =directed graph

w vxe

Q=Laplacian matrix, indexed by V × V

I Qvw = xe if e : v → w is a directed edge of the graph

I Qvv = −∑w Qvw

Philippe Biane spanning trees of tree graphs

Page 3: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Markov chains

If xe ≥ 0 this is the generator of a continuous time Markov chainon the graph, with transition probabilities etQ .

I Q1 = 0 where 1 is the constant vector.

I If the chain is irreducible or the graph is strongly connectedthe kernel is one dimensional (Perron Frobenius).

I µQ = 0 for a unique positive invariant measure µ.

Philippe Biane spanning trees of tree graphs

Page 4: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Rooted spanning trees

v

A spanning tree rooted at v

Philippe Biane spanning trees of tree graphs

Page 5: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Kirchhoff’theorem

X ⊂ VQX = Q with rows and columns in X

det(QX ) =∑f ∈FX

∏e∈f

xe

The sum is over forests rooted in V \ X .

In particular the invariant measure is

µ(v) =∑t∈Tv

∏e∈t

xe

sum over oriented trees rooted at v

Philippe Biane spanning trees of tree graphs

Page 6: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Tree-graph of a graph

TG = (TV ,TE )

TV =Vertices of the tree graph=spanning trees of the graphs=spanning tree rooted at ve = v → wedge from s to t:

vw

The tree s

vw

The tree t

vw

Philippe Biane spanning trees of tree graphs

Page 7: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Tree-graph of a graph

TG = (TV ,TE )

TV =Vertices of the tree graph=spanning trees of the graphs=spanning tree rooted at ve = v → wedge from s to t:

vw

The tree s

vw

The tree t

vw

Philippe Biane spanning trees of tree graphs

Page 8: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Tree-graph of a graph

TG = (TV ,TE )

TV =Vertices of the tree graph=spanning trees of the graphs=spanning tree rooted at ve = v → wedge from s to t:

vw

The tree s

vw

The tree t

vw

Philippe Biane spanning trees of tree graphs

Page 9: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

The tree-graph is a covering graph:

p : s 7→ v

mapping each tree to its root.

Every path in V can be lifted to TV .

Philippe Biane spanning trees of tree graphs

Page 10: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Example

1

34

2

x23

x31

x34x43

{4}

{3, 4}

{1, 2, 3, 4}

{1, 3, 4}

{3, 4}

{3, 4}

{4}

{1, 2, 3, 4}

{4} {1, 3, 4}

{1, 2, 3, 4}

{1, 3, 4}

{1, 2, 3, 4} {3, 4}

Philippe Biane spanning trees of tree graphs

Page 11: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Laplacian matrix of the tree-graph

On each edge s → t above v → w put the weight xe .This defines the Laplacian matrix R of the tree-graph

Rst = Qvw ; p(s) = v ; p(t) = w

This is the generator of a continuous time Markov chain on thetree-graph.

Philippe Biane spanning trees of tree graphs

Page 12: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Lifting of the Markov chain

The chain on TV projects to the chain on V by p : TV → V :if TX is a R-Markov chain on TV then p(TX ) is a Q-Markovchain on V .

1

34

2

x23

x31

x34x43

{4}

{3, 4}

{1, 2, 3, 4}

{1, 3, 4}

{3, 4}

{3, 4}

{4}

{1, 2, 3, 4}

{4} {1, 3, 4}

{1, 2, 3, 4}

{1, 3, 4}

{1, 2, 3, 4} {3, 4}

Philippe Biane spanning trees of tree graphs

Page 13: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Lemma: the invariant measure of the chain on the tree graph is

Tµ(t) =∏e∈t

xe

This provides a combinatorial proof of Kirchhoff’s theorem since

p(Tµ) = µ

µ(v) =∑

t∈p−1(v)

Tµ(t) =∑t∈Tv

∏e∈t

xe

Philippe Biane spanning trees of tree graphs

Page 14: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Spanning trees of the tree-graph

The invariant measure of the chain on the tree graph can also becomputed using spanning trees of the tree graph.The preceding result implies∑

t∈Tt

∏e∈t

xe = P(xe ; e ∈ E )∏e∈t

xe

the sum is over spanning trees of TG rooted at t.The polynomial P is independent of t,it depends only on the graph V .

Philippe Biane spanning trees of tree graphs

Page 15: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Example

The complete graph on X = {1, 2, 3}

1 3

2

w

c

vb

ua

Q =

λ a wu µ bc v ν

with λ = −a− w , µ = −b − u, ν = −c − v

Philippe Biane spanning trees of tree graphs

Page 16: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

uv 1 uw 3

vw 2

ab 3 ac 2

bc 1

bw 3

av 2 cu 1

w

vu

b

ac

au

bv

cw

au

wc

vb

Figure : The graph TPhilippe Biane spanning trees of tree graphs

Page 17: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

The transition matrix for the lifted Markov chain is

R =

λ 0 0 0 a 0 w 0 00 λ 0 a 0 0 w 0 00 0 λ 0 a 0 0 w 0

0 u 0 µ 0 0 0 0 bu 0 0 0 µ 0 0 0 b0 u 0 0 0 µ 0 b 0

c 0 0 0 0 v ν 0 00 0 c 0 0 v 0 ν 00 0 c v 0 0 0 0 ν

Philippe Biane spanning trees of tree graphs

Page 18: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

The polynomial P can be computed

P(a, b, c , u, v ,w) = (bc + cu + uv)(av + ac + vw)(ab + bw + uw)

=∏i∈X

∑t∈Ti

π(t)

It is a product of the 2-minors of the matrix

Q =

λ a wu µ bc v ν

λ = −a− w , µ = −b − u, ν = −c − v

Philippe Biane spanning trees of tree graphs

Page 19: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Theorem

There exist integers m(W ); W ⊂ V such that

P(xe ; e ∈ E ) =∏

W(V

det(QW )m(W )

Philippe Biane spanning trees of tree graphs

Page 20: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 21: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 22: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 23: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 24: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 25: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 26: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 27: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 28: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 29: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Computation of the multiplicities m(W )

Fix a total ordering of the vertex set V of G .

Start with a vertex v , and a spanning tree t rooted at v . Performbreadth first search of the graph t and for each vertex obtainederase it if the edge is not in the tree t.

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

2

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

8 9

7

1

3 4 5 6

9

7

1

3 4 5 6

9

7

9

3 4 5 6

7

5 6

7

The set W

This yields a tree on vertex set X . The output is the stronglyconnected component of v in X .

Philippe Biane spanning trees of tree graphs

Page 30: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

The multiplicity m(v ,W ) is equal to the number of spanning treesrooted at v such that the algorithm outputs W .

Proposition: For all W ⊂ V , the multiplicity m(W ) = m(v ,W )does not depend on v ∈W . Also it does not depend on theordering of the vertices.

Philippe Biane spanning trees of tree graphs

Page 31: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

m(W ) is the multiplicity in the formula

P(xe ; e ∈ E ) =∏

W(V

det(QW )m(W )

Philippe Biane spanning trees of tree graphs

Page 32: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Proof

The proof of the formula

P(xe ; e ∈ E ) =∏

W(V

det(QW )m(W )

is algebraic, actually one has

det(zI − TQ) =∏

W⊂Vdet(zI − QW )m(W )

The proof of this formula consists in finding appropriate invariantsubspaces for TQ.

Philippe Biane spanning trees of tree graphs

Page 33: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

Example

The bouquet graphs:

0

1

v11vn11. . .

2v12

vn22

. . .

kv1k

vnkk

...

. . .

. . .

. . .

Philippe Biane spanning trees of tree graphs

Page 34: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

When n1 = . . . = nk = 1 the tree graph of the bouquet graph isthe hypercube {0, 1}k .

b

a1

a2an1 . . .

. . .. . .

Philippe Biane spanning trees of tree graphs

Page 35: spanning trees of tree graphs - Istituto Nazionale di ...theory.fi.infn.it/SMIC/confLM/Talks/Biane.pdf · Markov chains If x e 0 this is the generator of a continuous time Markov

We recover then Stanley’s formula, generalized by Bernardi:

TheoremThe generating function of spanning oriented forests of thehypercube {0, 1}k , with a weight z per root and a weight y j

i foreach edge mutating the i-th coordinate to the value j is given by:∏

J⊂[1..k]

(z +

∑i∈J

(y0i + y1

i )).

Philippe Biane spanning trees of tree graphs