Conjugate gradients (CG) is one of the most widely used algorithms. There are several reasons behind its popularity. What’s taught in schools about CG is a pseudo-code of 5 steps. In reality, it is much more than that. The literature on this topic is quite large, but actually, it’s very hard to find really good references. Frustrated by that for a while I had to search quite extensively for books/articles that would help me better understand CG. My search was rewarded when I came across this article by Schewchuk. This is by far the best I could read about CG. If you’ve never read this, you should do it now!
Here, I have no interest in duplicating Shewchuk’s efforts; instead, I’m aiming to share my own intuitive understanding. I explain, in words, why CG is so powerful and how it does that.
Whether you need to minimize a function or solve a system of equations, you always need an algorithm (solver) to help you achieve that. For convenience, I define function as quadratic , and I denote the system of equations . It’s easy to see the equivalence between the two: finding that minimizes is same as finding that is solution to which is same as solving . There is a plethora of solvers to choose from, and this is both good and bad. Good because however you state your problem, there is most likely already a custom-tailored solver out there waiting to be tried. Bad, because what works in theory does not always work in practice; for instance, the mathematically rigorous guarantees on convergence often do not prove useful in the real world. The ideal solver is one which balances well the pros and cons, and one which works in practice.
I like to think of solver as cooking recipe. You need some ingredients to start with. The cook pot has limited capacity. And you have to wait for some time before the food is ready. Each solver is unique in the same way that each recipe is. Examples of ingredients you need for solvers include: initial guess, starting direction, tolerance, maximum number of iterations, gradient, Hessian, and the list can go long … Your working environment (cook pot) has limited memory (capacity) to store all these ingredients. So a good solver is one which should not ask for too much memory. Then you need to set a temperature which controls cooking time. This is the same as the normal rate of convergence of your solver. You can always increase the temperature and get your food cooked more quickly. In the same way that you can precondition your solver and help it converge faster.
At the end, your goal (if you’re a practical person like me) is the best-tasting result with the least number of ingredients in the shortest duration. Here, I define best-tasting in objective terms. If the result only tastes good to you and tastes awful to others, in a way, you have failed your mission. The best cook chefs are ones that can execute recipes in the fastest and most efficient way (i.e. cheap in terms of ingredients involved, that the owner of the restaurant has to pay for), and that produce an end result (the dish) that is objectively judged as very good by customers.
I define the best solvers as analogs to the best chefs. You want a solver that is cheap, efficient, and that works well in practice. By cheap, I mean you don’t want to spend too long preparing to gather all the ingredients, and you certainly don’t want to exhaust memory. If you have too many ingredients to start with, this should be justified by the complexity of your problem. The memory limitation is more obvious. Despite Moore’s law, we soon realize that we can be much less optimistic on memory. One important aspect of many real-world problems is non-uniqueness. This means you can have many possible solutions to your problem. To address that, we often regularize the problem by adding some desired attributes about the solution. In some cases, the non-uniqueness can be so bad that checking the correctness of the solution becomes nontrivial. In these cases, having quantitative measures of the correctness of the solution is challenging despite our best efforts. At the end, we seek maximum objectivity with minimum subjectivity.
In the same way that different recipes belong to different cuisines, different solvers belong to different families. Each family is characterized by its own demands in terms of ingredients, memory and compute time. American cuisine invokes fast food and big portions. This helps you get something to eat fast. It’s “good-enough” but it’s certainly not the optimal tasting experience. French cuisine is much more refined. It’s characterized by small portions, reasonable cooking time, and often tasty results. Solvers can be classified into two broad families: direct and iterative. Direct methods are useful when the solution can be expressed analytically (in closed form). This often calls for an inverse of a large matrix, which, besides being prohibitively expensive, can also be dangerous (in terms of noise amplification). In many cases, you can’t express the solution in one single expression. This is where you need to take a series of “careful” steps (called iterations) to reach your objective.
The simplest iterative procedure is to start at some , an initial guess of the solution (which can be zero if no guess is available), and then take a series of steps that progressively minimize the objective function in certain directions. A good direction to search along is one we know should point towards a new that minimizes the objective function. Back in the era where there was no GPS, people had to rely on other people to find their way. I think of good search directions as people who point you, each time you ask, towards where you get closer to the sought location. Mathematically, we are taught early in school that the gradient of a function helps achieve that. More specifically, the negative of the gradient specifies the direction along which the function decreases fastest. Going back to our objective function , it is clear that a good search direction is along the negative gradient , which is also known as the residual.
In optimization and inverse problems, the residual plays an important role. It can be interpreted several ways. First, it is the error transformed by . Accessing the error isn’t possible in real world problems since we don’t know the true answer. Hence, we often find the residual to be useful. Matrix multiplied by any vector rotates and stretches/squeezes this vector. This means that, while residuals are useful, they are not equivalent to the error. Thus, having the residual go to zero is not always a guarantee of convergence. Another argument is non-uniqueness: several solutions can reduce the residual equally well, but, most likely, we’re only interested in one of them. This is why regularization is needed: we add a penalty term (summarizing undesired features in the solution) to the residual in such a way that both should decrease with iteration number.
The second (not so intuitive) interpretation of the residual is that it is also the direction of steepest descent (since it equals the gradient per the equation above). Shewchuck’s advice is straightforward:
“whenever you read “residual”, think “direction of steepest descent.” “.
I find this advice precious when reading the sequence of steps involved in a solver. If is vector, the residual might as well be vector (often not of the same size). Components of the residual that are different from zero indicate where more work is needed. But not only that, since the residual can also be thought of as the direction of steepest descent, the magnitude of each of its components is related to the rate of decrease in the objective function.
The method that takes a series of steps in the direction opposite to the gradient is called steepest descent. Our first step in the direction of steepest descent is: . Once the search direction is chosen, what remains is how big a step we should take in that direction. We need the step length that minimizes along the line (a procedure known as line search). Setting the derivative of with respect to at equal to zero entails and are orthogonal (i.e. inner product equal to zero). It also expresses in terms of the residual. The steepest descent algorithm summarizes below:
An illustration of steepest descent at work is presented here (figure 8 from Schewchuk’s article):
The fact that each new direction is orthogonal to the previous one explains the zigzaggy nature of the path. What’s bad is that some new search directions end up being parallel to (i.e. same as) previous ones, meaning the solver ends up doing a lot of repetitive work. This is the main reason why steepest descent is so slow.
In a way, we want our solver to do a better job than this. We want it to be smarter and reach the minimum without much overwork. We want each new search direction not only to be orthogonal to the previous search direction, but to also be orthogonal to all previous search directions. In this way, each time a direction is set, we know it will be just right to get us closer to the minimum.
Seeking complete orthogonality is worthy of a little pause. Implicit to complete orthogonality is the notion that new information is being generated, that some king of progress is taking place. When a space has an orthogonal basis, it becomes easy to explore, because each element of this space can be expressed in terms of the orthogonal basis. I see a strong analogy between complete orthogonality and strong argumentation. The best debaters are usually ones that convince the audience by analyzing a topic from various (orthogonal) angles. Orthogonality does not mean contradiction, which happens when two vectors point to opposite search directions. Orthogonality means progress towards something new.
Mathematically, it can be shown that having such an orthogonal set of directions can only be possible if we already know the solution. Hence, we somehow need a milder requirement. A more feasible requirement is to choose the search directions to be –orthogonal, which is another name for –conjugate (or simply conjugate) directions. We remind the reader that two vectors and are -orthogonal if . Somehow, this is just a different flavor of orthogonality. To further grasp what -orthogonality means, I find these lines from Schewchuk’s article very illustrative:
“Figure 22(a) shows what A-orthogonal vectors look like. Imagine if this article were printed on bubble gum, and you grabbed figure 22(a) by the ends and stretched it until the ellipses appreared circular. The vectors would then appear orthogonal, as in Figure 22(b)”.
All we need now is a set of -orthogonal search directions. Fortunately, there is a well known mathematical tool called Gram-Schmidt conjugation that allows to build such set from linearly independent vectors. However, in practice, an important aspect (in fact shortcoming) of such a process is that it works by keeping all (conjugate) search directions in memory! For real-world problems, this can hurt memory very bad. The method based on this process is called conjugate directions.
We’ve so far seen:
- Steepest descent uses residuals as search directions. This works but it can be slow. No bad impact on memory.
- Conjugate directions uses -orthongonal (conjugate) search directions. It converges fast. But it hurts memory.
Can we hope for a solver that combines the best of both? The answer is strikingly simple: in the method of conjugate directions, apply the Gram-Schmidt procedure to residuals in order to get the search directions.
You can prove mathematically that residuals have a very attractive property which is very relevant to the conjugate directions methods. It says that if you have a set of conjugate directions (obtained after iterations), the residual at step is orthogonal to all these (previous) directions. This has a significant impact on the Gram-Schmidt procedure. Because of this property, the main operation, which is a summation involving all past search directions, is greatly simplified. In concrete terms, it means we no longer have to store in memory all previous search directions!
In my opinion, this is the essence of CG. It is the simple, and yet not easy to find, idea that you can just apply Gram Schmidt to residuals and there you go!
It is a perfect example of doing more with less: more efficiency, which is retained from conjugate directions, with less memory, which is enabled by the use of residuals. I always like to define technology as our ability to do more with less. In this sense, CG is in my view as a good example of technology.
Now that we have paved the way, we can review the elegant set of instructions in the method of Conjugate Gradients:
The key equation in this sequence is the search update . For , the search direction will be equal to the residual, which is what steepest descent does. In conjugate gradients, we basically correct the search direction from residual to a new direction which helps reach the minimum faster. The search directions obtained are -orthogonal (conjugate). Thus, CG is just one type of conjugate directions methods.
Some say “Conjugate Gradients” is not an accurate name because gradients are actually not conjugate by nature. The Gram-Schmidt procedure conjugates the gradients, and so they become conjugat(ed). Hence, “Conjugated Gradients” should be a better naming. I would argue the naming can still be made more precise. I find “Conjugated Residuals” as what describes CG best. The reason being that residuals, as directions of steepest decent, point to the opposite way of gradients, which are direction of steepest ascent.
When exploring the convergence path of both steepest descent and CG, a natural question that arises is can we converge even faster? A family of solvers known as Newton methods can achieve that. For well behaved functions, these methods can hit the minimum in one single iteration. But there are two important considerations:
1- They need some computation of the Hessian (i.e. second derivatives), which is not always easy to obtain
2- They also need more memory to store the Hessian
There is more prep work (technically known as overhead) associated with Newton methods which motivates the use of CG, since CG does not need anything else other than the residual at each iteration.
There is a lot more to say about some hidden powers of CG. But I think this is sufficiently long so I will probably tackle more on this topic in later posts.