ビットが消える通信路の容量を高精度に挟む
Binary Deletion Channel Capacity to Within One Hundredth of a Bit
この論文をやさしく読む
ひとことで言うと
送った0と1の一部が消える通信路について、理論上の通信能力を上下から高精度に挟む研究です。厳密な値そのものを求めたのではなく、近似の誤差を保証しています。
何に役立つ？
削除誤りのある通信で、達成できる通信率と理論限界の差を評価する基礎になります。検証用の数値入力とプログラムを提示する構成です。
この研究の面白いところ
特定の削除確率だけでなく、全範囲に一様な誤差保証を与えています。有限の計算機検証と、確率間をつなぐ解析的な議論を組み合わせます。
どこまで分かった？
0.0095ビット未満は上下界の中点を使う容量近似の誤差です。下界による達成率の容量との差は0.019ビット以内であり、両者は別の保証です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
二元削除通信路の正確な容量は、達成可能な通信率と逆定理の境界について数十年研究されてきたにもかかわらず、未解決です。本研究では、すべての削除確率にわたり一様に、送信ビットあたりの誤差が0.0095ビット未満となる、計算機援用の近似を確立します。削除確率を一様に重み付けした、認証済み誤差上界の平均は0.006522未満です。推定値は、明示的な下界と上界の中点です。 逆定理については、定常情報源への帰着と、許されるすべての入力配置を覆う有限個の不等式を組み合わせます。有限窓の外側にある観測できない入力を制御するため、二つの構成を用います。一つは共通の外側の残存列を使い、省略された削除パターンを評価します。もう一つはエントロピー項を打ち消し、外側の確率が線形に入るようにします。 下界では、有限状態入力について、出力エントロピーの推定と、整合する削除マスクの選び出した互いに素な個数計数を組み合わせます。独立な連続区間からなる入力では、出力の連続区間の境界に関する追加の不確実性を保持します。方向を管理した数値検証によって有限の不等式を確立します。その後、削除確率の間の解析的な比較によって、各点の境界をパラメータ全域へ拡張します。 下側の端点は、漸近的な符号化の意味で容量から0.019ビット以内の通信率を与えます。導出、記録された計算費用、結果の検証に必要な数値入力とプログラム一式を提供します。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The exact capacity of the binary deletion channel remains unknown despite decades of work on achievable rates and converse bounds. We establish a computer-assisted approximation whose error is below $0.0095$ bits per transmitted bit, uniformly over all deletion probabilities. The mean certified error bound, with uniform weighting of deletion probability, is below $0.006522$. The estimate is the midpoint of explicit lower and upper bounds. For the converse, a stationary-source reduction is combined with finite inequalities covering every allowed input configuration. Two constructions control the unobserved input beyond a finite window: one uses a common outside survivor sequence and bounds omitted deletion patterns, while the other cancels an entropy term to make outside probabilities enter linearly. For the lower bound, finite-state inputs combine output-entropy estimates with selected disjoint counts of compatible deletion masks; independent-run inputs retain additional uncertainty about output-run boundaries. Directed numerical checks establish the finite inequalities. An analytic comparison between deletion probabilities then extends the pointwise bounds over the entire parameter range. The lower endpoint supplies rates within $0.019$ bits of capacity in the asymptotic coding sense. We give the derivations, recorded computational costs, and complete numerical inputs and programs needed to verify the result.
著者のコメント
122 pages. Source, exact certificate tables, and verification programs: https://github.com/anadim/binary-deletion-channel-capacity
arXiv ID: 2609.19412 ／ 要約の誤りについて