Relative Efficiencies of Optimal Designs in Four Dimensions Constructed Using Balanced Incomplete Block Designs ()
1. Introduction
Optimal designs are designs of fewer trials than non-optimal designs which are run in order to get an efficient design for fitting a reduced polynomials of degree two or more. Optimal designs are the obvious choice when the region of exploration is irregular probably due to factor levels constraints or existence of prior information to the experimenter on the process being a non-standard model with some terms of higher order or some interaction terms inclusion failure in the model and the objective is to obtain an efficient design [1]. Optimal designs have been suggested and are used frequently in practice [2]. Reference [3] proposed “OUCD 4” designs as good, space-filling and efficient. The best design among a set of designs, provides the estimate of effects and contrasts with maximum precision (efficiency), with a simple layout and analysis [4]. An appropriate experimental design entails finding the best optimality criterion with larger efficiency values, implying a better design [5]. D-optimal design was employed to study the significance and interactive effect of methanol-to-oil (M:O) molar ratio, catalyst concentration, reaction time, and mixing rate on bio-diesel yield [6]. The adoption of an appropriate experimental design for representing the response surface design influences the efficiency of a design [7]-[9]. Reference [10] studied the measure of efficiency of the design matrix under Latin squares and orthogonality properties of designs. Reference [11] reviewed some fundamentals of experimental design in particular orthogonality and balance, introducing the idea of design efficiency by comparing some widely available design softwares, such as Sawtooth Software’s, CVA and SAS Institute’s OPTEX programs. Reference [12] demonstrated the use of efficient design (of RSM) as a method to optimize experiments so as to capture better synergies between species and conditions, their work indicated the suitability of the approach to model carbon dioxide corrosion at pH 4 - 5.5.
2. Methodology
Rotatable designs are a class of three-level designs for estimating second-order response surfaces [13]. The designs are rotatable or nearly so with a reduced number of experimental runs by the 3n designs. They combine 2n designs with incomplete block designs. Reference [14] gave the conditions for blocking second order response surface designs so that the block effects do not affect the estimates of the parameters for the response surface equation. Spherical variance of the estimation of the response surface, demands that design points within the experimental region satisfy the following conditions
and
(1)
A general second degree rotatable design in four factors constructed using balanced incomplete blocks design, when replications (r) are less than three
(where
is the number of pairs of treatments occurring together in the design) was put forward by [14], with the coded levels being ±1.137 and ±2.116 for factorial and the axial parts respectively. During parameters (β’s) estimations, the
matrix of levels of independent variables known as the model matrix with
variables and N being the number of runs is related to the response variable y by the equation
(2)
where
is the model matrix.
Reference [15] worked out design matrix for the second-degree rotatable design constructed using BIBD shown in Table 1.
Table 1. Model matrix.
X |
X1 |
X2 |
X3 |
X4 |
X1X2 |
X1X3 |
X1X4 |
X2X3 |
X2X4 |
X3X4 |
X1^2 |
X2^2 |
X3^2 |
X4^2 |
1 |
−1.137 |
0 |
−1.137 |
−1.137 |
0 |
1.2928 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
1.137 |
0 |
−1.137 |
−1.137 |
0 |
−1.2928 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
−1.137 |
0 |
1.137 |
−1.137 |
0 |
−1.2928 |
1.2928 |
0 |
0 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
1.137 |
0 |
1.137 |
−1.137 |
0 |
1.2928 |
−1.2928 |
0 |
0 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
−1.137 |
0 |
−1.137 |
1.137 |
0 |
1.2928 |
−1.2928 |
0 |
0 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
1.137 |
0 |
−1.137 |
1.137 |
0 |
−1.2928 |
1.2928 |
0 |
0 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
−1.137 |
0 |
1.137 |
1.137 |
0 |
−1.2928 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
1.137 |
0 |
1.137 |
1.137 |
0 |
1.2928 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1 |
−1.137 |
−1.137 |
0 |
−1.137 |
1.2928 |
0 |
1.2928 |
0 |
1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
1.137 |
−1.137 |
0 |
−1.137 |
−1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
−1.137 |
1.137 |
0 |
−1.137 |
−1.2928 |
0 |
1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
1.137 |
1.137 |
0 |
−1.137 |
1.2928 |
0 |
−1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
−1.137 |
−1.137 |
0 |
1.137 |
1.2928 |
0 |
−1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
1.137 |
−1.137 |
0 |
1.137 |
−1.2928 |
0 |
1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
−1.137 |
1.137 |
0 |
1.137 |
−1.2928 |
0 |
−1.2928 |
0 |
1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
1.137 |
1.137 |
0 |
1.137 |
1.2928 |
0 |
1.2928 |
0 |
1.2928 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
1 |
−1.137 |
−1.137 |
−1.137 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
1.137 |
−1.137 |
−1.137 |
0 |
−1.2928 |
−1.2928 |
0 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
−1.137 |
1.137 |
−1.137 |
0 |
−1.2928 |
1.2928 |
0 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
1.137 |
1.137 |
−1.137 |
0 |
1.2928 |
−1.2928 |
0 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
−1.137 |
−1.137 |
1.137 |
0 |
1.2928 |
−1.2928 |
0 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
1.137 |
−1.137 |
1.137 |
0 |
−1.2928 |
1.2928 |
0 |
−1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
−1.137 |
1.137 |
1.137 |
0 |
−1.2928 |
−1.2928 |
0 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
1.137 |
1.137 |
1.137 |
0 |
1.2928 |
1.2928 |
0 |
1.2928 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1 |
0 |
−1.137 |
−1.137 |
−1.137 |
0 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
1.137 |
−1.137 |
−1.137 |
0 |
0 |
0 |
−1.2928 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
−1.137 |
1.137 |
−1.137 |
0 |
0 |
0 |
−1.2829 |
1.2928 |
−1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
1.137 |
1.137 |
−1.137 |
0 |
0 |
0 |
1.2928 |
−1.2928 |
−1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
−1.137 |
−1.137 |
1.137 |
0 |
0 |
0 |
1.2928 |
−1.2928 |
−1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
1.137 |
−1.137 |
1.137 |
0 |
0 |
0 |
−1.2928 |
1.2928 |
−1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
−1.137 |
1.137 |
1.137 |
0 |
0 |
0 |
−1.2928 |
−1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
0 |
1.137 |
1.137 |
1.137 |
0 |
0 |
0 |
1.2928 |
1.2928 |
1.2928 |
0 |
1.2928 |
1.2928 |
1.2928 |
1 |
2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
0 |
0 |
1 |
−2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
0 |
0 |
1 |
0 |
2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
0 |
1 |
0 |
−2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
0 |
1 |
0 |
0 |
2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
1 |
0 |
0 |
−2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
0 |
1 |
0 |
0 |
0 |
2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
1 |
0 |
0 |
0 |
−2.116 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
4.4775 |
The moment matrix of the design is given as
(3)
Assuming N is fixed, solutions to parameter estimations consist of developing criterion based on the model to obtain optimal designs [1]. There are many optimality criteria, sometimes called alphabetical optimality criteria and they are simply single number criteria capturing an aspect of the “goodness” of a design and classified into either information-based criteria, distance-based criteria, compound design criteria, etc. Information-based criteria concern the information matrix
of the design, which is proportional to the inverse of the variance-covariance matrix for the least-squares estimates of the linear parameters of the model. Further [15] gave details of determination of the moment matrix and the D-, A-, E- and T-optimal values of a general second degree rotatable design in four factors constructed using BIBD as 0.6796529, 0.04104631, 0.002856958 and 1.135448 respectively. According to [10], the efficiency and sensitivity of a design may be very much affected by the choice of the design matrix X. Given
a real non-negative symmetric matrix of rank
. Let t be a column vector with
components not all zero such that the equation
has solution for
.If
is any solution for
then the inequality
.(4)
holds where
and
are the non-zero characteristics roots of S. If we denote with u, the maximum value of
for
in T such that T is an orthogonal matrix satisfying
.(5)
where A is a
matrix such that
. (6)
When S is of full rank, Equation (4) becomes
.(7)
For testing linear hypothesis of the regression coefficient
when
for a model, the efficiency is a ratio
and the design is most efficient if the efficiency of the design is equal to one [16]. A uniform design has all regression vectors run an equal number of times. By varying the proportion that a particular vector is run, a design can be made better. Reference [17], outlines the procedure for obtaining the optimal weights of a design using matrix means
with
which satisfy
for all
.(8)
where
are the diagonal eentries of matrix B given as equation (9)
.(9)
where
, C being the information matrix, K is coefficient matrix and N regression vectors
forming rows of the design matrix X. The
forms the proportion each regression vector is run to obtain D-, A-, E- and T-optimal designs. The optimal value (if
), for
for the design is given by Equation (10)
(10)
2.1. D-Optimal Efficiency
For the corresponding weights, Equation (8) is used by setting
in Equation (9) matrix
is obtained and for optimal variance, use Equation (10),
.(11)
Factorial and axial weight corresponding to D-optimal are
and
respectively with
being diagonal entries of matrix
. Replicating the factorial and axial parts as per the weights gives the design matrix
. The D-optimal moment matrix
with
being the number of runs in the design. The corresponding optimal variance for the design is given as
. S being the number of parameters in the model. Given two designs
and
, their relative efficiency as per D-criterion is;
.(12)
S is the number of model parameters [1]. Relative efficiency of the general to D-optimal design is
. (13)
2.2. E-Optimal Efficiency
E-optimality aims at minimizing the largest eigen value of
[18]. Let the minimum eigen value of the general design be
and the normalized eigen vector be Z. If
has a multiplicity of one, then matrix
such that trace(E) = 1 and
for all
for
-optimal is used to determine the E-optimal weights for factorial and axial parts respectively [17]. The optimal variance is the minimum eigen value of the resulting moment matrix of the design i.e.
where
and N is the number of rows of matrix E. E-efficiency becomes
.(14)
2.3. A-Optimal Efficiency
Substituting
in Equation (9), matrix
for computing the A-Optimal weights is
. (15)
The factorial (
) and axial (
) weights are
and
respectively with
being diagonal entries of
. A-optimal design is by replicating the factorial and axial parts as per the weights to give the design matrix
. The moment matrix
with
runs in the design. Optimal variance for the design is
(16)
Relative efficiency of the general to the A-Optimal design is
.(17)
2.4. T-Optimal Efficiency
By putting
in Equation (9), matrix
is given as
.(18)
Factorial (
) and axial (
) weights are
and
respectively with
being diagonal elements of matrix
. T-optimal design is by replicating the factorial and axial parts as per the weights to give the design matrix
which is employed to obtain the moment matrix
with
being the number of runs in the design. Corresponding optimal variance is
(19)
The T-efficiency for T-optimal design is
.(20)
3. Results
3.1. D-Optimal Design and Its Efficiency
Factorial and axial weights are
. Hence a D-optimal design has factorial part replicated twice i.e. (
) and axial part thrice (i.e.
) with matrix X having runs. The corresponding D-optimal moment matrix
, as shown in Table 2.
Table 2. Moment matrix for the D-Optimal design.
1 |
0 |
0 |
0 |
0 |
1.01 |
0 |
0 |
0 |
1.011 |
0 |
0 |
1.011 |
0 |
1.01 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
2.281 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0.608 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
2.281 |
0 |
0 |
0.608 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0.608 |
0 |
0 |
2.281 |
0 |
0.608 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.608 |
0 |
1.011 |
0 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0 |
0.608 |
0 |
0 |
0.608 |
0 |
2.281 |
The D-optimal value is
i.e.
, the general design value is 0.6796529 according to [15]. Relative efficiency of the general design to the D-optimal design is
.(21)
3.2. E-Optimal Design and Its Efficiency
The smallest eigen value of general design is
with a normalized eigenvector:
Matrix
of trace one and
for all
for
-optimal for all
where
, such that
and for all
and
.
. E-optimal design allocates a weight of 1 to factorial and 0 to the axial part of the design. The
-optimal design moment matrix is
, see Table 3.
an optimal variance of 0.4182000. The E-efficiency is given by
Table 3. E-Optimal (Me) moment matrix.
1 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0.97 |
0 |
0.97 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0 |
1.255 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0.836 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
|
0.836 |
0 |
0 |
0 |
1.255 |
0 |
0 |
0.836 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
|
0.836 |
0 |
0 |
1.255 |
0 |
0.836 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0.97 |
0 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0 |
0.836 |
0 |
0 |
0.836 |
0 |
1.255 |
3.3. A-Optimal Design and Its Efficiency
The factorial and axial weights are 0.01704711 and 0.05681391 respectively. The optimal design is formed by setting
and
with
being the total number of runs and A-optimal moment matrix is
.
The A-Optimal value is
while the optimal value for the general design is 0.04154701. Giving a relative efficiency of
.
3.4. T-Optimal and Its Efficiency
Factorial,
and axial
weights after setting
in Equations (9). Again the T-optimal design is formed by replicating factorial twice (
) and axial six times (
) for a total of 112 runs, with a moment matrix as shown in Table 4. T-optimal value
, giving a relative efficiency of
.
Table 4. A-Optimal design moment matrix.
1 |
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
1.034 |
0 |
0 |
1.034 |
0 |
1.034 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
2.867 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0.478 |
0 |
0.478 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
0 |
|
0 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
2.867 |
0 |
0 |
0.478 |
0 |
0.478 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
0.478 |
0 |
0 |
2.867 |
0 |
0.478 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0.478 |
0 |
1.034 |
0 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0 |
0.478 |
0 |
0 |
0.478 |
0 |
2.867 |
4. Conclusion
The weights corresponding to D-, E-, A- and T-optimal designs and the corresponding optimal variances of the optimal designs were determined. The number of runs for the D-optimal design was 88 after replicating the factorial part twice and the axial part thrice with an efficiency of 98% while for A- and T-optimal designs had 112 runs each obtained by replicating the factorial part two times and axial part six times with efficiencies of 71.8% and 87.5% respectively. E-optimal had a relative efficiency of approximately 1% to the general design. Only the factorial part of the general design is carried without replication as per the weights giving only 32 runs, which is the least number of experiments that are required in order to estimate the parameters of the model, thereby cutting costs and the time required in conducting the experiments. Hence to model a process with four input variables using this design constructed using BIBD, E-optimal design is proposed.