6 3 7 2 5 4 8 1 finding parking when not...
TRANSCRIPT
![Page 1: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/1.jpg)
Finding parking when not commutingPSfrag replacements
1
2
3
45
6
7
8
{{1,4,5}, {2,3}, {6,8}, {7}}
Jon McCammond
U.C. Santa Barbara1
![Page 2: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/2.jpg)
A common structure
The goal of this talk will be to introduce you to a mathematical
object that has a habit of appearing in a vast array of guises.
I. Non-crossing partitionsII. Symmetric groupsIII. Braid groupsIV. Parking functionsV. Non-commutative geometry
and free probability
PSfrag replacements
1
2
3
45
6
7
8
{{1,4,5}, {2,3}, {6,8}, {7}}
2
![Page 3: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/3.jpg)
Motivating example I: Fibonacci numbers
I. Dominoe tilings of a 2× n stripII. Continued fractions and golden ratioIII. Diagonals of a regular pentagonIV. Tridiagonal matrices
11+ 1
1+ 11+ 1
1+11
= 58
See Neal Sloane’s online encyclopedia of integer sequences for
more connections. http://www.research.att.com/∼njas/sequences/
3
![Page 4: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/4.jpg)
Motivating example II: Catalan numbers
I. Triangulations of an n-gonII. Rooted (planar) binary treesIII. Ways to associate n lettersIV. Dyck paths from (0,0) to (n, n)
(1(2(3(45)))) (1(2((34)5)))(1((23)(45))) (1((2(34))5))(1(((23)4)5)) ((12)(3(45)))((12)((34)5)) ((1(23))(45))((1(2(34)))5) ((1((23)4))5)(((12)3)(45)) (((12)(34))5)(((1(23))4)5) ((((12)3)4)5)
... and many more (See R. Stanley’s list of 106 distinct combi-
natorial interpretations of these numbers)
4
![Page 5: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/5.jpg)
I. Non-crossing partitions
Def: A noncrossing partition is a partition of the vertices of a
regular n-gon so that the convex hulls of the blocks are disjoint.PSfrag replacements
1
2
3
45
6
7
8
The figure illustrates the partition {{1,4,5}, {2,3}, {6,8}, {7}}.
5
![Page 6: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/6.jpg)
Non-crossing partition lattice
One noncrossing partition σ is contained in another τ if eachblock of σ is contained in a block of τ . Let NCn be the poset(partially ordered set) of all non-crossing partitions of an n-gonunder this relation.
6
![Page 7: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/7.jpg)
Non-crossing partition lattice on 4 elements
For n = 4 we get the following:
1 2
34
7
![Page 8: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/8.jpg)
Non-crossing partition lattice on 4 elements
The abstracted version of NC4 looks like this:
8
![Page 9: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/9.jpg)
Properties of NCn
Thm: NCn is a graded, bounded lattice with Catalan many
elements. It is also self-dual.
• Lattice means that least upper bounds and greatest lower
bounds always exist.
• Self-dual means that it looks the same when we flip it over
9
![Page 10: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/10.jpg)
II. Symmetric groups
Def: Sn is the group of permutations of the set [n] := {1, . . . , n}.
2 3 41
1 2 3 4
(34)
(23)
(12)
(34)
(23)
(12)
(23)
(34)
(12)
(23)
Thm: Every trivial product of 2-cycles is of even length.Cor: The parity of a factorization is well-defined.
10
![Page 11: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/11.jpg)
Factorization into 2-cycles
Lem: The poset of suffixesof minimal factorizations ofthe n-cycle (123 · · ·n) into2-cycles is exactly NCn.[(123) = (12)(23)
= (23)(13)= (13)(12)]
Rem: This makes for an easy proof of self-duality (and it explains
the colors assigned to the edges of the Hasse diagram).
11
![Page 12: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/12.jpg)
Factorization into 2-cycles
The colors here describe all factorizations of (1234)
into three 2-cycles.
12
![Page 13: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/13.jpg)
III. Braid groups
Def: The braid group Bn
keeps track of how n stringscan be twisted.
Clearly Bn maps onto Sn.
PSfrag replacements
1
1
2
2
3
3
4
4
Braid groups are related to many, many areas of mathematics,
including mathematical physics, quantum groups, and, not sur-
prisingly, 3-manifold topology. They are also intimately related
to non-crossing partitions.
13
![Page 14: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/14.jpg)
A Space for the Braid Groups
The noncrossing partition lattice can be used to build a space
whose “fundamental group” is the braid group. In fact, it is
something called an Eilenberg-MacLane space for these groups
because when it is completely unwrapped it is contractible.
The procedure involves turning chains into simplices and then
gluing according to labels and orientations.
14
![Page 15: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/15.jpg)
IV. Parking functions
Def: A parking function of length n is a sequence (a1, . . . , an)
of positive integers whose nondecreasing rearrangement
b1 ≤ b2 ≤ . . . ≤ bn satisfies bi ≤ i.
PSfrag replacements
1 2 3 4 5 6 7
The number of parking functions is (n + 1)n−1.
There are a number of bijections with labeled rooted trees on
[n] (or equivalently the number of acyclic functions on [n]).
15
![Page 16: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/16.jpg)
Parking functions and NCn+1
Let σ−τ be an edge of covering relation in NCn+1 and let B and
B′ be the blocks which are joined. If minB < minB′ we define
the label as the largest element of B which is below all of B′.
1 2
34
16
![Page 17: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/17.jpg)
Parking functions and NCn+1
Lem: The labels on the maximal chains in NCn+1 are the park-
ing functions.
Rem: There are also connections along these lines with the
theory of symmetric functions and Hopf algebras.
f(x, y) = x2 + xy + y
g(x, y) = x2 + xy + y2
17
![Page 18: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/18.jpg)
V. Classical Probability
Let X be a random variable having a probability density function
f(x) (discrete or continuous). The expectation of u(x) is
E(u(X)) =∫ ∞
−∞u(x)f(x)dx.
Ex: mean µ = E(X)
Ex: variance σ2 = E((X − µ)2)
Ex: moment generating function
M(t) = E(etX) =∑n≥0
E(Xn)tn
n!.
18
![Page 19: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/19.jpg)
Moments and cumulants
The coefficents in the moment generating function are called
the moments of f(X). The coefficients of logM(t) are called
the (classical) cumulants of X.
The main advantage of the cumulants is that they contain the
same information as the moments but the cumulant of the sum
of two random variables X and Y are the sum of their cumulants
– so long as they are independent.
19
![Page 20: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/20.jpg)
Non-commutative geometry
Non-commuatative geometry is a philosophy whereby standard
geometric arguments on (topological) spaces are converted into
algebraic arguments on their commutative C∗-algebras of func-
tions.
The goal is then to find analogous arguments on non-commutative
C∗-algebras which reduce to the standard results in the commu-
tative case.
20
![Page 21: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/21.jpg)
Free Probability
There is a definition of a non-commutative version of probability
and a non-commutative version of independence is “freeness”.
The combinatorics of non-crossing partitions is very closely in-
volved in this non-commutative version of cumulants. In fact,
some researchers who study free probability describe the passage
from the commutative to the non-commutative version as a tran-
sition from the combinatorics of partitions to the combinatorics
of non-crossing partitions.
21
![Page 22: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/22.jpg)
Summary
The lattice of non-crossing partitions might play a role in anysituation which involves
• the symmetric groups• the braid groups• free probablity
or anywhere where the Catalan numbers can be found (includ-ing the combinatorics of trees and the combinatorics of parkingfunctions).
They also show up in lots of other mathematics: real hyperplanearrangements, Prufer codes, quasisymmetric functions,...
22
![Page 23: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/23.jpg)
Final illustration: Associahedra
The Catalan numbers count the ways to assosciate a list of
numbers. If we include partial assoications we get an ordering.
This ordering can be used to construct a polytope called the
associahedron, and the “Morse theory” of this polytope has in-
timate connections with the non-crossing partition lattice.
23
![Page 24: 6 3 7 2 5 4 8 1 Finding parking when not commutingweb.math.ucsb.edu/~jon.mccammond/slides/07-kieval-talk2.pdfThe Catalan numbers count the ways to assosciate a list of numbers. If](https://reader033.vdocuments.us/reader033/viewer/2022060417/5f152884b337b866b857c9b6/html5/thumbnails/24.jpg)
Associahedra in Low Dimensions
PSfrag replacements
(12)(34)
1(2(34))
1((23)4)
(1(23))4
((12)3)4
PSfr
ag
repla
cem
ents
(1(2(3(45)))) (1(2((34)5)))(1((23)(45))) (1((2(34))5))(1(((23)4)5)) ((12)(3(45)))((12)((34)5)) ((1(23))(45))((1(2(34)))5) ((1((23)4))5)(((12)3)(45)) (((12)(34))5)(((1(23))4)5) ((((12)3)4)5)
24