Noncrossing Partitions in Surprising Locations

1. Introduction.Certain mathematical structures make a habit of reoccuring in the most diverselist of settings. Some obvious examples exhibiting this intrusive type of behaviorinclude the Fibonacci numbers, the Catalan numbers, the quaternions, and themodular group. In this article, the focus is on a lesser known example: the non-crossing partition lattice. The focus of the article is a gentle introduction to thelattice itself in three of its many guises: as a way to encode parking functions, asa key part of the foundations of noncommutative probability, and as a buildingblock for a contractible space acted on by a braid group. Since this article is aimedprimarily at nonspecialists, each area is briefly introduced along the way.The noncrossing partition lattice is a relative newcomer to the mathematicalworld. First defined and studied by Germain Kreweras in 1972 [33], it caught theimagination of combinatorialists beginning in the 1980s [20], [21], [22], [23], [29],[37], [39], [40], [45], and has come to be regarded as one of the standard objectsin the field. In recent years it has also played a role in areas as diverse as low-dimensional topology and geometric group theory [9], [12], [13], [31], [32] as wellas the noncommutative version of probability [2], [3], [35], [41], [42], [43], [49],[50]. Due no doubt to its recent vintage, it is less well-known to the mathematicalcommunity at large than perhaps it deserves to be, but hopefully this short paperwill help to remedy this state of affairs.2. A motivating example.Before launching into a discussion of the noncrossing partition lattice itself, wequickly consider a motivating example: the Catalan numbers. The Catalan num-bers are a favorite pastime of many amateur (and professional) mathematicians. Inaddition, they also have a connection with the noncrossing partition lattice (Theo-rem 3.1).Example 2.1(Catalan numbers). The Catalan numbers are the numbers C

[1]  R. Speicher Multiplicative functions on the lattice of non-crossing partitions and free convolution , 1994 .

[2]  M. Aigner Catalan and other numbers: a recurrent theme , 2001 .

[3]  Nachum Dershowitz,et al.  Ordered trees and non-crossing partitions , 1986, Discret. Math..

[4]  David Bessis The dual braid monoid , 2001 .

[5]  Paul H. Edelman Chain enumeration and non-crossing partitions , 1980, Discret. Math..

[6]  Lotharingien de Combinatoire Free Probability Theory and Non-crossing Partitions , 1997 .

[7]  Rodica Simion,et al.  On the structure of the lattice of noncrossing partitions , 1991, Discret. Math..

[8]  Richard P. Stanley,et al.  A Polytope Related to Empirical Distributions, Plane Trees, Parking Functions, and the Associahedron , 2002, Discret. Comput. Geom..

[9]  Andrew Lesniewski,et al.  Noncommutative Geometry , 1997 .

[10]  Thomas Brady,et al.  K(π 1)'s for Artin Groups of Finite Type , 2000 .

[11]  Ruth Charney,et al.  Geodesic automation and growth functions for Artin groups of finite type , 1995 .

[12]  R. Ehrenborg On Posets and Hopf Algebras , 1996 .

[13]  R. Stanley What Is Enumerative Combinatorics , 1986 .

[14]  Rodica Simion,et al.  Noncrossing partitions , 2000, Discret. Math..

[15]  Sergey Fomin,et al.  Polytopal Realizations of Generalized Associahedra , 2002, Canadian Mathematical Bulletin.

[16]  Alexandru Nica,et al.  A “Fourier Transform” for Multiplicative Functions on Non-Crossing Partitions , 1997 .

[17]  Alain Connes A Short survey of noncommutative geometry , 2000 .

[18]  Xiao-Song Lin,et al.  Knots, braids, and mapping class groups -- papers dedicated to Joan S. Birman : proceedings of a conference in low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 1998, Columbia University, New York, New York , 2001 .

[19]  Roland Speicher,et al.  FREE PROBABILITY THEORY AND NON-CROSSING PARTITIONS , 1997 .

[20]  Mladen Bestvina Non-positively curved aspects of Artin groups of finite type , 1999 .

[21]  Louis H. Kalikow Symmetries in trees and parking functions , 2002, Discret. Math..

[22]  Svante Linusson,et al.  A simple bijection for the regions of the Shi arrangement of hyperplanes , 1999, Discret. Math..

[23]  Dale Rolfsen,et al.  New developments in the theory of Artin's braid groups , 2003 .

[24]  Rodica Simion,et al.  Chains in the lattice of noncrossing partitions , 1994, Discret. Math..

[25]  R. Stanley,et al.  Enumerative Combinatorics: Index , 1999 .

[26]  Roland Speicher,et al.  Combinatorial Theory of the Free Product With Amalgamation and Operator-Valued Free Probability Theory , 1998 .

[27]  Jean-Christophe Aval,et al.  CATALAN PATHS AND QUASI-SYMMETRIC FUNCTIONS , 2002 .

[28]  Daan Krammer,et al.  The braid group B4 is linear , 2000 .

[29]  Daan Krammer Braid groups are linear , 2002 .

[30]  Christos A. Athanasiadis On a refinement of the generalized Catalan numbers for Weyl groups , 2004 .

[31]  Helmut Prodinger A correspondence between ordered trees and noncrossing partitions , 1983, Discret. Math..

[32]  Stephen J. Bigelow,et al.  Braid groups are linear , 2000, math/0005038.

[33]  Christos A. Athanasiadis On Noncrossing and Nonnesting Partitions for Classical Reflection Groups , 1998, Electron. J. Comb..

[34]  Richard P. Stanley,et al.  Parking functions and noncrossing partitions , 1996, Electron. J. Comb..

[35]  Arjeh M. Cohen,et al.  Linearity of artin groups of finite type , 2000 .

[36]  Ruth Charney,et al.  Finite K (π, 1)s for Artin Groups , 1996 .

[37]  Thomas Brady,et al.  A Partial Order on the Symmetric Group and New K(π, 1)'s for the Braid Groups☆ , 2001 .

[38]  Thomas Brady,et al.  K(π, 1) for Artin Groups of Finite Type , 2002 .

[39]  Paul H. EDELMAN Multichains, non-crossing partitions and trees , 1982, Discret. Math..

[40]  S. Fomin,et al.  Y-systems and generalized associahedra , 2001, hep-th/0111053.

[41]  Michael Anshelevich Free stochastic measures via noncrossing partitions II , 2001 .

[42]  K. Murasugi,et al.  A study of braids , 1999 .

[43]  Walter Stromquist,et al.  On Packing Densities of Permutations , 2002, Electron. J. Comb..

[44]  Dan Voiculescu,et al.  Free Probability Theory: Random Matrices and von Neumann Algebras , 1995 .

[45]  Wilhelm Magnus,et al.  Groups and Their Graphs: Contents , 1992 .

[46]  M. Anshelevich Free Stochastic Measures via Noncrossing Partitions , 1999, math/9903084.

[47]  Germain Kreweras,et al.  Sur les partitions non croisees d'un cycle , 1972, Discret. Math..

[48]  V. Prasolov,et al.  Knots, links, braids and 3-manifolds , 1996 .

[49]  Victor Reiner,et al.  Noncrossing Partitions for the Group Dn , 2005, SIAM J. Discret. Math..

[50]  Philippe Biane Parking Functions of Types A and B , 2002, Electron. J. Comb..

[51]  Catherine H. Yan,et al.  On the Enumeration of Generalized Parking Functions , 1999 .

[52]  Peter F. Stadler,et al.  Minimal Cycle Bases of Outerplanar Graphs , 1998, Electron. J. Comb..

[53]  Charalambos A. Charalambides,et al.  Enumerative combinatorics , 2018, SIGA.

[54]  James B. Shearer,et al.  Monotonic subsequences in dimensions higher than one , 1997, Electron. J. Comb..