크로네커 차이 연산: 역연산과 텐서 분해의 새로운 시각

초록

본 논문은 행렬의 크로네커 합에 대한 역연산인 “크로네커 차이”를 정의하고, 이를 크로네커 몫과의 일대일 대응 관계를 구축한다. 균일성 조건을 도입해 차이 연산의 대수적 성질을 정리하고, 선형성을 만족하는 차이에 대해 텐서 형태의 정규표현을 제시한다. 결과적으로 크로네커 차이는 부분 행렬 트레이스의 차이로 표현될 수 있음을 보이며, 텐서 분해에 대한 비선형적 관점을 제공한다.

상세 분석

논문은 먼저 기존의 크로네커 곱 ⊗와 그 역연산인 크로네커 몫 ⊘(right quotient)를 복습하고, 이를 기반으로 새로운 연산인 크로네커 차이 ⊖를 정의한다. 정의 3에 따르면 (A⊕B)⊖B=A 를 만족하는 연산이며, 여기서 ⊕는 A⊕B=A⊗I_n+I_m⊗B 로 정의된 크로네커 합이다. 중요한 점은 정의 4에서 ⊖를 ⊘를 이용해 M⊖B:=(M−I_m⊗B)⊘I_n 로 구성함으로써 두 연산 사이의 직접적인 변환 관계를 제시한다. 이는 “차이 = 몫(정규화된 차) ”라는 직관을 수식적으로 구현한다는 의미다.

균일성(uniform) 개념을 도입해 연산들의 상호작용을 정형화한다. 균일한 크로네커 몫은 (A⊗C)⊘B=A⊗(C⊘B) 와 같은 분배법칙을 만족하고, 이는 곧 균일한 차이 ⊖도 (A⊕C)⊖B=A⊕(C⊖B) 를 만족함을 Proposition 1이 증명한다. 이를 통해 차이 연산이 선형성(D3)·(D4) 등을 부분적으로 보존함을 확인한다.

다음으로 논문은 크로네커 차이의 선형성 조건을 가정하고, δ(A,B):=A⊖B 라는 이중 입력 선형 사상을 도입한다. Proposition 3과 Theorem 1에서 δ는 텐서 α∈F^{m×n×m} 를 이용한 트레이스 형태, δ(A,B)=tr_{12}(α^T (A⊗I_m−I_m⊗B⊗I_m)), 로 완전히 기술된다. 여기서 tr_{12}는 첫 두 차원에 대한 부분 트레이스를 의미한다. α는 기본 텐서 E_{ij}⊗E_{11}⊗E_{ji}와 추가 자유도 γ (tr₂(γ)=0) 로 분해되며, γ는 차이 연산의 비선형적 자유도를 담당한다. 즉, 모든 균일 차이는 기본적인 “행렬 차이의 트레이스”와 γ에 의한 보정의 합으로 표현된다.

Theorem 2는 특수 경우(특히 char(F)∤n)를 고려해 α에 1/n 스케일을 곱함으로써 동일한 표현을 얻으며, 이는 차이 연산이 필드의 특성에 민감함을 보여준다. 또한 Lemma 2와 3을 통해 차이 연산의 전치·트레이스·결합 법칙이 0 행렬을 기준으로 귀결됨을 증명한다. 이러한 결과는 차이 연산이 실제 계산에서 “A−I_m⊗B” 형태의 행렬을 0에 대해 차이 연산을 적용하는 것과 동등함을 의미한다.

전체적으로 논문은 크로네커 차이를 기존의 크로네커 몫과 연결시키고, 균일성 및 선형성 조건 하에서 텐서 기반의 정규형을 제시함으로써, 차이 연산이 단순히 역연산이 아니라 텐서 분해와 부분 트레이스의 조합이라는 새로운 해석을 제공한다. 이는 기존의 선형 텐서 분해(예: CP, Tucker)와는 다른 비선형적 관점을 열어주며, 특히 행렬 방정식 B X+X Aᵀ=Y 의 벡터화 형태와 연계된 응용 가능성을 시사한다.