[論文レビュー] Hardness of approximating the weight enumerator of a binary linear code

M. Vyalyi|ArXiv.org|Apr 30, 2003

Coding theory and cryptography参考文献 8被引用数 6

ひとこと要約

本稿では、2進線形符号の重み列挙子の近似の計算的困難性を確立し、$\alpha < \log_2|1+\omega| \approx 0.88$ の場合、$2^{\alpha n}$ の加法的誤差内で近似評価を行うことすら、$\mathrm{GapP}$ 複雑度クラスに属する問題を解くのと同程度に困難であることを示している。量子計算技術を用いて、著者らは重み列挙子問題が $\mathrm{P}^{\mathrm{GapP}}$-完全であることを証明し、多項式階層に対して困難であることを示している。また、$\omega = e^{i\pi/4}$ における重み列挙子のこのような精度での近似も $\mathrm{P}^{\mathrm{GapP}}$-完全であることが示された。

ABSTRACT

We consider the problem of evaluation of the weight enumerator of a binary linear code. We show that the exact evaluation is hard for polynomial hierarchy. More exactly, if WE is an oracle answering the solution of the evaluation problem then P^WE=P^GapP. Also we consider the approximative evaluation of the weight enumerator. In the case of approximation with additive accuracy $2^{αn}$, $α$ is constant the problem is hard in the above sense. We also prove that approximate evaluation at a single point $e^{πi/4}$ is hard for $0

研究の動機と目的

• 2進線形符号の重み列挙子を評価する計算複雑度を特定すること。
• 定数 $\alpha$ に対して、重み列挙子を加法的誤差 $2^{\alpha n}$ の範囲で近似する問題の困難性を分析すること。
• $\omega = e^{i\pi/4}$ における近似評価が計算的に困難であるかどうかを調査すること。
• 量子計算と符号理論的問題の複雑度の間の関係を確立すること。
• 重み列挙子問題が $\mathrm{P}^{\mathrm{GapP}}$-完全であることを示し、多項式階層に対して困難であることを示すこと。

提案手法

• 基底 $\{\mathop{\mathrm{CNOT}}, H, T\}$ を持つ量子回路を用いて、量子計算における行列要素問題から重み列挙子問題への還元。
• ワイヤード積構成を用いて、既存の符号から新しい符号を構築し、重み列挙子間の再帰的関係を可能にする。
• ワイヤード積符号の重み列挙子関係 $w_{A\mathbin{\wr}B}(q) = \sum_{a\in A} q^{n_2|a|} w_B(1 + q^{n_1 - 2|a|})$ の導出。
• 逆バーデルモンド行列技術を用いて、$n+1$ 点での評価から重み列挙子の係数を再構成。
• 高精度の複数点での近似評価オракル $\mathrm{WE}(\alpha)$ および $\mathrm{WE}_\omega(\alpha)$ を用いた、正確な重み列挙子問題のチューリング還元。
• $\omega = e^{i\pi/4}$ における複素数の性質、特に $|1+\omega| = \sqrt{2+\sqrt{2}} \approx 1.847$ を用いて、近似誤差を抑え、収束を保証。

実験結果

リサーチクエスチョン

• RQ1 2進線形符号の重み列挙子の正確な評価は、多項式階層に対して困難であるか？
• RQ2 定数 $\alpha$ に対して、$\mathrm{GapP}$-完全問題を解かずに、重み列挙子を加法的誤差 $2^{\alpha n}$ の範囲で近似できるか？
• RQ3 重み列挙子の $\omega = e^{i\pi/4}$ における近似評価も、$\alpha < \log_2|1+\omega| \approx 0.88$ の場合に $\mathrm{P}^{\mathrm{GapP}}$-困難であるか？
• RQ4 量子計算技術を用いて、重み列挙子問題を量子回路における行列要素近似問題に還元できるか？
• RQ5 重み列挙子の $\omega$ における近似が、高精度で重み列挙子のすべての係数を再構成可能であることを示せるか？

主な発見

• 重み列挙子の正確な評価は $\mathrm{P}^{\mathrm{GapP}}$-完全であり、多項式階層に対して困難であることを示唆している。
• 加法的誤差 $2^{\alpha n}$ の範囲での重み列挙子の近似評価は、任意の $0 < \alpha < 1$ に対して $\mathrm{P}^{\mathrm{GapP}}$-完全であり、強い不計算可能性を示している。
• $\omega = e^{i\pi/4}$ における近似評価は、$0 < \alpha < \log_2|1+\omega| \approx 0.88$ の場合に $\mathrm{P}^{\mathrm{GapP}}$-完全であり、鋭い閾値を確立している。
• 重み列挙子問題は、逆バーデルモンド行列と高精度の点評価を用いたチューリング還元により $\mathrm{WE}(\alpha)$ および $\mathrm{WE}_\omega(\alpha)$ に還元可能である。
• ワイヤード積構成を用いて、合成符号の重み列挙子間の再帰的関係を導出し、係数の誤差有界な再構成を可能にした。
• 還元における近似誤差は $k$ に関して指数関数的に減少し、$k = \mathrm{poly}(n, -\log \varepsilon)$ のとき $\varepsilon$-精度の $M_j$ の推定が得られ、全係数の回復が可能である。