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

초록

본 논문은 네 개의 사각형이 한 꼭짓점을 공유하지 않는 ‘일반 직사각형 분할(generic rectangulation)’을 연구한다. 저자는 이러한 분할을 n개의 사각형으로 이루어진 경우, 특정 패턴을 피하는 순열 집합인 2‑클럼프 퍼뮤테이션과 정확히 일대일 대응시키는 명시적 bijection을 구축한다. 이를 통해 작은 n에 대한 정확한 개수를 계산하고, 기존의 Baxter 퍼뮤테이션 및 모자이크 플로어플랜과의 관계를 밝힌다.

상세 분석

논문은 먼저 직사각형 S를 고정하고, 그 안을 n개의 사각형으로 타일링하는 모든 경우를 고려한다. ‘크로스(cross)’라 불리는 네 사각형이 한 꼭짓점을 공유하는 현상이 확률적으로 0이므로, 이러한 교차가 없는 타일링을 ‘generic’이라 정의한다. 두 타일링이 combinatorial equivalence 관계에 의해 동일시되는 기준은 사각형 간의 “below”와 “left of” 관계를 정확히 보존하는 전단사이다.

핵심 개념인 k‑clumped 퍼뮤테이션은 각 감소(descent) x_i > x_{i+1}에 대해 그 사이에 존재하는 값들을 ‘clump’라 부르고, 그 clump의 개수가 k 이하인 순열을 말한다. 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_n이다.

저자는 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이다. 기존 연구(