The Method of Moments

Suppose a batch of light bulbs has lifetimes following a Gamma distribution with unknown shape and scale parameters. You measure the lifetimes of fifty bulbs. How do you turn that raw sample into concrete estimates of the two unknown parameters, without invoking heavy machinery? The Method of Moments answers this by a strikingly simple idea. The sample already tells you its own average, its own spread, its own skewness. So just set these sample moments equal to the corresponding theoretical moments of the model. Then solve for the parameters. This matters because it is often the first tool reached for in parameter estimation. It requires no calculus of likelihoods, no optimization routine. It works even when the likelihood function is intractable or numerically unstable. Historically it predates Maximum Likelihood Estimation. It remains indispensable as a source of starting values for iterative likelihood maximization. It also serves as a teaching device that makes the logic of estimation transparent: match what you observe to what the model predicts. The big picture is that a probability distribution is characterized (under mild conditions) by its sequence of moments E[X],E[X2],E[X3],…E[X], E[X^2], E[X^3], \dots. If a distribution is governed by kk unknown parameters, we typically need kk equations to pin them down. So we equate the first kk sample moments to the first kk population moments. The latter are known functions of the parameters. Then we solve the resulting system. This article gives the precise definition of a method-of-moments estimator. It proves its basic consistency property from first principles using the Law of Large Numbers. It works through two genuinely different examples (a Gamma model and a Uniform model). It shows via a counterexample why moment existence is essential. Finally, it situates the method relative to its more efficient cousin, maximum likelihood.

Key takeaways
  • Method of Moments (MoM) estimates parameters by equating sample moments μ^j=1n∑Xij\hat\mu_j = \frac1n\sum X_i^j to population moments μj(θ)\mu_j(\theta), then solving for θ\theta.
  • Requires only that the needed population moments exist as finite, invertible functions of the parameter vector.
  • Consistency of MoM estimators follows directly from the Law of Large Numbers and continuity of the solving map.
  • MoM estimators are typically less efficient than Maximum Likelihood Estimation estimators, but are computationally cheap and algebraically explicit.
  • The method can fail or misbehave when moments do not exist, are not identifying, or the solving equations have no solution in the parameter space.
  • Key idea: replace unobservable population moments with their observable sample analogues and invert the resulting equations for the parameters.

Where this lives today

In econometrics, the Generalized Method of Moments (GMM), developed by Lars Peter Hansen, extends this idea to estimate parameters from moment conditions implied by economic theory (e.g. rational expectations models), even when no full likelihood is specified. In actuarial science and insurance, method-of-moments fitting of Gamma, Lognormal, or Pareto claim-size distributions is routine because closed-form moment formulas make it fast to fit models to large policy datasets. In physics and engineering, moment matching is used to fit particle-size or noise distributions from measured moments (mean energy, variance) without needing a tractable likelihood. In numerical optimization for statistics, MoM estimates are the standard warm-start values fed into iterative algorithms (Newton–Raphson, EM) that compute Maximum Likelihood Estimation estimates, because a good starting point can be the difference between fast convergence and divergence. In signal processing, moment-based ("cumulant matching") methods estimate parameters of non-Gaussian signal models where likelihoods are analytically unavailable. Finally, in teaching, MoM is the natural first illustration of the general logic of Point Estimation and Estimators: observe a functional of the data, equate it to its theoretical counterpart, invert.

:::quiz[For i.i.d. Exponential(λ\lambda) data with E[X]=1/λE[X]=1/\lambda, what is the method of moments estimator of λ\lambda?]

  • λ^=Xˉ\hat\lambda = \bar X
  • λ^=1/Xˉ\hat\lambda = 1/\bar X ✓
  • λ^=n/∑Xi2\hat\lambda = n/\sum X_i^2
  • λ^=Xˉ2\hat\lambda = \bar X^2

Ask the tutor: How does the method of moments generalize into GMM when there are more moment conditions than parameters?

DefinitionMethod of Moments Estimator

Let X1,…,XnX_1, \dots, X_n be independent and identically distributed random variables with common distribution FθF_\theta depending on an unknown parameter vector θ=(θ1,…,θk)∈Θ⊆Rk\theta = (\theta_1, \dots, \theta_k) \in \Theta \subseteq \mathbb{R}^k. For j=1,…,kj = 1, \dots, k, define the jj-th population moment

μj(θ)  =  Eθ[X1j],\mu_j(\theta) \;=\; E_\theta\big[X_1^j\big],

assumed to exist and be finite for all θ∈Θ\theta \in \Theta, and the jj-th sample moment

μ^j  =  1n∑i=1nXij.\hat\mu_j \;=\; \frac{1}{n}\sum_{i=1}^n X_i^j .

Suppose the map

g:Θ→Rk,g(θ)=(μ1(θ),…,μk(θ))g:\Theta \to \mathbb{R}^k, \qquad g(\theta) = \big(\mu_1(\theta), \dots, \mu_k(\theta)\big)

is injective (one-to-one) on Θ\Theta, with inverse g−1g^{-1} defined on g(Θ)g(\Theta). A method of moments estimator θ^n\hat\theta_n of θ\theta is any solution of the system of equations

μ^j=μj(θ),j=1,…,k,\hat\mu_j = \mu_j(\theta), \qquad j = 1, \dots, k,

that is, θ^n=g−1(μ^1,…,μ^k)\hat\theta_n = g^{-1}\big(\hat\mu_1, \dots, \hat\mu_k\big), whenever (μ^1,…,μ^k)∈g(Θ)(\hat\mu_1,\dots,\hat\mu_k) \in g(\Theta).

Intuition

Think of the population as a machine that produces numbers according to some law FθF_\theta, and think of moments as fingerprints of that law: the mean tells you the central location, the second moment (combined with the mean) tells you the spread, the third tells you the asymmetry. As nn grows, the sample's own fingerprints — its sample mean, sample second moment, and so on — converge to the population's true fingerprints, by the Law of Large Numbers. The method of moments simply runs this correspondence backward: given the sample's fingerprints, ask which parameter value θ\theta would have produced a population with exactly those fingerprints, and declare that value the estimate. Geometrically, gg maps the parameter space Θ\Theta into moment space Rk\mathbb{R}^k. Each hypothetical parameter θ\theta traces out a point (μ1(θ),μ2(θ))(\mu_1(\theta), \mu_2(\theta)) in the plane (for k=2k=2). The observed data gives us one specific point, the sample moment vector (μ^1,μ^2)(\hat\mu_1, \hat\mu_2), which typically does not lie exactly on the curve g(Θ)g(\Theta) but lands very close to it once nn is large. We find the parameter whose theoretical point matches the data's observed point.

Figure
The MoM idea for a two-parameter Gamma family: the curve is g(Θ)g(\Theta) in moment space, and the data point (μ^1,μ^2)(\hat\mu_1,\hat\mu_2) is matched to the nearest — here, the exact — point on it
μ₁ μ₂ curve g(Θ) = {(μ₁(θ), μ₂(θ)) : θ ∈ Θ} (μ̂₁, μ̂₂) observed sample moments μ̂₁ = 4.20 μ̂₂=27.1 θ̂ = g⁻¹(μ̂₁, μ̂₂)

Central theorem

TheoremConsistency of Method of Moments Estimators

Let X1,X2,…X_1, X_2, \dots be i.i.d. with distribution FθF_\theta, θ∈Θ⊆Rk\theta \in \Theta \subseteq \mathbb{R}^k. Suppose: 1. (Existence) μj(θ)=Eθ[X1j]\mu_j(\theta) = E_\theta[X_1^j] exists and is finite for j=1,…,kj = 1,\dots,k and every θ∈Θ\theta\in\Theta. 2. (Identifiability) The map g(θ)=(μ1(θ),…,μk(θ))g(\theta) = (\mu_1(\theta),\dots,\mu_k(\theta)) is injective on Θ\Theta. 3. (Continuity of the inverse) g−1:g(Θ)→Θg^{-1} : g(\Theta) \to \Theta is continuous at the true parameter value θ0\theta_0, i.e. at the point g(θ0)g(\theta_0). Let θ^n=g−1(μ^1,…,μ^k)\hat\theta_n = g^{-1}(\hat\mu_1,\dots,\hat\mu_k) whenever this is well defined (i.e. whenever the vector of sample moments lies in g(Θ)g(\Theta), an event of probability tending to 11). Then θ^n\hat\theta_n is a consistent estimator of θ0\theta_0:

θ^n→Pθ0as n→∞.\hat\theta_n \xrightarrow{P} \theta_0 \quad \text{as } n \to \infty.
Proof

We use the Weak Law of Large Numbers and the continuous mapping theorem, both applied to the vector of sample moments.

Step 1: Each sample moment converges in probability to the corresponding population moment. Fix j∈{1,…,k}j \in \{1,\dots,k\}. Since X1,…,XnX_1, \dots, X_n are i.i.d. and μj(θ0)=Eθ0[X1j]\mu_j(\theta_0) = E_{\theta_0}[X_1^j] is finite by hypothesis (1), the random variables X1j,X2j,…X_1^j, X_2^j, \dots are themselves i.i.d. with finite mean μj(θ0)\mu_j(\theta_0). By the Law of Large Numbers (weak form, which requires only finiteness of the first moment of XijX_i^j),

μ^j=1n∑i=1nXij→Pμj(θ0),n→∞.\hat\mu_j = \frac1n \sum_{i=1}^n X_i^j \xrightarrow{P} \mu_j(\theta_0), \qquad n \to \infty.

Step 2: Joint convergence of the moment vector. Convergence in probability of each coordinate to a constant implies joint convergence in probability of the vector to the constant vector. Explicitly, for any ε>0\varepsilon>0,

P(∥(μ^1,…,μ^k)−(μ1(θ0),…,μk(θ0))∥>ε)≤∑j=1kP(∣μ^j−μj(θ0)∣>ε/k)→0P\Big(\big\|(\hat\mu_1,\dots,\hat\mu_k) - (\mu_1(\theta_0),\dots,\mu_k(\theta_0))\big\| > \varepsilon\Big) \le \sum_{j=1}^k P\Big(|\hat\mu_j - \mu_j(\theta_0)| > \varepsilon/\sqrt{k}\Big) \to 0

as n→∞n\to\infty, using Step 1 for each term and a union bound. Hence

μ^  :=  (μ^1,…,μ^k)→Pg(θ0).\hat\mu \;:=\; (\hat\mu_1,\dots,\hat\mu_k) \xrightarrow{P} g(\theta_0).

Step 3: Apply continuity of g−1g^{-1}. By hypothesis (3), g−1g^{-1} is continuous at g(θ0)g(\theta_0). The continuous mapping theorem states: if Yn→PcY_n \xrightarrow{P} c and hh is continuous at cc, then h(Yn)→Ph(c)h(Y_n) \xrightarrow{P} h(c). (This is itself a direct consequence of the definition of convergence in probability and continuity: given ε>0\varepsilon > 0, continuity at cc gives δ>0\delta>0 such that ∥y−c∥<δ⇒∥h(y)−h(c)∥<ε\|y-c\|<\delta \Rightarrow \|h(y)-h(c)\|<\varepsilon; then {∥Yn−c∥<δ}⊆{∥h(Yn)−h(c)∥<ε}\{\|Y_n - c\| < \delta\} \subseteq \{\|h(Y_n)-h(c)\|<\varepsilon\}, so P(∥h(Yn)−h(c)∥≥ε)≤P(∥Yn−c∥≥δ)→0P(\|h(Y_n)-h(c)\| \ge \varepsilon) \le P(\|Y_n-c\|\ge \delta) \to 0.) Apply this with Yn=μ^Y_n = \hat\mu, c=g(θ0)c = g(\theta_0), and h=g−1h = g^{-1} (restricted to a neighborhood of g(θ0)g(\theta_0) within g(Θ)g(\Theta), where it is well defined and continuous by hypothesis). We obtain

θ^n=g−1(μ^1,…,μ^k)→Pg−1(g(θ0))=θ0,\hat\theta_n = g^{-1}(\hat\mu_1,\dots,\hat\mu_k) \xrightarrow{P} g^{-1}(g(\theta_0)) = \theta_0,

where the last equality holds because gg is injective (hypothesis 2), so g−1∘gg^{-1}\circ g is the identity on Θ\Theta. This completes the proof; note the argument used only the Weak Law of Large Numbers (applied kk times, to Xi,Xi2,…,XikX_i, X_i^2, \dots, X_i^k) and the continuous mapping theorem — no circularity, since neither of these presupposes the method of moments itself. ■\blacksquare

∎
CorollaryAsymptotic normality, informally stated

Under the hypotheses of the theorem, if additionally Eθ0[X12k]<∞E_{\theta_0}[X_1^{2k}] < \infty and g−1g^{-1} is continuously differentiable at g(θ0)g(\theta_0) with nonsingular Jacobian, then n(θ^n−θ0)\sqrt n(\hat\theta_n - \theta_0) converges in distribution to a multivariate normal law, obtained by combining the multivariate Central Limit Theorem for (μ^1,…,μ^k)(\hat\mu_1,\dots,\hat\mu_k) with the delta method applied to g−1g^{-1}. (Proof beyond scope here; it is the natural next step after establishing consistency, and parallels the asymptotic theory used for Maximum Likelihood Estimation.)

Worked examples

Example 1 — Gamma distribution (two parameters, asymmetric numbers). Let X1,…,XnX_1,\dots,X_n be i.i.d. Gamma(α,β)(\alpha,\beta) with density

f(x;α,β)=1Γ(α)βαxα−1e−x/β,x>0,f(x;\alpha,\beta) = \frac{1}{\Gamma(\alpha)\beta^\alpha} x^{\alpha-1} e^{-x/\beta}, \qquad x>0,

where α>0\alpha>0 is the shape and β>0\beta>0 the scale. Standard moment formulas give

μ1(α,β)=E[X]=αβ,E[X2]=α(α+1)β2,\mu_1(\alpha,\beta) = E[X] = \alpha\beta, \qquad E[X^2] = \alpha(\alpha+1)\beta^2,

so the variance is Var⁡(X)=E[X2]−μ12=αβ2\operatorname{Var}(X) = E[X^2]-\mu_1^2 = \alpha\beta^2. Suppose a sample of n=8n=8 bulb lifetimes (in hundreds of hours) gives

x=(3.1, 5.4, 2.0, 7.8, 4.5, 3.9, 6.2, 5.1).x = (3.1,\ 5.4,\ 2.0,\ 7.8,\ 4.5,\ 3.9,\ 6.2,\ 5.1).

Compute the sample mean:

μ^1=3.1+5.4+2.0+7.8+4.5+3.9+6.2+5.18=38.08=4.75.\hat\mu_1 = \frac{3.1+5.4+2.0+7.8+4.5+3.9+6.2+5.1}{8} = \frac{38.0}{8} = 4.75.

Compute the sample second moment 1n∑xi2\frac1n\sum x_i^2:

xi2:9.61, 29.16, 4.00, 60.84, 20.25, 15.21, 38.44, 26.01,x_i^2: 9.61,\ 29.16,\ 4.00,\ 60.84,\ 20.25,\ 15.21,\ 38.44,\ 26.01,
∑xi2=9.61+29.16+4.00+60.84+20.25+15.21+38.44+26.01=203.52,\sum x_i^2 = 9.61+29.16+4.00+60.84+20.25+15.21+38.44+26.01 = 203.52,
μ^2=203.528=25.44.\hat\mu_2 = \frac{203.52}{8} = 25.44.

Sample variance (dividing by nn, matching the population second central moment):

Var⁡^=μ^2−μ^12=25.44−4.752=25.44−22.5625=2.8775.\widehat{\operatorname{Var}} = \hat\mu_2 - \hat\mu_1^2 = 25.44 - 4.75^2 = 25.44 - 22.5625 = 2.8775.

Now solve αβ=μ^1\alpha\beta = \hat\mu_1 and αβ2=Var⁡^\alpha\beta^2 = \widehat{\operatorname{Var}}. Dividing the second by the first:

β^=Var⁡^μ^1=2.87754.75=0.6058 (to 4 s.f.),\hat\beta = \frac{\widehat{\operatorname{Var}}}{\hat\mu_1} = \frac{2.8775}{4.75} = 0.6058 \ (\text{to 4 s.f.}),
α^=μ^1β^=4.750.6058=7.840 (to 4 s.f.).\hat\alpha = \frac{\hat\mu_1}{\hat\beta} = \frac{4.75}{0.6058} = 7.840 \ (\text{to 4 s.f.}).

So the method of moments gives α^≈7.84\hat\alpha \approx 7.84, β^≈0.606\hat\beta \approx 0.606 (hundreds of hours). Here the map g(α,β)=(αβ, α(α+1)β2)g(\alpha,\beta) = (\alpha\beta,\, \alpha(\alpha+1)\beta^2) is indeed injective on (0,∞)2(0,\infty)^2: given μ1=αβ\mu_1 = \alpha\beta and Var⁡=αβ2\operatorname{Var} = \alpha\beta^2, the ratio Var⁡/μ1=β\operatorname{Var}/\mu_1 = \beta recovers β\beta uniquely, and then α=μ1/β\alpha = \mu_1/\beta is determined — confirming hypothesis (2) of the theorem is satisfiable in closed form here.

Example 2 — Uniform distribution on (0,θ)(0,\theta) (a case where MoM and a natural alternative disagree strikingly). Let X1,…,XnX_1,\dots,X_n be i.i.d. Uniform(0,θ)(0,\theta), θ>0\theta>0 unknown. Here k=1k=1: we only need the first moment,

μ1(θ)=E[X]=θ2.\mu_1(\theta) = E[X] = \frac{\theta}{2}.

This g(θ)=θ/2g(\theta) = \theta/2 is trivially injective with inverse g−1(m)=2mg^{-1}(m) = 2m. The method of moments estimator is

θ^nMoM=2Xˉn.\hat\theta_n^{\text{MoM}} = 2\bar X_n.

Take a concrete asymmetric sample of n=6n=6 observations:

x=(1.8, 4.3, 0.6, 3.9, 2.5, 4.9).x = (1.8,\ 4.3,\ 0.6,\ 3.9,\ 2.5,\ 4.9).

Then

xˉ=1.8+4.3+0.6+3.9+2.5+4.96=18.06=3.0,\bar x = \frac{1.8+4.3+0.6+3.9+2.5+4.9}{6} = \frac{18.0}{6} = 3.0,

so θ^MoM=2(3.0)=6.0\hat\theta^{\text{MoM}} = 2(3.0) = 6.0. Notice something uncomfortable: the largest observed value is x(6)=4.9<6.0x_{(6)} = 4.9 < 6.0, so the MoM estimate is at least plausible (it must satisfy θ^≥x(6)\hat\theta \ge x_{(6)} to be consistent with the model, since no xix_i can exceed θ\theta under Uniform(0,θ)(0,\theta)). But suppose instead the last observation had been x6=5.9x_6 = 5.9 (still <6.0<6.0, still consistent) — the mean would shift only slightly and MoM would still track reasonably. The real discomfort surfaces when comparing to the maximum likelihood estimator for this model, which is θ^MLE=x(n)\hat\theta^{\text{MLE}} = x_{(n)}, the sample maximum — here θ^MLE=4.9\hat\theta^{\text{MLE}} = 4.9. The two estimators disagree substantially (6.0 vs. 4.9) on the very same data, illustrating concretely that MoM need not equal, or even approximate well, the MLE in small samples, foreshadowing the comparison of estimator efficiency and bias properties across methods. Both estimators are consistent as n→∞n\to\infty, but they can differ noticeably at finite nn, and here MoM is clearly less efficient: it is a positively-weighted linear function of all the data whereas the sufficient statistic is just the maximum, so MoM discards information contained in the ordering of the sample.

CounterexampleWhy finite moments are indispensable

Drop hypothesis (1) — existence of the required population moments — and consider X1,…,XnX_1,\dots,X_n i.i.d. from a Cauchy distribution with location θ\theta and scale 11, density

f(x;θ)=1π(1+(x−θ)2),x∈R.f(x;\theta) = \frac{1}{\pi\big(1+(x-\theta)^2\big)}, \qquad x \in \mathbb{R}.

This distribution has no finite mean: the integral ∫−∞∞xf(x;θ) dx\int_{-\infty}^{\infty} x f(x;\theta)\,dx does not converge absolutely (it is only a principal-value limit, and the standard convention is that E[X]E[X] does not exist). Nonetheless one can still compute the sample mean Xˉn=1n∑Xi\bar X_n = \frac1n\sum X_i for any finite sample and be tempted to set Xˉn=θ\bar X_n = \theta as an "estimator." This naive method-of-moments-style estimator is not consistent: because the population mean does not exist, the Law of Large Numbers simply does not apply to Xˉn\bar X_n. In fact, a classical fact about the Cauchy distribution is that Xˉn\bar X_n has exactly the same Cauchy(θ,1)(\theta,1) distribution for every nn (this follows from the stability of the Cauchy family under averaging, itself provable via characteristic functions: the characteristic function of XiX_i is φ(t)=eiθt−∣t∣\varphi(t) = e^{i\theta t - |t|}, so that of Xˉn=1n∑Xi\bar X_n = \frac1n\sum X_i is φ(t/n)n=eiθt−∣t∣\varphi(t/n)^n = e^{i\theta t - |t|}, identical to φ(t)\varphi(t)). Consequently Xˉn\bar X_n never concentrates near θ\theta as nn grows — it has the same spread at every sample size. Hypothesis (1) of the theorem is not a technicality; without it, the entire proof mechanism (the Law of Large Numbers step) collapses, and indeed the conclusion fails outright. For the Cauchy location family, the method of moments is simply inapplicable, and one must resort to alternative estimators (e.g. the sample median, or maximum likelihood) that do not rely on moment existence.

Scope, edge cases & common traps

SituationWhat happens
kk parameters, moments μ1,…,μk\mu_1,\dots,\mu_k all finite and gg injectiveStandard MoM applies; consistent estimator obtained by solving kk equations
A required moment is infinite (e.g. Cauchy, Pareto with small shape)MoM breaks down; sample moment need not converge to anything meaningful
gg is not injective (different θ\theta give same moment vector)Equations may have no unique solution; parameter not identified from moments
Solved θ^n\hat\theta_n falls outside Θ\Theta (e.g. negative variance estimate)Estimator is invalid for the given sample; must report failure or truncate
Higher moments used unnecessarilyIncreases variance of resulting estimator; prefer lowest-order moments that identify θ\theta
Distribution has one parameter but only mean identifies itUse only μ1\mu_1; do not overspecify with unneeded higher equations

The mathematician behind it

Origins · 1 minPafnuty Chebyshev and how this was discovered
PC
Pafnuty Chebyshev
1821–1894 · Imperial Academy of Sciences, St. Petersburg

Chebyshev's foundational work on moments and inequalities (including Chebyshev's Inequality) supplied the probabilistic backbone — convergence of sample averages — on which the method of moments implicitly relies. The method itself was formalized and popularized as a general estimation technique by Karl Pearson at the turn of the twentieth century, as part of his broader program of fitting flexible families of distributions (the "Pearson system") to empirical data by matching low-order moments.

History
- 1893–1895: Karl Pearson develops the Pearson system of distributions and proposes moment-matching as a general fitting procedure.
- 1900: Pearson introduces the chi-squared goodness-of-fit test, closely tied to his moment-based fitting methodology.
- 1912–1922: Ronald Fisher develops maximum likelihood estimation and formally contrasts it with moment-based methods, emphasizing asymptotic efficiency.
- 1930s: Systematic comparisons of moment estimators and maximum likelihood estimators appear in the asymptotic theory literature, cementing MoM's role as a simple but generally less efficient competitor.
- Present day: Method of moments remains standard for generating starting values in iterative likelihood or Bayesian computation, and generalizes into the Generalized Method of Moments used widely in econometrics.
Does the method of moments always give a unique estimator?

Not automatically — uniqueness requires the map g(θ)=(μ1(θ),…,μk(θ))g(\theta) = (\mu_1(\theta),\dots,\mu_k(\theta)) to be injective on the parameter space Θ\Theta, as stated explicitly in the identifiability hypothesis of the theorem. If two different parameter values produce identical moment vectors, the system μ^j=μj(θ)\hat\mu_j = \mu_j(\theta) cannot distinguish between them, and no unique solution exists from moments alone. In most standard exponential-family and location-scale models this injectivity holds and can be checked directly by solving the equations symbolically, as done in the Gamma example above. When it fails, one typically needs either additional moments, a different identifying restriction, or a switch to likelihood-based methods.

Is the method of moments the same as least squares?

No, though both involve "matching" in some sense. Least squares minimizes a sum of squared residuals between observed data and a fitted functional form, often used in regression contexts with an explicit response and predictors. The method of moments instead equates aggregate summary statistics (moments) of the whole sample to their theoretical counterparts, without reference to individual residuals or a design matrix. They can coincide in special cases (e.g. mean estimation in a location model) but are conceptually and computationally distinct estimation philosophies, each with its own asymptotic theory.

How does method of moments compare to maximum likelihood in efficiency?

Generally, Maximum Likelihood Estimation estimators are asymptotically efficient, meaning they achieve the smallest possible asymptotic variance among consistent, asymptotically normal estimators, under regularity conditions (this is the content of the Cramér–Rao bound being attained asymptotically). Method of moments estimators are consistent but usually do not attain this bound, because they use a simple algebraic transformation of low-order moments rather than the full information contained in the likelihood function. The Uniform(0,θ)(0,\theta) example in this article shows this gap dramatically: the MLE uses the sufficient statistic (the sample maximum) while MoM uses only the sample mean, discarding information.

Can method of moments estimators be biased?

Yes, frequently. Consistency (convergence in probability to the true value as n→∞n\to\infty) says nothing about behavior at finite nn. For example, in the Uniform(0,θ)(0,\theta) case, θ^MoM=2Xˉn\hat\theta^{\text{MoM}} = 2\bar X_n is actually unbiased, E[θ^MoM]=2E[Xˉn]=2⋅θ/2=θE[\hat\theta^{\text{MoM}}] = 2 E[\bar X_n] = 2 \cdot \theta/2 = \theta, but many other MoM estimators (particularly nonlinear functions of sample moments, such as the Gamma shape estimator in the worked example) are biased in finite samples even though they are consistent. Studying this gap between consistency and finite-sample bias is a natural next topic after mastering the method of moments itself.

What if the number of moment conditions exceeds the number of parameters?

This situation — more moment equations than unknowns — is the starting point for the Generalized Method of Moments (GMM), widely used in econometrics. Rather than solving an exactly-identified system, GMM minimizes a weighted quadratic form in the discrepancies between sample and population moments, using a weighting matrix chosen (often optimally) to minimize asymptotic variance. The classical method of moments described in this article is the "just-identified" special case where the number of moment conditions exactly equals the number of parameters, giving an exact algebraic solution rather than a minimization problem.

Why not always just use maximum likelihood instead?

Maximum likelihood requires writing down and often numerically maximizing the likelihood function, which can be computationally expensive, numerically unstable, or simply intractable for complex models (e.g. some mixture or time series models with no closed-form density). The method of moments provides fast, closed-form (or nearly closed-form) estimates using only moment formulas, which are often much simpler to derive. In practice, statisticians frequently use method-of-moments estimates as a computationally cheap starting point that is then refined by numerically maximizing the likelihood, combining the speed of MoM with the efficiency of MLE.

Before this

Where this leads