Insertion algorithms for shifted domino tableaux Zakaria Chemli, - - PowerPoint PPT Presentation

insertion algorithms for shifted domino tableaux
SMART_READER_LITE
LIVE PREVIEW

Insertion algorithms for shifted domino tableaux Zakaria Chemli, - - PowerPoint PPT Presentation

Insertion algorithms for shifted domino tableaux Zakaria Chemli, Mathias P etr eolle S eminaire Lotharingien de Combinatoire Z. Chemli, M. P etr eolle Insertion algorithms SLC 2017 1 / 15 Plan Shifted domino tableaux 1


slide-1
SLIDE 1

Insertion algorithms for shifted domino tableaux

Zakaria Chemli, Mathias P´ etr´ eolle S´ eminaire Lotharingien de Combinatoire

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 1 / 15

slide-2
SLIDE 2

Plan

1

Shifted domino tableaux

2

Insertion algorithms

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 2 / 15

slide-3
SLIDE 3

Plan

1

Shifted domino tableaux

2

Insertion algorithms

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 3 / 15

slide-4
SLIDE 4

Introduction

Young tableaux: (Young)

  • Schur functions
  • Plactic monoid (Lascoux, Sch¨

utzenberger)

1 2 4 6 3 5 8 6 8 9

↓ Shifted Young tableaux: (Sagan, Worley)

  • P- and Q-Schur functions
  • Shifted plactic monoid (Serrano)

1 2 4 6 x 5′ 8′ x x 8

→ →

Domino tableaux: (Young)

  • Product of two Schur functions
  • Super plactic monoid (Carr´

e, Leclerc)

1 1 3 4 4 2 3 2 6 5 7 9

↓ Shifted domino tableaux : (Chemli)

  • Product of two P- and Q-Schur function
  • Super shifted plactic monoid

1 2′ x 3 8 7 x x x 4 5 3 9

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 4 / 15

slide-5
SLIDE 5

Young tableaux

A partition λ of n is a non-increasing sequence (λ1, λ2, . . . , λk) such that λ1 + λ2 + · · · + λk = n. We represent a partition by its Ferrers diagram.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 5 / 15

slide-6
SLIDE 6

Young tableaux

A partition λ of n is a non-increasing sequence (λ1, λ2, . . . , λk) such that λ1 + λ2 + · · · + λk = n. We represent a partition by its Ferrers diagram.

Figure: The Ferrers diagram of λ=(5,4,3,3,1)

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 5 / 15

slide-7
SLIDE 7

Young tableaux

A partition λ of n is a non-increasing sequence (λ1, λ2, . . . , λk) such that λ1 + λ2 + · · · + λk = n. We represent a partition by its Ferrers diagram.

9 5 7 9 4 5 5 2 3 4 6 1 1 3 4 7

Figure: A Young tableau of shape λ=(5,4,3,3,1)

A Young tableau is a filling of a Ferrers diagram with positive integers such that rows are non-decreasing and columns are strictly increasing.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 5 / 15

slide-8
SLIDE 8

Domino tilling

Two adjacent boxes form a domino:

  • r
  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 6 / 15

slide-9
SLIDE 9

Domino tilling

Two adjacent boxes form a domino:

  • r

A diagram is tileable if we can tile it by non intersecting dominos.

tileable non tileable

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 6 / 15

slide-10
SLIDE 10

Domino tableaux

Given a tiled partition λ, a domino tableau is a filling of dominos with positive integers such that columns are strictly increasing and rows are non decreasing.

1 1 3 6 7 2 4 4 3 5

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 7 / 15

slide-11
SLIDE 11

Domino tableaux

Given a tiled partition λ, a domino tableau is a filling of dominos with positive integers such that columns are strictly increasing and rows are non decreasing.

1 1 3 6 7 2 4 4 3 5 D0 D−1 D−2 D1 D2 Dk : y = x + 2k

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 7 / 15

slide-12
SLIDE 12

Domino tableaux

Given a tiled partition λ, a domino tableau is a filling of dominos with positive integers such that columns are strictly increasing and rows are non decreasing.

1 1 3 6 7 2 4 4 3 5 D0 D−1 D−2 D1 D2 Dk : y = x + 2k

2 types of dominos: left right

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 7 / 15

slide-13
SLIDE 13

Domino tableaux

Given a tiled partition λ, a domino tableau is a filling of dominos with positive integers such that columns are strictly increasing and rows are non decreasing.

1 1 3 6 7 2 4 4 3 5 D0 D−1 D−2 D1 D2 Dk : y = x + 2k

2 types of dominos: left right

We do not allow tillings such that we can remove a domino strictly above D0 and obtain a domino tableau.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 7 / 15

slide-14
SLIDE 14

Domino tableaux

Given a tiled partition λ, a domino tableau is a filling of dominos with positive integers such that columns are strictly increasing and rows are non decreasing.

1 1 3 6 7 2 4 4 3 5 D0 D−1 D−2 D1 D2 Dk : y = x + 2k

2 types of dominos: left right

We do not allow tillings such that we can remove a domino strictly above D0 and obtain a domino tableau. A tilling is acceptable iff there is no vertical domino d on D0 such that the

  • nly domino adjacent to d on the left is strictly above D0.

acceptable not acceptable

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 7 / 15

slide-15
SLIDE 15

Shifted domino tableaux

x x x x 1 1 5’ 5 4’ 2 2’ 2’ 2 3

Given an acceptable tilling, a shifted domino tableau is: a filling of dominos strictly above D0 by x

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 8 / 15

slide-16
SLIDE 16

Shifted domino tableaux

x x x x 1 1 5’ 5 4’ 2 2’ 2’ 2 3

Given an acceptable tilling, a shifted domino tableau is: a filling of dominos strictly above D0 by x a filling of other dominos with integers in {1′ < 1 < 2′ < 2 < · · · }

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 8 / 15

slide-17
SLIDE 17

Shifted domino tableaux

x x x x 1 1 5’ 5 4’ 2 2’ 2’ 2 3

Given an acceptable tilling, a shifted domino tableau is: a filling of dominos strictly above D0 by x a filling of other dominos with integers in {1′ < 1 < 2′ < 2 < · · · } columns and rows are non decreasing an integer without ’ appears at most once in every column an integer with ’ appears at most once in every row

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 8 / 15

slide-18
SLIDE 18

Plan

1

Shifted domino tableaux

2

Insertion algorithms

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 9 / 15

slide-19
SLIDE 19

Insertion algorithm

We consider bicolored words of positive integers, namely elements of (N∗ × {L, R})∗, for exemple w= 123232

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 10 / 15

slide-20
SLIDE 20

Insertion algorithm

We consider bicolored words of positive integers, namely elements of (N∗ × {L, R})∗, for exemple w= 123232

Theorem (Chemli, P. (2016))

There is a bijective algorithm f , with a bicolored word as input and a pair (P, Q) of shifted domino tableaux as output such that: P and Q have same shape

1 2′ 1 2 3 1 2 3 4 5 x x P Q w = 13212

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 10 / 15

slide-21
SLIDE 21

Insertion algorithm

We consider bicolored words of positive integers, namely elements of (N∗ × {L, R})∗, for exemple w= 123232

Theorem (Chemli, P. (2016))

There is a bijective algorithm f , with a bicolored word as input and a pair (P, Q) of shifted domino tableaux as output such that: P and Q have same shape P is without ’ on D0

1 2′ 1 2 3 1 2 3 4 5 x x P Q w = 13212

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 10 / 15

slide-22
SLIDE 22

Insertion algorithm

We consider bicolored words of positive integers, namely elements of (N∗ × {L, R})∗, for exemple w= 123232

Theorem (Chemli, P. (2016))

There is a bijective algorithm f , with a bicolored word as input and a pair (P, Q) of shifted domino tableaux as output such that: P and Q have same shape P is without ’ on D0 Q is standard without ’

1 2′ 1 2 3 1 2 3 4 5 x x P Q w = 13212

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 10 / 15

slide-23
SLIDE 23

Algebraic consequences

Theorem (Chemli, P. (2016))

Let w1 be a word in N × {L} with P-tableau of shape µ , and w2 be a word in N × {R} with P-tableau of shape ν. Let λ be the shape of the P-tableau of the word w1w2. We have:

  • T, sh(T)=λ

xT = PµPν , where Pµ is a P-Schur function.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 11 / 15

slide-24
SLIDE 24

Algebraic consequences

Theorem (Chemli, P. (2016))

Let w1 be a word in N × {L} with P-tableau of shape µ , and w2 be a word in N × {R} with P-tableau of shape ν. Let λ be the shape of the P-tableau of the word w1w2. We have:

  • T, sh(T)=λ

xT = PµPν , where Pµ is a P-Schur function.

Theorem (Chemli, P. (2016))

Two words belong to the same class of the super shifted plactic monoid iff they have the same P-tableau.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 11 / 15

slide-25
SLIDE 25

Inverse and dual algorithms

Theorem (Chemli, P. (2016))

The algorithm f is bijective, with an explicit inverse

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 12 / 15

slide-26
SLIDE 26

Inverse and dual algorithms

Theorem (Chemli, P. (2016))

The algorithm f is bijective, with an explicit inverse

Theorem (Chemli, P. (2016))

There is an algorithm g with a bicolored standard word as input and a pair (P, Q) of shifted domino tableaux as output

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 12 / 15

slide-27
SLIDE 27

Inverse and dual algorithms

Theorem (Chemli, P. (2016))

The algorithm f is bijective, with an explicit inverse

Theorem (Chemli, P. (2016))

There is an algorithm g with a bicolored standard word as input and a pair (P, Q) of shifted domino tableaux as output such that : P and Q have the same shape

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 12 / 15

slide-28
SLIDE 28

Inverse and dual algorithms

Theorem (Chemli, P. (2016))

The algorithm f is bijective, with an explicit inverse

Theorem (Chemli, P. (2016))

There is an algorithm g with a bicolored standard word as input and a pair (P, Q) of shifted domino tableaux as output such that : P and Q have the same shape P is standard without ’

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 12 / 15

slide-29
SLIDE 29

Inverse and dual algorithms

Theorem (Chemli, P. (2016))

The algorithm f is bijective, with an explicit inverse

Theorem (Chemli, P. (2016))

There is an algorithm g with a bicolored standard word as input and a pair (P, Q) of shifted domino tableaux as output such that : P and Q have the same shape P is standard without ’ Q is standard without ’ in D0

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 12 / 15

slide-30
SLIDE 30

Conjectures

Conjecture 1

If σ is a signed permutation (that we identify with a bicolored standart word) then f (σ) = (P, Q) ⇔ g(σ−1) = (Q, P)

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 13 / 15

slide-31
SLIDE 31

Conjectures

Conjecture 1

If σ is a signed permutation (that we identify with a bicolored standart word) then f (σ) = (P, Q) ⇔ g(σ−1) = (Q, P)

Conjecture 2

Algorithm f commutes with standardization and truncation.

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 13 / 15

slide-32
SLIDE 32

What is missing?

If σ is a signed permutation, what can we relate f (σ) and f (σ−1) ?

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 14 / 15

slide-33
SLIDE 33

What is missing?

If σ is a signed permutation, what can we relate f (σ) and f (σ−1) ? Extend g to all words

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 14 / 15

slide-34
SLIDE 34

What is missing?

If σ is a signed permutation, what can we relate f (σ) and f (σ−1) ? Extend g to all words Enumerative consequences

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 14 / 15

slide-35
SLIDE 35

What is missing?

If σ is a signed permutation, what can we relate f (σ) and f (σ−1) ? Extend g to all words Enumerative consequences Cauchy identity

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 14 / 15

slide-36
SLIDE 36

What is missing?

If σ is a signed permutation, what can we relate f (σ) and f (σ−1) ? Extend g to all words Enumerative consequences Cauchy identity Hook formula for shifted domino tableaux

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 14 / 15

slide-37
SLIDE 37

Thank you for your attention!

  • Z. Chemli, M. P´

etr´ eolle Insertion algorithms SLC 2017 15 / 15