[논문 리뷰] Polyominoes with maximally many holes

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

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 패턴, 상단 행, 왼쪽 열, 오른쪽 도미노 연장부를 사용한 타일링 구성 기법을 통해 Rₖ와 Rₖ,ₗ의 타일 수와 구멍 수를 명시적으로 구축한다.
• 타일 수 mₖ,ₗ = 40k² + 20k + l과 구멍 수 tₖ,ₗ = 20k² + ⌊l/2⌋의 성장 분석을 통해 점근적 경계를 유도하며, f(n) ≥ n/2 − C₁√n (모든 C₁ > √(5/2)에 대해)임을 보인다.
• 재귀적 추론과 구멍 수 불등식을 사용하여 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)임을 증명하며, 하한 f(n) ≥ n/2 − C₁√n는 모든 C₁ > √(5/2)에 대해 유효하다.
• 상한 f(n) ≤ n/2 − C₂√n는 모든 C₂ < √(3/2)에 대해 성립하며, 이 상수는 최적이다—더 작은 C₂는 불가능하다.
• Rₖ,ₗ의 폴리오미노 구성은 f(n) = n/2 − √(3n/2 + 1/4) + 1/2가 무한히 자주 발생함을 보이며, 점근적 형태가 극한에서 정확함을 지지하는 추측을 뒷받침한다.