Fighting Fish: enumerative properties. Enrica Duchi. Veronica Guerrini & Simone Rinaldi DIISM, Università di Siena.
|
|
- Colin Alexander
- 5 years ago
- Views:
Transcription
1 Fighting Fish: enumerative properties Enrica Duchi IRIF, Université Paris Diderot Veronica Guerrini & Simone Rinaldi DIISM, Università di Siena Gilles Schaeffer LIX, CNRS and École Polytechnique Séminaire Philippe Flajolet, 27
2 Summary of the talk Fighting fish, a new combinatorial model of discrete branching surfaces Exact counting formulas for fighting fish Decompositions for fighting fish Fighting fish VS classical combinatorial structures a bijective challenge...
3 Fighting fish, definition Cells 45 o tilted unit square (of thin paper or cloth) upper left edge lower left edge Build surface by gluing cells along edges in a coherent way: upper left with lower right or lower left with upper right. upper right edge lower right edge glued edges free edges = These objects do not necessarily fit in the plane so my pictures are projections of the actual surfaces: Apparently overlapping cells are in fact independant.
4 Fighting fish, definition Directed cell aggregation. Restrict to only three legal ways to add cells: by lower right gluing, upper right gluing, or simultaneous lower and upper right gluings from adjacent free edges. lower right gluing simultaneous right gluing upper right gluing
5 Fighting fish, definition Lemma. Single cell + aggregations a simply connected surface Remark. Such surfaces can be recovered from their boundary walk.
6 Fighting fish, definition Fighting fish A fighting fish is a surface that can be obtained from a single cell by a sequence of directed cell agregations We are interested only in the resulting surface, not in the aggregation order (but type of aggregation matters) 2 = 2 = but 8 free edges free edges
7 Small fighting fish n = 2 n = 3 n = 4 n = 5
8 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice
9 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path.
10 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path. Proposition. A fighting fish is a directed polyomino iff its projection in the plane is injective. fighting fish do not all fit in the plane, ie they are not all polyominoes.
11 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path. Proposition. A fighting fish is a directed polyomino iff its projection in the plane is injective. fighting fish do not all fit in the plane, ie they are not all polyominoes.
12 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path. Proposition. A fighting fish is a directed polyomino iff its projection in the plane is injective. fighting fish do not all fit in the plane, ie they are not all polyominoes. Conversely there are directed polyominoes that are not fighting fish:
13 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path. Proposition. A fighting fish is a directed polyomino iff its projection in the plane is injective. fighting fish do not all fit in the plane, ie they are not all polyominoes. Conversely there are directed polyominoes that are not fighting fish: Fighting fish are a generalization of directed polyominoes without holes.
14 Fighting fish versus polyominoes Polyomino = edge-connected set of cells of the planar square lattice Directed polyominoes: there is a cell, the head, from which all cells can be reached by a left-to-right path. Proposition. A fighting fish is a directed polyomino iff its projection in the plane is injective. fighting fish do not all fit in the plane, ie they are not all polyominoes. Conversely there are directed polyominoes that are not fighting fish: Fighting fish are a generalization of directed polyominoes without holes.
15 Parameters of fighting fish head tails fin Area = # cells branch points Size = semi-perimeter = #{upper free edges} = #{upper left free edges} + #{upper right free edges} The fin length = #{ lower free edges from head to first tail }
16 Parameters of fighting fish head tails fin Area = # cells branch points Size = semi-perimeter = #{upper free edges} = #{upper left free edges} + #{upper right free edges} The fin length = #{ lower free edges from head to first tail } Fighting fish with exactly tail
17 Parameters of fighting fish head tails fin Area = # cells branch points Size = semi-perimeter = #{upper free edges} = #{upper left free edges} + #{upper right free edges} The fin length = #{ lower free edges from head to first tail } Fighting fish with exactly tail = parallelogram polyominoes aka staircase polygons in this case, fin length = semi-perimeter
18 Enumerative results
19 Enumerative results Theorem (folklore) { } parallelogram polyominos # = with semi-perimeter n + { } parallelogram polyominos with # i top left and j top right edges fighting fish with tail 2n + = i+j ( ) 2n n ( i+j i )( i+j j )
20 Enumerative results Theorem (folklore) { } parallelogram polyominos # = with semi-perimeter n + { } parallelogram polyominos with # i top left and j top right edges fighting fish with tail 2n + = i+j ( ) 2n n ( i+j i )( i+j j ) { # Theorem (D., Guerrini, Rinaldi, Schaeffer, 26) { } ( ) fighting fish 2 3n # = with semi-perimeter n + (n + )(2n + ) n } fighting fish with = i top left and j top right edges (2i+j )(2j+i ) ( 2i+j i )( 2j+i j )
21 Fighting fish as random branching surfaces Let F n be a fighting fish taken uniformly at random among all fighting fish of size n.
22 Fighting fish as random branching surfaces Let F n be a fighting fish taken uniformly at random among all fighting fish of size n. Theorem (D., Guerrini, Rinaldi, Schaeffer, J. Physics A, 26) The expected area of F n is of order n 5/4
23 Fighting fish as random branching surfaces Let F n be a fighting fish taken uniformly at random among all fighting fish of size n. Theorem (D., Guerrini, Rinaldi, Schaeffer, J. Physics A, 26) The expected area of F n is of order n 5/4 Compare to the known expected area n 3/2 of random parallelogram polyominoes of size n
24 Fighting fish as random branching surfaces Let F n be a fighting fish taken uniformly at random among all fighting fish of size n. Theorem (D., Guerrini, Rinaldi, Schaeffer, J. Physics A, 26) The expected area of F n is of order n 5/4 Compare to the known expected area n 3/2 of random parallelogram polyominoes of size n Uniform random fighting fish of size n gives a new model of random branching surfaces with original features.
25 Fish tails We start by giving the definition of a slightly more general class: Fighting fish tails.
26 Fish tails We start by giving the definition of a slightly more general class: Fighting fish tails. A cell is made up by two scales Left scale Right scale
27 Fish tails We start by giving the definition of a slightly more general class: Fighting fish tails. A cell is made up by two scales Left scale A fish tail is a surface that can be obtained from a strip of right scales by a sequence of directed cell agregations. Right scale
28 Fish tails We start by giving the definition of a slightly more general class: Fighting fish tails. A cell is made up by two scales Left scale A fish tail is a surface that can be obtained from a strip of right scales by a sequence of directed cell agregations. Right scale
29 Fish tails We start by giving the definition of a slightly more general class: Fighting fish tails. A cell is made up by two scales Left scale A fish tail is a surface that can be obtained from a strip of right scales by a sequence of directed cell agregations. area= the number of left and right scales in the fish tail height= the number of right scales in the strip size= the number of upper left and right free edges Right scale
30 A recursive decomposition
31 A recursive decomposition The empty fish is the unique fish tail with height. T T T T l + l l l l l l l k T 2 k T 2 k T 2 k T 2 Operation u Operation h Operation h Operation d
32 A recursive decomposition The empty fish is the unique fish tail with height. T T T T l + l l l l l l l k T 2 k T 2 k T 2 k T 2 Operation u Operation h Operation h Operation d Every fish tail can be obtained in a unique way using operations u, h, h, d.
33 A recursive definition
34 h A recursive definition
35 h A recursive definition
36 A recursive definition h h
37 A recursive definition h h
38 A recursive definition h h d
39 A recursive definition h h d
40 A recursive definition h h h d
41 A recursive definition h h u h d h u
42 A recursive definition h h u h d h u
43 Fish tails vs fighting fish Fish tails with height and n free upper edges are in one-to-one correspondence with fighting fish with n + free upper edges.
44 Fish tails vs fighting fish Fish tails with height and n free upper edges are in one-to-one correspondence with fighting fish with n + free upper edges. n = n = 2 n = 3 n = 4
45 Fish tails vs fighting fish Fish tails with height and n free upper edges are in one-to-one correspondence with fighting fish with n + free upper edges. n = 2 n = 3 n = 4 n = 5
46 The generating function Let FT be the set of fish tails without the empty fish tail. Then T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) denote the generating function of fish tails, where h(t ) is the height of T a(t ) is the area of T c(t ) is the number of tails of T n(t ) is the semi-perimeter of T
47 The generating function Let FT be the set of fish tails without the empty fish tail. Then T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) denote the generating function of fish tails, where h(t ) is the height of T a(t ) is the area of T c(t ) is the number of tails of T n(t ) is the semi-perimeter of T Let us denote T (v, q) T (v, q, x, t) f(q) = [v]t (v, q) We are going to write the functional equation associated with the previous construction.
48 The functional equation for fish tails T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t )
49 The functional equation for fish tails T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) T l + l T n(t ) = n(t ) + n(t 2 ) + h(t ) = h(t ) + h(t 2 ) + T 2 c(t ) = c(t ) + c(t 2 ) if l := h(t ) Operation u c(t ) = c(t 2 ) + if l = a(t ) = a(t ) + a(t 2 ) + 2l +
50 The functional equation for fish tails T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) T l + l T n(t ) = n(t ) + n(t 2 ) + h(t ) = h(t ) + h(t 2 ) + T 2 c(t ) = c(t ) + c(t 2 ) if l := h(t ) Operation u c(t ) = c(t 2 ) + if l = a(t ) = a(t ) + a(t 2 ) + 2l + Operation u gives the term tvqt (vq 2, q, x, t)(t (v, q, x, t) + ) + tvqx(t (v, q, x, t) + ) = tvq(t (vq 2, q) + x)(t (v, q) + )
51 The functional equation for fish tails T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) T T T T n(t ) = n(t ) + n(t 2 ) + l l l l h(t ) = h(t ) + h(t 2 ) k T 2 k T 2 Operation h Operation h c(t ) = c(t ) + c(t 2 ) (l ) a(t ) = a(t ) + a(t 2 ) + 2l Operation h and h give the term 2t(T (vq 2, q)(t (v, q) + )
52 The functional equation for fish tails T (v, q, x, t) = T FT vh(t ) q a(t ) x c(t ) t n(t ) T T n(t ) = n(t ) + n(t 2 ) + l l h(t ) = h(t ) + h(t 2 ) (l > ) k Operation d T 2 c(t ) = c(t ) + c(t 2 ) a(t ) = a(t ) + a(t 2 ) + 2l Operation u gives the term t vq (T (vq2, q) vq 2 f(q))(t (v, q) + )
53 Enumeration wrt the perimeter and number of tails The functional equation T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + )
54 Enumeration wrt the perimeter and number of tails The functional equation T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + ) Letting q = the master equation reduces to T (v) = tv(t (v) + x)(t (v) + ) + 2tT (v)(t (v) + ) + t v (T (v) vf)(t (v) + ) where T (v) T (v, ) and f f()
55 Enumeration wrt the perimeter and number of tails The functional equation T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + ) Letting q = the master equation reduces to T (v) = tv(t (v) + x)(t (v) + ) + 2tT (v)(t (v) + ) + t v (T (v) vf)(t (v) + ) where T (v) T (v, ) and f f() This equation is now a polynomial equation with one catalytic variable and it admits an explicitly computable algebraic solution. (Bousquet-Mélou and Jehanne, J. Combin. Theory Ser.B, 26)
56 Enumeration wrt semi-perimeter and number of tails T (v) = tv(t (v) + x)(t (v) + ) + 2tT (v)(t (v) + ) + t v (T (v) vf)(t (v) + ) We apply the Bousquet-Mélou Jehanne trick:
57 Enumeration wrt semi-perimeter and number of tails T (v) = tv(t (v) + x)(t (v) + ) + 2tT (v)(t (v) + ) + t v (T (v) vf)(t (v) + ) We apply the Bousquet-Mélou Jehanne trick: Upon deriving with respect to v we obtain the following equation ( tv(t (v) + x) 2tT (v) t v (T (v) vf) (tv + 2t + t v = (T (v) + )(t(t (v) + x) t v 2 (T (v) vf) t v f) )(T (v) + )) dt (v) dv =
58 Enumeration wrt semi-perimeter and number of tails T (v) = tv(t (v) + x)(t (v) + ) + 2tT (v)(t (v) + ) + t v (T (v) vf)(t (v) + ) We apply the Bousquet-Mélou Jehanne trick: Upon deriving with respect to v we obtain the following equation ( tv(t (v) + x) 2tT (v) t v (T (v) vf) (tv + 2t + t v = (T (v) + )(t(t (v) + x) t v 2 (T (v) vf) t v f) )(T (v) + )) dt (v) dv = There is a power series V V (t), such that setting v = V cancels the left hand side: ( tv (T (V ) + x) 2tT (V ) t V (T (V ) V f) (tv + 2t + t V we then also have and the main equation gives a third equation. )(T (V ) + )) = (T (V ) + )(t(t (V ) + x) t V 2 (T (V ) V f) t V f) =
59 Enumeration wrt semi-perimeter and number of tails Simplifying the previous system of equations we obtain V = t( + V + xv 2 V )2 f = xv x 2 V 3 ( V ) 2 T (V ) = xv 2 V 2
60 Enumeration wrt semi-perimeter and number of tails Simplifying the previous system of equations we obtain V = t( + V + xv 2 V )2 f = xv x 2 V 3 ( V ) 2 T (V ) = xv 2 V 2 By setting x = we obtain equations for fighting fish according to the semi-perimeter only.
61 Enumeration wrt semi-perimeter and number of tails Simplifying the previous system of equations we obtain V = t( + V + xv 2 V )2 f = xv x 2 V 3 ( V ) 2 T (V ) = xv 2 V 2 By setting x = we obtain equations for fighting fish according to the semi-perimeter only. V = t ( V ) 2 f = V V 3 ( V ) 2
62 Enumeration wrt semi-perimeter and number of tails Simplifying the previous system of equations we obtain V = t( + V + xv 2 V )2 f = xv x 2 V 3 ( V ) 2 T (V ) = xv 2 V 2 By setting x = we obtain equations for fighting fish according to the semi-perimeter only. V = t ( V ) 2 f = V V 3 ( V ) 2 Lagrange inversion formula The number of fighting fish with size n + [t n ]f = 2 (n+)(2n+)( 3n n )
63 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail.
64 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + )
65 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = Our decomposition generalizes a Temperly like decomposition for parallelogram polyominoes. l + l T l l T l l T 2n n+( n Parallelogram polyominoes of size n + l l T T 2 T 2 T 2 T 2 ) Operation u Operation h Operation h Operation d
66 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + ) l + l T l l T l l T l l T where T is a fighting fish with tail Operation u Operation h Operation h Operation d
67 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + ) l + l l l l l l l Operation u Operation h Operation h Operation d
68 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + ) More generally generating function for fighting fish with size n + and c tails is rational in the Catalan generating function. However explicit expressions are not particularly simple
69 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + ) More generally generating function for fighting fish with size n + and c tails is rational in the Catalan generating function. However explicit expressions are not particularly simple The number of fighting fish with size n + and a marked tail is n ( 3n 2 ) n df dx x= + Lagrange inversion formula
70 Enumeration wrt semi-perimeter and number of tails. The same approach can be applied to (re)derive the number of fighting fish of size n + with one tail. [x]f = [x ]V = V f = xv x 2 V 3 ( V ) 2 where V = t( + V ) 2 V = t( + V + xv 2 V )2 [xt n ]f = 2n n+( n Parallelogram polyominoes of size n + ) More generally generating function for fighting fish with size n + and c tails is rational in the Catalan generating function. However explicit expressions are not particularly simple The number of fighting fish with size n + and a marked tail is n ( 3n 2 ) n df dx x= + Lagrange inversion formula The average number of tails of fighting fish of size n + is [x n ] df dx x= [x n ]f = (n+)(2n+) 3(3n )
71 Enumeration of fighting fish wrt the area We are going to count fighting fish weighted by their area. Let A A(x, t) be the total area generating function. Then A(x, t) = F a(f )tn(f ) = (qf(q)) q q= = f + (f(q)) q q=
72 Enumeration of fighting fish wrt the area We are going to count fighting fish weighted by their area. Let A A(x, t) be the total area generating function. Then A(x, t) = F a(f )tn(f ) = (qf(q)) q Let us consider the master equation q= = f + (f(q)) q q= T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + )
73 Enumeration of fighting fish wrt the area We are going to count fighting fish weighted by their area. Let A A(x, t) be the total area generating function. Then A(x, t) = F a(f )tn(f ) = (qf(q)) q Let us consider the master equation q= = f + (f(q)) q q= T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + ) By deriving with respect to q and by setting q = we obtain ( tv(t (v, ) + x) 2tT (v, ) t v (T (v, ) vf) (tv + 2t + t T )(T (v) + )) (v, ) v q = (T ( (v, ) + ) ) (tv + 2t + t T ) 2v v v (v, ) + tv(t (v, ) + x) t f (T (v, ) vf) 2tf t v q ()
74 Enumeration of fighting fish wrt the area We are going to count fighting fish weighted by their area. Let A A(x, t) be the total area generating function. Then A(x, t) = F a(f )tn(f ) = (qf(q)) q Let us consider the master equation q= = f + (f(q)) q q= T (v, q) = tvq(t (vq 2, q) + x)(t (v, q) + ) + 2tT (vq 2, q)(t (v, q) + ) + t vq (T (vq2, q) vq 2 f(q))(t (v, q) + ) By setting v = V we have (tv + 2t + t V ) 2V T v (V, ) + tv (T (V, ) + x) t V (T (V, ) V f) 2tf t f q () To obtain T v (V, ) we apply again the kernel method.
75 The area generating function The generating function A A(x, t) for the total area of fighting fish with size n + satisfies V ( V ) 2 A 2 + 2( V ) 2 ( V 2 + xv 2 )A 4xV ( V 2 + xv 2 ) =
76 The area generating function The generating function A A(x, t) for the total area of fighting fish with size n + satisfies V ( V ) 2 A 2 + 2( V ) 2 ( V 2 + xv 2 )A 4xV ( V 2 + xv 2 ) = Extracting the coefficient of x, [x]a = A, yields 2( V ) 2 ( V 2 )A 4V ( V 2 ) = where V = [x ]V is a Catalan generating function satisfying V = t( + V ) 2 we obtain the generating function for the total area of parallelogram polyominoes A = 2V ( V ) 2 = 2t 4t The simplification to a rational function of t is a well-known feature of parallelogram polyominoes.
77 The area generating function The generating function A A(x, t) for the total area of fighting fish with size n + satisfies V ( V ) 2 A 2 + 2( V ) 2 ( V 2 + xv 2 )A 4xV ( V 2 + xv 2 ) = Extracting the coefficient of x, [x]a = A, yields 2( V ) 2 ( V 2 )A 4V ( V 2 ) = where V = [x ]V is a Catalan generating function satisfying V = t( + V ) 2 we obtain the generating function for the total area of parallelogram polyominoes A = 2V ( V ) 2 = 2t 4t The simplification to a rational function of t is a well-known feature of parallelogram polyominoes. The average area for parallelogram polyominoes of size n is 4 n /C n where C n are the Catalan numbers. The average area for parallelogram polyominoes of size n scales like n 3 2
78 The area generating function The generating function A A(x, t) for the total area of fighting fish with size n + satisfies V ( V ) 2 A 2 + 2( V ) 2 ( V 2 + xv 2 )A 4xV ( V 2 + xv 2 ) = Extracting the coefficient of x, [x]a = A, yields 2( V ) 2 ( V 2 )A 4V ( V 2 ) = where V = [x ]V is a Catalan generating function satisfying V = t( + V ) 2 we obtain the generating function for the total area of parallelogram polyominoes A = 2V ( V ) 2 = 2t 4t The simplification to a rational function of t is a well-known feature of parallelogram polyominoes. The average area for parallelogram polyominoes of size n is 4 n /C n where C n are the Catalan numbers. The average area for parallelogram polyominoes of size n scales like n 3 2 The generating function of the total area of fighting fish with c tails and size n + is a rational function of the Catalan generating function V
79 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4
80 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 f = V V 3 ( V ) 2 A = V (+V )( 3V ) V ( V ) and get asymptotics by singularity analysis
81 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 f = V V 3 ( V ) 2 A = V (+V )( 3V ) V ( V ) We obtain: [t n ]f cte n 5 2 t n c n Then the average area is and get asymptotics by singularity analysis [t n ]A cte n 4 5 t n n c [t n ]A [t n ]f n cte n 5 4
82 A refinement of the main formula T (v, q, x, t) = T FT al(t ) b r(t ) v h(t ) q a(t ) x c(t ) t n(t ) denote the generating function of fish tails, where l(t ) is the number of upper-left free edges of T r(t ) is the number of upper-right edges of T T T T T l + l l l l l l l k T 2 k T 2 k T 2 k T 2 Operation u Operation h Operation h Operation d T (v, q) = tvqb(t (vq 2, q) + x)(t (v, q) + ) + at (vq 2, q)(t (v, q) + )+ { # +bt (vq 2, q)(t (v, q) + ) + t vq a(t (vq2, q) vq 2 f(q))(t (v, q) + ) } ) = fighting fish with i top left and j top right edges (2i+j )(2j+i ) ( 2i+j i )( 2j+i j
83 n algebraic decomposition for parallelogram polyominoes. Since the gf function f of fighting fish is algebraic we would like to find an algebraic decomposition.
84 n algebraic decomposition for parallelogram polyominoes. Since the gf function f of fighting fish is algebraic we would like to find an algebraic decomposition. We try a new decomposition starting from a grammar-like decomposition on parallelogram polyominoes.
85 n algebraic decomposition for parallelogram polyominoes. Since the gf function f of fighting fish is algebraic we would like to find an algebraic decomposition. We try a new decomposition starting from a grammar-like decomposition on parallelogram polyominoes. The wasp-waist decomposition for parallelogram polyominoes
86 n algebraic decomposition for parallelogram polyominoes. Since the gf function f of fighting fish is algebraic we would like to find an algebraic decomposition. We try a new decomposition starting from a grammar-like decomposition on parallelogram polyominoes. The wasp-waist decomposition for parallelogram polyominoes Let P = P t P be the GF of parallelogram polyominoes according to the size, then P = t + 2tP + tp 2
87 A new decomposition Extend the wasp-waist decomposition of parallelogram polyominoes: remove one cell at the bottom of each diagonal, from left to right along the fin, until this creates a cut +
88 A new decomposition Extend the wasp-waist decomposition of parallelogram polyominoes: remove one cell at the bottom of each diagonal, from left to right along the fin, until this creates a cut + Two more cases must be considered for fighting fish...
89 A glipse of the proof Let F (u) = f t f u fin(f) x tail(f) be the GF of fighting fish according to the size, fin length and number of extra tails. Then F (u) = tu( + F (u)) 2 F () F (u) + xtuf (u) with f = F (). u
90 A glipse of the proof Let F (u) = f t f u fin(f) x tail(f) be the GF of fighting fish according to the size, fin length and number of extra tails. Then F (u) = tu( + F (u)) 2 F () F (u) + xtuf (u) with f = F (). u Case x =. Fish with one tail, ie parallelogram polyominoes: we have the usual algebraic equation for the GF of Catalan numbers.
91 A glipse of the proof Let F (u) = f t f u fin(f) x tail(f) be the GF of fighting fish according to the size, fin length and number of extra tails. Then F (u) = tu( + F (u)) 2 F () F (u) + xtuf (u) with f = F (). u Case x =. Fish with one tail, ie parallelogram polyominoes: we have the usual algebraic equation for the GF of Catalan numbers. But in the general case we have again a polynomial equation with one catalytic variable... The question to find a direct algebraic decomposition of fighting fish remain.
92 Bijections and parameter equidistributions?
93 Sloane s Online Encyclopedia of Integer Sequences { # fighting fish with semi-perimeter n + } = 2 (n + )(2n + ) ( ) 3n n, 2, 6, 9, 48, This integer sequence was already in Sloane s OEIS! The number of fighting fish of size n + (with i left and j down top edges) is equal to the number of: Two-stack sortable permutations of {,..., n} (i ascending and j descending runs) (West, Zeilberger, Bona, 9 s) Rooted non separable planar maps with n edges (i + vertices, j + faces) (Tutte, Mullin and Schellenberg, 6 s) Left ternary trees with n noeuds (i + even, j odd vertices) (Del Lungo, Del Ristoro, Penaud, 999)
94 Left ternary trees and further equidistributions Natural embedding of a ternary tree: root vertex has label vertex with label i left child i +, central child i, right child i. 2 -
95 Left ternary trees and further equidistributions Natural embedding of a ternary tree: root vertex has label vertex with label i left child i +, central child i, right child i. Left ternary tree = ternary tree without negative labels
96 Left ternary trees and further equidistributions Natural embedding of a ternary tree: root vertex has label vertex with label i left child i +, central child i, right child i. Left ternary tree = ternary tree without negative labels. Core = binary subtree of the root after pruning all right edges
97 Left ternary trees and further equidistributions Natural embedding of a ternary tree: root vertex has label vertex with label i left child i +, central child i, right child i. Left ternary tree = ternary tree without negative labels. Core = binary subtree of the root after pruning all right edges Theorem (DGRS 26): The number of fighting fish with size n + and fin length k equals the number of left ternary trees with n nodes and core size k
98 Left ternary trees and further equidistributions Natural embedding of a ternary tree: root vertex has label vertex with label i left child i +, central child i, right child i. Left ternary tree = ternary tree without negative labels. Core = binary subtree of the root after pruning all right edges Theorem (DGRS 26): The number of fighting fish with size n + and fin length k equals the number of left ternary trees with n nodes and core size k. 2 Proof? We computed the gf of fighting fish wrt size and fin length. Compute the gf of left ternary trees wrt size and core size
99 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges
100 Left ternary trees and further equidistributions 2 2 Easy for ternary trees: - Core = binary subtree of the root after pruning all right edges = +
101 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges = + Easy for ternary trees: Proposition The GF τ(u) of ternary trees wrt size and core size is τ(u) = + tuτ(u) 2 τ() generalizing τ() = + tτ() 3
102 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges = + Easy for ternary trees: Proposition The GF τ(u) of ternary trees wrt size and core size is τ(u) = + tuτ(u) 2 τ() generalizing τ() = + tτ() 3 But: No known simple decomposition of left ternary trees. Known decompositions are complex and do not preserve core.
103 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges = + Easy for ternary trees: Proposition The GF τ(u) of ternary trees wrt size and core size is τ(u) = + tuτ(u) 2 τ() generalizing τ() = + tτ() 3 But: No known simple decomposition of left ternary trees. Known decompositions are complex and do not preserve core. Idea: Solve a more general problem...
104 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges = + Easy for ternary trees: Proposition The GF τ(u) of ternary trees wrt size and core size is τ(u) = + tuτ(u) 2 τ() generalizing τ() = + tτ() 3 But: No known simple decomposition of left ternary trees. Known decompositions are complex and do not preserve core. Idea: Solve a more general problem... Proposition The GFs wrt size and core size of left ternary trees with root label i satisfy τ (u) = + tuτ (u)τ (u) = + i i i+ i i- τ i (u) = + tuτ i+ (u)τ i (u)τ i () for i >
105 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges The solution of the previous infinite system of equation is known for u = :
106 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges Theorem (Di Francesco 5, Kuba ) The size GF of left ternary trees with root label i is τ i = τ ( Xi+5 ) ( X i+4 ) ( X i+2 ) ( X i+3 ) The solution of the previous infinite system of equation is known for u = : where { τ = + tτ 3 X = ( + X + X 2 ) τ τ.
107 Left ternary trees and further equidistributions Theorem (Di Francesco 5, Kuba ) The size GF of left ternary trees with root label i is τ i = τ ( Xi+5 ) ( X i+4 ) ( X i+2 ) ( X i+3 ) Core = binary subtree of the root after pruning all right edges The solution of the previous infinite system of equation is known for u = : where { τ = + tτ 3 X = ( + X + X 2 ) τ τ Proof by guessing the formula and checking it satisfies the recurrence..
108 Left ternary trees and further equidistributions Theorem (Di Francesco 5, Kuba ) The size GF of left ternary trees with root label i is τ i = τ ( Xi+5 ) ( X i+4 ) ( X i+2 ) ( X i+3 ) Core = binary subtree of the root after pruning all right edges The solution of the previous infinite system of equation is known for u = : where { τ = + tτ 3 X = ( + X + X 2 ) τ τ Proof by guessing the formula and checking it satisfies the recurrence. Case i = of this thm gives formula for left ternary trees of size n.
109 Left ternary trees and further equidistributions Theorem (Di Francesco 5, Kuba ) The size GF of left ternary trees with root label i is τ i = τ ( Xi+5 ) ( X i+4 ) τ i (u) = τ(u) H i(u) H i (u) ( X i+2 ) ( X i+3 ) Proof by guessing the formula and checking it satisfies the recurrence. X i+2 X i+3 Core = binary subtree of the root after pruning all right edges The solution of the previous infinite system of equation is known for u = : where where { τ = + tτ 3 X = ( + X + X 2 ) τ τ Case i = of this thm gives formula for left ternary trees of size n We extend the theorem and its proof by guessing the bivariate formula Theorem (DGRS6) The bivariate size and core size GF of left ternary trees with label i is { τ(u) = + tuττ(u) 2 H j (u) = ( X j+ )XT (u) ( + X)( X j+2 )..
110 Left ternary trees and further equidistributions Core = binary subtree of the root after pruning all right edges The solution of the previous infinite system of equation is known for u = : Theorem (DGRS 26): The number of fighting fish with size n + and fin length k equals the number of left ternary trees with n nodes and core size k. Conjecture (DGRS 26): The previous computation can be refined to prove joined equidistribution of: fin length core size number of tails number of right branches number of left/right free edges number of even/odd labels
111 Bijections? fighting fish 2SS-permutations left ternary trees ns planar maps
112 Bijections? fighting fish 2SS-permutations left ternary trees ns planar maps Tutte recursive decomposition + GF
113 Bijections? fighting fish Zeilberger recursive decomposition + GF 2SS-permutations left ternary trees ns planar maps Tutte recursive decomposition + GF
114 Bijections? fighting fish Zeilberger recursive decomposition + GF 2SS-permutations left ternary trees Goulden-West (isomorphic recursive decompositions) ns planar maps Tutte recursive decomposition + GF
115 Bijections? fighting fish 2SS-permutations left ternary trees Zeilberger recursive decomposition + GF Goulden-West (isomorphic recursive decompositions) ns planar maps Del Lungo et al (isomorphic recursive decompositions) Tutte recursive decomposition + GF
116 Bijections? fighting fish direct enumeration Schaeffer 2SS-permutations left ternary trees Zeilberger recursive decomposition + GF Goulden-West (isomorphic recursive decompositions) ns planar maps Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) Tutte recursive decomposition + GF
117 Bijections? recursive decomposition + GF today s talk fighting fish direct enumeration Schaeffer 2SS-permutations left ternary trees Zeilberger recursive decomposition + GF Goulden-West (isomorphic recursive decompositions) ns planar maps Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) Tutte recursive decomposition + GF
118 Bijections? recursive decomposition + GF today s talk fighting fish direct bijection? direct enumeration Schaeffer 2SS-permutations left ternary trees Zeilberger recursive decomposition + GF Goulden-West (isomorphic recursive decompositions) ns planar maps Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) Tutte recursive decomposition + GF
119 Bijections? recursive decomposition + GF today s talk direct enumeration? fighting fish direct bijection? direct enumeration Schaeffer 2SS-permutations left ternary trees Zeilberger recursive decomposition + GF Goulden-West (isomorphic recursive decompositions) ns planar maps Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) Tutte recursive decomposition + GF
120 Bijections? recursive decomposition + GF today s talk direct enumeration? Fang (27) (isomorphic recursive decompositions) Zeilberger recursive decomposition + GF 2SS-permutations Goulden-West (isomorphic recursive decompositions) fighting fish ns planar maps Tutte recursive decomposition + GF direct bijection? left ternary trees Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) direct enumeration Schaeffer
121 Bijections? recursive decomposition + GF today s talk direct enumeration? Fang (27) (isomorphic recursive decompositions) Zeilberger recursive decomposition + GF 2SS-permutations Goulden-West (isomorphic recursive decompositions) fighting fish ns planar maps Tutte recursive decomposition + GF direct bijection? left ternary trees Del Lungo et al (isomorphic recursive decompositions) Schaeffer (direct bijection) direct enumeration Schaeffer
122 THANK YOU
123 THANK YOU
124
125 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4
126 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 f = V V 3 ( V ) 2 A = V (+V )( 3V ) V ( V ) and get asymptotics by singularity analysis
127 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 and get asymptotics by singularity analysis f = V V 3 ( V ) 2 A = V (+V )( 3V ) V ( V ) V = generating function of a simple family of trees. Square root singularity expansion near dominant singularity V = 3 cte ( t t c ) + O( t t c ) with t c = 4 27
128 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 and get asymptotics by singularity analysis f = V V 3 ( V ) 2 A = V (+V )( 3V ) V ( V ) V = generating function of a simple family of trees. Square root singularity expansion near dominant singularity V = 3 cte ( t t c ) + O( t t c ) with t c = 4 27 f = ( t t c ) ( t t c ) O(( t t c ) 2 )
129 The area generatin function The average area A n of fighting fish with size n + grows like n 5 4 Indeed, let us reconsider the equation for V, f, and A, V = t ( V ) 2 f = V V 3 ( V ) 2 and get asymptotics by singularity analysis V = generating function of a simple family of trees. A = V (+V )( 3V ) V ( V ) Square root singularity expansion near dominant singularity V = 3 cte ( t t c ) + O( t t c ) with t c = 4 27 f = ( t t c ) ( t t c ) O(( t t c ) 2 ) A = 3 cte t + O( t ) = 3 cte ( t ) 4 + O(( t ) 2 ) t c t c t c t c
130 The area generating function We have the singular expansions: f = ( t t c ) ( t t c ) O(( t t c ) 2 ) A = 3 cte ( t t c ) 4 + O(( t t c ) 2 ) From transfert theorems: g ( t t c ) α we obtain: [t n ]A cte n 4 5 t n n c [t n ]g n α Γ( α) t n c Then the average area is [t n ]f cte n 5 2 t n c n [t n ]A [t n ]f n cte n 5 4
Fighting Fish: enumerative properties
A preprint Fighting Fish: enumerative properties arxiv:1611.04625v1 [math.co] 14 Nov 2016 Enrica Duchi 1, and Veronica Guerrini 2, and Simone Rinaldi 2, Received April 3, 2018. and Gilles Schaeffer 3 1
More informationOn the Sequence A and Its Combinatorial Interpretations
1 2 47 6 2 11 Journal of Integer Sequences, Vol. 9 (2006), Article 06..1 On the Sequence A079500 and Its Combinatorial Interpretations A. Frosini and S. Rinaldi Università di Siena Dipartimento di Scienze
More informationGENERATING TREES FOR PERMUTATIONS AVOIDING GENERALIZED PATTERNS
GENERATING TREES FOR PERMUTATIONS AVOIDING GENERALIZED PATTERNS SERGI ELIZALDE Abstract. We construct generating trees with with one, two, and three labels for some classes of permutations avoiding generalized
More informationQUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III
#A39 INTEGERS 5 (05) QUADRANT MARKED MESH PATTERNS IN 3-AVOIDING PERMUTATIONS III Sergey Kitaev Department of Computer and Information Sciences, University of Strathclyde, Glasgow, United Kingdom sergey.kitaev@cis.strath.ac.uk
More informationLEVEL GENERATING TREES AND PROPER RIORDAN ARRAYS
Applicable Analysis and Discrete Mathematics, (008), 69 9 Available electronically at http://pefmathetfbgacyu LEVEL GENERATING TREES AND PROPER RIORDAN ARRAYS D Baccherini, D Merlini, R Sprugnoli We introduce
More informationEfficient Experimental Mathematics for Lattice Path Combinatorics
1/45 Efficient Experimental Mathematics for Lattice Path Combinatorics Alin Bostan based on joint works with M. Bousquet-Mélou, F. Chyzak, M. van Hoeij, M. Kauers, S. Melczer, L. Pech, K. Raschel, B. Salvy
More informationPercolation on random triangulations
Percolation on random triangulations Olivier Bernardi (MIT) Joint work with Grégory Miermont (Université Paris-Sud) Nicolas Curien (École Normale Supérieure) MSRI, January 2012 Model and motivations Planar
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationRational and algebraic series in combinatorial enumeration
Rational and algebraic series in combinatorial enumeration Mireille Bousquet-Mélou Abstract. Let A be a class of objects, equipped with an integer size such that for all n the number a n of objects of
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationRandom colored lattices
Random colored lattices Olivier Bernardi Joint work with Mireille Bousquet-Mélou (CNRS) IGERT talk, Brandeis University, February 2013 Random lattices, Random surfaces Maps A map is a way of gluing polygons
More informationToufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden
COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating
More informationarxiv:math.co/ v1 27 Jan 2006
ON TRIANGULATIONS WITH HIGH VERTEX DEGREE OLIVIER BERNARDI arxiv:math.co/0601678 v1 27 Jan 2006 Abstract. We solve three enumerative problems concerning families of planar maps. More precisely, we establish
More informationOrdered trees and the inorder traversal
Discrete Mathematics 306 (006) 173 1741 www.elsevier.com/locate/disc Ordered trees and the inorder traversal A. Sapounakis, I. Tasoulas, P. Tsikouras Department of Informatics, University of Piraeus, 18534
More informationStandard paths in another composition poset
Standard paths in another composition poset Jan Snellman Department of Mathematics, Stockholm University SE-10691 Stockholm, Sweden Jan.Snellmanmath.su.se Submitted: Oct 8, 2003; Accepted: Oct 17, 2004;
More informationPostorder Preimages. arxiv: v3 [math.co] 2 Feb Colin Defant 1. 1 Introduction
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 19:1, 2017, #3 Postorder Preimages arxiv:1604.01723v3 [math.co] 2 Feb 2017 1 University of Florida Colin Defant 1 received 7 th Apr. 2016,
More informationA BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS
Séminaire Lotharingien de Combinatoire 63 (0), Article B63e A BJECTON BETWEEN WELL-LABELLED POSTVE PATHS AND MATCHNGS OLVER BERNARD, BERTRAND DUPLANTER, AND PHLPPE NADEAU Abstract. A well-labelled positive
More informationOn the parity of the Wiener index
On the parity of the Wiener index Stephan Wagner Department of Mathematical Sciences, Stellenbosch University, Stellenbosch 7602, South Africa Hua Wang Department of Mathematics, University of Florida,
More informationNotes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.
Lecture: Hélène Barcelo Analytic Combinatorics ECCO 202, Bogotá Notes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.. Tuesday, June 2, 202 Combinatorics is the study of finite structures that
More informationAlgebraic aspects of some Riordan arrays related to binary words avoiding a pattern
Algebraic aspects of some Riordan arrays related to binary words avoiding a pattern D. Merlini and R. Sprugnoli Dipartimento di Sistemi e Informatica viale Morgagni 65, 5034, Firenze, Italia merlini@dsi.unifi.it,
More informationk-protected VERTICES IN BINARY SEARCH TREES
k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from
More informationLECTURE 7. 2 Simple trees and Lagrange Inversion Restricting the out-degree Lagrange Inversion... 4
Contents 1 Recursive specifications 1 1.1 Binary Trees B............................................ 1 1.1.1 A recursive structure.................................... 1.1. Decomposition........................................
More informationTableau sequences, open diagrams, and Baxter families
Tableau sequences, open diagrams, and Baxter families Sophie Burrill a, Julien Courtiel a, Eric Fusy b, Stephen Melczer c, Marni Mishna a, a Department of Mathematics, Simon Fraser University, Burnaby,
More informationConvex Domino Towers
Convex Domino Towers Tricia Muldoon Brown Department of Mathematics Armstrong State University 11935 Abercorn Street Savannah, GA 31419 USA patricia.brown@armstrong.edu Abstract We study convex domino
More informationEnumeration of polyominoes defined in terms of pattern avoidance or convexity constraints
arxiv:45.346v [math.co] 3 May 24 Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints Thesis of the University of Siena and the University of Nice Sophia Antipolis
More informationINVERSION OF INTEGRAL SERIES ENUMERATING PLANAR TREES
Séminaire Lotharingien de Combinatoire 53 (2005), Article B53d INVERSION OF INTEGRAL SERIES ENUMERATING PLANAR TREES JEAN-LOUIS LODAY Abstract. We consider an integral series f(x, t) which depends on the
More informationSome statistics on permutations avoiding generalized patterns
PUMA Vol 8 (007), No 4, pp 7 Some statistics on permutations avoiding generalized patterns Antonio Bernini Università di Firenze, Dipartimento di Sistemi e Informatica, viale Morgagni 65, 504 Firenze,
More informationpatterns Lara Pudwell faculty.valpo.edu/lpudwell
faculty.valpo.edu/lpudwell joint work with Andrew Baxter Permutation 2014 East Tennessee State University July 7, 2014 Ascents Definition An ascent in the string x 1 x n is a position i such that x i
More informationLattice paths with catastrophes
Lattice paths with catastrophes Lattice paths with catastrophes SLC 77, Strobl 12.09.2016 Cyril Banderier and Michael Wallner Laboratoire d Informatique de Paris Nord, Université Paris Nord, France Institute
More informationLaCIM seminar, UQÀM. March 15, 2013
(Valparaiso University) LaCIM seminar, UQÀM Montréal, Québec March 15, 2013 Conventions and Definitions s are written in one-line notation. e.g. S 3 = {123, 132, 213, 231, 312, 321} Conventions and Definitions
More informationA solution to the tennis ball problem
A solution to the tennis ball problem Anna de Mier Marc Noy Universitat Politècnica de Catalunya Abstract We present a complete solution to the so-called tennis ball problem, which is equivalent to counting
More informationPin-Permutations: Characterization and Generating Function. Frédérique Bassino Mathilde Bouvel Dominique Rossin
: Characterization and Generating Function Frédérique Bassino Dominique Rossin Journées Permutations et Combinatoire, Projet ANR GAMMA, Nov. 2008 liafa Main result of the talk Conjecture[Brignall, Ruškuc,
More informationA conjecture on the alphabet size needed to produce all correlation classes of pairs of words
A conjecture on the alphabet size needed to produce all correlation classes of pairs of words Paul Leopardi Thanks: Jörg Arndt, Michael Barnsley, Richard Brent, Sylvain Forêt, Judy-anne Osborn. Mathematical
More informationCombinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada
Combinatorial Enumeration Jason Z. Gao Carleton University, Ottawa, Canada Counting Combinatorial Structures We are interested in counting combinatorial (discrete) structures of a given size. For example,
More informationAdvanced Combinatorial Optimization Feb 13 and 25, Lectures 4 and 6
18.438 Advanced Combinatorial Optimization Feb 13 and 25, 2014 Lectures 4 and 6 Lecturer: Michel X. Goemans Scribe: Zhenyu Liao and Michel X. Goemans Today, we will use an algebraic approach to solve the
More informationPattern avoidance in compositions and multiset permutations
Pattern avoidance in compositions and multiset permutations Carla D. Savage North Carolina State University Raleigh, NC 27695-8206 Herbert S. Wilf University of Pennsylvania Philadelphia, PA 19104-6395
More informationIntersecting curves (variation on an observation of Maxim Kontsevich) by Étienne GHYS
Intersecting curves (variation on an observation of Maxim Kontsevich) by Étienne GHYS Abstract Consider the graphs of n distinct polynomials of a real variable intersecting at some point. In the neighborhood
More informationAlso available at ISSN (printed edn.), ISSN (electronic edn.)
Also available at http://amc-journal.eu ISSN 855-3966 printed edn., ISSN 855-3974 electronic edn. ARS MATHEMATICA CONTEMPORANEA 9 205 287 300 Levels in bargraphs Aubrey Blecher, Charlotte Brennan, Arnold
More informationq-counting hypercubes in Lucas cubes
Turkish Journal of Mathematics http:// journals. tubitak. gov. tr/ math/ Research Article Turk J Math (2018) 42: 190 203 c TÜBİTAK doi:10.3906/mat-1605-2 q-counting hypercubes in Lucas cubes Elif SAYGI
More informationConvex Domino Towers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017, Article 17.3.1 Convex Domino Towers Tricia Muldoon Brown Department of Mathematics Armstrong State University 11935 Abercorn Street Savannah,
More informationCombinatorial/probabilistic analysis of a class of search-tree functionals
Combinatorial/probabilistic analysis of a class of search-tree functionals Jim Fill jimfill@jhu.edu http://www.mts.jhu.edu/ fill/ Mathematical Sciences The Johns Hopkins University Joint Statistical Meetings;
More informationA DETERMINANT PROPERTY OF CATALAN NUMBERS. 1. Introduction
A DETERMINANT PROPERTY OF CATALAN NUMBERS M E MAYS AND JERZY WOJCIECHOWSKI Abstract Catalan numbers arise in a family of persymmetric arrays with determinant 1 The demonstration involves a counting result
More informationCluster Variables and Perfect Matchings of Subgraphs of the dp 3 Lattice
Cluster Variables and Perfect Matchings of Subgraphs of the dp Lattice Sicong Zhang October 8, 0 Abstract We give a combinatorial intepretation of cluster variables of a specific cluster algebra under
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationNotes on Paths, Trees and Lagrange Inversion
Notes on Paths, Trees and Lagrange Inversion Today we are going to start with a problem that may seem somewhat unmotivated, and solve it in two ways. From there, we will proceed to discuss applications
More informationPrudent Self-Avoiding Walks
Entropy 2008, 10, 309-318; DOI: 10.3390/e10030309 Article Prudent Self-Avoiding Walks OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.org/entropy John C. Dethridge and Anthony J. Guttmann ARC Centre of Excellence
More informationWeek 9-10: Recurrence Relations and Generating Functions
Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably
More informationForty years of tree enumeration
October 24, 206 Canada John Moon (Alberta) Counting labelled trees Canadian mathematical monographs What is our subject? Asymptotic enumeration or Probabilistic combinatorics? What is our subject? Asymptotic
More informationTHE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS
THE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS Michael Drmota joint work with Omer Giménez and Marc Noy Institut für Diskrete Mathematik und Geometrie TU Wien michael.drmota@tuwien.ac.at http://www.dmg.tuwien.ac.at/drmota/
More informationMapping the Discrete Logarithm: Talk 2
Mapping the Discrete Logarithm: Talk 2 Joshua Holden Joint work with Daniel Cloutier, Nathan Lindle (Senior Theses), Max Brugger, Christina Frederick, Andrew Hoffman, and Marcus Mace (RHIT REU) Rose-Hulman
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationA BIJECTIVE STUDY OF BASKETBALL WALKS
Séminaire Lotharingien de Combinatoire 77 (2016), Article B77a A BIJECTIVE STUDY OF BASKETBALL WALKS JÉRÉMIE BETTINELLI, ÉRIC FUSY, CÉCILE MAILLER, AND LUCAS RANDAZZO ABSTRACT. The Catalan numbers count
More informationarxiv: v2 [math.co] 19 Jan 2017
A bijective study of basketball walks Jérémie BETTINELLI Éric FUSY Cécile MAILLER Lucas RANDAZZO arxiv:1611.01478v2 [math.co] 19 Jan 2017 January 20, 2017 Abstract The Catalan numbers count many classes
More information10 Steps to Counting Unlabeled Planar Graphs: 20 Years Later
10 Steps to : 20 Years Later Manuel Bodirsky October 2007 A005470 Sloane Sequence A005470 (core, nice, hard): Number p(n) of unlabeled planar simple graphs with n nodes. Initial terms: 1, 2, 4, 11, 33,
More informationTrees, Tanglegrams, and Tangled Chains
Trees, Tanglegrams, and Tangled Chains Sara Billey University of Washington Based on joint work with: Matjaž Konvalinka and Frederick (Erick) Matsen IV arxiv:1507.04976 LSU Math Student Colloquium, February
More informationDiagonals and Walks. Alin Bostan 1 Louis Dumont 1 Bruno Salvy 2. November 4, Introduction Diagonals Walks. 1 INRIA, SpecFun.
and Alin Bostan 1 Louis Dumont 1 Bruno Salvy 2 1 INRIA, SpecFun 2 INRIA, AriC November 4, 2014 1/16 Louis Dumont and 2/16 Louis Dumont and Motivations In combinatorics: Lattice walks w i,j : number of
More informationHankel determinants, continued fractions, orthgonal polynomials, and hypergeometric series
Hankel determinants, continued fractions, orthgonal polynomials, and hypergeometric series Ira M. Gessel with Jiang Zeng and Guoce Xin LaBRI June 8, 2007 Continued fractions and Hankel determinants There
More informationarxiv: v1 [math.co] 14 Nov 2018
Plateau Polycubes and Lateral Area arxiv:181105707v1 [mathco] 14 Nov 2018 Abderrahim Arabi USTHB, Faculty of Mathematics RECITS Laboratory BP 32, El Alia 16111, Bab Ezzouar Algiers, Algeria rarabi@usthbdz
More informationEnumerative and Algebraic Combinatorics of OEIS A071356
Enumerative and Algebraic Combinatorics of OEIS A071356 Chetak Hossain Department of Matematics North Carolina State University July 9, 2018 Chetak Hossain (NCSU) Combinatorics of OEIS A071356 July 9,
More informationBon anniversaire Marc!
Bon anniversaire Marc! The full counting function of Gessel walks is algebraic Alin Bostan (INRIA) joint work with Manuel Kauers (INRIA/RISC) Journées GECKO/TERA 2008 Context: restricted lattice walks
More informationContents. Counting Methods and Induction
Contents Counting Methods and Induction Lesson 1 Counting Strategies Investigations 1 Careful Counting... 555 Order and Repetition I... 56 3 Order and Repetition II... 569 On Your Own... 573 Lesson Counting
More informationRandom Boolean expressions
Random Boolean expressions Danièle Gardy PRiSM, Univ. Versailles-Saint Quentin and CNRS UMR 8144. Daniele.Gardy@prism.uvsq.fr We examine how we can define several probability distributions on the set of
More informationOn a connection between planar map combinatorics and lattice walks Timothy Budd
Workshop on Large Random Structures in Two Dimensions, IHP, January 19th, 2017 On a connection between planar map combinatorics and lattice walks Timothy Budd IPhT, CEA-Saclay timothy.budd@cea.fr, http://www.nbi.dk/~budd/
More informationarxiv: v1 [math.co] 24 Jul 2013
ANALYTIC COMBINATORICS OF CHORD AND HYPERCHORD DIAGRAMS WITH k CROSSINGS VINCENT PILAUD AND JUANJO RUÉ arxiv:307.6440v [math.co] 4 Jul 03 Abstract. Using methods from Analytic Combinatorics, we study the
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationMatrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano
Matrix compositions Emanuele Munarini Dipartimento di Matematica Politecnico di Milano emanuelemunarini@polimiit Joint work with Maddalena Poneti and Simone Rinaldi FPSAC 26 San Diego Motivation: L-convex
More informationON THE INDEPENDENCE COMPLEX OF SQUARE GRIDS
ON THE INDEPENDENCE COMPLEX OF SQUARE GRIDS MIREILLE BOUSQUET-MÉLOU, SVANTE LINUSSON, AND ERAN NEVO Abstract. The enumeration of independent sets of regular graphs is of interest in statistical mechanics,
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationThe Phagocyte Lattice of Dyck Words
DOI 10.1007/s11083-006-9034-0 The Phagocyte Lattice of Dyck Words J. L. Baril J. M. Pallo Received: 26 September 2005 / Accepted: 25 May 2006 Springer Science + Business Media B.V. 2006 Abstract We introduce
More informationCellular Multizeta Values. Sarah Carr
Cellular Multizeta Values Sarah Carr August, 2007 Goals The following is joint work with Francis Brown and Leila Schneps based on a combinatorial theory of pairs of polygons. 1. Objects: Periods on M 0,n
More informationNOTES ABOUT SATURATED CHAINS IN THE DYCK PATH POSET. 1. Basic Definitions
NOTES ABOUT SATURATED CHAINS IN THE DYCK PATH POSET JENNIFER WOODCOCK 1. Basic Definitions Dyck paths are one of the many combinatorial objects enumerated by the Catalan numbers, sequence A000108 in [2]:
More informationA weighted interpretation for the super Catalan numbers
A weighted interpretation for the super Catalan numbers ariv:1403.5246v2 [math.co] 26 Aug 24 Emily Allen Irina Gheorghiciuc Abstract The super Catalan numbers T (m, n) = (2m)!(2n)!/2m!n!(m+n)! are integers
More informationExplicit Computations of the Frozen Boundaries of Rhombus Tilings of Polygonal Domains
Explicit Computations of the Frozen Boundaries of Rhombus Tilings of Polygonal Domains Arthur Azvolinsky Council Rock High School South February 12, 2016 Abstract Consider a polygonal domain Ω drawn on
More informationIntroduction to Techniques for Counting
Introduction to Techniques for Counting A generating function is a device somewhat similar to a bag. Instead of carrying many little objects detachedly, which could be embarrassing, we put them all in
More informationarxiv:math/ v1 [math.co] 10 Nov 1998
A self-dual poset on objects counted by the Catalan numbers arxiv:math/9811067v1 [math.co] 10 Nov 1998 Miklós Bóna School of Mathematics Institute for Advanced Study Princeton, NJ 08540 April 11, 2017
More informationPaths, Permutations and Trees. Enumerating Permutations Avoiding Three Babson - Steingrímsson Patterns
Paths, Permutations and Trees Center for Combinatorics Nankai University Tianjin, February 5-7, 004 Enumerating Permutations Avoiding Three Babson - Steingrímsson Patterns Antonio Bernini, Elisa Pergola
More informationAsymptotic Enumeration of Compacted Binary Trees
Asymptotic Enumeration of Compacted Binary Trees Antoine Genitrini Bernhard Gittenberger Manuel Kauers Michael Wallner March 30, 207 Abstract A compacted tree is a graph created from a binary tree such
More informationECO-generation for some restricted classes of compositions
ECO-generation for some restricted classes of compositions Jean-Luc Baril and Phan-Thuan Do 1 LE2I UMR-CNRS 5158, Université de Bourgogne BP 47 870, 21078 DIJON-Cedex France e-mail: barjl@u-bourgognefr
More informationDISCRETE AND ALGEBRAIC STRUCTURES
DISCRETE AND ALGEBRAIC STRUCTURES Master Study Mathematics MAT40 Winter Semester 015/16 (Due to organisational reasons register for the course at TU and KFU) Edited by Mihyun Kang TU Graz Contents I Lectures
More informationAn Introduction to the Narayana Numbers
An Introduction to the Narayana Numbers Murray Bremner Department of Mathematics and Statistics College of Arts and Science University of Saskatchewan 1 Saskatoon, Saskatchewan, Canada Combinatorics Seminar
More informationA NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS
A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY
More informationAn efficient upper bound of the rotation distance of binary trees
Information Processing Letters 73 (2000) 87 92 An efficient upper bound of the rotation distance of binary trees Jean Pallo 1 LE2I, Université de Bourgogne, B.P. 47870, F21078 Dijon-Cedex, France Received
More informationOn (Effective) Analytic Combinatorics
On (Effective) Analytic Combinatorics Bruno Salvy Inria & ENS de Lyon Séminaire Algorithmes Dec. 2017 Combinatorics, Randomness and Analysis From simple local rules, a global structure arises. A quest
More informationModular Periodicity of the Euler Numbers and a Sequence by Arnold
Arnold Math J. (2018) 3:519 524 https://doi.org/10.1007/s40598-018-0079-0 PROBLEM CONTRIBUTION Modular Periodicity of the Euler Numbers and a Sequence by Arnold Sanjay Ramassamy 1 Received: 19 November
More informationRandom Boolean expressions
Computational Logic and Applications, CLA 05 DMTCS proc. AF, 2006, 1 36 Random Boolean expressions Danièle Gardy PRiSM, Univ. Versailles-Saint Quentin and CNRS UMR 8144. Daniele.Gardy@prism.uvsq.fr We
More informationBounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia
Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia Andreas Krause krausea@cs.tum.edu Technical University of Munich February 12, 2003 This survey gives an introduction
More informationTorus Knots and q, t-catalan Numbers
Torus Knots and q, t-catalan Numbers Eugene Gorsky Stony Brook University Simons Center For Geometry and Physics April 11, 2012 Outline q, t-catalan numbers Compactified Jacobians Arc spaces on singular
More informationCatalan Numbers. Richard P. Stanley. June 9, 2017
Catalan Numbers Richard P. Stanley June 9, 2017 An OEIS entry OEIS: Online Encylopedia of Integer Sequences (Neil Sloane). See http://oeis.org. A database of over 270,000 sequences of integers. An OEIS
More informationQuadrant marked mesh patterns in alternating permutations
Quadrant marked mesh patterns in alternating permutations arxiv:1205.0570v1 [math.co] 2 May 2012 Sergey Kitaev School of Computer and Information Sciences University of Strathclyde Glasgow G1 1XH, United
More informationThe (q, t)-catalan Numbers and the Space of Diagonal Harmonics. James Haglund. University of Pennsylvania
The (q, t)-catalan Numbers and the Space of Diagonal Harmonics James Haglund University of Pennsylvania Outline Intro to q-analogues inv and maj q-catalan Numbers MacMahon s q-analogue The Carlitz-Riordan
More informationLARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.
More informationWieland drift for triangular fully packed loop configurations
Wieland drift for triangular fully packed loop configurations Sabine Beil Ilse Fischer Fakultät für Mathematik Universität Wien Wien, Austria {sabine.beil,ilse.fischer}@univie.ac.at Philippe Nadeau Institut
More informationA REFINED ENUMERATION OF p-ary LABELED TREES
Korean J. Math. 21 (2013), No. 4, pp. 495 502 http://dx.doi.org/10.11568/kjm.2013.21.4.495 A REFINED ENUMERATION OF p-ary LABELED TREES Seunghyun Seo and Heesung Shin Abstract. Let T n (p) be the set of
More informationGraphic sequences, adjacency matrix
Chapter 2 Graphic sequences, adjacency matrix Definition 2.1. A sequence of integers (d 1,..., d n ) is called graphic if it is the degree sequence of a graph. Example 2.2. 1. (1, 2, 2, 3) is graphic:
More informationReconstructibility of trees from subtree size frequencies
Stud. Univ. Babeş-Bolyai Math. 59(2014), No. 4, 435 442 Reconstructibility of trees from subtree size frequencies Dénes Bartha and Péter Burcsi Abstract. Let T be a tree on n vertices. The subtree frequency
More informationA dyadic endomorphism which is Bernoulli but not standard
A dyadic endomorphism which is Bernoulli but not standard Christopher Hoffman Daniel Rudolph November 4, 2005 Abstract Any measure preserving endomorphism generates both a decreasing sequence of σ-algebras
More informationEhrhart polynomial for lattice squares, cubes, and hypercubes
Ehrhart polynomial for lattice squares, cubes, and hypercubes Eugen J. Ionascu UWG, REU, July 10th, 2015 math@ejionascu.ro, www.ejionascu.ro 1 Abstract We are investigating the problem of constructing
More informationOn Universal Types. Gadiel Seroussi Hewlett-Packard Laboratories Palo Alto, California, USA. University of Minnesota, September 14, 2004
On Universal Types Gadiel Seroussi Hewlett-Packard Laboratories Palo Alto, California, USA University of Minnesota, September 14, 2004 Types for Parametric Probability Distributions A = finite alphabet,
More informationEnumeration Schemes for Words Avoiding Permutations
Enumeration Schemes for Words Avoiding Permutations Lara Pudwell November 27, 2007 Abstract The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching
More informationBijective Proofs with Spotted Tilings
Brian Hopkins, Saint Peter s University, New Jersey, USA Visiting Scholar, Mahidol University International College Editor, The College Mathematics Journal MUIC Mathematics Seminar 2 November 2016 outline
More information