[論文レビュー] An Improved Linear Programming Bound on the Average Distance of a Binary Code

Lei Yu, Vincent Y. F. Tan|arXiv (Cornell University)|Oct 21, 2019

Algorithms and Data Compression参考文献 23被引用数 7

ひとこと要約

この論文は、Fu, Wei, and Yeungの線形計画法定式化の双対問題に対するより優れた実行可能解を構築することにより、二値符号の最小平均ハミング距離に関する線形計画法の境界を改善している。著者らは、$0 < a \leq 1/2$ に対してすべての $a$ について漸近的に最適な境界を達成し、さらにその手法を用いてさまざまな次数の論理関数のフーリエ重みに関する境界を導出している。

ABSTRACT

Ahlswede and Katona (1977) posed the following isodiametric problem in Hamming spaces: For every $n$ and $1\le M\le2^{n}$, determine the minimum average Hamming distance of binary codes with length $n$ and size $M$. Fu, Wei, and Yeung (2001) used linear programming duality to derive a lower bound on the minimum average distance. However, their linear programming approach was not completely exploited. In this paper, we improve Fu-Wei-Yeung's bound by finding a better feasible solution to their dual program. For fixed $0

研究の動機と目的

• サイズ $M = \lceil a 2^n \rceil$ に対して、二値符号の最小平均ハミング距離に関する線形計画法境界を改善すること。
• Fu-Wei-Yeungの線形計画法定式化の双対問題を、より優れた実行可能解を構築することでより効果的に活用すること。
• $n \to \infty$ のとき、Fu-Wei-Yeungの線形計画法アプローチによって得られるすべての漸近的に達成可能な境界を特徴付けること。
• 改善された線形計画法技術を用いて、次数 $m$ の論理関数のフーリエ重み $\mathbf{W}_m$ の上界を導出すること。
• 符号の平均距離と対応する論理関数の1次フーリエ重みとの間にきわめて明確な関係を確立すること。

提案手法

• 双対距離分布を用いて、平均距離最小化問題を線形計画問題として定式化する。
• 強い双対性を適用して、元の最小化問題を双対の最大化問題に変換する。
• パrameter $a = M/2^n$ に依存する、Fu-Wei-Yeungが用いた定数解 $(0,\dots,0,1/2)$ より優れた新しい双対問題の実行可能解を構築する。
• $n \to \infty$ のとき、すべての $0 < a \leq 1/2$ に対して、新しい実行可能解が漸近的に最適であることを証明する。
• 平均距離と1次フーリエ重みの関係式 $ \mathbf{W}_1 = 4a^2(n - 2D(A)) $ を用いて、$D(A)$ に関する境界を $\mathbf{W}_1$ に関する境界に翻訳する。
• 同様の線形計画法的手法を用いて、$m \geq 2$ の高次フーリエ重み $\mathbf{W}_m$ の境界を拡張して導出する。

実験結果

リサーチクエスチョン

• RQ1 Fu, Wei, and Yeungが提示した二値符号の最小平均ハミング距離に関する線形計画法境界を、双対問題の実行可能解のより良い選択により改善できるか？
• RQ2 $n \to \infty$ のとき、$0 < a \leq 1/2$ に対して、Fu-Wei-Yeungの定式化における双対問題の漸近的最適値は何か？
• RQ3 改善された境界は、特に1次フーリエ重みに関して、論理関数のフーリエ重みとどのように関係しているか？
• RQ4 線形計画法アプローチを、論理関数の高次フーリエ重みの境界を求めるために拡張できるか？
• RQ5 新しい実行可能解は漸近的に最適であり、かつ元の線形計画法フレームワークから得られるすべての境界を捉え込んでいるか？

主な発見

• 著者らは、双対線形計画問題に対するより優れた実行可能解を構築し、Fu, Wei, and Yeungの以前の境界を厳密に改善している。
• $M = \lceil a 2^n \rceil$ かつ $0 < a \leq 1/2$ の場合、新しい境界は $n \to \infty$ のとき双対問題の漸近的最適値に達している。
• 改善された境界により、$ D(A) \geq \frac{n}{2} - \frac{1}{4a} + o(1) $ が得られ、$a \in (0, 1/2]$ 全体で双対問題の漸近的最適性と一致する。
• $a = 1/2$ および $a = 1/4$ では境界がタイトであり、部分超立方体符号で等号が成立する。
• この手法により、Fu-Wei-Yeungの線形計画法フレームワークを用いたすべての漸近的に達成可能な境界の完全な特徴付けが可能である。
• このアプローチは、$m=1$ および $m=2$ に対して明示的な式が得られるように、論理関数の $m$ 次フーリエ重み $\mathbf{W}_m$ の上界を導出するために拡張されている。