File: Nonlinear-Least_002dSquares-Tunable-Parameters.html

package info (click to toggle)
gsl-ref-html 2.3-1
• area: non-free
• in suites: bullseye, buster, sid
• size: 6,876 kB
• ctags: 4,574
• sloc: makefile: 35
 file content (387 lines) | stat: -rw-r--r-- 19,166 bytes parent folder | download
 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387  GNU Scientific Library – Reference Manual: Nonlinear Least-Squares Tunable Parameters

39.4 Tunable Parameters

The user can tune nearly all aspects of the iteration at allocation time. For the gsl_multifit_nlinear interface, the user may modify the gsl_multifit_nlinear_parameters structure, which is defined as follows:

typedef struct {   const gsl_multifit_nlinear_trs *trs;        /* trust region subproblem method */   const gsl_multifit_nlinear_scale *scale;    /* scaling method */   const gsl_multifit_nlinear_solver *solver;  /* solver method */   gsl_multifit_nlinear_fdtype fdtype;         /* finite difference method */   double factor_up;                           /* factor for increasing trust radius */   double factor_down;                         /* factor for decreasing trust radius */   double avmax;                               /* max allowed |a|/|v| */   double h_df;                                /* step size for finite difference Jacobian */   double h_fvv;                               /* step size for finite difference fvv */ } gsl_multifit_nlinear_parameters;

For the gsl_multilarge_nlinear interface, the user may modify the gsl_multilarge_nlinear_parameters structure, which is defined as follows:

typedef struct {   const gsl_multilarge_nlinear_trs *trs;       /* trust region subproblem method */   const gsl_multilarge_nlinear_scale *scale;   /* scaling method */   const gsl_multilarge_nlinear_solver *solver; /* solver method */   gsl_multilarge_nlinear_fdtype fdtype;        /* finite difference method */   double factor_up;                            /* factor for increasing trust radius */   double factor_down;                          /* factor for decreasing trust radius */   double avmax;                                /* max allowed |a|/|v| */   double h_df;                                 /* step size for finite difference Jacobian */   double h_fvv;                                /* step size for finite difference fvv */   size_t max_iter;                             /* maximum iterations for trs method */   double tol;                                  /* tolerance for solving trs */ } gsl_multilarge_nlinear_parameters;

Each of these parameters is discussed in further detail below.

Parameter: const gsl_multifit_nlinear_trs * trs
Parameter: const gsl_multilarge_nlinear_trs * trs

This parameter determines the method used to solve the trust region subproblem, and may be selected from the following choices,

Default: gsl_multifit_nlinear_trs_lm
Default: gsl_multilarge_nlinear_trs_lm

This selects the Levenberg-Marquardt algorithm.

Option: gsl_multifit_nlinear_trs_lmaccel
Option: gsl_multilarge_nlinear_trs_lmaccel

This selects the Levenberg-Marquardt algorithm with geodesic acceleration.

Option: gsl_multifit_nlinear_trs_dogleg
Option: gsl_multilarge_nlinear_trs_dogleg

This selects the dogleg algorithm.

Option: gsl_multifit_nlinear_trs_ddogleg
Option: gsl_multilarge_nlinear_trs_ddogleg

This selects the double dogleg algorithm.

Option: gsl_multifit_nlinear_trs_subspace2D
Option: gsl_multilarge_nlinear_trs_subspace2D

This selects the 2D subspace algorithm.

Option: gsl_multilarge_nlinear_trs_cgst

This selects the Steihaug-Toint conjugate gradient algorithm. This method is available only for large systems.

Parameter: const gsl_multifit_nlinear_scale * scale
Parameter: const gsl_multilarge_nlinear_scale * scale

This parameter determines the diagonal scaling matrix D and may be selected from the following choices,

Default: gsl_multifit_nlinear_scale_more
Default: gsl_multilarge_nlinear_scale_more

This damping strategy was suggested by Moré, and corresponds to D^T D = max(diag(J^T J)), in other words the maximum elements of diag(J^T J) encountered thus far in the iteration. This choice of D makes the problem scale-invariant, so that if the model parameters x_i are each scaled by an arbitrary constant, \tilde{x}_i = a_i x_i, then the sequence of iterates produced by the algorithm would be unchanged. This method can work very well in cases where the model parameters have widely different scales (ie: if some parameters are measured in nanometers, while others are measured in degrees Kelvin). This strategy has been proven effective on a large class of problems and so it is the library default, but it may not be the best choice for all problems.

Option: gsl_multifit_nlinear_scale_levenberg
Option: gsl_multilarge_nlinear_scale_levenberg

This damping strategy was originally suggested by Levenberg, and corresponds to D^T D = I. This method has also proven effective on a large class of problems, but is not scale-invariant. However, some authors (e.g. Transtrum and Sethna 2012) argue that this choice is better for problems which are susceptible to parameter evaporation (ie: parameters go to infinity)

Option: gsl_multifit_nlinear_scale_marquardt
Option: gsl_multilarge_nlinear_scale_marquardt

This damping strategy was suggested by Marquardt, and corresponds to D^T D = diag(J^T J). This method is scale-invariant, but it is generally considered inferior to both the Levenberg and Moré strategies, though may work well on certain classes of problems.

Parameter: const gsl_multifit_nlinear_solver * solver
Parameter: const gsl_multilarge_nlinear_solver * solver

Solving the trust region subproblem on each iteration almost always requires the solution of the following linear least squares system

[J; sqrt(mu) D] \delta = - [f; 0]

The solver parameter determines how the system is solved and can be selected from the following choices:

Default: gsl_multifit_nlinear_solver_qr

This method solves the system using a rank revealing QR decomposition of the Jacobian J. This method will produce reliable solutions in cases where the Jacobian is rank deficient or near-singular but does require about twice as many operations as the Cholesky method discussed below.

Option: gsl_multifit_nlinear_solver_cholesky
Default: gsl_multilarge_nlinear_solver_cholesky

This method solves the alternate normal equations problem

( J^T J + \mu D^T D ) \delta = -J^T f

by using a Cholesky decomposition of the matrix J^T J + \mu D^T D. This method is faster than the QR approach, however it is susceptible to numerical instabilities if the Jacobian matrix is rank deficient or near-singular. In these cases, an attempt is made to reduce the condition number of the matrix using Jacobi preconditioning, but for highly ill-conditioned problems the QR approach is better. If it is known that the Jacobian matrix is well conditioned, this method is accurate and will perform faster than the QR approach.

Option: gsl_multifit_nlinear_solver_svd

This method solves the system using a singular value decomposition of the Jacobian J. This method will produce the most reliable solutions for ill-conditioned Jacobians but is also the slowest solver method.

Parameter: gsl_multifit_nlinear_fdtype fdtype

This parameter specifies whether to use forward or centered differences when approximating the Jacobian. This is only used when an analytic Jacobian is not provided to the solver. This parameter may be set to one of the following choices.

Default: GSL_MULTIFIT_NLINEAR_FWDIFF

This specifies a forward finite difference to approximate the Jacobian matrix. The Jacobian matrix will be calculated as

J_ij = 1 / \Delta_j ( f_i(x + \Delta_j e_j) - f_i(x) )

where \Delta_j = h |x_j| and e_j is the standard jth Cartesian unit basis vector so that x + \Delta_j e_j represents a small (forward) perturbation of the jth parameter by an amount \Delta_j. The perturbation \Delta_j is proportional to the current value |x_j| which helps to calculate an accurate Jacobian when the various parameters have different scale sizes. The value of h is specified by the h_df parameter. The accuracy of this method is O(h), and evaluating this matrix requires an additional p function evaluations.

Option: GSL_MULTIFIT_NLINEAR_CTRDIFF

This specifies a centered finite difference to approximate the Jacobian matrix. The Jacobian matrix will be calculated as

J_ij = 1 / \Delta_j ( f_i(x + 1/2 \Delta_j e_j) - f_i(x - 1/2 \Delta_j e_j) )

See above for a description of \Delta_j. The accuracy of this method is O(h^2), but evaluating this matrix requires an additional 2p function evaluations.

Parameter: double factor_up

When a step is accepted, the trust region radius will be increased by this factor. The default value is 3.

Parameter: double factor_down

When a step is rejected, the trust region radius will be decreased by this factor. The default value is 2.

Parameter: double avmax

When using geodesic acceleration to solve a nonlinear least squares problem, an important parameter to monitor is the ratio of the acceleration term to the velocity term,

|a| / |v|

If this ratio is small, it means the acceleration correction is contributing very little to the step. This could be because the problem is not “nonlinear” enough to benefit from the acceleration. If the ratio is large (> 1) it means that the acceleration is larger than the velocity, which shouldn’t happen since the step represents a truncated series and so the second order term a should be smaller than the first order term v to guarantee convergence. Therefore any steps with a ratio larger than the parameter avmax are rejected. avmax is set to 0.75 by default. For problems which experience difficulty converging, this threshold could be lowered.

Parameter: double h_df

This parameter specifies the step size for approximating the Jacobian matrix with finite differences. It is set to \sqrt{\epsilon} by default, where \epsilon is GSL_DBL_EPSILON.

Parameter: double h_fvv

When using geodesic acceleration, the user must either supply a function to calculate f_{vv}(x) or the library can estimate this second directional derivative using a finite difference method. When using finite differences, the library must calculate f(x + h v) where h represents a small step in the velocity direction. The parameter h_fvv defines this step size and is set to 0.02 by default.