A counterexample to the complex polynomial Koebe radius conjecture

기술 요약: 복소 다항식 코베 반경 추측에 대한 반례

문제 정의
본 논문은 정규화된 형태 $f(z) = z + \sum_{j=2}^N a_j z^j$를 갖는 단사(univalent, 정칙이며 단사) 다항식 클래스 $\mathcal{F}$의 코베 반경 $\rho(\mathcal{F})$를 결정하는 문제를 다룬다. 코베 반경은 모든 $f \in \mathcal{F}$에 대하여 디스크 $D_r$이 $f(D)$에 포함되도록 하는 반지름 $r$의 상한(supremum)으로 정의된다.

2018년, Dmitrishin, Smorodin, 그리고 Stokolos는 실수 계수 다항식 클래스($\mathcal{U}_{N,\mathbb{R}}$)와 복소 계수 다항식 클래스($\mathcal{U}_N$) 모두에 대해 코베 반경이 다음 공식으로 주어진다는 것을 추측했다:
$$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$$
실수 삼차 사례($N=3$)는 이 공식이 만족하는 반경 $(3-\sqrt{5})/2 \approx 0.381966$을 따름이 증명되었으나, 복소수 사례는 미해결 추측으로 남아 있었다. 본 논문은 추측된 반경을 위반하는 특정 복소 삼차 다항식을 구성함으로써 $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$이라는 등식을 부정하는 것을 목표로 한다.

방법론
저자는 엄밀한 해석적 검증과 형식적 증명을 결합한 구성적 접근 방식을 사용한다:

1. 반례의 구성: 저자는 유리수 계수를 가진 특정 정규화된 삼차 다항식을 정의한다:
   $$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$$
2. 단사성 검증: $p(z)$가 $R = 1001/1000$인 디스크 $D_R$에서 단사임을 증명하기 위해, 저자는 고전적인 브래넌(Brannan) 메커니즘을 활용한다. 이는 다음 과정을 포함한다:
   • 단사 조건을 "이차 제로 제외(quadratic zero-exclusion)" 문제로 환원한다.
   • 다항식 군 $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$를 정의하고, 이들이 $x \in [0,1]$에 대해 $|w| \le R$에서 근을 갖지 않음을 증명한다.
   • $|A - cA| < 1 - c^2$이면 이차 다항식 $1 + Aw + cw^2$는 단위 원판 내에 근을 갖지 않는다는 보조정리(Lemma 2.1)를 적용한다.
3. 정확한 유리수 인증: 제로 제외 조건의 검증은 부동 소수점 근사가 아닌 정확한 산술(exact arithmetic)에 의존한다. 저자는 관련 부등식 조건을 다항식 $H(y)$로 표현하고, **번스타인 계수(Bernstein coefficients)**를 사용하여 $H(y) > 0$임을 $[0,1]$ 상에서 증명한다.
   • 구간 $[0,1]$을 세분화하고, $H(y)$의 번스타인 계수에 대한 정확한 유리수 하한을 계산한다.
   • 번스타인 기저 함수는 비음(non-negative)이며 합이 1이므로, 계수의 양의 하한은 함수의 양수성을 보장한다.
4. 형식적 검증: 다항식 정의, 정규화, 확장된 디스크에서의 단사성, 그리고 엄밀한 경계값에 대한 전체 증명은 mathlib 라이브러리를 사용하는 Lean 4 정리 증명기(버전 4.34.1)를 통해 검증되었다. 이 증명은 증명되지 않은 가설 없이 표준 공리(propext, Classical.choice, Quot.sound)만을 사용한다.
5. 누락된 값 계산: 저자는 단위 원판의 경계에 있는 특정 점 $\zeta = (-24 + 7i)/25$ (여기서 $|\zeta|=1$)를 식별한다. 이 점의 상(image) $w_0 = p(\zeta)$를 계산하고, $|w_0|$가 추측된 반경보다 엄격히 작음을 증명한다.

주요 결과

• 추측의 반증: 다항식 $p(z)$는 $D_{1001/1000}$에서 단사이며, 이는 $p(z)$가 닫힌 단위 원판에서 단사임을 의미한다. 그러나 단위 원판의 상은 점 $w_0$를 누락하며, 이때:
  $$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0.3812585$$
• 반경의 엄격한 분리: 계산된 누락된 모듈러스는 다음과 같다:
  $$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$$
  이는 다음의 엄격한 부등식을 확립한다:
  $$\rho(\mathcal{U}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$$
  따라서, 3차의 복소 코베 반경은 실수 코베 반경보다 엄격히 작으며, 이는 두 반경이 같다는 추측을 반박한다.
• 실패의 최소 차수: 본 논문은 차수가 $N=1$과 $N=2$일 때 실수 및 복소 코베 반경이 동일함($\rho=1$ 및 $\rho=1/2$)을 확인한다. 따라서 차수 3은 해당 추측이 실패하는 최소 차수이다.

의의 및 주장
본 논문은 $N=3$인 경우의 복소 다항식 코베 반경 추측에 대한 첫 번째 명시적 반례를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 복소 등식의 반박: 실수 계수 다항식의 극단적 거동이 삼차 다항식의 복소 영역까지 확장되지 않음을 보여준다.
2. 상한 설정: 복소 삼차 코베 반경에 대한 구체적이고 엄밀한 상한($\approx 0.3812585$)을 제공하여, 이를 실수 값($\approx 0.3819660$)과 구별한다.
3. 방법론적 엄밀성: 고전적 복소 해석학(디외도네(Dieudonné) 기준, 논법 원리)을 현대적 형식 검증(Lean) 및 정확한 유리수 산술(번스타인 계수)과 결합하여 엄격한 부등식이 포함된 문제를 해결하는 유용성을 강조한다.

저자는 최적의(정확한) 복소 삼차 코베 반경 값을 결정하지는 않으며, 또한 이 추측이 모든 차수 $N > 3$에 대해 실패한다고 주장하지도 않는다는 점을 명시적으로 밝힌다. 이 결과는 삼차의 경우에 국한된다.