{"id":"arxiv/2609.22804","url":"https://arxiv.org/abs/2609.22804","tags":["math.CO"],"score":0,"title":"Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing","domain":"math.CO","source":"arxiv","authors":["Domenico Frijio"],"reviews":0,"subject":"math.CO","summary":"This work disproves the 1-leaky positive semidefinite edge-deletion conjecture and replaces it with a sharp theorem. For every leak level $\\ell$ and edge $e$, one has $|Z^+_{(\\ell)}(G)-Z^+_{(\\ell)}(G-e)|\\le 2$. More generally, if two graphs differ only on edges with both endpoints in $S$, their parameters differ by at most $|S|$. An endpoint-sensitive refinement recovers an increase of at most one whenever some minimum set for $G-e$ contains an endpoint of $e$. Both signs are sharp for every positive leak level. Joining two copies of $K_{\\ell+1}$ by a bridge gives $Z^+_{(\\ell)}(G)=2\\ell$ and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}