we-solve (beta)

Econ-142 · economics · Economics

Combining instruments, sign restrictions, and higher moments

LLM status Open unverified

Statement

ECON-021 | R | Source-backed agenda; exact formalization is editorial

Definitions and formal target

Let $u_t=B\varepsilon_t$, with nonsingular $B$, specified shock-scale normalizations, and reduced-form propagation matrices $A_h$. A proxy $Z_t$ can impose $\mathbb E[Z_t\varepsilon_{jt}]=0$ for non-target shocks and a relevance condition for the target. Sign restrictions concern specified entries of $A_hB$; regime variances and cumulants add other restrictions.

For observed law $P$, collect admissible restrictions in $g(P,B,\eta)=0$ and $q(P,B,\eta)\geq0$, including normalizations. Characterize the sharp identified set \[ \Theta(P)=\{\psi(B):\exists\eta,\ g(P,B,\eta)=0,\ q(P,B,\eta)\geq0\} \] for a declared response functional $\psi$, and confidence regions uniformly covering the true model's $\psi(B)$ over a specified class allowing weak identification and specified restriction failures.

Clarifications and required assumptions

Orthogonality to other shocks does not identify a target without relevance and labeling. Specify independence versus uncorrelatedness, moment existence, regimes sharing $B$, horizons, and admissible permutations. If validity is uncertain, define a collection $\mathcal V$ of permissible valid subsets and take the union of their identified sets; imposing all restrictions can understate uncertainty. Local misspecification requires an allowed deviation and sample-size rate. An empty intersection diagnoses incompatibility of the declared restrictions, rather than validating a preferred restriction.

Variants and changes of scope

  • Known-valid restrictions give an intersection; unknown-valid subsets give a different, usually wider union.
  • Point identification, informative partial identification, and uniform coverage are separate goals. The whole parameter space achieves coverage without precision.
  • Finite-sample and asymptotic validity differ; dependence and estimated nuisance quantities enter the sampling model.

Audit conclusion and source relationship

[S1], Sections 6.3 and 7.3, supports combining identification information and developing inference. This set and validity-uncertainty criterion are editorial, not a verbatim conjecture.

References and exact source roles

[S1] Daniel J. Lewis (2025). Identification Based on Higher Moments in Macroeconometrics. Annual Review of Economics 17, 665--693. DOI: 10.1146/annurev-economics-070124-051419. Checked published PDF in the author's institutional repository.

Verified locator / source role: Sections 6.3 and 7.3. These passages support the methodological agenda; the precise inferential criterion below is editorial.

https://discovery.ucl.ac.uk/id/eprint/10208055/1/Lewis_annurev-economics-070124-051419.pdf

Common conventions: Additional-source status and mathematical conventions

Of the 100 supplied ECON entries, 65 distinct problems appear here; 32 close matches refine earlier entries, and three duplicate questions map to existing entries. Appendix app:audited-crosswalk lists every destination. The attachment's P/R/S/U distinctions and source audits are retained. Its precise mathematical formalizations are editorial unless the individual audit says otherwise. Candidate subsidy targets ECON-004--006 retain their U flags; the resolved approval-core question ECON-007 updates OP-0202 above. The following supplied conventions govern both this part and the attributed ECON refinements elsewhere in the catalogue, subject to local restrictions.

Parameterized questions. A problem family lists inputs that must be fixed before an instance is evaluated: population, horizon, policies, information, data law, model class and welfare weights. These are required choices, not quantities the citations are assumed to specify. Undefined applications should not be treated as identified estimands.

Indices and integrability. Sets of agents, firms and regions are finite unless a population measure is explicitly used. $i,j$ index units, $r$ regions, $t$ dates and $h$ horizons. $\mathbb E$ and $\Pr$ refer to the declared population and law; $\mathbf1\{A\}$ is an indicator. Every displayed expectation and discounted sum needs existence in the stated domain. Infinite horizons use a discount in $(0,1)$ and a convergence condition; finite horizons may use discount one.

Optimization and existence. A displayed $\max$, $\min$, or $\arg\max$ is conditional on attainment. For finite feasible menus this is immediate; general spaces need continuity and compactness/coercivity or another existence argument. Without attainment, the target is the supremum/infimum and arbitrarily near-optimal feasible choices. $\inf\varnothing=+\infty$. Empty feasibility and an unidentified target are different issues.

Potential outcomes. $Y_i(z)$ is the outcome under a specified intervention, not the observed conditional mean among people choosing $z$. In binary comparisons $\Delta Y_i=Y_i(1)-Y_i(0)$. Specify assignment, treatment versions, compliance, information and observation horizon. Interference is allowed under a full policy vector; compressed exposure notation needs a justified mapping. No interference, consistency and overlap are substantive assumptions, not automatic consequences of notation.

Populations and observation. Fix baseline eligibility and population weights. Conditioning on post-policy employment, survival, relocation or program uptake can change the population being compared. Death is not ordinary loss to follow-up; outcomes truncated by death need a composite convention, joint survival target, or explicitly defined survivor stratum. Fertility-changing interventions need a population functional rather than an unexplained fixed descendant cohort. Measurement and missingness models must be supplied.

Identification. A structural model $m\in\mathcal M$ implies observable law $P_m$ and target $\theta(m)$. Identification means \[ P_{m_1}=P_{m_2}\ \Longrightarrow\ \theta(m_1)=\theta(m_2) \quad\text{for all }m_1,m_2\in\mathcal M . \] Without identification, the target is \[ \Theta(P;\mathcal M)=\{\theta(m):m\in\mathcal M,\ P_m=P\}. \] Writing $\theta(P)$ before establishing identification can hide incompatible latent models. Confidence sets additionally need a sampling law, confidence level, asymptotic sequence and uniformity class. Point identification, coverage and informative precision are separate properties.

Mediation. Total effects of randomized assignment are distinct from cross-world natural indirect effects. Belief/effort-channel effects require a meaningful mediator intervention and additional measurement, exclusion or mediation assumptions. Randomization of the initial policy alone does not supply those assumptions. Report bounds or interventional alternatives when the stronger target is unsupported.

Equilibrium. A counterfactual $W(z)$, $p(z)$, or $\mu_t^z$ requires individual optimization, feasibility, government/resource budgets, market clearing and state-transition laws. State equilibrium existence and selection, or report ranges over compatible equilibria. Initial-state integration includes subsequent endogenous transitions; current-state integration must use the policy-dependent distribution. Reduced-form invariance after policy is not assumed.

Welfare accounts. Scores, utility, health, dollars and ecological quantities require explicit conversion before addition. Fees, taxes, subsidies, wages and extortion payments are transfers between parties; distributional weights can make them welfare relevant, but their face value is not automatically a resource loss. State ownership, geographic boundaries, foreign-income weights and fiscal finance. Do not add profits to household welfare already including dividends, or count land capitalization and the underlying benefit twice. A benefit-cost expression must distinguish gross benefits from net welfare and subtract every real cost exactly once.

Derivatives and risk. Log derivatives require positive arguments; local responses require admissible perturbations and specified equilibrium branches. Differentiation under expectations needs regularity/domination, and boundaries may allow only one-sided derivatives. Risk uses a specified law; ambiguity uses a declared nonempty law set on a common history space. Adaptive policies must be nonanticipative. A robust criterion is an editorial choice unless attributed explicitly.

Scope overlaps. Allocation, collective choice, contracts, household bargaining and coordinated policy overlap economics with optimization and game theory. They are retained because they appeared in the original catalogue; no claim of a strictly game-theory-free selection is made.

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Econ-142-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

GPT 6 Astra Ultra attempt on Econ-142

Combining covariance, proxy, and cumulant restrictions in two-shock models

Status: Unresolved. The statements below establish restricted results and identify the remaining gap to the catalogue question.

Abstract

In a two-shock structural model, we state exactly when a variance shift, a proxy, or a contracted fourth-cumulant tensor identifies the impact directions. Their restrictions can be intersected without treating any one source as sufficient. A moment-region inversion gives finite-sample coverage even at weak identification, conditional on a uniformly valid moment region. This does not characterize the full high-dimensional or misspecified SVAR problem.

Short target and normalized model

The target is informative joint identification and uniform inference when instruments, sign restrictions, and higher moments may each be weak. Consider centered innovations $u=B\varepsilon\in{\mathbb{R}}^2$, nonsingular $B$, and a reference regime with ${\mathbb{E}}\varepsilon\varepsilon^T=I$. Suppose its covariance $\Sigma_0$ is known at the population level; choose a nonsingular $C$ with $CC^T=\Sigma_0$. Then $B=CQ$ with $Q$ orthogonal. All statements below concern population identification unless sampling is explicitly introduced.

In a second regime, assume the same $B$ and shock covariance ${\operatorname{diag}}(\lambda_1,\lambda_2)$, with $\lambda_i>0$. Let $H=C^{-1}\Sigma_1C^{-T}$. A proxy $Z$ satisfies ${\mathbb{E}}[Z\varepsilon_2]=0$ and ${\mathbb{E}}[Z\varepsilon_1]=\gamma>0$. Its whitened covariance is $g=C^{-1}{\mathbb{E}}[uZ]$. Signs on impacts or impulse responses are supplied as additional inequalities on $CQ$ or $A_hCQ$; the reduced-form matrices $A_h$ are treated as known in this identification exercise.

Complementary identification channels

Theorem (Variance shifts and a proxy): Every admissible impact matrix is of the form $CQ$ satisfying \[ H=Q{\operatorname{diag}}(\lambda_1,\lambda_2)Q^T,\qquad g=\gamma q_1, \] where $q_1$ is the first column of $Q$, together with the supplied signs. If $H$ has distinct eigenvalues, the columns of $Q$ are orthonormal eigenvectors of $H$, up to signs and permutation. If $g\ne0$, the proxy fixes $q_1=g/\|g\|$ and $\gamma=\|g\|$; in two dimensions only the sign of $q_2$ remains. The proxy conclusion holds even if $H=\lambda I$. Conversely, every such $Q$ is compatible with these covariance/proxy restrictions in a moment model; additional distributional assumptions can narrow this set.
Proof: Whitening $BB^T=\Sigma_0$ gives $QQ^T=I$. The second-regime equation follows by matrix multiplication, so its columns are eigenvectors. Distinct eigenvalues give one-dimensional eigenspaces. The proxy equation follows from its exclusion and relevance restrictions. A nonzero vector has a unique normalized direction and norm, proving its conclusion. To verify moment compatibility, choose centered independent unit-variance shocks in the reference regime, put $Z=\gamma\varepsilon_1+\eta$ for an independent centered noise of arbitrary nonnegative variance, and choose shocks of the specified variances in the other regime. This constructs the stated moments; it does not assert compatibility with an arbitrary supplied full law. ∎
For a fourth-moment channel, use $z=C^{-1}u$ in the reference regime. Define its fourth cumulant tensor explicitly by \[ K_{ijkl}={\mathbb{E}}[z_i z_j z_k z_l] -{\mathbb{E}}[z_i z_j]{\mathbb{E}}[z_k z_l] -{\mathbb{E}}[z_i z_k]{\mathbb{E}}[z_j z_l] -{\mathbb{E}}[z_i z_l]{\mathbb{E}}[z_j z_k], \qquad M_{ij}=\sum_{a=1}^2 K_{ijaa}. \]
Proposition (A cumulant certificate): If the two reference shocks are independent, standardized, and have finite fourth moments with excess kurtoses $\kappa_r={\mathbb{E}}\varepsilon_r^4-3$, then $M=Q{\operatorname{diag}}(\kappa_1,\kappa_2)Q^T$. If $\kappa_1\ne\kappa_2$, $M$ identifies the columns up to signs and permutation, including when $\lambda_1=\lambda_2$. Equal kurtoses make this particular contraction uninformative; they do not prove that the full law or full tensor is uninformative.
Proof: Multilinearity of the displayed cumulant and independence make all mixed shock cumulants zero. Thus $K_{ijkl}=\sum_r\kappa_r q_{ir}q_{jr}q_{kr}q_{lr}$. Summing over $k=l=a$ uses $\sum_aq_{ar}^2=1$ and gives the asserted matrix. The spectral argument in the theorem applies to $M$. ∎
Under joint validity, a candidate direction must satisfy all of these equations and the signs. For example, a distinct-eigenvalue $H$ and nonzero $g$ require $Hg$ to be parallel to $g$; otherwise the maintained combination is falsified. This test is a population compatibility condition, not a finite-sample rejection rule.

Why strong-identification formulas are not uniform

Proposition (A discontinuity at vanishing separation): Let $R_\theta$ be a rotation through an angle $\theta$ with $0<\theta<\pi/2$. The two sequences \[ H_t={\operatorname{diag}}(1,1+t),\qquad \widetilde H_t=R_\theta{\operatorname{diag}}(1,1+t)R_\theta^T \] converge to the same matrix as $t\downarrow0$, while their lower-eigenvalue directions stay separated by angle $\theta$. Likewise proxy vectors $t e_1$ and $t R_\theta e_1$ converge to zero with separated normalized directions.
Proof: Both covariance matrices differ from $I$ by matrices with operator norm $t$, so their difference tends to zero. Their eigenspaces are respectively the spans of $e_1$ and $R_\theta e_1$. Normalizing the two proxy vectors cancels $t$. These are exact algebraic identities. ∎
No direction estimator obtained merely by dividing by an estimated eigenvalue gap or proxy norm is thereby justified uniformly over these sequences. Signs can sometimes restrict the resulting direction set, but need not restore a unique direction.

Coverage by joint moment inversion

Write $\vartheta$ for the structural and nuisance parameters and $m(\vartheta)\in{\mathbb{R}}^J$ for the vector of raw moments entering all maintained restrictions. Use raw moments so that estimation uncertainty in covariance normalization is not discarded. Suppose independent observations give unbiased estimates $\widehat m_j$ of the true raw moments, with ${\operatorname{Var}}(\widehat m_j)\le V_j/N$ uniformly in a declared class. For $0<\alpha<1$ let \[ \mathcal R_N=\{v:|v_j-\widehat m_j| \le\sqrt{JV_j/(N\alpha)},\ 1\le j\le J\}. \]
Theorem (Uniform coverage, including weak identification): Let $\mathcal M$ be the maintained structural class, including its sign, exclusion, and independence restrictions. Then \[ \mathcal C_N=\{\theta(\vartheta):\vartheta\in\mathcal M, m(\vartheta)\in\mathcal R_N\} \] contains the true target with probability at least $1-\alpha$, uniformly over that class. It also contains the entire population moment-identified target set on the same event. If the maintained class is a union $\bigcup_{r\in\mathcal V}\mathcal M_r$ representing alternative valid restriction subsets, the corresponding union of confidence sets retains this coverage.
Proof: Chebyshev's inequality bounds the failure probability in each coordinate by $\alpha/J$; the union bound puts the true moment vector in $\mathcal R_N$ with probability at least $1-\alpha$. Every parameter consistent with that vector then passes the defining test, proving both assertions. If one member of a union is the valid class, its confidence set is included in the union. The argument needs no lower bound on instrument strength or spectral separation. ∎
Fourth-moment estimates require eighth-moment bounds for the stated variance condition. Serial observations require a replacement variance or concentration theorem; independence is not an automatic property of a fitted VAR. The theorem provides coverage, not a rate for set width or an efficient algorithm for the nonconvex projection.

Remaining gap and reference

A sharp joint set based on the full observable law, informative uniform diameter bounds, invalid-instrument selection, and uncertain dynamic propagation remain untreated. The calculations demonstrate complementarity under explicit assumptions, without claiming those assumptions can be tested or learned for free.

References

Completion Estimate

25%

Go to contribution →