동형 사상 구별과 다중성 자동자 등가성 그리고 다항식 항등식 테스트

초록

이 논문은 제한된 트리폭·경로폭을 가진 CMSO₂ 정의 그래프 클래스에 대해 동형 사상 구별 문제(HomInd)를 무작위 다항식 시간 알고리즘으로 해결할 수 있음을 기존 연구가 보여준 바, 이를 조건부 최적화한다. 저자들은 해당 알고리즘을 다항식 항등식 테스트(PIT)와 다중성 자동자(MTA) 등가성 문제에 로그스페이스 환원함으로써, 무작위성을 없앨 경우 PIT가 P에 속해야 함을 증명한다. 또한 경로폭 제한 클래스에 대해서는 복잡도 상한을 C=L 로 낮추고 완전성을 보이며, 다중성 워드 자동자(MWA) 등가성 문제도 C=L‑complete임을 보여준다.

상세 분석

논문은 먼저 동형 사상 구별(HomInd) 문제를 정의하고, 이 문제가 그래프 클래스 𝔽에 따라 다양한 복잡도 구간을 차지한다는 점을 강조한다. 기존 결과인 Seppelt(2024)는 트리폭이 제한되고 CMSO₂ 로 정의 가능한 모든 그래프 클래스에 대해 HomInd가 coRP, 즉 무작위 다항식 시간에 해결 가능함을 보였지만, 그 알고리즘의 결정론적 버전이 가능한지는 미지였다. 저자들은 이 질문에 부정적인 답을 제시한다. 구체적으로, 트리폭이 제한된 CMSO₂‑정의 그래프 클래스 𝔽₀를 구성하고, HomInd(𝔽₀), 다중성 트리 자동자(MTA) 등가성, 그리고 다항식 항등식 테스트(PIT) 사이에 로그스페이스 다중환원(log‑space many‑one reduction)을 설계한다. 이는 세 문제 모두가 로그스페이스 내에서 서로 변환 가능함을 의미한다. 특히 PIT는 현재 알려진 가장 어려운 대수적 문제 중 하나이며, 그 결정론적 다항식 시간 알고리즘이 존재한다면 복잡도 이론 전반에 걸쳐 큰 파장을 일으킨다(예: RP=NP). 따라서 HomInd(𝔽₀)도 동일한 어려움을 갖는다는 결론은, 기존 무작위 알고리즘이 조건부 최적임을 강력히 시사한다.

다음 단계에서는 경로폭이 제한된 CMSO₂‑정의 그래프 클래스 𝔽₁에 대해 복잡도 상한을 개선한다. 기존에는 HomInd(𝔽₁)이 PTIME에 속했지만, 저자들은 이를 DET(=NC¹‑reductions to determinant)와 동등한 C=L 로 낮춘다. 핵심 아이디어는 HomInd(𝔽₁)를 다중성 워드 자동자(MWA) 등가성 문제로 환원하고, Tzeng(1992)의 결과를 이용해 MWA 등가성이 C=L‑complete임을 보이는 것이다. 이 과정에서 MWA와 MTA 사이의 구조적 차이를 정밀히 분석하고, 워드 자동자의 전이 행렬을 이용해 선형대수적 불변량을 효율적으로 계산한다. 결과적으로, 경로폭 제한 클래스에 대해 HomInd는 로그스페이스 내에서 정확히 결정 가능함을 입증한다. 마지막으로, 이러한 경로폭 클래스 중 하나를 선택해 HomInd가 C=L‑complete임을 보이며, 복잡도 경계가 정확히 맞물림을 확인한다.

전체적으로 논문은 동형 사상 구별 문제를 기존의 그래프 이론·논리학·자동자 이론과 연결시켜, 복잡도 구분을 명확히 하는 동시에 PIT와 같은 핵심 대수 문제와의 관계를 밝힘으로써 이 분야의 이론적 기반을 크게 확장한다. 특히, 무작위화가 불가피함을 보이는 첫 번째 일반적 결과와, 경로폭 제한에서의 정확한 로그스페이스 복잡도 완전성 결과는 향후 그래프 동형성 완화 문제와 대수적 검증 문제 사이의 교차 연구에 중요한 출발점을 제공한다.