技術要約：タメな集合（Tame Sets）における有効な準解析的レメス不等式

1. 問題設定

古典的なレメス不等式は、多項式のドメイン $K$ 上の最大ノルムを、正の測度を持つ部分集合 $E \subset K$ 上の最大ノルムによって抑えるものである。具体的には、次数 $d$ の多項式に対して、比 $\|p\|_K / \|p\|_E$ は $d$ と $E$ の相対的な測度に依存する定数によって制御される。本論文は、このような不等式を、$\mathbb{R}^n$ における「タメな幾何学（tame geometry）」を持つ広範なコンパクト集合上の準解析的デンジョー・カルレマン級数 $C^M$ へと拡張することを目的としている。

核心となる課題は、準解析関数は有限次数の多項式ではなく、導関数の境界列 $M = (M_j)$ によって決定されることである。したがって、「次数」は、重み列 $M$ と関数の大きさから導かれる有効な複雑性パラメータである**バング次数（Bang degree）**に置き換えられなければならない。さらに、幾何学的設定は凸体を超えて、尖点（cusp）や劣解析的な構造を持つ集合へと拡張する必要があり、非凸で「太った（fat）」コンパクト集合を扱う統一的な枠組みが求められる。

2. 手法

著者は、近似理論、o-極小幾何学、および実解析の技術を統合して用いている：

• 準解析的重みとバング次数: クラス $C^M$ を定義するために、重みの列 $\mu = (\mu_j)$ を利用する。バング次数 $D_\mu(b)$ は、列 $\mu$ と関数のノルムの下限 $b$ から導かれる非負整数として導入される。この整数が、不等式における有効な次数として機能する。
• 許容集合 ($\mathcal{K}(\mathbb{R}^n)$): 幾何学的枠組みは、**ピエルチャラ（Pierzchala）**による許容性の概念によって定義される集合群に基づいている。これらの集合は、制御されたヤコビアンを持つ一様な多項式パラメータ化を許容する。このクラスには、すべての凸体、ヘルダー境界を持つ太ったコンパクト集合、および $\mathbb{R}_{CM}$（制限された $C^M$ 関数によって生成される）において定義可能なすべての太ったコンパクト集合が含まれる。
• 単変数および凸体への還元: 許容集合上の多変量問題を、以下のステップを経て単変数問題へと還元する戦略をとる：
  1. ベクトル値関数に対する単変数レメス不等式（Nazarov, Sodin, Volberg による結果の一般化）。
  2. 凸体上の多変量不等式。
  3. 星状集合の多項式写像による像としての、許容集合の幾何学的分解。
• 合成の評価: $C^M$ 滑らかな関数と多項式曲線の合成の導関数を評価するという、極めて重要な技術的ステップが含まれる。これには、合成の下で重み列がどのようにシフトするかを決定するために、ベルンシュタインの補題とコーシーの評価を用いて注意深い推定を行う必要がある。

3. 主要な貢献と結果

3.1. 主要なレメス不等式

中心的な結果（定理 1.1 および定理 4.13）は、タメな集合 $K$ 上の準解析級数 $C^M$ に属する関数 $f$ に対して、最大ノルムが以下のように抑えられることを確立している：
$$\|f\|_K \le C_N \left( \frac{|K|^{\nu_K}}{|K|^{\nu_K} - (|K| - |E|)^{\nu_K}} \right)^N \|f\|_E$$
ここで：

• $N = 2 D_{a_K \mu}(b_0/M_0)$ は、$K$ の幾何学（$a_K$ を通じて）および $f$ の大きさ（$b_0$ を通じて）に依存するバング次数である。
• $\nu_K \in (0, 1]$ は、$K$ のみに依存する幾何学的定数である。
• $C_N$ は、$N$ と重み列に依存する明示的な定数である。
• $a_K$ は、$K$ の直径および $K$ をパラメータ化する多項式写像の次数に関連する定数である。

多項式のレメス不等式とは異なり、次数 $N$ は固定されておらず、重み列に対する関数の大きさによって決定される。

3.2. 定量的帰結

本論文は、主要なレメス不等式からいくつかの明示的な不等式を導出している：

• 劣レベル集合の体積: $|f(x)| \le t$ となる集合の測量に関する明示的な境界を示し、小さな値が占める体積がバング次数によって制御されることを示している（系 1.6）。
• 逆ヘルダー不等式: $0 < q < p \le \infty$ に対する $L^p$ ノルムと $L^q$ ノルムの比較。定数は $N$ と $K$ の幾何学に明示的に依存する（系 1.7）。
• 可積分性: $|f|^{-\alpha}$ が $0 < \alpha < 1/N$ において可積分であることを証明している（系 1.8）。
• 平均振動: $\log |f|$ の平均振動に関する境界。ただし、論文では $N$ が関数の大きさに依存するため、これが一般に BMO に属することを意味しない旨を注記している（系 1.9）。
• ロジャース（Lojasiewicz）不等式: $f$ の零点近傍における消失の次数および勾配の評価に関する明示的な境界。例えば、$|\nabla f(x)| \ge c |f(x)|^\alpha$ において、明示的な $c$ と $\alpha$ はバング次数と集合 $K$ の「厚み」に依存する（系 1.11, 1.12, 1.13）。
• ハーニーク（Harnack）不等式: 非消滅関数 $f$ と $1/f$ の両方に適用されたレメス不等式から導かれる明示的な定数を用いて、最大値と最小値を比較する境界を示す（系 1.14）。
• マルコフ（Markov）不等式: バング次数によって与えられる零点の個数の境界を利用して、$f$ の導関数を $f$ のノルムによって抑える上界を与える（系 1.15）。
• 振動積分: 位相 $f$ が準解析的な場合の $\int e^{i\lambda f(x)} g(x) dx$ 型の積分の減衰推定。減衰率は、二階導関数のバング次数によって決定される $\lambda^{-1/(N+2)}$ である（系 1.16, 1.17）。

3.3. ベクトル値への一般化

重要な技術的貢献は、これらの結果をベクトル値写像 $f: L \to \mathbb{R}^m$ へと拡張したことである。本論文は、成分ごとに考えるだけでは不十分であり、過大評価を避けるために「次数」 $N$ が全成分の同時挙動を考慮しなければならないことを強調している（注意 1.2）。

4. 意義と主張

本論文は、広範な非凸なタメな集合上の準解析関数に対する**定量的小形性伝播原理（quantitative propagation-of-smallness principle）**を確立したと主張している。その意義は以下の点にある：

1. 明示的な定数: 多くの o-極小幾何学や準解析理論において、定数が存在的または未指定であるのに対し、本研究はバング次数と幾何学的パラメータに依存する明示的かつ計算可能な定数を提供している。
2. 統一: 古典的な多項式レメス不等式、その凸多変量一般化、および既往の単変数準解析結果を、タメな集合（劣解析的および制限された $C^M$ 定義可能集合を含む）に適用可能な単一の枠組みへと統一した。
3. 有効な複雑性: 多項式の次数と同様の複雑性パラメータとしてバング次数を導入することで、代数幾何学的な直感（例：零点の数、消失の次数）を、準解析関数の解析的な設定へと翻訳することを可能にした。
4. 応用: 導出された不等式（Lojasiewicz, Harnack, Markov, 振動積分）は、解析性が制約として強すぎるが滑らかさだけでは不十分な設定（特に o-極小構造の文脈）において、有効な解析ツールを提供する。

著者は、バング次数が関数の大きさに依存すること（ゼロ点付近で無限大に収縮すること）や、平均振動の結果が一般に準解析関数の BMO 性を確立するまでには至っていないことなど、限界についても控えめなトーンで述べている。本研究は、タメな幾何学における有効な定量的解析への基礎的な一歩として提示されている。