Given
\[
S = X_1 - X_2 + X_3 - X_4 + \cdots + X_{2n-1} - X_{2n}
\]
and
\[
\operatorname{Var}(X_i) = 4, \quad \operatorname{Cov}(X_i,X_j) = 3 \text{ for } i \ne j,
\]
find $\operatorname{Var}(S)$.
We know that $Var(X_1+X_2)= Var(X_1)+Var(X_2)+2Cov(X_1,X_2)$
This can also be written as:
$Var(X_1) + Var(X_2) + Cov(X_1, X_2)+ Cov(X_2,X_1)= \sum_i Var(X_i)+ \sum_{i\ne j} Cov(X_i,X_j)$
In general the variance of a linear combination is given by,
\[
\operatorname{Var}(S)
= \sum_i a_i^2 \operatorname{Var}(X_i)
+ \sum_{i\ne j} a_i a_j \operatorname{Cov}(X_i,X_j).
\]
Given $\operatorname{Var}(X_i) = 4$, $\operatorname{Cov}(X_i,X_j) = 3$, and $a_i^2 = 1$, we have
\[
\operatorname{Var}(S) = 4\sum_i a_i^2 + 3\sum_{i\ne j} a_i a_j.
\]
First term:
Each $a_i^2 = 1$, and there are $2n$ terms:
\[
\sum_i a_i^2 = 2n.
\]
Second term:
Now we compute $\sum_{i\ne j} a_i a_j$ by combinatorial counting.
\[ \sum_{i\ne j} a_i a_j = -a_1a_2 -a_2a_1 +a_1a_3 + a_3a_1 -a_2a_3 -a_3a_2 ... \]
If i & j are both odd or both even then $a_ia_j = +1$
If either i or j is even then $a_ia_j = -1$
There are $n$ odd indices and $n$ even indices.
Case 1: Both $i,j$ odd
From n odd numbers select 2 numbers $= \binom{n}{2}$
These can be arranged together in 2 ways (e.g. 1,3 & 3,1)
Number of (odd, odd) pairs $= \binom{n}{2} \times 2 = n(n-1)$
Contribution: $+1 \times n(n-1)$
Case 2: Both $i,j$ even
From n even numbers select 2 numbers $= \binom{n}{2}$
These can be arranged together in 2 ways (e.g. 2,4 & 4,2)
Number of (even, even) pairs $= \binom{n}{2} \times 2 = n(n-1)$
Contribution: $+1 \times n(n-1)$
Case 3: One odd, one even
From n odd numbers select 1 number $= \binom{n}{1}$
From n even numbers select 1 number $= \binom{n}{1}$
These can be arranged together in 2 ways (e.g. 1,2 & 2,1)
Number of (odd, even) pairs $= \binom{n}{1} \binom{n}{1} \times 2 = 2n^2$
Here $a_i a_j = (+1)(-1) = -1$
Contribution: $-1 \times 2n^2$
Therefore,
\[
\sum_{i\ne j} a_i a_j
= +n(n-1) + n(n-1) - 2n^2 = 2n(n-1) - 2n^2 = -2n
\]
Substituting into the variance formula:
\[
\begin{aligned}
\operatorname{Var}(S)
&= 4(\sum_i a_i^2) + 3(\sum_{i\ne j} a_i a_j)\\
&= 4(2n) + 3(-2n)\\
&= 8n - 6n\\
&= 2n.
\end{aligned}
\]
Hence,
\[
\operatorname{Var}(S) = 2n.
\]