<div dir="ltr">Hi Andreas,<div><br></div><div>I don't see anything obviously wrong. If the function is very flat, you can try setting -tao_ls_armijo_sigma to a smaller number. If you continue to have problems, please let me know. It would definitely help if you have an example you could send me that reproduces this behavior.</div><div><br></div><div>Jason</div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 11, 2015 at 1:12 PM, Andreas Mang <span dir="ltr"><<a href="mailto:andreas@ices.utexas.edu" target="_blank">andreas@ices.utexas.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><div><div class="h5">
<div>Hey Jason: </div>
<div><br>
</div>
<div>The line search fails. If I use Armijo I get</div>
<div><br>
</div>
<div>
<div>TaoLineSearch Object:</div>
<div> type: armijo</div>
<div> maxf=30, ftol=1e-10, gtol=0.0001</div>
<div> Armijo linesearch : alpha=1 beta=0.5 sigma=0.0001 memsize=1</div>
<div> maximum function evaluations=30</div>
<div> tolerances: ftol=0.0001, rtol=1e-10, gtol=0.9</div>
<div> total number of function evaluations=1</div>
<div> total number of gradient evaluations=1</div>
<div> total number of function/gradient evaluations=0</div>
<div> Termination reason: 0</div>
<div><br>
</div>
<div>The parameters seem to be the default ones also suggested by Nocedal and Wright. So I did not change anything. The termination reason is equivalent to TAOLINESEARCH_CONTINUE_ITERATING. I am not checking the reason directly.
I guess it starts reducing the step size after that. I can see that my objective function get’s evaluated (as expected); however, the objective values increase (from what I see when monitoring the evaluations of my objective). This leads to a failure in the
line search and made (still makes) me believe there is a bug on my side (which I have not found yet). However, if I use a unit step it converges (relative change of the gradient e.g. to 1E-9; see bottom of this email). If I use More & Thuente, same thing.
No reduction in step size necessary.</div>
<div><br>
</div>
<div>If you suggest that I should do some further testing on simpler problems, I’m happy to do so. After looking at the code, I just felt like there obviously is something wrong in the line-search implementation.</div>
<div><br>
</div>
<div>Thanks for your help.</div>
<div>/Andreas</div>
<div><br>
</div>
<div><b>Here’s the output after the first iteration (where the Armijo line search fails):</b></div>
<div><br>
</div>
<div>
<div>TaoLineSearch Object:</div>
<div> type: armijo</div>
<div> maxf=30, ftol=1e-10, gtol=0.0001</div>
<div> Armijo linesearch : alpha=1 beta=0.5 sigma=0.0001 memsize=1</div>
<div> maximum function evaluations=30</div>
<div> tolerances: ftol=0.0001, rtol=1e-10, gtol=0.9</div>
<div> total number of function evaluations=1</div>
<div> total number of gradient evaluations=1</div>
<div> total number of function/gradient evaluations=0</div>
<div> Termination reason: 0</div>
<div>TaoLineSearch Object:</div>
<div> type: armijo</div>
<div> maxf=30, ftol=1e-10, gtol=0.0001</div>
<div> Armijo linesearch : alpha=1 beta=0.5 sigma=0.0001 memsize=1</div>
<div> maximum function evaluations=30</div>
<div> tolerances: ftol=0.0001, rtol=1e-10, gtol=0.9</div>
<div> total number of function evaluations=30</div>
<div> total number of gradient evaluations=0</div>
<div> total number of function/gradient evaluations=0</div>
<div> Termination reason: 4</div>
<div><br>
</div>
<div><b>With final output (end of optimization):</b></div>
<div><br>
</div>
<div>
<div>Tao Object: 1 MPI processes</div>
<div> type: nls</div>
<div> Newton steps: 1</div>
<div> BFGS steps: 0</div>
<div> Scaled gradient steps: 0</div>
<div> Gradient steps: 1</div>
<div> nls ksp atol: 0</div>
<div> nls ksp rtol: 1</div>
<div> nls ksp ctol: 0</div>
<div> nls ksp negc: 0</div>
<div> nls ksp dtol: 0</div>
<div> nls ksp iter: 0</div>
<div> nls ksp othr: 0</div>
<div> TaoLineSearch Object: 1 MPI processes</div>
<div> type: armijo</div>
<div> KSP Object: 1 MPI processes</div>
<div> type: cg</div>
<div> total KSP iterations: 21</div>
<div> convergence tolerances: fatol=0, frtol=0</div>
<div> convergence tolerances: gatol=0, steptol=0, gttol=0.0001</div>
<div> Residual in Function/Gradient:=0.038741</div>
<div> Objective value=0.639121</div>
<div> total number of iterations=0, (max: 50)</div>
<div> total number of function evaluations=31, max: 10000</div>
<div> total number of gradient evaluations=1, max: 10000</div>
<div> total number of function/gradient evaluations=1, (max: 10000)</div>
<div> total number of Hessian evaluations=1</div>
<div> Solver terminated: -6 Line Search Failure</div>
</div>
</div>
<div><br>
</div>
<div><b>This is without line-search (unit step size):</b></div>
<div><br>
</div>
<div>
<div>Tao Object: 1 MPI processes</div>
<div> type: nls</div>
<div> Newton steps: 3</div>
<div> BFGS steps: 0</div>
<div> Scaled gradient steps: 0</div>
<div> Gradient steps: 0</div>
<div> nls ksp atol: 0</div>
<div> nls ksp rtol: 3</div>
<div> nls ksp ctol: 0</div>
<div> nls ksp negc: 0</div>
<div> nls ksp dtol: 0</div>
<div> nls ksp iter: 0</div>
<div> nls ksp othr: 0</div>
<div> TaoLineSearch Object: 1 MPI processes</div>
<div> type: unit</div>
<div> KSP Object: 1 MPI processes</div>
<div> type: cg</div>
<div> total KSP iterations: 71</div>
<div> convergence tolerances: fatol=0, frtol=0</div>
<div> convergence tolerances: gatol=0, steptol=0, gttol=0.0001</div>
<div> Residual in Function/Gradient:=1.91135e-11</div>
<div> Objective value=0.160914</div>
<div> total number of iterations=3, (max: 50)</div>
<div> total number of function/gradient evaluations=4, (max: 10000)</div>
<div> total number of Hessian evaluations=3</div>
<div> Solution converged: ||g(X)||/||g(X0)|| <= gttol</div>
</div>
</div>
<div><br>
</div>
<div> </div>
<br>
</div></div><div>
<blockquote type="cite"><div><div class="h5">
<div>On Jun 11, 2015, at 12:44 PM, Jason Sarich <<a href="mailto:jason.sarich@gmail.com" target="_blank">jason.sarich@gmail.com</a>> wrote:</div>
<br>
</div></div><div><div class="h5"><div>
<div dir="ltr">Hi Andreas,
<div><br>
</div>
<div>Yes it looks like a bug that the reason is never set, but the line should still terminate. Is the problem you are having with the line search itself, or is it failing because you are checking this ls->reason directly?</div>
<div><br>
</div>
<div>Jason Sarich</div>
<div><br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Jun 11, 2015 at 9:53 AM, Andreas Mang <span dir="ltr">
<<a href="mailto:andreas@ices.utexas.edu" target="_blank">andreas@ices.utexas.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi guys:<br>
<br>
I have a problem with the TAO Armijo line search (petsc-3.5.4). My algorithm works if I use the More & Thuente line search (default). I have numerically checked the gradient of my objective. It’s correct. I am happy to write a small snippet of code and do an
easy test if you guys disagree, but from what I’ve seen in the line search code it seems obvious to me that there is a bug. Am I missing something or are you not setting<br>
<br>
ls->reason<br>
<br>
to<br>
<br>
TAOLINESEARCH_SUCCESS<br>
<br>
if the Armijo condition is fulfilled (TaoLineSearchApply_Armijo in armijo.c; line 118 - 302)?!<br>
<br>
It seems to me that ls->reason is and will remain to be set to<br>
<br>
TAOLINESEARCH_CONTINUE_ITERATING<br>
<br>
if everything works (i.e. I don’t hit one of the exceptions). Does this make sense? If not I’ll invest the time and put together a simple test case and, if that works, continue to check my code.<br>
<span><font color="#888888"><br>
/Andreas<br>
<br>
<br>
</font></span></blockquote>
</div>
<br>
</div>
</div>
</div></div></blockquote>
</div>
<br>
</div>
</blockquote></div><br></div>