TY  - RPRT
TI  - Rigorous Statements and Proofs of the Lemmas in Simon's Algorithm for the Dihedral Coset Problem and Their Underlying Hypothesis
AU  - Yuchen Guo
AU  - Shuo Yang
PY  - 2026
UR  - https://arxiv.org/abs/2608.16598
ID  - 2608.16598
ER  -