we-solve (beta)

Econ-160 · economics · Economics

Monetary policy and inequality

LLM status Open unverified

Statement

Original subject group: Inflation and monetary policy

Audit classification: Explicit published open question. Optimal HANK policy is expressly challenging; the finite-horizon, fixed-fiscal-rule problem is editorial. Verification concerns the cited version, not first priority or proof that this exact editorial specification remains unsolved on October 8, 2026.

Definitions and precise research target

Editorial mathematical specification.
Fix a finite-horizon heterogeneous-agent monetary economy with incomplete insurance, idiosyncratic earnings risk, nominal assets, sticky prices, and horizon $T$. Household types $i$ have utility $u_i(c,\ell)$, social weights $\omega_i\ge0$, and discount factor $\beta$. Initial distributions and a terminal resource and debt rule are given. Government transfers and taxes follow a fixed feasible rule, so that the monetary authority controls only an adapted policy-rate rule $a=(a_0,\ldots,a_T)$ subject to an effective lower bound and an information constraint. For every feasible adapted rule inducing an equilibrium, define \[ W(a)=E\sum_{t=0}^T\beta^t\sum_i\omega_i u_i(c_{it}(a),\ell_{it}(a)). \] Characterize a maximizing rule and the marginal welfare terms associated with nominal redistribution, unemployment risk, price dispersion, and constrained consumption. Determine whether an implementable rule based on inflation, employment, and measured distributional states approximates this rule within a declared welfare tolerance. Identify the exposure and preference parameters needed for those comparisons, and report sensitivity to social weights rather than treating them as estimated facts. The finite horizon and fixed fiscal rule avoid assuming the existence of an unrestricted infinite-horizon Ramsey steady state. The research target is a quantitatively disciplined equity–efficiency policy assessment, not a claim that reducing any inequality statistic always improves monetary policy.

A stochastic policy is a sequence of decision functions $a_t:\mathcal H_t\to[\underline i,\overline i]$, where $\mathcal H_t$ is the specified observation history; a deterministic rate path is only the open-loop special case. Define a feasible set by all household budgets, firm optimality, nominal pricing constraints, market clearing, the fixed fiscal rule, and terminal debt repayment. Define policy approximation by $W(a^*)-W(\widehat a)\le\epsilon_W$, using the same initial law and terminal condition. Inequality may be reported through the consumption distribution or a specified Gini index, but its reduction is not substituted for the declared household-utility objective. Welfare derivatives require differentiability; with occasionally binding constraints use finite policy contrasts instead.

Variants and assumption changes

The following are editorial variants, not additional published open conjectures.
  1. Fixed fiscal redistribution. Permit only the monetary rate rule to change and hold household transfers and terminal taxes fixed as functions of states. Quantify nominal redistribution and employment effects under these institutional limits.
  2. Joint monetary-fiscal control. Add a budget-feasible transfer instrument observed by the same authority. Compare the attainable welfare frontier and monetary rule with the fixed-fiscal benchmark; this is a different policy problem, not another solution to the restricted one.

References and source audit

  • Adrien Auclert; Matthew Rognlie; Ludwig Straub. Fiscal and Monetary Policy with Heterogeneous Agents. 2025. Locator: Section5, Optimal policy, printed pp.21--22; difficult quantitative welfare policy computation. Primary text checked. https://web.stanford.edu/~aauclert/annual_review_hank.pdf.
Optimal HANK policy is expressly challenging; the finite-horizon, fixed-fiscal-rule problem is editorial.
  1. Adrien Auclert; Matthew Rognlie; Ludwig Straub. 2025. Fiscal and Monetary Policy with Heterogeneous Agents. Section5, Optimal policy, printed pp.21--22; difficult quantitative welfare policy computation. https://web.stanford.edu/~aauclert/annual_review_hank.pdf. DOI: https://doi.org/10.1146/annurev-economics-091624-044646.

Common conventions: Source mathematical conventions

These conventions apply to each entry unless explicitly replaced.

Models and identification. A primitive model $m$ specifies all probability laws, feasible choices, information, equilibrium and measurement rules used by its target. The admissible class $\mathcal M$ is fixed independently of outcomes. If $P_O(m)$ is its observable probability law and $\tau(m)$ the target, its identified set at observable law $P$ is \[ \mathcal I_\tau(P)=\{\tau(m):m\in\mathcal M,\ P_O(m)=P\}. \] Point identification means that this set is a singleton. An empty set signals incompatibility of data and assumptions. Coordinate bounds need not describe the joint set. Bounds are sharp only if every retained target is attainable or arbitrarily approachable by compatible models. Finite bounds require explicit restrictions on unobserved quantities; unrestricted confounding, hidden wealth, extrapolation or arbitrary equilibrium selection can yield uninformative sets.

Causal interventions. A potential outcome $Y_i(p)$ is the outcome under a complete policy regime $p$, including timing, financing, information and market spillovers. The target population and units are fixed before treatment. With interference, use the complete assignment vector or a justified exposure mapping; individual no-interference notation alone cannot identify an economy-wide intervention. A difference of mean potential outcomes does not require the cross-world joint distribution. Conditioning on post-treatment migration, survival, enrollment or employment changes the estimand and needs separate justification.

Statistical statements. An estimator, confidence set, forecast or test specifies a sampling law, model class and loss/coverage criterion. Uniform $(1-\alpha)$-coverage means $\inf_{m\in\mathcal M}\Pr_m\{\tau(m)\in C_n\}\geq1-\alpha$, or an explicitly asymptotic version. The whole parameter space trivially has coverage, so informativeness requires a stated width, risk or power objective. A forecasting improvement is relative to a named benchmark, information set and evaluation population.

Equilibrium and optimization. An equilibrium comprises feasible plans, optimality, beliefs where needed, budget constraints and all market/resource clearing. The primitives or a stated benchmark define each correspondence $\mathcal E(p;m)$. Nonemptiness is assumed or proved, never inferred just from compact policy sets. A selected-equilibrium target uses a declared selection rule; a robust target quantifies over all permitted equilibria. Use suprema or infima unless attainment is established. An $\varepsilon$-optimal policy is feasible and within $\varepsilon$ of the finite optimum value. Report an empty feasible set separately.

Welfare and accounting. Normative utility, interpersonal normalization, social weights, numeraire, discounting and the use of public receipts are primitives. Behavioral utility need not coincide with the welfare criterion. Household welfare includes ownership income and rents once; adding profits again to compensating variation generally double-counts them. A monetary equivalent is defined by an explicit transfer and price convention, with monotonicity and range conditions. Average effects, mechanism contributions, transfers and welfare losses are different targets. Infinite sums require convergence and dynamic feasible plans require terminal or no-Ponzi conditions.

Source versions. A working-paper date, revision date and journal publication year are distinguished. A DOI for a journal version is not automatically the DOI of an earlier manuscript. Locators refer to the stated version and printed pages where specified. A metadata-only check does not verify a claim about a full-text conclusion. Every entry's source subsection narrows the provenance claim accordingly.

Statement licence: CC-BY-4.0 · Source file

Contributions 1

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

GPT 6 Astra Ultra attempt on Econ-160

Monetary policy and inequality Distributional exposures and a certificate for implementable rate rules

Problem ID: E52-157. Status: Unresolved; restricted results and explicit gaps.

A finite-horizon reduction with explicit prerequisites

The canonical target asks for household-utility welfare under monetary control, fixed fiscal policy, incomplete insurance, and a finite horizon. Auclert, Rognlie, and Straub [hank], Section 5, paragraph "Optimal policy" on printed p. 21, emphasize the difficulty of quantitative welfare optimization. Their discussion also distinguishes household welfare from an imposed inflation-output loss. We retain that distinction throughout.

This attempt establishes two requirements for a tractable solution. First, a measured distribution must preserve the association between marginal utility and nominal exposures; marginal inequality statistics alone can lose even the sign of a local welfare effect. Second, an equilibrium-based finite model admits an explicit error certificate for a rule using only compressed observations. The certificate is conditional on equilibrium and approximation errors having been bounded, and does not establish equilibrium existence for a general heterogeneous-agent monetary economy.

For the derivative result, take a finite household set, fixed social weights $\omega_i\geq0$, and a differentiable equilibrium branch indexed by a scalar policy perturbation $a$ near zero. At a given date, consumption satisfies \[ c_i(a)=y_i(a)+d_i(a)-\tau_i(a)+N_i/P(a),\qquad P(a)>0. \tag{1} \] Here $N_i$ is a predetermined nominal net payment, $d_i$ distributions from owned firms, and $\tau_i$ the payment generated by a fixed fiscal rule. The fiscal rule is fixed as a function; realized taxes can still change with its arguments. Terminal debt settlement and all other dates must be included in the full equilibrium welfare. For this one-date derivative, $u_i(c_i,\ell_i)$ is continuously differentiable and $c_i>0$.

Proposition (Exposure-weighted nominal redistribution): On the declared branch, the derivative of current welfare is \[ \sum_i\omega_i\left[ u_{ic}\left(y_i'+d_i'-\tau_i'-\frac{N_i}{P}\pi'\right) +u_{i\ell}\ell_i'\right],\qquad \pi'=P'/P, \tag{2} \] where every quantity is evaluated at zero. Even if $\sum_iN_i=0$, the nominal term need not vanish: it equals $-\pi'\sum_i\omega_i u_{ic}N_i/P$.
Proof: Differentiate (1): $(N_i/P)'=-N_iP'/P^2=-N_i\pi'/P$. Apply the ordinary chain rule to each household utility and add the finite sum. Aggregate cancellation of $N_i$ does not cancel its weighted sum unless those weights satisfy an additional restriction. ∎
The formula is an accounting derivative conditional on the equilibrium branch. Unemployment risk, constrained consumption and price dispersion affect $y_i',d_i',\ell_i'$ and, in stochastic models, the law of household states. They are not independent terms that can be added to (2) without specifying a nonoverlapping decomposition. In particular firm dividends already enter household resources once.

An exact obstruction to insufficient state summaries

Consider a local two-household allocation experiment with equal social weights and logarithmic utility. Baseline consumption is $(1,2)$, nominal net positions have zero sum, and two unobserved exposure configurations produce the feasible consumption allocations \[ (c_1,c_2)=(1+\sigma da,\,2-\sigma da), \qquad \sigma\in\{-1,1\},\quad d>0. \tag{3} \] The available policy library is $a\in\{-\varepsilon,\varepsilon\}$, $0<d\varepsilon<1/2$. Allocation (3) is resource-feasible, has constant total consumption, and represents a pure nominal revaluation financed between the two households. It is a restriction of a local allocation channel, not a complete sticky-price equilibrium model. Its initial inflation, employment, consumption distribution and net aggregate nominal position are identical under both configurations. A measurement omitting the joint distribution of nominal positions and consumption cannot separate them.
Proposition (Sharp two-action information loss): Write $\delta=d\varepsilon$ and \[ G=\log\frac{(1+\delta)(2-\delta)}{(1-\delta)(2+\delta)}>0. \] A fully informed rule chooses $a=\sigma\varepsilon$. Any rule using only the common observation has worst-configuration expected welfare regret at least $G/2$, allowing policy randomization. Equal randomization attains $G/2$. Every deterministic such rule has worst-configuration regret $G$.
Proof: For $z\in[-\delta,\delta]$, the derivative of $\log(1+z)+\log(2-z)$ is $(1-2z)/[(1+z)(2-z)]>0$. Thus the informed optimal sign is as stated, and its improvement over the opposite sign is exactly $G$. If an uninformed rule selects $+\varepsilon$ with probability $q$, its regrets under $\sigma=1$ and $\sigma=-1$ are $(1-q)G$ and $qG$. Their maximum is at least their average $G/2$, with equality at $q=1/2$. For $q=0$ or $1$ that maximum is $G$. ∎
A consumption Gini does not distinguish these configurations. The proposition does not prove that any particular empirically used state vector fails; it proves that an approximation claim needs a sufficiency or error argument for the vector actually measured.

A quantitative certificate for a compressed policy rule

Now suppose a separately specified equilibrium model has been reduced to finite state spaces $\mathcal X_t$, dates $t=0,\ldots,T$, and a common finite rate library $\mathcal A\subset[\underline i,\overline i]$. Every action in this library must be equilibrium-feasible at every state being compared. States include all predetermined distributional information and any promises needed under the chosen commitment convention. A declared nonanticipative equilibrium selector supplies rewards $r_t(x,a)$ and transition probabilities $P_t(\cdot\mid x,a)$. The reward is the sum of weighted household utilities, with fixed fiscal and terminal rules already imposed. Assume $|r_t|\leq R<\infty$, and a zero continuation value after $T$. The discount factor is $0<\beta\leq1$.

Let $z_t:\mathcal X_t\to\mathcal Z_t$ be the measured state, with one representative $x_t(z)$ for each nonempty cell. Define the representative model by its reward and the transition law of $z_{t+1}(X_{t+1})$ starting from $x_t(z)$. Assume, uniformly in time, state and action, \begin{align} |r_t(x,a)-r_t(x_t(z_t(x)),a)|&\leq\epsilon_r,\tag{4}\\ {\operatorname{TV}}\left((z_{t+1})_\#P_t(\cdot\mid x,a), (z_{t+1})_\#P_t(\cdot\mid x_t(z_t(x)),a)\right)&\leq\epsilon_P. \tag{5} \end{align} Here ${\operatorname{TV}}(p,q)=\frac12\sum_z|p(z)-q(z)|$; (5) is needed only before the last date. The conditions compare the endogenous state transition under each rate, not a common baseline distribution held fixed after policy.

Theorem (Finite-horizon welfare certificate): Solve the representative model by backward induction and implement an optimal representative action using only $z_t(x)$. Let $V_t^*(x)$ be the full-state optimal value and $V_t^{\rm obs}(x)$ this rule's value in the original finite equilibrium model. Define \[ M_t=(T-t+1)R,\quad E_{T+1}=0,\qquad E_t=\epsilon_r+2\beta M_{t+1}\epsilon_P+\beta E_{t+1}, \tag{6} \] with $M_{T+1}=0$. Then for every initial state, \[ 0\leq V_0^*(x)-V_0^{\rm obs}(x)\leq2E_0 \leq2(T+1)\epsilon_r+2R\epsilon_PT(T+1). \tag{7} \] The implemented rule is adapted to measured states and respects the rate bounds and stipulated equilibrium feasibility.
Proof: Backward induction over finite actions gives maxima and deterministic optimizers in both fully observed and representative models. Every value from date $t$ has absolute value at most $M_t$, since $\beta\leq1$. For probability vectors $p,q$ and $|f|\leq M$, $|\sum f(p-q)|\leq M\sum|p-q|=2M{\operatorname{TV}}(p,q)$.

Let $\widehat V_t(z)$ be the representative optimum. Suppose $|V_{t+1}^*(y)-\widehat V_{t+1}(z_{t+1}(y))|\leq E_{t+1}$ at every next state. For any fixed action the full and representative Bellman objectives differ by at most the right side of (6): (4) bounds the current reward; replacing the next full value by the representative value costs at most $\beta E_{t+1}$; changing the induced measured-state law costs at most $2\beta M_{t+1}\epsilon_P$ by (5). The maxima of two lists differing coordinatewise by at most $E_t$ also differ by at most $E_t$: each entry in the first is at most the corresponding entry plus $E_t$, and conversely. This proves $|V_t^*(x)-\widehat V_t(z_t(x))|\leq E_t$ inductively.

The same induction, without taking a maximum and using the representative optimal action in both lists, proves $|V_t^{\rm obs}(x)-\widehat V_t(z_t(x))|\leq E_t$. The triangle inequality yields the upper bound in (7), while full-state optimality yields its lower bound. Finally discard factors $\beta\leq1$ in (6) and sum: $E_0\leq(T+1)\epsilon_r+2R\epsilon_P\sum_{j=1}^Tj$. This is (7). The action depends on current measured information and date only; feasibility holds by the common-action assumption. ∎

The proof is a finite-horizon dynamic-programming approximation argument, included in full rather than asserted as a new general theorem. Its useful content here is a checkable tolerance for a distributional monetary rule. If an independent discretization analysis bounds the difference between the continuous-economy welfare and the finite model by $\epsilon_D$ for both the benchmark optimum and the implemented rule, the triangle inequality adds $2\epsilon_D$ to (7). Without such a two-sided bound, the certificate applies only to the finite model. State-dependent feasible action sets require preserving feasibility in the compression; our theorem does not allow silently projecting an infeasible rate.

Remaining economic work

One needs exposure-preference associations, unemployment transitions, nominal pricing responses, and household policy functions to evaluate (2), (4), and (5). Social weights are specified normative parameters; altering them changes rewards and all error bounds. Neither the observed inequality statistic nor the dynamic program estimates these weights. Forward-looking equilibrium with commitment may require additional promise states, so an arbitrary equilibrium solver cannot automatically be treated as a Markov control kernel. Establishing that reduction, quantifying its approximation error and calibrating the full policy tradeoff remain open here. No finite checks or data estimates are claimed.

References

Completion Estimate

25%

Go to contribution →