Selecting a fixed-size subset that maximizes the determinant of a positive semidefinite kernel is the MAP problem for a size-constrained determinantal point process and the classical maximum-entropy sampling problem. Although this discrete problem is NP-hard, a classical spectral bound gives an efficiently computable ceiling using the leading eigenvalues. The same ceiling is the exact optimum of the associated Stiefel relaxation, so the continuous problem is already solved by the leading eigenspace. We study what this eigenspace implies for discrete rounding. The leading eigenvectors induce a projection determinantal point process whose probability for a subset equals its squared coordinate volume. We prove that the gap between the determinant of any subset and the spectral ceiling is at most its negative log-probability under this distribution. Consequently, the integrality gap is bounded by the min-entropy and equals it when the kernel rank matches the subset size. Projection-DPP rounding also has an expected gap bounded by the Shannon entropy and admits a high-probability additive guarantee. These results identify leading-subspace localization, rather than eigenvalue decay alone, as the geometry controlling roundability. This analysis yields CertDPP, a matrix-free pipeline that computes the leading eigenspace, draws projection-DPP samples, optionally improves them by determinant-increasing swaps, and reports the gap from a verified spectral ceiling. Controlled experiments validate the entropy identities, compare with exact MAP on small instances, and demonstrate linear scaling in the ground-set size for the rounding stage.

翻译：暂无翻译