서명 일반화 북 그래프와 완전 그래프의 엣지 색채 지수 완전 해석

본 논문은 서명 그래프 \((G,\sigma)\)의 엣지 색채 지수 \(\chi'(G,\sigma)\)에 대한 두 주요 연구 대상을 다룬다. 첫 번째 대상은 일반화 북 그래프 \(B(m,n,k)\)이며, 두 번째는 차수가 6 이하인 완전 그래프 \(K_n\)이다. **1. 기본 정의와 선행 결과** 서명 그래프는 간선에 \(\pm1\) 부호를 부여한 그래프이며, 인시던스 \((v,e)\)에 색을 할당하는 방식으로 엣지 색채를 정의한다. 색 할당은 부호에 따라 양쪽 끝점의 색이 부호만큼 부호가 반대가 되도록 강제한다(정의 2). 이 정의는 스위칭 연산(정점 집합을 선택해 그에 인접한 모든 간선의 부호를 반전)과 호환되며, 따라서 \(\chi'(G,\sigma)\)는 스위칭 동형 클래스에만 의존한다. Behr가 증명한 서명 Vizing 정리 \(\Delta(G)\le\chi'(G,\sigma)\le\Delta(G)+1\)을 기본 상한·하한으로 삼는다. 또한 모든‑음수 서명 \((G,-)\)은 원 그래프와 색채 지수가 동일하므로 \(\chi'(G)=\chi'(G,-)\)임을 이용한다. **2. 일반화 북 그래프 \(B(m,n,k)\)** \(B(m,n,k)\)는 \(n\)개의 \(m\)-사이클이 길이 \(k\)인 공통 경로 \(P_k\)를 공유하는 구조이다. 정점 집합은 공통 경로 \(\{v_1,\dots,v_k\}\)와 각 사이클에 속하는 \(\{u_{ij}\}\)로 구성된다. - **스위칭 비동형 서명 분류** 스위칭을 통해 모든 음의 간선을 \(v_1\)에 인접한 간선 \(\{v_1u_{i1}\}\)에만 놓을 수 있다. 따라서 서명은 \(\sigma_l\) (\(l=0,\dots,n\)) 로 정의되며, \(\sigma_l\)는 정확히 \(l\)개의 음의 간선을 포함한다. 서로 다른 \(l\)값은 음의 사이클 개수가 달라 스위칭 동형이 아니므로, 비동형 서명 클래스는 \(n+1\)개임을 정리 3.1이 증명한다. - **모든‑양수 서명 \(\sigma_0\)에 대한 색채 지수** \(\Delta(B)=n+1\) (정점 \(v_1\)의 차수)이며, Vizing 정리로 \(\chi'\ge n+1\)이다. 저자는 두 경우로 나누어 명시적인 색칠 방법을 제시한다. *\(n=2r\) (짝수) 경우*: 색 집합 \(\{\pm1,\dots,\pm r,0\}\)를 사용해 경로 \(v_1v_2\cdots v_k\)와 각 사이클의 나머지 부분을 교대로 \((\pm i)\) 패턴으로 색칠한다. 특히 첫 사이클의 마지막 간선과 \(v_1u_{21}\)에 색 0을 할당해 충돌을 방지한다. *\(n=2r-1\) (홀수) 경우*: 색 집합 \(\{\pm1,\dots,\pm r\}\)를 사용해 동일한 패턴을 적용한다. 두 경우 모두 각 정점에서 사용되는 색이 서로 다르므로 proper coloring이 성립하고, 사용 색 수는 정확히 \(n+1\)이다. 따라서 \(\chi'(B(m,n,k),\sigma_0)=n+1\). - **모든‑음수 서명 \(\sigma_n\)에 대한 색채 지수** \((B,-)\)는 스위칭에 의해 \((B,+)\) (짝수 \(m\)) 혹은 \((B,\{v_1v_2\})\) (홀수 \(m\))와 동형이다. 앞서 \(\sigma_0\)에 대해 만든 색칠을 그대로 적용하거나, 한 개의 양의 간선을 0색으로 바꾸는 간단한 변형을 통해 동일한 색 수 \(n+1\)으로 색칠할 수 있다. 따라서 \(\chi'(B(m,n,k),\sigma_n)=n+1\)이며, 이는 모든 서명에 대해 동일한 값을 갖는다. **3. 서명 완전 그래프 \(K_n\) ( \(2\le n\le6\) )** 완전 그래프의 무부호 경우는 \(\chi'(K_n)=n-1\) (짝수) 혹은 \(n\) (홀수)이다. 저자는 각 \(n\)에 대해 가능한 서명들을 스위칭 동형에 따라 분류하고, 색칠 가능성을 직접 검증한다. - *짝수 \(n\) (4,6)*: \(\Delta=n-1\)이므로 Vizing 정리와 스위칭 불변성으로 \(\chi'(K_n,\sigma)=n-1\)임을 즉시 얻는다. 실제 색칠 예시를 제시해 확인한다. - *홀수 \(n\) (3,5)*: \(\Delta=n\)이지만, 특정 서명(예: 모든 간선이 음수, 혹은 음의 간선이 짝수 개인 경우)에서는 색 집합에 0을 포함한 \((n-1)\)색으로 proper coloring이 가능함을 보인다. 반면, 전형적인 양수 서명은 기존 결과와 동일하게 \(\chi'=n\)이다. 특히 \(K_5\)에 대해 7가지 비동형 서명을 조사하고, 각각에 대해 \(\chi'=4\) 혹은 \(5\)임을 명시한다. **4. 결론 및 향후 과제** 논문은 일반화 북 그래프와 작은 완전 그래프에 대해 서명에 따른 색채 지수를 완전히 규정하였다. 주요 결론은 1. \(B(m,n,k)\)는 서명에 관계없이 \(\chi'=n+1\)이며, 서명 클래스는 정확히 \(n+1\)개. 2. \(K_n\) ( \(n\le6\) )는 짝수 \(n\)에서는 항상 \(\chi'=n-1\), 홀수 \(n\)에서는 서명에 따라 \(\chi'=n-1\) 혹은 \(n\)이 된다. 마지막으로 저자는 일반적인 \(K_n\)에 대한 추측(모든 서명에 대해 \(\chi'\)는 \(\Delta\) 혹은 \(\Delta+1\) 중 하나이며, 특정 서명에서는 \(\Delta\)가 달성될 가능성이 높다)과, 더 큰 \(m,n,k\)에 대한 일반화 북 그래프의 색채 지수에 대한 개방 문제를 제시한다.