S₃ 대칭 삼중 대각대수와 해밍 그래프 텐서 입체 모듈

초록

본 논문은 6개의 생성자를 갖는 S₃‑대칭 삼중 대각대수(T)를 정의하고, Q‑다항 거리정규 그래프 Γ의 표준 모듈 V의 텐서 3제곱 V⊗³에 대한 T‑모듈 구조를 구축한다. 특히 Hamming 그래프에 대해 기본 부분모듈 Λ의 명시적 기저와 차원을 구하고, 관련 군 작용과 여러 추측을 제시한다.

상세 분석

논문은 기존의 두 생성자와 두 관계만을 갖는 삼중 대각대수(T)에서 영감을 받아, S₃ 대칭성을 도입해 6개의 생성자 A₁, A₂, A₃, A₁*, A₂*, A₃를 정의한다. 비인접한 두 생성자는 서로 교환하고, 인접한 두 생성자는 원래 삼중 대각관계와 동일한 형태의 관계식을 만족한다. 이러한 정의는 정다각형(정육각형) 형태의 다이어그램으로 시각화되며, S₃의 순열 작용이 자동사상으로 구현됨을 보인다(정리 4.9). 또한, 정의 4.10에 의해 Aᵢ와 Aᵢ를 교환하는 대칭이 존재함을 확인한다.

다음으로 Q‑다항 거리정규 그래프 Γ의 스칼라 β, γ, γ*, ρ, ρ를 이용해 T의 파라미터를 고정한다(Lemma 5.1). 표준 모듈 V를 정점 집합 X의 기저로 잡고, V⊗³에 대해 Aᵢ와 Aᵢ의 작용을 정의한다(Theorem 5.4). 여기서 Aᵢ는 각각 i번째 텐서 자리의 인접 행위(node action)를, Aᵢ는 거리 함수 ∂에 기반한 edge action을 수행한다. 이러한 정의는 Aᵢ와 Aᵢ가 각각 대각화 가능함을 보이며, Aᵢ와 Aⱼ* (i≠j) 사이에 삼중 대각관계가 성립함을 증명한다.

핵심 결과는 V⊗³ 안에 유일한 불변 불가약 부분모듈 Λ가 존재한다는 점이다(섹션 9). Λ는 모든 기본 텐서 x⊗y⊗z를 포함하고, Aᵢ*의 공통 고유벡터 P_{h,i,j}와 Aᵢ의 공통 고유벡터 Q_{h,i,j}를 명시적으로 구성한다. 또한, 그래프의 자동군 G가 V⊗³에 자연스럽게 작용하고, 이 작용이 T‑작용과 교환함을 보인다(Lemma 10.1). 따라서 Λ는 G‑고정 부분공간에 포함된다.

Hamming 그래프 H(D,N)에 특화하면, 저자는 Λ의 기저를 거리와 좌표의 조합으로 구체화하고, 차원을 dim Λ = ⌊(D+4)/4⌋ 로 계산한다(섹션 11). D=1인 경우는 완전 그래프 K_N이 되며, 이 경우 Λ는 전형적인 대칭 다항식 공간과 동형임을 보여준다. 마지막으로 여러 구조적 추측(예: Λ의 정규성, 다른 Q‑다항 그래프에 대한 일반화)과 향후 연구 과제를 제시한다(섹션 12).

전체적으로 이 논문은 삼중 대각대수의 S₃ 대칭 확장을 통해 거리정규 그래프와 양자대수 사이의 새로운 연결고리를 제공하고, 특히 Hamming 그래프에서 구체적인 계산을 수행함으로써 대수적 구조와 조합적 객체 사이의 상호작용을 심도 있게 탐구한다.