[논문 리뷰] The Real-rootedness of Eulerian Polynomials via the Hermite--Biehler Theorem

Arthur L. B. Yang, Philip B. Zhang|arXiv (Cornell University)|2015. 01. 23.

Holomorphic and Operator Theory참고 문헌 15인용 수 6

한 줄 요약

이 논문은 허미트-비엘러 정리와 보르체아-브란덴의 안정성 기준을 사용하여 $D_n$ 형식의 오일러 다항식과 $B_n$ 형식의 아핀 오일러 다항식의 실근성을 입증한다. 특정 변환된 다항식이 약한 허위츠 안정성을 가지므로, 안정성 기반의 상호배치 논증을 통해 하프 오일러 다항식의 상호배치에 대한 하이아트의 추측을 확인한다.

ABSTRACT

Based on the Hermite--Biehler theorem, we simultaneously prove the real-rootedness of Eulerian polynomials of type $D$ and the real-rootedness of affine Eulerian polynomials of type $B$, which were first obtained by Savage and Visontai by using the theory of $\\mathbf{s}$-Eulerian polynomials. We also confirm Hyatt's conjectures on the interlacing property of half Eulerian polynomials. Borcea and Br\\"and\\'en's work on the characterization of linear operators preserving Hurwitz stability is critical to this approach.

연구 동기 및 목표

• s-오일러 다항식을 사용하지 않고 안정성 이론을 활용하여 $D_n(x)$ 및 $\tfrac{B}_n(x)$의 실근성을 새롭게 증명하는 것.
• 하이아트의 하프 오일러 다항식 $B_n^+(x)$ 및 $D_n^+(x)$와 그 역전환 변환 간의 상호배치에 대한 추측을 확인하는 것.
• 형식 $B$, $D$의 오일러 다항식과 그 아핀 변형의 실근성에 대한 통합적 접근을 동일한 안정성 프레임워크를 통해 제공하는 것.
• 허미트-비엘러 정리와 허위츠 안정성 간의 연결 고리로서 부호가 붙은 치환 통계의 실근성에 대한 관계를 설정하는 것.

제안 방법

• 허미트-비엘러 정리를 적용하여 오일러 다항식의 실근성과 관련 다항식의 약한 허위츠 안정성 간의 관계를 규명한다.
• 보르체아와 브란덴의 선형 연산자가 허위츠 안정성을 유지하는 특성화를 활용하여 핵심 생성 함수의 안정성 분석을 수행한다.
• 루스-휴이츠 기준을 적용하여 $(x+1)A_{n-1}(x) + kx A_{n-2}(x)$ 형태의 다항식의 안정성을 평가하며, 특히 $k = -n$의 경우를 다룬다.
• 생성 함수와 치환 대칭성을 통해 $B_n^+(x)$, $D_n^+(x)$ 및 고전적 오일러 다항식 간의 함수 항등식을 유도한다.
• $B_n^+(x)$ 및 $D_n^+(x)$가 $(x+1)^n A_{n-1}(x)$의 짝수 부분임을 이용하여 다항식의 안정성 전이를 가능하게 한다.
• 대칭성 $x^n B_n^+(1/x) = B_n^-(x)$ 및 $x^n D_n^+(1/x) = D_n^-(x)$을 활용하여 상호배치 문제를 전체 생성 다항식의 안정성 문제로 환원한다.

실험 결과

연구 질문

• RQ1 실근성의 증명에 $\mathbf{s}$-오일러 다항식의 보완이 아닌 안정성 이론적 방법을 사용할 수 있는가?
• RQ2 하프 오일러 다항식 $B_n^+(x)$ 및 $D_n^+(x)$는 그 역전환 변환 $x^n B_n^+(1/x)$ 및 $x^n D_n^+(1/x)$과 상호배치되는가?
• RQ3 다항식 $(x+1)A_{n-1}(x) + kx A_{n-2}(x)$가 허위츠 안정성을 유지하는 $k$의 범위는 무엇인가?
• RQ4 $(x+1)A_{n-1}(x) - nx A_{n-2}(x)$의 안정성과 하프 오일러 다항식의 상호배치 성질 간의 깊은 연결 고리가 존재하는가?

주요 결과

• 다항식 $(x+1)^n A_{n-1}(x) - n x (x+1)^{n-1} A_{n-2}(x)$는 약한 허위츠 안정성을 가지며, 이는 허미트-비엘러 정리를 통해 $D_n(x)$ 및 $\tfrac{B}_n(x)$의 실근성을 유도한다.
• 하이아트의 추측 (i)는 확인됨: $B_n^+(x)$는 $x^n B_n^+(1/x)$와 상호배치되므로, $B_n(x) = B_n^+(x) + x^n B_n^+(1/x)$는 모두 실근을 가진다.
• 하이아트의 추측 (ii)는 확인됨: $D_n^+(x)$는 $x^n D_n^+(1/x)$와 상호배치되므로, $D_n(x) = D_n^+(x) + x^n D_n^+(1/x)$는 모두 실근을 가진다.
• 항등식 $B_n^+(x^2) + \frac{1}{x} B_n^-(x^2) = (x+1)^n A_{n-1}(x)$가 성립하며, 이는 형식 $B$의 하프 오일러 다항식을 고전적 오일러 다항식과 연결한다.
• 항등식 $D_n^+(x^2) + \frac{1}{x} D_n^-(x^2) = (x+1)^n A_{n-1}(x) - n x (x+1)^{n-1} A_{n-2}(x)$는 형식 $D$의 하프 다항식을 오일러 다항식의 안정 조합과 연결한다.
• 추측 제기: $(x+1)A_{n-1}(x) + kx A_{n-2}(x)$는 $k > -2E_n / E_{n-1}$일 때에만 허위츠 안정성을 가진다. 여기서 $E_n$은 $n$번째 오일러 지그재그 수이다.