Sharp margin-based generalization bounds for realizable SVM

Let the exact homogeneous hard-margin support vector machine be trained on m independent observations from a Borel probability law on a real Hilbert space. We prove that, with score zero counted as an error, there is a universal numerical constant C such that [ ( γ m>0, (u m)> C over m ( K m+ 1δ ) ) δ.] Here γ m is the empirical homogeneous margin, u m is the exact minimum-norm unit-margin separator, r m is the largest training radius, and K m:=r m 2 2=r m 2/γ m squared on γ m>0. The proof is driven by a deterministic deletion problem. Given vectors x 1,,x n in the unit ball, delete a set B of constraints and let u B be the closest point to the origin that satisfies every retained unit-margin constraint. Suppose that squared k and that every deleted vector has nonpositive score under u B. We prove that a family of such deletion sets of cardinality q has size at most (8k+2q). The conceptual step is an exact identity obtained from the KKT representation of u B. For a random deletion set, the identity converts the mean squared spread of the separators into a weighted sum of score deficits. It therefore forces a coordinate whose deletion status separates the two conditional means by a quantitatively large amount. Revealing that coordinate decreases the conditional separator variance enough to control the binary entropy of the split. An entropy induction gives the deletion count, and an exact factorial ghost-sample identity converts that count into the stated high-probability SVM bound.