다우링 다항식 추측을 로렌츠 다항식으로 완전 해결

초록

본 논문은 1980년 다우링이 제시한 독립집합 다항식 부등식(다우링 다항식 추측)을 로렌츠(Lorentzian) 다항식 이론을 이용해 완전히 증명한다. 이를 통해 마손의 약한 형태인 다우링 추측을 포함한 여러 일반화된 부등식도 얻는다.

상세 분석

다우링의 다항식 추측은 임의의 순위 k 에 대해
(f_{2k}(M)\ge f_{k-1}(M)f_{k+1}(M))
라는 다항식 부등식을 주장한다. 여기서 (f_k(M)=\sum_{I\in\mathcal I,|I|=k}\prod_{i\in I}x_i)는 독립집합을 변수의 곱으로 나타낸 동차 다항식이다. 이 부등식은 마손의 로그-볼록성(특히 (i) 항)을 다항식 수준으로 끌어올린 형태이며, 기존에는 k≤7까지만 확인되었다.

저자들은 먼저 Anari·Liu·Oveis Gharan·Vinzant와 Brändén·Huh가 도입한 ‘완전 로그-볼록(complete log‑concave)’ 혹은 ‘Lorentzian’ 다항식 개념을 활용한다. 핵심은 행렬식 (G_M(x)=\sum_{I\in\mathcal I}x^{n-|I|}\prod_{i\in I}x_i)가 Lorentzian임을 보이는 정리(2.8)를 이용하는 것이다. Lorentzian 다항식은 Hessian가 모든 양의 실점에서 ‘hyperbolic’ 성질을 갖고, 이는 차원‑축 연산(편미분, 선형 변환 등)이 보존된다.

다음 단계에서는 두 복사본 (G_M(x))와 (G_M(y))의 곱에 대해 연산자 (S_i=\bigl(\partial_{x_i}+\partial_{y_i}\bigr)\big|{x_i=y_i=0})를 차례로 적용해 (S=S_1\cdots S_n)를 만든다. 논문은 (S(G_M(x)G_M(y)))가 여전히 Lorentzian임을 보이며, 이를 통해 독립집합의 이분 파티션 수 (\pi{k,k}(M))를 다항식 계수와 연결한다(Lemma 3.1).

Lorentzian 다항식의 Hessian가 hyperbolic임을 이용해, 두 벡터 ((1,0))와 ((0,1))에 대한 부등식 (\langle v,Hf w\rangle^2\ge\langle v,Hf v\rangle\langle w,Hf w\rangle)를 전개하면 바로
(\pi_{k,k}(M)\ge\bigl(1+\frac1k\bigr)\pi_{k-1,k+1}(M))
가 도출된다(Theorem 3.2). 이는 Zhao가 제시한 강화된 형태(Conjecture 1.3)와 동치이며, 따라서 원래의 다우링 추측도 즉시 얻어진다(Corollary 3.4).

추가로 저자들은 (p\ge2)에 대한 일반화(정리 4.1)와, 다항식 곱 형태의 보다 복잡한 부등식(정리 4.2)을 제시한다. 이들 결과는 동일한 Lorentzian 보존성 원리를 이용해 증명되며, 독립집합 파티션 수의 비교를 통해 다항식 부등식의 전반적인 구조를 밝힌다.

전체적으로 논문은 Lorentzian 다항식 이론을 조합론적 문제에 적용함으로써, 40년 넘게 남아 있던 다우링의 다항식 추측을 완전히 해결하고, 그 방법론을 통해 더 넓은 범위의 부등식까지 확장한다는 점에서 중요한 기여를 한다.