Abstract
In this paper, D-optimal chemical balance weighing designs with three objects are considered. The error terms are assumed to form a first-order autoregressive process, which implies that the covariance matrix of the vector of errors depends on the known parameter \(\rho \). It is shown that the designs constructed by Katulska and Smaga (Metrika 76:393–407, 2013) are still D-optimal weighing designs with three objects under a wider interval of possible values for parameter \(\rho \) than that considered in that paper. Those designs are also proved to be highly D-efficient designs, when D-optimal design is not known.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We will denote by \(\mathcal {M}_{n\times p}(\pm 1)\) the set of all \(n\times p\) matrices whose elements are all equal to \(-1\) or \(1\). Let us introduce a model of chemical balance weighing design with three objects. We use \(n\) measuring operations from a chemical balance to estimate the true unknown weights \(w_{1},w_{2},w_{3}\) of three objects. Assume that \(y_{1},\ldots ,y_{n}\) are the observations in those \(n\) operations respectively. Let observations follow the linear model \(\mathbf {y}=\mathbf {X}\mathbf {w}+\mathbf {e}\), where \(\mathbf {y}=[y_{1},\ldots ,y_{n}]'\) is an \(n\times 1\) vector of observations, \(\mathbf {X}=(x_{ij})\in \mathcal {M}_{n\times 3}(\pm 1)\) is so-called design matrix, \(\mathbf {w}=[w_{1},w_{2},w_{3}]'\) is the vector of true unknown weights of objects, and \(\mathbf {e}=[e_{1},\ldots ,e_{n}]'\) is the vector of error components which form a first order autoregressive process. Therefore \(\mathrm {E}(\mathbf {e})=\mathbf {0}_{n}\) is the \(n\times 1\) null vector, and \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where
and \(-1<\rho <1\). The matrix \(\mathbf {S}\) is positive definite for \(\rho \in (-1,1)\). In a chemical balance weighing design, if the \(j\)th object is placed on the left (right) pan during the \(i\)th weighing operation, then \(x_{ij}=-1\ (x_{ij}=1)\). If the matrix \(\mathbf {X}\) is of full column rank, then the generalized least-squares estimator of the vector \(\mathbf {w}\) is equal to \(\hat{\mathbf {w}}=\left( \mathbf {X}'\mathbf {S}^{-1}\mathbf {X}\right) ^{-1}\mathbf {X}'\mathbf {S}^{-1}\mathbf {y},\) and its covariance matrix equals \(1/(1-\rho ^{2})\left( \mathbf {X}'\mathbf {S}^{-1}\mathbf {X}\right) ^{-1}\). The matrix \(\mathbf {X}'\mathbf {S}^{-1}\mathbf {X}\) is the information matrix of the design \(\mathbf {X}\). In this paper, we only consider nonsingular designs, i.e. the designs with nonsingular information matrix.
An example of experiment (chemical process) described by the aforementioned model can be found in Jenkins and Chanmugam (1962). There are also papers in the literature relating to designs with other forms of \(\mathrm {Cov}(\mathbf {e})\) (see, for example, Ceranka et al. 2006; Graczyk 2009; Masaro and Wong 2008) and spring balance weighing designs with \((0,1)\)-design matrices (see, for instance, Graczyk 2012; Lopez and Neubauer 2010). The applications of weighing designs (in chemistry, medicine, economics, operations research etc.) are given in the following papers: Angelis et al. (2001); Banerjee (1975); Beckman (1973); Cheng (2014) and Graczyk (2013).
Our purpose is to find the best design with respect to D-optimality criterion. The design \(\hat{\mathbf {X}}\) is D-optimal in the class of designs with three objects \(\mathcal {M}_{n\times 3}(\pm 1)\) if \(\det (\hat{\mathbf {X}}'\mathbf {S}^{-1}\hat{\mathbf {X}})=\max \left\{ \det (\mathbf {X}'\mathbf {S}^{-1}\mathbf {X}):\mathbf {X}\in \mathcal {M}_{n\times 3}(\pm 1)\right\} \), i.e. it maximizes the determinant of the information matrix among all designs with three objects. The inverse of \(\mathbf {S}\) is equal to \(1/(1-\rho ^{2})\mathbf {A}\), where \(\rho \in (-1,1)\) and \(\mathbf {A}=\mathbf {I}_{n}+\rho ^{2}\mathbf {K}_{1}-\rho \mathbf {K}_{2},\) \(\mathbf {I}_{n}\) is the identity matrix of size \(n\), \(\mathbf {K}_{1}=\mathrm {diag}(0,\mathbf {1}_{n-2}',0)\) and \(\mathbf {K}_{2}\) is a tridiagonal \(n\times n\) matrix with \(0\) on the diagonal, \(1\) on the first superdiagonal and on the first subdiagonal. Since \(\mathbf {S}^{-1}=1/(1-\rho ^{2})\mathbf {A}\), the design \(\hat{\mathbf {X}}\) is D-optimal in the class \(\mathcal {M}_{n\times 3}(\pm 1)\) if \(\det (\hat{\mathbf {X}}'\mathbf {A}\hat{\mathbf {X}})=\max \left\{ \det (\mathbf {X}'\mathbf {A}\mathbf {X}):\mathbf {X}\in \mathcal {M}_{n\times 3}(\pm 1)\right\} .\)
When \(\rho =0\), a lot of work has been done on developing optimal weighing design theory (see, for instance, Banerjee 1975; Cheng 2014; Jacroux et al. 1983; Neubauer 1997). In the case \(\rho \ne 0\), it is harder to deal with optimality problems. Some results concerning optimal designs in this case are given for example in Angelis et al. (2001); Katulska and Smaga (2012, 2013); Li and Yang (2005); Smaga (2014) and Yeh and Lo Huang (2005), but many problems are still unsolved. In this paper, we extend the results of Katulska and Smaga (2013), where D-optimality of certain designs was proven under \(\rho \in [0,1/(n-2)]\).
The remainder of this paper is organized as follows. In Sect. 2, we show that the D-optimal designs for \(\rho \in [0,1/(n-2)]\) constructed by Katulska and Smaga (2013) are still D-optimal under \(\rho \) belonging to wider interval than \([0,1/(n-2)]\). In Sect. 3, we give the lower bound for D-efficiency of weighing designs and we use it to show that the mentioned designs are highly D-efficient in cases, which are not included in Sect. 2. Some preliminary technical results are outlined in the Appendix.
We follow the notation of Yeh and Lo Huang (2005). For each vector \(\mathbf {x}=[x_{1},\dots ,x_{n}]'\in \mathcal {M}_{n\times 1}(\pm 1)\), we define the following numbers: \(\mathrm {cons}(\mathbf {x})=\#\{i:x_{i}=x_{i+1},1\leqslant i\leqslant n-1\}, \mathrm {fcons}(\mathbf {x})=\min \{i:x_{i}=x_{i+1},1\leqslant i\leqslant n-1\}.\) For example, for \(\mathbf {x}=[1,-1,1,1,-1,-1]'\) we have \(\mathrm {cons}(\mathbf {x})=2\) and \(\mathrm {fcons}(\mathbf {x})=3\).
2 D-optimal designs
In this section, we extend the following theorem.
Theorem 1
(Katulska and Smaga 2013) Let \(n\equiv 0\ (\text {mod}\ 4)\), \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1) and \(\rho \in [0,1/(n-2)]\). Then the design
where
and \(k=1,2,\ldots \), is D-optimal design in the class \(\mathcal {M}_{n\times 3}(\pm 1)\).
Unfortunately, it can be easily observed that \(1/(n-2)\rightarrow 0\) as \(n\rightarrow \infty \). However, Theorem \(1\) in Katulska and Smaga (2013) implies the design \(\widetilde{\mathbf {X}}\) given by (2) is D-optimal for all \(\rho \in [0,1)\) in large subclass \(\mathcal {M}_{n\times 3}(\pm 1)\backslash \mathcal {C}\), where \(\mathcal {C}=\big \{\mathbf {X}=[\mathbf {x},\mathbf {y},\mathbf {z}]:\mathrm {cons}(\mathbf {x})=0,\mathrm {cons}(\mathbf {y})=1,\mathrm {cons}(\mathbf {z})=1\big \}.\) Furthermore, simulation studies suggest the design \(\widetilde{\mathbf {X}}\) is D-better than any design in \(\mathcal {C}\) for all \(\rho \in [0,1)\). But, it is not easy to show this. We solve partially this problem in the following theorem.
Theorem 2
Assume that \(n\equiv 0\ (\text {mod}\ 4)\), \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1), and \(\rho \in [0,1)\) if \(n=4,8,\ldots ,28\), and \(\rho \in [0,\eta )\) if \(n=32,36,\ldots \), where \(\eta \) is the smallest positive root of the polynomial
Then the design \(\widetilde{\mathbf {X}}\) given by (2) is D-better than any design \(\mathbf {X}=[\mathbf {x},\mathbf {y},\mathbf {z}]\in \mathcal {C}\).
Theorem \(1\) in Katulska and Smaga (2013) and Theorem 2 imply the following important corollary.
Corollary 1
Under the assumptions of Theorem 2, the design \(\widetilde{\mathbf {X}}\) given by (2) is D-optimal in the class \(\mathcal {M}_{n\times 3}(\pm 1)\).
For \(n=4,8,\dots ,28\), we significantly extend Theorem 1 for all \(\rho \in [0,1)\) that is important, because we often do not need a large number of observations for three objects. When \(n=32,36,\ldots \), Lemma 3 in the Appendix shows that the root \(\eta \) of the polynomial \(p\) given by (3) belongs to \((1/(n-2),1)\), and hence Theorem 1 is also improved for such \(n\). The root \(\eta \) can be derived numerically. For example, numerical approximation for this root for \(n=32,36,\ldots ,60\) is \(0.7599, 0.4841, 0.3754, 0.3103, 0.2657, 0.2329, 0.2076, 0.1875\) respectively.
It is also worth mentioning that slight changes in the proofs of the necessary and sufficient conditions given in Katulska and Smaga (2013) under which the design with three objects is D-optimal actually show that those conditions still hold under the assumptions of Theorem 2. Unfortunately, it failed to prove D-optimality of the design \(\widetilde{\mathbf {X}}\) given by (2) for all \(\rho \in [0,1)\). However, in Sect. 3 we show that the design \(\widetilde{\mathbf {X}}\) is highly D-efficient, when the assumptions of Theorem 2 do not hold.
In the following proof of Theorem 2, we use Budan–Fourier Theorem and an inequality given in Li (2013) which we recall in the Appendix.
Proof of Theorem 2
The main idea of the proof is to show that the inequality \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})\geqslant \det (\mathbf {X}'\mathbf {A}\mathbf {X})\) holds for all designs \(\mathbf {X}=[\mathbf {x},\mathbf {y},\mathbf {z}]\) such that \(\mathrm {cons}(\mathbf {x})=0\), \(\mathrm {cons}(\mathbf {y})=1\) and \(\mathrm {cons}(\mathbf {z})=1\). By Lemma \(3\) in Katulska and Smaga (2013), we can suppose without loss of generality that \(x_{1}=y_{1}=z_{1}=1\) and \(\mathrm {fcons}(\mathbf {y})>\mathrm {fcons}(\mathbf {z})\). Lemmas \(4\) and \(5\) in Katulska and Smaga (2013) yield \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})=\Delta (\Delta -4\rho )(\Delta -8\rho )-4\rho ^{2}(1+\rho )^{2}(\Delta -4\rho )\) and \(\mathbf {x}'\mathbf {A}\mathbf {x}=\Delta \), \(\mathbf {y}'\mathbf {A}\mathbf {y}=\mathbf {z}'\mathbf {A}\mathbf {z}=\Delta -4\rho \), \(\mathbf {x}'\mathbf {A}\mathbf {y}=(2\mathrm {fcons}(\mathbf {y})-n)(1+\rho )^{2}\), \(\mathbf {x}'\mathbf {A}\mathbf {z}=(2\mathrm {fcons}(\mathbf {z})-n)(1+\rho )^{2}\) and \(\mathbf {y}'\mathbf {A}\mathbf {z}=(n-2\mathrm {fcons}(\mathbf {y})+2\mathrm {fcons}(\mathbf {z})-2)(1+\rho )^{2}+2(1+\rho )\), where \(\Delta =(n-2)(1+\rho )^2+2(1+\rho )\). If \(\rho =0\), then by Hadamard’s inequality \(\det (\widetilde{\mathbf {X}}'\widetilde{\mathbf {X}})=n^3\geqslant \det (\mathbf {X}'\mathbf {X})\). So assume that \(\rho >0\). When \(n=4\), there are three possible matrices exact to permuting columns:
Hence \(\det (\mathbf {X}'_{i}\mathbf {A}\mathbf {X}_{i})=32(\rho +1)\) for \(i=1,2,3,\) and \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})=32\rho ^3+64\rho ^2+96\rho +64\). Thus \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})>\det (\mathbf {X}'_{i}\mathbf {A}\mathbf {X}_{i})\) for \(i=1,2,3\). From now on we make the assumption: \(n\geqslant 8\). We have divided the proof into two cases.
Case 1 Let \(\mathrm {fcons}(\mathbf {y})\ne n/2,\mathrm {fcons}(\mathbf {y})\ne n/2\pm 1,\mathrm {fcons}(\mathbf {z})\ne n/2\) and \(\mathrm {fcons}(\mathbf {z})\ne n/2\pm 1\). Lemma 2 in the Appendix implies the following inequality
By assumptions, \((2\mathrm {fcons}(\mathbf {a})-n)^{2}(1+\rho )^{4}\geqslant 16(1+\rho )^{4}\) for \(\mathbf {a}\in \{\mathbf {y},\mathbf {z}\}\). Moreover \(\Delta \leqslant n(1+\rho )^{2}\). By the above, the following inequality holds
Therefore
where \(p(\rho )\) is given by (3). So, to prove the inequality \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})>\det (\mathbf {X}'\mathbf {A}\mathbf {X})\) we have to show that \(p(\rho )>0\) for all \(\rho \). It is easy to calculate that
Thus \(p(\rho )>0\) for all \(\rho \in (0,1)\) when \(n=8,12,\dots ,28\). For \(n=32,36,\dots \), by Lemma 3 in the Appendix the polynomial \(p\) has exactly one root \(\eta \) in the interval \((0,1)\), and hence \(p(\rho )>0\) for all \(\rho \in (0,\eta )\), because \(p(0)=8n^{2}-64>0\).
Case 2 Let \(\mathrm {fcons}(\mathbf {y})=n/2\) or \(\mathrm {fcons}(\mathbf {y})=n/2\pm 1\) or \(\mathrm {fcons}(\mathbf {z})=n/2\) or \(\mathrm {fcons}(\mathbf {z})=n/2\pm 1\). We give the proof only for the case \(\mathrm {fcons}(\mathbf {y})=n/2\); the proofs for the other cases are similar. Let \(a=\mathrm {fcons}(\mathbf {z})\). We have
Hence \(\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})-\det (\mathbf {X}'\mathbf {A}\mathbf {X})=(1+\rho )f(a),\) where
We consider \(f\) as a quadratic function of the variable \(a\). The discriminant of \(f\) is equal to \(-16(1+\rho )^{3}w(\rho )\), where
Using Budan–Fourier Theorem (see Theorem 4 in the Appendix), we can show that all coefficients of the polynomial \(w(\rho )\), considered as polynomials of variable \(n\), do not have any roots in the interval \((7,\infty )\) (for more detailed argumentation of this kind we refer to the proof of Lemma 3 in the Appendix). Therefore all these coefficients are positive for \(n\in (7,\infty )\). Hence the discriminant of \(f\) is negative. So, \(f(a)>0\) for all \(a\), since the coefficient of \(a^2\) in \(f\) is positive. This finishes the proof. \(\square \)
3 D-efficiency of design \(\widetilde{\mathbf {X}}\)
In this section, we show that the design \(\widetilde{\mathbf {X}}\) of the form (2) is highly D-efficient, when D-optimal designs in \(\mathcal {M}_{n\times 3}(\pm 1)\) are not known.
Following the definition of Bulutoglu and Ryan (2009), the D-efficiency of a design \(\mathbf {X}\in \mathcal {M}_{n\times p}(\pm 1)\) is defined by the formula
under \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1). Under the assumptions of Theorem 2, \(\max _{\mathbf {Y}\in \mathcal {M}_{n\times 3}(\pm 1)}\det (\mathbf {Y}'\mathbf {A}\mathbf {Y})=\det (\widetilde{\mathbf {X}}'\mathbf {A}\widetilde{\mathbf {X}})\) by Corollary 1, and hence \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})=1\). However, when the assumptions of Theorem 2 do not hold, value of the denominator of \(\mathrm {D\text {-}eff}(\mathbf {X})\) is unknown and we can not compute the D-efficiency of \(\mathbf {X}\in \mathcal {M}_{n\times 3}(\pm 1)\). But, in the following lemma, we give the lower bound for it. Next we use this lower bound for the D-efficiency of weighing design to show that the design \(\widetilde{\mathbf {X}}\) of the form (2) has high D-efficiency when \(n\geqslant 32\) and \(\rho \geqslant \eta \), where \(\eta \) is defined in Theorem 2.
Lemma 1
If \(n\equiv 0\ (\text {mod}\ 4)\), \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1), \(\rho \in (0,1)\) and \(\Delta =(n-2)(1+\rho )^{2}+2(1+\rho )\), then the D-efficiency of nonsingular design \(\mathbf {X}\in \mathcal {M}_{n\times 3}(\pm 1)\) is greater than
Proof
Let \(\mathbf {Y}=[\mathbf {y}_{1},\mathbf {y}_{2},\mathbf {y}_{3}]\in \mathcal {M}_{n\times 3}(\pm 1)\) be an arbitrary nonsingular design. Hadamard’s inequality implies the determinant of the matrix \(\mathbf {Y}'\mathbf {A}\mathbf {Y}\) is less than or equal to the product of diagonal elements of this matrix, i.e.
By Lemma \(4\) in Katulska and Smaga (2013), we have \(\mathbf {y}_{i}'\mathbf {A}\mathbf {y}_{i}=\Delta -4\xi \rho \) for \(i=1,2,3\), where \(\xi =\mathrm {cons}(\mathbf {y}_{i})\). For \(\mathbf {a}\in \mathcal {M}_{n\times 1}(\pm 1)\), it is easy to see that \(\mathbf {a}'\mathbf {A}\mathbf {a}=\Delta \) if and only if \(\mathbf {a}\) is the vector of ones or the vector of minus ones. Since \(\mathbf {Y}\) is nonsingular, there exists at most one \(i\) such that \(\mathbf {y}_{i}'\mathbf {A}\mathbf {y}_{i}=\Delta \). Therefore \(\det (\mathbf {Y}'\mathbf {A}\mathbf {Y})\leqslant \Delta (\Delta -4\rho )^{2}\), and hence
So, by (4),
We now show that the equality in (5) never holds. Suppose that the equality in (5) holds. Then \(\det (\mathbf {Y}'\mathbf {A}\mathbf {Y})=\Delta (\Delta -4\rho )^{2}\) for some nonsingular \(\mathbf {Y}=[\mathbf {y}_{1},\mathbf {y}_{2},\mathbf {y}_{3}]\) in the class \(\mathcal {M}_{n\times 3}(\pm 1)\). By Hadamard’s inequality, the last equality holds if and only if \(\mathbf {Y}'\mathbf {A}\mathbf {Y}\) is diagonal matrix and its diagonal elements are equal to \(\Delta \), \(\Delta -4\rho \), \(\Delta -4\rho \), in any order (see Theorem 7.8.1 in Horn and Johnson 2013, p.505). Without loss of generality, we can assume that \(\mathbf {y}_{1}'\mathbf {A}\mathbf {y}_{1}=\Delta \) and \(\mathbf {y}_{2}'\mathbf {A}\mathbf {y}_{2}=\mathbf {y}_{3}'\mathbf {A}\mathbf {y}_{3}=\Delta -4\rho \). By Lemma \(4\) in Katulska and Smaga (2013), \(\mathrm {cons}(\mathbf {y}_{1})=0\) and \(\mathrm {cons}(\mathbf {y}_{i})=1\) for \(i=2,3\). Hence the equalities \(\mathbf {y}_{1}'\mathbf {A}\mathbf {y}_{2}=0\) and \(\mathbf {y}_{1}'\mathbf {A}\mathbf {y}_{3}=0\) imply that \(\mathrm {fcons}(\mathbf {y}_{i})=n/2\) for \(i=2,3\) (see Lemma \(5\) (c) in Katulska and Smaga 2013). But, then the design \(\mathbf {Y}\) is singular. Contradiction. \(\square \)
Theorem 3
Let \(n\equiv 0\ (\text {mod}\ 4)\), \(n\geqslant 32\), \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1) and \(\rho \in [\eta ,1)\), where \(\eta \) is defined in Theorem 2. Then with an increase in \(\rho \), the lower bound for the D-efficiency of \(\widetilde{\mathbf {X}}\) becomes smaller. Moreover, \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})\) is greater than \(0.988\).
Proof
From Lemma 1 and from the proof of Theorem 2, we conclude that the lower bound for the D-efficiency of \(\widetilde{\mathbf {X}}\) is equal to
Since \(\Delta =(n-2)(1+\rho )^{2}+2(1+\rho )\), it can be written as follows
Denote it by \(f(\rho )\) and consider as a function of \(\rho \in (0,1)\). Its derivative is equal to
where \(w(\rho )=(n^{2}-8n+20)\rho ^{3}+(n^{2}-6n+4)\rho ^{2}-n(n-2)\rho -n^{2}\). For the polynomial \(w\), we have \(M(0)=M(1)=1\), where \(M(c)\) is defined in Theorem 4 in the Appendix. So, by Budan–Fourier Theorem (see Theorem 4 in the Appendix), the polynomial \(w\) does not have any roots in \((0,1)\). Since the numbers \(w(0)\) and \(w(1)\) are negative, \(w(\rho )<0\) for all \(\rho \in (0,1)\). Therefore \(\partial f(\rho )/(\partial \rho )<0\) for all \(\rho \in (0,1)\), and hence \(f(\rho )\) is decreasing. So, \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})\) is greater than the right hand side of (7) at \(\rho =1\), i.e. \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})>\big (1-n/(n^2-3n+2)\big )^{1/3}\). Let the function \(g,g:(31,\infty )\rightarrow \mathbb {R}\) be defined by \(g(x)=\big (1-x/(x^2-3x+2)\big )^{1/3}\). We have \(g'(x)=\big (x^2-2\big )/\big (x^2-3x+2\big )^2>0\) for all \(x>31\), so \(g\) is increasing. Thus \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})>g(32)=0.9883963\). \(\square \)
Theorem 3 implies the lower bound for the D-efficiency of \(\widetilde{\mathbf {X}}\) given by (6) becomes smaller with an increase in \(\rho \). However, the decrease of it is at most \(1.2\,\%\), because \(\mathrm {D\text {-}eff}(\widetilde{\mathbf {X}})>0.988\). So, the design \(\widetilde{\mathbf {X}}\) is highly D-efficient design in the class \(\mathcal {M}_{n\times 3}(\pm 1)\), when \(n\geqslant 32\) and \(\rho \geqslant \eta \), where \(\eta \) is defined in Theorem 2. This result is the next reason, which together with results of Sect. 2, confirms the conjecture that the design \(\widetilde{\mathbf {X}}\) is D-optimal in \(\mathcal {M}_{n\times 3}(\pm 1)\), when \(n\equiv 0\ (\text {mod}\ 4)\), \(\mathrm {Cov}(\mathbf {e})=1/(1-\rho ^{2})\mathbf {S}\), where \(\mathbf {S}\) is given by (1) and \(\rho \in [0,1)\).
References
Angelis L, Bora-Senta E, Moyssiadis C (2001) Optimal exact experimental designs with correlated errors through a simulated annealing algorithm. Comput Stat Data Anal 37:275–296
Banerjee KS (1975) Weighing designs for chemistry, medicine, economics, operations research, statistics. Marcel Dekker Inc., New York
Beckman RJ (1973) An application of multivariate weighing designs. Commun Stat 1:561–565
Bulutoglu DA, Ryan KJ (2009) D-optimal and near D-optimal \(2^k\) fractional factorial designs of resolution \(V\). J Stat Plan Inference 139:16–22
Ceranka B, Graczyk M, Katulska K (2006) A-optimal chemical balance weighing design with nonhomogeneity of variances of errors. Stat Probab Lett 76:653–665
Cheng CS (2014) Optimal biased weighing designs and two-level main-effect plans. J Stat Theory Pract 8:83–99
Conkwright NB (1943) An elementary proof of the Budan–Fourier theorem. Am Math Mon 50:603–605
Graczyk M (2009) Regular A-optimal design matrices \(\mathbf{X}=(x_{ij})\) with \(x_{ij}=-1,0,1\). Stat Pap 50:789–795
Graczyk M (2012) A-optimal spring balance weighing designs under some conditions. Commun Stat—Theory Methods 41:2386–2393
Graczyk M (2013) Some applications of weighing designs. Biom Lett 50:15–26
Horn RA, Johnson CR (2013) Matrix analysis, 2nd edn. Cambridge University Press, Cambridge
Jacroux M, Wong CS, Masaro JC (1983) On the optimality of chemical balance weighing designs. J Stat Plan Inference 8:231–240
Jenkins GM, Chanmugam J (1962) The estimation of slope when the errors are autocorrelated. J R Stat Soc. Ser B (Stat Methodol) 24:199–214
Katulska K, Smaga Ł (2012) D-optimal chemical balance weighing designs with \(n\equiv 0 (\text{ mod } 4)\) and \(3\) objects. Commun Stat—Theory Methods 41:2445–2455
Katulska K, Smaga Ł (2013) D-optimal chemical balance weighing designs with autoregressive errors. Metrika 76:393–407
Li CH, Yang SY (2005) On a conjecture in D-optimal designs with \(n\equiv 0 ({\rm mod} 4)\). Linear Algebra Appl 400:279–290
Li Y (2013) On improvements of Fischer’s inequality and Hadamard’s inequality for \(K_{0}\)-matrices. J Inequal Appl 2013:460
Lopez EA, Neubauer MG (2010) D-optimal \((0,1)\)-weighing designs for 10 objects. Linear Multilinear Algebra 58:151–171
Masaro J, Wong CS (2008) D-Optimal designs for correlated random vectors. J Stat Plan Inference 138:4093–4106
Neubauer MG (1997) An inequality for positive definite matrices with applications to combinatorial matrices. Linear Algebra Appl 267:163–174
Smaga Ł (2014) Necessary and sufficient conditions in the problem of D-optimal weighing designs with autocorrelated errors. Stat Probab Lett 92:12–16
Yeh HG, Lo Huang MN (2005) On exact D-optimal designs with 2 two-level factors and \(n\) autocorrelated observations. Metrika 61:261–275
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
We first recall Budan–Fourier Theorem (see, for instance, Conkwright 1943), which we use in the proofs of Theorems 2 and 3 and in the proof of Lemma 3.
Theorem 4
(Budan–Fourier) Assume that \(w\) is a polynomial of degree \(n\) with real coefficients. Let \(M(c)\) denote the number of variations of sign in the sequence \(w(x),w'(x),w''(x),\dots ,w^{(n)}(x)\), when \(x=c\), where \(c\) is any real number. Then the number of roots of the polynomial \(w\) in the interval \((a,b),a<b,\) is \(M(a)-M(b)-2k\), where \(k\) is a positive integer or zero.
In the proof of Theorem 2, we also use the following lemma, which follows directly from Corollary \(3.2\) in Li (2013), since a positive definite matrix is a \(K_{0}\)-matrix.
Lemma 2
(Li 2013) If \(\mathbf {B}=[b_{ij}]\) is real symmetric positive definite matrix of size \(n\), with \(\prod _{i=1}^{n}b_{ii}>0\), then \(\det (\mathbf {B})\leqslant b_{11}\prod _{i=2}^{n}\left( b_{ii}-b_{1i}^{2}/b_{11}\right) .\)
We now consider the behavior of the root \(\eta \) of the polynomial \(p\) given by (3).
Lemma 3
Let \(n=32,36,\dots \). The polynomial \(p\) given by (3) of variable \(\rho \) has exactly one root in the interval \((0,1)\) and this root is greater than \(1/(n-2)\).
Proof
It is easy to calculate that \(p(0)=8n^2-64\), \(p'(0)=-(n^3-40n^2+56n+320)\), \(p^{(2)}(0)=-2(3n^3-87n^2+192n+592)\), \(p^{(3)}(0)=-6(3n^3-89n^2+246n+528)\), \(p^{(4)}(0)=-24(n^3-41n^2+124n+240)\), \(p^{(5)}(0)=120(7n^2-22n-48).\) For \(n=32,36\) the sequence of signs of the components of the above sequence equals \(++--++\). Consider each component of the above sequence as a polynomial of variable \(n\). It can be calculated that for each of these polynomials we have \(M(39)-M(\infty )=0\). By Budan–Fourier Theorem, each of these polynomials does not have any roots in \((39,\infty )\). Hence \(p(0)>0\), \(p^{(i)}(0)<0, i=1,\dots ,4\), and \(p^{(5)}(0)>0\) for \(n=40,44,\dots \). Thus when \(n=40,44,\dots \), the sequence of signs of the components of the above sequence is equal to \(+----+\). Therefore \(M_p(0)=2\). In much the same way as above, we show that \(M_p(1/(n-2))=2\) and \(M_p(1)=1\). Hence Budan–Fourier Theorem implies the polynomial \(p\) has exactly one root in the interval \((1/(n-2),1)\), and it does not have any roots in \((0,1/(n-2))\), which completes the proof. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Smaga, Ł. A note on D-optimal chemical balance weighing designs with autocorrelated observations. Stat Papers 57, 721–730 (2016). https://doi.org/10.1007/s00362-015-0676-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00362-015-0676-0