リード・マラー符号の復号で反復測定をどう生かすか

We compare the performance of the RPA and CHIRRUP decoding algorithms for second-order Reed--Muller codes. The RPA algorithm recovers a binary quadratic form associated with a skew-symmetric matrix $M$, whereas CHIRRUP recovers a $\mathbb{Z}_4$-valued quadratic form associated with a symmetric matrix $P$. We describe how the Gray map connects the evaluation vectors of these forms, inducing a rank-preserving correspondence between $M$ and $P$. We analyze how Euclidean distance between evaluation vectors is governed by matrix rank differences using Delsarte--Goethals sets $DG(m,r)$. We demonstrate that CHIRRUP uses repeated measurements more effectively than RPA on these ensembles. While a kernel-aware variant of RPA improves performance on singular quadratic forms by aggregating projection directions across cosets of $\ker M$, CHIRRUP's tree search combines multiple row estimates more efficiently on $DG(m,r)$ when $r < \frac{m-1}{2}$, outperforming vanilla RPA.