Rigorous Statements and Proofs of the Lemmas in Simon's Algorithm for the Dihedral Coset Problem and Their Underlying Hypothesis

2026-08-17

AI Summary

This study addresses missing lemma proofs and questionable assumption validity in Simon’s algorithm for the dihedral coset problem. Employing second-moment calculations, Parseval’s identity, and covariance analysis under the ball-box model, we provide rigorous verification of three critical lemmas, correcting prior errors in probability bounds and amplitude estimation. Furthermore, we demonstrate that the core assumption of partition independence remains unsatisfied, clarifying that proving these lemmas alone is insufficient to guarantee algorithmic correctness. By filling theoretical gaps and identifying unverified dependencies, this work establishes that the correctness of the current algorithm remains uncertain, thereby providing a rigorous theoretical baseline for future research.

Abstract

In a recent preprint, Simon proposed a polynomial-time quantum algorithm for the Dihedral Coset Problem and rested the analysis on four lemmas. Three of them carry only proof sketches, and this paper gives each of those three a statement that admits a single reading together with a complete proof. Lemma 1 follows from an exact second-moment computation for the subset-sum counts, and it holds with probability tending to one in place of the constant originally claimed. The amplitude bound of Lemma 3 follows from an exact Parseval identity on the cube of measurement outcomes and holds at every threshold with no well-behavedness hypothesis, so that predicate leaves the argument entirely. For Lemma 4, we compute both balls-in-bins covariances exactly and find that the second carries a term a fixed ball count leaves out. The assumption that the distinguished group contains no faulty samples can also be dropped. The two branch amplitudes share a signed prefactor, so the counting estimates control their difference and not the ratio the lemma states. We prove the additive form and show that the closing argument consumes nothing more than that. A single hypothesis survives all of this. It asks that the partition into the two sides be fixed independently of the measured string, and the rule the algorithm gives for choosing that partition does not supply it. Establishing these four lemmas therefore does not by itself establish the correctness of the algorithm.

Problem

• Dihedral Coset Problem
• Simon's Algorithm
• Rigorous Proofs
• Quantum Algorithm Correctness

Innovation

• Dihedral Coset Problem
• Simon's Algorithm
• Rigorous Proofs
• Parseval Identity
• Independence Hypothesis