$B_h$-sets and perturbations in normed vector spaces

技術要約：ノルム線形空間における $B_h$ 集合と摂動

問題提起
本論文は、ノルム線形空間における $B_h$ 集合の存在と安定性について扱う。加法的なアーベル群または半群 $X$ の部分集合 $A = \{a_i : i \in I\}$ は、$h$ 個の和集合（$hA$ と表記される）のすべての要素が、$A$ の $h$ 個の要素の和として一意な表現を持つとき、$B_h$ 集合であると定義される。$B_h$ 集合（シドン集合、すなわち $B_2$ 集合を含む）の理論は、整数などの離散的な設定においては確立されているが、本研究では、標数 0 の体上のノルム線形空間という連続的な文脈におけるこれらの構造を調査する。

中心となる問題は、ある「分離された」和集合を持つ集合 $A$ が、$B_h$ 集合によって近似可能かどうかである。具体的には、和集合 $hA$ の異なる要素間の最小距離が正である（$\Delta_{hA} > 0$）与えられた集合 $A$ に対して、ある摂動された集合 $A'$ が存在し、$A'$ が $B_h$ 集合であり、かつ $A$ にいくらでも近い（$\varepsilon$-摂動）かという問いである。

手法
著者は、$g$ 進表現の性質と、ノルム空間における幾何学的摂動を組み合わせた構成的アプローチを採用している。

1. 定義とセットアップ:

   • $X$ をノルム線形空間とする。集合 $A = \{a_i\}$ の $h$ 個の和集合 $hA$ は、すべての $\sum m_i a_i$ （ここで $\sum m_i = h$ であり、$m_i$ は非負整数）からなる。
   • 分離定数は $\Delta_{hA} = \inf \{|x - x'| : x, x' \in hA, x \neq x'\}$ と定義される。
   • $A$ の $\varepsilon$-摂動とは、与えられた正の実数の数列 $\varepsilon = \{\varepsilon_i\}$ に対して、$A' = \{a'_i\}$ が $|a'_i - a_i| < \varepsilon_i$ を満たす集合のことである。

2. 小さな $B_h$ 集合の存在（補題 1）:
   証明は、任意の正の境界列 $\varepsilon_i$ に対して、原点の半径 $\varepsilon_i$ の球内に含まれる $B_h$ 集合 $W = \{w_i\}$ が非可算個存在することを確立することから始まる。これは、$g$ 進表現の一意性を利用することで達成される。十分大きな整数 $g \ge h+1$ を選択し、$w_i = g^{-j_i} w$ （ここで $|w|=1$ かつ $j_i$ は厳密に増加する整数）という形の列を構成することにより、結果として得られる集合が $B_h$ 集合であり、かつ大きさの制約を満たすことを保証する。

3. 摂動の構成（定理 1）:
   主結果は、小さな $B_h$ 集合 $W$ を元の集合 $A$ に加えることで、目的の集合 $A'$ を構成する。具体的には、$A' = \{a_i + w_i\}$ である。摂動のための係数は、$|w_i| < \min(\varepsilon_i, \frac{\Delta_{hA}}{2h})$ となるように選択される。

主要な結果
本論文は以下の定理を証明している。

定理 1: $h \ge 2$ とし、$A = \{a_i : i \in I\}$ を $\Delta_{hA} > 0$ を満たすノルム線形空間 $X$ の部分集合とする。任意の正の実数の集合 $\varepsilon = \{\varepsilon_i\}$ に対して、 $A$ の $\varepsilon$-摂動である $B_h$ 集合 $A' = \{a'_i\}$ が $X$ 内に非可算個存在する。

証明の論理:
もし $hA'$ における異なる 2 つの表現が等しい、すなわち $\sum m_i a'_i = \sum m'_i a'_i$ であるならば、これが以下を意味することを示す：
$$\sum m_i a_i - \sum m'_i a_i = \sum m'_i w_i - \sum m_i w_i$$
左辺は $hA$ の 2 つの要素の差を表す。これらの要素が異なる場合、その差の大きさは少なくとも $\Delta_{hA}$ でなければならない。しかし、右辺は $\sum (m_i + m'_i)|w_i| < 2h \cdot \frac{\Delta_{hA}}{2h} = \Delta_{hA}$ によって抑えられている。この矛盾は、左辺の要素が同一でなければならないことを意味する。したがって、等式は $\sum m_i w_i = \sum m'_i w_i$ に帰着する。$W$ は $B_h$ 集合となるよう構成されているため、この等式は係数集合 $\{m_i\}$ と $\{m'_i\}$ が同一であることを強制する。ゆえに、$A'$ は一意な表現の性質を保持する。

意義と主張
本論文は、加法的および組合せ論的な数論を連続的な領域へと拡張するものと位置づけている。著者は、$B_h$ 集合に関する研究の多くが整数や離散群に焦点を当てている一方で、実数、複素数、および $p$ 進数による連続的な類似物が Cilleruelo、Ruzsa、Nathanson によって研究されてきたと述べている。

本研究の意義は以下の点にある：

1. 一般化: 特定の数体系だけでなく、標数 0 の体上の一般的なノルム線形空間における $B_h$ 集合の存在を確立したこと。
2. 安定性: 元の和集合が十分に分離されている（$\Delta_{hA} > 0$）場合、$B_h$ 集合であるという性質が小さな摂動に対して頑健であることを証明したこと。
3. 豊富さ: 構成法は非可算個のそのような摂動された集合を与えるものであり、これは $B_h$ 集合がこれらの空間において稀な異常ではなく、適切な構成の近くに高密度に見出せることを示している。

本論文は、実験的な応用や将来の方向性を提案せず、定義された理論的枠組み内のこれらの集合の構造的性質に焦点を維持したまま、数学的な存在証明に留まっている。