雑音のあるブール通信路の弱いヘリンガー不等式
A weak Hellinger inequality for noisy Boolean channels
この論文をやさしく読む
ひとことで言うと
雑音のある二元対称通信路で、特定のブール関数がヘリンガーΦエントロピーを最大にするという弱い形の予想を証明した。
何に役立つ？
情報理論とブール関数の不等式を扱う理論研究で、関連する予想や証明の検討に役立つ。実際の通信性能を測定した研究ではない。
この研究の面白いところ
3パラメータの不等式を多項式近似と計算機による正値性検査で示し、Lean 4による形式的検証も行った。
どこまで分かった？
証明したのは二元対称通信路に関するヘリンガー予想の弱い形である。予想全体が解決されたとは要旨に書かれていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
二元対称通信路について、Anantharam、Bogdanov、Chakrabarti、Jayram、Nairによるヘリンガー予想の弱い形を証明する。雑音のある通信路の入力に対するすべてのブール関数と、出力に対するすべての1ビット統計量の中で、独裁関数がヘリンガーΦエントロピーを最大にするという結果である。 証明の技術的な中心は、3つの実数パラメータに関する明示的な不等式であり、明示的な多項式近似と、計算機を使った正値性の確認によって証明する。結果はLean 4でも形式的に検証した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A weak form of the Hellinger conjecture of Anantharam, Bogdanov, Chakrabarti, Jayram, and Nair for the binary symmetric channel is proved: dictator functions maximize Hellinger $\Phi$-entropy among all Boolean functions of the input and all one-bit statistics of the output of a noisy channel. The technical heart of the matter is an explicit inequality in three real parameters, which is proved using explicit polynomial approximations and computer-assisted positivity checks. The results are also formally verified in Lean 4.
著者のコメント
19 pages; associated formalization available at https://github.com/roos-j/lean-weakhellinger
arXiv ID: 2609.28534 ／ 要約の誤りについて