[논문 리뷰] The Bohr radius of the $n$-dimensional polydisk is equivalent to $\sqrt{\frac{\log n}{n}}$

Frédéric Bayart, Daniel Pellegrino외 1명|arXiv (Cornell University)|2013. 10. 10.

Advanced Banach Space Theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 $ n $-차원 다면체에서의 보어 반지름 $ K_n $ 의 정확한 渐近적 행동을 규명하여, $ n \to \infty $ 일 때 $ K_n \sim \sqrt{\frac{\log n}{n}} $ 임을 증명한다. 이 결과는 다항 다항 보헨블루스트-힐레 부등식에 대한 새로운 보간 기반 접근법을 통해 도출되었으며, 최적 상수의 지수적 성장을 피하는 하위지수적 상계를 제공하고 보어 반지름의 정밀 추정을 가능하게 한다.

ABSTRACT

We show that the Bohr radius of the polydisk $\mathbb D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$. Our argument is based on a new interpolative approach to the Bohnenblust--Hille inequalities which allows us to prove that the polynomial Bohnenblust--Hille inequality is subexponential.

연구 동기 및 목표

• 최대한의 $ n \to \infty $ 에서 $ n $-차원 다면체에 대한 보어 반지름 $ K_n $ 의 정확한 渐近적 행동을 규명하는 것.
• 다항 및 다중선형 보헨블루스트-힐레 부등식의 최적 상수에 대한 기존 상계를 향상시키는 것.
• 보헨블루스트-힐레 부등식에 대한 새로운 보간 기반 방법을 개발하여 상수의 하위지수적 성장을 이끌어내는 것.
• 다항 보헨블루스트-힐레 부등식의 상수 성장이 하위지수적임을 입증함으로써 보어 반지름 추정에 핵심적인 기여를 하는 것.
• 기존 하한 및 상한 사이의 갭을 좁혀 $ K_n \sim \sqrt{\frac{\log n}{n}} $ 임을 보이는 것.

제안 방법

• 다중선형 및 다항 보헨블루스트-힐레 부등식에 대한 새로운 보간 기반 증명 기법을 도입하여, 임의의 $ q_1, \dots, q_m \in [1,2] $ 로 일반화한다.
• 상수 $ \mathrm{B}_{\mathbb{K},q_1,\dots,q_m} $ 의 존재성과 조건 $ \sum_{i=1}^m \frac{1}{q_i} \leq \frac{m+1}{2} $ 의 등가성을 확립하며, 이는 유효 범위를 특징짓는 조건이다.
• 헤이더의 부등식과 다항계수의 조합론적 추정을 활용하여 동차 다항식의 $ \ell^{2m/(m+1)} $-노름을 제어한다.
• 위너의 보조정리를 사용하여 다항식의 동차 부분의 $ L^\infty $-노름을 총 노름에 따라 제한한다.
• 카한-살라인-지그문드 부등식을 적용하여 제어 가능한 상한을 갖는 극값 다항식을 구성함으로써 $ K_n $ 의 상한을 도출한다.
• 동차 차수의 합을 세 구간으로 나누어 분석한다: $ m \leq m_0 $, $ m_0 < m \leq \sqrt{n} $, 및 $ m > \sqrt{n} $, 각각에 대해 맞춤형 상계를 적용한다.

실험 결과

연구 질문

• RQ1 최대한의 $ n \to \infty $ 에서 $ n $-차원 다면체에 대한 보어 반지름 $ K_n $ 의 정확한 渐近적 행동은 무엇인가?
• RQ2 다항 보헨블루스트-힐레 부등식의 최적 상수는 하위지수적 성장을 갖는가?
• RQ3 보헨블루스트-힐레 부등식에 대한 새로운 보간 기반 방법은 이전 접근보다 더 정밀한 추정을 제공하는가?
• RQ4 향상된 보헨블루스트-힐레 상수를 사용하여 $ K_n $ 의 일치하는 하한을 유도할 수 있는가, 이는 기존 상한과의 갭을 메우는 데 기여하는가?
• RQ5 추정치 $ K_n \sim \sqrt{\frac{\log n}{n}} $ 는 정확한가, 그리고 오직 보간과 노름 추정만으로 증명할 수 있는가?

주요 결과

• $ n $-차원 다면체의 보어 반지름 $ K_n $ 는 $ n \to \infty $ 일 때 $ K_n \sim \sqrt{\frac{\log n}{n}} $ 를 만족하며, 이는 $ K_n $ 의 渐近적 행동을 해결한다.
• 다항 보헨블루스트-힐레 부등식의 최적 상수는 하위지수적 성장을 보이며, 특히 어떤 $ \gamma $ 에 대해 $ \mathrm{B}^\mathrm{pol}_{\mathbb{C},m} \leq \kappa \cdot m^{\log_2(e^{1/2 - \gamma/2})} $ 임을 보여 기존의 지수적 상한에 비해 중대한 개선이다.
• 향상된 보헨블루스트-힐레 상수로부터 큰 $ n $ 에 대해 $ K_n \geq (1 - 2\varepsilon)\sqrt{\frac{\log n}{n}} $ 라는 하한이 유도되며, 이는 임의의 $ \varepsilon > 0 $ 에 대해 성립하며 $ \liminf_{n \to \infty} K_n \sqrt{\frac{n}{\log n}} \geq 1 $ 이라는 결과를 이끈다.
• 상한으로서의 식 $ K_n \leq \kappa^{1/m} (\sqrt{m \log m})^{1/m} \frac{1}{\sqrt{n}} n^{1/2m} (m!)^{1/2} $ 는 $ m = \log n $ 에서 최적화될 때 $ K_n \lesssim \sqrt{\frac{\log n}{n}} $ 를 얻으며, 이는 하한과 정확히 일치한다.
• 하한의 증명은 동차 차수 합을 분할하고 이항계수 및 $ m $ 에 대한 지수적 감쇠에 대한 추정을 사용함으로써 완성되며, 이는 $ n \to \infty $ 일 때 尾部 합이 0으로 수렴함을 보여준다.
• 결과적으로 기존에 알려진 상한 $ K_n \leq 2\sqrt{\frac{\log n}{n}} $ 가 상수항까지 정확한 것으로 확인되었으며, 정확한 渐近적 행동은 $ \sqrt{\frac{\log n}{n}} $ 임을 확인한다.