対話型証明によるエラー補正の空間的一般理解

https://www.math.ias.edu/~avi/PUBLICATIONS/GopalanMeRaSiWi_2025.pdf

主体Aが問題xについて考える時、Aとxは時間変化した場合に互いの位置がどう遷移したかがわからない。一方、A↔︎x,B↔︎xの問題にすればA↔︎Bでxに関するスキャン情報を2回往復すれば互いのスキャン情報のエラーも含めてxのトポロジーを正確に表現できる。
なぜこれがゴレイ符号のハミング空間の様にエラー補正できるのかというと最初から離散格子空間を想定しているからである。

コミュニティがあれば勉強をしなくても大体問題のトポロジーはわかるようになるというのと同じ考え方である。