[논문 리뷰] Irreducible Function Bases of Isotropic Invariants of A Third Order Three-Dimensional Symmetric and Traceless Tensor

Yannan Chen, Shenglong Hu외 2명|arXiv (Cornell University)|2017. 12. 06.

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

한 줄 요약

이 논문은 3차 3차원 대칭 비트레이스 텐서의 임의의 최소 무결성 기저가 다항식 사이지 제관계가 없는 4개의 불변량—특히 차수 2, 4, 6, 10의 불변량—사이에서 대수적으로 독립인 무결성 기저이기도 하다는 것을 증명한다. 이 결과는 이러한 불변량이 정규직교군 작용 하에서 최소이자 대수적으로 독립적인 등방성 불변량 집합을 이룬다는 것을 확립한다.

ABSTRACT

Third order three-dimensional symmetric and traceless tensors play an important role in physics and tensor representation theory. A minimal integrity basis of a third order three-dimensional symmetric and traceless tensor has four invariants with degrees two, four, six and ten respectively. In this paper, we show that any minimal integrity basis of a third order three-dimensional symmetric and traceless tensor is also an irreducible function basis of that tensor, and there is no polynomial syzygy relation among the four invariants of that basis, i.e., these four invariants are algebraically independent.

연구 동기 및 목표

• 3차 3차원 대칭 비트레이스 텐서의 최소 무결성 기저가 무결성 기저이기도 한지 확인하는 것.
• 이러한 기저의 불변량들 사이에 다항식 사이지 제관계가 존재하는지 조사하는 것.
• 차수 2, 4, 6, 10의 네 개의 기본 불변량의 대수적 독립성을 확립하는 것.
• 텐서 불변량 이론의 통찰을 O(3)-안정성과 있는 기본 텐서 공간으로 일반화하는 것.
• 대칭 비트레이스 텐서 시스템에서 무결성 기저와 무결성 기저 간의 구조적 관계를 명확히 하는 것.

제안 방법

• 정규직교군 O(3)의 3차 대칭 비트레이스 텐서 공간에 대한 작용에 초점을 맞춘 군 표현 이론을 활용한다.
• 유한차원 실수 벡터 공간에 대한 컴acts군 작용 하에서 함수 기저의 원소 수에 대한 일반적 상한을 적용한다.
• 불변량의 기울기 벡터들의 선형독립성을 증명하기 위해 야코비안 행렬식 기준을 사용한다. 이는 대수적 독립성을 암시한다.
• 불변량들 사이에 비자명한 사이지 제관계가 존재한다고 가정하고, 그 다항식이 항등적으로 0이 되는 것으로 도출함으로써 모순을 유도한다.
• 다른 최소 무결성 기저 간의 사이지 제관계를 다항식 사상으로 변환하여, 한 기저에서 사이지 제관계가 존재하면 Smith-Bao 기저에서도 존재함을 보인다.
• Smith-Bao(1997)의 최소 무결성 기저에 대한 기존 결과를 바탕으로, 기저의 무결성과 독립성을 증명한다.

실험 결과

연구 질문

• RQ1 3차 3차원 대칭 비트레이스 텐서의 임의의 최소 무결성 기저는 항상 무결성 기저인가?
• RQ2 최소 무결성 기저 내의 차수 2, 4, 6, 10의 네 개의 불변량 사이에 다항식 사이지 제관계가 존재하는가?
• RQ3 최소 무결성 기저 내의 불변량들은 실수 위에서 대수적으로 독립적인가?
• RQ4 텐서 공간의 차원과 군 작용의 차원 간의 차이로 인해 등방성 불변량의 함수 기저의 원소 수에 하한을 설정할 수 있는가?
• RQ5 최소 무결성 기저의 기저 교환 상황에서 사이지 제관계는 어떻게 행동하는가?

주요 결과

• 3차 3차원 대칭 비트레이스 텐서의 임의의 최소 무결성 기저는 또한 무결성 기저이다.
• 차수 2, 4, 6, 10의 네 개의 불변량은 대수적으로 독립적이며, 이들 사이에 비자명한 다항식 사이지 제관계가 없다.
• Smith-Bao 최소 무결성 기저(차수 2, 4, 6, 10의 불변량 포함)는 대수적으로 독립적이다.
• 증명은 불변량의 기울기 사상의 야코비안 행렬식이 0이 아니라는 데 기반하며, 이는 기울기 벡터들의 선형독립성을 암시한다.
• 어느 최소 무결성 기저에서라도 사이지 제관계가 존재한다면 Smith-Bao 기저에서도 존재하게 되며, 이는 불가능하므로 사이지 제관계는 존재하지 않는다.
• 결과적으로 최소 무결성 기저가 단지 완전할 뿐 아니라 대수적 의미에서 최소이기도 하며, 중복 관계가 없음을 확인한다.