Matroid-Aware Spectral Certificates for Multiplicative Coverage Approximation

Abstract

We maximize the weight of edges covered by selected vertices, together with nonnegative individual rewards, under an arbitrary matroid constraint. The continuous coverage objective is quadratic and need not be concave. Our method searches projections onto a small set of directions and solves a concave subproblem for each projection center. A coverage-specific inequality converts the subproblem bounds into a multiplicative guarantee, while matroid rounding restores an integral solution. Let $A$ be the weighted adjacency matrix and $D$ the diagonal matrix of singleton values, restricted to positive-value elements after objective-preserving preprocessing. Set $\varrho=λ_{\max}(D^{-1/2}AD^{-1/2})$. For an integer budget $q\ge0$, let $τ_q$ be the smallest nonnegative threshold for which $A+τ_qD$ has at most $q$ negative eigenvalues on the span of differences of matroid bases. We obtain the factor $1-\varrhoτ_q/[2(\varrho+τ_q)]-\varepsilon$ in time $(2+q/\varepsilon)^{O(q+1)}N^{O(1)}$, where $N$ is the binary input length and a zero-over-zero loss is zero. The algorithm returns a rational upper bound on the integral optimum. A separate exact-algebraic construction produces polynomial-bit low-rank rational corrections with positive threshold slack; its proof isolates eigenvalues, keeps eigenspace bases unnormalized, and approximates scalar factors only at the final step. The numerical proposal prototype is not used to justify this complexity statement. Supplied certificates also yield robustness to locally bounded edge additions. These are threshold-dependent coverage guarantees, not a new general spectral-search principle or a universal approximation improvement.