일반 직사각형 분할과 2‑클럼프 퍼뮤테이션의 일대일 대응

본 논문은 “generic rectangulation”이라는 개념을 중심으로, 사각형을 서로 겹치지 않게 타일링하는 모든 경우를 조합론적으로 분석한다. 먼저, 직사각형 S를 고정하고 그 안을 n개의 사각형으로 나누는 타일링을 고려한다. 네 개 이상의 사각형이 하나의 꼭짓점을 공유하는 경우를 ‘크로스(cross)’라 부르며, 이러한 경우는 확률적으로 0이므로, 크로스가 없는 타일링을 ‘generic’이라 정의한다. 두 타일링이 combinatorial equivalence 관계에 의해 동일시되는 기준은 사각형 간의 “below”와 “left of” 관계를 정확히 보존하는 전단사이다. 다음으로, 저자는 순열의 새로운 분류인 k‑clumped 퍼뮤테이션을 도입한다. 순열 x = x₁…xₙ에서 감소 x_i > x_{i+1}가 나타날 때, 그 사이에 존재하는 값들을 ‘clump’라 부른다. 각 감소에 대해 clump의 개수가 ≤ k이면 x는 k‑clumped 퍼뮤테이션이다. 1‑clumped 퍼뮤테이션은 기존의 twisted Baxter 퍼뮤테이션과 동일하며, 이는 패턴 2‑41‑3와 3‑41‑2를 피함으로 정의된다. 2‑clumped 퍼뮤테이션은 네 개의 구체적인 일반화 패턴(3‑51‑2‑4, 3‑51‑4‑2, 2‑4‑51‑3, 4‑2‑51‑3)을 피하는 순열 집합 Gₙ을 의미한다. 논문은 weak order 위에 정의된 격자 구조와 그 위에 존재하는 lattice congruence를 활용한다. Theorem 2.1에 따르면, 특정한 ‘untranslated’ join‑irreducible 원소들의 집합 C를 선택하면, 그에 대응하는 congruence H(C)ₙ이 정의된다. 여기서 C = {35124, 24513}을 잡으면, 최소 원소가 정확히 2‑clumped 퍼뮤테이션이 되는 congruence Γ가 얻어진다. 즉, Γ‑클래스의 대표는 2‑clumped 퍼뮤테이션이며, 같은 클래스에 속하는 두 순열은 특정 패턴(‘adjacent cliff’)을 통해 서로 변환된다. 다음 단계에서는 ‘diagonal rectangulation’이라는 특수한 클래스의 직사각형 분할을 도입한다. 이는 각 사각형의 내부가 대각선(좌상‑우하)과 교차하도록 배치된 분할이며, 자동으로 generic이다. 기존 연구(