Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In order to find the local minima of a scalar function $p(x), x\in \mathbb{R}^3$, I know we can use the gradient descent method: $$x_{k+1}=x_k-\alpha_k \nabla_xp(x)$$ where $\alpha_k$ is the step size and $\nabla_xp(x)$ is the gradient of $p(x)$.

My question is: what if $x$ must be constrained on a sphere, i.e., $\|x_k\|=1$? Then we are actually to find the local minima of $p(x)$ on a sphere. Can gradient descent be applied to constrained optimizations? Can anyone give any suggestions? Thanks.

share|improve this question
    
Usually, when one wants to apply an unconstrained optimization method to a constrained problem, there is the option of using penalty or barrier methods; that is, adding a term or factor to the original function that gives a very high value (for minimization) or very low value (for maximization) whenever the constraints are violated. See any text on nonlinear programming for details. See also this –  J. M. Aug 1 '11 at 2:31
add comment

3 Answers 3

up vote 8 down vote accepted

There's no need for penalty methods in this case. Compute the gradient, $g_k=\nabla_xp(x)$, project it onto the tangent plane, $h_k=g_k-(g_k\cdot x_k)x_k$, and normalize it, $n_k=h_k/|h_k|$. Now you can use $x_{k+1}=x_k\cos\phi_k + n_k\sin\phi_k $ and perform a one-dimensional search for $\phi_k$, just like in an unconstrained gradient search, and it stays on the sphere and locally follows the direction of maximal change in the standard metric on the sphere.

By the way, this can be generalized to the case where you're optimizing a set of $n$ vectors under the constraint that they're orthonormal. Then you compute all the gradients, project the resulting search vector onto the tangent surface by orthogonalizing all the gradients to all the vectors, and then diagonalize the matrix of scalar products between pairs of the gradients to find a coordinate system in which the gradients pair up with the vectors to form $n$ hyperplanes in which you can rotate while exactly satisfying the constraints and still travelling in the direction of maximal change to first order; the angles by which you rotate in the hyperplanes are multiples of a single parameter (with the multipliers determined by the eigenvalues), so this is again reduced to a one-dimensional search.

[Edit:] (In response to the suggestion in the comment to use $x_{k+1}=\frac{x_k-\alpha_kg_k}{\|x_k-\alpha_kg_k\|}$ instead)

This is slightly disadvantageous compared to the great-circle solution. You're effectively searching on the same great circle, except in this approach you can only generate one half of it. If the optimum lies in the other half, then the optimal value of your parameter $\alpha_k$ will be $\pm\infty$, whereas in my formulation the compact search space $\phi_k\in[0,2\pi]$ maps to the entire great circle. Also, this formulation doesn't generalize to the case of $n$ orthonormal vectors, since you'd have to perform an orthonormalization at each step.

How to determine $\alpha_k$ is not a (new) problem; in every gradient search you need to have some way to determine the optimum in a one-dimensional search.

share|improve this answer
    
if $|\nabla_x p(x)|$ stands for the norm of the gradient, $x_k \cos \phi + g_k \sin \phi$ is the sum of vectors and numbers... and if it doesn't stand for the norm then I'm not sure what it stands for. What does it stand for? –  Patrick Da Silva Aug 1 '11 at 5:21
    
@Patrick: That was a typo; it's already corrected. –  joriki Aug 1 '11 at 5:23
    
Oh. =) Now it makes more sense. –  Patrick Da Silva Aug 1 '11 at 5:30
    
I noticed something : did you just go by intuition by choosing $\cos \phi_k$ and $\sin \phi_k$ as coefficients? Because if you do the computation you see that $|x_{k_1}| = |x_k \cos \phi + g_k \sin \phi_k| = 1$ for all $\phi$ if and only if $x \cdot g_k = 0$ (scalar product), so it is important to notice that the steps are orthogonal in the method of steepest descent, if $f$ is differentiable. –  Patrick Da Silva Aug 1 '11 at 5:37
    
@Patrick: Sorry, it seems I wasn't quite awake yet when I wrote this :-) I forgot to mention that you first have to project the gradient onto the tangent plane. Fixed. –  joriki Aug 1 '11 at 5:57
show 3 more comments

What we usually do in theory (not in practice) is that to ensure convergence of such algorithms, for a constraint $g : \mathbb R^n \to \mathbb R$ and $f : \mathbb R^n \to \mathbb R$ that we wish to minimize under the condition $g(x) = 0$, we define $$ \overline f : \mathbb R^n \to \overline{\mathbb R} \cup \{ + \infty\}, \qquad \overline f(x) = \begin{cases} + \infty & \text{ if } g(x) = 0 \\ f(x) & \text{ if } g(x) \neq 0. \\ \end{cases} $$ and we minimize $\overline f$ under no constraints, and clearly $f$ has the same minimum as $\overline f$. Now what you want to do in your numerical methods is defining a similar $\overline f$ by giving a very big upper bound on the values of $f$, to make sure your algorithm doesn't go in those directions. You might lose differentiability with this method, which can be quite annoying since you are using differentiation in your steepest descent method.

What you might want to try is using something like a mollifier : the idea is very simple. Instead of making a huge gap between the surface of the sphere and the outside of the surface (I mean outside by "not on the surface, which can mean inside or outside the ball... anyway), you make the gap smooth by using a bump function (see http://en.wikipedia.org/wiki/Bump_function for images) which is $0$ on the sphere and has a very high value when you're at a distance $\delta$ from the sphere. If you call this bump function $B(x)$ that has the property that $B(x) = 0$ whenever $\| x \| = 1$, then define $$ \overline f(x) = f(x) + B(x). $$ Since $B = 0$ on the sphere, $\overline f$ and $f$ will have the same minimum with respect to your constraint. What you're hoping is that the minimum you will find will not be outside your constraint. If that happens, make $\delta$ smaller. This technique might not work if your function behaves badly close to the frontier of the sphere (i.e. goes to very low values when close to the sphere in a weird manner even though there is a minimum on the sphere). If it has nice behavior though I don't expect any problem.

One example of such a bump function would be to define $$ B(x) = \begin{cases} \sin^2 \left( \frac{\| x \| - 1}{\delta} \right) & \text{ if } \left| \| x \| - 1 \right| < \delta \frac {\pi}2 \\ 1 & \text{ if not. } \\ \end{cases} $$ Make $\delta$ small enough and multiply the bump function by any big factor you need to make it practical. I don't know if it's the best idea, but its one I have. Note that my "bump function" is not a bump function in the mathematical sense (it's not compactly supported), but it's just a practical name in this post.

EDIT : Better choices of $B$ are to be expected, as one of my comments mention $B(x) = c(\|x\|-1)^2$, with $c$ large enough. I guess J.M.'s suggestion (reading non-linear programming references) might give further indications.

Hope that helps,

share|improve this answer
    
"...which is 0 on the sphere and has a very high value when you're at a distance δ from the sphere." - so, a penalty method? –  J. M. Aug 1 '11 at 5:31
    
It is a penalty method. I must say I didn't search for information on penalty methods to write this answer, I just gave a suggestion. I have references on steepest descent but not on penalty methods... perhaps one such reference might be interesting, because I believe there has been extended research on penalty methods, right? EDIT : Just saw you gave one in your comments. Good thing you did. –  Patrick Da Silva Aug 1 '11 at 5:39
1  
Any decent nonlinear programming book would have a discussion of it, yes. :) –  J. M. Aug 1 '11 at 5:42
    
Perhaps adding something like a radial parabola (i.e. a function like $c(\|x\|-1)^2$ with very high $c$) might be a more decent choice, instead of this horrible function. –  Patrick Da Silva Aug 1 '11 at 5:44
2  
@Patrick: As I wrote in my answer, all this is rather unnecessary in this case; there's a simple trick to make the problem unconstrained, which avoids the problems associated with this approach (having to choose parameters etc.). –  joriki Aug 1 '11 at 6:00
show 1 more comment

Thanks joriki and Patrick. Frankly I prefer joriki's answer because it considers the specific constraint. And Patrick's answer can be applied to more generic problems. For the record, I happen to have another solution, which I think is very similar to joriki's. I appreciate any comments on the method.

The idea is to use a rotation to satisfy the constraint $\|x_{k+1}\|=\|x_k\|$: $$x_{k+1}=R_kx_k$$ where $R_k$ is a rotation matrix ($R_k^TR_k=I, \det R_k=1$). Note rotation just change the direction of a vector, but no change the length. In order to determine $R_k$, I use the axis-angle representation of a rotation matrix (aka Rodrigues’ formula): $$R_k=I+[\omega_k]_{\times}\sin\theta_k+[\omega_k]_{\times}^2(1-\cos\theta_k)$$ where $\omega_k$ is the rotation axis, $\theta_k$ is the rotation angle and $[\omega]_{\times}$ is the skew-symmetric matrix associating with $\omega$. The rotation axis can be chosen as $$\omega_k=x_k \times n_k$$ and the step size $\theta_k$ might be determined by a one dimensional search.


EDIT: $$R_kx_k=x_k+\sin\theta_k (\omega_k\times x_k)+(1-\cos\theta_k)(\omega_k\omega_k^T-I)x_k$$ $$=x_k+\sin\theta_k (\omega_k\times x_k)-(1-\cos\theta_k)x_k =\sin\theta_k (\omega_k\times x_k)+\cos\theta_k x_k$$ In the above equation, we use the facts: $[\omega]{\times}^2=\omega\omega^T-\|\omega\|I$ and $\omega^Tx=0$ (note $\omega\times x\ne 0$). Choose $\omega_k\times x_k=n_k$, i.e., $\omega_k=x_k\times n_k$, the above equation is exactly the same as joriki's answer.


enter image description here

EDIT again: prove it is gradient descent. For $x_{k+1}=x_k+v$, as long as $v^T(-g)>0$, it is gradient descent. And $p(x)$ is guaranteed to decrease given sufficiently small step. For our problem, can we use this to prove? In our equation, $$x_{k+1}=x_k+\underset{v_k}{\underbrace{\sin\theta_k (\omega_k\times x_k)-(1-\cos\theta_k)x_k}}$$ so we need to check if $-v^Tg>0$. It is very interesting that unlike common cases, the evolving direction is depend on the step size $\theta$. We should know that gradient descent is only valid (mathematically) for sufficiently small step size. When $\theta$ is very small, $\sin\theta=\theta$ and $1-\cos\theta\approx0$ (second order). So we have $$v_k\approx\theta_k n_k$$ Obviously $-g^T\theta_k n_k>0$. So it is gradient descent.

Summary: in order to satisfy the constraint, we have $v_k=\sin\theta_k (\omega_k\times x_k)-(1-\cos\theta_k)x_k$ (complex). But in order to prove the descent property, we have $v_k\approx\theta_k n_k$ (simple and essential).

share|improve this answer
    
I think one limitation of this method is: it is valid only in 3D and 2D cases as the axis-angle representation of a rotation matrix is invalid in higher dimensions. –  Shiyu Aug 1 '11 at 7:27
2  
This is precisely the idea underlying my solution, except that I already made the simplifications you can make in this case. If you look at the vector form of Rodrigues' formula, $x'=x\cos\theta+(k\times x)\sin\theta+k(k\cdot x)(1-\cos\theta)$, you can see that the last term vanishes since the axis is orthogonal to $x$, and the rest simplifies to my solution. Your solution has one more degree of freedom, but the only choice of $n_k$ that lets the search go in the direction of the projection of the gradient into the tangent plane to first order leads to my solution. –  joriki Aug 1 '11 at 13:32
    
@joriki: thanks! now I believe the problem is solved perfectly:D –  Shiyu Aug 1 '11 at 14:44
    
@joriki Patrick and Shiyu: Can anybody help me to solve my problem in the following link math.stackexchange.com/questions/327092/… –  user2987 Mar 11 '13 at 3:04
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.