[論文レビュー] Lower Bound on the Redundancy of PIR Codes

Sankeerth Rao, Alexander Vardy|arXiv (Cornell University)|May 6, 2016

Coding theory and cryptography参考文献 3被引用数 42

ひとこと要約

本稿は、k≥3 に対して、kサーバー型プライベート情報検索（PIR）符号の冗長度に対するタイトな下界を確立し、r(r−1) ≥ 2s を満たす最小のrが、k=3およびk=4の場合に最小冗長度を正確に特定することを示している。この結果は、既存のO(√s)上界と一致し、k≥3のときの冗長度がΩ(√s)であることを証明する。

ABSTRACT

We prove that the redundancy of a $k$-server PIR code of dimension $s$ is $Ω(\sqrt{s})$ for all $k \ge 3$. This coincides with a known upper bound of $O(\sqrt{s})$ on the redundancy of PIR codes. Moreover, for $k=3$ and $k = 4$, we determine the lowest possible redundancy of $k$-server PIR codes exactly. Similar results were proved independently by Mary Wootters using a different method.

研究の動機と目的

• k≥3 であるkサーバー型PIR符号の冗長度に対する根本的な下界を特定すること。
• 既知の上界と下界の間のギャップを、PIR符号の冗長度に関して解消すること。
• O(√s)の冗長度を持つ既存のPIR符号構成の漸近的最適性を確立すること。
• 3サーバーおよび4サーバー型PIR符号の最小冗長度を正確に計算すること。
• k≥3 の場合に、O(√s)未満の冗長度が達成可能かどうかを解明すること。

提案手法

• GF(2)^n 上の可換代数を用い、二進ベクトルの成分ごとの積を定義する。
• 集合X ⊆ GF(2)^n の平方を、Xに属する異なるu,v ∈ X に対する積u·v の集合として定義する。
• ベクトル空間構造を活用して、|X²| ≤ |X|(|X|−1)/2 を示すために、補題1を適用する。
• 補題2を適用：v₁v₂ + v₁v₃ + v₂v₃ = 0 ならば、(u+v₁)(u+v₂) + (u+v₂)(u+v₃) + (u+v₃)(u+v₁) = u が成り立つ。
• フル列ランクを持つ生成行列Gを用いて、PIR条件を線形代数問題に変換する。
• 標準基底ベクトルe_i が、互いに素な列集合の和として表現可能であることを示し、行列の列に代数的制約を導く。

実験結果

リサーチクエスチョン

• RQ1 既存のkサーバー型PIR符号のO(√s)の冗長度は、k≥3 の場合に漸近的に最適であるか？
• RQ2 kサーバー型PIR符号は、O(√s)未満の冗長度を達成可能か？
• RQ3 3サーバーおよび4サーバー型PIR符号の正確な最小冗長度は何か？
• RQ4 3サーバー型PIR符号の下界は、より高いkに対しても拡張可能か？
• RQ5 成分ごとのベクトル積を用いて、PIR符号の構造を代数的に特徴づけられるか？

主な発見

• すべてのk≥3 に対して、次元sのkサーバー型PIR符号の冗長度rは、r(r−1) ≥ 2s を満たし、r = Ω(√s) であることが示される。
• 下界r(r−1) ≥ 2s はタイトであり、既知のO(√s)上界と一致しており、漸近的最適性が証明される。
• 3サーバー型PIR符号の場合、最小冗長度は、r(r−1) ≥ 2s を満たす最小の整数rであり、明示的にr = ⌈√(2s + 1/4) + 1/2⌉ で与えられる。
• 4サーバー型PIR符号の場合、最小冗長度は3サーバー型と同一であり、既知の関係ρ(s,4) = ρ(s,3)+1 とタイトな下界から導かれる。
• 証明技法は、ベクトル積の代数的変形と線形包の性質に依存しており、標準基底ベクトルがパリティ列の集合の平方の線形包に属しなければならないことを示している。
• この結果により、k≥3 のすべてのkサーバー型PIR符号が、Ω(√s)未満の冗長度を達成できないことが確認され、長年の未解決問題が解決された。