Back to News
quantum-computing

Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums

Matthew Amy and Lucas Shigeru Stinchcombe
Loading...
1 min read
0 likes
⚡ Quantum Brief
Researchers have demonstrated a polynomial-time classical simulation for Roetteler’s shifted bent function circuits, previously believed to resist efficient simulation. This breakthrough challenges assumptions about quantum advantage for this widely used benchmarking family. The team achieved this by developing a confluent rewriting system for symbolic sums, enabling reduction of the circuit’s path integral to its hidden shift in polynomial time. This resolves a long-standing open conjecture about the class’s simulability. Shifted bent function circuits were prized for benchmarking due to tunable non-Clifford resources and deterministic outputs, yet belonged to no known efficiently simulable class—until now. Their properties made them ideal testbeds for quantum hardware. The method leverages symbolic path integrals, a mathematical framework that bypasses traditional simulation bottlenecks. This approach could redefine how certain quantum circuits are analyzed classically. The findings, published in December 2025, underscore that even circuits designed to test quantum supremacy may yield to clever classical techniques, reshaping the boundary between quantum and classical computational power.
AI Audio Summary
0:00 / 0:00
Click to play
generated-image (60).png
Quantum News · Media Library

Quantum 9, 1926 (2025).https://doi.org/10.22331/q-2025-12-02-1926Implementations of Roetteler's shifted bent function algorithm have in recent years been used to test and benchmark both classical simulation algorithms and quantum hardware. These circuits have many favorable properties, including a tunable amount of non-Clifford resources and a deterministic output, and moreover do not belong to any class of quantum circuits that is known to be efficiently simulable. We show that this family of circuits can in fact be simulated in polynomial time via symbolic path integrals. We do so by endowing symbolic sums with a confluent rewriting system and show that this rewriting system suffices to reduce the circuit's path integral to the hidden shift in polynomial time. We hence resolve an open conjecture about the efficient simulability of this class of circuits.

Read Original

Tags

partnership
quantum-hardware

Source Information

Source: Quantum Journal

Discussion

0 professional contributions

Sign in to join this professional discussion.

Be the first to add a constructive contribution.