Why Instrument Count Matters
Difference GMM uses lagged values of the outcome and other regressors as instruments for differenced equations. This is useful when regressors are endogenous and the panel is short. But as the number of time periods increases, the available lagged values multiply. A specification can therefore accumulate a large instrument set even when the number of units is modest.
The concern is not simply that a long list looks untidy. With too many instruments relative to the information in the sample, GMM can fit the endogenous variables unusually closely, the estimated weighting matrix can become unstable, and tests of overidentifying restrictions can lose power. Estimates and standard errors may then appear reassuring while being sensitive to the instrument set.
Model and Instrument-Count Growth
To isolate the count, consider a balanced panel with \(N\) units and \(T\) periods, and the dynamic model
Here \(\eta_i\) is a time-invariant unit effect and \(\varepsilon_{it}\) is an idiosyncratic error. First differencing removes \(\eta_i\), giving equations for \(t=3,\ldots,T\). The usual difference-GMM moment conditions use lagged levels \(y_{is}\), with \(s\leq t-2\), as instruments for the differenced lagged outcome. These conditions require, among other things, that the idiosyncratic errors do not have serial correlation that invalidates those lags and that the relevant initial-condition and exogeneity restrictions hold. Validity is a substantive assumption, not a consequence of having many available lags.
In the standard uncollapsed construction, each usable equation has its own instrument columns for the eligible lagged levels. For the equation at \(t=3\), there is one such lag; at \(t=4\), there are two; and the number continues to increase by one in each subsequent period. Thus, for this single endogenous lagged dependent variable, the number of these columns is
This count is for the lagged-level GMM instruments for \(y_{i,t-1}\) alone. Additional endogenous or predetermined regressors can add further columns, while ordinary instruments may also be included. The exact total depends on the model and instrument construction; the quadratic growth illustrates the central risk.
Worked Example: Counting Instruments as Periods Increase
Suppose a hypothetical balanced panel has \(T=6\) periods. The differenced equations run from \(t=3\) to \(t=6\). Count the uncollapsed lagged-level instruments for the lagged dependent variable.
At \(t=3\), the eligible level is \(y_{i1}\), giving 1 instrument column. At \(t=4\), the eligible levels are \(y_{i1},y_{i2}\), giving 2. At \(t=5\), there are 3; at \(t=6\), there are 4. Therefore,
For \(T=10\), the same calculation gives \(1+\cdots+8=8\cdot9/2=36\) columns, before adding instruments for any other regressors. The count rises from 10 to 36 as the panel adds four periods; it does not grow merely one column per additional period.
How a Large Instrument Set Can Cause Problems
GMM combines sample moment conditions using a weighting matrix. More valid moments can improve efficiency in ideal large samples, but the finite-sample behavior need not improve as the instrument set expands. In particular, when the number of instruments is large relative to \(N\), the data may not contain enough independent information to estimate the moments and their covariance structure precisely.
- Overfitting endogenous variables. A rich instrument set can predict the endogenous regressors very closely within the estimation sample. The resulting estimates may behave more like estimates obtained under weak control for endogeneity, and dynamic-panel estimates can be pulled toward the biased estimates that GMM was intended to address. The direction and size of the distortion are not guaranteed in every design.
- Unstable weighting and estimates. The estimated moment covariance matrix may be poorly conditioned or nearly singular. Its inverse, used in efficient or two-step GMM weighting, can then be sensitive to small sample changes. Coefficients, standard errors, or convergence may vary substantially across otherwise similar specifications.
- Weakened overidentification tests. Hansen’s test assesses the joint compatibility of the overidentifying moment restrictions with the data under its assumptions. With an unwieldy instrument set, its finite-sample behavior can deteriorate, and the test may have little power to detect invalid moments. A very large p-value can occur; it is not proof that all instruments are valid.
- Less informative subset tests. Tests of selected moment-condition subsets, including difference-in-Hansen tests, rely on the same estimated moment structure. When the full set is too large, these tests may also provide weak or unstable evidence about the validity of a subset.
- Misleading coefficient inference. Conventional standard errors and reference distributions may not capture the finite-sample distortions caused by instrument proliferation. A small standard error or an apparently ordinary p-value is not a remedy for a poorly behaved instrument set.
These are risks, not mechanical outcomes. A large instrument count does not establish that an estimator is biased or that a Hansen test must fail. It is a warning to assess whether the instruments are informative and whether the conclusions are robust to a more parsimonious specification.
Worked Example: Comparing Instrument Count With Panel Size
Consider a hypothetical panel with \(N=25\) units and \(T=8\) periods. Suppose the model uses the uncollapsed lagged-level instruments for the lagged dependent variable and two additional standard instrument columns. How large is the total relative to the number of units?
There are \(T-2=6\) differenced equations. Their lagged-level instrument counts are \(1,2,3,4,5,6\), so
Adding the two stated standard columns gives \(K=21+2=23\) instruments for \(N=25\) units. The ratio is \(K/N=23/25=0.92\). This does not establish a universal failure threshold: the effective information also depends on the moments, regressors, and design. It does show that the instrument count is close to the number of independent units, making overfitting and unstable finite-sample behavior a serious concern to investigate.
If the same specification were extended to \(T=12\) while retaining \(N=25\), the lagged-level count alone would be \(10\cdot11/2=55\), already more than twice the number of units. Such a count should prompt careful scrutiny rather than an automatic declaration that estimation is impossible.
Why Hansen Results Can Look Reassuring
Under the standard conditions for the Hansen overidentification test, its statistic is compared with a chi-squared reference distribution whose degrees of freedom depend on the number of overidentifying restrictions. Those conditions include valid moments and suitable large-sample behavior. Proliferation can undermine the practical reliability of this reference comparison in finite samples.
A common warning sign is a Hansen p-value extremely close to one when the instrument count is large. It is tempting to read this as unusually strong confirmation of validity. The safer interpretation is that the test has not rejected the joint restrictions, while recognizing that a large instrument set can leave it with weak power to detect violations. Conversely, a small p-value is not, by itself, a diagnosis of proliferation; it may reflect invalid moments or other misspecification.
The instrument count should be reported alongside \(N\), \(T\), and the specification of the instrument set. It is useful to compare the count with the number of units and to examine whether substantive estimates and diagnostics change materially under reasonable alternatives. A single rule based only on \(K/N\) cannot replace this assessment.
Worked Example: A Coefficient Test Does Not Validate the Instruments
Suppose a hypothetical dynamic-panel GMM output reports an estimate \(\hat{\rho}=0.93\) with standard error \(SE=0.16\). Consider the two-sided test \(H_0:\rho=0.80\) against \(H_a:\rho\ne0.80\). For illustration, use the normal approximation and suppose the instrument set is large relative to the number of units.
The test statistic is
The two-sided normal p-value is
Under the stated normal approximation, this is not evidence against \(H_0\) at conventional significance levels. It does not establish that \(\rho=0.80\), and it does not establish that the instruments are valid. If proliferation has distorted the estimate or its standard error, the reported p-value may not have its advertised finite-sample calibration. Coefficient inference and instrument-validity diagnostics address different questions.
A Short Justification of the Growth Rate
The quadratic count follows directly from the triangular pattern of available lags. Index the differenced equations by \(j=t-2\), so \(j\) runs from 1 to \(T-2\). Equation \(j\) has \(j\) eligible lagged-level instrument columns. Summing these row-specific counts gives \(\sum_{j=1}^{T-2}j\). Pairing terms in the sum, or using the arithmetic-series identity, gives
Thus, for large \(T\), the leading growth is approximately \(T^2/2\). This result counts instrument columns in the uncollapsed construction for one lagged dependent variable; it does not say that every dynamic-panel GMM design has exactly this total.
Common Mistakes and Practical Interpretation
- “More valid instruments must be better.” This relies on large-sample intuition while ignoring finite-sample estimation of the moments and weighting matrix. Additional valid moments may help in some settings, but an excessive number can make estimates and tests less reliable.
- “The instrument count is below \(N\), so there is no problem.” There is no universal safe cutoff. A count below \(N\) can still be excessive for a particular design, and a count above \(N\) is a warning rather than a theorem that estimation must fail.
- “A high Hansen p-value proves validity.” A failure to reject is not proof of the null, and proliferation can make the test weak. Interpret the result with the instrument count and the model’s identifying assumptions in view.
- “A conventional coefficient p-value settles the issue.” It tests a coefficient restriction under its inferential assumptions; it does not certify the moment conditions or correct finite-sample behavior.
The practical point is to treat instrument count as part of model assessment, not as a cosmetic feature of software output. Report it transparently, connect it to the number of units and periods, and check whether the substantive conclusions depend on the instrument specification. When diagnostics appear implausibly reassuring or estimates are unstable, investigate the instrument set rather than relying on one test statistic.
Check Your Understanding
Answer each question by identifying both the calculation or principle and its implication.
- For \(T=7\), how many uncollapsed lagged-level instruments are available for the differenced lagged dependent variable? Show the sum across equations.
- Why is the instrument count not the same thing as the number of independent units?
- Give two ways an excessive instrument set can undermine GMM results, and explain why neither is guaranteed to occur in every sample.
- Why does a Hansen p-value close to one not prove that the instrument set is valid?
- A researcher reports a precise coefficient estimate but uses many instruments relative to \(N\). What additional concern should qualify interpretation of the reported standard error and p-value?