{"id":"arxiv/2605.11056","url":"https://arxiv.org/abs/2605.11056","tags":["math.CO"],"score":0,"title":"Diagonal parity and loop toggling for symmetric matrices over $\\mathbb F_2$","domain":"math.CO","source":"arxiv","authors":["Mohsen Aliabadi"],"reviews":0,"subject":"math.CO","summary":"Let $M$ be a symmetric matrix over $\\mathbb{F}_2$, and let $\\operatorname{diag}(M)$ be its diagonal vector. It is known that $\\operatorname{diag}(M)\\in\\operatorname{Im}(M)$. Thus the affine system $Mx=\\operatorname{diag}(M)$ is always solvable. We strengthen this existence statement to a parity rigidity theorem: every solution satisfies $\\operatorname{diag}(M)^T x\\equiv\\operatorname{rank}(M)\\pmod{2}$. For graph matrices, this gives a common extension of Sutner's odd-domination theorem and Batal's parity theorem from closed-neighborhood matrices $A(G)+I$ to arbitrary partially looped graph…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}