Blueprint for arXiv:2009.12982
Quantum Soundness of the Classical Low Individual Degree Test

Bibliography

con26a

The MIPStarRE contributors. The constant in the completion-route orthonormalization theorem. Paper-gap note issue-1032-orthonormalization-constant, MIPStarRE, 2026. https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1032-orthonormalization-constant.pdf.

con26b

The MIPStarRE contributors. The large-\(k\) side condition in the main induction. Paper-gap note issue-906-main-formal-k-bound, MIPStarRE, 2026. https://sirui-lu.com/MIPStarRE/paper-gaps/issue-906-main-formal-k-bound.pdf.

con26c

The MIPStarRE contributors. The zero-sampling boundary in the main formal theorem. Paper-gap note issue-422-main-formal-zero-k-boundary, MIPStarRE, 2026. https://sirui-lu.com/MIPStarRE/paper-gaps/issue-422-main-formal-zero-k-boundary.pdf.

JNV\(^{+}\)20

Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. Quantum soundness of the classical low individual degree test, 2020. arXiv:2009.12982.

Sch80

Jacob T. Schwartz. Fast probabilistic algorithms for verification of polynomial identities. Journal of the ACM, 27(4):701–717, 1980.

Zip79

Richard Zippel. Probabilistic algorithms for sparse polynomials. In Proceedings of the 2nd International Symposium on Symbolic and Algebraic Manipulation, pages 216–226, 1979.