Capacity of Uniform Noise Channels Under Average Input Power Constraints

技術要約：平均入力電力制約下における一様雑音チャネルの容量

問題提起
本論文は、平均入力電力制約 $E[X^2] \le u$ の下での、出力 $Y = X + Z$（ここで $Z$ は中心化された区間 $[-v, v)$ 上の一様分布に従う）という加法性雑音チャネルの容量に関する、情報理論における長年の未解決問題に取り組んでいる。シャノンの基礎的な研究はガウス雑音に対する容量を確立しており、その後の研究では振幅制約（$|X| \le u$）の下での一様雑音のケースが解決されているが、平均電力制約の下での一様雑音の容量は未解決のままであった。一般的な加法性チャネルに対する既存の境界は、この設定においては鋭くない。また、一様分布は滑らかさ（例：テールの正値性や解析性）を欠いているため、標準的な解析手法を用いることは困難である。

手法
核心となる手法上の革新は、一様雑音チャネルの出力密度に関する特定の**周期化恒等式（periodization identity）**を特定し、それを活用することである。著者らは、入力 $X$ が $Z \sim \text{Unif}([-v, v))$ と独立である場合、格子 $\Lambda_v = 2v\mathbb{Z}$ に関する出力密度 $f_Y$ の周期化は定数になることを観察している。具体的には：
$$\sum_{k \in \mathbb{Z}} f_Y(s + 2kv) = \frac{1}{2v}, \quad \forall s \in [-v, v).$$
これは、入力分布に関わらず、出力の $2v$ を法とする分布が一様分布になることを意味している。

この観察により、相互情報量の最大化問題（これは、二次モーメント制約の下で出力微分エントロピー $h(Y)$ を最大化することと等価である）が、周期化された密度に関する線形等式制約を持つ最適化問題へと変換される。著者らは、フーリエ解析的手法、特にポアソン和公式を用いて、ガウスカーネルの和として定義される関数 $\Theta_{\lambda, v}(s)$ を分析している。彼らは、$\Theta_{\lambda, v}$ から導出される特定の分布の二次モーメントを表す関数 $Q_v(\lambda)$ を定義し、その厳密な単調性を証明することで、電力制約とラグランジュ乗数 $\lambda$ の間の一意な写像を確立した。

主要な貢献および結果
本論文は、チャネル容量および容量達成分布の明示的かつ閉じた形式による特徴付けを提供している：

1. 容量の式： 容量 $C(u, v)$ は以下のように与えられる：
   $$C(u, v) = \lambda(u + v^2/3) + \frac{1}{2v} \int_{-v}^{v} \log(\Theta_{\lambda, v}(s)) \, ds$$
   ここで、$\lambda = \lambda(u, v)$ は $Q_v(\lambda) = u + v^2/3$ を満たす一意な正の解である。

2. 出力分布： 一意の容量達成出力密度 $g_{\lambda, v}(y)$ は絶対連続であり、以下の形式をとる：
   $$g_{\lambda, v}(y) = \frac{\exp(-\lambda y^2)}{2v \Theta_{\lambda, v}([y]_v)}$$
   ここで、$[y]_v$ は $y$ の $[-v, v)$ における $2v$ を法とする剰余を表す。

3. 入力分布： 論文では、一意の容量達成入力密度 $f_X$ を導出している。これは（振幅制約下で見られる離散的な分布とは対照的に）絶対連続である。この密度は、出力分布のパラメータを用いた級数として表現される。

4. 正則性： 著者らは、最適な入力分布および出力分布の両方がルベーグ測度に関して絶対連続であることを証明しており、この特定の雑音型における最適入力の構造的な性質に関する疑問を解決している。

意義
本論文は、先行文献において明示的に未解決とされていた、平均電力制約下の一様雑音に関する容量および最適分布の決定という特定の問いに決着をつけるものである。その意義は以下の点にある：

• 正確な特徴付け： 緩い境界に頼るのではなく、容量と分布の精密な解析的表現を提供している。
• 構造的洞察： 最適な入力が絶対連続であることを示し、振幅制約シナリオで見られる離散的な解と区別している。
• 手法の進展： 滑らかさやテールの特性を欠いているために解析が困難であった雑音分布（一様分布）に対して、フーリエ解析的手法の適用を可能にする周期化恒等性を導入した。
• 文脈的関連性： 得られた密度は視覚的にはガウス分布に似ている（ガウス入力が対数凹雑音の容量の0.254ビット以内に収まるという既知の境界と一致する）が、論文は、容量を達成する正確な非ガウス密度を特定することの重要性を強調している。

著者らは、これらの特定の分布は本問題に特有のものであり、確率論の他の領域には自然には現れないと述べている。本研究は、より広範な加法性チャネルの定量的理解への一歩として提示されているが、すべての対称な対数凹雑音分布に対する一般的な理論は依然として未解決の課題であることも認めている。