Diagonal parity and loop toggling for symmetric matrices over $\mathbb F_2$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.11056
curl -X POST /api/v1/records/arxiv/2605.11056/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.11056/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'