本稿では、小さな健全性を持つ準線形サイズの確率的にチェック可能な証明(PCP)を構築する方法を提案する。これは、高次元エクスパンダー(HDX)における最近の研究成果に基づいており、従来のグラフパワー法では達成できなかった小さな健全性を実現する。
