[論文レビュー] Anti-concentration of polynomials: $L^{p}$ balls and symmetric measures

Itay Glazer, Dan Mikulincer|arXiv (Cornell University)|Mar 24, 2026

Point processes and geometric inequalities被引用数 0

ひとこと要約

論文は、等方対数凹測度の下で多項式に対する次元依存なしの分散下界とフーリエ減衰（反集中）を証明し、𝐿^p球の一様測度と𝐻_n不変測度に焦点を当て、p=d が偶数のときの障害と係数が f_p に近い場合を特定する。

ABSTRACT

We begin with the observation, based on previous results, that dimension-free lower bounds on the variance of a polynomial under a log-concave measure yield dimension-free small-ball and Fourier decay estimates. Motivated by this, we establish variance bounds for polynomials on log-concave random vectors beyond the classical setting of product measures. First, we consider the family of uniform measures on the $n$-dimensional isotropic $L^{p}$ balls. We show that for a degree-$d$ homogeneous polynomial $f=\sum_{I}a_{I}x^{I}$, with $\sum_{I}a_{I}^{2}=1$, the only obstruction to a dimension-free lower bound on its variance occurs when $p=d$ is an even integer and the coefficients of $f$ are close to those of $\frac{1}{\sqrt{n}}\left\Vert x ight\Vert _{p}^{p}$. Second, we consider general isotropic log-concave measures that are invariant under coordinate permutations and reflections, and determine the minimal variance for quadratic and cubic polynomials. These variance bounds lead to new dimension-free anti-concentration results in both settings, addressing a natural extension of a question posed by Carbery and Wright.

研究の動機と目的

• 高次元の対数凹測度の下で多項式の分散、小さなボール確率、およびフーリエ減衰がどのように関連するかを明確にする。
• μ_{n,p} による等方性の𝐿^p 球の一様測度に対して次元に依存しない反集中境界を導出する。
• p=d が偶数で多項式が境界の記述 f_p に近い場合の分散下界の障害を特定する。
• 座標置換／反射に対して不変な一般的な等方性対数凹測度（𝐻_n-不変）へ解析を拡張する。
• Carbery と Wright が提起したフーリエ減衰と小球推定に関する質問の自然な拡張を扱う。

提案手法

• 対数凹性の下での分散界、小球、およびフーリエ減衰の同値性を確立する（Proposition 1.1）。
• μ_{n,p} における分散を次数 d の係数と coff_d(f) を通じた正確な L^2 フレームワークと関連付ける。
• 極座標積分公式を用いて μ_{n,p} の边縁を p-ガウス γ_p^n に関連付ける（Proposition 2.4）。
• 𝐻_n の表現論を用いて多項式空間を分解し、不変部分空間と共分散形式の固有ベクトルを研究する（Theorem 1.4, Proposition 2.13）。
• ||x||_p^d を次数-d の𝐻_n-対称多項式空間へ射影して、病的な固有ベクトルの可能性を特定する（Lemmas 2.18–2.22）。
• 特定の場合に次元に依存しないフーリエ減衰境界 |𝔽(f_* μ)(t)| ≤ C_{p,d} |t|^{-1/d} を導出する（Theorems 1.3 および 1.4）。

実験結果

リサーチクエスチョン

• RQ1 等方性対数凹測度の下で次数-d の斉次多項式が次元に依存しないフーリエ減衰を持つのはいつか。
• RQ2 等方性の𝐿^p 球の一様測度に対する次数-d の分散減衰の正確な障害は何か、特に p=d が偶数のとき。
• RQ3 対称性（𝐻_n-不変性）は高次の多項式に対して次元に依存しない反集中を保証できるか。
• RQ4 独立性仮定を超えたCarbery–Wright 型境界をどの測度・次数で拡張できるか。
• RQ5 一般の𝐻_n-不変対数凹測度の下で二次・三次多項式はどう振る舞い、最小分散はどれくらいか。

主な発見

• 対数凹性の下で分散、小球確率、およびフーリエ減衰の概念が多項式について同値である（Proposition 1.1）。
• μ_{n,p}（等方性の𝐿^p 球上の一様測度）と次数-d の斉次関数 f について coeff_d(f)=1 のとき、Var_{μ_{n,p}}(f) ≥ c_{p,d}。ただし p=d が偶数で ⟨f,f_p⟩ が大きい場合を除く。これにより |∫ e^{it f} dμ_{n,p}| ≤ C_{p,d}/|t|^{1/d} を得る。
• 𝐻_n-不変な等方性対数凹測度と次数-d の斉次 f について coeff_d(f)=1 の場合、d=3 のとき Var_{μ}(f) ≥ c、または d=2 で Var( (1/√n) ||x||_2^2 ) ≥ c のとき、|∫ e^{it f} dμ| ≤ C/|t|^{1/d} を得る。
• 偶数次数 2 における分散下界の障害は境界様のレベルセットに沿った集中の可能性に対応しており、対称性は多くの病的なケースを回避するのに役立つ。
• これらの結果は次元に依存しない反集中境界をCarbery–Wright 型の問題へ拡張し、低次（d=2,3）で立方体測度定数がほぼ最適であることを示唆する。