[논문 리뷰] Permanents and Determinants, Weighted Isobaric Polynomials, and Integer Sequences

Huilan Li, Trueman MacHenry|arXiv (Cornell University)|2012. 09. 20.

Advanced Mathematical Theories and Applications참고 문헌 22인용 수 12

한 줄 요약

이 논문은 가중 이소바릭 다항식(WIPs), 행렬식, 그리고 헤센베르크 행렬의 행렬식과 행렬식 간의 새로운 연결 고리를 확립하며, 모든 WIP가 어떤 행렬의 행렬식으로도, 다른 행렬의 행렬식으로도 나타남을 보여준다. 또한 모든 선형 재귀 정수 수열—피보나치, 루카스, 카탈란, 스티어링, 체비세프 수열 등—이 WIP 수열의 평가를 통해 표현될 수 있음을 보이며, 기본 대칭 다항식 기저에서 대칭 다항식을 통해 이들의 대수적 구조를 통합한다.

ABSTRACT

In this paper we construct two types of Hessenberg matrices with the property that every weighted isobaric polynomial (WIP) appears as a determinant of one of them, and as the permanent of the other. Every integer sequence which is linearly recurrent is representable by (an evaluation of) some linearly recurrent sequence of WIPs. WIPs are symmetric polynomials written in the elementary symmetric polynomial basis. Among them are the generalized Fibonacci polynomials and the generalized Lucas polynomials, which already have these sweeping representation properties. Among the integer sequences discussed are the Chebyshev polynomials of the 2nd kind, the Stirling numbers of the 1st and 2nd kind, the Catalan numbers, and the triangular numbers, as well as all sequences which are either multiplicative arithmetic functions or additive arithmetic functions. 1 1

연구 동기 및 목표

• 가중 이소바릭 다항식(WIPs)과 행렬식, 행렬식 등의 행렬 불변량 사이의 구조적 연결 고리를 확립하는 것.
• 모든 선형 재귀 정수 수열이 선형 재귀 WIP 수열의 평가로 표현될 수 있음을 보이는 것.
• 피보나치, 카탈란, 스티어링, 체비세프 수와 같은 다양한 정수 수열을 대칭 다항식을 사용한 동일한 대수적 프레임워크로 통합하는 것.
• WIPs가 일반화된 피보나치 및 루카스 다항식을 포함하고 있으며, 정수 수열의 재귀적 구조를 자연스럽게 코딩함을 보여주는 것.

제안 방법

• 주어진 WIP가 어떤 행렬의 행렬식이 되고, 다른 행렬의 행렬식이 되는 두 가닥의 헤센베르크 행렬을 구성하는 것.
• WIPs를 기본 대칭 다항식 기저에서 대칭 다항식으로 표현하여 대수적 조작과 수열 생성을 가능하게 하는 것.
• WIP 수열의 선형 재귀 성질을 활용하여 이러한 다항식의 평가를 통해 정수 수열을 생성하는 것.
• 다항식의 이소바릭 성질을 활용하여 항들 간의 일관된 차수와 무게 분포를 보장하는 것.
• 행렬 구성 기법을 적용하여 제2종 체비세프 다항식과 두 종류의 스티어링 수를 복원하는 것.
• 곱셈적 및 덧셈적 산술 함수가 WIP 수열의 평가를 통해 표현될 수 있음을 보여주는 것.

실험 결과

연구 질문

• RQ1 모든 가중 이소바릭 다항식이 어떤 헤센베르크 행렬의 행렬식으로도, 다른 헤센베르크 행렬의 행렬식으로도 실현될 수 있는가?
• RQ2 기본 대칭 다항식 기저에서의 WIPs가 어떻게 선형 재귀 정수 수열을 생성하는가?
• RQ3 대칭 다항식은 피보나치, 카탈란, 스티어링 수와 같은 수열을 통합하는 데 어떤 역할을 하는가?
• RQ4 헤센베르크 행렬의 구조를 체계적으로 활용하여 행렬식 및 행렬식 연산을 통해 정수 수열을 인코딩하고 복원할 수 있는가?
• RQ5 WIP 수열은 곱셈적 및 덧셈적 산술 함수의 재귀 관계를 자연스럽게 담고 있는가?

주요 결과

• 모든 가중 이소바릭 다항식은 특정 헤센베르크 행렬의 행렬식으로도, 다른 헤센베르크 행렬의 행렬식으로도 나타나며, 이는 이중 행렬 표현을 확립한다.
• 피보나치, 루카스, 제2종 체비세프 다항식 등 모든 선형 재귀 정수 수열이 WIP 수열의 평가로 표현될 수 있음이 입증된다.
• 일반화된 피보나치 및 루카스 다항식은 재귀 관계를 내재적으로 코딩하고 있는 특수한 WIP의 경우로 밝혀진다.
• 제1종 및 제2종 스티어링 수, 카탈란 수, 삼각수는 모두 WIP 수열의 평가로 표현될 수 있음이 입증된다.
• 곱셈적 및 덧셈적 산술 함수는 WIP 수열의 평가를 통해 표현 가능하며, 이는 광범위한 적용 가능성을 보여준다.
• WIPs의 기본 대칭 다항식 기저를 사용함으로써 다양한 정수 수열을 위한 통합된 대수적 프레임워크를 확립할 수 있다.