Domenico Frijio

Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing

This work disproves the 1-leaky positive semidefinite edge-deletion conjecture and replaces it with a sharp theorem. For every leak level ℓ and edge e, one has |Z⁺₍ℓ₎(G) − Z⁺₍ℓ₎(G − e)| ≤ 2. More generally, if two graphs differ only on edges with both endpoints in S, their parame...

Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing

This work disproves the 1-leaky positive semidefinite edge-deletion conjecture and replaces it with a sharp theorem. For every leak level ℓ and edge e, one has |Z⁺₍ℓ₎(G) − Z⁺₍ℓ₎(G − e)| ≤ 2. More generally, if two graphs differ only on edges with both endpoints in S, their parame...