Skip to documentation

Grover Search (GroveFold)

Quantum unstructured search for low-energy peptide conformations: an arithmetic oracle marks all shapes below an energy threshold, then amplitude amplification concentrates probability on them (Khatami et al. 2023).

At a glance

ApproachGrover amplitude amplification — provable quadratic speedup over classical enumeration.
ModelsSP (integer), MR (distance-weighted, p=5), MR-MP (p=10).
OracleDraper-QFT arithmetic: accumulate → compare to E_th → phase kickback → uncompute.
Optimal stepsk_opt = ⌊π/4·√(N/M)⌋ (SP) / exact enumeration (MR).
ValidatedP(answer) 97.9–100% at k_opt; amplification up to 256×; answer states match paper Tables S1–S3.