10.07.2015 Views

The error rate of learning halfspaces using kernel-SVM

The error rate of learning halfspaces using kernel-SVM

The error rate of learning halfspaces using kernel-SVM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

5.1.3 Harmonic Analysis on the SphereAll the results stated here can be found in (Atkinson and Han, 2012), chapters 1 and2. Denote by O(d) the group <strong>of</strong> unitary operators over R d and by dA the uniformprobability∫measure over O(d) (that is, dA is the unique probability measure satisfyingf(A)dA = ∫f(AB)dA = ∫f(BA)dA for every B ∈ O(d) and every integrableO(d) O(d) O(d)function f : O(d) → C). Denote by dx = dx d−1 the Lebesgue (area) measure over S d−1 andlet L 2 (S d−1 ) := L 2 (S d−1 , dx). Given a measurable set Z ⊆ S d−1 , we sometime denote itsLebesgue measure by |Z|. Also, denote dm =dx the Lebesgue measure, normalized to be|S d−1 |a probability measure.For every n ∈ N 0 , we denote by Y d n the linear space <strong>of</strong> d-variables harmonic (i.e., satisfying∆p = 0) homogeneous polynomials <strong>of</strong> degree n. It holds that( ) ( )d + n − 1 d + n − 3N d,n = dim(Y d n) =−=d − 1 d − 1(2n + d − 2)(n + d − 3)!n!(d − 2)!Denote by P d,n : L 2 (S d−1 ) → Y d n the orthogonal projection onto Y d n.We denote by ρ : O(d) → U(L 2 (S d−1 )) the unitary representation defined byρ(A)f = f ◦ A −1We say that a closed subspace M ⊂ L 2 (S d−1 ) is invariant if it is invariant w.r.t. ρ (that is,∀f ∈ M, A ∈ O(d), f ◦ A ∈ M). We say that an invariant space M is primitive if ρ| M isirreducible.<strong>The</strong>orem 5.6 1. L 2 (S d−1 ) = ⊕ ∞ n=0Y d n.2. <strong>The</strong> primitive finite dimensional subspaces <strong>of</strong> L 2 (S d−1 ) are exactly {Y d n} ∞ n=0.Lemma 5.7 Fix an orthonormal basis Yn,j, d 1 ≤ j ≤ N d,n to Y d n. For every x ∈ S d−1 itholds thatN d,n∑j=1|Y dn,j(x)| 2 = N d,n|S d−1 |5.1.4 Legendre and Chebyshev Polynomials<strong>The</strong> results stated here can be found at (Atkinson and Han, 2012). Fix d ≥ 2. <strong>The</strong> ddimensional Legendre polynomials are the sequence <strong>of</strong> polynomials over [−1, 1] defined bythe recursion formulaP d,n (x) = 2n+d−4xPn+d−3 d,n−1(x) +P d,0 ≡ 1, P d,1 (x) = xn−1n+d−3 P d,n−2(x)We shall make use <strong>of</strong> the following properties <strong>of</strong> the Legendre polynomials.Proposition 5.8 1.(For every d ≥ 2, the)sequence {P d,n } is orthogonal basis <strong>of</strong> theHilbert space L 2 [−1, 1], (1 − x 2 ) d−32 dx .18(8)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!