최소 채워진 셀 수와 직교 부분 라틴 사각형의 구조적 한계

초록

본 논문은 차수 n 인 최대 직교 부분 라틴 사각형(MOPLS)에서 채워진 셀의 최소 개수가 n²/3 임을 증명하고, n ≥ 21일 때는 ⌈n²/3⌉가 정확한 최소값이며, 이를 달성하는 구성이 행·열·기호의 순열 외에는 유일함을 보인다.

상세 분석

논문은 라틴 사각형과 그 변형을 그래프 이론의 관점에서 재해석한다. 완전 4‑partite 그래프 Kₙ,ₙ,ₙ,ₙ을 K₄ 복사본으로 분할하는 방식으로 OPLS(n)을 표현하고, 최대 직교 부분 라틴 사각형은 그 보완 그래프가 K₄‑free이어야 함을 이용한다. 보완 그래프 G′의 각 파트 사이의 밀도 d(V_i,V_j)=(n²−F)/n²가 2/3를 초과하면 K₄가 반드시 존재한다는 Pfender와 Jin의 결과를 적용해 F<n²/3이면 최대성이 깨진다. 따라서 F≥n²/3가 필요조건이 된다.

다음으로, F=n²/3인 경우를 분석한다. 최소 빈 셀 전치(transversal)를 이용한 Lemma 2.2를 통해, 빈 셀을 대각선에 배치했을 때 남은 영역은 모두 채워져야 하며, 각 행·열·첫 번째 기호·두 번째 기호의 빈도는 정확히 n/3이어야 함을 보인다. 이는 모든 파트가 균등하게 사용되는 ‘균등 배치’ 구조를 강제한다.

구조적 유일성은 행·열·기호의 순열을 제외하고는 어떠한 다른 배치도 위 조건을 만족시킬 수 없음을 증명함으로써 얻는다. 구체적으로, n=3s+r (r=0,1,2)인 경우, 대각선에 세 개의 직교 라틴 사각형을 배치하는 구성(왼쪽 위 s×s, 중앙 s×s 혹은 (s+1)×(s+1), 오른쪽 아래 s×s 혹은 (s+1)×(s+1))이 ⌈n²/3⌉개의 채워진 셀을 제공하고, 각 파트의 빈도가 n/3이 되도록 설계된다. n≥21이면 s≥7이므로 이 구성은 항상 가능하며, 앞서 증명한 필요조건과 일치해 최적임을 확인한다.

또한, n=2와 n=6은 예외적으로 완전 직교 라틴 사각형이 존재하므로 F=n²가 최소가 된다. 논문은 이러한 예외를 제외하고는 제시된 하한이 강력히 성립함을 보인다.

요약하면, 라틴 사각형의 그래프 표현, K₄‑free 조건, 빈도 균등성, 그리고 대각선 전치 분석을 결합해 F≥n²/3을 증명하고, n≥21에서 ⌈n²/3⌉가 정확히 달성되는 유일한 구조를 제시한다. 이는 부분 라틴 사각형의 최대성 문제에 대한 완전한 해답을 제공하며, 다중 파트ite 그래프의 밀도 한계와 라틴 사각형 설계 사이의 깊은 연관성을 밝힌다.