[論文レビュー] Improved Lower Bounds for Approximating Parameterized Nearest Codeword and Related Problems Under ETH

Shuangle Li, Bingkai Lin+1 more|arXiv (Cornell University)|Jan 1, 2024

DNA and Biological Computing被引用数 1

ひとこと要約

本稿は、Fp 上のパラメータ付き最尤デコーディング問題（k-MLDp）に対する新しい確率的自己還元を提示し、パラメータの吹き上がり k′ = O(k² log k) を伴い、f(k)n^O(1) 時間で (3/2 − ε)-ギャップを達成する。ランダム化された指数時間仮説（ETH）のもとで、k-MLDp（およびその双対問題 k-NCPp）は f(k) · n^{o(√k / log k)} 時間で (3/2 − ε) 要因以内に近似可能でないことが示され、k-NCPp、k-MDPp、k-CVPp、k-SVPp に対する従来の ETH に基づく下界を、すべての ℓp 範囲で著しく改善する。

ABSTRACT

In this paper we present a new gap-creating randomized self-reduction for parameterized Maximum Likelihood Decoding problem over $\mathbb{F}_p$ ($k$-MLD$_p$). The reduction takes a $k$-MLD$_p$ instance with $k\cdot n$ vectors as input, runs in time $f(k)n^{O(1)}$ for some computable function $f$, outputs a $(3/2-\varepsilon)$-Gap-$k'$-MLD$_p$ instance for any $\varepsilon>0$, where $k'=O(k^2\log k)$. Using this reduction, we show that assuming the randomized Exponential Time Hypothesis (ETH), no algorithms can approximate $k$-MLD$_p$ (and therefore its dual problem $k$-NCP$_p$) within factor $(3/2-\varepsilon)$ in $f(k)\cdot n^{o(\sqrt{k/\log k})}$ time for any $\varepsilon>0$. We then use reduction by Bhattacharyya, Ghoshal, Karthik and Manurangsi (ICALP 2018) to amplify the $(3/2-\varepsilon)$-gap to any constant. As a result, we show that assuming ETH, no algorithms can approximate $k$-NCP$_p$ and $k$-MDP$_p$ within $γ$-factor in $f(k)n^{o(k^{\varepsilon_γ})}$ time for some constant $\varepsilon_γ>0$. Combining with the gap-preserving reduction by Bennett, Cheraghchi, Guruswami and Ribeiro (STOC 2023), we also obtain similar lower bounds for $k$-MDP$_p$, $k$-CVP$_p$ and $k$-SVP$_p$. These results improve upon the previous $f(k)n^{Ω(\mathsf{poly} \log k)}$ lower bounds for these problems under ETH using reductions by Bhattacharyya et al. (J.ACM 2021) and Bennett et al. (STOC 2023).

研究の動機と目的

• より弱い ETH 仮説の下で、近接符号語および関連問題のパラメータ付き近似に対するより強い細粒度時間下界を確立すること。Gap-ETH よりも弱い ETH を仮定する。
• 既存の ETH に基づく下界とより強い Gap-ETH に基づく結果とのギャップを埋めること。特に k-NCPp 及びその変種に関して。
• 従来の研究で見られる複雑なテンソル化とパラメータの吹き上がりを回避する、より単純で直接的な還元技術の開発。

提案手法

• k-MLDp インスタンスを (3/2 − ε)-ギャップを有する k′-MLDp インスタンスに変換する新しい確率的自己還元を導入。k′ = O(k² log k) で、f(k)n^O(1) 時間で実行。
• この還元を用いて、ランダム化された ETH の下で、k-MLDp は f(k) · n^{o(√k / log k)} 時間で (3/2 − ε) 要因以内に近似可能でないことを示す。
• Bhattacharyya ら（ICALP 2018）の手法を用いてギャップ拡大技術を適用し、(3/2 − ε)-ギャップを任意の定数 γ > 1 に拡張。
• Bennett ら（STOC 2023）のギャップ保存還元を組み合わせることで、k-MDPp、k-CVPp、k-SVPp に対してもすべての ℓp 範囲で下界を拡張。
• k-NCPp、k-MDPp、k-CVPp、k-SVPp の γ-近似に対する下界が、ある ε > 0（p や γ に依存）に対して f(k) · n^{o(k^ε)} 時間であることを確立。
• 還元におけるパラメータの吹き上がり、特に Haviv-Regev のテンソル化ステップを分析し、閾値グラフ構築の精緻化により、新たな手法が過剰な成長を回避することを示す。

実験結果

リサーチクエスチョン

• RQ1 より弱い ETH 仮説の下で、k-NCPp 及び関連問題に対して定数因子の近似不能性を達成できるか？（より強い Gap-ETH ではなく。）
• RQ2 ギャップ生成還元におけるパラメータの吹き上がりを小さくすることで、よりタイトな時間下界を達成できるか？
• RQ3 h = Ω(k) かつ m = O(k) の強い閾値グラフを構築することは可能か？これにより還元の効率が向上する。
• RQ4 複雑なテンソル化を避けつつ、任意の定数因子を達成できるようにギャップ生成メカニズムを単純化できるか？
• RQ5 ETH の下で、k-SVPp の下界を ℓ1 を含むすべての ℓp 範囲に拡張できるか？

主な発見

• ランダム化された ETH を仮定すると、任意の ε > 0 に対して、k-MLDp は f(k) · n^{o(√k / log k)} 時間で (3/2 − ε) 要因以内に近似可能でないことが示された。
• 新しい還元は、O(k² log k) のパラメータ吹き上がりで (3/2 − ε)-ギャップを達成し、従来の指数的パラメータ増加よりも改善された。
• Bhattacharyya らの手法によるギャップ拡大を用いて、k-NCPp および k-MDPp が、ある ε > 0（γ や p に依存）に対して f(k) · n^{o(k^ε)} 時間で任意の定数因子 γ に近似可能でないことが示された。
• k-CVPp および k-SVPp に対しても、すべての ℓp 範囲（p ≥ 1）に下界が拡張され、p > 1 では k-SVPp の結果は成り立ち、p = 1 の場合は定数が 2 に近づく。
• 従来の f(k)n^{Ω(poly log k)} 下界（BBE+21 や BCGR23 による）よりもタイトな下界が得られた。
• 従来の研究で見られる複雑なテンソル化を回避し、ETH の下での近似不能性結果への到達をより単純で直接的な道筋で実現した。