[論文レビュー] A note on covering Young diagrams with applications to local dimension of posets

Stefan Felsner, Torsten Ueckerdt|arXiv (Cornell University)|Jul 30, 2019

Advanced Combinatorial Mathematics被引用数 1

ひとこと要約

この論文は、$\binom{2k}{k}$ ステップを持つヤング図形を一般化された長方形で被覆するのに必要な最小数について、きつい上限を確立し、少なくとも1つの行または列が $k+1$ 個の長方形によって使われる必要があることを証明している。さらに、この上限が最適であることを示すために、$\binom{2k}{k}-1$ ステップの被覆において、どの行や列も $k$ 回を超えて使われないような被覆を構成することで、2つの未解決問題を解決し、部分順序集合の局所次元理論への応用を可能にした。

ABSTRACT

We prove that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles. We show that this is best-possible by partitioning any Young diagram with $\binom{2k}{k}-1$ steps into actual rectangles, each row and each column used by at most $k$ rectangles. This answers two questions by Kim et al. (2018). Our results can be rephrased in terms of local covering numbers of difference graphs with complete bipartite graphs, which has applications in the recent notion of local dimension of partially ordered sets.

研究の動機と目的

• Kimら（2018年）が提起した、ヤング図形を一般化された長方形で被覆することに関する2つの未解決問題を解決すること。
• 各行および各列が高々 $k$ 回しか使われないような、必要な長方形の最小数を特定すること。
• $\binom{2k}{k}$ ステップにおいて、被覆数が少なくとも1つの行または列が $k+1$ 回使われるようになるきつい閾値を確立すること。
• 差グラフおよび完全二部グラフ被覆を用いて、部分順序集合の理論における局所次元にこの結果を応用すること。

提案手法

• extremal組合せ論を用いて、$\binom{2k}{k}$ ステップを持つヤング図形の長方形被覆を分析する。
• 二重数え上げと鳩の巣原理を応用し、任意の被覆において、少なくとも1つの行または列が $k+1$ 個の長方形によって使われる必要があることを示す。
• 任意の $\binom{2k}{k}-1$ ステップを持つヤング図形を実際に長方形に分割する明示的構成を行い、各行および各列が $k$ 回を超えて使われないことを保証する。
• 完全二部グラフを用いた差グラフの局所被覆数の観点から、被覆問題を再定式化する。
• ヤング図形と二部グラフ鎖分割の双対性を活用し、長方形被覆を部分順序集合の次元理論に結びつける。
• 対称性と再帰的分解技術を用いて、$\binom{2k}{k}-1$ ステップにおける最適被覆を構築する。

実験結果

リサーチクエスチョン

• RQ1 各行および各列が高々 $k$ 回しか使われないような、$\binom{2k}{k}$ ステップを持つヤング図形を一般化された長方形で被覆するのに必要な最小数の一般化された長方形は何か？
• RQ2 $\binom{2k}{k}-1$ ステップを持つヤング図形を、各行および各列が高々 $k$ 回しか使われないような長方形で被覆できるか？
• RQ3 $\binom{2k}{k}$ ステップを持つ図形において、行または列ごとの長方形使用数の上限 $k+1$ はタイトか？
• RQ4 長方形被覆問題は、部分順序集合の局所次元とどのように関係しているか？
• RQ5 完全二部グラフによる差グラフの被覆とヤング図形の構造の間にはどのような関係があるか？

主な発見

• 一般化された長方形による $\binom{2k}{k}$ ステップを持つヤング図形の任意の被覆において、少なくとも1つの行または列が $k+1$ 個の長方形によって使われる必要がある。
• $\binom{2k}{k}-1$ ステップを持つ任意のヤング図形に対して、各行および各列が高々 $k$ 個の長方形によって使われる被覆が存在することを示し、この上限がタイトであることを証明した。
• この結果により、Kim ら（2018年）が提起したヤング図形の長方形被覆に関する2つの未解決問題が解決された。
• 構成により、$\binom{2k}{k}$ が局所被覆数が $k$ を超える行または列を強制する閾値であることが示された。
• この発見により、差グラフおよび完全二部グラフ被覆を通じて、長方形被覆と部分順序集合の局所次元の間の新しい関係が確立された。
• きつい上限は、構造がこの組合せ的閾値と一致する特定の部分順序集合の局所次元が $k+1$ 未満に抑えられないことを示唆している。