쿼터니언 대수 곱셈의 최소 이중선형 복잡도

초록

특성 2가 아닌 체 위의 비분할 쿼터니언 대수에 대해 곱셈 연산의 이중선형 복잡도(랭크)가 정확히 8임을 증명한다. 이는 분할(행렬) 경우의 7보다 하나 큰 값이며, 거의 최소 차수를 갖는 대수의 분류와 연관된다.

상세 분석

이 논문은 중앙단순 대수의 곱셈 연산을 이중선형(또는 텐서) 형태로 표현했을 때 필요한 최소 곱셈 수, 즉 bilinear complexity 혹은 rank에 초점을 맞춘다. 일반적으로 체 K 위의 n차원 대수 A에 대해 곱셈 텐서는 μ∈A*⊗A*⊗A 로 정의되며, μ를 r개의 순수 텐서 합으로 표현할 수 있으면 r을 A의 곱셈 랭크라 한다. 랭크가 작을수록 알고리즘이 효율적이며, 특히 행렬 대수 M₂(K)에서는 Strassen가 제시한 7개의 순수 텐서 분해가 최적임이 알려져 있다.

쿼터니언 대수 H는 4차원 중앙단순 대수이며, 두 종류가 있다. 하나는 분할(quaternion algebra that splits) 형태로, 이는 M₂(K)와 동형이므로 랭크가 7이다. 다른 하나는 비분할, 즉 실제로는 나눗셈이 가능한 사원수 대수이며, 이 경우는 기존의 Strassen 알고리즘을 그대로 적용할 수 없으며, 랭크가 최소 8인지 여부가 미해결 문제였다.

논문은 먼저 하한을 보인다. 비분할 쿼터니언 대수 H는 중심이 K이고 차원이 4이므로, μ를 7개의 순수 텐서 합으로 표현한다면 특정 선형 관계가 강제로 성립해야 한다. 저자는 H의 노름 형식 N(x)=x·x̄(여기서 x̄는 켤레) 이 비퇴화된 이차형식이며, 특성 ≠2일 때 N은 이방성( anisotropic )임을 이용한다. 7개의 텐서가 만든 선형 조합은 결국 N의 이차형식과 모순되는 항을 생성하게 되며, 이는 7보다 작은 랭크가 불가능함을 증명한다.

다음으로 상한을 구성한다. 저자는 H의 표준 기저 {1,i,j,ij}를 사용해 8개의 bilinear forms φ₁,…,φ₈와 대응하는 결과 텐서 ψ₁,…,ψ₈을 명시적으로 정의한다. 각 φₖ는 입력 요소의 두 좌표에 대한 선형 결합이며, ψₖ는 결과 좌표에 대한 선형 결합이다. 이 8개의 순수 텐서 합은 정확히 μ를 재구성한다는 것을 직접 계산으로 확인한다. 특히, i·j = -j·i = ij 와 같은 비가환 관계와 i² = a, j² = b (a,b∈K* ) 를 이용해 교차항을 적절히 상쇄시키는 것이 핵심이다.

결과적으로 비분할 쿼터니언 대수의 bilinear complexity는 정확히 8임을 얻는다. 이는 “거의 최소 차수(almost minimal rank)”를 연구한 Blaeser와 de Voltaire의 작업과 직접 연결된다. 그들의 정의에 따르면 차원 4의 중앙단순 대수 중 랭크가 8인 경우는 거의 최소 차수에 해당한다는 것이며, 본 논문의 결과는 이러한 대수들의 완전한 분류에 기여한다.

또한 특성 2인 경우는 노름 형식이 퇴화하여 위의 하한 논증이 깨지므로 별도의 처리가 필요함을 언급한다. 저자는 향후 연구 과제로 특성 2에서의 랭크를 조사하거나, 더 높은 차원의 비분할 대수(예: 사원수 외의 사원체 대수)에서 유사한 결과를 확장하는 가능성을 제시한다.

이 논문은 이론적인 복잡도 분석과 구체적인 알고리즘 설계 두 측면을 모두 제공함으로써, 대수적 구조와 계산 복잡도 사이의 깊은 연관성을 보여준다. 특히, 비가환 대수의 곱셈을 효율적으로 구현하려는 실용적 필요와, 텐서 랭크 이론을 통한 하한 증명의 방법론을 동시에 제시한다 점이 큰 의의이다.