Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
Alexis de Colnet, Floris Geerts, Rihan Hai +4
Strongly simulating a quantum circuit, that is, computing an output amplitude, can be done by summing the circuit's Feynman paths: a weighted count over assignments to Boolean path…
quant-ph2026
Search-Driven Clause Learning for Product-State Quantum -SAT (PRODSAT-QSAT)
Samuel González-Castillo, Joon Hyung Lee, Alfons Laarman
We study PRODSAT-QSAT(): given rank-one -local projectors, determine whether a quantum -SAT instance admits a satisfying product state. We present a CDCL-style refutation…