Bijective counting of tree-rooted maps Olivier Bernardi - LaBRI, - - PowerPoint PPT Presentation

bijective counting of tree rooted maps
SMART_READER_LITE
LIVE PREVIEW

Bijective counting of tree-rooted maps Olivier Bernardi - LaBRI, - - PowerPoint PPT Presentation

Bijective counting of tree-rooted maps Olivier Bernardi - LaBRI, Bordeaux Combinatorics and Optimization seminar, March 2006, Waterloo University Bijective counting of tree-rooted maps Maps and trees. Tree-rooted maps and parenthesis systems.


slide-1
SLIDE 1

Bijective counting of tree-rooted maps

Olivier Bernardi - LaBRI, Bordeaux

Combinatorics and Optimization seminar, March 2006, Waterloo University

slide-2
SLIDE 2

Bijective counting of tree-rooted maps

Maps and trees. Tree-rooted maps and parenthesis systems. (Mullin, Lehman & Walsh) Bijection : Tree-rooted maps ⇐ ⇒ Trees × Non-crossing partitions. Isomorphism with a construction by Cori, Dulucq and Viennot.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.1/31

slide-3
SLIDE 3

Maps and trees

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.2/31

slide-4
SLIDE 4

Planar maps

A map is a connected planar graph properly embedded in the oriented sphere. The map is considered up to deformation.

=

=

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.3/31

slide-5
SLIDE 5

Planar maps

A map is a connected planar graph properly embedded in the oriented sphere. The map is considered up to deformation.

=

=

A map is rooted by adding a half-edge in a corner.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.3/31

slide-6
SLIDE 6

Trees

A tree is a map with only one face.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.4/31

slide-7
SLIDE 7

Trees

A tree is a map with only one face. The size of a map, a tree, is the number of edges.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.4/31

slide-8
SLIDE 8

Tree-rooted maps

A submap is a spanning tree if it is a tree containing every vertex.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.5/31

slide-9
SLIDE 9

Tree-rooted maps

A submap is a spanning tree if it is a tree containing every vertex. A tree-rooted map is a rooted map with a distinguished spanning tree.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.5/31

slide-10
SLIDE 10

Tree-rooted maps and Parenthesis systems (Mullin, Lehman & Walsh)

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.6/31

slide-11
SLIDE 11

Parenthesis systems

A parenthesis system is a word w on {a, a} such that |w|a = |w′|a and for all prefix w′, |w′|a ≥ |w′|a. Example : w = aaaaaaaa is a parenthesis system.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.7/31

slide-12
SLIDE 12

Parenthesis shuffle

A parenthesis shuffle is a word w on {a, a, b, b} such that the subwords made of {a, a} letters and {b, b} letters are parenthesis systems. Example : w = baababbabaabaa is a parenthesis shuffle.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.8/31

slide-13
SLIDE 13

Parenthesis shuffle

A parenthesis shuffle is a word w on {a, a, b, b} such that the subwords made of {a, a} letters and {b, b} letters are parenthesis systems. Example : w = baababbabaabaa is a parenthesis shuffle. The size of a parenthesis system, shuffle is half its length.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.8/31

slide-14
SLIDE 14

Trees and parenthesis systems

Rooted trees of size n are in bijection with parenthesis systems of size n.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.9/31

slide-15
SLIDE 15

Trees and parenthesis systems

aaa

We turn around the tree and write :

a the first time we follow an edge, a the second time.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.9/31

slide-16
SLIDE 16

Trees and parenthesis systems

aaaaaaaa

We turn around the tree and write :

a the first time we follow an edge, a the second time.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.9/31

slide-17
SLIDE 17

Tree-rooted maps and parenthesis shuffles

[Mullin 67, Lehman & Walsh 72] Tree-rooted maps of size n are in bijection with parenthesis shuffles of size n.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.10/31

slide-18
SLIDE 18

Tree-rooted maps and parenthesis shuffles

baaba

We turn around the tree and write :

a the first time we follow an internal edge, a the second time, b the first time we cross an external edge, b the second time.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.10/31

slide-19
SLIDE 19

Tree-rooted maps and parenthesis shuffles

baababbabaabaa

We turn around the tree and write :

a the first time we follow an internal edge, a the second time, b the first time we cross an external edge, b the second time.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.10/31

slide-20
SLIDE 20

Counting results

There are Ck = 1 k + 1 2k k

  • parenthesis systems of size

k.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.11/31

slide-21
SLIDE 21

Counting results

There are Ck = 1 k + 1 2k k

  • parenthesis systems of size

k. There are 2n 2k

  • ways of shuffling a parenthesis system
  • f size k (on {a, a}) and a parenthesis system of size

n − k (on {b, b}).

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.11/31

slide-22
SLIDE 22

Counting results

There are Ck = 1 k + 1 2k k

  • parenthesis systems of size

k. There are 2n 2k

  • ways of shuffling a parenthesis system
  • f size k (on {a, a}) and a parenthesis system of size

n − k (on {b, b}). = ⇒ There are Mn =

n

  • k=0

2n 2k

  • CkCn−k parenthesis

shuffles of size n.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.11/31

slide-23
SLIDE 23

Counting results

Mn =

n

  • k=0

2n 2k

  • CkCn−k

= (2n)! (n + 1)!2

n

  • k=0

n + 1 k n + 1 n − k

  • =

(2n)! (n + 1)!2 2n + 2 n

  • Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.12/31

slide-24
SLIDE 24

Counting results

Mn =

n

  • k=0

2n 2k

  • CkCn−k

= (2n)! (n + 1)!2

n

  • k=0

n + 1 k n + 1 n − k

  • =

(2n)! (n + 1)!2 2n + 2 n

  • Theorem : The number of parenthesis shuffles of size n is

Mn = CnCn+1.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.12/31

slide-25
SLIDE 25

Counting results

Mn =

n

  • k=0

2n 2k

  • CkCn−k

= (2n)! (n + 1)!2

n

  • k=0

n + 1 k n + 1 n − k

  • =

(2n)! (n + 1)!2 2n + 2 n

  • Theorem [Mullin 67] : The number of tree-rooted maps of

size n is Mn = CnCn+1.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.12/31

slide-26
SLIDE 26

A pair of trees ?

Theorem [Mullin 67] : The number of tree-rooted maps of size n is Mn = CnCn+1. Is there a pair of trees hiding somewhere ?

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.13/31

slide-27
SLIDE 27

A pair of trees ?

Theorem [Mullin 67] : The number of tree-rooted maps of size n is Mn = CnCn+1. Is there a pair of trees hiding somewhere ? Theorem [Cori, Dulucq, Viennot 86] : There is a (recursive) bijection between parenthesis shuffles of size n and pairs of trees.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.13/31

slide-28
SLIDE 28

A pair of trees ?

Theorem [Mullin 67] : The number of tree-rooted maps of size n is Mn = CnCn+1. Is there a pair of trees hiding somewhere ? Theorem [Cori, Dulucq, Viennot 86] : There is a (recursive) bijection between parenthesis shuffles of size n and pairs of trees. Is there a good interpretation on maps ?

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.13/31

slide-29
SLIDE 29

Tree-rooted maps ⇐ ⇒ Trees × Non-crossing partitions

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.14/31

slide-30
SLIDE 30

Orientations of tree-rooted maps

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.15/31

slide-31
SLIDE 31

Orientations of tree-rooted maps

Internal edges are oriented from the root to the leaves.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.15/31

slide-32
SLIDE 32

Orientations of tree-rooted maps

Internal edges are oriented from the root to the leaves. External edges are oriented in such a way their heads appear before their tails around the tree.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.15/31

slide-33
SLIDE 33

Orientations of tree-rooted maps

Proposition : The orientation is root-connected : there is an oriented path from the root to any vertex.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.16/31

slide-34
SLIDE 34

Orientations of tree-rooted maps

Proposition : The orientation is root-connected : there is an oriented path from the root to any vertex. The orientation is minimal : every directed cycle is oriented clockwise.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.16/31

slide-35
SLIDE 35

Orientations of tree-rooted maps

Proposition : The orientation is root-connected : there is an oriented path from the root to any vertex. The orientation is minimal : every directed cycle is oriented clockwise. We call tree-orientation a minimal root-connected

  • rientation.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.16/31

slide-36
SLIDE 36

Orientations of tree-rooted maps

Theorem : The orientation of edges in tree-rooted maps gives a bijection between tree-rooted maps and tree-oriented maps.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.17/31

slide-37
SLIDE 37

Orientations of tree-rooted maps

Theorem : The orientation of edges in tree-rooted maps gives a bijection between tree-rooted maps and tree-oriented maps.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.17/31

slide-38
SLIDE 38

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-39
SLIDE 39

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-40
SLIDE 40

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-41
SLIDE 41

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-42
SLIDE 42

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-43
SLIDE 43

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.18/31

slide-44
SLIDE 44

From the orientation to the tree

We turn around the tree we are constructing.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.18/31

slide-45
SLIDE 45

Vertex explosion

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.19/31

slide-46
SLIDE 46

Vertex explosion

We explode the vertex and obtain a vertex per ingoing edge + a (gluing) cell.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.19/31

slide-47
SLIDE 47

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.20/31

slide-48
SLIDE 48

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.20/31

slide-49
SLIDE 49

Example

A tree !

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.20/31

slide-50
SLIDE 50

Bijection

Proposition : The map obtained by exploding the vertices is a tree.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.21/31

slide-51
SLIDE 51

Bijection

Proposition : The map obtained by exploding the vertices is a tree. The gluing cells are incident to the first corner of each

  • vertex. They define a non-crossing partition of the

vertices of the tree.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.21/31

slide-52
SLIDE 52

Bijection

Theorem : The orientation of tree-rooted maps and the explosion of vertices gives a bijection between tree-rooted maps of size n and trees of size n × non-crossing partitions of size n + 1.

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.22/31

slide-53
SLIDE 53

Bijection

Theorem : The orientation of tree-rooted maps and the explosion of vertices gives a bijection between tree-rooted maps of size n and trees of size n × non-crossing partitions of size n + 1. Corollary : Mn = CnCn+1.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.22/31

slide-54
SLIDE 54

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.23/31

slide-55
SLIDE 55

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.23/31

slide-56
SLIDE 56

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.23/31

slide-57
SLIDE 57

Example

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.23/31

slide-58
SLIDE 58

Example

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.23/31

slide-59
SLIDE 59

Isomorphism with a bijection by Cori, Dulucq and Viennot

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.24/31

slide-60
SLIDE 60

Tree code Φ

Definition : Φ(ǫ) = u • v. Φa : Replace last occurrence of u by u • v. Φb : Replace first occurrence of v by u • v. Φa : Replace first occurrence of v by a v T2 T2 T1 T1 Φb : Replace last occurrence of u by b u T2 T2 T1 T1

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.25/31

slide-61
SLIDE 61

Tree code Φ

Example : baaaba a b b a a a v u v u v u v v u u u u v v u v v u u v u

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.26/31

slide-62
SLIDE 62

Tree code Φ

Example : baaaba a b b a a a v u v u v u v v u u u u v v u v v u u v u

Φ baaaba

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.26/31

slide-63
SLIDE 63

Partition code Ψ

Definition : Ψ(ǫ) : Ψa : Replace last active left leaf a Ψb : Replace first active right leaf b Ψa : Inactivate first active right leaf. Ψb : Inactivate last active left leaf.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.27/31

slide-64
SLIDE 64

Partition code Ψ

Example : baaaba b a a a b a

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.28/31

slide-65
SLIDE 65

Partition code Ψ

Example : baaaba b a a a b a

Ψ baaaba

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.28/31

slide-66
SLIDE 66

Isomorphism

Id

baaaba Θ

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.29/31

slide-67
SLIDE 67

Isomorphism tree code :

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-68
SLIDE 68

Isomorphism tree code :

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-69
SLIDE 69

Isomorphism tree code :

u v

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-70
SLIDE 70

Isomorphism tree code :

u v u

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-71
SLIDE 71

Isomorphism tree code :

u v u v

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-72
SLIDE 72

Isomorphism tree code :

v u v u v

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-73
SLIDE 73

Isomorphism tree code :

u v v v

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-74
SLIDE 74

Isomorphism tree code :

v v u

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-75
SLIDE 75

Isomorphism tree code :

v u v u

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-76
SLIDE 76

Isomorphism tree code :

u v u

Waterloo, March 2006

▽Olivier Bernardi - LaBRI – p.30/31

slide-77
SLIDE 77

Isomorphism tree code :

u v

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.30/31

slide-78
SLIDE 78

Thanks.

Waterloo, March 2006 Olivier Bernardi - LaBRI – p.31/31