호비 맥켄지 다항식과 연결성 동등성: 호환 유향 그래프의 새로운 특성화

본 논문은 대수학과 그래프 이론을 연결하는 새로운 관점을 제시한다. 서론에서는 네 가지 연결성 개념—약연결(weak), 강연결(strong), 극연결(extreme), 급(radical) 연결—을 정의하고, 이들 사이의 포함 관계를 도식화한다(극 ⊆ 급 ⊆ 강 ⊆ 약). 이어서 대수계(variety)와 그 전형적인 하위 클래스인 테일러(Taylor), 호비-맥켄지(Hobby‑McKenzie), 하게만‑미치스케(Hagemann‑Mitschke) 대수계에 대한 배경을 제공한다. 각 클래스는 특정 선형 항등식을 만족하는 멱등항(term) 존재 여부에 따라 구분되며, 테일러 ⊂ 호비‑맥켄지 ⊂ 하게만‑미치스케의 포함 관계가 있다. 2장에서는 기본 정의와 준비 결과를 제시한다. 대수계 𝓥 의 전멱등 감소(reduct) 𝓥_Id 와 클론(clone) 개념을 정리하고, 해석가능성(interpretabiliy)을 클론 동형사상으로 기술한다. 그래프 G 에 대한 네 동치 관계를 정의하고, 급 연결이 가장 작은 반대칭 몫을 만드는 동치임을 증명한다(명제 2.1). 또한, 다항식(polymorphism)과 그 클론 Pol(G), Pol_Id(G) 을 도입하고, 호환 그래프가 클론 동형사상 존재와 동치임을 언급한다. 두 특수 그래프 D (3점)와 K (4점)를 정의하고, 이들의 대수 𝔇, 𝔎 가 각각 격자 SL 과 집합 SET 과 등가 해석 가능함을 보이는 명제 2.2를 제시한다. 이는 이후 역방향 증명에 핵심적인 역할을 한다. 3장에서는 주요 정리와 그 증명을 전개한다. 먼저, 호비‑맥켄지 항 t 가 존재하면, 임의의 호환 반사 그래프 G 에 대해 강연결 성분과 극연결 성분이 일치함을 보이는 정리 3.5를 증명한다. 증명은 t 가 극연결 경로를 강연결 경로로 변환할 수 있는 다항식 연산성을 이용한다. 구체적으로, 임의의 (a,b) ∈ 강연결 관계에 대해, t 를 적절히 적용해 a와 b 사이에 대칭 경로를 구성함으로써 극연결을 얻는다. 다음으로, 강연결 = 극연결이 모든 호환 그래프에 대해 성립한다면, 𝓥 는 호비‑맥켄지 항을 가져야 함을 역으로 증명한다(정리 3.5의 역방향). 여기서는 특수 그래프 D 와 K 를 이용한다. 만약 𝓥 에 호비‑맥켄지 항이 없으면, D 또는 K 가 𝓥 내에서 호환될 수 없으며, 이는 강연결과 극연결이 구분되는 예시를 제공한다. 따라서 역방향이 성립한다. 정리 3.5의 직접적 결과로, 하게만‑미치스케 대수계(즉, n‑가환 대수계)에서는 약연결과 극연결이 동일함을 얻는다. 이를 정리 3.6(코롤러리)에서 명시한다: 𝓥 가 n‑가환이면, 모든 호환 반사 그래프 G 에 대해 약연결 동치와 극연결 동치가 일치한다. 반대로, 이 동치가 모든 호환 그래프에 대해 성립하면 𝓥 는 n‑가환이다. 이는 기존에 알려진 “강연결 = 극연결”이 호비‑맥켄지 대수계의 특성이라는 결과와 조화를 이룬다. 4장에서는 연구 결과를 요약하고, 향후 연구 방향을 제시한다. 특히, 급 연결과 그 반복 구조가 대수적 해석가능성에 미치는 영향, 그리고 더 일반적인 다항식 조건(예: Gumm 항)과 연결성 동치 사이의 관계를 탐구할 필요성을 강조한다. 전체적으로, 논문은 대수계의 항등식 구조가 호환 그래프의 연결성 동치에 어떻게 영향을 미치는지를 체계적으로 밝히며, 호비‑맥켄지 대수계와 n‑가환 대수계 사이의 미묘한 차이를 그래프 이론을 통해 구분한다. 이는 대수학, 범주론, 그리고 이산수학 분야의 연구자들에게 새로운 도구와 관점을 제공한다.