[논문 리뷰] Littlewood Polynomials with Small $L^4$ Norm

Jonathan Jedwab, Daniel J. Katz외 1명|arXiv (Cornell University)|2012. 05. 01.

Analytic Number Theory Research참고 문헌 26인용 수 8

한 줄 요약

이 논문은 계수가 $\pm1$인 리틀우드 다항식에 대해 $||f||_4/||f||_2$의 渐近 비율이 $\sqrt[4]{7/6}$ 이하일 수 없다는 오랫동안 유지되어 온 추측을 반증한다. 일반화된 페케테 다항식에서 유도된 다항식의 수열을 구성함으로써, 이 비율이 $\sqrt[4]{c}$로 수렴하며, 여기서 $c < 22/19$는 삼차방정식 $27x^3 - 498x^2 + 1164x - 722$의 최소근임을 보였다. 이 결과는 조화해석학과 수열 설계 분야에서 이전의 가정을 도전하는 새로운 $L^4$ 노름 비율의 하한을 확립한다.

ABSTRACT

Littlewood asked how small the ratio $||f||_4/||f||_2$ (where $||.||_α$ denotes the $L^α$ norm on the unit circle) can be for polynomials $f$ having all coefficients in $\{1,-1\}$, as the degree tends to infinity. Since 1988, the least known asymptotic value of this ratio has been $\sqrt[4]{7/6}$, which was conjectured to be minimum. We disprove this conjecture by showing that there is a sequence of such polynomials, derived from the Fekete polynomials, for which the limit of this ratio is less than $\sqrt[4]{22/19}$.

연구 동기 및 목표

• 리틀우드 다항식의 차수를 무한히 향할 때 $||f||_4/||f||_2$의 하한이 $\sqrt[4]{7/6}$임을 주장하는 오래된 추측을 도전하기 위해.
• 페케테 다항식에서 유도된 다항식을 사용하여 $L^4$ 노름 비율이 $\sqrt[4]{7/6}$ 이하로 낮추어 날 수 있는지 조사하기 위해.
• 다양한 매개변수 설정에서 일반화된 페케테 다항식의 $L^4$ 노름의 渐近 행동을 규명하기 위해.
• 이전에 알려진 $\sqrt[4]{7/6}$ 값보다 더 나은 이론적 하한을 $L^4$ 노름 비율에 대해 확립하기 위해.

제안 방법

• 저자들은 고전적 페케테 다항식 $\sum_{j=0}^{p-1} \left(\frac{j}{p}\right) z^j$의 계수를 순환적으로 이동시키고 잘라내거나 주기적으로 연장함으로써 일반화된 페케테 다항식 $f_p^{(r,t)}(z)$를 정의한다. 여기서 $\left(\frac{\cdot}{p}\right)$는 레지오드 표시이다.
• Fourier 기반 방법을 사용하여 $L^4$ 노름을 계산하며, 레지오드 표시의 곱셈적 특성 구조를 활용하여 $||f||_4^4$를 자동상관 유사 항들의 합으로 표현한다.
• 매개변수 $r/p \to R$ 및 $t/p \to T$일 때, $p \to \infty$의 극한에서 $||f||_4^4 / ||f||_2^4$의 渐近 행동을 분석하며, 이 비율을 한정된 매개변수 $R,T$의 함수 $u(R,T)$로 간주한다.
• 대칭성과 주기성을 활용하여 탐색 공간을 줄이고, 매개변수 공간 $[0,1/2] \times [1/2, 3/1/2]$ 내의 컴act 영역 $D_k$에서(piecewise rational 표현을 사용하여) 함수 $u(R,T)$를 최소화한다.
• $u(R,T)$의 최소값은 삼차방정식 $27x^3 - 498x^2 + 1164x - 722$의 최소근 $c$이며, $c < 22/19$이다. 이 값은 특정한 쌍 $(R_0, T_0)$에서 도달된다.
• 핵심 기술적 보조정리는 계수의 주기성을 이용하여 $||f||_4^4$의 하한을 제시하며, 주기 $m$의 계수를 가진 다항식에 대해 $||f||_4^4 \geq \sum_{n \in \mathbb{Z}} \max(0, t - |n|m)^2$임을 보여준다.

실험 결과

연구 질문

• RQ1 계수 $\pm1$인 리틀우드 다항식에 대해 $||f||_4/||f||_2$의 渐近 비율이 $\sqrt[4]{7/6}$ 이하일 수 있는가?
• RQ2 차수를 무한히 향할 때 모든 리틀우드 다항식 수열에 대해 $||f||_4/||f||_2$의 하한은 무엇인가?
• RQ3 예상되는 최소 비율 $\sqrt[4]{7/6}$은 실제로 달성 가능한가, 아니면 페케테 기반 구성법을 통해 개선될 수 있는가?
• RQ4 일반화된 페케테 다항식의 매개변수 설정 $(r,t)$ 중에서 어떤 것이 渐近 극한에서 $L^4$ 노름 비율을 최소화하는가?
• RQ5 페케테 다항식에서 유도된 리틀우드 다항식의 $L^4$ 노름은 이전에 알려진 값보다 더 작은 渐近 값을 갖는가?

주요 결과

• 일반화된 페케테 다항식에서 유도된 리틀우드 다항식 수열에 대해 $||f||_4/||f||_2$의 渐近 비율은 $\sqrt[4]{c}$로 수렴하며, 여기서 $c$는 삼차방정식 $27x^3 - 498x^2 + 1164x - 722$의 최소근이며, $c < 22/19$이다.
• 이 값 $\sqrt[4]{c}$는 $\sqrt[4]{7/6}$보다 엄밀히 작으며, 따라서 $\sqrt[4]{7/6}$이 비율의 하한임을 주장하는 추측을 반증한다.
• $||f||_4^4 / ||f||_2^4$의 최소값은 $t/p \to T_0$일 때 도달되며, 이때 $T_0$는 $4x^3 - 30x + 27$의 중근이며, $r/p \to R_0 = \frac{1}{4}(3 - 2T_0)$이다. 이는 정수 이동에 대해 모듈로된다.
• 渐近 비율은 1에서 멀리 떨어져 있으므로, $||f||_\infty / ||f||_2$ 역시 1에서 멀리 떨어져 있음을 의미하며, 이는 리틀우드 다항식에 대한 에르되시의 추측의 수정된 형태를 지지한다.
• $t/p \to \infty$일 때 비율 $||f||_4 / ||f||_2$는 무한대로 발산하므로, 긴 주기적 연장은 작은 $L^4$ 노름을 유도하지 못한다는 것을 보여준다.
• 주기적 계수를 가진 다항식에 대해 $||f||_4^4$의 하한이 확립된다: $||f||_4^4 \geq \sum_{n \in \mathbb{Z}} \max(0, t - |n|m)^2$이며, 이는 주요 渐近 결과를 증명하는 데 사용된다.