그래프 동형성 다면체와 부분 그래프 탐색의 새로운 연결 고리

본 논문은 그래프 동형성 문제와 관련된 두 종류의 다면체 ψₙ 과 ψₙ,ₙ 을 정의하고, 이들의 구조적 관계와 최적화 문제와의 연계를 체계적으로 분석한다. 먼저, n×n 순열 행렬들의 집합 Pₙ 을 이용해 ψₙ = conv{ P⊗P | P∈Pₙ }와 ψₙ,ₙ = conv{ P⊗Q | P,Q∈Pₙ }를 정의한다. ψₙ은 n!개의 정점(각각 P⊗P 형태)으로 구성되고, ψₙ,ₙ은 (n!)²개의 정점(P⊗Q 형태)으로 구성된다. 두 다면체는 텐서 공간 ℝ^{n×n}⊗ℝ^{n×n} 에 내재한다. Theorem 2.1은 ψₙ이 ψₙ,ₙ의 한 면(face)임을 증명한다. 구체적으로, ⟨I⊗I, X⟩=n이라는 선형 방정식으로 정의되는 절단면과 ψₙ,ₙ의 교집합이 ψₙ와 정확히 일치한다는 사실을 보인다. 여기서 ⟨·,·⟩는 텐서 내적이며, I는 n×n 단위 행렬이다. 이 결과는 ψₙ이 ψₙ,ₙ 안에서 특수한 구조적 위치를 차지함을 의미한다. 다음으로, 그래프 G와 H (두 그래프 모두 n개의 정점을 갖고, H는 m개의 간선을 가짐)의 인접 행렬을 각각 A_G, A_H 라 두고, ⟨A_G⊗A_H, X⟩라는 선형 형태를 고려한다. Theorem 2.2는 ψₙ 위에서 이 선형 형태의 최댓값이 2m 과 같을 경우와 오직 그 경우에만 G에 H와 동형인 부분 그래프가 존재함을 보인다. 이는 부분 그래프 동형성 문제를 ψₙ 위의 선형 최적화 문제로 정확히 환원한다는 의미이다. 최적화 문제의 최적값은 다면체의 꼭짓점에서 달성되므로, 실제로는 모든 순열 P∈Pₙ에 대해 ⟨A_G, P A_H Pᵀ⟩를 계산하면 된다. Theorem 2.3은 일반 텐서 W와 상수 w = 2n²·max|W_{i,s,j,t}| 를 도입해, ψₙ와 ψₙ,ₙ 사이의 최적화 관계를 정량적으로 연결한다. 구체적인 식은 max_{X∈ψₙ}⟨W,X⟩ = max_{X∈ψₙ,ₙ}⟨W + w·I⊗I, X⟩ – n·w 이다. 증명은 모든 순열 텐서 P⊗Q 에 대해 ⟨W, P⊗Q⟩가 –½w와 ½w 사이에 있음을 이용하고, ⟨I⊗I, P⊗Q⟩는 P=Q일 때 n, 그 외에는 ≤ n–1임을 활용한다. 결과적으로 ψₙ 위의 최적화는 ψₙ,ₙ 위의 최적화에 상수 w와 n·w를 더하고 빼는 간단한 변환만으로 동등하게 변환될 수 있다. 위 두 정리를 결합하면 Corollary 2.4가 도출된다. 여기서는 W를 A_G⊗A_H 로 두고, w를 n² (왜냐하면 A_G⊗A_H 는 0·1 값만 가지므로 max|·|=1)로 잡는다. 그러면 max_{X∈ψₙ,ₙ}⟨A_G⊗A_H + n·I⊗n·I, X⟩ ≤ 2m + n³ 이며, 등호가 성립할 경우와 오직 그 경우에만 G에 H와 동형인 부분 그래프가 존재한다. 따라서 부분 그래프 동형성 문제는 ψₙ,ₙ 위의 선형 최적화 문제와 완전히 동치가 된다. 논문은 또한 기존 연구에서 소개된 φₙ 다면체와의 관계를 언급한다. φₙ은 완전 그래프 Kₙ 의 간선에 대한 순열에 의해 생성된 (n choose 2)² 차원의 다면체이며, 그 그래프가 완전함을 이용해 피보팅(pivoting) 알고리즘이 적용되지 않음을 보였다. ψₙ와 φₙ가 서로 동형인지 여부는 아직 미해결이며, 두 다면체 모두 n!개의 정점을 갖는다는 점에서 흥미로운 비교 대상이 된다. 마지막으로, 복잡도 이론적 함의를 논한다. 만약 P≠NP라면 ψₙ와 ψₙ,ₙ에 대한 선형 최적화 및 분리(Separation) 문제는 다항시간에 해결될 수 없으며, 따라서 이 다면체들의 컴팩트한 부등식 표현도 존재하지 않는다. 이는 그래프 동형성 문제와 같은 NP-완전 문제를 연속적인 다면체 최적화 문제로 옮겼을 때 발생하는 복잡도 장벽을 명확히 보여준다. 요약하면, 이 연구는 (1) ψₙ이 ψₙ,ₙ의 면이라는 구조적 사실, (2) 부분 그래프 동형성 문제를 ψₙ 위의 선형 최적화로 환원, (3) ψₙ 최적화를 ψₙ,ₙ 최적화로 다시 환원함으로써, 부분 그래프 동형성 문제가 ψₙ,ₙ 위의 최적화와 동등함을 증명한다. 이는 그래프 이론과 다면체 기하학 사이의 새로운 연결 고리를 제공하고, 복잡도 이론적 관점에서 중요한 시사점을 제시한다.