그래프 곱에서 하가루프 성질의 보존

초록

본 논문은 유한 그래프의 정점에 할당된 각각의 하가루프 군들이 모두 하가루프 성질을 가질 때, 그 그래프 곱 역시 하가루프 성질을 유지함을 증명한다. 이를 위해 각 정점 군에 존재하는 조건부 음의 정의 함수들을 적절히 결합하고, 그래프 곱이 작용하는 CAT(0) 큐브 복합체의 거리 함수를 이용해 새로운 조건부 음의 정의 함수를 구성한다. 결과적으로 그래프 곱은 적절한 CND 함수와 그에 대응하는 Hilbert 공간 표현을 갖게 되며, 이는 하가루프 성질의 정의와 동등함을 보인다.

상세 분석

논문은 먼저 하가루프 성질을 조건부 음의 정의(CND) 함수의 존재와 동등시킨다. 각 군 (G_v)가 하가루프이면, 적절한 CND 함수 (\varphi_v)와 Hilbert 공간 (H_v)에 대한 등거리 임베딩 (R_v:G_v\to H_v)가 존재한다는 점을 이용한다. 그래프 (\Gamma)의 정점 집합에 대해 그래프 곱 (G(\Gamma))를 정의하고, 이 군이 작용하는 CAT(0) 큐브 복합체 (X)를 구성한다. Reckwerdt와 Chatterji‑Niblo의 결과에 따라, 군 원소 사이의 거리 (d_r(g,h)=|h^{-1}g|_r)는 (X)의 거리와 2배 관계이며, 이는 CND임을 보인다.

핵심 아이디어는 두 종류의 CND 함수를 합성하는 것이다. 첫 번째는 위에서 언급한 거리 함수 (l_r(g)=|g|r)이며, 두 번째는 정점 군들의 CND 함수들을 그래프 곱 원소의 감소형 표현 (g=g_1\cdots g_m)에 대해 (\tilde\varphi(g)=\sum{i=1}^m\varphi_{v_i}(g_i)) 로 정의한다. 두 함수는 모두 CND이므로 합인 (\varphi_\Gamma(g)=l_r(g)+\tilde\varphi(g)) 역시 CND가 된다.

다음으로 (\varphi_\Gamma)가 proper함을 증명한다. 즉, (|g|\to\infty)이면 (\varphi_\Gamma(g)\to\infty)임을 보인다. 여기서는 두 경우를 나눠 논한다. (1) 단어 길이는 무한히 커지지만 감소 길이 (l_r(g))는 유한한 경우, 감소형 표현에서 어느 한 성분 (g_i)의 길이가 무한히 커짐을 피존 원리로 보이고, 해당 성분의 (\varphi_{v_i}(g_i))가 무한대로 발산함을 이용한다. (2) (l_r(g)) 자체가 무한히 커지는 경우는 즉시 (\varphi_\Gamma(g))가 무한대로 발산한다. 따라서 (\varphi_\Gamma)는 proper CND 함수가 된다.

마지막으로, proper CND 함수와 그에 대응하는 등거리 임베딩 ((G(\Gamma),\varphi_\Gamma,H,R))를 통해 하가루프 튜플을 구성함으로써 그래프 곱이 하가루프 성질을 만족함을 결론짓는다. 이 증명은 기존에 Antolin‑Dreesen이 제공한 복잡한 방법보다 직접적이며, 그래프 곱 구조와 CAT(0) 큐브 복합체 사이의 자연스러운 연결고리를 활용한다는 점에서 새롭다. 또한, 자유곱과 직접곱이라는 극단적인 경우를 포함하는 일반적인 그래프 곱에 대해 동일한 논리를 적용할 수 있음을 보여준다.