전부 비음수 행렬과 사슬 다항식의 실근성 통합 이론

초록

하삼각 단위행렬이 전부 비음수(TN)일 때, 해당 행렬이 생성하는 사슬 다항식들은 모두 실근을 가지며, 이를 통해 부분순서집합(poset)의 사슬 열거와 하이퍼플레인 배열의 특성다항식 연구에 새로운 통합적 틀을 제공한다.

상세 분석

이 논문은 하삼각 단위행렬이 전부 비음수(TN)라는 조건과 “해결 가능(resolvable)”이라는 구조적 성질을 연결함으로써, 실근을 갖는 다항식 군을 체계적으로 구축한다. 핵심은 정리 2.6에서 제시된 세 가지 동등조건이다. 첫째, 행렬 R이 “해결 가능”하면 각 행의 생성다항식 Rₙ(t)은 일련의 선형 대각 연산자 αᵢ를 통해 (t+α₁)(t+α₂)…(t+αₙ) 형태로 분해될 수 있다. 둘째, 이러한 αᵢ가 모두 비음수이면 Rₙ(t)는 실근을 갖고, 서로 interlace(교차) 관계를 유지한다. 셋째, 위 두 조건은 R이 전부 비음수 행렬이라는 전통적인 정의와 동치임을 보인다. 이때 라그랑주‑게셀‑비엔노트(Lindström‑Gessel‑Viennot) 그래프 모델을 이용해 R을 경로 가중합 행렬 R(Γ,λ)으로 표현하고, Whitney의 감소 정리를 통해 λ 배열의 존재와 유일성을 확보한다.

정리 3.6은 위 결과를 바탕으로 “subdivision 연산자” E를 정의하고, E가 적용된 모든 Rₙ,ₖ(t)들이