1. INTRODUCTION
The modeling of conditional variance and of conditional covariance matrices is an important issue in financial econometrics. For the scalar case there is a wide range of models, which have been successfully used in practice. In particular, generalized autoregressive conditional heteroskedastic (GARCH) models are standard tools to describe and predict changes in the volatility of financial time series. See, e.g., Bollerslev, Engle, and Nelson (1994), Pagan (1996), and Palm (1996) for a survey.
In this paper the focus is on multivariate GARCH models. In particular, we concentrate on the VECH model class proposed by Bollerslev, Engle, and Wooldridge (1988) and the Baba, Engle, Kraft, and Kroner (BEKK) model class (see Baba et al., 1991, and Engle and Kroner, 1995). The acronym VECH refers to the fact that these models are expressed in terms of vectorized conditional variance matrices. For a recent survey of multivariate GARCH models we refer to Bauwens, Laurent, and Rombout (2006).
It is shown that there is a one-to-one relation between VECH terms and certain affine sets of symmetric matrices, which are referred to as

-sets in the following discussion. This link is the main tool used to analyze VECH and BEKK models in this paper. In particular, it is shown that a VECH term allows for an equivalent BEKK representation if and only if the corresponding

-set contains a positive semidefinite (p.s.d.) element. The corresponding BEKK parameter matrices are obtained from a factorization of such a p.s.d. element. This gives a simple-to-check characterization of VECH models that have an equivalent BEKK representation via a positive semidefinite program. Furthermore, this observation implies that the BEKK parameter matrices are not identifiable without adding further restrictions.
Another conclusion of this link is that in the bivariate case (n = 2) any admissible VECH model, i.e., any model that ensures positive definite (p.d.) conditional variance matrices for any sample path, has an equivalent BEKK representation. For more than two variables (n > 2) however, the class of admissible VECH models is more general than the class of BEKK models.
In addition, we analyze the parametrization of Engle and Kroner (1995) and show that this parametrization is not fully general and identifiable; i.e., the parametrization does not cover a generic set of BEKK models, and two different parameter vectors may represent the same process. Therefore an alternative parametrization is put forward that covers a generic set of BEKK models.
One of the main problems of VECH and BEKK models is the curse of dimensionality, because the number of parameters grows as O(n4) with the number of observed variables. This implies that full VECH or BEKK models are only feasible for small n. Nevertheless in our opinion, our analysis of general models is fruitful. It gives an understanding of the structure of BEKK models and their relation to VECH models. In particular, it shows the difficulties of deriving suitable parametrizations of BEKK models in general. For moderate n, in particular for the bivariate case, estimation of full BEKK models is an option. Thus the proposed parametrization might be useful because of its advantages over the mostly used Engle–Kroner parametrization. Finally, a good understanding of the structure of BEKK models is indispensable for defining and parametrization of more parsimonious subclasses.
In view of the preceding discussion BEKK model classes where the number K of additive components is restricted to be less than or equal to the number of variables also are considered. In particular, the popular diagonal VECH model and the factor GARCH (F-GARCH) model are discussed in terms of

-sets. Finally, a generalization for F-GARCH models is proposed.
The outline of the paper is as follows. Section 1.1 summarizes some basics concerning the notation used throughout the paper. In Section 2 the VECH and BEKK models are discussed, and some properties of these model classes are stated. Section 3 gives a parametrization of a generic class of BEKK models. Here “generic” means that this set is an open and dense subset of the set of all BEKK models. Furthermore, the parametrization given by Engle and Kroner (1995) is discussed. In Section 4 a subset of BEKK models with a small number of additive terms, K ≤ n, is considered. Section 5 concludes. Some technical results are collected in the Appendix.
1.1. Notation
Throughout the paper we will adhere to the following conventions: The symbols In, 0m×n denote the n × n identity matrix and the m × n zero matrix. If the respective size is clear from the context, the indices are omitted. The transposed, inverse, and transposed inverse of a matrix are denoted with X′, X−1, and X−T, respectively. The inequality H > 0 means that H is a p.d. matrix. Analogously H ≥ 0 is used for p.s.d. matrices. The square root of a p.s.d. matrix H ≥ 0 is denoted by H1/2, i.e., H = H1/2(H1/2)′. The transposed of H1/2 is denoted by HT/2, and if H1/2 is nonsingular its inverse and transposed inverse are denoted by H−1/2 and H−T/2 respectively.
The Kronecker product of two matrices A and B is denoted by A [otimes ] B. The operator [odot ] flags the Hadamard product,

, of two m × n matrices A and B, which is formed by the elementwise multiplication of their elements.
The vec operator stacks all elements aij of a matrix

column by column, i.e., vec(A) = (a11,a21,…, amn)′. Given the vector of stacked entries the mat(·) operator reconstructs the matrix, i.e., mat(vec(A)) = A. For square matrices

the vech operator stacks the diagonal and the lower diagonal entries, i.e.,

. The index function

gives the position of the (k,l)th element of A in vech(A). For symmetric matrices, A = A′, the math operator is the inverse operator to vech, i.e., math(vech(A)) = A. The vech operator stacks the elements below the diagonal, i.e., for a square matrix

, vech(A) = (a21,a31,…, an1,a32,…, an,(n−1))′. The diagonal elements are obtained with the diag operator, i.e., diag(A) = (a11,…, ann)′. With a slight abuse of notation we use diag also to construct diagonal matrices from some given vector; i.e.,

is a diagonal matrix with elements xi on its diagonal.
For a square matrix

with eigenvalues λ1,…, λm, ρ(X) := max1≤i≤m(|λm|) denotes the spectral radius of X. The minimum eigenvalue of a symmetric matrix X = X′ is denoted as λmin(X).
Let

be the set of all symmetric m × m matrices. The set

is the set of all p.s.d. symmetric matrices, and

denotes the set of p.s.d. symmetric matrices of rank K. In particular

is the set of all p.d. matrices of order m. Furthermore,

denotes the set of antisymmetric (skew symmetric) matrices.
We will often encounter square matrices, Q, say, of size n2 × n2, which will be partitioned into n × n square subblocks

, i.e.,

The elements of Q are indexed by qij,kl, where qij,kl denotes the (k,l)th entry of the (i,j)th subblock Qij.
Let

be the set of all such block matrices Q that are symmetric and whose subblocks are symmetric too; i.e.,

. In addition, we need the set of

, i.e., the set of all symmetric block matrices whose subblocks are all antisymmetric.
Let Eij = uiuj′ − ujui′, i > j, where ui = (0,…,0,1,0,…,0)′ are the canonical unit vectors of

. Then it is immediate that

is spanned by the matrices (Eij [otimes ] Ekl), i.e.,

To simplify notation let Δ1,…, Δn, n = (n(n − 1)/2)2, denote the matrices (Eij [otimes ] Ekl) for i > j and k > l. Note that Q = Q′ is an element of

if and only if (iff) trace QΔ = 0 for all

. Furthermore, for Δ = Δ′,

holds iff (ν [otimes ] e)′Δ(ν [otimes ] e) = 0 holds for all

. See the Appendix for more details.
2. THE MODEL CLASSES OF INTEREST
2.1. Basic Framework
Suppose we are given some n-dimensional observable, weakly stationary vector process (yt). The process (yt) can be decomposed into the sum of two components, the conditional mean μt and some noise component εt,

where

and

is the sigma field generated by the past information of (yt). We assume that the noise process (εt) is characterized by the relations

where Ht is some

-measurable (n × n)–dimensional, p.d., symmetric matrix and (zt) is an n-dimensional vector process independently and identically distributed with mean zero and unit variance, zt ∼ iid(0,In). Given all these assumptions, the variance matrix of yt conditional on

equals the variance matrix of εt conditional on

,

In the following discussion, we concentrate on the modeling of the conditional variance Ht. The conditional mean μt may, e.g., be modeled by some autoregressive moving average system (ARMA).
For the modeling of the conditional variance matrices here we use VECH and BEKK models, which are well-known multivariate generalizations of the univariate ARCH (autoregressive conditional heteroskedastic) model proposed by Engle (1982) and the univariate GARCH model suggested by Bollerslev (1986).
2.2. The VECH Model
The VECH(p,q) model was proposed in Bollerslev et al. (1988) and is given by

where c is an (n(n + 1)/2)–dimensional vector and the Ai's are square matrices of order n(n + 1)/2. This is a very general formulation of the conditional second moments of (εt), because each component of Ht can be formed by a linear combination of its own past and the past of all the other elements in Ht and εtεt′.
However, at least two drawbacks of this model are apparent. First, the high number of parameters to estimate, which increases rapidly with O(n4), implies that estimation of the model is infeasible for large n. Yet a close look at the theory of this very general model class is worthwhile, not only for understanding the model features but also for the construction or definition of reasonable parsimonious subclasses. Second, Ht has to be p.d. for all εt−i and all Ht−j in the sample space. This is ensured if we assume that the constant is strictly positive,

and that the contribution of each ARCH and GARCH term resp. is nonnegative; i.e.,

holds for i = 1,…, p + q. Here we have used the fact that any p.s.d. matrix H ≥ 0 may be factorized as

and thus the condition

is equivalent to (2.5). A VECH model that satisfies conditions (2.4) and (2.5) will be called admissible. However, note that admissibility is hard to check for given parameters c,A1,…, Ap+q, and thus hard to impose during estimation.
To further analyze the admissibility constraint let us concentrate on one of the preceding terms, A vech(ee′), say. Any matrix

will be called VECH term in the following. A VECH term A is admissible iff

Thus A is admissible iff the optimization problem

has an optimal value,

, say, that is nonnegative. Note that (2.7) is a nonconvex optimization problem that in general is hard to solve.
The function f (ν,e) has the following interpretation: Suppose that A corresponds to the lag one ARCH term; then f (ν,e) is the contribution of this term to the conditional variance of the linear combination (ν′εt) for a given εt−1 = e. For fixed ν, f (ν,e) is a quadratic form in e and for fixed e, f (ν,e) is a quadratic form in ν.
By rearrangement of terms, f (·,·) may also be written as

where the symmetric matrix

is a solution of the following relations:

Here we have partitioned

into n × n subblocks of size (n × n) each and used the indexing as described in (1.1) and (1.2). Note that the first set of equations relates to the symmetry of Q and that because of the last set of equations the matrix Q is not uniquely determined for a given matrix A. It follows immediately that the set of Q matrices that satisfy (2.9) for given matrix A is given by

where Q0 is an arbitrary matrix for which, given this matrix A, equations (2.9) hold; see also Section 1.1. Note that

is an affine subset of

of dimension (n(n − 1)/2)2. These sets will be called

-sets in what follows.
One can of course always select a unique matrix Q out of

, if further normalizing conditions are imposed. For instance,

is the only element in

with symmetric subblocks:

However, as we will see later on, it is advantageous to consider other normalizing conditions.
Note that for a given symmetric

the relations (2.9) uniquely define a VECH term

. As an example the matrices Q(ω1),

, for the simplest case, n = 2, are given here:
In this paper we will mainly deal with the admissibility constraints, i.e., conditions that ensure the positive definiteness of the conditional variance matrices. For conditions that ensure stationarity of the process (εt) we refer, e.g., to Engle and Kroner (1995, Prop. 2.7): The VECH model has a (unique) weakly stationary solution (εt) if and only if

holds. This is a highly nonlinear restriction, which is hard to impose on a parametrization. In particular it imposes a “cross restriction,” which jointly refers to all terms Ai. In special cases however, the stationarity condition simplifies significantly; see the diagonal VECH (DVECH) model and the F-GARCH model later on.
2.3. The BEKK Model
Baba et al. (1991) proposed the BEKK(p,q,K) model,

where C is a nonsingular n × n matrix, Bi,k are n × n parameter matrices, and K in a certain sense determines the generality of the process.
Of course admissibility is not an issue here, because the preceding recursions always give p.d. matrices Ht > 0 by construction. For completeness we state the corresponding stationarity condition; see Engle and Kroner (1995): The BEKK model has a weakly stationary solution (εt) if and only if

holds.
Because p.s.d. matrices H ≥ 0 may be factorized as H = [sum ]ei ei′, it follows that GARCH terms,

, may again be treated completely analogously to ARCH terms,

. Now consider one of these terms, [sum ]Bk′ee′Bk, say, and note that

This implies that any BEKK term has an equivalent representation as a VECH term, A, say, where A is computed from

and (2.9). Furthermore this VECH term is admissible, and the corresponding

-set

contains at least one p.s.d. element. On the other hand, if the

-set corresponding to a VECH term, A, say, contains a p.s.d. element, Q ≥ 0, say, then this A is admissible and has an equivalent BEKK representation. To see this, just note that Q ≥ 0 implies that Q may be factorized as

, where

and K ≤ n2 is the rank of Q, and thus Bk = mat(Uk) is the desired BEKK representation.
As has been noted already it is hard to check whether a given VECH term, A, say, is admissible. However, it is easy to check whether A admits a BEKK representation.
To this end, let some VECH term A be given and consider the following semidefinite program (s.d.p.) for

and

:

where Q0 is an arbitrary element of

.
One can easily prove that this s.d.p. always has an optimizer, (λ*,ω*), say. Furthermore, note that the optimal λ* is the minimal eigenvalue of Q(ω*) = Q0 + [sum ]ωk*Δk. In other words, the preceding s.d.p. maximizes λmin(Q) over the set

, where λmin(Q) denotes the minimal eigenvalue of Q. Thus,

contains a p.s.d. matrix Q iff the optimal λ is nonnegative. For a detailed description of s.d.p.'s and their properties we refer to Vandenberghe and Boyd (1996). Note that (2.17) is a convex relaxation of problem (2.7).
It is well known that any BEKK model may be cast as a VECH model. However to the best of our knowledge the previously given check whether a VECH model has an equivalent BEKK representation is new. By the preceding considerations one may embed the set of BEKK models/terms into the set of VECH models/terms. Thus we will, for simplicity of notation, from now on call a VECH term that allows for a BEKK representation simply a BEKK term.
The theorem that follows summarizes some basic facts on VECH and BEKK models. For simplicity of notation we restrict ourselves to single terms; however the generalization to complete models is straightforward. We define the following sets.
Let

denote the set of all admissible VECH terms A. Note that

holds; see (2.7). Let

denote the set of all VECH terms A that have a BEKK representation; i.e., using the previous convention

is the set of all BEKK terms. Let

denote the optimum value attained for problem (2.17) and note that

iff

contains a p.s.d. element Q ≥ 0, i.e., iff

holds. Finally, let

denote the set of all BEKK terms A where

contains a p.d. element Q > 0, i.e.,

.
THEOREM 2.1.
(i)

contains an open subset of

.
(ii)

contains an open subset of

.
(iii) The set

is open in

and dense in

.
(iv)

holds for n = 2, whereas for n > 2 the set

contains an open subset of

.
Theorem 2.1(i) makes precise that a parametrization of the set of admissible VECH terms

—and of any general subset—needs (n(n + 1)/2)2 = O(n4) free parameters. Here “general” means that this subclass contains an open set of VECH terms.
Theorem 2.1(ii) implies that this applies in particular to the set of all BEKK terms

. In the next section we will consider the subclass

of BEKK terms and give a parametrization for this class. From Theorem 2.1(iii) it follows that this subset covers “almost all” BEKK terms. Finally, the preceding theorem shows that in the bivariate case, n = 2, BEKK models are as general as (admissible) VECH models. Thus in this case there is no loss of generality if one considers BEKK models only. However for n > 2 there is a “thick” set of admissible VECH models that have no equivalent BEKK representation.
3. PARAMETRIZATION OF BEKK MODELS
By the preceding considerations it is clear that the BEKK parameter matrices (B1,…, BK) are by no means identified; even the number K is not unique because the set

, in general, contains elements Q of different rank. One way to get unique parameter matrices (B1,…, BK) corresponding to a certain

-set is to choose a unique p.s.d. representative element

and then use a uniquely defined factorization of this Q ≥ 0.
3.1. A Parametrization for


Here we apply the preceding scheme to derive a parametrization to the generic set

. By definition the

-sets for all

contain at least one p.d. element Q > 0. We then choose a representative Q > 0 that is, in a certain sense to be defined subsequently, the center of all positive elements in

. In particular this implies that K = n2.
Let a

-set

be given where

is nonvoid. We then define a function φ(·) on

by

Note that the set

is a compact, convex subset of

and that, by assumption, the interior of this set, i.e., the set

, is nonvoid. The function φ(·), when restricted to

, is convex and analytic and thus has a unique minimizer, ω, say. The corresponding Q = Q(ω) = Q0 + [sum ]k ωk Δk is called the analytic center of

; see Vandenberghe and Boyd (1996). The gradient, [dtri ]φ(ω), of φ for

is given by

Hence, in the analytic center, Q = Q(ω), we have trace(Q−1Δk) = 0 for all k = 1,…, n. This is guaranteed if and only if each subblock matrix of Q−1 is symmetric; see Section 1.1.
Next, let Q−1 = VV′ be the Cholesky decomposition of Q−1; i.e.,

is a lower triangular matrix where without loss of generality all diagonal elements are assumed to be positive. The parameter vector θ is defined as

i.e., we stack the lower triangular entries of all lower triangular blocks of V. Note that we have put all the diagonal elements of V to the first n2 positions and thus the positivity constraint implies that

Because of the block symmetric structure of Q−1 these entries are sufficient to reconstruct Q−1.
Let us recapitulate the previous procedure. Suppose we have given a VECH term,

, say. Then a unique set of BEKK parameter matrices (B1,…, Bn2) corresponding to this VECH term may be constructed as follows. First, compute the analytic center Q of

as described before. Next, compute a Cholesky factor V of Q−1 with strictly positive diagonal elements. A parameter vector θ is given by (3.3), and the BEKK parameter matrices are given by Bk = mat(Uk), where Uk is the kth column of U = V−T.
For the reverse direction, suppose we have given a parameter vector θ ∈ Θ+; then we have to construct the BEKK matrices B1,…, Bn2 and the corresponding VECH parameter matrix A. First, note that the matrix V is a lower triangular matrix, i.e., vij,kl = 0 for i < j and for i = j and k < l. The lower triangular entries vij,kl, i ≥ j, and k ≥ l are stored in the parameter vector θ; see (3.3). Thus, it remains to construct the upper triangular elements vij,kl, k < l for i > j from the condition that the product P = Q−1 = VV′ has symmetric subblocks Pij = Pij′. For i ≥ j such a subblock is given by Pij = Vi1Vj1′ + ··· + VijVjj′. Because Vjj is a lower triangular matrix the (k,l)th entry of subblock Pij is of the form

From the symmetry condition pij,kl = pij,lk and by the constraint vjj,ll > 0 we get

For i > j and k < l this expression only depends on Vjj, Vir, and Vjr with r < j, and on vij,kr, vij,lr with r < l. Thus, V may be recursively reconstructed from θ. The lower diagonal blocks of V are reconstructed in the sequence V21,…,Vn1,V32,…,Vn,n−1, and in each block Vij the upper diagonal elements are computed in the sequence vij,12,…,vij,1n,vij,23,…,vij,(n−1),n. Finally, we get Q = UU′ from U = V−T, the BEKK parameter matrices from Bk = mat(Uk), and the VECH matrix A from the relations (2.9).
As an illustration the structure of V for the simplest case n = 2 is given here:

THEOREM 3.1. The previously defined mapping

is a diffeomorphism, and the previously defined mapping

is differentiable and injective.
We want to emphasize that this parametrization covers a generic set of BEKK models; i.e., the corresponding set is an open and dense subset of all BEKK models. We here considered only the case of one term, i.e., the case of a BEKK(0,1,K) model, but the generalization to the case of BEKK(p,q,K) models is straightforward.
3.2. BEKK Parametrization of Engle and Kroner
In Proposition 2.3 of Engle and Kroner (1995) a parametrization for BEKK models is presented. The authors claim that this parametrization is fully general and identifiable. Here “fully general” means that the parametrization covers as many VECH models as possible and “identifiable” means that two different parameter vectors do not represent the same BEKK model. However, both statements are not correct, as we will show in this section.
In their representation K = n2 and the parameter matrices Bk are chosen such that the corresponding matrix U = [vec(B1),…,vec(BK)] is a lower block triangular matrix where all (n × n) subblocks are again lower triangular; i.e., U is a Cholesky factor of Q = UU′ with the additional zero restrictions given by uij,kl = 0 for i > j and k < l. By these additional zero restrictions implicitly a unique representative,

, say, in the

-set

is chosen. In addition, the entries of the last row of U are assumed to be positive, unj,nl > 0, for all j,l to get rid of the nonuniqueness of the Cholesky factorization of

.
Using the relations between VECH models, BEKK models, and

-sets, respectively, it is easy to see that two problems occur with this parametrization:
- The positivity constraints do not guarantee uniqueness in all cases.
- There is a “thick” set of BEKK models that is not
covered by this parametrization, because the corresponding
-sets do not contain a p.s.d. representative
of this structure.
To see this consider the case n = 2. The Engle–Kroner parametrization leads to a U-matrix of the form

where θ5 > 0, θ6 > 0, θ8 > 0, θ9 > 0 and thus

is given by
Now, consider a BEKK term—in Engle–Kroner form—given by

In this case we lose identifiability, because θ7 = 0, and thus only the sum θ82 + θ92 is identified from Q. (In other words, the positivity constraint, in this case, is not sufficient to select a unique Cholesky factor.) However, this problem may be circumvented by replacing the restrictions unj,nl > 0 by the restriction that the diagonal elements of U are positive, i.e., ujj,ll > 0 for all j,l.
Next, consider a BEKK term of the form

The Engle–Kroner parameters θk and thus

may be computed from Q as follows:
Note that θ5 is computed from the sum q21,21 + q21,12 because only the sum is uniquely defined. However, this procedure breaks down for “large” x, because 4 − (1 + x)2 − 1 − (1 + x)2/(1 + x2) < 0 for sufficiently large x. In this case the BEKK model defined as before has no representation in the form suggested by Engle and Kroner because the set

does not contain a p.s.d. element

conforming to the restrictions imposed by the Engle–Kroner parametrization. It is clear that this problem occurs on a “thick” set of BEKK terms, i.e., on a set that contains an open subset of all BEKK terms. In this sense, using the Engle–Kroner parametrization we lose a nonnegligible set of BEKK models.
The preceding examples were given for the case n = 2; however, the reasoning may be easily extended to the case n > 2.
4. PARAMETRIZATION OF BEKK MODELS WITH K ≤ n
The main advantage of BEKK models over VECH models is that BEKK models are admissible by construction. However, the number of free parameters to estimate for a general BEKK(p,q,K = n2) model is equal to the number of parameters for a VECH(p,q) model, which is of the order O(n4). For small vector dimensions, n ≤ 3, estimation of a BEKK(p,q,n2) model might still be reasonable. In the case of higher dimensional vector processes however, it becomes inevitable to impose further structure and restrictions on the parameters to make estimation of multivariate GARCH models applicable in practice. There have been many suggestions to further restrict this model class. Here we will first discuss two widely used model classes, the DVECH model and the F-GARCH model. Thereafter a generalization of the F-GARCH model is proposed.
4.1. The DVECH Model
The DVECH model has been proposed by Bollerslev et al. (1988). This model class is very popular in practice because of its parsimony and the fact that the admissibility and stationarity conditions are very simple. Here we give a short review of this model using the previously derived methodology.
A VECH model is called a DVECH model if all parameter matrices Ai in (2.3) are diagonal matrices. Thus, the elements of Ht depend only on their own past and the respective elements of εt−iεt−i′. The number of parameters reduces to (p + q + 1)n(n + 1)/2 = O(n2).
In the following discussion we will again concentrate on one (diagonal) VECH term, A, say. Because

is diagonal we may write A = diag(vech(Ω)) for some matrix

. The term A is admissible if f (ν,e) = ν′ math(A vech(ee′))ν ≥ 0 holds for all vectors

. By some easy algebra it follows that


where

is a selection matrix that satisfies S(ν [otimes ] e) = (ν [odot ] e) for all

. From (4.1) it follows that A = diag(vech(Ω)) is admissible if and only if Ω ≥ 0 holds. Furthermore (4.2) implies Q ≥ 0, and thus any admissible DVECH term A has a BEKK representation. Note that Q is the only p.s.d. element in the corresponding

-set. To see this just note that the diagonal blocks of Q only have one nonzero diagonal element: qii,kk = 0 for all k ≠ i. Thus Q = Q + Δ ≥ 0,

implies Δ = 0.
To construct the BEKK parameter matrices consider a factorization of Ω ≥ 0 as

where Lk are vectors in

and K = rank Ω ≤ n. This gives a factorization of Q, and thus Bk = mat(SLk) = diag(Lk). Therefore the corresponding BEKK matrices are diagonal too, and we obtain a diagonal BEKK model. Note that the number of components K is in any case less than or equal to n.
To get a unique BEKK representation for A it suffices to define a unique factorization of Ω. For example, a Cholesky decomposition leads to diagonal matrices Bk, for which the kth diagonal element is positive and the first k − 1 diagonal elements are zero. (Strictly speaking this holds true for “generic” Ω, which have a regular K × K left upper block.)
It is obvious that a diagonal BEKK model gives a diagonal (and admissible) VECH model. Therefore there is a one to one correspondence of admissible DVECH models and diagonal BEKK models.
The stationarity conditions in this case are especially simple. Because of the diagonal structure (2.13) simplifies to

where ai,jj is the jth diagonal element of the DVECH term Ai.
4.2. The Factor GARCH Model
This model class has been proposed in Engle, Ng, and Rothschild (1990). An F-GARCH model is a BEKK(p,q,K) model (see equation (2.14)), where the following restrictions are imposed:
- K ≤ n.
- The BEKK matrices Bi,k are
rank one matrices of the form

- Let
and
. Then

Let us first consider the case 0 < K < n. By (4.4) there exist two matrices Γ,

such that

Therefore (εt) has a factor model representation of the form

where (fk,t = Γk′εt) are the factors and where vt = ΛΓ′εt is the “noise.” The following relations give the conditional variances and covariances, respectively:
Thus, the factors (fk,t) are univariate GARCH processes. The conditional variance matrix of the noise (vt) and the conditional covariance matrices are constant. For K = n there is no noise term (vt), and hence εt is a linear combination of scalar GARCH processes only.
Note that the preceding model imposes strong cross-restrictions on the parameters for the respective ARCH and GARCH terms. The number of parameters reduces to n(n + 1)/2 + (p + q)K + 2nK − K − K2 = O(n2).
The stationarity condition (2.15) simplifies to the condition that the K univariate factor processes (fk,t) are stationary:

4.3. A Generalization of F-GARCH Models
One of the main difficulties in defining a suitable parametrization of BEKK models is to define a rule for how to pick a unique p.s.d. element

, Q ≥ 0. A natural candidate would be

, which is the only element with symmetric subblocks; see (2.11). However, this element does not have to be p.s.d.; see, e.g., the DVECH model. Therefore here we simply assume that

holds; i.e., we only consider the corresponding subset of BEKK terms. In addition we demand that the rank of

is equal to K, for some K ≤ n, to reduce the number of parameters needed.
Let

denote the set of BEKK terms where the block symmetric representative

is a p.d. rank K matrix. To avoid some degenerated cases we also impose the restriction that there exists a transformation of the form (S [otimes ] T) with full rank matrices

such that the transformed matrix

has a full rank K × K left upper block.
The following theorem states that this subclass of BEKK terms is closely related to the F-GARCH model.
THEOREM 4.1. For K ≤ n the set

is the set of all BEKK terms that have a representation of the form

where ∥Λk∥ = ∥Γk∥ = 1 and μk > 0. Here Λ and Γ are two n × K matrices where Γ has full rank K and where Λk and Γk denote the respective kth columns. This representation is unique up to sign changes and permutations if and only if Λk ≠ Λs holds for all k ≠ s.
Hence, the preceding restrictions essentially state that the BEKK matrices Bk are rank one matrices as in the F-GARCH model; see (4.3). In this sense we get a generalization of F-GARCH models for which the following restrictions hold:
- K ≤ n.
- The BEKK matrices Bi,k are
rank one matrices:

Of course one has to impose some more technical conditions to get rid of trivial nonidentifiabilities, such as sign changes and permutations. (The same holds true for the F-GARCH model.)
This model is more flexible than the F-GARCH model, of course at the cost of the number of parameters, which is now equal to n(n + 1)/2 + (p + q)(2nK − K). We think this might be a valuable alternative in cases where the F-GARCH model is too restrictive. However, we have to admit that the stationarity condition here is much more involved than for the F-GARCH model. In addition, the “factor interpretation” gets lost, because the parameters Γi,k, Λi,k may depend on the lag i and because the condition (4.4) is not imposed.
Let us conclude this section with some final remarks: A natural question is whether the rank constraint K ≤ n is sufficient to define unique BEKK parameter matrices. For K = 1 the question has been answered by Engle and Kroner (1995): If a VECH term A has a BEKK representation with K = 1 components, then the corresponding BEKK matrix B1 is unique up to sign changes.
The case 1 < K ≤ n has been discussed in Ribarits (2006). The main findings are as follows: Let

denote the set of BEKK terms that have a BEKK representation with K components. There is a generic (i.e., open and dense) subset of

for which

is a singleton. This means that for BEKK terms within this set the BEKK parameter matrices (B1,B2,…, BK) are unique up to orthogonal transformations. Using, e.g., a Cholesky decomposition one may define unique BEKK matrices.
However there are also “nasty” BEKK terms in

for which

is not a singleton and thus the BEKK matrices are not uniquely defined without adding further structure.
5. CONCLUSIONS
In this paper some issues of structure and parametrization of VECH and BEKK models are considered. A close look at the theory of this very general model class is worthwhile, not only for understanding the model features but also for the construction and parametrization of reasonable parsimonious subclasses.
Connected to each VECH term there is an affine subset of symmetric matrices, called

. Here this fact is the main tool used to analyze VECH and BEKK terms. In particular, a VECH term has an equivalent BEKK representation iff this set

contains a p.s.d. matrix Q ≥ 0. The corresponding BEKK representation essentially corresponds to a factorization of such a Q ≥ 0, and thus the number K of additive terms is related to the rank of Q. Therefore, one may check if a BEKK representation exists via an s.d.p. We also show that for the bivariate case admissible VECH models and BEKK models are equivalent. For n > 2 there is a “thick” class of admissible VECH models that have no equivalent BEKK representation. Thus, in this case VECH models are more general.
The problem of finding a unique BEKK representation may be decomposed into two steps. First, define a unique p.s.d. element in

and then use a unique factorization of this element. Based on this idea a parametrization of a generic set of BEKK models is presented. In addition, it is also shown that the Engle–Kroner parametrization does not cover a generic set.
The general BEKK model uses O(n4) free parameters, which makes estimation infeasible for large n. Anyway, for small n the parametrization of the general BEKK model is useful, and estimation can be performed.
In the literature there are a vast number of papers that define (parsimonious) subclasses of the general VECH and BEKK models. Here in particular, we discuss the popular DVECH model and the F-GARCH model using the previously described methodology. Finally, we consider a model class that relaxes some of the restrictions imposed by the F-GARCH model. An interpretation of this class in terms of restriction on the

-sets is given.
APPENDIX: Technical Results and Proofs
Proof of Theorem 2.1. (i) and (ii): The minimum eigenvalue λmin(Q) is a continuous function of

. Using this property it is straightforward to show that

and

are continuous functions too; see, e.g., Ribarits (2006) for a detailed proof.
Let AI be the VECH term corresponding to Q = In2. Obviously,

holds, and thus an open neighborhood of AI is contained in

and in

.
Concerning (iii): The set

is open in

because

is continuous and because

is nonvoid. The set

is dense in

because of the fact that the set

is dense in

.
It remains to prove (iv). First, consider the case n = 2: Let an admissible VECH term A be given and let

; see (2.12). Let (λ*,ω1*) denote the optimizer of the s.d.p. (2.17) where without loss of generality we assume that ω1* = 0 holds. Furthermore let

, 1 ≤ k ≤ 4 be an orthonormal basis of the eigenspace of Q0 corresponding to its minimal eigenvalue λ*. If W′Δ1W > 0 then (Q0 − λ*I4) + ω1 Δ1 > 0 holds for all sufficiently small ω1 > 0, which is a contradiction to the optimality of ω1* = 0. Analogously we can rule out the case W′Δ1W < 0. Hence, there must exist a vector

, ∥o∥ = 1 such that (Wo)′Δ1(Wo) = trace(Wo)(Wo)′Δ1 = 0. By Lemma A.1 in this Appendix it follows that (Wo) has a representation as (Wo) = (ν [otimes ] e) for suitably chosen

. Because A is admissible

holds, and thus Q0 corresponds to a BEKK term.
For the case n ≥ 3 it suffices to find an example, A, say, such that

holds. See Ribarits (2006) for such an example. █
Proof of Theorem 3.1. By what has been said before, in particular by the restriction θi > 0 for all indices corresponding to the diagonal elements of V, it is immediate to see that both mappings are injective and differentiable. In addition, π+(·) is surjective by construction.
It remains to prove that the inverse mapping (π+)−1(·) is differentiable. To this end, we prove that the derivative of π+(·) has full rank for all θ ∈ Θ+. Note that π+(·) is a concatenation of the following mappings:

Let ∂V, ∂P, ∂Q, and ∂A denote the respective derivatives of V, P, Q, and A along a direction

. We have to prove that ∂A = 0 implies ∂θ = 0. First, note that ∂A = 0 holds iff

for some

. Because ∂Q = −P−1∂PP−1 we get ∂P = −[sum ]k PΔk Pωk. The matrix P has symmetric subblocks by construction, and thus the same holds for the derivative ∂P; i.e., we have trace Δl∂P = 0 for l = 1,…, n. This implies 0 = [sum ]k trace(Δl PΔk P)ωk for all l = 1,…, n, and thus 0 = trace(∂QP∂QP) = trace(PT/2∂Q′P∂QQP1/2). Because P > 0 one obtains ∂Q = 0 and ∂P = 0. Next, we use vjj,ll > 0 to show that ∂V = 0 as 0 = ∂P = V∂V′ + ∂VV′. Now, because θ is composed from the entries of V we have ∂θ = 0 as desired. █
The sets

and

have been defined in Section 1.1. These sets are invariant under transformations of the form X → (S [otimes ] T)X(S [otimes ] T)′. This means that if

are two nonsingular matrices, then

holds iff

, and the same statement holds for matrices

.
Suppose we have given two matrices

and

where Λk, Γk denote the kth column of Λ, Γ, respectively. It is trivial to see that

holds. The next lemma states that for K ≤ n the reverse statement also holds, given some regularity conditions.
LEMMA A.1. Let

be given. If K ≤ n and if there exist nonsingular matrices

such that the first K rows and columns of Q = (S [otimes ] T)Q(S [otimes ] T)′ form a p.d. K × K matrix, then there exist two matrices

such that Q has a factorization as Q = UU′, where

and where Λk, Γk denote the kth column of Λ, Γ, respectively.
Proof. By Q ≥ 0 and rank Q = K there exists a factorization of Q as

,

. The matrix

is partitioned as

where

with

and

.
First, note that following the preceding assumptions there exists a transformation

such that U11 = I and U12 = 0 holds. The block symmetry conditions imply UiUj′ = UjUi′. For i = 1 these relations give Uj2 = 0 and Uj1 = Uj1′ for all j. Furthermore we have Ui1Uj1′ = Uj1Ui1′ for all i,j. From Harville (1997, Thm. 21.13.1) we know that in this specific case there exists an orthogonal matrix

such that O′Ui1O = Di, with Di = diag(di1,…, diK) diagonal, holds for all i = 2,…, n. Hence,

where for j = 1,…, K, Lj = (1,d2j,…, dnj)′ and Gj = uj, the jth unit vector of dimension n. Therefore,

has the desired structure. █
Proof of Theorem 4.1. This follows immediately from Lemma A.1. █






