[論文レビュー] Polyominoes with maximally many holes

Matthew Kahle, Érika Roldán|arXiv (Cornell University)|Jul 26, 2018

Collagen: Extraction and Characterization参考文献 2被引用数 5

ひとこと要約

この論文は、n マスからなる多ポリオミノが閉じ込める最大の穴の数を決定し、n が大きい場合に f(n) ≈ n/2 であることを証明する。特定の nₖ と hₖ に対して f(nₖ) = hₖ を達成する明示的な多ポリオミノの族を構成し、f(n) = n/2 − Θ(√n) というタイトな漸近的境界を確立する。下界における定数 √(3/2) が最適であることを示している。

ABSTRACT

What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 ight) / 3$ and $h_k = \left( 2^{2k}-1 ight) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$.

研究の動機と目的

• n-オミノが閉じ込める最大の穴の数 f(n) を特定すること。
• 特定の n に対して理論的上限に達する明示的な多ポリオミノの族を構成すること。
• n が大きい場合の f(n) に対するタイトな漸近的上界および下界を確立し、f(n) ≈ n/2 を示すこと。
• 下界における定数 √(3/2) が改善不能であることを証明し、漸近的推定のタイトさを確立すること。
• 極値となる多ポリオミノの構造的・幾何的性質を調査し、適切なスケーリングの下でフラクタルに類似した極限形状に収束するかを検討すること。

提案手法

• f(n) をすべての n-オミノにおける穴の最大数と定義し、g(m) を f(n) = m を満たす最小の n と定義する。
• 繰り返し可能な 4 マス・2 穴のパターン S を用いた再帰的族 Sₖ を、構造的な長方形グリッドに埋め込む。
• 繰り返し S パatters、上段、左列、および右側のドミノ拡張を用いたタイリング構成により、既知のマス数および穴の数を持つ Rₖ と Rₖ,ₗ を構築する。
• マス数 mₖ,ₗ = 40k² + 20k + l および穴の数 tₖ,ₗ = 20k² + ⌊l/2⌋ の成長を分析することで、任意の C₁ > √(5/2) に対して f(n) ≥ n/2 − C₁√n であることを導出する。
• 再帰的議論と穴数の不等式を用いて、f(n+1) − f(n) ≤ 1 を証明し、関数 f(n) がゆっくりと増加することを保証する。
• f と g の双対性を用いて g(hₖ) = nₖ − 1 を示し、上界 f(n) ≤ n/2 − C₂√n (C₂ < √(3/2)) を導出し、タイトさを証明する。

実験結果

リサーチクエスチョン

• RQ1 n 個の単位正方形からなる多ポリオミノが閉じ込める最大の穴の数 f(n) は何か？
• RQ2 理論的上限に達する明示的構成は可能か？ そして、その最大値はどの n の値で達成されるか？
• RQ3 n が非常に大きくなる際の f(n) に対する最もタイトな漸近的境界は何か？
• RQ4 下界における定数 √(3/2) は最適か、それ以上に改善可能か？
• RQ5 極値となる多ポリオミノは、適切なスケーリングの下で極限的にフラクタルに類似した形状に収束するか？

主な発見

• nₖ = (2^{2k+1} + 3·2^{k+1} + 4)/3 および hₖ = (2^{2k} − 1)/3 に対して、論文はすべての k ≥ 1 に対して f(nₖ) = hₖ を証明する。
• 論文は f(nₖ − 1) = hₖ および f(nₖ − 2) = hₖ − 1 を示し、最大穴数が nₖ の直前で達成されることを確認する。
• g(hₖ) = nₖ − 1 であることを示し、hₖ 個の穴を生成するのに必要な最小マス数が nₖ − 1 であることを示す。
• n が大きい場合、論文は f(n) = n/2 − Θ(√n) を証明し、任意の C₁ > √(5/2) に対して下界 f(n) ≥ n/2 − C₁√n が成り立つことを示す。
• 上界 f(n) ≤ n/2 − C₂√n は任意の C₂ < √(3/2) に対して成り立ち、この定数は最適である—より小さい C₂ は不可能である。
• 多ポリオミノ Rₖ,ₗ の構成により、f(n) = n/2 − √(3n/2 + 1/4) + 1/2 が無限に多くの n に対して成り立つことが示され、漸近形が極限において正確であるという予想を支持する。