From Structural Restrictions to an Estimate
Structural models often imply relationships among quantities that can be estimated from data. A model may, for example, imply that several population statistics equal functions of a common structural parameter. In a finite sample, those statistics will generally not line up perfectly with the model’s restrictions. Minimum-distance estimation chooses the parameter values that make the model’s implications as close as possible to the sample estimates, according to a specified measure of distance.
This approach makes the link between restrictions and estimation explicit. The population restrictions state what the model says should hold; their sample counterparts show how close the data come to those implications. The weighting matrix determines how discrepancies across restrictions enter the objective. Here we treat that matrix as specified, rather than considering how to choose an optimal one.
The vector \(\hat q-h(\theta)\) is the discrepancy between the sample estimates and the model’s implied quantities at \(\theta\). Positive definiteness of \(W\) ensures that every nonzero discrepancy has positive squared distance. Multiplying the criterion by a positive constant, such as the sample size \(n\), does not change its minimizer.
A closely related formulation begins with a vector of population moments \(g(\theta)\) that equals zero at the true parameter. If \(\hat g_n(\theta)\) is its sample counterpart, the estimator minimizes \(n\hat g_n(\theta)'W\hat g_n(\theta)\). Restrictions written as \(q_0=h(\theta_0)\) can be expressed in this form by defining \(g(\theta)=q_0-h(\theta)\). The two formulations describe the same basic idea: find parameter values that bring the sample restrictions close to their population targets.
Identification and the First-Order Conditions
For estimation to recover a unique parameter locally, changes in \(\theta\) must change the model-implied restrictions in enough independent directions. Let \(D(\theta)\) denote the \(k\times p\) Jacobian matrix of \(h(\theta)\), whose entry in row \(j\), column \(\ell\) is \(\partial h_j(\theta)/\partial\theta_\ell\). A central local identification condition is that \(D(\theta_0)\) has full column rank \(p\). This condition rules out a nonzero local change in the parameter that leaves all the restrictions unchanged to first order.
Assume \(h\) is differentiable and \(W\) is symmetric. Differentiating the criterion gives the first-order condition for an interior minimizer. It states that the weighted discrepancy is orthogonal to each direction in which the model implications change as the parameter changes.
The equation has \(p\) components, one for each parameter. If there are exactly as many independent restrictions as parameters, a solution may match the sample restrictions exactly. With more restrictions than parameters, the estimator generally cannot eliminate every discrepancy; instead, it balances them according to \(W\). A solution to the first-order condition must also be checked to ensure it is a minimum, and nonlinear criteria may have more than one stationary point.
Worked Example: A Linear Overidentified System
Suppose a scalar structural parameter \(\theta\) implies two population targets, \(h(\theta)=(\theta,2\theta)'\). In a hypothetical sample, the two target estimates are \(\hat q=(2.1,5.2)'\). Use the identity matrix \(W=I\), so the two discrepancies receive equal weight.
The criterion is $$ Q_n(\theta)=(2.1-\theta)^2+(5.2-2\theta)^2. $$
Here \(D(\theta)=(1,2)'\), so the first-order condition is $$ (1,2)\begin{pmatrix}2.1-\theta\\5.2-2\theta\end{pmatrix}=0. $$
Substituting and solving gives \(2.1-\theta+2(5.2-2\theta)=0\), or \(12.5-5\theta=0\). Thus \(\hat\theta=2.5\). The fitted targets are \((2.5,5.0)'\), and the residual vector is \((-0.4,0.2)'\). Its first-order condition holds because \((-0.4)+2(0.2)=0\).
The estimate is a compromise: it does not set either sample target exactly equal to its model implication. Since the criterion is a quadratic with positive second derivative \(2(1^2+2^2)=10\), this stationary point is the unique minimum.
Nonlinear Restrictions and Optimization
When \(h(\theta)\) is nonlinear, the first-order condition is generally a nonlinear system. A numerical optimizer may be needed to find a solution, but the problem’s structure still matters: the restriction map should be identified in the parameter region of interest, and a candidate solution should be evaluated against the objective, not just accepted because an algorithm stopped. Multiple stationary points can occur, so comparing objective values may be important.
Worked Example: A Nonlinear Structural Map
Consider a scalar parameter with two implied targets \(h(\theta)=(\theta,\theta^2)'\). For hypothetical sample estimates \(\hat q=(1.8,4.0)'\) and \(W=I\), find the minimum-distance estimate over the real line.
The criterion and its derivative are $$ Q_n(\theta)=(1.8-\theta)^2+(4.0-\theta^2)^2, \qquad Q_n'(\theta)=4\theta^3-14\theta-3.6. $$
Setting the derivative to zero gives \(2\theta^3-7\theta-1.8=0\). The positive stationary point is approximately \(\hat\theta=1.988\). Its criterion value is approximately \((1.8-1.988)^2+(4.0-1.988^2)^2=0.0376\). The negative local minimum, near \(-1.726\), has a much larger criterion value, approximately \(13.47\); the remaining stationary point is a local maximum. Thus the positive stationary point is the global minimum.
At this estimate, the model implies targets of approximately \((1.988,3.953)'\). The residuals are approximately \((-0.188,0.0473)'\). The Jacobian is \(D(\theta)=(1,2\theta)'\), so the first-order condition requires the residual vector to have zero inner product with \((1,2\hat\theta)'\). Numerically, \(-0.188+2(1.988)(0.0473)\) is approximately zero. The two restrictions do not match exactly, but their weighted squared distance is minimized.
Large-Sample Distribution
The sample restrictions fluctuate around their population values. To describe how that fluctuation carries through to \(\hat\theta\), suppose the model is correctly specified, \(q_0=h(\theta_0)\), and the sample estimates satisfy $$ \sqrt{n}(\hat q-q_0)\ \xrightarrow{d}\ N(0,\Omega), $$ where \(\Omega\) is the limiting covariance matrix and is finite. Assume \(h\) is continuously differentiable near \(\theta_0\), \(D=D(\theta_0)\) has full column rank, \(W\) is fixed and positive definite, and the estimator is a consistent interior minimizer in the neighborhood considered. These regularity conditions allow a first-order expansion of its first-order condition.
To see the expansion, write \(\Delta=\hat\theta-\theta_0\). Differentiability gives \(h(\hat\theta)=q_0+D\Delta+o(\|\Delta\|)\). The first-order condition, to first order around \(\theta_0\), is therefore \(D'W\{(\hat q-q_0)-D\Delta\}=o_p(n^{-1/2})\). Because full column rank and positive definiteness make \(D'WD\) invertible, solving this equation yields the asymptotic linear representation below.
A linear transformation of an asymptotically normal vector is asymptotically normal. Consequently, the limiting distribution is
For a scalar parameter, the square root of the corresponding diagonal element of an estimated \(V/n\) is an asymptotic standard error. The formula requires the covariance of the sample restrictions, not just their observed values. In applications, this covariance is estimated from the data using an approach appropriate to the sampling design and dependence structure. The resulting normal approximation supports large-sample confidence intervals and other parameter-level inference.
Worked Example: Standard Error From Restriction Uncertainty
Continue with the linear restriction map \(h(\theta)=(\theta,2\theta)'\), for which \(D=(1,2)'\). Suppose the hypothetical sample size is \(n=100\), and the limiting covariance of \(\sqrt{n}(\hat q-q_0)\) is $$ \Omega=\begin{pmatrix}4&1\\1&9\end{pmatrix}. $$ Use \(W=I\) and the estimate \(\hat\theta=2.5\) found above.
The multiplier in the asymptotic linear representation is $$ (D'WD)^{-1}D'W=\frac{1}{5}(1,2). $$ Therefore, $$ V=\frac{1}{25}(1,2) \begin{pmatrix}4&1\\1&9\end{pmatrix} \begin{pmatrix}1\\2\end{pmatrix} =\frac{44}{25}=1.76. $$ The approximate variance of \(\hat\theta\) is \(V/n=1.76/100=0.0176\), giving standard error \(\sqrt{0.0176}=0.1327\).
An approximate 95% Wald confidence interval is \(2.5\pm1.96(0.1327)\), or approximately \([2.240,2.760]\). In context, this interval is an asymptotic procedure for estimating the structural parameter: under repeated sampling and the stated assumptions, intervals constructed this way have coverage approaching 95% as the sample size grows. It is not a statement that the fixed parameter has a 95% probability of lying in this particular interval.
Why Minimum Distance Matters—and a Common Pitfall
Minimum distance provides a direct way to estimate structural parameters when a model yields interpretable restrictions on population quantities or moments. It can combine several noisy empirical targets while preserving the model’s structure. It also makes the role of local identification visible: if the restrictions do not respond independently to parameter changes, the Jacobian lacks full column rank, and the local approximation cannot uniquely recover all components of the parameter.
A common mistake is to assume that a good-fitting parameter must make every sample restriction hold exactly. That is possible in an exactly identified system, but it is generally impossible when there are more restrictions than parameters. The correct requirement is that the estimate minimizes the specified weighted distance. Another mistake is to derive the asymptotic variance while ignoring the covariance among sample restrictions. Off-diagonal elements of \(\Omega\) matter, as the worked calculation shows.
Check Your Understanding
Use the definitions and results above to check your understanding.
- In the minimum-distance criterion, what does the residual vector \(\hat q-h(\theta)\) represent?
- Why does full column rank of \(D(\theta_0)\) matter for local identification?
- For an overidentified system, must the estimated parameter make every sample restriction hold exactly? Explain.
- In the asymptotic variance formula, what role does \(\Omega\) play?
- Suppose the Jacobian is not full column rank. Which step in the asymptotic derivation fails, and why?