View source for graph Laplacian Regularization for Larg-Scale Semidefinite Programming

==Introduction==
This paper<ref>K. Q. Weinberger et al. Graph Laplacian Regularization for Larg-Scale Semidefinite Programming, Advances in neural information processing systems, 2007 - cs.utah.edu
</ref> introduces a new approach for the discovery of low dimensional representations of high-dimensional data where, in many cases, local proximity measurements are also available. Sensor localization is a quite well-known example in this field. Existing approaches use semi-definite programs (SDPs) with low rank solutions from convex optimization methods. However, the SDP approach doesn’t scale well for large inputs. The main contribution of this paper is to use matrix factorization for solving very sophisticated problems of the above type that lead to much smaller and faster SDPs than previous approaches. This factorization comes from expanding the solution of the original problem in terms of the bottom eigenvectors of a graph laplacian. As the smaller SDPs coming from this factorization are only an approximation of the original problem, it can be refined using gradient-descent. The approach has been illustrated on localization of large scale sensor networks.<br />

==Sensor localization==
Assuming sensors can only estimate their local pairwise distances to nearby sensors via radio transmitters, the problem is to identify the whole network topology. In other words, knowing that we have n sensors with <math>d_{ij}</math> as an estimate of local distance between adjacent sensors, i and j, the desired output would be <math>x_1, x_2, ..., x_n \in R_2</math> as the planar coordinates of sensors. 

===Work on this issue so far===
work on this issue so far starts with minimizing sum-of-squares loss function as<br />
<math>\,\min_{x_1,...,x_n}\Sigma_{i\sim j}{(\|x_i-x_j\|^2-d_{ij}^2)^2}</math> (1)<br /> 
and adding a centering Constraint (assuming no sensor location is known in advance) as<br /> <math>\,\|\Sigma_i{x_i}\|^2 = 0</math> (2)  <br />
The problem here is that the optimization is not convex and is more likely to be trapped by local minima. For solving this problem, an <math>n \times n</math> inner product matrix X is defined as <math>X_{ij} = x_i \times x_j</math> and by relaxing the constraint that sensor locations <math>x_i</math> lie in the <math>R^2</math> plane , the following convex notation will be obtained:<br />
Minimize:	<math>\,\Sigma_{i\sim j}{(X_{ii}-2X_{ij}+X_{jj}-d_{ij}^2)^2}</math> (3)<br />
subject to: (i) <math>\,\Sigma_{ij}{X_{ij}=0}</math> and (ii) <math>X \succeq 0</math><br />
The vectors <math>\,x_i</math> will lie in a subspace with dimensionality equal to the rank of the solution X. Projecting <math>x_i</math>s into their 2D subspace of maximum variance, obtainied from the top 2 eigenvectors of X, will get planar coordinates. However, the higher the rank of X, the greater the information loss after projection. Increasing the error of projection with increased rank leads us to add a low rank, or equivalently, high trace constraint. Therefore, an extra term is added to favor solutions with high variance(high trace):<br />
Maximize:	<math>\,tr(X)-v\Sigma_{i\sim j}{(X_{ii}-2X_{ij}+X_{jj}-d_{ij}^2)^2}</math> (4)<br />
subject to: (i) <math>\,\Sigma_{ij}{X_{ij}=0}</math> and (ii) <math>\,X \succeq 0</math><br />
where the parameter <math>v>0</math> balances the trade-off between maximizing variance and preserving local distances (MVU).<br />

==Matrix factorization==
Assume G is a neighborhood graph defined by the sensor network and location of sensors is a function defined over the nodes of this graph. Functions on a graph can be approximated using eigenvectors of graph’s Laplacian matrix as basis functions (spectral graph theory).<br />

Graph Laplacian is defined by:<br />

<math> L_{i,j}= \left\{\begin{matrix} 
deg(v_i) & \text{if } i=j   \\ 
-1 & \text{if } i\neq j \text{ and } v_i \text{ adjacent } v_j \\ 
0 & \text{ otherwise}\end{matrix}\right.</math>

<br />

Sensor's location can be approximated using the m bottom eigenvecotrs of the Laplacian matrix of G. Expanding these locations yields a matrix factorization for X so that :
<math>x_i\approx\Sigma_{\alpha = 1}^m Q_{i\alpha}y_{\alpha}</math> <br />
where Q is the <math>n*m</math> matrix with m bottom eigenvecors of Laplacian matrix and <math>y_{\alpha}</math> is unknown and depends on <math>d_{ij}</math>. Now, if we define the inner product of theses vectors as <math>Y_{\alpha\beta} = y_{\alpha}y_{\beta}</math> we will get the factorized matrix <math>X\approx QYQ^T</math> (6)<br />
Using this approximation, we can solve an optimization for Y that is much smaller than X. Since Q stores mutulaly orthogonal eigenvectors we can imply <math>tr(Y)=tr(X)</math>. In addition, <math>QYQ^T</math> satisfies centering constraint because uniform eigenvectors are not included. Therefore, the optimization would change to to folloing equations:<br />
   '''Maximize:'''	<math>tr(Y)-v\Sigma_{i\sim j}{((QYQ^T)_{ii}-2(QYQ^T)_{ij}+(QYQ^T)_{jj}-d_{ij}^2)^2}</math> '''(objective function)'''<br />
   '''subject to:''' <math>Y \succeq 0</math><br />

==Formulation as SDP==

Recall that our ultimate aim is to formulate the optimization problem as a SDP. However, the '''objective function''', as formulated in the last section, is a quadratic function of the elements of the matrix <math>Y \,</math>. In this subsection, we show how to transform the quadratic objective to a linear objective, via the Schur complement lemma.

First of all, note that by concatenating all the columns of the m-by-m matrix <math>Y \,</math> into a vector <math>y \in R^{m^2}\,</math>, the objective function takes the form <math>\,b^Ty - y^TAy \,</math> (up to an additive constant), where the matrix <math>A\,</math> collects all the quadratic coefficients in the objective function while the vector <math>b \,</math> collects all the linear coefficients. Note that the matrix <math>A\,</math> is semi-positive definite because the second and quadratic term in the '''objective function''' is non-negative.

By defining a dummy variable <math>l \,</math>, the optimization problem can be written as 

   '''Maximize:'''   <math>\,b^Ty - l</math> <br />
   '''subject to:''' '''(i)''' <math>Y \succeq 0 </math> and '''(ii)''' <math>l \geq y^TAy </math>.

The formulation of the optimization problem as a SDP now remains to rewrite the second constraint <math>l \geq y^TAy </math> into a linear or positive semidefinite constraint. This is accomplished by the Schur complement lemma.

===Schur Complement Lemma===
In this section, we illustrate how to use the lemma instead of proving the lemma. Readers are referred to the book "Introduction to algorithms" by Thomas H. Cormen for the formal definition of Schur complement and the proof of the Schur Complement Lemma.

Suppose

:<math>Z=\left[\begin{matrix} I & A^{\frac{1}{2}}y \\ (A^{\frac{1}{2}}y)^T  & l \end{matrix}\right]</math>

is a positive semi-definite matrix, then by definition, <math>x^T Z x \geq 0 \, </math> for any vector <math>x\,</math>. Let us break <math>x\,</math> into two subvectors <math>x_1 \,</math> and <math>x_2 \,</math>, where <math>x_1 \,</math> has a dimension compatible with the matrix <math>I\,</math> in <math>Z \,</math> and <math>x_2 \,</math> is a real number. Then,

:<math>
\begin{align}
x^T Z x & = ( {x_1}^T {x_2}^T ) \left[\begin{matrix} I & A^{\frac{1}{2}}y \\ (A^{\frac{1}{2}}y)^T   & l \end{matrix}\right] \left[\begin{matrix} x_1  \\ x_2 \end{matrix}\right] \\
& = ( {x_1}^T {x_2}^T ) \left[\begin{matrix} x_1 + (A^{\frac{1}{2}}y) x_2 \\ (A^{\frac{1}{2}}y)^T x_1 + l x_2 \end{matrix}\right] \\
& ={x_1}^T x_1 + {x_1}^T (A^{\frac{1}{2}}y) x_2 + {x_2}^T (A^{\frac{1}{2}}y)^T x_1 +  l \,{x_2}^T x_2 \\
& = (x_1 + (A^{\frac{1}{2}}y) x_2)^T (x_1 + (A^{\frac{1}{2}}y) x_2) + {x_2}^T ( l - (A^{\frac{1}{2}}y)^T(A^{\frac{1}{2}}y)) x_2 \,\,\,\text{(completing square)}\\
& = (x_1 + (A^{\frac{1}{2}}y) x_2)^T (x_1 + (A^{\frac{1}{2}}y) x_2) + {x_2}^T ( l - y^T A y) x_2 \\
\end{align}
</math>

Note that we can take <math> x_1 = - (A^{\frac{1}{2}}y)^T x_2 \,</math> to make the first term vanish. This leaves <math> {x_2}^T ( l - y^T A y) x_2 \geq 0 \,</math>, which is clearly equivalent to <math> l \geq y^T A y \,</math> because <math>x_2\,</math> is a real number.

The above calculation allows us to formulate the optimization problem as the following SDP:

   '''Maximize:'''   <math>\,b^Ty - l</math> <br />
   '''subject to:''' '''(i)''' <math>Y \succeq 0 </math> and '''(ii)''' <math>\left[\begin{matrix} I & A^{\frac{1}{2}}y \\ (A^{\frac{1}{2}}y)^T  & l \end{matrix}\right] \succeq 0  </math>.

By putting in this form, The only variables of the SDP are the <math>m(m+1)/2</math> elements of <math>Y\,</math> and the unknown scalar <math>l\,</math>. The only constraints are the positive semidefinteness of Y and the linear matrix inequality of size <math>m^2*m^2</math>. It is worth noting that the complexity of the SDP does not depend on the number of nodes or edges in the network.<br />

==Gradient based improvement==
As the matrix factorization only provides an approximation to the global minimum, a refinement is needed by using this result as the initial starting point for gradient descent in the first equation. It can be done in 2 steps:<br />
First, starting from the m-dimensional solution of eq. (6), use conjugate gradient methods to maximize the objective function in eq. (4)<br />
Second, project the results from the previous step into the R2 plane and use conjugate gradient methods to minimize the loss function in eq. (1).
The conjugate gradient method is an iterative method for minimizing a quadratic function where its Hessian matrix (matrix of second partial derivatives) is positive.

==Results==
The figure <ref>
The same paper. Figure 2
</ref> belowshows sensor locations inferred for n = 1055 largest cities in continental US.Local distances were estimated up to 18 neighbors within radius r = 0.09. Local measurements were corrupted by 10% Gaussian noise over the true local distance. Using m = 10 bottom eigenvectors of graph Laplacian, the solution provides a good initial starting point(left picture) for gradient-based improvement. The right picture is senssor locations after the improvement.<br />

[[File:fig2L.jpg|left|thumb|400px|Initial Sensor locations]]
[[File:fig2R.jpg|none|thumb|400px|Sensor locations after gradient improvement]]
<br />

The second simulated network, the figure<ref>
The same paper. Figure 3
</ref> below, placed nodes at n=20,000 uniformly sampled points inside the unit square. local distances were estimated up to 20 other nodes within radius r = 0.06. Using m = 10 bottom eigenvectors of graph Laplacian, 19s was taken to construct and solve the SDP and 52s was taken for 100 iterations in conjugate gradient descent.<br />
[[File:fig3.jpg|none|thumb|400px|Results on a simulated network with n=20000 uniformly distributed nodes inside a centerd unit squre]]
<br />

For the simulated networks with nodes at US cities, the figure<ref>
The same paper. Figure 4
</ref> below plots the loss function in eq. (1) vs. number of eigenvectors. It also plots computation time vs. number of eigenvectors. It can be inferred from the figure that there is a trade-off between getting better solution and increasing computation time. Also, we can see that <math>m\approx 10</math> best manages this trade-off.<br />
[[File:fig4.jpg|none|thumb|400px|Left: The value of loss function. Right: The computation time]]

==Conclusion==
An approach for inferring low dimensional representations from local distance constraints using MVU was proposed.<br />
Using matrix factorization computed from the bottom eigenvectors of the graph Laplacian was the main idea of the approach.<br />
The initial solution can be refined by local search methods.<br />
This approach is suitable for large input and its complexity does not depend on the input.

=References=
<references/>