This slide is a material for the “Kettei-Funo no Kai (Undecidable Party)”, a study-group on undecidability held in Tokyo. Written by Kazuhiro Inaba ( http://www.kmonos.net ), under my own understanding of the paper.
So, it may include many mistakes! For your correct understanding, please consult the original paper and/or the authors’ slide.
9. •ノイズ の限界
‣ が大きすぎると, 円と円が重なるので復元できない.
‣ 一般にノイズ の大きさは不明.
‣ ECCを適用する前に通信路のノイズが大きすぎるかどうかを知りたい.
- Locally Testable Codes
p
p
p
Error-Correcting Code (ECC)
10. •問題 (Codeword Testing for )
‣ 入力
‣ 出力
- Yes if
- No if is -far from
‣ 受信した文字列 と捉える.
- ノイズが大きすぎたら答えはNo.
‣ ただし, の中で定数bitだけアクセスできる (ランダムアクセス)
E
y ∈ {0,1}n
y ∈ Im(E)
y ϵ Im(E)
y =
y
Locally Testable Code
{0,1}n
y
are -far if .
is -far from if and are -far for any .
x, y ∈ {0,1}n
ϵ dham(x, y) ≥ ϵn
x ϵ A ⊆ {0,1}n
x y ϵ y ∈ A
15. •Hadamard Code の Tester を考える.
‣ オラクル はインデックス に対し を教えてくれる.
‣ を独立一様ランダムにサンプリングする.
‣ ならば1を出力, そうでなかければ0を出力.
‣ ならば, ある に対し は線形関数
- なので, . つまり .
‣ が -far ならば (非自明だが証明略)
V
y ∈ {0,1}2k
a ∈ {0,1}k
y[a]
a, b ∈ {0,1}k
y[a] + y[b] = y[a + b]
y ∈ Im(E) x ∈ {0,1}k
y =
𝖳
𝖳
(fx)
y[a] =
𝖳
𝖳
(fx)a = ⟨x, a⟩ y[a] + y[b] = ⟨x, a + b⟩ = y[a + b] Vy
= 1
y ϵ Pr[Vy
(1k
) = 0] = Ω(ϵ)
Testability
[Blum, Luby, Rubinfeld, 1990]
16. •LTC に対し
- は と比べてどれくらい大きいか? (rate= )
- クエリ回数
- 許容されるノイズ の大きさ ( : soundness parameter)
•理想のLTC
‣ constant rate, constant query, constant soundness ( )
‣ その存在性は重要な未解決問題だった
E: {0,1}k
→ {0,1}n
n k k/n
p p
c3
Parameters of Locally Testable Codes
y
{0,1}n
17. LTCの歴史
Hadamard code implicit
Reed-Muller code implicit
Friedl and Sudan (95)
Goldreich and Sudan (06) existence
Ben-Sasson, Sudan,
Vadhan, Wigderson (03)
construction
n = 2k
n = (1 + ϵ)k
n = k2+o(1)
n = k1+o(1)
n = k1+o(1)
There are many other important works that are not covered in this list.
24. Interactive Proof System
•対話証明 : Verifierは乱択で, かつProverに質問できる
グラフ と は非同型
G1 G2
Gi
ランダムな とランダム置換
をとり, をProverに送る.
「 は と のどちらでしょう?」
と質問する.
i ∈ {1,2} p
p(Gi)
p(Gi) G1 G2
Prover P Verifier V
•クラスIP : 対話証明で真偽が判定できる命題(判定問題)の集合
25. Interactive Proof System
グラフ と は非同型
G1 G2
b ∈ {1,2}
Prover P Verifier V
•クラスIP : 対話証明で真偽が判定できる命題(判定問題)の集合
Proverから送られてきたグラフ
を見て, 質問に答える.
と が非同型なら, ちゃんと
答えられる.
G1 G2
•対話証明 : Verifierは乱択で, かつProverに質問できる
26. Interactive Proof System
グラフ と は非同型
G1 G2
Proverから送られてきた に対し,
ならば受理.
そうでなければ拒否する.
b
i = b
Prover P Verifier V
•クラスIP : 対話証明で真偽が判定できる命題(判定問題)の集合
•対話証明 : Verifierは乱択で, かつProverに質問できる