무지개 매칭의 존재와 개수

초록

완전 이분 그래프 K_{n,n} 의 색칠된 간선들 중, 색이 겹치지 않는 완전 매칭(무지개 매칭)의 개수를 색상의 최대 출현 횟수에 따라 점근적으로 추정한다. 또한 색의 종류가 n 이상이면 무작위 색칠 모델에서 거의 확실히 무지개 매칭이 존재함을 보이며, 이는 각 원소가 최대 n 번 등장하는 n 차 정방행렬가 라틴 전치를 가짐을 의미한다.

상세 분석

본 논문은 두 가지 축을 중심으로 전개된다. 첫 번째는 주어진 색칠된 완전 이분 그래프 K_{n,n} 에서 무지개 완전 매칭의 수를 정확히 추정하는 문제이다. 저자들은 색상의 최대 출현 횟수 m (즉, 어떤 색이 그래프 전체에서 차지하는 가장 큰 간선 수) 를 파라미터로 삼아, m=o(n) 일 때 매칭의 수가 (1−o(1))·n! 에 수렴함을 보인다. 이는 영구(permanent)와 관련된 고전적인 추정식에 스위칭 기법과 포함‑배제 원리를 결합한 결과이며, 특히 m 이 n 에 비례할 경우에는 상수 계수를 포함한 정확한 상한·하한을 제시한다. 두 번째 축은 무작위 색칠 모델이다. 모델 A에서는 각 간선을 c≥n 개의 색 중 하나로 독립적으로 균등하게 색칠하고, 모델 B에서는 각 색이 정확히 n 개의 간선에 할당되는 균등 분포를 사용한다. 두 경우 모두 첫 번째 모멘트와 두 번째 모멘트를 정밀히 계산하여, c≥n 이면 무지개 완전 매칭이 존재할 확률이 1−o(1) 임을 증명한다. 특히 모델 B에서는 마르코프 부등식 대신 이항 분포의 집중성을 이용해, 색의 최대 출현 횟수가 n 을 초과하지 않을 확률이 거의 1임을 보인다. 이러한 확률적 결과는 고전적인 라틴 전치 문제와 직접 연결된다. 행렬 A∈