스테이너 다항식 근의 경계와 곡률 반경

논문은 먼저 외부 평행체 K + tB 를 정의하고, 그 부피가 스테이너 다항식 S_K(t)=V(K+tB) 로 표현된다는 사실을 소개한다. 2차원에서는 S_K(t)=A_K+L_K t+π t² 로 쓰이며, 판별식 L_K²‑4πA_K≥0 가 등적 부등식과 동치임을 보여준다. 이때 근은 모두 음수이며, 이는 곡률 반경과 직접 연결된다. 다음으로 Teissier가 제기한 두 문제를 제시한다. (P1) 스테이너 다항식이 안정적인가? (P2) 근의 최댓값이 -inradius와 비교될 수 있는가? 기존 연구에 따르면 n ≤ 5에서는 Routh‑Hurwitz와 Aleksandrov‑Fenchel 부등식 덕분에 S_K(t)는 항상 안정적이며, n ≥ 15에서는 반례가 존재한다. 주요 결과인 Theorem 1.2는 “Routh‑Hurwitz와 Aleksandrov‑Fenchel이 보장하는 차원 n에서 S_K가 안정적이면, C² 볼록체 K의 스테이너 다항식 근 r_i 는 -ρ_max ≤ r_1 ≤ … ≤ r_n ≤ -ρ_min” 을 증명한다. 이를 위해 지원함수 p_K와 그 Hessian H(p_K)를 이용해 부피를 적분 형태로 표현한다. 특히, H(p_K)의 고유값이 0과 주곡률 반경 ρ_1,…,ρ_{n‑1} 이라는 사실을 이용한다. Minkowski 뺄셈 개념을 도입하여, K ∼ cB 가 정의될 때 c가 ρ_min 이하이면 K ∼ cB 가 존재하고, 그 스테이너 다항식은 S_{K∼cB}(t)=S_K(t‑c) 로 변환된다. 이는 근을 오른쪽으로 c만큼 이동시켜, 안정성 가정 하에 r_i + c<0 → r_i<‑c 를 얻는다. c를 ρ_min 로 잡아 상한 -ρ_min 을 도출한다. 하한을 얻는 과정은 대칭적이다. c≥ρ_max 일 때 cB 가 K의 Minkowski summand 가 되며, K' = cB ∼ K 로 정의한다. 지원함수는 p_{K'} = c‑p_K 이고, S_{K'}(t)=(-1)^n S_K(-t‑c) 가 된다. 따라서 근의 실수부는 -(r_i + c) 가 되며, 안정성에 의해 -(r_i + c)<0 → r_i>‑c 를 얻는다. c를 ρ_max 로 잡아 하한 -ρ_max 을 얻는다. Corollary 3.1 은 위 정리를 정리하여 “n ≤ 5인 경우, 모든 C² 볼록체 K에 대해 스테이너 다항식 근의 실수부는 -ρ_min 과 -ρ_max 사이에 있다” 라고 명시한다. 마지막 섹션에서는 차원 제한의 근거를 다시 언급한다. Routh‑Hurwitz 안정성 기준과 Aleksandrov‑Fenchel 부등식이 결합될 때, 차수 n이 5 이하일 경우 모든 혼합 부피가 양수이고, 다항식의 Hurwitz 행렬이 양정인 것을 보장한다. 이는 근이 왼쪽 반평면에 머무르는 충분조건이다. 차원 6 이상에서는 이러한 부등식이 깨질 가능성이 있어 현재의 경계 결과는 차원 제한이 필수적임을 강조한다. 참고문헌은 Steiner 다항식과 곡률 흐름, Bonnesen‑type 부등식, Minkowski 연산 등에 관한 핵심 논문들을 인용한다. 특히 Green‑Osher(1999), Cifre‑Henk(2007), Matheron(1978), Schneider(1993), Teissier(1982) 를 통해 본 연구가 기존 기하학 및 분석학 문헌과 어떻게 연결되는지를 보여준다.