NAG CL Interface
g13bec (multi_inputmod_estim)
1
Purpose
g13bec fits a time series model to one output series relating it to any input series with a choice of three different estimation criteria – nonlinear least squares, exact likelihood and marginal likelihood. When no input series are present, g13bec fits a univariate ARIMA model.
2
Specification
void |
g13bec (Nag_ArimaOrder *arimav,
Integer nseries,
Nag_TransfOrder *transfv,
double para[],
Integer npara,
Integer nxxy,
const double xxy[],
Integer tdxxy,
double sd[],
double *rss,
double *objf,
double *df,
Nag_G13_Opt *options,
NagError *fail) |
|
The function may be called by the names: g13bec, nag_tsa_multi_inputmod_estim or nag_tsa_multi_inp_model_estim.
3
Description
3.1
The Multi-input Model
The output series , for , is assumed to be the sum of (unobserved) components which are due respectively to the inputs , for .
Thus where is the error, or output noise component.
A typical component
may be either:
-
(a)A simple regression component, (here is called a simple input) or
-
(b)A transfer function model component which allows for the effect of lagged values of the variable, related to by
The noise
is assumed to follow a (possibly seasonal) ARIMA model, i.e., may be represented in terms of an uncorrelated series,
, by the hierarchy of equations:
Note: the orders appearing in each of the transfer function models and the ARIMA model are not necessarily the same; is the result of applying non-seasonal differencing of order and seasonal differencing of seasonality and order to the series , the differenced series is then of length ; the constant term argument may optionally be held fixed at its initial value (usually, but not necessarily zero) rather than being estimated.
For the purpose of defining an estimation criterion it is assumed that the series is a sequence of independent Normal variates having mean 0 and variance . An allowance has to be made for the effects of unobserved data prior to the observation period. For the noise component an allowance is always made using a form of backforecasting.
For each transfer function input, you have to decide what values are to be assumed for the pre-period terms and which are in theory necessary to re-create the component series , during the estimation procedure.
The first choice is to assume that all these values are zero. In this case in order to avoid undesirable transient distortion of the early values you are advised first to correct the input series by subtracting from all the terms a suitable constant to make the early values close to zero. The series mean is one possibility, but for a series with strong trend, the constant might be simply .
The second choice is to treat the unknown pre-period terms as nuisance arguments and estimate them along with the other arguments. This choice should be used with caution. For example, if and , it is equivalent to fitting to the data a decaying geometric curve of the form , for , along with the other inputs, this being the form of the transient. If the output contains a strong trend of this form, which is not otherwise represented in the model, it will have a tendency to influence the estimate of away from the value appropriate to the transfer function model.
In most applications the first choice should be adequate, with the option possibly being used as a refinement at the end of the modelling process. The number of nuisance arguments is then , with a corresponding loss of degrees of freedom in the residuals. If you align the input with the output by using in its place the shifted series , then setting in the transfer function model, there is some improvement in efficiency. On some occasions when the model contains two or more inputs, each with estimation of pre-period nuisance arguments, these arguments may be co-linear and lead to failure of the function. The option must then be ‘switched off’ for one or more inputs.
3.2
The Estimation Criterion
This is a measure of how well a proposed set of arguments in the transfer function and noise ARIMA models, matches the data. The estimation function searches for argument values which minimize this criterion. For a proposed set of argument values it is derived by calculating:
-
(i)the components as the responses to the input series using the equations (a) or (b) above,
-
(ii)the discrepancy between the output and the sum of these components, as the noise
-
(iii)the residual series from by reversing the recursive equations (c), (d) and (e) above.
This last step again requires treatment of the effect of unknown pre-period values of
and other terms in the equations regenerating
. One approach is to use a sum of squares function as the estimation criteria, which is equivalent to taking the infinite set of past values
as (linear) nuisance arguments. There is no loss of degrees of freedom however, because the sum of squares function
may be expressed as including the corresponding set of past residuals – see
Box and Jenkins (1976) page 273, who prove that
The function
is the first of the three possible criteria, and is quite adequate for moderate to long series with no seasonal arguments. The second is the exact likelihood criterion which considers the past set
, not as simple nuisance arguments, but as unobserved random variables with known distribution. Calculation of the likelihood of the observed set
requires theoretical integration over the range of the past set. Fortunately this yields a criterion of the form
(whose minimization is equivalent to maximizing the exact likelihood of the data), where
is exactly as before, and the multiplier
is a function calculated from the ARIMA model arguments. The value of
is always
, and
tends to 1 for any fixed argument set as the sample size
tends to
. There is a moderate computational overhead in using this option, but its use avoids appreciable bias in the ARIMA model arguments and yields a better conditioned estimation problem.
The third criterion of marginal likelihood treats the coefficients of the simple inputs in a manner analogous to that given to the past set . These coefficients, together with the constant term used to represent the mean of , are in effect treated as random variables with highly dispersed distributions. This leads to the criterion again, but with a different value of which now depends on the simple input series values . In the presence of a moderate to large number of simple inputs, the marginal likelihood criterion can counteract bias in the ARIMA model arguments which is caused by estimation of the simple inputs. This is particularly important in relatively short series.
g13bec can be used with no input series present, to estimate a univariate ARIMA model for the ouput alone. The marginal likelihood criterion is then distinct from exact likelihood only if a constant term is being estimated in the model, because this is treated as an implicit simple input.
3.3
The Estimation Procedure
This is the minimization of the estimation criterion or objective function
(for deviance). The function uses an extension of the algorithm of
Marquardt (1963). The step size in the minimization is inversely related to an argument
, which is increased or decreased by a factor
at successive iterations, depending on the progress of the minimization. Convergence is deemed to have occurred if the fractional reduction of
in successive iterations is less than a value
, while
.
Certain model arguments (in fact all excluding the 's) are subject to stability constraints which are checked throughout to within a specified tolerance multiple of machine accuracy. Using the least squares criterion, the minimization may halt prematurely when some arguments ‘stick’ at a constraint boundary. This can happen particularly with short seasonal series (with a small number of whole seasons). It will not happen using the exact likelihood criterion, although convergence to a point on the boundary may sometimes be rather slow, because the criterion function may be very flat in such a region. There is also a smaller risk of a premature halt at a constraint boundary when marginal likelihood is used.
A positive, or zero number of iterations can be specified. In either case, the value of the objective function at iteration zero is computed at the initial argument values, except for the estimation of any pre-period terms for the input series, backforecasts for the noise series, and the coefficients of any simple inputs, and the constant term (unless this is held fixed).
At any later iteration, the value of is computed after re-estimation of the backforecasts to their optimal values, corresponding to the model arguments presented at that iteration. This is not true for any pre-period terms for the input series which, although they are updated from the previous iteration, may not be precisely optimal for the argument values presented, unless convergence of those arguments has occurred. However, in the case of marginal likelihood being specified, the coefficients of the simple inputs and the constant term are also re-estimated together with the backforecasts at each iteration, to values which are optimal for the other argument values presented.
3.4
Further Results
The residual variance is taken as where (total number of arguments estimated), is the residual degrees of freedom (for definition of see Section 3.2 and for definition of see Section 3.1). The pre-period nuisance arguments for the input series are included in the reduction of , as is the constant if it is estimated.
The covariance matrix of the vector of model parameter estimates is given by
where
is the linearised least squares matrix taken from the final iteration of the algorithm of Marquardt. From this expression are derived the vector of standard deviations, and the correlation matrix of parameter estimates. These are approximations which are only valid asymptotically, and must be treated with great caution when the parameter estimates are close to their constraint boundaries.
The residual series is available upon completion of the iterations over the range corresponding to the differenced noise series .
Because of the algorithm used for backforecasting, these are only true residuals for , provided this is positive. Estimation of pre-period terms for the inputs will also tend to reduce the magnitude of the early residuals, sometimes severely.
The model component series and may optionally be returned in order to assess the effects of the various inputs on the output.
4
References
Box G E P and Jenkins G M (1976) Time Series Analysis: Forecasting and Control (Revised Edition) Holden–Day
Byng M Fitting a seasonal ARIMA model using the NAG C Library
NAG Technical Report TR3/09 https://www.nag.co.uk/technical-report-repository#tr0309
Marquardt D W (1963) An algorithm for least squares estimation of nonlinear parameters J. Soc. Indust. Appl. Math. 11 431
5
Arguments
-
1:
– Nag_ArimaOrder *
-
Pointer to structure of type Nag_ArimaOrder with the following members:
- p – Integer
- d – IntegerInput
- q – IntegerInput
- bigp – IntegerInput
- bigd – IntegerInput
- bigq – IntegerInput
- s – IntegerInput
-
On entry: these seven members of
arimav must specify the orders vector
, respectively, of the ARIMA model for the output noise component.
, , and refer, respectively, to the number of autoregressive , moving average , seasonal autoregressive and seasonal moving average arguments.
, and refer, respectively, to the order of non-seasonal differencing, the order of seasonal differencing and the seasonal period.
Constraints:
- , , , , , , ;
- ;
- ;
- if , ;
- if , ;
- ;
- .
-
2:
– Integer
Input
-
On entry: the total number of input and output series. There may be any number of input series (including none), but always one output series.
Constraint:
if there are no arguments in the model (that is and ), otherwise.
-
3:
– Nag_TransfOrder *
-
Pointer to structure of type Nag_TransfOrder with the following members:
- b – Integer *Input/Output
- q – Integer *Input/Output
- p – Integer *
- r – Integer *Input/Output
-
On entry/exit: before use these member pointers
must be allocated memory by calling
g13byc which allocates
elements to each pointer. The memory allocated to these pointers must be given the transfer function model orders
,
and
of each of the input series. The order arguments for input series
are held in the
th element of the allocated memory for each pointer.
holds the value
,
holds the value
and
holds the value
. For a simple input,
.
holds the value
, where
for a simple input,
for a transfer function input for which no allowance is to be made for pre-observation period effects, and
for a transfer function input for which pre-observation period effects will be treated by estimation of appropriate nuisance arguments. When
, any nonzero contents of the
th element of
,
and
are ignored.
Constraint:
,
or
, for
The memory allocated to the members of transfv must be freed by a call to
g13bzc
-
4:
– double
Input/Output
-
On entry: initial values of the multi-input model arguments. These are in order, firstly the ARIMA model arguments:
values of
arguments,
values of
arguments,
values of
arguments and
values of
arguments. These are followed by initial values of the transfer function model arguments
,
for the first of any input series and similarly for each subsequent input series. The final component of
para is the initial value of the constant
, whether it is fixed or is to be estimated.
On exit: the latest values of the estimates of these arguments.
-
5:
– Integer
Input
-
On entry: the exact number of , , , , , and arguments.
Constraint:
, the summation being over all the input series. ( must be included, whether fixed or estimated.)
-
6:
– Integer
Input
-
On entry: the (common) length of the original, undifferenced input and output time series.
-
7:
– const double
Input
-
Note: the th element of the matrix is stored in .
On entry: the columns of
xxy must contain the
nxxy original, undifferenced values of each of the input series,
, and the output series,
, in that order.
-
8:
– Integer
Input
-
On entry: the stride separating matrix column elements in the array
xxy.
Constraint:
.
-
9:
– double
Output
-
On exit: the
npara values of the standard deviations corresponding to each of the arguments in
para. When the constant is fixed its standard deviation is returned as zero. When the values of
para are valid, the values of
sd are usually also valid unless the function fails to invert the second derivative matrix in which case
fail will have an exit value of
NE_MAT_NOT_POS_DEF.
-
On exit: the residual sum of squares, , at the latest set of valid parameter estimates.
-
11:
– double *
Output
-
On exit: the objective function, , at the latest set of valid parameter estimates.
-
12:
– double *
Output
-
On exit: the degrees of freedom associated with .
-
13:
– Nag_G13_Opt *
Input/Output
-
On entry/exit: a pointer to a structure of type Nag_G13_Opt whose members are optional parameters for
g13bec. If the optional parameters are not required, then the null pointer,
G13_DEFAULT, can be used in the function call to
g13bec. Details of the optional parameters and their types are given below in
Section 11.2.
-
14:
– NagError *
Input/Output
-
The NAG error argument (see
Section 7 in the Introduction to the NAG Library CL Interface).
6
Error Indicators and Warnings
- If the intermediate results of optimization are written to a file using the optional parameter , then NE_NOT_APPEND_FILE, NE_WRITE_ERROR and NE_NOT_CLOSE_FILE could also occur.
- NE_2_INT_ARG_LT
-
On entry, while . These arguments must satisfy .
- NE_ALLOC_FAIL
-
Dynamic memory allocation failed.
- NE_ARIMA_TEST_FAILED
-
On entry, or during execution, one or more sets of the ARIMA (, , or ) arguments do not satisfy the stationarity or invertibility test conditions.
- NE_BAD_PARAM
-
On entry, argument had an illegal value.
On entry, argument had an illegal value.
On entry, argument had an illegal value.
- NE_CONSTRAINT
-
General constraint: .
- NE_DELTA_TEST_FAILED
-
On entry, or during execution, one or more sets of arguments do not satisfy the stationarity or invertibility test conditions.
- NE_DIFORDER_LEN_INCONSIST
-
The orders of differencing specified in the structure arimav must satisfy (), , , , .
- NE_G13_OPTIONS_NOT_INIT
-
On entry, the option structure,
options, has not been initialized using
g13bxc.
- NE_G13_ORDERS_NOT_INIT
-
On entry, the orders array structure,
transfv, has not been successfully initialized using function
g13byc.
- NE_INT_ARG_LT
-
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: .
- NE_INT_ARRAY_2
-
Value
given to
transfv.
not valid. Correct range for elements of
transfv.
is
.
- NE_INTERNAL_ERROR
-
An internal error has occurred in this function. Check the function call
and any array sizes. If the call is correct then please contact
NAG for
assistance.
- NE_INVALID_NSER
-
On entry, and there are no arguments in the model, i.e., ( and ).
- NE_ITER_FAIL_NIT
-
The function has failed to converge after
iterations, where
. If steady decreases in the objective function,
, were monitored up to the point where this exit occurred, see the optional parameter
, then
was probably set too small. If so the calculations should be restarted from the final point held in
para.
- NE_MAT_NOT_POS_DEF
-
Attempt to invert the second derivative matrix needed in the calculation of the covariance matrix of the parameter estimates has failed. The matrix is not positive definite, possibly due to rounding errors.
- NE_NOT_APPEND_FILE
-
Cannot open file for appending.
- NE_NOT_CLOSE_FILE
-
Cannot close file .
- NE_NPARA_MR_MT_INCONSIST
-
On entry, there is inconsistency between
npara on the one hand and the elements in the orders structures,
arimav and
transfv on the other.
- NE_NSER_INCONSIST
-
Value of
nseries passed to
g13byc was
which is not equal to the value
passed in this function.
- NE_REAL_ARG_GE
-
On entry, must not be greater than or equal to 1.0: .
- NE_REAL_ARG_LE
-
On entry, .
Constraint: .
On entry, .
Constraint: .
- NE_REAL_ARG_LT
-
On entry, .
Constraint: .
- NE_SOLUTION_FAIL_CONV
-
Iterative refinement has failed to improve the solution of the equations giving the latest estimates of the arguments. This occurred because the matrix of the set of equations is too ill-conditioned.
- NE_WRITE_ERROR
-
Error occurred when writing to file .
7
Accuracy
The computation used is believed to be stable.
8
Parallelism and Performance
g13bec is not threaded in any implementation.
The time taken by g13bec is approximately proportional to .
10
Example
The data in the example relate to 40 observations of an output time series and of a single input time series. The noise series has one autoregressive and one seasonal moving average argument (both of which are initially set to zero) for which the seasonal period is . The input series is defined by orders , , , , so that it has one (initially set to 2.0) and one (initially set to 0.5), and allows for pre-observation period effects. The constant (initially set to zero) is to be estimated so that the flag for the constant , , remains unchanged from its default value of Nag_FALSE. Default values of zsp are used. Up to 20 iterations are allowed so that is set to , and the progress of these is monitored and solution output by setting . Marginal likelihood is the chosen estimation criterion so that .
After the successful call to g13bec, the following are computed and printed out: the correlation matrix, the residuals for the 36 differenced values and the values of and .
An additional example showing how to use
g13bec to fit a seasonal ARIMA model can be found in
Byng.
10.1
Program Text
10.2
Program Data
10.3
Program Results
11
Optional Parameters
A number of optional input and output arguments to
g13bec are available through the structure argument
options of type Nag_G13_Opt. An argument may be selected by assigning an appropriate value to the relevant structure member. Those arguments not selected will be assigned default values. If no use is to be made of any of the optional parameters you should use the null pointer,
G13_DEFAULT, in place of
options when calling
g13bec; the default settings will then be used for all arguments.
Before assigning values to
options the structure must be initialized by a call to the function
g13bxc. Values may then be assigned directly to the structure members in the normal C manner.
Options selected are checked within g13bec for being within the required range, if outside the range, an error message is generated.
When all calls to
g13bec have been completed and the results contained in the options structure are no longer required; then
g13xzc should be called to free the NAG allocated memory from
options.
11.1
Optional Parameters Checklist and Default Values
For easy reference, the following list shows the input and output members of
options which are valid for
g13bec together with their default values where relevant.
is the
machine precision.
Boolean |
Nag_TRUE |
Nag_PrintType |
|
char outfile[80] |
stdout |
void (*)() |
NULL |
Boolean |
Nag_FALSE |
Nag_Likelihood |
|
Integer |
50 |
double |
0.01 |
double |
10.0 |
double |
1000.0 |
double |
|
Integer |
double * |
double * |
Integer |
double * |
double * |
11.2
Description of the Optional Parameters
On entry: if then the argument settings which are used in the call to g13bec will be printed.
print_level – Nag_PrintType | | |
On entry: the level of results produced by
g13bec. The following values are available:
|
No output. |
|
The final solution. |
|
One line of output for each iteration. |
|
The final solution and one line of output for each iteration. |
|
The final solution and detailed printout at each iteration. |
Details of each level of results printout are described in Section 7.3.
Constraint:
, , , or .
On entry: name of file to which the results of monitoring the course of the optimization should be printed. If then the stdout stream is used.
print_fun – pointer to function | | |
On entry: printing function defined by you; the prototype of
is
void (*print_fun)(const Nag_UserPrintFun *bfx, Nag_Comm *Comm);
See
Section 11.3.1 below for further details.
On entry: must be set to Nag_TRUE if the constant is to remain fixed at its initial value, and to Nag_FALSE if it is to be estimated.
criteria – Nag_Likelihood | | |
On entry: indicates the likelihood option for the estimation criterion. must be set to , or , to select the least squares, exact or marginal likelihood, respectively.
Constraint:
, or .
On entry: the maximum required number of iterations. If
, no change is made to any of the model arguments in array
para except that the constant
(if
) and any
relating to simple input series are estimated. (Apart from these, estimates are always derived for the nuisance arguments relating to any backforecasts and any pre-observation period effects for transfer function inputs.)
Constraint:
.
On entry:
, the value used to constrain the magnitude of the search procedure steps (see
Section 3.3).
Constraint:
.
On entry:
, the multiplier which regulates the value of
(see
Section 3.3).
Constraint:
.
On entry:
, the value of the stationarity and invertibility test tolerance factor (see
Section 3.3).
Constraint:
.
On entry:
, the convergence criterion (see
Section 3.3).
Constraint:
.
On exit: the number of iterations carried out. A value of on exit indicates that the only estimates obtained up to this point have been for the nuisance arguments relating to backforecasts, unless the marginal likelihood option is used in which case estimates have also been obtained for simple input coefficients and for the constant (if ). This value of usually indicates a failure in a consequent step of estimating transfer function input pre-observation period nuisance arguments. A value of on exit indicates that estimates have been obtained up to this point for the constant (if ), for simple input coefficients and for the nuisance arguments relating to the backforecasts and to transfer function input pre-observation period effects.
On exit: this pointer is allocated memory internally with
elements corresponding to
npara rows by
npara columns. The
npara rows and columns of
contain the correlation coefficients relating to each pair of arguments in
para. All coefficients relating to the constant will be zero if the constant is fixed. However, if the function fails to invert the second derivative matrix, in which case
fail will have an exit value of
NE_MAT_NOT_POS_DEF, then the contents of
will be indeterminate.
On exit: the values of the residuals relating to the differenced values of the output series. This pointer is allocated memory internally with elements.
On exit: the length of .
On exit: this pointer is allocated memory internally with
elements corresponding to
nxxy rows by
columns. The columns of
hold the values of the input component series
.
On exit: this pointer is allocated memory internally with
nxxy elements. It holds the output noise component
.
11.3
Description of Printed Output
The level of printed output can be controlled with the structure members
and
, see Section 7.2. If
then the argument values to
g13bec are listed, whereas the printout of results is governed by the value of
. The default of
which provides a printout of the final solution. This section describes all of the possible levels of results printout available from
g13bec. When
or
a single line of output is produced at each iteration, this gives the following values.
Iter |
the current iteration number, . |
Residual |
the residual sum of squares, . |
Objf |
the objective function at the latest set of parameter estimates. |
When
a description and value for each of the arguments in the para array is output. The descriptions are phi for
, theta for
, sphi for
. stheta for
, omega/si for
in a simple input, omega for
in a transfer function input,
for
and constant for
. In addition series 1, series 2, etc, indicate the input series relevant to the omega and
arguments.
If , or the final solution is printed out. This consists of:
i |
the argument number. |
para[i] |
the values of the argument. |
sd |
the standard deviations. |
options.iter |
the number of iterations carried out. |
rss |
the residual sum of squares. |
objf |
the objective function. |
df |
the degrees of freedom. |
If then printout will be suppressed; you can print the final solution when g13bec returns to the calling program.
11.3.1
Output of results via a user-defined printing function
You may also specify their own print function for output of iteration results and the final solution by use of the function pointer, prototype
void (*print_fun) (const Nag_UserPrintFun *bfx, Nag_Comm *Comm);
The rest of this section can be skipped if the default printing facilities provide the required functionality. When a user-defined function is assigned to this will be called in preference to the internal print function of g13bec. Calls to the user-defined function are again controlled by means of the member. Information is provided through two structure arguments to , the structure of type contains the following members relevant to g13bec:
- itc – Integer
-
The number of the particular iteration being monitored.
-
The residual sum of squares, , at the latest set of valid parameter estimates.
- objf – double *
-
The objective function, , at the latest set of valid parameter estimates.
- para – double *
-
The pointer to memory containing latest values of the estimates of the multi-input model arguments.
- npara – Integer
-
The exact number of , , , , , and arguments.
- npe – Integer
-
The number of ARIMA (, , , ), omega , , and arguments being estimated.
- mtyp – Integer
- mser – Integer
-
The pointers to memory, each with
elements. The value of each element in
and
corresponds to the description of each parameter estimated in
. The following should be read in conjunction with the description of the argument
print. The relevant description for the value of
is:
|
Description |
1 |
phi |
2 |
theta |
3 |
sphi |
4 |
stheta |
5 |
omega/si |
series |
6 |
omega |
series |
7 |
|
series |
8 |
constant |
for . For the phi, theta, sphi, stheta and constant arguments, .
- sd – double *
-
The pointer to memory containing the npara values of the standard deviations.
- df – double *
-
The number of degrees of freedom associated with S.