Derajat kebebasan

33

Statistik uji untuk uji Hosmer-Lemeshow (HLT) untuk goodness of fit (GOF) dari model regresi logistik didefinisikan sebagai berikut:

Sampel kemudian dibagi menjadi d=10 desil, D1,D2,,Dd , per desil menghitung jumlah berikut:

  • O1d=iDdyi , yaitu jumlah diamati dari kasus positif di desilDd ;
  • O0d=iDd(1yi) , yaitu jumlah diamati dari kasus negatif dalam desilDd ;
  • E1d=iDdπ^i, i.e. the estimated number of positive cases in decile Dd;
  • E0d=iDd(1π^i), i.e. the estimated number of negative cases in decile Dd;

where yi is the observed binary outcome for the i-th observation and π^i the estimated probability for that observation.

Then the test statistic is then defined as:

X2=h=01g=1d((OhgEhg)2Ehg)=g=1d(O1gngπ^gng(1π^g)π^g)2,

where π^g is the average estimated probability in decile g and let ng be the number of companies in the decile.

According to Hosmer-Lemeshow (see this link) this statistic has (under certain assumptions) a χ2 distribution with (d2) degrees of freedom.

On the other hand, if I would define a contingency table with d rows (corresponding to the deciles) and 2 columns (corresponding to the true/false binary outcome) then the test-statistic for the χ2 test for this contingency table would the the same as the X2 defined above, however, in the case of the contingency table, this test statistic is χ2 with (d1)(21)=d1 degrees of freedom. So one degree of freedom more !

How can one explain this difference in the number of degrees of freedom ?

EDIT: additions after reading comments:

@whuber

They say (see Hosmer D.W., Lemeshow S. (1980), A goodness-of-fit test for the multiple logistic regression model. Communications in Statistics, A10, 1043-1069) that there is a theorem demonstrated by Moore and Spruill from which it follows that if (1) the parameters are estimated using likelihood functions for ungrouped data and (2) the frequencies in the 2xg table depend on the estimated parameters, namely the cells are random, not fixed, that then, under appropriate regularity conditions the goodness of fit statistic under (1) and (2) is that of a central chi-square with the usual reduction of degrees of freedom due to estimated parameters plus a sum of weighted chi-square variables.

Then, if I understand their paper well, they try to find an approximation for this 'correction term' that, if I understand it well, is this weighted sum of chi-square random variables, and they do this by making simulations, but I must admit that I do not fully understand what they say there, hence my question; why are these cells random, how does that influence the degrees of freedom ? Would it be different if I fix the borders of the cells and then I classify the observations in fixed cells based on the estimated score, in that case the cells are not random, though the 'content' of the cell is ?

@Frank Harell: couldn't it be that the 'shortcomings' of the Hosmer-Lemeshow test that you mention in your comments below, are just a consequence of the approximation of the weighted sum of chi-squares ?


sumber
9
The book contains a detailed description of this test and the basis for it. Your question is fully answered on pp 145-149. Determining degrees of freedom in χ2 tests is a subtle thing, because most of these tests are approximations (in the first place) and those approximations are good only when seemingly minor technical conditions apply. For some discussion of all this, see stats.stackexchange.com/a/17148. H&L took a purely practical route: they base their recommendation of d2 DF on "an extensive set of simulations."
whuber
4
This test is now considered obsolete due to (1) lack of power, (2) binning of continuous probabilities, and (3) arbitrariness in choice of binning and choice of definition of deciles. The Hosmer - le Cessie 1 d.f. test or the Spiegelhalter test are recommended. See for example the R rms package residuals.lrm and val.prob functions.
Frank Harrell
2
@Frank Harell: (a) even is the Hosmer-Lemeshow test is obsolete, I think it is still interesting to understand the difference with χ2 and (b) do you have a reference that shows that Spiegelhalter test has more power than the Hosmer-Lemeshow test ?
2
These issues are IMHO very small in comparison with the original question.
Frank Harrell
3
I think details appear elsewhere on this site. Briefly, (1) Hosmer showed the test is arbitrary - is very sensitive to exactly how deciles are computed; (2) it lacks power. You can see that it is based on imprecise quantities by plotting the binned calibration curve (as opposed to a smooth calibration curve) and noting the jumps. Also, it does not properly penalize for extreme overfitting.
Frank Harrell

Jawaban:

2

Hosmer D.W., Lemeshow S. (1980), A goodness-of-fit test for the multiple logistic regression model. Communications in Statistics, A10, 1043-1069 show that:

If the model is a logistic regression model and the p parameters are estimated by maximum likelihood and the G groups are defined on the estimated probabilities then it holds that X2 is asymptotically χ2(Gp1)+i=1p+1λiχi2(1) (Hosmer,Lemeshow, 1980, p.1052, Theorem 2).

(Note: the necessary conditions are not explicitly in Theorem 2 on page 1052 but if one attentively reads the paper and the proof then these pop up)

The second term i=1p+1λiχi2(1) results from the fact that the grouping is based on estimated - i.e. random - quantities (Hosmer,Lemeshow, 1980, p.1051)

Using simulations they showed that the second term can be (in the cases used in the simualtion) approximated by a χ2(p1) (Hosmer,Lemeshow, 1980, p.1060)

Combining these two facts results in a sum of two χ2 variables, one with Gp1 degrees of freedom and a second one with p1 degrees of freedom or X2χ2(Gp1+p1=G2)

So the answer to the question lies in the occurrence of the 'weighted chi-square term' or in the fact that the groups are defined using estimated probabilities that are themselves random variables.

See also Hosmer Lemeshow (1980) Paper - Theorem 2


sumber
'So the answer to the question lies in the occurrence of the 'weighted chi-square term' and in the fact that the groups are defined using estimated probabilities that are themselves random variables.' A) The estimated probabilities makes that you get an extra reduction of p+1, which makes the main difference to the case of the contingency table (in which only g terms are estimated). B) The weighted chi-square term occurs as a correction because the estimate is not a likelihood estimate or equally efficient, and this makes that the effect of the reduction is less extra than (p+1).
Sextus Empiricus
@Martijn Weterings: Am I right if I conclude that what you say in this comment is not exactly the same explanation (not to say completely different) as what you say in your answer ? Does your comment lead to the conclusion that the df are G2 ?
My answer explains the intuition behind the difference in degrees of freedom compared to the reasoning based on "the test-statistic for the χ2 test for this contingency table", it explains why they are different (case estimating fixed cells). It focuses on the 'usual reduction' from which you would conclude that the df would be G-3. However, certain conditions for the 'usual reduction' are not met. For this reason (random cells) you get the more complicated terms with the weighted chi-square term as a correction and you effectively end up with G-2. It is far from completely different.
Sextus Empiricus
@ Martijn Weterings, sorry but I can't upvote because I don't see any notion like 'random cells' in your answer at all, do you mean that al your nice pictures (and I mean this, they are very nice) explain something about 'random cells' or did you come up with that notion after reading my answer ?
Don't be sorry. I agree that my answer is not an exact answer to show exactly the degrees of freedom in the HL test. I am sorry for that. What you have is Chernoff Lehman statistic (with also random cells) that follows a i=1ks1χ2(1)+i=ksk1λiχi2(1) distribution. It is currently unclear to me what part is troubling you, I hope you can be more constructive in this. If you want all explained, you already have the articles for that. My answer just tackled the i=1ks1χ2(1) explaining the main difference to contingency table test.
Sextus Empiricus
2

The theorem that you refer to (the usual reduction part "usual reduction of degrees of freedom due to estimated parameters") has been mostly advocated by R.A. Fisher. In 'On the interpretation of Chi Square from Contingency Tables, and the Calculation of P' (1922) he argued to use the (R1)(C1) rule and in 'The goodness of fit of regression formulae' (1922) he argues to reduce the degrees of freedom by the number of parameters used in the regression to obtain expected values from the data. (It is interesting to note that people misused the chi-square test, with wrong degrees of freedom, for more than twenty years since it's introduction in 1900)

Your case is of the second kind (regression) and not of the former kind (contingency table) although the two are related in that they are linear restrictions on the parameters.

Because you model the expected values, based on your observed values, and you do this with a model that has two parameters, the 'usual' reduction in degrees of freedom is two plus one (an extra one because the O_i need to sum up to a total, which is another linear restriction, and you end up effectively with a reduction of two, instead of three, because of the 'in-efficiency' of the modeled expected values).


The chi-square test uses a χ2 as a distance measure to express how close a result is to the expected data. In the many versions of the chi-square tests the distribution of this 'distance' is related to the sum of deviations in normal distributed variables (which is true in the limit only and is an approximation if you deal with non-normal distributed data).

For the multivariate normal distribution the density function is related to the χ2 by

f(x1,...,xk)=e12χ2(2π)k|Σ|

with |Σ| the determinant of the covariance matrix of x

and χ2=(xμ)TΣ1(xμ) is the mahalanobis distance which reduces to the Euclidian distance if Σ=I.

In his 1900 article Pearson argued that the χ2-levels are spheroids and that he can transform to spherical coordinates in order to integrate a value such as P(χ2>a). Which becomes a single integral.


It is this geometrical representation, χ2 as a distance and also a term in density function, that can help to understand the reduction of degrees of freedom when linear restrictions are present.

First the case of a 2x2 contingency table. You should notice that the four values OiEiEi are not four independent normal distributed variables. They are instead related to each other and boil down to a single variable.

Lets use the table

Oij=o11o12o21o22

then if the expected values

Eij=e11e12e21e22

where fixed then oijeijeij would be distributed as a chi-square distribution with four degrees of freedom but often we estimate the eij based on the oij and the variation is not like four independent variables. Instead we get that all the differences between o and e are the same

(o11e11)=(o22e22)=(o21e21)=(o12e12)=o11(o11+o12)(o11+o21)(o11+o12+o21+o22)

and they are effectively a single variable rather than four. Geometrically you can see this as the χ2 value not integrated on a four dimensional sphere but on a single line.

Note that this contingency table test is not the case for the contingency table in the Hosmer-Lemeshow test (it uses a different null hypothesis!). See also section 2.1 'the case when β0 and β_ are known' in the article of Hosmer and Lemshow. In their case you get 2g-1 degrees of freedom and not g-1 degrees of freedom as in the (R-1)(C-1) rule. This (R-1)(C-1) rule is specifically the case for the null hypothesis that row and column variables are independent (which creates R+C-1 constraints on the oiei values). The Hosmer-Lemeshow test relates to the hypothesis that the cells are filled according to the probabilities of a logistic regression model based on four parameters in the case of distributional assumption A and p+1 parameters in the case of distributional assumption B.

Second the case of a regression. A regression does something similar to the difference oe as the contingency table and reduces the dimensionality of the variation. There is a nice geometrical representation for this as the value yi can be represented as the sum of a model term βxi and a residual (not error) terms ϵi. These model term and residual term each represent a dimensional space that is perpendicular to each other. That means the residual terms ϵi can not take any possible value! Namely they are reduced by the part which projects on the model, and more particular 1 dimension for each parameter in the model.


Maybe the following images can help a bit

Below are 400 times three (uncorrelated) variables from the binomial distributions B(n=60,p=1/6,2/6,3/6). They relate to normal distributed variables N(μ=np,σ2=np(1p)). In the same image we draw the iso-surface for χ2=1,2,6. Integrating over this space by using the spherical coordinates such that we only need a single integration (because changing the angle does not change the density), over χ results in 0ae12χ2χd1dχ in which this χd1 part represents the area of the d-dimensional sphere. If we would limit the variables χ in some way than the integration would not be over a d-dimensional sphere but something of lower dimension.

graphical representation of chi^2

The image below can be used to get an idea of the dimensional reduction in the residual terms. It explains the least squares fitting method in geometric term.

In blue you have measurements. In red you have what the model allows. The measurement is often not exactly equal to the model and has some deviation. You can regard this, geometrically, as the distance from the measured point to the red surface.

The red arrows mu1 and mu2 have values (1,1,1) and (0,1,2) and could be related to some linear model as x = a + b * z + error or

[x1x2x3]=a[111]+b[012]+[ϵ1ϵ2ϵ3]

so the span of those two vectors (1,1,1) and (0,1,2) (the red plane) are the values for x that are possible in the regression model and ϵ is a vector that is the difference between the observed value and the regression/modeled value. In the least squares method this vector is perpendicular (least distance is least sum of squares) to the red surface (and the modeled value is the projection of the observed value onto the red surface).

So this difference between observed and (modelled) expected is a sum of vectors that are perpendicular to the model vector (and this space has dimension of the total space minus the number of model vectors).

In our simple example case. The total dimension is 3. The model has 2 dimensions. And the error has a dimension 1 (so no matter which of those blue points you take, the green arrows show a single example, the error terms have always the same ratio, follow a single vector).

graphical representation of regression dimension reduction


I hope this explanation helps. It is in no way a rigorous proof and there are some special algebraic tricks that need to be solved in these geometric representations. But anyway I like these two geometrical representations. The one for the trick of Pearson to integrate the χ2 by using the spherical coordinates, and the other for viewing the sum of least squares method as a projection onto a plane (or larger span).

I am always amazed how we end up with oee, this is in my point of view not trivial since the normal approximation of a binomial is not a devision by e but by np(1p) and in the case of contingency tables you can work it out easily but in the case of the regression or other linear restrictions it does not work out so easily while the literature is often very easy in arguing that 'it works out the same for other linear restrictions'. (An interesting example of the problem. If you performe the following test multiple times 'throw 2 times 10 times a coin and only register the cases in which the sum is 10' then you do not get the typical chi-square distribution for this "simple" linear restriction)

Sextus Empiricus
sumber
2
In my honest opinion this answer has very nice figures and arguments that are related to χ2 test but it has not so much to do with the question which is about the Hosmer-Lemeshow test for a logistic regression. You are arguing something with a regression where 1 parameters is estimated but the Hosmer-Lemeshow test is about a logistic regression where p>1 parameters are estimated. See also stats.stackexchange.com/questions/296312/…
... and, as you say, you end up with an e in the denominator and not with a np(1p) , so this does not answer this question. Hence I have to downvote, sorry (but the graphs are very nice :-) ).
You were asking in a comment for "to understand the formula or at least the 'intuitive' explanation". So that is what you get with these geometrical interpretations. To calculate exactly how these np(1p) cancel out if you add both the positive and negative cases is far from intuitive and does not help you understand the dimensions.
Sextus Empiricus
In my answer I used the typical (d1p) degrees of freedom and assumed that the regression was performed with one parameter (p=1), which was a mistake. The parameters in your references are two, a β0 and β. These two parameters would have reduced the dimensionality to d-3 if only the proper conditions (efficient estimate) would have been met (see for instance again a nice article from Fisher 'The conditions under which the chi square measures the discrepancy between observation and hypothesis')....
Sextus Empiricus
....anyway, I explained why we don't get dimension d-1 (and should instead expect something like d-3, if you put two parameters in the regression) and how the dimensional reduction by an efficient estimate can be imagined. It is the Moore-Spruill article that works out the extra terms (potentially increasing the effective degrees of freedom) due to that inefficiency and it is the Hosmer-Lemeshow simulation that shows that d-2 works best. That theoretical work is far from intuitive and the simulation is far from exact. My answer is just the requested explanation for the difference with d-1.
Sextus Empiricus