User:Sintel/Dual Weil-Euclidean norm: Difference between revisions

Sintel (talk | contribs)
math formatting
Sintel (talk | contribs)
more fixes
Line 4: Line 4:


:<math>
:<math>
W = \begin{bmatrix}
W =
\log_2 2 & 0 & \cdots & 0 \\
\begin{bmatrix}
0 & \log_2 3 & \cdots &  0\\
\log_2 2 & 0 & \cdots & 0 \\
\vdots & \vdots & \ddots & \vdots \\
0 & \log_2 3 & \cdots &  0\\
0 & 0 & \cdots & \log_2 p
\vdots & \vdots & \ddots & \vdots \\
\end{bmatrix}
0 & 0 & \cdots & \log_2 p
\end{bmatrix}
</math>
</math>


Line 19: Line 20:


:<math>
:<math>
X = \begin{bmatrix}
X =
W \\
\begin{bmatrix}
\hline
W \\
j
\hline
\end{bmatrix}
j
\end{bmatrix}
</math>
</math>


Line 39: Line 41:


:<math>
:<math>
\left\langle \alpha, \beta \right\rangle^{\ast} = \alpha G^{-1} \beta^{\mathsf T} \\
\begin{gather}
||\alpha||^{\ast} = \sqrt{\left\langle \alpha,\alpha \right\rangle^{\ast}} = \sqrt{\alpha G^{-1} \alpha^{\mathsf T}}
\left\langle \alpha, \beta \right\rangle^{\ast} = \alpha G^{-1} \beta^{\mathsf T} \\
||\alpha||^{\ast} = \sqrt{\left\langle \alpha,\alpha \right\rangle^{\ast}} = \sqrt{\alpha G^{-1} \alpha^{\mathsf T}}
\end{gather}  
</math>
</math>


Line 48: Line 52:


:<math>
:<math>
G =  X^{\mathsf T} X = W^2 + j^{\mathsf T}j
G =  X^{\mathsf T} X = W^2 + j^{\mathsf T}j
</math>
</math>


Line 61: Line 65:


:<math>
:<math>
G^{-1} = (W^2 + j^{\mathsf T}j)^{-1} = W^{-2} - \frac{1}{1+g} W^{-2}j^{\mathsf T}jW^{-2}
G^{-1} = (W^2 + j^{\mathsf T}j)^{-1} = W^{-2} - \frac{1}{1+g} W^{-2}j^{\mathsf T}jW^{-2}
</math>
</math>


Now let <math>l = \begin{bmatrix}
Now let <math>
\frac{1}{\log_2 2} & \frac{1}{\log_2 3} & \cdots & \frac{1}{\log_2 p} \\
l = \begin{bmatrix}
\end{bmatrix} </math>, then
\frac{1}{\log_2 2} & \frac{1}{\log_2 3} & \cdots & \frac{1}{\log_2 p} \\
\end{bmatrix}
</math>, then


:<math>
:<math>
l = W^{-2}j \\
\begin{gather}
G^{-1} = W^{-2} - \frac{1}{1+g} l^{\mathsf T}l
l = W^{-2}j \\
G^{-1} = W^{-2} - \frac{1}{1+g} l^{\mathsf T}l
\end{gather}
</math>
</math>


Line 76: Line 84:


:<math>
:<math>
j^{\mathsf T}j \circ W^{-2} = I_n \\
\begin{gather}
g = \text{tr}(BA^{-1}) = \text{tr}(j^{\mathsf T}j W^{-2}) = n
j^{\mathsf T}j \circ W^{-2} = I_n \\
g = \text{tr}(BA^{-1}) = \text{tr}(j^{\mathsf T}j W^{-2}) = n
\end{gather}
</math>
</math>


Line 83: Line 93:


:<math>
:<math>
G^{-1} = W^{-2} - \frac{1}{n+1} l^{\mathsf T}l
G^{-1} = W^{-2} - \frac{1}{n+1} l^{\mathsf T}l
</math>
</math>


Line 92: Line 102:
:<math>
:<math>
\begin{aligned}
\begin{aligned}
G_a(\lambda) &= W^{-2} - \lambda \frac{W^{-2}j^{\mathsf T}jW^{-2}}{jW^{-2}j^{\mathsf T}} \\
G_a(\lambda) &= W^{-2} - \lambda \frac{W^{-2}j^{\mathsf T}jW^{-2}}{jW^{-2}j^{\mathsf T}} \\
&= W^{-2} - \lambda \frac{l^{\mathsf T}l}{n}
&= W^{-2} - \lambda \frac{l^{\mathsf T}l}{n}
\end{aligned}
\end{aligned}
</math>
</math>
Line 103: Line 113:
:<math>
:<math>
\begin{aligned}
\begin{aligned}
G_b(E) &= \frac{W^{-2}}{jW^{-2}j^{\mathsf T}} (1+E^2) -  \frac{W^{-2}j^{\mathsf T}jW^{-2}}{(jW^{-2}j^{\mathsf T})^2} \\
G_b(E) &= \frac{W^{-2}}{jW^{-2}j^{\mathsf T}} (1+E^2) -  \frac{W^{-2}j^{\mathsf T}jW^{-2}}{(jW^{-2}j^{\mathsf T})^2} \\
&= \frac{W^{-2}}{n} (1+E^2) -  \frac{l^{\mathsf T}l}{n^2}
&= \frac{W^{-2}}{n} (1+E^2) -  \frac{l^{\mathsf T}l}{n^2}
\end{aligned}
\end{aligned}
</math>
</math>
Line 111: Line 121:


:<math>
:<math>
G^{\prime}_b(E) = W^{-2} - \frac{1}{n(1+E^2)}l^{\mathsf T}l
G^{\prime}_b(E) = W^{-2} - \frac{1}{n(1+E^2)}l^{\mathsf T}l
</math>
</math>


Line 120: Line 130:


:<math>
:<math>
X_k = \begin{bmatrix}
X_k =
W \\
\begin{bmatrix}
\hline
W \\
k\cdot j
\hline
\end{bmatrix}\\
k\cdot j
G(k) =  X_k^{\mathsf T} X_k = W^2 + k^2j^{\mathsf T}j
\end{bmatrix} \\
G(k) =  X_k^{\mathsf T} X_k = W^2 + k^2j^{\mathsf T}j
</math>
</math>


Line 131: Line 142:


:<math>
:<math>
G^{-1}(k) = W^{-2} - \frac{k^2}{nk^2+1} l^{\mathsf T}l
G^{-1}(k) = W^{-2} - \frac{k^2}{nk^2+1} l^{\mathsf T}l
</math>
</math>


Line 138: Line 149:
:<math>
:<math>
\begin{gather}  
\begin{gather}  
nk^2E^2 = 1\\
nk^2E^2 = 1\\
E = \sqrt{\frac{1}{nk^2}}\\
E = \sqrt{\frac{1}{nk^2}}\\
k = \sqrt{\frac{1}{nE^2}}
k = \sqrt{\frac{1}{nE^2}}
\end{gather}  
\end{gather}  
</math>
</math>
== References ==
== References ==