92
Definitions, Notation and Preliminary Results A-reducibility RC-Invariant Permutations Q-residues Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University) Lara Pudwell (Valparaiso University) July 10, 2014 Permutation Patterns 2014 East Tennessee State University Johnson City, TN Daly / Pudwell Rook monoids and other objects

Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

  • Upload
    others

  • View
    10

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Connections Between Rook Monoid PatternAvoidance and Other Combinatorial Objects

Dan Daly (Southeast Missouri State University)Lara Pudwell (Valparaiso University)

July 10, 2014Permutation Patterns 2014

East Tennessee State UniversityJohnson City, TN

Daly / Pudwell Rook monoids and other objects

Page 2: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Outline

1 Definitions, Notation and Preliminary Results

2 A-reducibility

3 RC-Invariant Permutations

4 Q-residues

Daly / Pudwell Rook monoids and other objects

Page 3: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Definition of Rook Monoid

Definition

For any n ∈ N, the rook monoid Rn is the set of all 0-1 n × nmatrices such that each row and column contains at most one 1.

Rook monoid elements = strings of length n on {0, 1, 2, . . . , n}where each nonzero element can appear at most once and one canallow an arbitrary number of 0’s.

Examples: 08170026 ∈ R8, R2 = {00, 01, 02, 10, 20, 12, 21}

Daly / Pudwell Rook monoids and other objects

Page 4: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Definition of Rook Monoid

Definition

For any n ∈ N, the rook monoid Rn is the set of all 0-1 n × nmatrices such that each row and column contains at most one 1.

Rook monoid elements = strings of length n on {0, 1, 2, . . . , n}where each nonzero element can appear at most once and one canallow an arbitrary number of 0’s.

Examples: 08170026 ∈ R8, R2 = {00, 01, 02, 10, 20, 12, 21}

Daly / Pudwell Rook monoids and other objects

Page 5: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Definition of Rook Monoid

Definition

For any n ∈ N, the rook monoid Rn is the set of all 0-1 n × nmatrices such that each row and column contains at most one 1.

Rook monoid elements = strings of length n on {0, 1, 2, . . . , n}where each nonzero element can appear at most once and one canallow an arbitrary number of 0’s.

Examples: 08170026 ∈ R8,

R2 = {00, 01, 02, 10, 20, 12, 21}

Daly / Pudwell Rook monoids and other objects

Page 6: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Definition of Rook Monoid

Definition

For any n ∈ N, the rook monoid Rn is the set of all 0-1 n × nmatrices such that each row and column contains at most one 1.

Rook monoid elements = strings of length n on {0, 1, 2, . . . , n}where each nonzero element can appear at most once and one canallow an arbitrary number of 0’s.

Examples: 08170026 ∈ R8, R2 = {00, 01, 02, 10, 20, 12, 21}

Daly / Pudwell Rook monoids and other objects

Page 7: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Rook Monoid Pattern Avoidance

Definition

Let ρ ∈ Rm and π ∈ Rn. We say that π contains ρ as a pattern ifthere exist 1 ≤ i1 < i2 < · · · < im ≤ n such that πi` = 0 if and onlyif ρ` = 0 and for πia , πib > 0, πia > πib if and only if ρa > ρb.

If π does not contain ρ, then we say that π avoids ρ.

Examples: 30012 contains 201, 2001, but not 102 or 20001.

Daly / Pudwell Rook monoids and other objects

Page 8: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Rook Monoid Pattern Avoidance

Definition

Let ρ ∈ Rm and π ∈ Rn. We say that π contains ρ as a pattern ifthere exist 1 ≤ i1 < i2 < · · · < im ≤ n such that πi` = 0 if and onlyif ρ` = 0 and for πia , πib > 0, πia > πib if and only if ρa > ρb.

If π does not contain ρ, then we say that π avoids ρ.

Examples: 30012 contains 201, 2001, but not 102 or 20001.

Daly / Pudwell Rook monoids and other objects

Page 9: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Notation

Let Q be a set of rook patterns.Define:

Rn(Q) := {π ∈ Rn | π avoids ρ for all ρ ∈ Q}rn(Q) := |Rn(Q)|

Daly / Pudwell Rook monoids and other objects

Page 10: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Some Counting Results

Pattern q rn(q) OEIS

1 1, 1, 1, 1, 1, . . . A000012

0 1, 2, 6, 24, 120, . . . A000142

01 2, 5, 16, 65, 326, . . . A000522

12 2, 6, 20, 70, 252, . . . A000984

00 2, 6, 24, 120, 720, . . . A000142

102 2, 7, 31, 159, 916, . . . A221958

012 2, 7, 31, 159, 921, . . . A221957

001 2, 7, 31, 165, 1031, . . . A193657

123 2, 7, 33, 183, 1118, . . . A086618

000 2, 7, 33, 192, 1320, . . . A006595

Daly / Pudwell Rook monoids and other objects

Page 11: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Coxeter Groups

Definition

Let I be an index set and S = {si | i ∈ I}.

For each pair (i , j) where i , j ∈ I , we associate m(i , j) ∈ N ∪ {∞}such that m(i , j) = 1 iff i = j and m(i , j) = m(j , i).

Let W be a the group with presentation < S | (si sj)m(i ,j) >, then

(W ,S) is called a Coxeter system.

Daly / Pudwell Rook monoids and other objects

Page 12: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Coxeter Groups of types A and B

Coxeter group of type A (An)

n generators s0, s1 . . . , sn−1

m(i , i + 1) = 3m(i , j) = 2 if |i − j | > 1An∼= Sn+1

Coxeter group of type B (Bn)

n generators s0, s1, . . . , sn−1

m(0, 1) = 4m(i , i + 1) = 3, i ≥ 1m(i , j) = 2 if |i − j | > 1

Daly / Pudwell Rook monoids and other objects

Page 13: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Coxeter Groups of types A and B

Coxeter group of type A (An)

n generators s0, s1 . . . , sn−1

m(i , i + 1) = 3m(i , j) = 2 if |i − j | > 1An∼= Sn+1

Coxeter group of type B (Bn)

n generators s0, s1, . . . , sn−1

m(0, 1) = 4m(i , i + 1) = 3, i ≥ 1m(i , j) = 2 if |i − j | > 1

Daly / Pudwell Rook monoids and other objects

Page 14: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Coxeter Group of type B

Set of all “signed” permutation on [n].

Ex: 12345 ∈ B5, 2351746 ∈ B7

Daly / Pudwell Rook monoids and other objects

Page 15: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Coxeter Group of type B

Set of all “signed” permutation on [n].

Ex: 12345 ∈ B5, 2351746 ∈ B7

Daly / Pudwell Rook monoids and other objects

Page 16: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Reduced Words

rn(000) has a connection with Coxeter groups of type B.

Definition

If w ∈W and w = si1si2 . . . sil is an expression of minimal lengthfor w , then i1i2 . . . il is a reduced expression for w and l is thelength of w , denoted l(w).

Example: 0101 is not reduced in An, but reduced in Bn.

Daly / Pudwell Rook monoids and other objects

Page 17: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Reduced Words

rn(000) has a connection with Coxeter groups of type B.

Definition

If w ∈W and w = si1si2 . . . sil is an expression of minimal lengthfor w , then i1i2 . . . il is a reduced expression for w and l is thelength of w , denoted l(w).

Example: 0101 is not reduced in An, but reduced in Bn.

Daly / Pudwell Rook monoids and other objects

Page 18: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Reduced Words

rn(000) has a connection with Coxeter groups of type B.

Definition

If w ∈W and w = si1si2 . . . sil is an expression of minimal lengthfor w , then i1i2 . . . il is a reduced expression for w and l is thelength of w , denoted l(w).

Example: 0101 is not reduced in An, but reduced in Bn.

Daly / Pudwell Rook monoids and other objects

Page 19: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Reduced Words

Definition

For any w ∈W , define R(w) to be the set of reduced words of w .If S ⊂W , define R(S) =

⋃w∈W R(w).

Example: w = s2s3s2 ∈ B5. R(w) = {232, 323}.

Daly / Pudwell Rook monoids and other objects

Page 20: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}. w is A-reduced.

w = s0s1s0s1 ∈ B5. 0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 21: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}.

w is A-reduced.

w = s0s1s0s1 ∈ B5. 0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 22: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}. w is A-reduced.

w = s0s1s0s1 ∈ B5. 0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 23: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}. w is A-reduced.

w = s0s1s0s1 ∈ B5.

0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 24: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}. w is A-reduced.

w = s0s1s0s1 ∈ B5. 0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 25: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-Reduced Words

Definition (Stembridge, ’97 [4])

w ∈ Bn is A-reduced if R(w) ⊂ R(An).

Examples: w = s2s3s2 ∈ B5. R(w) = {232, 323}. w is A-reduced.

w = s0s1s0s1 ∈ B5. 0101 6∈ R(A5), so w is not A-reduced.

Theorem (Stembridge, ’97 [4])

For w ∈ Bn, the following are equivalent.

1 w is A-reduced.

2 Neither 0101 nor 1012101 occur as subwords of any i ∈ R(w).

3 w avoids the patterns 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 26: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-reducibility and rook monoids

Theorem (D., Pudwell)

For all n ≥ 1, the number of A-reduced elements of Bn is equal torn(000).

Daly / Pudwell Rook monoids and other objects

Page 27: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A-reducibility and rook monoids

Theorem (D., Pudwell)

For all n ≥ 1, the number of A-reduced elements of Bn is equal torn(000).

Daly / Pudwell Rook monoids and other objects

Page 28: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

We must provide a bijection φ from Rn(000) to the set of allA-reduced elements of Bn (those avoiding 12 and 132).

Step 1: If π ∈ Rn(000) is a permutation, then define φ(π) := π.

Step 2: If π ∈ Rn(000) contains exactly one zero, thenπ = π1 . . . πi−10πi+1 . . . πn where a ∈ [n] does not appear in π.Define φ(π) := π1π2 . . . πi−1aπi+1 . . . πn.

What happens if π contains two zeros?

Daly / Pudwell Rook monoids and other objects

Page 29: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

We must provide a bijection φ from Rn(000) to the set of allA-reduced elements of Bn (those avoiding 12 and 132).

Step 1: If π ∈ Rn(000) is a permutation, then define φ(π) := π.

Step 2: If π ∈ Rn(000) contains exactly one zero, thenπ = π1 . . . πi−10πi+1 . . . πn where a ∈ [n] does not appear in π.Define φ(π) := π1π2 . . . πi−1aπi+1 . . . πn.

What happens if π contains two zeros?

Daly / Pudwell Rook monoids and other objects

Page 30: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

We must provide a bijection φ from Rn(000) to the set of allA-reduced elements of Bn (those avoiding 12 and 132).

Step 1: If π ∈ Rn(000) is a permutation, then define φ(π) := π.

Step 2: If π ∈ Rn(000) contains exactly one zero, thenπ = π1 . . . πi−10πi+1 . . . πn where a ∈ [n] does not appear in π.Define φ(π) := π1π2 . . . πi−1aπi+1 . . . πn.

What happens if π contains two zeros?

Daly / Pudwell Rook monoids and other objects

Page 31: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

We must provide a bijection φ from Rn(000) to the set of allA-reduced elements of Bn (those avoiding 12 and 132).

Step 1: If π ∈ Rn(000) is a permutation, then define φ(π) := π.

Step 2: If π ∈ Rn(000) contains exactly one zero, thenπ = π1 . . . πi−10πi+1 . . . πn where a ∈ [n] does not appear in π.Define φ(π) := π1π2 . . . πi−1aπi+1 . . . πn.

What happens if π contains two zeros?

Daly / Pudwell Rook monoids and other objects

Page 32: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 33: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902

{4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 34: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7}

Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 35: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}?

No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 36: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No

635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 37: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902

{4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 38: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7}

Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 39: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}?

Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 40: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes

675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 41: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902

{3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 42: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4}

Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 43: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}?

No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 44: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No

675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 45: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902

{3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 46: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4}

Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 47: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}?

Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 48: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes

675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 49: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902

{1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 50: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3}

Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 51: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 52: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 53: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

Example! 635108902

635108902 {4, 7} Is 6 < min{4, 7}? No635108902 {4, 7} Is 3 < min{4, 7}? Yes675108902 {3, 4} Is 5 < min{3, 4}? No675108902 {3, 4} Is 1 < min{3, 4}? Yes675408902 {1, 3} Reached First Zero!

Replace first zero with 3 and second zero with 1.

φ(635108902) = 675438912. Avoids 12 and 132.

Daly / Pudwell Rook monoids and other objects

Page 54: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 55: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 56: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0.

675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 57: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 58: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right.

7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 59: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 60: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 61: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Sketch of Bijection

To invert:

Consider 675438912.

Step 1: Replace the last two barred elements with 0. 675408902

Step 2: Write all of the barred elements in the original elementfrom left to right. 7, 4, 3, 1

Step 3: Remove the first two elements in the list and startreplacing barred elements from left to right starting with the thirdelement in the list from step 2.

635108902

Daly / Pudwell Rook monoids and other objects

Page 62: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

RC-Invariant Permutations

An permutation is rc-invariant if it is invariant under thereverse-complement map.

A special case of one of our counting results is:

Theorem (D., Pudwell)

rn(321) =n∑

k=0

(nk

)2Ck

Theorem (Egge, 2010, [3])

|Src2n(4321)| =n∑

k=0

(nk

)2Ck

Daly / Pudwell Rook monoids and other objects

Page 63: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

RC-Invariant Permutations

An permutation is rc-invariant if it is invariant under thereverse-complement map.A special case of one of our counting results is:

Theorem (D., Pudwell)

rn(321) =n∑

k=0

(nk

)2Ck

Theorem (Egge, 2010, [3])

|Src2n(4321)| =n∑

k=0

(nk

)2Ck

Daly / Pudwell Rook monoids and other objects

Page 64: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

RC-Invariant Permutations

An permutation is rc-invariant if it is invariant under thereverse-complement map.A special case of one of our counting results is:

Theorem (D., Pudwell)

rn(321) =n∑

k=0

(nk

)2Ck

Theorem (Egge, 2010, [3])

|Src2n(4321)| =n∑

k=0

(nk

)2Ck

Daly / Pudwell Rook monoids and other objects

Page 65: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

RC-Invariant Permutations

An permutation is rc-invariant if it is invariant under thereverse-complement map.A special case of one of our counting results is:

Theorem (D., Pudwell)

rn(321) =n∑

k=0

(nk

)2Ck

Theorem (Egge, 2010, [3])

|Src2n(4321)| =n∑

k=0

(nk

)2Ck

Daly / Pudwell Rook monoids and other objects

Page 66: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n]

P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n]

Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n

k = 5

πo ∈ Sk(321)

πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 67: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n]

P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n]

Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n

k = 5

πo ∈ Sk(321)

πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 68: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n] P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n]

Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n

k = 5

πo ∈ Sk(321)

πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 69: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n] P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n] Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n

k = 5

πo ∈ Sk(321)

πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 70: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n] P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n] Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n k = 5

πo ∈ Sk(321)

πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 71: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n] P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n] Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n k = 5

πo ∈ Sk(321) πo = 12783

πe ∈ Sn−k(21)

πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 72: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Bijection

Egge’s bijection: Match (P ′,Q ′, πo , πe) to a member of S rc2n(4321).

P ′ ⊆ [n] P′ = {1, 2, 3, 7, 8} (non-zero elts)

Q ′ ⊆ [n] Q′ = {2, 4, 5, 6, 8} (positions of non-zero elts)

|P ′| = |Q ′| = k, 0 ≤ k ≤ n k = 5

πo ∈ Sk(321) πo = 12783

πe ∈ Sn−k(21) πe = 123

Our addition: Given π = 01027803 ∈ R8(321).

Daly / Pudwell Rook monoids and other objects

Page 73: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Q-residues

Warning: We now journey into the realm of conjecture.

First, fix an infinite sequence Q = {q0(x), q1(x), q2(x), . . . } ofpolynomials where the degree of qk is k . Let p(x) be a polynomial.

Define the Q-downstep of p: D(p) =pn(qn−1(x)) + pn−1(qn−2(x)) + · · ·+ p2(q1(x)) + p1(q0(x)) + p0

and define D(p) = p if p is constant.

Note: Dn(p) is constant and is called the Q-residue of p.

Daly / Pudwell Rook monoids and other objects

Page 74: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Q-residues

Warning: We now journey into the realm of conjecture.

First, fix an infinite sequence Q = {q0(x), q1(x), q2(x), . . . } ofpolynomials where the degree of qk is k . Let p(x) be a polynomial.

Define the Q-downstep of p: D(p) =pn(qn−1(x)) + pn−1(qn−2(x)) + · · ·+ p2(q1(x)) + p1(q0(x)) + p0

and define D(p) = p if p is constant.

Note: Dn(p) is constant and is called the Q-residue of p.

Daly / Pudwell Rook monoids and other objects

Page 75: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Q-residues

Warning: We now journey into the realm of conjecture.

First, fix an infinite sequence Q = {q0(x), q1(x), q2(x), . . . } ofpolynomials where the degree of qk is k . Let p(x) be a polynomial.

Define the Q-downstep of p: D(p) =pn(qn−1(x)) + pn−1(qn−2(x)) + · · ·+ p2(q1(x)) + p1(q0(x)) + p0

and define D(p) = p if p is constant.

Note: Dn(p) is constant and is called the Q-residue of p.

Daly / Pudwell Rook monoids and other objects

Page 76: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Q-residues

Warning: We now journey into the realm of conjecture.

First, fix an infinite sequence Q = {q0(x), q1(x), q2(x), . . . } ofpolynomials where the degree of qk is k . Let p(x) be a polynomial.

Define the Q-downstep of p: D(p) =pn(qn−1(x)) + pn−1(qn−2(x)) + · · ·+ p2(q1(x)) + p1(q0(x)) + p0

and define D(p) = p if p is constant.

Note: Dn(p) is constant and is called the Q-residue of p.

Daly / Pudwell Rook monoids and other objects

Page 77: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 78: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.

p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 79: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1.

D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 80: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,

D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 81: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.

p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 82: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.

D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 83: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,

D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 84: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,

D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 85: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 86: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

Example of a Q-residue

Defineq0(x) = 1q1(x) = 2x + 3q2(x) = 3x2 + 4x + 5q3(x) = 4x3 + 5x2 + 6x + 7etc.

p(x) = x + 1. D(p) = 1 + 1 = 2.p(x) = x2 + x + 1. D(p) = (2x + 3) + 1 + 1 = 2x + 5,D2(p) = 2(1) + 5 = 7.p(x) = x3 + x2 + x + 1.D(p) = (3x2 + 4x + 5) + (2x + 3) + 1 + 1 = 3x2 + 6x + 10,D2(p) = 3(2x + 3) + 6(1) + 10 = 6x + 25,D3(p) = 6(1) + 25 = 31.

Daly / Pudwell Rook monoids and other objects

Page 87: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A Strange Sequence

The sequence1, 2, 7, 31, 165, 1031, 7423, 60621, 554249, 5611771, . . . isOEIS A193657.

Conjecture: rn(100) = rn(010) = rn(001) correlates with thissequence.

WHY??

Daly / Pudwell Rook monoids and other objects

Page 88: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A Strange Sequence

The sequence1, 2, 7, 31, 165, 1031, 7423, 60621, 554249, 5611771, . . . isOEIS A193657.

Conjecture: rn(100) = rn(010) = rn(001) correlates with thissequence.

WHY??

Daly / Pudwell Rook monoids and other objects

Page 89: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A Strange Sequence

The sequence1, 2, 7, 31, 165, 1031, 7423, 60621, 554249, 5611771, . . . isOEIS A193657.

Conjecture: rn(100) = rn(010) = rn(001) correlates with thissequence.

WHY??

Daly / Pudwell Rook monoids and other objects

Page 90: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A Last Plea

If you know anything about Q-residues or have some insight wehave not thought of, please let us know!

Thank you!!

Daly / Pudwell Rook monoids and other objects

Page 91: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

A Last Plea

If you know anything about Q-residues or have some insight wehave not thought of, please let us know!

Thank you!!

Daly / Pudwell Rook monoids and other objects

Page 92: Connections Between Rook Monoid Pattern Avoidance and ... · Connections Between Rook Monoid Pattern Avoidance and Other Combinatorial Objects Dan Daly (Southeast Missouri State University)

Definitions, Notation and Preliminary ResultsA-reducibility

RC-Invariant PermutationsQ-residues

References

A. Bjorner and F. Brenti, Combinatorics of Coxeter Groups,Springer, New York, NY (2005).

M. B. Can and L. E. Renner, The Bruhat-Chevalley orderingon the rook monoid, Turkish Journal of Math 36 (2012),499–519.

E. Egge, Enumerating rc-Invariant Permutations with No LongDecreasing Subsequences, Annals of Combinatorics, 14(2010), pp. 85–101.

J. R. Stembridge, Some combinatorial aspects of reducedwords in finite Coxeter groups, Transactions of the AmericanMathematical Society, 349(4) (1997), 1285–1332.

Daly / Pudwell Rook monoids and other objects