대각선 포셋 라멜리 수 하한 2.7n 으로 향상

이 논문은 하이퍼큐브 Qₙ에 대한 대각선 포셋 라멜리 수 R(Qₙ,Qₙ)의 하한을 크게 향상시키는 새로운 방법을 제시한다. 기존 연구에서는 2n ≤ R(Qₙ,Qₙ) ≤ n²−(1−o(1))n·log n 이었으며, 하한은 겨우 2.02n 정도에 머물렀다. 저자들은 ‘다층(layered) 색칠’ 기법을 확장해 수백 개의 레이어를 사용하고, 각 레이어 쌍마다 두 종류의 피벗 집합을 도입한다. 피벗은 특정 크기의 부분집합을 포함하거나 제외하도록 설계되어, 단색 임베딩이 반드시 일정 수 이상의 레벨을 건너뛰어야만 전체 Qₙ을 포함할 수 있게 만든다. 논문은 먼저 6개의 레이어를 이용해 (2+1/3)n 의 약한 하한을 증명한다. 이 단계에서는 피벗 집합이 존재한다는 가정 하에, 색칠 규칙을 정의하고, 임베딩이 빨간색이든 파란색이든 모순이 발생함을 보인다. 이후 핵심인 Lemma 4와 Lemma 5에서 피벗 집합 S₁,T₁,S₂,T₂ 의 존재를 확률적 방법으로 증명한다. 여기서는 각 피벗을 무작위로 선택할 확률 p≈0.525ⁿ 로 두고, ‘s‑cone’과 ‘t‑cone’이라 부르는 후보 집합들의 크기를 정밀히 추정한다. 큰 콘이 충분히 존재하고, ‘bad cone’(모든 후보가 T₁에 포함되는 경우)의 발생 확률이 지수적으로 작다는 것을 보임으로써, 전체 피벗 집합을 동시에 만족하도록 할 수 있음을 보인다. 이 과정은 기존의 순수 확률적 논증보다 더 구성적이며, 피벗의 구조적 특성을 활용한다. 색칠 규칙은 집합의 크기에 따라 파란색·빨간색을 번갈아 배정한다. 예를 들어, 크기가 n/3 이하인 집합은 모두 파란색, n/3~2n/3+cn/4 구간에서는 S₁에 포함되는 경우 파란색, 그렇지 않으면 빨간색 등으로 정한다. 피벗이 존재하면 해당 구간 전체를 같은 색으로 고정한다. 이렇게 정의된 색칠 아래에서는, 임베딩 ϕ:Qₙ→Q_N 이 단색이라면 ϕ(∅) 혹은 ϕ(