{"id":"arxiv/2605.29944","url":"https://arxiv.org/abs/2605.29944","tags":["quant-ph","cs.DS","cs.LO"],"score":0,"title":"Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation","domain":"quant-ph","source":"arxiv","authors":["Alexis de Colnet","Floris Geerts","Rihan Hai","Alfons Laarman","Joon Hyung Lee","Guillermo A. Pérez"],"reviews":0,"subject":"quant-ph","summary":"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 variables. The circuit's gates induce correlations among these variables, forming a graph whose structure controls several exact simulation routes. This sum-of-powers (SOP) viewpoint underlies recent simulators built on binary decision diagrams and weighted model counting. For a quadratic SOP with $n$ variables, even modulus $r$, and a rank-decomposition of its variable graph of width $k$, our dynamic program (DP)…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-28","reactions":{}}