[論文レビュー] On the Lattice Property of Shard Orders

Henri Mühle|arXiv (Cornell University)|Aug 7, 2017

Advanced Algebra and Logic被引用数 1

ひとこと要約

この論文は、合同均一ラティスにおけるコアラベル順序を、合同均一ラティス上の別種の部分順序として導入し、元のラティスが特定の構造的条件を満たす場合に限り、これがラティスをなすことを証明している。主な貢献は、コアラベル順序がラティスであるための同値な特徴づけを示し、この性質がラティス商に関して保存されることを示し、またブールラティスおよび二重閉集合と関連付けることである。

ABSTRACT

We investigate the alternate order on a congruence-uniform lattice $\mathcal{L}$ as introduced by N. Reading, which we dub the core label order of $\mathcal{L}$. When $\mathcal{L}$ can be realized as a poset of regions of a simplicial hyperplane arrangement, the core label order is always a lattice. For general $\mathcal{L}$, however, this fails. We provide an equivalent characterization for the core label order to be a lattice. As a consequence we show that the property of the core label order being a lattice is inherited to lattice quotients. We use the core label order to characterize the congruence-uniform lattices that are Boolean lattices, and we investigate the connection between congruence-uniform lattices whose core label orders are lattices and congruence-uniform lattices of biclosed sets.

研究の動機と目的

• N. リーディングによって導入された、合同均一ラティスにおけるコアラベル順序を調査すること。
• コアラベル順序がラティスをなすための必要十分条件を特定すること。
• ラティス商におけるラティス性の性質の継承を調査すること。
• コアラベル順序を用いた合同均一ラティスがブールラティスである条件を特徴づけること。
• 合同均一ラティスにおいてコアラベル順序がラティスである場合と、その要素が二重閉集合をなす場合との関係を検討すること。

提案手法

• ラティス要素のコアラベルィングによって誘導される順序の refinement として、合同均一ラティスにおけるコアラベル順序を定義する。
• 単体的超平面配置の構造を用いて、ラティスが領域の順序集合として得られる場合、コアラベル順序がラティスであることを確立する。
• 元のラティスにおける構造的条件を用いて、コアラベル順序のラティス性を特徴づけ、単体的ケースを一般化する。
• コアラベル順序のラティス性がラティス商写像において保存されることを証明する。
• 特徴づけを応用して、合同均一ラティスがブールラティスであるものを同定する。
• 合同均一ラティスにおいてコアラベル順序がラティスであるものと、その要素が二重閉集合をなすものとの間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 合同均一ラティスのコアラベル順序が自身ラティスである条件は何か？
• RQ2 ラティス商に移行しても、コアラベル順序のラティス性は保たれるか？
• RQ3 コアラベル順序を用いて特徴づけられる、ブールラティスである合同均一ラティスはどれか？
• RQ4 コアラベル順序は、合同均一ラティスにおける二重閉集合の構造とどのように関係するか？
• RQ5 合同均一ラティスのどの構造的特徴が、そのコアラベル順序がラティスであることを保証するか？

主な発見

• 合同均一ラティスのコアラベル順序がラティスであることは、そのラティスが特定の構造的条件を満たす場合に限り成り立つ。これは完全な特徴づけを提供する。
• コアラベル順序がラティスであるという性質は、元のラティスのすべてのラティス商においても継承される。
• ブールラティスである合同均一ラティスは、まさにコアラベル順序がラティスであるものに限る。
• コアラベル順序がラティスである合同均一ラティスと、その要素が二重閉集合をなすものとの間には直接的な関係が存在する。
• 元のラティスが単体的超平面配置の領域の順序集合として得られる場合、コアラベル順序は保証的にラティスである。