문자표는 이상적인 퍼론 유사성이다

초록

본 논문은 유한군의 문자표가 퍼론 유사성의 한 종류인 ‘이상적 퍼론 유사성’임을 증명한다. 문자표가 정의하는 스펙트라콘과 스펙트라토프는 각각 행들의 원뿔과 단순체로 완전히 일치하며, 이는 기존의 하다마드·푸리에 변환 행렬이 이상적이라는 결과를 일반화한다. 실문자표인 경우에는 군론적 부등식과 부피 공식도 도출한다.

상세 분석

퍼론 유사성은 가역 행렬 S가 비가역·비음수 행렬 A=S D S⁻¹를 대각화할 때, A가 비가역·비음수이며 동시에 강연결(irreducible)인 경우를 말한다. 이러한 S에 대해 정의되는 스펙트라콘 C(S)={x∈ℂⁿ | S diag(x) S⁻¹≥0}은 행들의 원뿔 Cr(S)와 비교된다. S가 ‘이상적’이라 함은 C(S)=Cr(S)이며, 이는 모든 행벡터가 스펙트라콘에 속하고, 전부가 양의 원소를 포함한다는 동치조건으로 전개된다(정리 3.5).

문자표 Q는 각 행이 서로 다른 불변표현의 문자값을 모은 n×n 행렬이며, 직교성 ⟨χ_i,χ_j⟩=δ_ij에 의해 Q·Q* = |G|·I가 성립한다. 따라서 Q는 정규화된 복소 하다마드 행렬의 한 형태가 되며, 행곱 r_i∘r_j는 다시 행공간에 속한다는 ‘행 하다마드 코닉(RHC)’ 성질을 만족한다. 저자는 이 사실을 이용해 Q가 이상적 퍼론 유사성임을 보인다. 구체적으로, 전부 행이 원뿔 Cr(Q)에 포함되는 것을 보이기 위해 각 행 r_i에 대해 r_i∘r_j∈Cr(Q) (∀j) 를 증명하고, 전부 행이 양의 스칼라배 α·e 로 표현될 수 있음을 확인한다(정리 4.1).

또한 스펙트라콘을 군론적 부등식으로 기술한다. 문자표의 각 열은 하나의 공액 클래스에 대응하므로, x∈C(Q) ⇔ ∑{k} x_k χ_i(g_k) ≥ 0 (∀i) 로 변환된다. 이는 유한개의 선형 부등식으로 스펙트라콘을 완전히 기술한다는 의미다. 실문자표인 경우, 스펙트라토프 P(Q) 는 행들의 정규화된 원뿔 교차점으로 이루어진 단순체이며, 그 부피는 |G|·∏{i} (dim χ_i)⁻¹ 형태의 군론적 공식으로 계산된다(정리 4.3).

이러한 결과는 기존에 별도로 다루어졌던 하다마드 행렬, 푸리에 변환, Walsh 행렬 등이 모두 문자표의 특수 경우임을 보여준다. 따라서 이전 연구들을 하나의 통일된 프레임워크 안에 끌어들일 수 있다. 더불어 NIEP(비음수 역특이값 문제)의 구성적 접근에 기여하며, 문자표를 이용해 실현 가능한 스펙트라의 다면체를 명시적으로 구축할 수 있다.