クエリが各レイヤーで独立して選択される FRI の「あまり賢くない」バージョンを正式に分析した論文を知っている人はいますか?(証明の長さが 2 倍になります)。

特に、あなたが悪い結果について挙げた2つの例は問題ではないと思います - つまり、コードワードから遠く離れたところに*開始*したかどうかを検出するためにfriが必要なだけです、コードワードが切り替わったかどうか、またはコードワードから遠く離れて終了したかどうかは気にしないと思います(検証者が最終層で単語全体を読み取るため、実際にはキャッチされます)

@GuilleAngerisところで、この論文では、私たちがUDRにいるという仮定はあるのでしょうか?

@UHaboeck @GiacomoFenzi 私の動機は、最小の「編集距離」で論文を修正することでした。特に、MCAの少し複雑な悪いイベントではなく、折りたたむだけで距離が減らない悪いイベントを残したかったのです。

@UHaboeck @GiacomoFenzi この近接前のギャップペーパーからの誤った分析を使用していた原因を修正します

@UHaboeck @GiacomoFenzi つまり、今日の初めに私の洞察の1つは、独立したクエリFRIの場合、重み付けまたは相互ではなく、「regluar」CAだけで分析できるということでした。 しかし、私はこれをあまりにも早くやったので、明日は質素なパイを食べるかもしれません:)

@UHaboeck @GiacomoFenzi そしてその上...。すべてのレイヤーでクエリを実行するのではなく、最適なエラー範囲を取得するために、毎回チェックするランダムなレイヤーを選択する必要があります。 これは (1-delta/t)^t が t>1 の (少なくとも一部の値) に対して 1-delta より大きい

@aszepieniec *私たちは両方ともタイプミスを持っています - それは(1-1 / r)^areではありません(1-r)^r

@aszepieniec *最初の「this」は上記のツイートを参照し、2番目の「this」はリンクされたツイートを参照:)

@aszepieniecより正確には、特定の距離デルタでは、indクエリFRIの成功確率をe ^ {-delta}でバインドできるようですが、通常のFRIでは、たとえばdelta = 1 / 2の場合に~0.1小さい1-deltaを取得できます