화살표 문제의 1차 논리 비정의성을 위한 충분조건

초록

본 논문은 화살표(arrowing) 문제에 대해 한프 정리와 그래프 이론의 송신자(sender)·결정자(determiner) 개념을 활용하여, 해당 문제들이 1차 논리로 정의될 수 없음을 보장하는 충분조건을 제시한다. 조건을 만족하는 그래프 패밀리는 구조적 복잡도가 높아 로컬 정보만으로는 구분이 불가능함을 증명한다.

상세 분석

논문은 먼저 화살표 문제를 “주어진 두 그래프 G와 H에 대해, 임의의 색칠이 주어졌을 때 G의 어느 복사본이 H의 어느 복사본에 색이 일치하도록 매핑될 수 있는가”라는 전형적인 Ramsey‑type 질문으로 정의한다. 이러한 문제는 일반적으로 NP‑complete 수준이지만, 논리적 복잡도 관점에서는 1차 논리(FO)로 기술 가능한지 여부가 핵심이다. 저자는 한프 정리(Hanf’s Theorem)를 도입해, 두 구조가 동일한 반경 r 내의 타입 분포를 공유하면 FO‑문장으로 구별할 수 없다는 사실을 이용한다. 여기서 r은 논리식의 양자화 깊이에 비례한다.

핵심 아이디어는 “송신자(sender)”와 “결정자(determiner)”라는 두 combinatorial 객체를 구성하는 것이다. 송신자는 특정 색칠 패턴을 강제하는 작은 서브그래프이며, 결정자는 그 패턴이 전체 그래프에 미치는 영향을 전파한다. 논문은 이러한 서브그래프들을 적절히 삽입해, 임의의 FO‑문장이 요구하는 반경 r보다 큰 거리에서 발생하는 차이를 숨긴다. 즉, 두 인스턴스가 서로 다른 화살표 해답을 가짐에도 불구하고, 반경 r 이내의 근접 이웃 구조는 완전히 동일하게 만든다.

저자는 충분조건을 다음과 같이 정리한다. (1) 무한히 많은 크기의 그래프 패밀리 F가 존재하고, (2) 각 G∈F에 대해 고정된 크기의 송신자 S와 결정자 D가 존재하며, (3) S와 D를 삽입한 후 얻은 그래프 G′는 반경 r 내에서 어떤 다른 그래프와도 구별되지 않는다. 이러한 조건을 만족하면, 해당 화살표 문제는 FO‑비정의성을 갖는다. 논문은 특히 완전 그래프와 사이클, 그리고 특정 트리 구조에 대해 구체적인 구성 예시를 제공한다.

또한, 한프 정리의 “볼륨 제한”을 이용해, 타입 분포가 동일함을 보이기 위해 필요한 그래프 크기의 하한을 계산한다. 이를 통해 조건이 실제로 실현 가능한지 검증하고, 기존에 알려진 몇몇 화살표 문제(예: Kₙ→(Kₘ,Kₗ) 문제)의 FO‑비정의성을 새로운 관점에서 재해석한다.

마지막으로, 저자는 이 충분조건이 필요조건은 아니지만, 많은 자연스러운 화살표 문제에 적용 가능함을 논증한다. 향후 연구에서는 조건을 완화하거나, 다른 논리 체계(예: FO+TC, MSO)와의 관계를 탐구할 여지를 제시한다.