Focs-099 [DELUXE × 2025]

Instead, Elara noticed a pattern: the deterministic classical walk, though slow, visited vertices in a sequence that mirrored the quantum probability amplitudes—if you applied a discrete Fourier transform over a finite field of characteristic 2. She spent the next six months formalizing the Galois Walk Transform .

The conjecture stated: For any finite, k-uniform hypergraph H with girth greater than 4, there exists a deterministic classical algorithm that can simulate a quantum walk on H with at most O(log N) overhead in time, where N is the number of vertices. For years, the community believed FOCS-099 to be false. Quantum walks, after all, were known to provide exponential speedups in certain search and mixing tasks. How could a classical algorithm—deterministic, no less—match them on a broad class of hypergraphs? It seemed heretical. FOCS-099

Her story ends not with a prize or a scandal, but with a new question. As she submitted the final proof to FOCS (the conference, not the journal), she wrote in the margin of her own draft: “FOCS-099: True. But what about girth 3? What about hypergraphs with weighted edges? The ghost was real—I just chased it into a larger house.” For years, the community believed FOCS-099 to be false