Pandey Parity Conjecture for Generalized Petersen Graphs
Prior state unknown→disproved
For every $n \ge 2k + 1$, is the independence polynomial of $GP(n, k)$ real-rooted if and only if $k$ is even? Exact Sturm counts refute both directions.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review