{"id":"palomar/PALOMAR-2026-08-18-000001","url":"https://github.com/LionSR/LDT-comparator/tree/15f1d5b2797c67ceb9d278d0a4d576772b937e9a","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-08-18-000001-v1.json","repo":"https://github.com/LionSR/LDT-comparator","tags":["quant-ph","cs.CC","msc:81P45","msc:68Q15","quantum-info","interactive-proofs","lean-formalization"],"score":0,"title":"LionSR/LDT-comparator","trust":"high","domain":"quant-ph","source":"palomar","authors":["Sirui Lu","Ruixuan Deng","Zhengfeng Ji"],"reviews":0,"subject":"quant-ph","summary":"This project formalizes the main soundness theorem for the quantum low individual degree test. It proves that a projective two-prover strategy which passes the test admits polynomial measurements that are consistent with one another and with the provers' point measurements, with an explicit error bound.","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"verified":true,"discussed":0,"published":"2026-08-18","reactions":{},"formalized":true,"formalizes":[{"title":"Quantum soundness of the classical low individual degree test","identifier":"arXiv:2009.12982","relationship":"adapts"}]}