[논문 리뷰] Coefficientwise total positivity of some matrices defined by linear recurrences

Xi Chen, Bishal Deb외 3명|arXiv (Cornell University)|2020. 12. 07.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 선형 재귀로 정의된 다항식의 하삼각 행렬을 갖는 여섯 매개변수를 가진 행렬을 소개하며, 계수별로 완전히 양성임을 추측한다. 저자들은 특수한 경우인 $\bm{T}(a,c,0,e,0,0)$에 대해 계수별 완전 양성성을 증명하였으며, 이는 반전된 스틸링 부분집합 삼각형을 일반화하고 오일러 삼각형 및 스틸링 삼각형과 같은 조합 행렬의 완전 양성성을 통합적으로 이해할 수 있는 프레임워크를 제공한다.

ABSTRACT

We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the coefficientwise total positivity of $T(a,c,0,e,0,0)$, which includes the reversed Stirling subset triangle.

연구 동기 및 목표

• 선형 재귀로 정의된 광범위한 조합 행렬 클래스에 대해 계수별 완전 양성성을 확립하기 위해.
• 청소 오일러 삼각형과 반전된 스틸링 부분집합 삼각형을 특수한 경우로 포함하는 통합 프레임워크를 제공하기 위해.
• 더 일반적인 추측의 특수한 경우를 증명하여 오랜 기간 동안 남아 있던 청소 오일러 삼각형과 반전된 스틸링 부분집합 삼각형에 대한 완전 양성성 추측을 해결하기 위해.
• 계수별 순서를 사용하여 다항식 원소를 가진 행렬로 완전 양성의 개념을 확장하기 위해.
• 특수한 경우에서 완전 양성성의 구조적 증명을 뒷받침하는 집합 분할과 격자 경로 사이의 이항관계를 증명하기 위해.

제안 방법

• 다항식 계수를 갖는 하삼각 행렬 $\bm{T}(a,c,d,e,f,g)$를 선형 재귀를 통해 정의한다: $T(n,k) = [a(n-k)+c]T(n-1,k-1) + (dk+e)T(n-1,k) + [f(n-k)+g]T(n-1,k+1)$, 초기 조건 $T(0,k) = \delta_{k0}$.
• 계수별 완전 양성성의 개념을 도입한다: 다항식 원소를 가진 행렬이 모든 소행렬식이 비음수 계수를 갖는 다항식이면 계수별로 완전히 양성이다.
• 집합 분할과 격자 경로 사이의 조합적 이항관계를 사용하여 $\bm{T}(a,c,0,e,0,0)$의 계수별 완전 양성성을 증명한다.
• 집합 분할 $\Pi_{n+1,n-k+1}$에서 격자 경로 $\mathsf{P}_{n,k}$로의 사상 $\Phi_{n,k}$를 구성하며, 블록에 원소를 순차적으로 삽입하는 재귀적 방법을 통해 이가 이항임을 보인다.
• 원소 삽입 순서와 블록 구조에 기반한 경로 단어 $W(\pi)$를 정의하며, 블록 행동에 해당하는 문자 $e_{i,l}, a_{i,0,l}, a_{i,j,l}$를 사용한다.
• 경로 단어가 유효한 격자 경로에 대응함을 보장하는 조건을 확인하고, 역 구조가 원래 분할을 복원함을 보인다.

실험 결과

연구 질문

• RQ1 일반적인 여섯 매개변수 행렬 $\bm{T}(a,c,d,e,f,g)$는 계수별로 완전히 양성인가?
• RQ2 특수한 경우 $\bm{T}(a,c,0,e,0,0)$는 계수별로 완전히 양성인가? 그리고 이를 조합적으로 증명할 수 있는가?
• RQ3 청소 오일러 삼각형과 반전된 스틸링 부분집합 삼각형은 이 행렬의 특수화로 복원될 수 있으며, 이는 그들의 완전 양성성을 암시하는가?
• RQ4 이러한 행렬의 소행렬식에 대한 조합적 해석은 격자 경로와 집합 분할을 통해 가능할까?
• RQ5 집합 분할과 격자 경로 사이의 이항관계는 더 넓은 범위의 재귀로 정의된 행렬에 대해 완전 양성성을 증명하는 데 사용될 수 있는가?

주요 결과

• 행렬 $\bm{T}(a,c,0,e,0,0)$가 계수별로 완전히 양성임을 증명하여 더 넓은 추측의 핵심 특수한 경우를 확립하였다.
• 청소 오일러 삼각형은 특수화 $(a,c,d,e) = (1,1,1,1)$에서, 반전된 스틸링 부분집합 삼각형은 $(a,c,d,e) = (1,0,0,1)$에서 회수되며, 둘 다 증명된 프레임워크 내에 포함된다.
• 집합 분할과 격자 경로 사이의 이항관계 $\Phi_{n,k}: \Pi_{n+1,n-k+1} \to \mathsf{P}_{n,k}$를 구성하였으며, 이는 완전 양성성 증명의 기초가 된다.
• 각 분할에 관련된 경로 단어 $W(\pi)$는 격자 경로 모델에서 유효한 경로에 대응하는 정확한 조합 조건을 만족함을 보였다.
• 분할을 블록 단위로 순차적으로 생성하는 재귀적 삽입 알고리즘에 기반한 증명으로, 블록 상태(완료됨, 미완료됨)와 원소 순서를 단어 $W(\pi)$를 통해 추적한다.
• 경로 문자를 특수화한 후($e_{i,l} \to e$, $a_{i,0,l} \to c$, $a_{i,j,l} \to a$), 재귀식이 $\bm{T}(a,c,0,e,0,0)$와 일치함을 확인하여 원래 행렬과의 일致성을 입증하였다.