[논문 리뷰] Canonical forms of small tensors over F_2

Murray R. Bremner, Jiaxiong Hu|arXiv (Cornell University)|2012. 06. 22.

Tensor decomposition and applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 유한체 𝔽₂ 위에서 작은 다차원 배열에 대한 정규형과 텐서 랭크를 계산하며, 3차원 형식은 최대 6×2×2까지, 4차원 형식은 최대 3×2×2×2까지 다룹니다. GL 군에 의한 군 작용 궤도와 사전순서 최소화를 이용하여 최대 텐서 랭크가 6임을 확인하고, 𝔽₂ 위의 3×3×3 텐서가 랭크 6을 달성할 수 있으며, 이에 대해 세 가지 서로 다른 정규형이 존재함을 밝힙니다.

ABSTRACT

We consider multidimensional arrays with at most 27 entries over the field with two elements, and their equivalence classes for the action of the direct product of general linear groups. The possible 3-dimensional formats are p x 2 x 2 (p = 2, ..., 6), p x 3 x 2 (p = 3, 4), and 3 x 3 x 3; the possible 4-dimensional formats are p x 2 x 2 x 2 (p = 2, 3). In each case, we compute the orbits for the group action, and then we determine the rank of each orbit. In particular, we determine the maximum rank for these arrays over F_2.

연구 동기 및 목표

• 일반선형군 작용 하에서 𝔽₂ 위의 작은 텐서의 정규형을 분류하기 위해.
• 최대 27개의 원소를 가진 3차원 및 4차원 텐서 형식에 대해 궤도 수와 그 랭크를 계산하기 위해.
• 특히 3×3×3 및 3×2×2×2 배열에 대해 𝔽₂ 위에서 가능한 최대 텐서 랭크를 결정하기 위해.
• 군 대칭성과 사전순서 정렬을 활용하여 Maple을 사용한 완전한 계산 분석을 제공하기 위해.
• 특히 𝔽₂ 위에서 양의 특성에서의 텐서 랭크 경계에 대한 열린 문제를 해결하기 위해.

제안 방법

• 최대 27개의 원소를 가진 𝔽₂ 위의 다차원 배열로 텐서를 표현하고, 사전순서 평탄화를 통해 정수로 인코딩합니다.
• GL(V₁) × ⋯ × GL(Vₙ)의 직접곱 군 작용을 적용하여 텐서를 궤도로 분류합니다.
• 텐서의 정규형을 이 군 작용 하에서 궤도 내 사전순서로 가장 작은 원소로 정의합니다.
• 고메모리 시스템에서 Maple 16을 사용하여 크기 제한 내 모든 텐서 형식에 대해 궤도와 랭크를 계산하기 위해 계산적 순열을 수행합니다.
• 대칭성 감소를 위해 '작은 군'(GL의 직접곱)과 '큰 군'(동일한 차원을 가진 인자들의 순열 포함) 작용을 구분합니다.
• 정규형 식별 후 단순 텐서로의 최소 분해를 확인하여 랭크를 검증합니다.

실험 결과

연구 질문

• RQ1 𝔽₂ 위의 3×3×3 텐서에서 달성 가능한 최대 텐서 랭크는 무엇입니까?
• RQ2 𝔽₂ 위의 3×3×3 텐서 중 최대 랭크를 가지는 경우, 서로 다른 정규형은 몇 개인가요?
• RQ3 𝔽₂ 위에서 4×3×2 및 5×2×2 형식의 3차원 형식에 대한 정규형과 궤도 수는 무엇입니까?
• RQ4 𝔽₂ 위의 3×2×2×2 형식의 4차원 텐서에서 최대 랭크는 무엇입니까?
• RQ5 대칭 텐서 형식에 대해 작은 군 작용과 큰 군 작용의 궤도 구조는 어떻게 다릅니까?

주요 결과

• 𝔽₂ 위에서 최대 텐서 랭크는 6이며, 이는 3×3×3 텐서에서 달성되며, 이 랭크를 가지는 서로 다른 정규형이 세 개인 것으로 확인되었습니다.
• 3×3×3 텐서의 경우, 작은 군 작용 하에서 56개의 궤도가 존재하며, 최대 랭크가 6로 확인되었습니다.
• 3×2×2×2 형식에서는 최대 랭크가 6이며, 큰 군 작용 하에서 213개의 궤도가 존재합니다.
• 4×3×2 텐서의 경우 최대 랭크는 5이며, 이 랭크를 달성하는 서로 다른 정규형이 네 개 존재합니다.
• 3×3×2 텐서의 경우 최대 랭크는 5이며, 이 랭크를 달성하는 정규형이 하나 존재합니다.
• 2×2×2 형식은 최대 랭크 3을 가지며, 궤도가 8개이고 최대 랭크를 가지는 정규형이 3개 존재합니다.