퇴화도와 교차수로 본 그래프 입체표현의 새로운 경계

본 논문은 그래프 이론에서 중요한 두 파라미터인 boxicity와 cubicity에 대해 새로운 상한을 제시한다. 먼저, k‑퇴화 그래프의 정의를 상기한다. 그래프 G가 k‑퇴화라는 것은 정점들을 순서 D = (v₁,…,v_n) 로 나열했을 때, 각 정점 v_i가 뒤에 오는 정점들 중 최대 k개만 인접한다는 뜻이다. 이 순서는 그래프의 구조적 복잡성을 최대 차수 Δ보다 더 정밀하게 포착한다. 저자들은 기존에 Chandran·Francis·Sivadasan이 제시한 “cubicity ≤ ⌈4(Δ+1) log n⌉” 결과를 개선하고자, 퇴화도 k에 기반한 상한을 찾는다. 핵심 정리는 다음과 같다. **Theorem 1.** 모든 k‑퇴화 그래프 G에 대해  cubicity(G) ≤ (k+2)·⌈2e log n⌉. 이 상한은 “tight”하다고 주장한다. 증명은 두 단계로 이루어진다. 첫 번째는 확률적 색칠 방법이다. 색상 집합 χ = {χ₁,…,χ_{k+2}} 를 준비하고, ⌈2e log n⌉ 번 독립적으로 무작위 색칠 C₁,…,C_b 를 만든다. 각 비연결 쌍 (v_x, v_y) (v_x <_D v_y) 에 대해 강한 지원 집합 T_{xy} 를 정의하고, 어느 색칠 C_i 에서든 T_{xy} 가 서로 다른 색으로 채워질 확률이 충분히 높아 b 번 반복하면 전체 비연결 쌍이 모두 “좋게” 색칠될 확률이 1보다 크다. 두 번째 단계에서는 “좋게 색칠된” 색칠을 이용해 단위 구간 그래프 I_{i,j} 를 구성한다. 색칠 C_i 의 색 χ_j 를 기준으로 정점들을 두 파트 A_{ij} (색이 χ_j) 와 B_{ij} 로 나누고, 각 정점 v에 구간  f_{i,j}(v) =