A Heyting algebra on Dyck paths of type \(A\) and \(B\) (Q2407687)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Heyting algebra on Dyck paths of type \(A\) and \(B\) |
scientific article |
Statements
A Heyting algebra on Dyck paths of type \(A\) and \(B\) (English)
0 references
6 October 2017
0 references
From the author's abstract: In this article we investigate the lattices of Dyck paths of type \(A\) and \(B\) under dominance order, and explicitly describe their Heyting algebra structure. [\dots] 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.
0 references
Dyck path
0 references
dominance order
0 references
Heyting algebra
0 references
distributive lattice
0 references
symmetric group
0 references
hyperoctahedral group
0 references
Catalan numbers
0 references
0 references
0 references
