The Rule of Three for commutation relations
|
|
- Mary Burns
- 5 years ago
- Views:
Transcription
1 The Rule of Three for commutation relations Jonah Blasiak Drexel University joint work with Sergey Fomin (University of Michigan) May 2016
2 Symmetric functions The ring of symmetric functions Λ(x) = Λ(x 1,...,x N ) Q[x 1,...,x N ] consists of those polynomials which are fixed by the action of the symmetric group S N permuting the indices. Basic families of symmetric functions: Fact elementary symmetric functions e k (x) = e k (x 1,...,x N ) = Schur functions s λ (x) = s λ (x 1,...,x N ) N i 1 > >i k 1 x i1 x ik The e k (x) are algebraically independent and generate Λ(x). Hence Λ(x) = Q[e 1 (x),...,e N (x)].
3 Symmetric functions The ring of symmetric functions Λ(x) = Λ(x 1,...,x N ) Q[x 1,...,x N ] consists of those polynomials which are fixed by the action of the symmetric group S N permuting the indices. Basic families of symmetric functions: Fact elementary symmetric functions e k (x) = e k (x 1,...,x N ) = Schur functions s λ (x) = s λ (x 1,...,x N ) N i 1 > >i k 1 x i1 x ik The e k (x) are algebraically independent and generate Λ(x). Hence Λ(x) = Q[e 1 (x),...,e N (x)].
4 Noncommutative elementary symmetric functions U = Q u 1,...,u N = free associative ring generated by u = (u 1,...,u N ) We identify the monomials in U with words in the alphabet [N] and frequently write 312, cab, etc. for words/monomials. Definition (Noncommutative elementary symmetric functions) e k (u) = u i1 u i2 u ik N i 1 >i 2 > >i k 1 Equivalently, N x k e k (u) = (1+xu N ) (1+xu 1 ) U[x]. k=0
5 Noncommutative elementary symmetric functions U = Q u 1,...,u N = free associative ring generated by u = (u 1,...,u N ) We identify the monomials in U with words in the alphabet [N] and frequently write 312, cab, etc. for words/monomials. Definition (Noncommutative elementary symmetric functions) e k (u) = u i1 u i2 u ik N i 1 >i 2 > >i k 1 Equivalently, N x k e k (u) = (1+xu N ) (1+xu 1 ) U[x]. k=0
6 Noncommutative elementary symmetric functions U = Q u 1,...,u N = free associative ring generated by u = (u 1,...,u N ) We identify the monomials in U with words in the alphabet [N] and frequently write 312, cab, etc. for words/monomials. Definition (Noncommutative elementary symmetric functions) e k (u) = u i1 u i2 u ik N i 1 >i 2 > >i k 1 Equivalently, N x k e k (u) = (1+xu N ) (1+xu 1 ) U[x]. k=0
7 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 ))
8 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 ))
9 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3)
10 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) =
11 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) =
12 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) =
13 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) =
14 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) =
15 The plactic algebra The plactic algebra is the quotient of U by the relations bca = bac, cab = acb for a < b < c, bba = bab, baa = aba for a < b. Theorem (Lascoux-Schützenberger) The e k (u) pairwise commute in the plactic algebra. Example (e 3 (u 1,u 2,u 3 ) commutes with e 1 (u 1,u 2,u 3 )) 321(1+2+3) = = (1+2+3)321
16 Generalizations to other algebras Let R be the quotient of U by the relations bca = bac, cab = acb for a < b < c, Theorem (Fomin-Greene) cca = cac, caa = aca for c a > 1, bab+baa = bba+aba The e k (u) pairwise commute in R. Other variations For LLT polynomials (Lam 2005), For k-schur functions (Lam 2006), for b = a+1. The forgotten monoid (Novelli-Schilling 2008), For Schubert times Schur (Benedetti-Bergeron 2014), The switchboard ideal (B. Fomin 2015, A. N. Kirillov 2015).
17 Generalizations to other algebras Let R be the quotient of U by the relations bca = bac, cab = acb for a < b < c, Theorem (Fomin-Greene) cca = cac, caa = aca for c a > 1, bab+baa = bba+aba The e k (u) pairwise commute in R. Other variations For LLT polynomials (Lam 2005), For k-schur functions (Lam 2006), for b = a+1. The forgotten monoid (Novelli-Schilling 2008), For Schubert times Schur (Benedetti-Bergeron 2014), The switchboard ideal (B. Fomin 2015, A. N. Kirillov 2015).
18 The Rule of Three For S {1,...,N}, denote e k (u S ) = i 1 >i 2 > >i k i 1,...,i k S u i1 u i2 u ik. Theorem (A. N. Kirillov, B. Fomin) For a quotient R of U, the following are equivalent: e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S of size 3; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S. Equivalent formulation The elements e k (u S )e l (u S ) e l (u S )e k (u S ) for S 4 lie in the two-sided ideal generated by { e k (u S )e l (u S ) e l (u S )e k (u S ) } k,l, S 3
19 The Rule of Three For S {1,...,N}, denote e k (u S ) = i 1 >i 2 > >i k i 1,...,i k S u i1 u i2 u ik. Theorem (A. N. Kirillov, B. Fomin) For a quotient R of U, the following are equivalent: e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S of size 3; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S. Equivalent formulation The elements e k (u S )e l (u S ) e l (u S )e k (u S ) for S 4 lie in the two-sided ideal generated by { e k (u S )e l (u S ) e l (u S )e k (u S ) } k,l, S 3
20 The Rule of Three For S {1,...,N}, denote e k (u S ) = i 1 >i 2 > >i k i 1,...,i k S u i1 u i2 u ik. Theorem (A. N. Kirillov, B. Fomin) For a quotient R of U, the following are equivalent: e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S of size 3; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R, for all k, l, and S. Equivalent formulation The elements e k (u S )e l (u S ) e l (u S )e k (u S ) for S 4 lie in the two-sided ideal generated by { e k (u S )e l (u S ) e l (u S )e k (u S ) } k,l, S 3
21 Example The relation e 1 (u S )e 2 (u S ) = e 2 (u S )e 1 (u S ) for S = 4 follows from the relations of this type for S 3. Example e 1 (a,b,c,d)e 2 (a,b,c,d) e 2 (a,b,c,d)e 1 (a,b,c,d) = [a+b+c+d,ba+ca+cb+da+db+dc] = [e 1 (a,b,c),e 2 (a,b,c)]+[e 1 (a,b,d),e 2 (a,b,d)] +[e 1 (a,c,d),e 2 (a,c,d)]+[e 1 (b,c,d),e 2 (b,c,d)] [e 1 (a,b),e 2 (a,b)] [e 1 (a,c),e 2 (a,c)] [e 1 (a,d),e 2 (a,d)] [e 1 (b,c),e 2 (b,c)] [e 1 (b,d),e 2 (b,d)] [e 1 (c,d),e 2 (c,d)]
22 Example The relation e 1 (u S )e 2 (u S ) = e 2 (u S )e 1 (u S ) for S = 4 follows from the relations of this type for S 3. Example e 1 (a,b,c,d)e 2 (a,b,c,d) e 2 (a,b,c,d)e 1 (a,b,c,d) = [a+b+c+d,ba+ca+cb+da+db+dc] = [e 1 (a,b,c),e 2 (a,b,c)]+[e 1 (a,b,d),e 2 (a,b,d)] +[e 1 (a,c,d),e 2 (a,c,d)]+[e 1 (b,c,d),e 2 (b,c,d)] [e 1 (a,b),e 2 (a,b)] [e 1 (a,c),e 2 (a,c)] [e 1 (a,d),e 2 (a,d)] [e 1 (b,c),e 2 (b,c)] [e 1 (b,d),e 2 (b,d)] [e 1 (c,d),e 2 (c,d)]
23 Example The relation e 1 (u S )e 2 (u S ) = e 2 (u S )e 1 (u S ) for S = 4 follows from the relations of this type for S 3. Example e 1 (a,b,c,d)e 2 (a,b,c,d) e 2 (a,b,c,d)e 1 (a,b,c,d) = [a+b+c+d,ba+ca+cb+da+db+dc] = [e 1 (a,b,c),e 2 (a,b,c)]+[e 1 (a,b,d),e 2 (a,b,d)] +[e 1 (a,c,d),e 2 (a,c,d)]+[e 1 (b,c,d),e 2 (b,c,d)] [e 1 (a,b),e 2 (a,b)] [e 1 (a,c),e 2 (a,c)] [e 1 (a,d),e 2 (a,d)] [e 1 (b,c),e 2 (b,c)] [e 1 (b,d),e 2 (b,d)] [e 1 (c,d),e 2 (c,d)]
24 Original motivation: positivity Positivity problems in algebraic combinatorics ask to find positive combinatorial formulae for nonnegative quantities arising in geometry and representation theory. Key example of a positive combinatorial formula The Littlewood-Richardson Rule is a positive combinatorial formula for Littlewood-Richardson coefficients, the decomposition multiplicities of a tensor product of irreducible representations of GL n. Two important unsolved positivity problems Find a positive combinatorial formula for Kronecker coefficients: decomposition multiplicities of a tensor product of irreducible representations of the symmetric group. Kostka-Macdonald coefficients: coefficients in the Schur expansion of a transformed Macdonald polynomial.
25 Original motivation: positivity Positivity problems in algebraic combinatorics ask to find positive combinatorial formulae for nonnegative quantities arising in geometry and representation theory. Key example of a positive combinatorial formula The Littlewood-Richardson Rule is a positive combinatorial formula for Littlewood-Richardson coefficients, the decomposition multiplicities of a tensor product of irreducible representations of GL n. Two important unsolved positivity problems Find a positive combinatorial formula for Kronecker coefficients: decomposition multiplicities of a tensor product of irreducible representations of the symmetric group. Kostka-Macdonald coefficients: coefficients in the Schur expansion of a transformed Macdonald polynomial.
26 Original motivation: positivity Positivity problems in algebraic combinatorics ask to find positive combinatorial formulae for nonnegative quantities arising in geometry and representation theory. Key example of a positive combinatorial formula The Littlewood-Richardson Rule is a positive combinatorial formula for Littlewood-Richardson coefficients, the decomposition multiplicities of a tensor product of irreducible representations of GL n. Two important unsolved positivity problems Find a positive combinatorial formula for Kronecker coefficients: decomposition multiplicities of a tensor product of irreducible representations of the symmetric group. Kostka-Macdonald coefficients: coefficients in the Schur expansion of a transformed Macdonald polynomial.
27 Noncommutative Schur functions Noncommutative Schur functions are a powerful tool for solving positivity problems. They have led to positive combinatorial formulae for the Schur expansion of Stanley symmetric functions and stable Grothendieck polynomials. the Schur expansion of LLT polynomials indexed by 3-tuples of skew shapes and transformed Macdonald polynomials indexed by shapes with 3 columns. Kronecker coefficients for one hook shape and two arbitrary shapes. The first step to apply this tool is to identify a quotient of U in which the e k (u) commute.
28 Noncommutative Schur functions Noncommutative Schur functions are a powerful tool for solving positivity problems. They have led to positive combinatorial formulae for the Schur expansion of Stanley symmetric functions and stable Grothendieck polynomials. the Schur expansion of LLT polynomials indexed by 3-tuples of skew shapes and transformed Macdonald polynomials indexed by shapes with 3 columns. Kronecker coefficients for one hook shape and two arbitrary shapes. The first step to apply this tool is to identify a quotient of U in which the e k (u) commute.
29 The Rule of Three for two sets of variables For S [N], let e k (v S ) denote the elementary symmetric function in the noncommuting variables {v i i S}. Theorem (B. Fomin) For a quotient R of Q u 1,...,u N,v 1,...,v N, the following are equivalent: e k (u S )e l (v S ) = e l (v S )e k (u S ) in R, for all k, l, and S of size 3; e k (u S )e l (v S ) = e l (v S )e k (u S ) in R, for all k, l, and S.
30 Reformulation using generating functions Let g i = 1+xu i and h i = 1+yv i for i = 1,...,N. For S [N], let g S denote the descending product of g i, i S. Define h S similarly. For example, g [N] = g N g N 1 g 1. g S = N k=0 xk e k (u S ) h S = N k=0 yk e k (v S ) Fact For a quotient R of Q u 1,...,u N,v 1,...,v N, the following are equivalent e k (u S )e l (v S ) = e l (v S )e k (u S ) in R for all k, l; g S h S = h S g S in R[[x,y]].
31 Reformulation using generating functions Let g i = 1+xu i and h i = 1+yv i for i = 1,...,N. For S [N], let g S denote the descending product of g i, i S. Define h S similarly. For example, g [N] = g N g N 1 g 1. g S = N k=0 xk e k (u S ) h S = N k=0 yk e k (v S ) Fact For a quotient R of Q u 1,...,u N,v 1,...,v N, the following are equivalent e k (u S )e l (v S ) = e l (v S )e k (u S ) in R for all k, l; g S h S = h S g S in R[[x,y]].
32 Reformulation using generating functions Let g i = 1+xu i and h i = 1+yv i for i = 1,...,N. For S [N], let g S denote the descending product of g i, i S. Define h S similarly. For example, g [N] = g N g N 1 g 1. g S = N k=0 xk e k (u S ) h S = N k=0 yk e k (v S ) Fact For a quotient R of Q u 1,...,u N,v 1,...,v N, the following are equivalent e k (u S )e l (v S ) = e l (v S )e k (u S ) in R for all k, l; g S h S = h S g S in R[[x,y]].
33 Rule of Three for power series Conjecture (B. Fomin) Let R be a quotient ring of Q u 1,...,u N,v 1,...,v N. Let g 1,...,g N, h 1,...,h N R[[x,y]] be power series of the form g i = k α ik(u i x) k, h i = k β ik(v i y) k, satisfying α i0 = β i0 = 1 and α i1 β i1 0. Then the following are equivalent: g S h S = h S g S for all S of size 3; g S h S = h S g S for all S. Note: the previous theorem is the special case g i = 1+xu i, h i = 1+yv i.
34 Rule of Three for power series Conjecture (B. Fomin) Let R be a quotient ring of Q u 1,...,u N,v 1,...,v N. Let g 1,...,g N, h 1,...,h N R[[x,y]] be power series of the form g i = k α ik(u i x) k, h i = k β ik(v i y) k, satisfying α i0 = β i0 = 1 and α i1 β i1 0. Then the following are equivalent: g S h S = h S g S for all S of size 3; g S h S = h S g S for all S. Note: the previous theorem is the special case g i = 1+xu i, h i = 1+yv i.
35 van Kampen diagrams Given a presentation of a group G, a van Kampen diagram is a planar finite cell complex, connected and simply connected, with a specific embedding in R 2, and 1-cells labeled by generators, 2-cells labeled by relations. Let G be the group with generators a,b,c and relations: aba 1 b 1 = id aca 1 c 1 = id b c b a a a a b c b
36 van Kampen diagrams Given a presentation of a group G, a van Kampen diagram is a planar finite cell complex, connected and simply connected, with a specific embedding in R 2, and 1-cells labeled by generators, 2-cells labeled by relations. Let G be the group with generators a,b,c and relations: aba 1 b 1 = id aca 1 c 1 = id b c b a a a a b c b
37 van Kampen s Lemma van Kampen s Lemma A word w in the generators and their inverses is equal to the identity if and only if there exists a van Kampen diagram whose boundary is labeled by w. The given relations imply the boundary relation abcba 1 b 1 c 1 b 1 = id. The boundary relation can also be read as abcb = bcba. b c b a a a a b c b
38 van Kampen s Lemma van Kampen s Lemma A word w in the generators and their inverses is equal to the identity if and only if there exists a van Kampen diagram whose boundary is labeled by w. The given relations imply the boundary relation abcba 1 b 1 c 1 b 1 = id. The boundary relation can also be read as abcb = bcba. b c b a a a a b c b
39 Simplified purely group-theoretic statement Theorem Let g 1,...,g N,h 1,...,h N be elements of a group G satisfying the following relations: g b h b = h b g b 1 < b < N, g a+1 g a h a+1 h a = h a+1 h a g a+1 g a 1 a < N, g a h c = h c g a 1 a,c N with a c 2. Then the following relation also holds in G: g N g N 1 g 1 h N h N 1 h 1 = h N h N 1 h 1 g N g N 1 g 1. Corollary The e k (u) pairwise commute in the nilcoxeter algebra.
40 Simplified purely group-theoretic statement Theorem Let g 1,...,g N,h 1,...,h N be elements of a group G satisfying the following relations: g b h b = h b g b 1 < b < N, g a+1 g a h a+1 h a = h a+1 h a g a+1 g a 1 a < N, g a h c = h c g a 1 a,c N with a c 2. Then the following relation also holds in G: g N g N 1 g 1 h N h N 1 h 1 = h N h N 1 h 1 g N g N 1 g 1. Corollary The e k (u) pairwise commute in the nilcoxeter algebra.
41 The van Kampen diagram proving the Theorem g b h b = h b g b 1 < b < N g 1 h 6 g 2 h 5 g 3 h 4 g 4 h 3 g 5 h 6 g 4 h 5 g 3 h 4 g 2 h 3 g 1 h 2 g 6 h 5 g 5 h 4 g 4 h 3 g 3 h 2 g 2 h 1 h 6 g 5 h 5 g 4 h 4 g 3 h 3 g 2 h 2 g 1 h 5 g 6 h 4 g 5 h 3 g 4 h 2 g 3 h 1 g 2 h 4 g 3 h 3 g 4 h 2 g 5 h 1 g 6
42 The van Kampen diagram proving the Theorem g a+1g ah a+1h a = h a+1h ag a+1g a g 1 h 6 g 2 h 5 g 3 h 4 g 4 h 3 g 5 h 6 g 4 h 5 g 3 h 4 g 2 h 3 g 1 h 2 g 6 h 5 g 5 h 4 g 4 h 3 g 3 h 2 g 2 h 1 h 6 g 5 h 5 g 4 h 4 g 3 h 3 g 2 h 2 g 1 h 5 g 6 h 4 g 5 h 3 g 4 h 2 g 3 h 1 g 2 h 4 g 3 h 3 g 4 h 2 g 5 h 1 g 6
43 The van Kampen diagram proving the Theorem g ah c = h cg a for a c 2 g 1 h 6 g 2 h 5 g 3 h 4 g 4 h 3 g 5 h 6 g 4 h 5 g 3 h 4 g 2 h 3 g 1 h 2 g 6 h 5 g 5 h 4 g 4 h 3 g 3 h 2 g 2 h 1 h 6 g 5 h 5 g 4 h 4 g 3 h 3 g 2 h 2 g 1 h 5 g 6 h 4 g 5 h 3 g 4 h 2 g 3 h 1 g 2 h 4 g 3 h 3 g 4 h 2 g 5 h 1 g 6
44 The Rule of Three for power series Special case of the main conjecture for one set of variables: Theorem (B. Fomin) Let R be a quotient of U. Let g 1,...,g N,h 1,...,h N U[[x,y]] be power series of the form g i = k α ik(u i x) k, h i = k β ik(u i y) k, satisfying α i0 = β i0 = 1 and α i1 β i1 0. The following are equivalent: g S h S = h S g S in R[[x,y]] for all S of size 3; g S h S = h S g S in R[[x,y]] for all S. Note: R[[x,y]] is the ring of formal power series with coefficients in R. g S denotes the descending product of the g i, i S.
45 Proof (Step 1) The proof uses a lemma and theorem which are entirely group-theoretic, and a Lagrange inversion argument. Lemma Let g 1,g 2,g 3,h 1,h 2,h 3 be elements of a group G satisfying the following relations: g a h a = h a g a for all a, g b g a h b h a = h b h a g b g a for all a < b. Then the following are equivalent: h 1 2 g 2(g 1 3 h 1g 3 h 1 1 ) = (g 1 3 h 1g 3 h 1 1 )h 1 2 g 2, g 3 g 2 g 1 h 3 h 2 h 1 = h 3 h 2 h 1 g 3 g 2 g 1.
46 The van Kampen diagram proving the lemma g 1 h 3 g 3 h 1 g 2 h 3 h 3 g 1 g 1 g 3 h 1 g 3 h 1 h 2 h 2 g 2 g 2 g 3 g 2 h 2 h 2 g 3 h 1 g 3 h 1 h 1 h 3 h 2 g 2 g 1
47 Proof (Step 2) Proposition Let R be a quotient of U. Suppose g i = k α ik(u i x) k, h i = k β ik(u i y) k R[[x,y]], satisfying α i0 = β i0 = 1 and α i1 β i1 0. Then if g i h i commutes with some z R[[x,y]], then g i and h i also commute with z. This follows from a Lagrange inversion argument.
48 Proof (Step 3) Theorem Let g 1,...,g N,h 1,...,h N be elements of a group G satisfying the following relations: g a h a = h a g a for all a, g b g a h b h a = h b h a g b g a for all a < b, g b (g 1 c h a g c h 1 a ) = (g 1 c h a g c h 1 a )g b for all a < b < c, h 1 b (g 1 c h a g c ha 1 ) = (gc 1 h a g c ha 1 )h 1 b for all a < b < c. Then the following relation also holds in G: g N g N 1 g 1 h N h N 1 h 1 = h N h N 1 h 1 g N g N 1 g 1.
49 The van Kampen diagram proving the theorem g a h d g d h a g b h d h d g a g a g d h a g d h a h c h c g b g d h a g d h a g b g c h b g c g d h a g d h a g c h b g b h c g d h a g d h a h c g d gc h b g d h a g d h a h b h a h d h c h b g c g b g a
50 Computations Definition Let g 1,...,g N,h 1,...,h N be invertible elements of the ring Q u 1,...,u M,v 1,...,v M [[x,y]]. The Rule of Three holds (for g 1,...,g N,h 1,...,h N ) if for any quotient R of Q u 1,...,u M,v 1,...,v M, the following are equivalent: g S h S = h S g S in R[[x,y]] for all S of size 3; g S h S = h S g S in R[[x,y]] for all S. Problem Determine natural conditions on the g i,h i which ensure that the Rule of Three holds.
51 Computations Rule of Three fails: g 4 = (1+xu 4 ) h 4 = (1+xv 4 ) g 3 = (1+xu 3 ) h 3 = (1+xv 3 ) g 2 = (1+xu 2 ) h 2 = (1+xv 2 ) g 1 = (1+xu 1 ) h 1 = (1+xv 1 ) Corollary The purely group-theoretic version of the Rule of Three is false: there exists a group G with elements g 1,...,g 4,h 1,...,h 4 such that g S h S = h S g S for all S of size 3, but g S h S h S g S for S = {1,2,3,4}.
52 Computations Rule of Three fails: g 4 = (1+xu 4 ) h 4 = (1+xv 4 ) g 3 = (1+xu 3 ) h 3 = (1+xv 3 ) g 2 = (1+xu 2 ) h 2 = (1+xv 2 ) g 1 = (1+xu 1 ) h 1 = (1+xv 1 ) Corollary The purely group-theoretic version of the Rule of Three is false: there exists a group G with elements g 1,...,g 4,h 1,...,h 4 such that g S h S = h S g S for all S of size 3, but g S h S h S g S for S = {1,2,3,4}.
53 Computations Rule of Three fails: g 4 = (1+xu 8 )(1+xu 7 ) h 4 = (1+yu 8 )(1+yu 7 ) g 3 = (1+xu 6 )(1+xu 5 ) h 3 = (1+yu 6 )(1+yu 5 ) g 2 = (1+xu 4 )(1+xu 3 ) h 2 = (1+yu 4 )(1+yu 3 ) g 1 = (1+xu 2 )(1+xu 1 ) h 1 = (1+yu 2 )(1+yu 1 ) Conjecturally, the Rule of Three holds: g 4 = (1+xu 8 )(1+xu 7 ) h 4 = (1+yu 8 )(1+yu 7 ) g 3 = (1+xu 6 )(1+xu 5 ) h 3 = (1+yu 6 )(1+yu 5 ) g 2 = (1+xu 4 )(1+xu 3 ) h 2 = (1+yu 4 )(1+yu 3 ) g 1 = (1+xu 2 ) h 1 = (1+yu 2 )
54 Consider g i,h i of the following form: Computations g i = (1+z i u i ), h i = (1+z iv i ), for z i,z i {x,y}. A pattern is a sequence z 1 z 2 z 3 z 4 z 1 z 2 z 3 z 4 {x,y}8. Rule of Three fails for the following 34 patterns: xxxx xxxx yyyy yyyy xxyy xxyy yyxx yyxx xyxy xyxy yxyx yxyx xyyx xyyx yxxy xyyx xyyx yxxy yxxy yxxy xyyx yyyy yxxy xxxx xxxx yxxy yyyy xyyx xyyy xyyy yxxx yxxx xxxy xxxy yyyx yyyx xxyx xxyx yyxy yyxy xxyx yxyy yyxy xyxx xyxx yyxy yxyy xxyx xyxx xyxx yxyy yxyy xyyx yxyy yxxy xyxx xyyx yyxy yxxy xxyx xyxx yxxy yxyy xyyx xxyx yxxy yyxy xyyx Rule of Three holds for the other patterns.
55 Consider g i,h i of the following form: Computations g i = (1+z i u i ), h i = (1+z iv i ), for z i,z i {x,y}. A pattern is a sequence z 1 z 2 z 3 z 4 z 1 z 2 z 3 z 4 {x,y}8. Rule of Three fails for the following 34 patterns: xxxx xxxx yyyy yyyy xxyy xxyy yyxx yyxx xyxy xyxy yxyx yxyx xyyx xyyx yxxy xyyx xyyx yxxy yxxy yxxy xyyx yyyy yxxy xxxx xxxx yxxy yyyy xyyx xyyy xyyy yxxx yxxx xxxy xxxy yyyx yyyx xxyx xxyx yyxy yyxy xxyx yxyy yyxy xyxx xyxx yyxy yxyy xxyx xyxx xyxx yxyy yxyy xyyx yxyy yxxy xyxx xyyx yyxy yxxy xxyx xyxx yxxy yxyy xyyx xxyx yxxy yyxy xyyx Rule of Three holds for the other patterns.
56 Further results Theorem (B. Fomin) The commutation relations e k (u S )e l (v S ) = e l (v S )e k (u S ) hold for all k,l, and S [N] if and only if the following relations hold: e 1 (u S )e 1 (v S ) = e 1 (v S )e 1 (u S ) for 1 S 2, e 2 (u S )e 1 (v S ) = e 1 (v S )e 2 (u S ) for 2 S 3, e 1 (u S )e 2 (v S ) = e 2 (v S )e 1 (u S ) for 2 S 3, e 3 (u S )e 1 (v S ) = e 1 (v S )e 3 (u S ) for S = 3, e 1 (u S )e 3 (v S ) = e 3 (v S )e 1 (u S ) for S = 3. Amazingly, the relations e 2 (u S )e 2 (v S ) = e 2 (v S )e 2 (u S ) for S of size 2 and 3 and the relations e 2 (u S )e 3 (v S ) = e 3 (v S )e 2 (u S ) for S = 3 follow from the above relations.
57 Further results Theorem (B. Fomin) The commutation relations e k (u S )e l (v S ) = e l (v S )e k (u S ) hold for all k,l, and S [N] if and only if the following relations hold: e 1 (u S )e 1 (v S ) = e 1 (v S )e 1 (u S ) for 1 S 2, e 2 (u S )e 1 (v S ) = e 1 (v S )e 2 (u S ) for 2 S 3, e 1 (u S )e 2 (v S ) = e 2 (v S )e 1 (u S ) for 2 S 3, e 3 (u S )e 1 (v S ) = e 1 (v S )e 3 (u S ) for S = 3, e 1 (u S )e 3 (v S ) = e 3 (v S )e 1 (u S ) for S = 3. Amazingly, the relations e 2 (u S )e 2 (v S ) = e 2 (v S )e 2 (u S ) for S of size 2 and 3 and the relations e 2 (u S )e 3 (v S ) = e 3 (v S )e 2 (u S ) for S = 3 follow from the above relations.
58 Further results Let g 1,...,g N,h 1,...,h N U[[x,y]] have the following form: g i = (1+xu i ) and h i = (1+yu i ), or g i = (1 xu i ) 1 and h i = (1 yu i ) 1. Definition Define the noncommutative super elementary symmetric functions e k (u) by g N g 1 = N k=0 xk e k (u). By the main theorem, the Rule of Three holds for this choice of g i,h i. The following stronger result holds: Theorem (B. Fomin) For a quotient R of U, the following are equivalent: e 1 (u S )e k (u S ) = e k (u S )e 1 (u S ) in R for S 3, k 2; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R for all k,l, and S.
59 Further results Let g 1,...,g N,h 1,...,h N U[[x,y]] have the following form: g i = (1+xu i ) and h i = (1+yu i ), or g i = (1 xu i ) 1 and h i = (1 yu i ) 1. Definition Define the noncommutative super elementary symmetric functions e k (u) by g N g 1 = N k=0 xk e k (u). By the main theorem, the Rule of Three holds for this choice of g i,h i. The following stronger result holds: Theorem (B. Fomin) For a quotient R of U, the following are equivalent: e 1 (u S )e k (u S ) = e k (u S )e 1 (u S ) in R for S 3, k 2; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R for all k,l, and S.
60 Further results Let g 1,...,g N,h 1,...,h N U[[x,y]] have the following form: g i = (1+xu i ) and h i = (1+yu i ), or g i = (1 xu i ) 1 and h i = (1 yu i ) 1. Definition Define the noncommutative super elementary symmetric functions e k (u) by g N g 1 = N k=0 xk e k (u). By the main theorem, the Rule of Three holds for this choice of g i,h i. The following stronger result holds: Theorem (B. Fomin) For a quotient R of U, the following are equivalent: e 1 (u S )e k (u S ) = e k (u S )e 1 (u S ) in R for S 3, k 2; e k (u S )e l (u S ) = e l (u S )e k (u S ) in R for all k,l, and S.
Elasticity in two dimensions 1
Elasticity in two dimensions 1 Elasticity in two dimensions Chapters 3 and 4 of Mechanics of the Cell, as well as its Appendix D, contain selected results for the elastic behavior of materials in two and
More informationKRONECKER COEFFICIENTS AND NONCOMMUTATIVE SUPER SCHUR FUNCTIONS. 1. Introduction
KRONECKER COEFFICIENTS AND NONCOMMUTATIVE SUPER SCHUR FUNCTIONS JONAH BLASIAK AND RICKY INI LIU Abstract. The theory of noncommutative Schur functions can be used to obtain positive combinatorial formulae
More information3. Elementary Counting Problems 4.1,4.2. Binomial and Multinomial Theorems 2. Mathematical Induction
3. Elementary Counting Problems 4.1,4.2. Binomial and Multinomial Theorems 2. Mathematical Induction Prof. Tesler Math 184A Fall 2017 Prof. Tesler Elementary Counting Problems Math 184A / Fall 2017 1 /
More informationNONCOMMUTATIVE SCHUR FUNCTIONS, SWITCHBOARDS, AND SCHUR POSITIVITY. 1. Introduction
NONCOMMUTATIVE SCHUR FUNCTIONS, SWITCHBOARDS, AND SCHUR POSITIVITY JONAH BLASIAK AND SERGEY FOMIN Abstract. We review and further develop a general approach to Schur positivity of symmetric functions based
More informationUNCORRECTED SAMPLE PAGES. Extension 1. The binomial expansion and. Digital resources for this chapter
15 Pascal s In Chapter 10 we discussed the factoring of a polynomial into irreducible factors, so that it could be written in a form such as P(x) = (x 4) 2 (x + 1) 3 (x 2 + x + 1). In this chapter we will
More informationRULES OF THREE FOR COMMUTATION RELATIONS
RULES OF THREE FOR COMMUTATION RELATIONS JONAH BLASIAK AND SERGEY FOMIN Dedicated to Efim Zelmanov on his 60th irthday Astract. We study the phenomenon in which commutation relations for sequences of elements
More informationCatalan functions and k-schur positivity
Catalan functions and k-schur positivity Jonah Blasiak Drexel University joint work with Jennifer Morse, Anna Pun, and Dan Summers November 2018 Theorem (Haiman) Macdonald positivity conjecture The modified
More informationLocal Anisotropy In Globally Isotropic Granular Packings. Kamran Karimi Craig E Maloney
Local Anisotropy In Globally Isotropic Granular Packings Kamran Karimi Craig E Maloney Granular Materials 2 A Granular Material Is A Conglomeration Of Discrete Solid, Natural Macroscopic Particles Characterized
More informationJONAH BLASIAK. 1. Introduction
WHAT MAKES A D 0 GRAPH SCHUR POSITIVE? JONAH BLASIAK Abstract. We define a D 0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form bac bca or acb cab (Knuth transformations),
More informationREPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97])
REPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97]) MICHAEL WALTER. Diagrams and Tableaux Diagrams and Tableaux. A (Young) diagram λ is a partition of a natural number n 0, which we often
More informationCoxeter-Knuth Graphs and a signed Little Bijection
Coxeter-Knuth Graphs and a signed Little Bijection Sara Billey University of Washington http://www.math.washington.edu/ billey AMS-MAA Joint Meetings January 17, 2014 0-0 Outline Based on joint work with
More informationCommutativity Theorems Examples in Search of Algorithms
Commutativity Theorems Examples in Search of Algorithms John J Wavrik Dept of Math Univ of Calif - San Diego La Jolla, CA 92093 jjwavrik@ucsd.edu 1 Introduction dedicated to the memory of John Hunter Commutativity
More informationCoxeter-Knuth Classes and a Signed Little Bijection
Coxeter-Knuth Classes and a Signed Little Bijection Sara Billey University of Washington Based on joint work with: Zachary Hamaker, Austin Roberts, and Benjamin Young. UC Berkeley, February, 04 Outline
More informationHAGLUND S CONJECTURE ON 3-COLUMN MACDONALD POLYNOMIALS. 1. Introduction
HAGLUND S CONJECTURE ON 3-COLUMN MACDONALD POLYNOMIALS JONAH BLASIAK Abstract. We prove a positive combinatorial formula for the Schur expansion of LLT polynomials indexed by a 3-tuple of skew shapes.
More informationA Murnaghan-Nakayama Rule for k-schur Functions
A Murnaghan-Nakayama Rule for k-schur Functions Anne Schilling (joint work with Jason Bandlow, Mike Zabrocki) University of California, Davis October 31, 2012 Outline History The Murnaghan-Nakayama rule
More informationPARTIAL DERIVATIVES AND THE MULTIVARIABLE CHAIN RULE
PARTIAL DERIVATIVES AND THE MULTIVARIABLE CHAIN RULE ADRIAN PĂCURAR LAST TIME We saw that for a function z = f(x, y) of two variables, we can take the partial derivatives with respect to x or y. For the
More informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationarxiv:math/ v1 [math.co] 15 Sep 1999
ON A CONJECTURED FORMULA FOR QUIVER VARIETIES ariv:math/9909089v1 [math.co] 15 Sep 1999 ANDERS SKOVSTED BUCH 1. Introduction The goal of this paper is to prove some combinatorial results about a formula
More informationReduced words and a formula of Macdonald
Reduced words and a formula of Macdonald Sara Billey University of Washington Based on joint work with: Alexander Holroyd and Benjamin Young preprint arxiv:70.096 Graduate Student Combinatorics Conference
More informationOutline 1. Background on Symmetric Polynomials 2. Algebraic definition of (modified) Macdonald polynomials 3. New combinatorial definition of Macdonal
Algebraic and Combinatorial Macdonald Polynomials Nick Loehr AIM Workshop on Generalized Kostka Polynomials July 2005 Reference: A Combinatorial Formula for Macdonald Polynomials" by Haglund, Haiman, and
More informationSplitting the Square of a Schur Function into its Symmetric and Antisymmetric Parts
Journal of Algebraic Combinatorics 4 (1995), 201-231 1995 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Splitting the Square of a Schur Function into its Symmetric and Antisymmetric
More informationUNIT 3 BOOLEAN ALGEBRA (CONT D)
UNIT 3 BOOLEAN ALGEBRA (CONT D) Spring 2011 Boolean Algebra (cont d) 2 Contents Multiplying out and factoring expressions Exclusive-OR and Exclusive-NOR operations The consensus theorem Summary of algebraic
More informationCommutativity Theorems Examples in Search of Algorithms John J Wavrik Department of Mathematics University of California - San Diego
Commutativity Theorems Examples in Search of Algorithms John J Wavrik Department of Mathematics University of California - San Diego dedicated to the memory of John Hunter Introduction Commutativity theorems
More informationarxiv: v1 [math.rt] 5 Aug 2016
AN ALGEBRAIC FORMULA FOR THE KOSTKA-FOULKES POLYNOMIALS arxiv:1608.01775v1 [math.rt] 5 Aug 2016 TIMOTHEE W. BRYAN, NAIHUAN JING Abstract. An algebraic formula for the Kostka-Foukles polynomials is given
More informationSCHUR FUNCTIONS AND DOMINO TABLEAUX GENERALISATION TO K-THEORY
SCHUR FUNCTIONS AND DOMINO TABLEAUX GENERALISATION TO K-THEORY FLORENCE MAAS-GARIÉPY. Introduction. Symmetric functions, partitions and Young tableaux.. Symmetric functions.. Partitions and Young tableaux..
More informationRight Derivations on Semirings
International Mathematical Forum, Vol. 8, 2013, no. 32, 1569-1576 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.38150 Right Derivations on Semirings S. P. Nirmala Devi Department of
More informationGS trapezoids in GS quasigroups
Mathematical Communications 7(2002), 143-158 143 GS trapezoids in GS quasigroups Vladimir Volenec and Zdenka Kolar Abstract. In this paper the concept of a GS trapezoid in a GS quasigroup is defined and
More informationMATH 251 MATH 251: Multivariate Calculus MATH 251 FALL 2005 EXAM-I FALL 2005 EXAM-I EXAMINATION COVER PAGE Professor Moseley
MATH 251 MATH 251: Multivariate Calculus MATH 251 FALL 2005 EXAM-I FALL 2005 EXAM-I EXAMINATION COVER PAGE Professor Moseley PRINT NAME ( ) Last Name, First Name MI (What you wish to be called) ID # EXAM
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationIrreducible representations of the plactic monoid of rank four
Lukasz Kubat (joint work with Ferran Cedó and Jan Okniński) Institute of Mathematics University of Warsaw Groups, Rings and the Yang Baxter equation Spa, June 23, 2017 Plan of the talk 1 Background Plactic
More informationNotes on Schubert, Grothendieck and Key polynomials. To the memory of Alexander Grothendieck ( ) Anatol N. KIRILLOV.
RIMS-1815 Notes on Schubert, Grothendieck and Key polynomials To the memory of Alexander Grothendieck (1928-2014) By Anatol N. KIRILLOV January 2015 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY,
More informationThe half-plactic monoïd
de 37 The half-plactic monoïd Nathann Cohen and Florent Hivert LRI / Université Paris Sud / CNRS Fevrier 205 2 de 37 Outline Background: plactic like monoïds Schensted s algorithm and the plactic monoïd
More informationSkew Schubert Polynomials
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2002 Skew Schubert Polynomials Cristian Lenart
More informationBalanced Labellings and Schubert Polynomials. Sergey Fomin. Curtis Greene. Victor Reiner. Mark Shimozono. October 11, 1995.
Balanced Labellings and Schubert Polynomials Sergey Fomin Curtis Greene Victor Reiner Mark Shimozono October 11, 1995 Abstract We study balanced labellings of diagrams representing the inversions in a
More informationNoncommutative Schur P -functions and the shifted plactic monoid
Noncommutative Schur P -functions and the shifted plactic monoid by Luis Guillermo Serrano Herrera A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy
More informationq-alg/ v2 15 Sep 1997
DOMINO TABLEAUX, SCH UTZENBERGER INVOLUTION, AND THE SYMMETRIC GROUP ACTION ARKADY BERENSTEIN Department of Mathematics, Cornell University Ithaca, NY 14853, U.S.A. q-alg/9709010 v 15 Sep 1997 ANATOL N.
More information(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions
(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions Ryan Kaliszewski Drexel University rlk72@drexel.edu July 17, 2014 Ryan Kaliszewski (Drexel University) Hook Coefficients July
More informationarxiv:math/ v2 [math.ag] 15 Aug 2000
arxiv:math/0004137v2 [math.ag] 15 Aug 2000 A LITTLEWOOD-RICHARDSON RULE FOR THE K-THEORY OF GRASSMANNIANS ANDERS SKOVSTED BUCH Abstract. We prove an explicit combinatorial formula for the structure constants
More informationA PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS.
A PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS. MIKHAIL KOGAN AND ABHINAV KUMAR Abstract. We provide a generalization of the Schensted insertion algorithm for
More informationPIERI S FORMULA FOR GENERALIZED SCHUR POLYNOMIALS
Title Pieri's formula for generalized Schur polynomials Author(s)Numata, Yasuhide CitationJournal of Algebraic Combinatorics, 26(1): 27-45 Issue Date 2007-08 Doc RL http://hdl.handle.net/2115/33803 Rights
More informationKraśkiewicz-Pragacz modules and some positivity properties of Schubert polynomials
Kraśkiewicz-Pragacz modules and some positivity properties of Schubert polynomials Masaki Watanabe Graduate School of Mathematical Sciences, the University of Tokyo December 9, 2015 Masaki Watanabe KP
More informationLEXLIKE SEQUENCES. Jeffrey Mermin. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic segments.
LEXLIKE SEQUENCES Jeffrey Mermin Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic
More informationq-binomial coefficient congruences
CARMA Analysis and Number Theory Seminar University of Newcastle August 23, 2011 Tulane University, New Orleans 1 / 35 Our first -analogs The natural number n has the -analog: [n] = n 1 1 = 1 + +... n
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Updated: April 14, 017 Total Positivity The final and historically the original motivation is from the study of total positive matrices, which
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationCHAPTER 5 KARNAUGH MAPS
CHAPTER 5 1/36 KARNAUGH MAPS This chapter in the book includes: Objectives Study Guide 5.1 Minimum Forms of Switching Functions 5.2 Two- and Three-Variable Karnaugh Maps 5.3 Four-Variable Karnaugh Maps
More informationA SURVEY OF CLUSTER ALGEBRAS
A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],
More informationTableau models for Schubert polynomials
Séminaire Lotharingien de Combinatoire 78B (07) Article #, pp. Proceedings of the 9 th Conference on Formal Power Series and Algebraic Combinatorics (London) Tableau models for Schubert polynomials Sami
More informationCombinatorial Structures
Combinatorial Structures Contents 1 Permutations 1 Partitions.1 Ferrers diagrams....................................... Skew diagrams........................................ Dominance order......................................
More informationLittlewood Richardson polynomials
Littlewood Richardson polynomials Alexander Molev University of Sydney A diagram (or partition) is a sequence λ = (λ 1,..., λ n ) of integers λ i such that λ 1 λ n 0, depicted as an array of unit boxes.
More informationSHIFTED K-THEORETIC POIRIER-REUTENAUER BIALGEBRA
SHIFTED K-THEORETIC POIRIER-REUTENAUER BIALGEBRA ADAM KEILTHY, REBECCA PATRIAS, LILLIAN WEBSTER, YINUO ZHANG, SHUQI ZHOU Abstract We use shifted K-theoretic jeu de taquin to show that the weak K-Knuth
More informationQSYM OVER SYM HAS A STABLE BASIS
QSYM OVER SYM HAS A STABLE BASIS AARON LAUVE AND SARAH K MASON Abstract. We prove that the subset of quasisymmetric polynomials conjectured by Bergeron and Reutenauer to be a basis for the coinvariant
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationRECOGNIZING GALOIS GROUPS S n AND A n
RECOGNIZING GALOIS GROUPS S n AND A n KEITH CONRAD 1. Introduction If f(x) K[X] is a separable irreducible polynomial of degree n and G f is its Galois group over K (the Galois group of the splitting field
More informationCHAINS IN THE BRUHAT ORDER
CHAINS IN THE BRUHAT ORDER ALEXANDER POSTNIKOV AND RICHARD P. STANLEY arxiv:math.co/0502363 v1 16 Feb 2005 Abstract. We study a family of polynomials whose values express degrees of Schubert varieties
More informationarxiv:math/ v2 [math.co] 15 Jan 2004
The Algebra of Binary Search Trees F. Hivert a,1, J.-C. Novelli b,1, and J.-Y. Thibon b,1 arxiv:math/0401089v2 [math.co] 15 Jan 2004 a Laboratoire Franco-Russe de Mathématiques, Independent University
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 informationST3232: Design and Analysis of Experiments
Department of Statistics & Applied Probability 2:00-4:00 pm, Monday, April 8, 2013 Lecture 21: Fractional 2 p factorial designs The general principles A full 2 p factorial experiment might not be efficient
More informationWitt vectors and total positivity
Witt vectors and total positivity James Borger Australian National University January 10, 2013 San Diego Semirings basic definitions 1. N = {0, 1, 2,... } 2. N-module = commutative monoid (written additively)
More informationCHAPTER 3 BOOLEAN ALGEBRA
CHAPTER 3 BOOLEAN ALGEBRA (continued) This chapter in the book includes: Objectives Study Guide 3.1 Multiplying Out and Factoring Expressions 3.2 Exclusive-OR and Equivalence Operations 3.3 The Consensus
More informationUnit 2 Boolean Algebra
Unit 2 Boolean Algebra 1. Developed by George Boole in 1847 2. Applied to the Design of Switching Circuit by Claude Shannon in 1939 Department of Communication Engineering, NCTU 1 2.1 Basic Operations
More informationALTERNATING SIGNS OF QUIVER COEFFICIENTS arxiv:math/ v2 [math.co] 14 Aug 2003
ALTERNATING SIGNS OF QUIVER COEFFICIENTS arxiv:math/0307014v2 [math.co] 14 Aug 2003 ANDERS SKOVSTED BUCH 1. Introduction In joint work with Fulton [10] we established a formula for the cohomology class
More informationGeometry Problem Solving Drill 08: Congruent Triangles
Geometry Problem Solving Drill 08: Congruent Triangles Question No. 1 of 10 Question 1. The following triangles are congruent. What is the value of x? Question #01 (A) 13.33 (B) 10 (C) 31 (D) 18 You set
More informationMathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions
Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions Quiz #1. Tuesday, 17 January, 2012. [10 minutes] 1. Given a line segment AB, use (some of) Postulates I V,
More informationThe Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes
Journal of Algebraic Combinatorics 4 (00), 53 73 c 00 Kluwer Academic Publishers. Manufactured in The Netherlands. The Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes MERCEDES
More informationQuiver mutations. Tensor diagrams and cluster algebras
Maurice Auslander Distinguished Lectures April 20-21, 2013 Sergey Fomin (University of Michigan) Quiver mutations based on joint work with Andrei Zelevinsky Tensor diagrams and cluster algebras based on
More informationUNIT 5 KARNAUGH MAPS Spring 2011
UNIT 5 KRNUGH MPS Spring 2 Karnaugh Maps 2 Contents Minimum forms of switching functions Two- and three-variable Four-variable Determination of minimum expressions using essential prime implicants Five-variable
More informationKostka multiplicity one for multipartitions
Kostka multiplicity one for multipartitions James Janopaul-Naylor and C. Ryan Vinroot Abstract If [λ(j)] is a multipartition of the positive integer n (a sequence of partitions with total size n), and
More informationJacobson s lemma via Gröbner-Shirshov bases
Jacobson s lemma via Gröbner-Shirshov bases arxiv:1702.06271v1 [math.ra] 21 Feb 2017 Xiangui Zhao Department of Mathematics, Huizhou University Huizhou, Guangdong Province 516007, China zhaoxg@hzu.edu.cn
More informationA RELATION BETWEEN SCHUR P AND S. S. Leidwanger. Universite de Caen, CAEN. cedex FRANCE. March 24, 1997
A RELATION BETWEEN SCHUR P AND S FUNCTIONS S. Leidwanger Departement de Mathematiques, Universite de Caen, 0 CAEN cedex FRANCE March, 997 Abstract We dene a dierential operator of innite order which sends
More informationREMARKS ON THE PAPER SKEW PIERI RULES FOR HALL LITTLEWOOD FUNCTIONS BY KONVALINKA AND LAUVE
REMARKS ON THE PAPER SKEW PIERI RULES FOR HALL LITTLEWOOD FUNCTIONS BY KONVALINKA AND LAUVE S OLE WARNAAR Abstract In a recent paper Konvalinka and Lauve proved several skew Pieri rules for Hall Littlewood
More informationMath 4320, Spring 2011
Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],
More informationIdentities of the plactic monoid
Semigroup Forum (2015) 90:100 112 DOI 10.1007/s00233-014-9609-9 RESEARCH ARTICLE Identities of the plactic monoid Łukasz Kubat Jan Okniński Received: 12 September 2013 / Accepted: 30 April 2014 / Published
More informationCHAPTER III BOOLEAN ALGEBRA
CHAPTER III- CHAPTER III CHAPTER III R.M. Dansereau; v.. CHAPTER III-2 BOOLEAN VALUES INTRODUCTION BOOLEAN VALUES Boolean algebra is a form of algebra that deals with single digit binary values and variables.
More informationSOLUTION. Taken together, the preceding equations imply that ABC DEF by the SSS criterion for triangle congruence.
1. [20 points] Suppose that we have ABC and DEF in the Euclidean plane and points G and H on (BC) and (EF) respectively such that ABG DEH and AGC DHF. Prove that ABC DEF. The first congruence assumption
More informationUniversal exponential solution of the Yang-Baxter equation
August 14, 2018 arxiv:hep-th/9306093v1 19 Jun 1993 Sergey Fomin Department of Mathematics, Massachusetts Institute of Technology Abstract L.P.T.H.E. Université Paris VI Anatol N. Kirillov Theory of Algorithms
More informationALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0
ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 CHAD AWTREY, JAMES BEUERLE, AND MICHAEL KEENAN Abstract. Let f(x) beanirreducibledegreefourpolynomialdefinedover afieldf and
More informationCS 484 Data Mining. Association Rule Mining 2
CS 484 Data Mining Association Rule Mining 2 Review: Reducing Number of Candidates Apriori principle: If an itemset is frequent, then all of its subsets must also be frequent Apriori principle holds due
More informationarxiv: v1 [math.rt] 8 Oct 2018
DEFORMED MESH ALGEBRAS OF DYNKIN TYPE F 4 JERZY BIA LKOWSKI arxiv:1810.05205v1 [math.rt] 8 Oct 2018 Abstract. We prove that every deformed mesh algebra of type F 4 is isomorphic to the canonical mesh algebra
More informationDUALITY OF ANTIDIAGONALS AND PIPE DREAMS
Séminaire Lotharingien de Combinatoire 58 (2008) Article B58e DUALITY OF ANTIDIAGONALS AND PIPE DREAMS NING JIA AND EZRA MILLER The cohomology ring H (Fl n ) of the manifold of complete flags in a complex
More informationOperators on k-tableaux and the k-littlewood Richardson rule for a special case. Sarah Elizabeth Iveson
Operators on k-tableaux and the k-littlewood Richardson rule for a special case by Sarah Elizabeth Iveson A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of
More informationDUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS
DUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS EDWARD E. ALLEN, JOSHUA HALLAM, AND SARAH K. MASON Abstract. We describe a combinatorial formula for
More informationA combinatorial approach to the q, t-symmetry relation in Macdonald polynomials
A combinatorial approach to the q, t-symmetry relation in Macdonald polynomials Maria Monks Gillespie Department of Mathematics University of California, Berkeley Berkeley, CA, U.S.A. monks@math.berkeley.edu
More informationSkew Littlewood Richardson Rules from Hopf Algebras
Skew Littlewood Richardson Rules from Hopf Algebras Aaron Lauve Texas A&M University Loyola University Chicago Thomas Lam University of Michigan joint work with: Frank Sottile Texas A&M University FPSAC
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.
More informationAffine charge and the k-bounded Pieri rule
Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, Affine charge and the k-bounded Pieri rule Jennifer Morse and Anne Schilling Department of Mathematics, Drexel
More informationChapter 3. Boolean Algebra. (continued)
Chapter 3. Boolean Algebra (continued) Algebraic structure consisting of: set of elements B binary operations {+, -} unary operation {'} Boolean Algebra such that the following axioms hold:. B contains
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationA Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group
A Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group Richard P. Stanley Department of Mathematics, Massachusetts Institute of Technology Cambridge,
More informationOn some combinatorial aspects of Representation Theory
On some combinatorial aspects of Representation Theory Doctoral Defense Waldeck Schützer schutzer@math.rutgers.edu Rutgers University March 24, 2004 Representation Theory and Combinatorics p.1/46 Overview
More informationNAME: Mathematics 133, Fall 2013, Examination 3
NAME: Mathematics 133, Fall 2013, Examination 3 INSTRUCTIONS: Work all questions, and unless indicated otherwise give reasons for your answers. If the problem does not explicitly state that the underlying
More informationExercise 1. min_sup = 0.3. Items support Type a 0.5 C b 0.7 C c 0.5 C d 0.9 C e 0.6 F
Exercise 1 min_sup = 0.3 Items support Type a 0.5 C b 0.7 C c 0.5 C d 0.9 C e 0.6 F Items support Type ab 0.3 M ac 0.2 I ad 0.4 F ae 0.4 F bc 0.3 M bd 0.6 C be 0.4 F cd 0.4 C ce 0.2 I de 0.6 C Items support
More informationSome properties of index of Lie algebras
arxiv:math/0001042v1 [math.rt] 7 Jan 2000 Some properties of index of Lie algebras Contents Vladimir Dergachev February 1, 2008 1 Introduction 1 2 Index of Lie algebras 2 3 Tensor products 3 4 Associative
More informationAuthor: Vivek Kulkarni ( )
Author: Vivek Kulkarni ( vivek_kulkarni@yahoo.com ) Chapter-2: Finite State Machines Solutions for Review Questions @ Oxford University Press 2013. All rights reserved. 1 Q.1 Construct Mealy and Moore
More informationTwisted Tensor Product Codes
Twisted Tensor Product Codes Anton Betten Department of Mathematics Colorado State University October, 2007 Abstract Two families of constacyclic codes with large automorphism groups will be presented.
More informationq-alg/ Mar 96
Integrality of Two Variable Kostka Functions Friedrich Knop* Department of Mathematics, Rutgers University, New Brunswick NJ 08903, USA knop@math.rutgers.edu 1. Introduction q-alg/9603027 29 Mar 96 Macdonald
More informationBases for Cluster Algebras from Surfaces
Bases for Cluster Algebras from Surfaces Gregg Musiker (U. Minnesota), Ralf Schiffler (U. Conn.), and Lauren Williams (UC Berkeley) Bay Area Discrete Math Day Saint Mary s College of California November
More informationarxiv: v2 [math.ac] 2 Jul 2017
HUNEKE S DEGREE-COMPUTING PROBLEM MOHSEN ASGHARZADEH ABSTRACT. We deal with a problem posted by Huneke on the degree of generators of symbolic powers. arxiv:1609.04323v2 [math.ac] 2 Jul 2017 1. INTRODUCTION
More informationFoundations of Neutral Geometry
C H A P T E R 12 Foundations of Neutral Geometry The play is independent of the pages on which it is printed, and pure geometries are independent of lecture rooms, or of any other detail of the physical
More informationSpecialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals
Specialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals Cristian Lenart Max-Planck-Institut für Mathematik, Bonn State University of New York at Albany Geometry Seminar,
More information