그래프 곱에서 약한 하거업 성질의 안정성

초록

본 논문은 유한 개의 군이 각각 약한 하거업 성질(Λ_WH=1)을 가질 때, 그들의 그래프 곱 역시 같은 성질을 유지함을 증명한다. 특히 자유곱을 포함한 특수 경우에도 Λ_WH=1인 약한 하거업 군이 다시 약한 하거업 군이 됨을 보인다.

상세 분석

논문은 먼저 약한 하거업 성질(Weak Haagerup Property, WH)의 정의를 재정리한다. WH는 Haagerup 성질과 약한 amenability를 잇는 중간 개념으로, 완전 유계(B₂) 노름이 유한한 근사 아이덴티티 열 {ϕₙ}이 존재하고 ϕₙ→1(pointwise)이며 각 ϕₙ이 무한대에서 사라지는 것을 요구한다. Λ_WH(G)는 이러한 열의 B₂-노름의 최솟값이며, Λ_WH(G)=1이면 특히 ϕₙ이 1을 정확히 근사한다는 의미다.

핵심 기술은 각 군 Gᵥ에 대해 존재하는 “적절한” 함수 ϕᵥ를 ρᵥ+τᵥ 형태로 분해하는 것이다. 여기서 ρᵥ는 조건부 음수 정의(CND) 커널이며, τᵥ는 유계 양정(positive definite) 커널이다. Schoenberg의 보조정리에 의해 CND 함수의 지수 e^{‑tρᵥ}는 양정이 되므로, ρᵥ와 τᵥ를 각각 힐베르트 공간에 매핑한 뒤 지수 맵 Exp와 Exp⁰를 이용해 양정 커널을 구성한다. 이 과정에서 Lemma 2.4의 등가성(완전 유계 함수 ↔ Hilbert‑space 내 두 벡터열 α,β)과 Lemma 2.2(Schoenberg) 를 핵심적으로 활용한다.

다음 단계는 그래프 곱 G(Γ)에서 개별 군들의 커널을 “합성”하는 방법이다. 그래프 Γ가 유한이므로 각 정점 v에 대응하는 군 Gᵥ의 CND 커널 ρᵥ를 직접 합산하면 G(Γ) 전체에 대해 CND 커널 ρ를 얻을 수 있다(그 증명은 Green의 정규형 이론을 이용). 반면 τᵥ는 단순히 합산하면 양정성을 잃을 위험이 있다. 이를 해결하기 위해 저자는 각 τᵥ를 Exp⁰∘Sᵥ 형태로 표현하고, 그래프 곱의 원소를 reduced word 형태로 분해한 뒤, 각 글자에 대응하는 τᵥ의 양정 커널을 텐서곱 형태로 결합한다. 이렇게 하면 전체 커널 τ도 양정성을 유지하면서 B₂-노름이 1 이하임을 보인다.

결과적으로 ϕ=ρ+τ가 G(Γ) 전역에 걸쳐 적절한 함수가 되며, {e^{‑ϕₙ}}가 WH 근사 아이덴티티 열을 형성한다. 따라서 G(Γ)는 Λ_WH=1을 만족하는 약한 하거업 군이 된다. 자유곱은 그래프가 무연결인 경우에 해당하므로, Corollary 1.2가 바로 도출된다. 논문은 또한 이 결과가 Cowling의 추측(Λ_CH=1 ⇔ Haagerup)과의 연관성을 언급하며, Λ_WH=1인 군이 Haagerup 성질을 가질 가능성을 뒷받침하는 증거로 제시한다.