[论文解读] 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 n}$ 內近似計算，其中 $\alpha < \log_2|1+\omega| \approx 0.88$，也與解決 $\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 n}$ 內近似權重枚舉器的難度，其中 $\alpha$ 為常數。
• 研究在複數點 $\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$ 個點的求值結果重構權重枚舉器的係數。
• 透過高精度多點近似在多個點的近似求值 oracle $\mathrm{WE}(\alpha)$ 和 $\mathrm{WE}_\omega(\alpha)$，對精確權重枚舉器問題進行圖靈歸約。
• 利用 $\omega = e^{i\pi/4}$ 處複數的性質，包括 $|1+\omega| = \sqrt{2+\sqrt{2}} \approx 1.847$，以界定近似誤差並確保收斂性。

实验结果

研究问题

• RQ1 二元線性碼權重枚舉器的精確求值是否對多項式層次是困難的？
• RQ2 在不解決 $\mathrm{GapP}$-完全問題的情況下，能否在加法誤差 $2^{\alpha n}$ 內近似權重枚舉器，其中 $\alpha$ 為常數？
• RQ3 在 $\omega = e^{i\pi/4}$ 處的近似求值是否也對 $\mathrm{P}^{\mathrm{GapP}}$ 是困難的，且 $\alpha < \log_2|1+\omega| \approx 0.88$？
• RQ4 能否利用量子計算技術將權重枚舉器問題歸約至量子電路中矩陣元素近似問題？
• RQ5 在 $\omega$ 處近似權重枚舉器的能力是否意味著能以高精度重建權重枚舉器的所有係數？

主要发现

• 權重枚舉器的精確求值是 $\mathrm{P}^{\mathrm{GapP}}$-完全的，意味著它對多項式層次是困難的。
• 在加法誤差 $2^{\alpha n}$ 內近似權重枚舉器是 $\mathrm{P}^{\mathrm{GapP}}$-完全的，對任意 $0 < \alpha < 1$，顯示出強烈的不可解性。
• 在 $\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$ 指數衰減，確保 $\varepsilon$-精確的 $M_j$ 評估可透過 $k = \mathrm{poly}(n, -\log \varepsilon)$ 獲得，從而實現完整係數的恢復。