[논문 리뷰] Invertibility of Submatrices of Pascal's Matrix and Birkhoff Interpolation

Scott N. Kersey|arXiv (Cornell University)|2013. 03. 25.

Advanced Topics in Algebra참고 문헌 5인용 수 4

한 줄 요약

이 논문은 2점 보간 이론의 관점에서 파스칼 행렬의 부분행렬의 가역성에 대한 필요충분조건을 확립한다. 가역성은 도함수 평가 점들의 입사 행렬에 대한 폴리아 조건과 동치임을 보이며, 0과 1에서의 도함수 기반 함수형에 의한 일반화된 바르마이어 행렬식으로 고전적 바르마이어 행렬식을 일반화한다.

ABSTRACT

The infinite upper triangular Pascal matrix is $T = [\binom{j}{i}]$ for $0\leq i,j$. It is easy to see that any leading principle square submatrix is triangular with determinant $1$, hence invertible. In this paper, we investigate the invertibility of arbitrary square submatrices $T_{r,c}$ comprised of rows $r=[r_0,\ldots,r_m]$ and columns $c=[c_0,\ldots,c_m]$ of $T$. We show that $T_{r,c}$ is invertible iff $r \leq c$ (i.e., $r_i \leq c_i$ for $i=0, \ldots, m$), or equivalently, iff all diagonal entries are nonzero. To prove this result we establish a connection between the invertibility of these submatrices and polynomial interpolation. In particular, we apply the theory of Birkhoff interpolation and \polya{} systems.

연구 동기 및 목표

• 부분행렬의 가역성을 보간 이론을 통해 특성화하기.
• 이러한 부분행렬의 구조를 0과 1에서의 도함수 기반 함수형으로 정의된 일반화된 바르마이어 시스템과 연결하기.
• 보간 이론에서 입사 행렬을 통해 가역성에 대한 필요충분조건을 규명하기.
• 해결 가능성 보장에 있어 폴리아 조건의 역할을 체계화하기.
• 고전적 바르마이어 행렬식 결과를 고차 도함수 기반 보간 설정으로 확장하기.

제안 방법

• 입사 행렬 E를 2×(n+1) 이진 행렬로 정의하며, 정확히 n+1개의 1을 포함하여 δxiDj 함수형 중 어떤 것이 포함되는지를 나타낸다.
• 누적 열 합 Mj = ∑i=0^1 ∑k=0^j eik 를 도입하여, 열 j까지 포함된 함수형의 수를 추적한다.
• 폴리아 조건 적용: 모든 j = 0에서 m까지 Mj > j 를 만족시키며, 이는 보간 시스템의 유일한 해가 존재함을 보장한다.
• 보간 행렬 ΛT의 가역성과 폴리아 조건 간의 동치성을 활용한다.
• 페르거슨(1969), 폴리아(1931), 휠리커(1935)의 결과를 활용하여 주요 정리를 증명한다.
• 행 인덱스 r과 열 인덱스 c를 통해 파스칼 행렬의 부분행렬 선택을 바이르호프 보간 문제로 매핑하며, Er,¯c 를 보간 시스템의 입사 행렬로 정의한다.

실험 결과

연구 질문

• RQ1 파스칼 행렬의 부분행렬이 어떤 조건에서 가역해지는가?
• RQ2 0과 1에서의 도함수 기반 함수형의 구조가 이러한 부분행렬의 가역성에 어떤 영향을 미치는가?
• RQ3 입사 행렬은 2점 바이르호프 보간 문제의 해법 특성화에 어떤 역할을 하는가?
• RQ4 도함수 평가의 배치에 대해 가역성을 보장하는 조합적 조건이 존재하는가?
• RQ5 폴리아 조건은 보간 행렬의 질량과 행렬식과 어떤 관련이 있는가?

주요 결과

• 파스칼 행렬의 부분행렬 Tr,¯c 는 유일하게 해당 입사 행렬 Er,¯c 가 폴리아 조건 Mj > j (모든 j = 0, ..., m에 대해)를 만족할 때에만 가역적이다.
• 누적 열 합 Mj 는 열 j까지 포함된 함수형 δxiDj 의 수를 세며, 폴리아 조건은 각 단계에서 충분한 기능적 커버리지가 이루어짐을 보장한다.
• 입사 행렬 접근법을 통해 도함수 평가 집합 중 어떤 것이 가역적 보간 시스템을 유도하는지 체계적으로 분류할 수 있다.
• 결과는 0과 1에서의 고차 도함수 기반 보간으로 일반화된 고전적 바르마이어 행렬식 이론을 확장한다.
• 폴리아 조건은 보간 행렬 ΛT 의 가역성에 대해 필수적이고 충분한 조건이며, 이는 파스칼 행렬의 부분행렬에 해당한다.
• 논문은 폴리아 조건이 2점 바이르호프 보간 문제에서 유일한 해가 존재하는 것과 동치임을 확인한다. 이 문제는 Πn 공간에서 정의된다.