절대비특이 텐서의 비동등성 판별을 위한 기하학적 불변량

논문은 먼저 텐서 데이터 분석에서 텐서의 순위(rank)와 최대 순위(maxrank)의 중요성을 언급하며, 특히 n×n×p 형태의 텐서에 대해 절대비특이 텐서라는 특수 클래스를 정의한다. 절대비특이 텐서는 모든 비영벡터 x에 대해 선형 결합 x₁A₁+…+x_pA_p가 비특이 행렬이 되므로, 그 행렬식은 차수 n의 동차 다항식 f_T(x)이며, 절대비특이성은 f_T가 양정(또는 음정) 정의임을 의미한다. 다음으로 텐서의 동등성 개념을 도입한다. p‑변환, q‑변환, r‑변환이라는 세 종류의 행렬 변환을 정의하고, 이들의 조합을 통해 GL(p)‑동등성(또는 SL(p)‑동등성)을 정의한다. 정리 1.9에 따르면 두 텐서가 GL(p)‑동등이면 존재 행렬 P, Q, R이 있어 A_i^{(2)} = P(∑_j r_{ij}A_j^{(1)})Q 를 만족한다. 그러나 이 연립 방정식은 변수 수가 많아 실제 해를 구하기 어렵다. 따라서 저자는 행렬식 다항식의 변환 관계를 이용해 문제를 축소한다. 명제 1.11에 따르면 GL(p)‑동등이면 f_{T₂}(x)=c·f_{T₁}(xR) (c∈ℝ, R∈GL(p))가 성립한다. 이를 다시 정규화하면 SL(p)‑동등성 검증으로 변환된다. 즉, 두 텐서가 동등하면 그 행렬식 다항식의 등고면 ∂Ω_T={x|f_T(x)=1}이 선형 변환에 의해 서로 대응한다. 그 다음, 저자는 ∂Ω_T의 기하학적 특성을 분석한다. 구면 좌표 (s,t)와 반지름 r을 이용해 x = r·Φ(s,t) 로 파라미터화하고, r⁴ = 1/p(s,t) (p(s,t)=f_T(Φ(s,t))) 를 얻는다. 정리 2.7은 ∂Ω_T가 컴팩트하고 자기교차가 없으며 별형임을 증명한다. 기하학적 불변량으로는 다음을 선택한다. (1) 상수면이 둘러싼 부피 V(T) – SL(p)‑불변. (2) 아핀 면적 A_aff(T) – 전통적인 아핀 기하학에서 정의된 불변량. (3) L_p‑아핀 면적 A_{p}(T) – Lutwak이 제안한 일반화된 불변량으로, p=2일 때는 전통 아핀 면적과 일치한다. 이들 불변량은 각각 첫·두 기본 형식, 평균·가우시안 곡률, 그리고 곡률 함수의 적분 형태로 계산된다. 수치 계산 방법으로는 두 가지를 제시한다. 첫 번째는 구면 위에 균등 격자점을 배치하고 사다리꼴 법칙으로 적분하는 격자법; 두 번째는 구면 t‑디자인을 이용해 고차 정확도를 확보하는 방법이다. 논문은 20‑디자인을 사용했으며, 격자법이 더 작은 오차와 안정성을 보였음을 실험적으로 확인한다. 실험에서는 4×4×3 절대비특이 텐서 237개 중 대표적인 8개를 선택해 각 텐서의 행렬식 다항식을 전개하고, 위에서 정의한 세 불변량을 계산하였다. 결과는 서로 다른 텐서 쌍 사이에서 부피·아핀 면적·L₂‑아핀 면적 값이 모두 달라, 따라서 GL(3)‑동등이 아님을 확정한다. 반대로, 동일한 불변량을 가진 텐서 쌍은 실제로 변환 행렬 R을 찾아 동등함을 확인하였다. 마지막으로 논문은 이 방법이 n=4, p=3에 국한되지 않고, 차수와 차원에 따라 일반화될 수 있음을 논의한다. 특히, 절대비특이 텐서가 존재하기 어려운 고차원 경우에도, 행렬식 다항식의 등고면을 정의하고 동일한 기하학적 불변량을 계산하면 동등성 검증이 가능하다는 점을 강조한다. 결론적으로, 절대비특이 텐서의 동등성 판별을 “행렬식 다항식 → 등고면 → 기하학적 불변량”이라는 흐름으로 전환함으로써, 복잡한 대수 방정식 풀이를 회피하고 실용적인 수치 검증 도구를 제공한다는 것이 본 연구의 핵심 공헌이다.