[논문 리뷰] Analogue of the identity Log Det = Trace Log for resultants

A. Yu. Morozov, Sh. Shakirov|ArXiv.org|2008. 04. 29.

Neural Networks and Applications참고 문헌 16인용 수 11

한 줄 요약

이 논문은 행렬식의 log det = trace log 항등식을 행렬식에서 결과식(resultants)으로 일반화하여, 일반화된 이동 연산자의 거듭제곱의 트레이스를 통한 다차원 결과식에 대한 다항식 공식을 제공한다. 핵심 기여는 결과식 $ R_{r_1,\ho_2,\ho_3} $ 를 트레이스에 대한 셀러 다항식으로 표현함으로써, 경로 합(sum-over-paths) 표현과 적분 공식을 통해 고차수 시스템, 예를 들어 21,894개의 항을 가진 $ R_{2,2,2} $ 에 대해서도 명시적인 계산이 가능하게 한다.

ABSTRACT

Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Because of this, resultants are important special functions of upcoming non-linear physics and begin to play a role in various topics related to string theory. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. To cure this problem, we generalize the well-known identity Log Det = Trace Log from determinants to resultants. The generalized identity allows to obtain explicit polynomial formulas for multidimensional resultants: for any number of variables, resultant is given by a Schur polynomial. We also give several integral representations for resultants, as well as a sum-over-paths representation.

연구 동기 및 목표

• 다변수 시스템, 특히 두 개 이상의 변수를 가진 시스템에 대해 다차원 결과식에 대한 명시적 다항식 공식이 부족한 문제를 해결하기 위해.
• 결과식을 행렬식의 비선형 대체물로 삼아, 잘 알려진 항등식 $ \log \det = \operatorname{trace} \log $ 이 선형 시스템에서 비선형 시스템으로 어떻게 확장될 수 있는지 연구하기 위해.
• 특히 $ R_{2,2,2} $ 와 같은 결과식에 대해, 일반화된 이동 연산자의 거듭제곱의 트레이스를 이용한 구조적이고 계산 가능한 표현을 제공하기 위해.
• 결과식이 트레이스에 대한 셀러 다항식임을 입증하여, 비선형 대수기하학과 물리학에 새로운 대수적 구조를 제공하기 위해.
• 결과식의 적분 및 경로 합 표현을 도출하여, 새로운 계산적 및 물리적 응용 가능성을 열기 위해.

제안 방법

• 일반화된 이동 연산자가 동차 다항식에 작용하도록 함으로써, 항등식 $ \log \det(I - f) = \operatorname{trace} \log(I - f) $ 를 결과식으로 일반화한다.
• 일반화된 이동 연산자의 거듭제곱의 트레이스인 $ T_k $ 를 정의하며, 이는 시스템 계수의 대칭 함수로 작용한다.
• 대칭 다항식과 표현 이론의 구조를 이용하여 결과식 $ R_{r_1,\dots,r_n} $ 을 트레이스 $ T_k $ 에 대한 셀러 다항식으로 표현한다.
• 셀러 다항식을 격자 경로 위의 생성함수로 해석함으로써 결과식에 대한 경로 합(sum-over-paths) 표현을 유도한다.
• 비선형 상호작용 항을 가진 가우시안 유사 기능적 적분에 시스템을 통합함으로써 결과식의 행렬 적분 표현을 구성한다.
• 결과식 간의 재귀 관계를 이용해 트레이스 $ T_k $ 를 도출하며, 이는 입력 다항식 계수에 대한 다항식이다.

실험 결과

연구 질문

• RQ1 다변수 비선형 시스템에서 행렬식의 항등식 $ \log \det = \operatorname{trace} \log $ 이 결과식으로 일반화될 수 있는가?
• RQ2 예를 들어 $ R_{2,2,2} $ 와 같은 다차원 결과식에 대해, 일반화된 연산자의 거듭제곱의 트레이스로 표현할 수 있는 다항식 공식이 존재하는가?
• RQ3 결과식이 트레이스에 대한 셀러 다항식으로 표현될 수 있으며, 이는 결과식의 대수적 구조에 어떤 의미를 갖는가?
• RQ4 결과식의 적분 및 경로 합 표현은 무엇이며, 이는 계산 또는 물리적 해석에 어떻게 기여하는가?
• RQ5 결과식의 재귀적 구조는 트레이스 $ T_k $ 를 체계적으로 계산하고 결과식을 재구성하는 데 어떻게 활용될 수 있는가?

주요 결과

• 결과식 $ R_{2,2,2} $ 는 트레이스 $ T_k $ 에 대한 셀러 다항식으로 표현되며, 총 12개의 항을 포함한 간결한 공식을 지니지만, 결과식 자체는 21,894개의 단항식을 포함한다.
• 일반화된 이동 연산자는 트레이스 $ T_k $ 를 구성할 수 있으며, 이는 입력 다항식 계수의 대칭 다항식이 되고, 이러한 트레이스는 셀러 다항식을 통해 결과식을 생성한다.
• 결과식 $ R_{2,2,2} $ 는 $ \{ -T_k/k \} $ 에 대한 다항식으로 명시적으로 계산되며, 세 개의 이차형식 계수에 대한 12차 동차 다항식이 된다.
• 경로 합 표현은 결과식을 격자 경로 위의 생성함수로 해석하는 조합론적 해석을 제공하며, 양자역학의 파이먼 경로 적분과 유사하다.
• 비가우시안 상호작용을 가진 기능적 적분에 결과식을 통합함으로써 행렬 적분 표현을 도출하였으며, 이는 비선형 시스템에 대해 가우시안 적분 접근을 일반화한 것이다.
• 직접 전개 시 항의 지수적 증가를 피하기 위해, 트레이스와 대칭 다항식을 통해 결과식을 압축된 대수적 형태로 표현함으로써 성공적으로 해결하였다.