| Abstract: |
The study of the sequence of Catalan numbers C_n,
given by C_n = 1/(n+1) binomial(2n,n), n >= 0,
seems almost to have gained a life of its own;
Richard Stanley, in his Enumerative Combinatorics II, gives an exercise in 66 parts,
each part giving a different structure enumerated by this sequence
according to some parameter of interest.
The sequence of Fine numbers F_n is perhaps less well-known,
but is linked to the Catalan numbers by the equation
C_n = 2 F_n + F_{n-1}, n >= 1; F_0 = 1,
although this is not how the sequence might be defined in the first instance,
and there are other ways in which the sequences are intertwined.
But to verfify this equation it would be very nice to have
a partition of the Catalan structures into Fine structures
in which the equation is reflected in the subsets of the partition.
This talk takes up the quest for such a demonstration,
giving a generally accessible guided research tour
that culminates in a successful proof technique for this identity amongst others.
|