Skip to main content
angle should be divided by 2 in the argument of the sine in the Weyl integration formula. Also changed $k$ into $m$ in the last angle
Source Link

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a $\lfloor N/2\rfloor$-dimensional integral for $\mathrm{SO}(N)$. Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension $N=2m+1$ are $1$ and $m$ pairs $\exp(i \phi_ m)$ and $\exp(-i \phi_ m)$, $0\leq\phi_ 1 \leq\ldots\leq\phi_m \leq\pi$. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

$$ |\exp(i\phi_k)-1|\leq\delta , $$ which implies: $$\phi_k\leq 2 \arcsin\sqrt{\delta/2}.$$

d. Applying the Weyl integration formula, we obtain for the odd case $\mathrm{SO}(2m+1)$:

$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_l \sin^2(\phi_l) d\phi_1 \cdots d\phi_k. $$$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_{l=1}^m \sin^2(\phi_l/2) d\phi_1 \cdots d\phi_m. $$

e. For the even dimensional case, the only changes are $2^{m^2}$ is replaced $2^{(m-1)^2}$ and the sine terms are absent.

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a $\lfloor N/2\rfloor$-dimensional integral for $\mathrm{SO}(N)$. Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension $N=2m+1$ are $1$ and $m$ pairs $\exp(i \phi_ m)$ and $\exp(-i \phi_ m)$, $0\leq\phi_ 1 \leq\ldots\leq\phi_m \leq\pi$. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

$$ |\exp(i\phi_k)-1|\leq\delta , $$ which implies: $$\phi_k\leq 2 \arcsin\sqrt{\delta/2}.$$

d. Applying the Weyl integration formula, we obtain for the odd case $\mathrm{SO}(2m+1)$:

$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_l \sin^2(\phi_l) d\phi_1 \cdots d\phi_k. $$

e. For the even dimensional case, the only changes are $2^{m^2}$ is replaced $2^{(m-1)^2}$ and the sine terms are absent.

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a $\lfloor N/2\rfloor$-dimensional integral for $\mathrm{SO}(N)$. Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension $N=2m+1$ are $1$ and $m$ pairs $\exp(i \phi_ m)$ and $\exp(-i \phi_ m)$, $0\leq\phi_ 1 \leq\ldots\leq\phi_m \leq\pi$. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

$$ |\exp(i\phi_k)-1|\leq\delta , $$ which implies: $$\phi_k\leq 2 \arcsin\sqrt{\delta/2}.$$

d. Applying the Weyl integration formula, we obtain for the odd case $\mathrm{SO}(2m+1)$:

$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_{l=1}^m \sin^2(\phi_l/2) d\phi_1 \cdots d\phi_m. $$

e. For the even dimensional case, the only changes are $2^{m^2}$ is replaced $2^{(m-1)^2}$ and the sine terms are absent.

Added the TeX -- I hope no errors were introduced!
Source Link

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a floor(N/2) dimensional$\lfloor N/2\rfloor$-dimensional integral for SO(N)$\mathrm{SO}(N)$. Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension N=2m+1$N=2m+1$ are 1$1$ and m$m$ pairs exp(iphi_ m) and exp(-iphi_ m), 0<=phi_ 1 <= .$\exp(i \phi_ m)$ and .$\exp(-i \phi_ m)$, . <= phi_m <=pi$0\leq\phi_ 1 \leq\ldots\leq\phi_m \leq\pi$. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

|exp(i*phi_ k)-1|<=delta, which$$ |\exp(i\phi_k)-1|\leq\delta , $$ which implies: phi_ k<=2 * arcsin(sqrt(delta/2)) $$\phi_k\leq 2 \arcsin\sqrt{\delta/2}.$$

d. Applying the Weyl integration formula, we obtain for the odd case SO(2*m+1):

Vol(delta-ball) = 2^(m^2)/(pi^m * m!)* int_ phi_ 1<=phi_ 2 <= . . . <=phi_ m <=2 * arcsin(sqrt(delta/2))*$\mathrm{SO}(2m+1)$:

prod_ 1 < = j < k < = m (cos(phi_ k)-cos(phi_ j)^2 prod_ l sin^2(phi_ l) dphi_ 1 . . . dphi_ k.$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_l \sin^2(\phi_l) d\phi_1 \cdots d\phi_k. $$

e. For the even dimensional case, the only changes are 2^(m^2)$2^{m^2}$ is replaced 2^((m-1)^2)$2^{(m-1)^2}$ and the sine terms are absent.

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a floor(N/2) dimensional integral for SO(N). Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension N=2m+1 are 1 and m pairs exp(iphi_ m) and exp(-iphi_ m), 0<=phi_ 1 <= . . . <= phi_m <=pi. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

|exp(i*phi_ k)-1|<=delta, which implies: phi_ k<=2 * arcsin(sqrt(delta/2))

d. Applying the Weyl integration formula, we obtain for the odd case SO(2*m+1):

Vol(delta-ball) = 2^(m^2)/(pi^m * m!)* int_ phi_ 1<=phi_ 2 <= . . . <=phi_ m <=2 * arcsin(sqrt(delta/2))*

prod_ 1 < = j < k < = m (cos(phi_ k)-cos(phi_ j)^2 prod_ l sin^2(phi_ l) dphi_ 1 . . . dphi_ k.

e. For the even dimensional case, the only changes are 2^(m^2) is replaced 2^((m-1)^2) and the sine terms are absent.

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a $\lfloor N/2\rfloor$-dimensional integral for $\mathrm{SO}(N)$. Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension $N=2m+1$ are $1$ and $m$ pairs $\exp(i \phi_ m)$ and $\exp(-i \phi_ m)$, $0\leq\phi_ 1 \leq\ldots\leq\phi_m \leq\pi$. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

$$ |\exp(i\phi_k)-1|\leq\delta , $$ which implies: $$\phi_k\leq 2 \arcsin\sqrt{\delta/2}.$$

d. Applying the Weyl integration formula, we obtain for the odd case $\mathrm{SO}(2m+1)$:

$$ \mathrm{Vol}(\delta\mathrm{-ball}) = \frac{2^{m^2}}{\pi^m m!} \int_{\phi_1\leq\ldots\leq\phi_m \leq 2 \arcsin\sqrt{\delta/2}} \prod_{1\leq j < k \leq m} (\cos\phi_k-\cos\phi_j)^2 \prod_l \sin^2(\phi_l) d\phi_1 \cdots d\phi_k. $$

e. For the even dimensional case, the only changes are $2^{m^2}$ is replaced $2^{(m-1)^2}$ and the sine terms are absent.

Source Link

The volume of the delta-ball of the special orthogonal group can be computed exactly by applying the Weyl integration formula: (Without loss of generality, we assume that the delta-ball is around the unit group element).

a. One notices (Again due to the invariance under the Haar measure) that the characteristic function of the delta ball is a class function. Thus upon the application of the Weyl integration formula we are left only with the radial part on the eigenvalues which is a floor(N/2) dimensional integral for SO(N). Here, the radial integral is described explicitely.

b. The eigenvalues of an orthogonal matrix of dimension N=2m+1 are 1 and m pairs exp(iphi_ m) and exp(-iphi_ m), 0<=phi_ 1 <= . . . <= phi_m <=pi. In the case of even dimensions, the unit eigenvalue is absent.

c. The delta-ball condition on the eigenvalues becomes:

|exp(i*phi_ k)-1|<=delta, which implies: phi_ k<=2 * arcsin(sqrt(delta/2))

d. Applying the Weyl integration formula, we obtain for the odd case SO(2*m+1):

Vol(delta-ball) = 2^(m^2)/(pi^m * m!)* int_ phi_ 1<=phi_ 2 <= . . . <=phi_ m <=2 * arcsin(sqrt(delta/2))*

prod_ 1 < = j < k < = m (cos(phi_ k)-cos(phi_ j)^2 prod_ l sin^2(phi_ l) dphi_ 1 . . . dphi_ k.

e. For the even dimensional case, the only changes are 2^(m^2) is replaced 2^((m-1)^2) and the sine terms are absent.