그래프 동형성 문제와 선형 방정식 체계의 새로운 연결

논문은 서론에서 그래프 동형성 문제(GIP)와 부분 그래프 동형성 문제(SGIP)의 정의를 상기하고, GIP가 NP에 속하지만 아직 다항시간 알고리즘이 알려지지 않은 문제임을 강조한다. 저자는 이전 버전에서 제시한 접근법이 SGIP와도 유사하게 선형 방정식·부등식 시스템으로 환원될 수 있음을 밝히며, 이때 필요한 방정식·부등식의 수 f(n)이 지수적으로 증가할 가능성을 제시한다. 2절에서는 필요한 선형대수 개념을 도입한다. 이중 확률 행렬 집합 Ωₘ을 정의하고, Birkhoff 정리를 이용해 그 극점이 순열 행렬임을 언급한다. Λₘ을 비음수 행렬의 곱셈적 원뿔으로 정의하고, (2.2)식으로 특징짓는다. 텐서곱 A⊗B와 그 성질(2.5), 그리고 Kronecker 곱의 블록 형태(2.4)를 상세히 설명한다. 명제 2.2와 정리 2.4를 통해 A⊗B가 Ωₘₙ에 속함을 보이고, Ψₘ,ₙ와 Φₘ,ₙ를 각각 Pₘ⊗Pₙ가 생성하는 볼록 껍질과 4m n−1·m²개의 선형 제약으로 정의된 다면체로 제시한다. Lemma 2.5는 Φ₂,₂=Ψ₂,₂임을 증명하고, Lemma 2.6은 n≥4에서 Ψₙ,ₙ⊂Φₙ,ₙ임을 Rosenberg의 예시를 통해 보여준다. Corollary 2.7은 Φₘ,ₙ를 정의하는 방정식 수를 상한으로 제시한다. 3절에서는 순열 유사성(A∼B)의 정의와 그 필요조건·충분조건을 전개한다. Lemma 3.1은 순열 유사성에서 대각원소와 비대각원소의 순열 관계를 제시하고, Lemma 3.2·3.3은 특정 t에 대해 (A+tI)와 (B+tI) 사이의 변환이 순열 행렬 P, Q에 의해 표현될 수 있음을 보인다. Lemma 3.4는 Kronecker 곱을 이용한 선형 변환을 기술하고, 이를 통해 (P⊗P)·vec(A+tI)=vec(B+tI) 형태로 변환한다. 최종적으로 Theorem 3.5는 다음을 동등하게 만든다: (1) A와 B가 순열 유사성, (2) (a) (3.1),(3.2) 조건과 (b) 적절한 t와 Z∈Ψₙ,ₙ가 존재해 Z·vec(A+tI)=vec(B+tI)인 조건. 이를 통해 GIP와 SGIP를 Z∈Ψₙ,ₙ의 존재 여부로 환원한다. 4절에서는 앞서 정의한 다면체 Φₙ,ₙ와 Ψₙ,ₙ를 이용해 복잡도 결과를 도출한다. Z·(A+ tI)=B+ tI 시스템의 해 존재 여부는 타원체 알고리즘을 통해 max(f(n),n) 시간에 판정 가능함을 언급하고, SGIP의 경우 부등식 Z·(C+2n²I)≤vec(B+2n²I) 형태로 확장한다. 마지막으로 논문은 이전 버전에서 Φₙ,ₙ=Ψₙ,ₙ이라고 주장한 오류를 정정하고, 현재의 결과가 GIP와 SGIP에 대한 필요조건을 제공함을 강조한다. 전체적으로 그래프 동형성 문제를 선형 방정식·부등식 시스템과 이중 확률 행렬의 볼록 다면체 구조와 연결시켜 새로운 관점을 제시하지만, f(n)의 정확한 성장률과 다면체의 극점 구조에 대한 심층 분석이 부족한 점이 남는다.