[논문 리뷰] On the real polynomial Bohnenblust-Hille inequality

Jamilson R. Campos, P. Jiménez-Rodríguez외 3명|arXiv (Cornell University)|2012. 09. 20.

Advanced Banach Space Theory참고 문헌 36인용 수 4

한 줄 요약

이 논문은 복소수 경우와 달리 실수 다항식 보넨블루스트–힐레 부등식이 지수적 성장함을 입증한다. 실수 보넨블루스트–힐레 상수 $ D_{\bbR,m} $ 의 최적 성장률이 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $ 를 만족함을 보이며, 실수 경우에서는 날카로운 지수적 성장이 발생함을 보여주며, 이는 복소수 경우의 초지수적 성장과 대비된다.

ABSTRACT

It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$

연구 동기 및 목표

• 실수 다항식 보넨블루스트–힐레 부등식이 복소수 경우와 마찬가지로 초지수적 성장을 보이는지 여부를 규명하는 것.
• $ m $-동차 다항식에 대해 실수 보넨블루스트–힐레 상수 $ D_{\bbR,m} $ 의 최적 성장률을 규명하는 것.
• 유한차원 공간에서 실수 및 복소수 부등식의 행동을 대조하는 것.
• 실수 상수가 지수적으로 증가하며, 정확한 지수적 비율 $ \limsup D_{\bbR,m}^{1/m} = 2 $ 를 갖는다는 것을 입증하는 것.

제안 방법

• 저자들은 변수 수가 증가하는 실수 동차 다항식의 명시적 가족을 구성하여 $ D_{\bbR,m}(n) $ 에 대한 하한을 도출한다.
• 다항식 계수의 $ \ell_p $-노름을 사용하고, 부등식 $ |P|_{2m/(m+1)} \leq D_{\bbR,m} \|P\| $ 를 통해 연산자 노름과 연결한다.
• 핵심 구성은 $ \ell_\infty $-노름이 이항계수 추정을 통해 아래로 유계인 다항식 $ Q_{2^{m+1}}^n $ 이다.
• 증명은 $ |P|_{2m/(m+1)} \geq |P|_\infty $ 를 이용하여 $ D_{\bbR,m}(n) $ 에 대한 지수적 하한을 도출한다.
• 유한차원 공간의 경우, 고정된 $ N \geq 2 $ 에 대해 $ \mathcal{P}(^{m}\ell_\infty^N) $ 를 분석하며, $ P_4(x,y) = x^3y - xy^3 $ 와 같은 특정 다항식을 사용한다.
• 스털링 근사법을 적용하여 계수 노름의 이항합의 점근적 성장을 추정함으로써 지수적 비율을 도출한다.

실험 결과

연구 질문

• RQ1 실수 다항식 보넨블루스트–힐레 부등식은 복소수 경우와 같이 초지수적 성장을 보이나요?
• RQ2 실수 보넨블루스트–힐레 상수 $ D_{\bbR,m} $ 의 정확한 지수적 성장률은 무엇인가요?
• RQ3 유한차원 공간에서 실수 보넨블루스트–힐레 상수의 행동은 복소수 경우와 어떻게 다릅니까?
• RQ4 고정된 $ N $ 에 대해 실수 상수가 수축 가능하다는 것(즉, $ m \to \infty $ 일 때 $ D_{\bbR,m}(N) \to 1 $) 이 맞나요? 복소수 경우와 마찬가지로요?
• RQ5 실수 설정에서 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} $ 의 날카로운 하한은 무엇인가요?

주요 결과

• 실수 다항식 보넨블루스트–힐레 부등식은 초지수적이 아니며, 지수적 성장을 보인다.
• 실수 보넨블루스트–힐레 상수의 최적 지수적 성장률은 정확히 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $ 이다.
• 고정된 $ N \geq 2 $ 에 대해, 유한차원 실수 상수는 $ \limsup_{m \to \infty} D_{\bbR,m}(N)^{1/m} \geq \sqrt[8]{27} \approx 1.5098 $ 를 만족하며, 수축하지 않는 행동을 보인다.
• 다항식 $ P_4(x,y) = x^3y - xy^3 $ 과 그 거듭제곱을 구성함으로써 $ D_{\bbR,4n}(2) $ 에 대해 순서 $ \left(\sqrt[8]{27}\right)^m $ 의 하한을 도출할 수 있다.
• 스털링 근사법을 사용하여 점근적 하한 $ D_{\bbR,m}(2) \gtrsim \sqrt[4]{\frac{4}{m\pi}} \left(\sqrt[8]{27}\right)^m $ 를 유도하였으며, 이는 지수적 성장을 확인한다.
• 실수 경우는 복소수 경우와 본질적으로 다르며, 복소수 경우에서는 $ D_{\bbC,m} $ 가 초지수적임을 보여주며, 절대 합성 가능한 연산자의 이론에서 핵심적인 이원성의 특징을 드러낸다.