[논문 리뷰] Vandermonde varieties and relations among Schur polynomials

Ralf Fröberg, Boris Shapiro|arXiv (Cornell University)|2013. 02. 06.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 3

한 줄 요약

이 논문은 특정한 영점 집합을 갖는 선형 재귀관계와 연결된 대수적 구조인 바르데모네 다항식(variety)을 소개하고, 정규 케이스에서의 자유 해상화, 힐버트 다항식, 차수를 확립한다. 또한 스쿠렘-마허러-레히 정리와 연결된 스슈어 다항식 간의 새로운 관계를 유도하며, 지수 다항식의 정수 영점의 기하학적 구조에 대한 통찰을 제공한다.

ABSTRACT

Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all linear recurrence relations of a given order possessing a non-trivial solution vanishing at a given set of integers. In the regular case, i.e., when the dimension of a Vandermonde variety is the expected one, we present its free resolution, obtain its degree and the Hilbert series. Some interesting relations among Schur polynomials are derived. Many open problems and conjectures are posed.

연구 동기 및 목표

• 주어진 유한 정수 집합에서 0이 되는 선형 재귀관계의 대수적 및 기하학적 구조를 연구하기 위해.
• 재귀관계의 특성근과 관련된 일반화된 바르데모네 행렬로부터 유도되는 결정식 다항식(variety)으로서 바르데모네 다항식 $V_{k;I}$를 정의하고 분석하기 위해.
• 정규 케이스에서 이러한 다항식의 자유 해상화, 차수, 힐버트 다항식을 확립하기 위해.
• 이러한 다항식의 기하학적 구조를 통해 스슈어 다항식 간의 새로운 대수적 관계를 밝혀내기 위해.
• 스쿠렘-마허러-레히 정리에 영감을 받은, 선형 재귀관계의 영점 집합 내 산술적 등차수열 존재 문제와 관련된 열린 문제를 다루기 위해.

제안 방법

• 순서 $k$의 재귀관계 중 주어진 정수 집합 $I$에서 비자명한 해를 갖는 것들을 고려하여, 열린 및 닫힌 선형 재귀 다항식 $V_{k;I}$와 $ar{V}_{k;I}$를 정의한다.
• 특성근 $x_j$와 $i_ u o I$에 대해 항목이 $x_j^{i_ u}$인 일반화된 바르데모네 행렬 $M_{k;I}$를 구성한다.
• $M_{k;I}$의 행렬식이 0이 되는 조건을 이용하여 $V_{k;I}$의 대수적 다항식 구조를 정의하고, 비자명한 해의 존재와 연결한다.
• 교환대수학 및代數기하학 기법을 적용하여 정규 바르데모네 다항식의 자유 해상화, 힐버트 다항식, 차수를 계산한다.
• 이러한 다항식을 정의하는 아이디얼의 구조를 분석함으로써 스슈어 다항식 간의 항등식을 도출한다.
• 컴퓨터 보조 검색을 통해 작은 $k$와 $m$의 경우를 탐색하여 차원, 공집합 여부, 영점 집합 내 산술적 등차수열 존재 여부를 테스트한다.

실험 결과

연구 질문

• RQ1 어떤 쌍 $(k;I)$에 대해 다항식 $V_{k;I}$가 비어 있지 않은가? 그 차원은 얼마인가?
• RQ2 선형 재귀관계의 해가 집합 $I$에서 0이 되면, 어떤 조건에서 무한히 자주 0이 되는가? 특히 산술적 등차수열을 형성하는가?
• RQ3 같은 차수를 갖는 두 개의 산술적 등차수열로 이루어진 집합 $I$가 주어졌을 때, 그에서 0이 되는 해가 반드시 무한한 산술적 등차수열을 갖는가? 이 규칙의 예외는 유한한가?
• RQ4 비퇴직적 선형 재귀관계의 순서 $k$에 대해 정수 영점의 최대 개수는 유계가 되는가? 이러한 영점 집합의 구조는 어떠한가?
• RQ5 바르데모네 다항식의 기하학적 성질과 재귀관계 해의 추가적인 정수 영점 또는 산술적 등차수열 존재 여부 사이의 관계는 무엇인가?

주요 결과

• 정규 바르데모네 다항식의 자유 해상화, 차수, 힐버트 다항식은 명시적으로 계산되었으며, 기대되는 차원 케이스에서 완전한 대수적 기술을 제공한다.
• 다항식 $V_{k;I}$는 $(0,1,3,7)$과 $(0,1,3,9)$ 및 그 이중 쌍을 포함한 특정한 $4$-튜플에서만 공집합이며, 이는 유일한 예외일 가능성이 있다.
• $k=3$, $m=4$일 때, $(0,1,4,6)$와 $(0,1,4,13)$ 쌍은 해가 추가로 6개의 점에서 0이 되도록 강제하며, 이는 산술적 등차수열 생성 메커니즘을 보여준다.
• 4-튜플 $I$에서 두 차수의 값이 일치하면, 해는 반드시 무한히 자주 0이 되지만, 이 조건은 필요조건은 아니며 충분조건 뿐이다.
• 비퇴직적 재귀관계의 순서 $k$에 대해 정수 영점의 최대 개수 $ u_k$에 대한 알려진 하한은 $inom{k+1}{2} - 1$이며, 상한은 이중 지수이다.
• 지수 다항식의 실수 영점이 지수의 실수부가 모두 다를 경우 유한 개이므로, 항의 수에 따라 균일한 상한이 존재하는지에 대한 유사 질문이 제기된다.