비가환 군에서 부분차집합을 밝히는 문자 이론 기법

초록

본 논문은 비가환 유한군 내에서 부분차집합(PDS)의 존재 여부와 구조를 문자 이론으로 분석한다. Ott의 일반화된 사각형 결과를 확장하여, PDS와 강하게 정규 그래프(SRG)의 고유값·판별식(Δ)과 군의 켤레류와의 교차 크기를 제한하는 새로운 정리들을 제시한다. 또한, 특정 정규 부분군과의 코셋 교차를 이용해 존재 불가능성을 증명하고, 스테이너 설계와 연계된 무한 가족의 비가환 PDS를 구성한다.

상세 분석

논문은 먼저 부분차집합(PDS)의 정의와 그가 역폐쇄(inverse‑closed)이며 1을 포함하지 않을 때 Cayley 그래프가 (v,k,λ,μ)‑강하게 정규 그래프(SRG)와 동형임을 상기한다. 전통적으로 아벨 군에서는 문자 이론을 이용해 χ(D)값이 (k, (λ−μ±√Δ)/2) 중 하나가 되도록 하는 식(1)을 얻을 수 있었지만, 비가환 군에서는 일반적인 불가약 문자(irredu­cible character)들이 이러한 제한을 만족하지 않는다. 이를 극복하기 위해 저자들은 Ott가 일반화 사각형(GQ)에서 도입한 클래스 함수 Φ(g)=|C_G(g)||g^G∩D|를 모든 군에 적용하였다. Lemma 3.1을 통해 Φ(g)=∑_{χ∈Irr(G)}χ(D)χ(g)임을 보이고, 비주요 문자에 대해 χ(D)값이 두 개의 고유값 θ₁,θ₂ 중 하나와 일치함을 증명한다(정리 3.4, 3.5).

핵심은 v와 √Δ의 소인수 구조가 서로 다를 때, 즉 어떤 소수 p가 v를 나누지만 √Δ를 나누지 않을 경우, 해당 p에 대한 선형 문자 ξ가 존재한다는 점이다. 이러한 ξ에 대해 Φ(g)≡0 (mod p)인 성질을 이용해, D가 각 켤레류와 교차하는 원소 수가 p‑모듈러 제약을 만족해야 함을 도출한다(정리 3.12, 3.13). 결과적으로, 최소 비자명 정규 부분군 N이 존재하고 G/N이 아벨이며 (|G/N|,√Δ)=1이면, D는 N의 각 코셋에 대해 일정한 크기를 가져야 함을 보인다(정리 3.19). 이는 기존의 Yoshiara‑Benson 제한을 일반화한 것으로, 비가환 군에서 PDS 존재 가능성을 크게 좁힌다.

또한, 저자들은 이러한 이론을 실제 계산에 적용하기 위해 두 가지 알고리즘을 제시한다. 첫 번째는 √Δ와 v의 소인수 집합이 서로 서로소인 경우, 각 켤레류에 대한 교차 크기를 직접 구해 존재 여부를 판단한다. 두 번째는 √Δ와 v가 동일한 소인수를 공유할 때, 특히 Δ=v인 경우에 특수한 모듈러 관계를 이용해 제한을 얻는다(섹션 4.2).

구성 측면에서는, p가 7(mod 12)이고 p^d>9인 경우에 대해, 스테이너 삼중계(S(2,3,p^d))가 블록‑정규임을 이용해 (v,k,λ,μ)=(p^d(p^d−1)/6, 3(p^d−3)/2, (p^d+3)/2, 9) 형태의 무한 가족의 비가환 PDS를 만든다. 더 일반적으로, k≥3인 스테이너 2‑설계 S(2,k,p^d)에서 p^d≡k(k−1)+1 (mod 2k(k−1))이면, (v,k,λ,μ) 파라미터를 만족하는 비가환 PDS를 구성한다(정리 4.11‑4.13). 이러한 예는 기존 문헌에 보고된 바 없으며, 비가환 군에서 차분집합이 설계 이론과 깊게 연결될 수 있음을 보여준다.

마지막으로 부록에서는 기존에 알려진 비가환 PDS 불가능 사례를 정리하고, 새롭게 제시한 정리로 추가로 배제된 파라미터 집합을 표로 정리한다(부록 A, B). 또한, 작은 차수(v≤2000)에서 실제 존재 여부를 전산 탐색한 결과를 부록 C에 제시한다. 전체적으로 이 논문은 비가환 군에서 PDS를 다루는 새로운 문자 이론 도구를 제공하고, 존재 불가능성을 강력히 제한함과 동시에 새로운 무한 가족을 구축함으로써 분야에 중요한 진전을 이끌었다.