5
$\begingroup$

It is well known that if you add additional independent variables in a linear regression, the $R^2$ of the new model is at least as large as the previous model, so you obtain a lower bound for the $R^2$. I was thinking about the other scenario: how does the upper bound change?

Let's say you run three linear regressions, for $i=1,2,\cdots, N$:

\begin{align} y_i &= a_1 + b_1x_{i} +e_{i,1} \tag{regression 1} \\ y_i &= a_2 + b_2z_{i} +e_{i,2} \tag{regression 2} \\ y_i &= a + bx_i + cz_i + e_i \tag{regression 3} \\ \end{align}

Assume the coefficients of determination are $R^2_1$, $R^2_2$, and $R^2$, for the 1st, 2nd, and 3rd linear regression, respectively. I want to find an upper bound for $R^2$ in terms of $R^2_1$ and $R^2_2$.

I found that $R^2\leq \frac{R^2_1+R^2_2}{2}$, but I think this is wrong because if $R^2_1=0.3$ and $R^2_2=0.7$, then you have that $R^2\leq 0.5$, but on the other hand $R^2\geq \max(R^2_1,R^2_2)=0.7$.

Attempted proof: By definition $R^2= SSreg/SStotal$. Since $SStotal$ is the same for all the three regressions, I will work only with $SSreg$. Summing both sides of the equations of regression 1 and 2 and comparing with the coefficients of regression 3, we find that $a = \frac{a_1+a_2}{2}$, $b = \frac{b_1}{2}$, $c = \frac{b_2}{2}$. Using the Cauchy-Schwarz Inequality we obtain:

\begin{align} SSreg &= \sum_{i=1}^{N} (\hat{a}+\hat{b}x_i +\hat{c}z_i - \bar{y})^2 \\ &= \sum_{i=1}^{N} \left(\frac{1}{2}(\hat{a_1}+\hat{b_1}x_i - \bar{y})+ \frac{1}{2}(\hat{a_2}+\hat{b_2}z_i-\bar{y})\right)^2 \\ &\leq 2 \left(\sum_{i=1}^{N} \frac{1}{4}(\hat{a_1}+\hat{b_1}x_i - \bar{y})^2+\sum_{i=1}^{N} \frac{1}{4}(\hat{a_1}+\hat{b_2}z_i - \bar{y})^2\right) \\ SSreg &\leq \frac{1}{2} (SSreg_1 +SSreg_2) \end{align} Dividing both sides by $SStotal$ we obtain $R^2 \leq \frac{1}{2} (R^2_1+R^2_2)$.

Any comments on what is wrong with this "proof"? My understanding is that the problem stems from the fact when adding up the error terms, there might be some correlation between $e_{i,1}$ and $e_{i,2}$. Any feedback or book/article reference is appreciated.

$\endgroup$

4 Answers 4

11
$\begingroup$

The best upper bound is $1$, no matter what the values of $R_1^2$ and $R_2^2$ may be.

The following discussion explains why, in three increasingly detailed ways. The first explanation gives geometric intuition, leading to a simple example. The second one translates that into a procedure to generate specific datasets that give rise to this example. The third one generalizes this procedure to show how any mathematically possible value of $R^2$ can be achieved, given arbitrary values of $R_1^2$ and $R_2^2$.

I adopt a notation in which the independent variables are named $x_1$ and $x_2$ (rather than $x$ and $z$), so that the distinction between the independent and dependent variables remains clear.

(A comment by the alert @f coppens compels me to add that these results change when one or more of the regressions does not include a constant term, because then the relationship between $R^2$ and the correlation coefficients changes. The methods used to obtain these results continue to work. Interested readers may enjoy deriving a more general answer for that situation.)


For the simple regressions (1) and (2), the $R_i^2$ are the squares of the correlation coefficients between $x_i$ and $y$. Relationships among correlation coefficients are just angular relationships among unit vectors in disguise, because the correlation coefficient of two variables $x$ and $y$ (considered as column $n$-vectors) is the dot product of their normalized (unit-length) versions, which in turn is the cosine of the angle between them.

In these geometric terms, the question asks

How close can a vector $y$ come to the plane generated by $x_1$ and $x_2$, given the angles between $y$ and the $x_i$?

Evidently $y$ can actually be in that plane, provided you put $y$ at a given angle $\theta_1$ with $x_1$ and then place $x_2$ at a given angle $\theta_2$ with $y$. When that happens, the $R^2$ for regression (3) is $1$, demonstrating there is no meaningful upper bound on $R^2$.


Geometric thinking is no longer considered rigorous, but it leads us to a rigorous example. Start with two orthogonal unit vectors $u$ and $v$, each of which is orthogonal to a vector of ones (so that we can accommodate a constant term in all three regressions). Given $R_1^2$ and $R_2^2$, let $\rho_i^2 = R_i^2$ be choices of their square roots. To place vectors $x_1$, $y$, and $x_2$ at the required angles, set

$$\eqalign{ &x_1 &= u\\&y&=\rho_1 u + \sqrt{1-\rho_1^2} v\\ &x_2 &= (\rho_1\rho_2-\sqrt{1-\rho_1^2}\sqrt{1-\rho_2^2})u + (\rho_1\sqrt{1-\rho_2^2}\sqrt{1-\rho_1^2})v.}$$

Since $u\cdot u = v\cdot v = 1$ and $u\cdot v = 0$, you can verify that $x_2\cdot x_2 = 1$ as required,

$$y\cdot x_1 = \rho_1,$$

and

$$\eqalign{ y\cdot x_2 &= \rho_1\left(\rho_1\rho_2-\sqrt{1-\rho_1^2}\sqrt{1-\rho_2^2}\right) + \sqrt{1-\rho_1^2}\left(\rho_1\sqrt{1-\rho_2^2}\sqrt{1-\rho_1^2}\right) \\ &= \rho_2,}$$

as intended.

For a completely concrete example with $n\ge 3$ observations, start with any two $n$-vectors $u_0$ and $v_0$ which are linearly independent and linearly independent of the $n$-vector $\mathbf{1}=(1,1\ldots, 1)$. Apply the Gram-Schmidt process to the sequence $\mathbf{1}, u_0, v_0$ to produce an orthonormal basis $\mathbf{1}/\sqrt{n}, u, v$. Use the $u$ and $v$ that result. For instance, for $n=3$ you might start with $u_0 = (1,0,0)$ and $v_0=(0,1,0)$. The Gram-Schmidt orthogonalization of them yields $u = (2,-1,-1)/\sqrt{6}$ and $v=(0,1,-1)/\sqrt{2})$. Apply the preceding formulas to these for any given $R_1^2$ and $R_2^2$ you desire. This will result in a dataset consisting of the $3$-vectors $x_1$, $x_2$, and $y$ with the specified values of $R_1^2, R_2^2$, and $R^2 = 1$.


A similar approach, starting with mutually orthonormal vectors $u_0, v_0, w_0$, can be used to construct examples in which $R^2$ achieves any specified value in the interval $[\max(R_1^2, R_2^2), 1]$. Order the $x_i$ so that $R_1^2 \ge R_2^2$. Writing $y = \alpha u_0 + \beta v_0 + \gamma w_0$, $x_1 = u_0$, and $x_2 = \rho_{12}u_0 + \sqrt{1-\rho_{12}^2}v_0$, compute that $\rho_1 = \alpha$ and $\rho_2 = \alpha \rho_{12} + \beta \sqrt{1-\rho_{12}^2}$. From this, and the fact that $\alpha^2+\beta^2+\gamma^2=1$, solve and find that

$$\beta = \frac{\rho_2 - \rho_1\rho_{12}}{\sqrt{1-\rho_{12}^2}}$$

and $\gamma = \sqrt{1-\alpha^2 - \beta^2}$. For this square root to exist, $\beta$ needs to be small, but that can be guaranteed by choosing $\rho_{12}$ (the correlation between the two independent variables $x_1$ and $x_2$) to be small in size, because as $\rho_{12}$ approaches $\rho_2/\rho_1$, (which is possible because the absolute value of this ratio does not exceed $1$), $\beta$ approaches zero continuously.

The cognoscenti will recognize the relationship between the formula for $\beta$ and a certain partial correlation coefficient.

$\endgroup$
8
  • $\begingroup$ @Irland: note that for a regression through the origin (without an intercept) , so $y = \beta_1 x + \epsilon$, the $r^2$ can be negative. $\endgroup$
    – user83346
    Aug 4, 2015 at 13:13
  • $\begingroup$ @fcoppens I invite you to extend this analysis to that case. It differs from my answer in that $R^2$ is the square of the correlation coefficient only when an intercept is included (as it explicitly is in the question). $\endgroup$
    – whuber
    Aug 4, 2015 at 13:29
  • $\begingroup$ you are right, if the intercept is included then it can be shown that the $R^2$ is between 0 and 1. However, in a regression without an intercept, the $R^2$ can be negative (but still at most 1). As the number of characters allowed in a comment is 500, I added another answer. $\endgroup$
    – user83346
    Aug 4, 2015 at 19:07
  • $\begingroup$ @whbuer. Your definition of $R_i^2$ is wrong. $R^2_i$ is the squared correlation coefficient between the $y_i$ and $\hat{y_i}$, not $y_i$ and $x_i$. $\endgroup$
    – Irland
    Aug 4, 2015 at 19:33
  • 1
    $\begingroup$ @Irland Since $\hat y_i = \hat\alpha + \hat\beta x_i$ is a linear relationship, the correlation coefficient of $(y, \hat y)$ must equal the correlation coefficient of $(y, x)$. Therefore, according to the definition you offered in your first comment, $R^2$ must equal the square of the correlation between $y$ and $x$. Your most recent comment therefore is rather puzzling, because you now say this is wrong. $\endgroup$
    – whuber
    Aug 5, 2015 at 12:57
6
$\begingroup$

@whuber: negative $R^2$ is possible in a regression model without an intercept.

In a regression model with an intercept, the definition of $R^2$ is based on a decomposition of the total sum of squares, i.e. $\sum_i (Y_i - \bar{Y})^2$, $\bar{Y}$ is the average of $Y$, the dependent variable. (Note that $R^2$ it is not defined as the square of the correlation coefficient because the latter is only defined between two variables, therefore, only in the case with one independent variable (and an intercept), the squared correlation coefficient is equal to the $R^2$).

The decomposition of the total sum of squares (TSS) goes as follows: $TSS=\sum_i (Y_i - \bar{Y})^2=\sum_i (Y_i - \hat{Y}_i + \hat{Y}_i - \bar{Y})^2$, where $\hat{Y}_i$ are the predictions of the regression model. It follows that $TSS=\sum_i (Y_i - \hat{Y}_i )^2 + \sum_i (\hat{Y}_i - \bar{Y})^2 +2 \sum_i (Y_i - \hat{Y}_i ) (\hat{Y}_i - \bar{Y})$.

In a model with an intercept, it can be shown that the third term on the right hand side is zero, but this can not be shown for a model without an intercept (see e.g. D.N. Gujaratti, ''Basic Econometrics'' or W.H. Greene, ''Econometric Analysis'').

In the model with an intercept

As the third term can be shown to be zero, $TSS=\sum_i (Y_i - \hat{Y}_i )^2 + \sum_i (\hat{Y}_i - \bar{Y})^2$. $\sum_i (Y_i - \hat{Y}_i )^2$ is the sum of the squared residuals (Residual sum of squares (RSS)) and $\sum_i (\hat{Y}_i - \bar{Y})^2$ is the sum of squared differences between the predictions and the average value of Y, this is called the explained sum of squares (ESS). So we find, in a model with an intercept, that $TSS=RSS+ESS$ of that $1=\frac{RSS}{TSS}+\frac{ESS}{TSS}$.

And from this they define the $R^2$ as $R^2\stackrel{def}{=}1-\frac{RSS}{TSS}$.

By the above, for a model with an intercept, it follows that $R^2=\frac{ESS}{TSS}$. As $ESS$ and $TSS$ are sums of squares, it follows that $R^2 \ge 0$.

In the model without an intercept.

In the model without an intercept it can not be shown that $\sum_i (Y_i - \hat{Y}_i ) (\hat{Y}_i - \bar{Y})=0$. Therefore $TSS=RSS+ESS+2\sum_i (Y_i - \hat{Y}_i ) (\hat{Y}_i - \bar{Y})$. So $R^2\stackrel{def}{=}1-\frac{RSS}{TSS}=\frac{ESS+2\sum_i (Y_i - \hat{Y}_i ) (\hat{Y}_i - \bar{Y})}{TSS}$. The second term in the numerator can be negative, so the sign of $R^2$ can not be shown to be positive.

$\endgroup$
0
2
$\begingroup$

Summing up the first two equations you find $2y_i=a_1+a_2+b_1x_i+b_2z_i+e_{i,1}+e_{i,2}$, if you subtract twice the third equation then you find $0=a_1+a_2+b_1x_i+b_2z_i+e_{i,1}+e_{i,2}-2a-2bx_i-2cz_i-2e_i$ or $(a_1+a_2-2a+e_{i,1}+e_{i,2}-2e_i)+(b_1-2b)x_i+(b_2-2c)z_i=0$.

But from $(a_1+a_2-2a+e_{i,1}+e_{i,2}-2e_i)=0$ it does not follow that $a=\frac{a_1+a_2}{2}$ ?

Note also that the $a$'s are constants while the $e$'s are vectors.

$\endgroup$
1
  • $\begingroup$ Basically boils down to the fact that the summation of the first two errors does not give the third error cause you may have correlation. $\endgroup$
    – Irland
    Aug 4, 2015 at 18:10
0
$\begingroup$

I think I formalized the concern I had. Summing up 1 and 2 and transforming both sides you get:

$y_i-(a_1+b_1*x_i) + y_i-(a_2+b_2*z_i)= e_{i,1}+e_{i,2} \sim N(0,\sigma_1^2+\sigma_2^2)$. Using the OLS estimates, you obtain, $\sum_{i} (e_{i,1}+e_{i,2})^2= \sum_{i} (y_i-(\hat{a_1}+\hat{b_1}*x_i) + y_i-(\hat{a_2}+\hat{b_2}*z_i))^2= \sum_{i} (y_i-(\hat{a_1}+\hat{b_1}*x_i))^2+\sum_{i}(y_i-(\hat{a_2}+\hat{b_2}*z_i))^2+2*\sum_{i}(y_i-(\hat{a_1}+\hat{b_1}*x_i))(y_i-(\hat{a_2}+\hat{b_2}*z_i))= \sum_ie_{i,1}^2+\sum_ie_{i,2}^2+2cov(e_1,e_2)\sim N(0,\sigma_1^2+\sigma_2^2)\, iff\, cov(e_1,e_2)=0$

Therefore, the summation works iff the co-variance between the errors is zero. could jump from line 1 to line 3 directly.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.