7 research outputs found
A Heyting Algebra on Dyck Paths of Type and
In this article we investigate the lattices of Dyck paths of type and
under dominance order, and explicitly describe their Heyting algebra structure.
This means that each Dyck path of either type has a relative pseudocomplement
with respect to some other Dyck path of the same type. While the proof that
this lattice forms a Heyting algebra is quite straightforward, the explicit
computation of the relative pseudocomplements using the lattice-theoretic
definition is quite tedious. We give a combinatorial description of the Heyting
algebra operations join, meet, and relative pseudocomplement in terms of height
sequences, and we use these results to derive formulas for pseudocomplements
and to characterize the regular elements in these lattices.Comment: Final version. 21 pages, 5 figure
Dual braid monoids, Mikado braids and positivity in Hecke algebras
We study the rational permutation braids, that is the elements of an
Artin-Tits group of spherical type which can be written where
and are prefixes of the Garside element of the braid monoid. We give a
geometric characterization of these braids in type and and then
show that in spherical types different from the simple elements of the
dual braid monoid (for arbitrary choice of Coxeter element) embedded in the
braid group are rational permutation braids (we conjecture this to hold also in
type ).This property implies positivity properties of the polynomials
arising in the linear expansion of their images in the Iwahori-Hecke algebra
when expressed in the Kazhdan-Lusztig basis. In type , it implies
positivity properties of their images in the Temperley-Lieb algebra when
expressed in the diagram basis.Comment: 26 pages, 8 figure
Homomesies on permutations -- an analysis of maps and statistics in the FindStat database
In this paper, we perform a systematic study of permutation statistics and
bijective maps on permutations in which we identify and prove 122 instances of
the homomesy phenomenon. Homomesy occurs when the average value of a statistic
is the same on each orbit of a given map. The maps we investigate include the
Lehmer code rotation, the reverse, the complement, the Foata bijection, and the
Kreweras complement. The statistics studied relate to familiar notions such as
inversions, descents, and permutation patterns, and also more obscure
constructs. Beside the many new homomesy results, we discuss our research
method, in which we used SageMath to search the FindStat combinatorial
statistics database to identify potential homomesies