[논문 리뷰] Rectangular Scott-type Permanents

Guo-Niu Han, Christian Krattenthaler|ArXiv.org|2000. 03. 13.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 6

한 줄 요약

이 논문은 다항식 $P(x)$ 와 $Q(y)$ 의 근인 $x_i$ 와 $y_j$ 를 갖는 행렬의 직사각형 스코트 유형 행렬식—행렬의 항목이 $1/(x_i - y_j)$ 인 행렬의 행렬식—을 평가하기 위한 일반화된 프레임워크를 제안한다. 카우치, 보르하르트, 라스쿠의 고전적 정리를 확장하여 이러한 행렬식에 대한 닫힌 표현식을 유도하며, 대칭 함수와 다항식 $P$ 및 $Q$ 의 결과식(resultant)을 포함하는 행렬식의 몫으로 표현한다. 이는 다양한 다항식 쌍에 대해 명시적인 평가를 가능하게 하며, 특히 $P(x) = x^n - 1$, $Q(y) = y^{2n} + y^n + 1$ 의 경우 $(-1)^{n+1}n!$ 을 도출한다. 이 방법은 근을 직접 계산하지 않으며, 임의의 차수 $n$ 과 $m$ 에도 적용 가능하다.

ABSTRACT

Let $x_1,x_2,...,x_n$ be the zeroes of a polynomial P(x) of degree n and $y_1,y_2,...,y_m$ be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent $\per(1/(x_i-y_j))_{1\le i\le n, 1\le j\le m}$, here named "Scott-type" permanent, the case of $P(x)=x^n-1$ and $Q(y)=y^n+1$ having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluations of Scott-type permanents, based on generalizations of classical theorems by Cauchy and Borchardt, and of a recent theorem by Lascoux. This continues and extends the work initiated by the first author ("Généralisation de l'identité de Scott sur les permanents," to appear in Linear Algebra Appl.). Our approach enables us to provide numerous closed form evaluations of Scott-type permanents for special choices of the polynomials P(x) and Q(y), including generalizations of all the results from the above mentioned paper and of Scott's permanent itself. For example, we prove that if $P(x)=x^n-1$ and $Q(y)=y^{2n}+y^n+1$ then the corresponding Scott-type permanent is equal to $(-1)^{n+1}n!$.

연구 동기 및 목표

• 다항식 $P(x)$ 와 $Q(y)$ 의 근인 $x_i$ 와 $y_j$ 를 갖는 $n \times m$ 행렬의 직사각형 스코트 유형 행렬식—항목이 $1/(x_i - y_j)$ 인 행렬의 행렬식—을 평가하는 열린 문제를 다루기.
• 이전 증명이 근의 해석적 표현에 의존하는 한계를 극복하기 위해, 근의 구체적 형태에 의존하지 않는 방법을 개발하기.
• 제곱형의 경우($n = m$)에 적용된 대칭 함수 접근법을 일반적인 직사각형 형태($n \neq m$)로 확장하기.
• 다항식 계수에 대해 유리함수로 표현되는 $\text{PER}(P(x), Q(y))$ 의 일반 공식을 유도하며, 이는 대칭 함수 행렬식과 결과식 $\text{Res}(P, Q)$ 의 몫으로 표현된다.
• 스코트의 원래 행렬식 평가와 이전 연구 결과의 일반화를 포함한 다양한 특수 케이스에 대해 명시적인 평가 제공하기.

제안 방법

• 직사각형 행렬과 임의의 다항식 차수를 수용할 수 있도록 카우치의 정리와 보르하르트의 정리를 일반화하기.
• 라스쿠의 대칭 함수 정리의 확장을 통해 근의 초월함수와 기본 대칭함수를 포함하는 행렬식 공식을 유도하기.
• 스코트 유형 행렬식을 $\text{PER}(P,Q) = \frac{\det(\text{대칭 함수})}{\text{Res}(P,Q)}$ 로 표현하며, 결과식이 계수의 유리성 보장하기.
• 특정 다항식 가족에 대해 분자의 행렬식을 계산하기 위해 전문화된 행렬식 평가(예: 보조정리 9, 10, 정리 7, 8)를 적용하기.
• 주요 공식을 $P(x) = x^n - 1$ 과 $Q(y) = y^{2n} + y^n + 1$ 과 같은 다항식에 적용하여 대수적 간소화를 통해 닫힌 표현식 도출하기.
• 주요 결과와 별도의 치환 기반 공식(정리 2)을 조합하여, 치환 $\sigma \in \mathcal{I}(n)$ 에 대한 새로운 합성 항등식 유도하기.

실험 결과

연구 질문

• RQ1 다항식 $P(x)$ 와 $Q(y)$ 의 차수 $n$ 과 $m$ 을 갖는 $n \times m$ 행렬 $\left(\frac{1}{x_i - y_j}\right)$ 의 행렬식의 일반 형태는 무엇인가? 여기서 $x_i$ 와 $y_j$ 는 각각 $P(x)$ 와 $Q(y)$ 의 근이다.
• RQ2 근의 구체적 형태를 알지 못해도, 대칭 함수와 결과식에 의존하여 이러한 행렬식을 어떻게 평가할 수 있는가?
• RQ3 특정 다항식 쌍, 예를 들어 $P(x) = x^n - 1$ 과 $Q(y) = y^{2n} + y^n + 1$ 의 경우, 어떤 닫힌 표현식을 얻을 수 있는가?
• RQ4 스코트의 원래 행렬식 평가($P(x) = x^n - 1$, $Q(y) = y^n + 1$)는 어떻게 일반화되는가?
• RQ5 주요 행렬식 평가와 별도의 치환 기반 공식을 조합함으로써, 어떤 새로운 치환에 대한 합성 항등식을 도출할 수 있는가?

주요 결과

• 스코트 유형 행렬식 $\text{PER}(P(x), Q(y))$ 는 항상 다항식 계수에 대해 유리함수이며, 대칭 함수 행렬식과 결과식 $\text{Res}(P, Q)$ 의 몫으로 표현 가능하다.
• $P(x) = x^n - 1$ 과 $Q(y) = y^{2n} + y^n + 1$ 의 경우, 행렬식은 $(-1)^{n+1}n!$ 으로 평가되며, 이는 스코트의 원래 결과를 일반화한다.
• $P(x) = x^{n-1} + \cdots + x + 1$ 과 $Q(y) = \sum_{\ell=0}^{mn-1}(\ell + a)y^\ell$ 의 경우, 행렬식은 $(-1)^{n-1} \left(a + (m-1)n + 1\right)_{n-1}$ 로 평가되며, 일반화된 닫힌 표현식이다.
• $P(x) = x^{n-1} + \cdots + x + 1$ 과 $Q(y) = \sum_{\ell=0}^{mn-2}(\ell + a)y^\ell$ 의 경우, 행렬식은 $(-1)^{n-1} \frac{(nm - n)_{n-1} (nm + a - 1)^{n-1}}{(mn + a - 1)^n - (a - 1)^n}$ 로 평가되며, 매개변수에 대해 유리적 의존성을 보여준다.
• 주요 결과와 정리 2 를 조합함으로써, 치환 $\sigma \in \mathcal{I}(n)$ 에 대한 새로운 합성 항등식을 도출할 수 있으며, 예를 들어 $\sum_{\sigma} \prod_{(ij)\in\sigma} \frac{1}{(x_i - x_j)^2} \prod_{(k)\in\sigma} \frac{2n + (n+1)x_k}{2x_k^2} = 1$ 이다. 여기서 $x_k$ 는 $n$차 단위근이다.
• 다른 항등식으로는 $\sum_{\sigma} \prod_{(ij)\in\sigma} \frac{1}{(x_i - x_j)^2} \prod_{(k)\in\sigma} \frac{1 - n + (3 + n)x_k}{2(1 + x_k)x_k} = \frac{(n+1)!}{2}$ 이며, 이는 홀수인 $n$ 에 대해 성립한다. 다시 한번 $x_k$ 는 $n$차 단위근이다.