arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1312.0551math.CO
收藏

$A$和$B$型Dyck路上的Heyting代数

A Heyting Algebra on Dyck Paths of Type $A$ and $B$

Henri Mühle

摘要:

本文研究了控制序下$A$型和$B$型Dyck路的格,明确地描述了它们的Heyting代数结构.这意味着任何一种类型的每个戴克路径都有一个相对于同一类型的其他戴克路径的相对伪补。虽然证明这个格形成一个海廷代数是相当简单的,但使用格理论定义的相对伪补的显式计算是相当繁琐的。我们给出了一个组合描述的Heyting代数操作加入,满足,和相对伪补的高度序列,我们使用这些结果来推导公式的伪补,并在这些格中的正规元素的特征。

英文摘要:

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. 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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑