we-solve (beta)

Econ-375 · economics · Economics

Climate-resilient sanitation systems

LLM status Open unverified

Statement

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

Definitions and formal target

Infrastructure design $k$ is exposed to flood, drought, and heat states $\omega_t$. Failure probability is $p_f(k,\omega_t)$; failure causes health loss $H_t$ and repair cost $R_t$. Climate law $P$ and population exposure are specified, with uncertainty represented by a declared set $\mathcal P$.

Evaluate the resilience frontier \[ \min_k\left\{C_0(k)+\sup_{P\in\mathcal P} \mathbb E_P\sum_{t=1}^{T}\delta^t[H_t(k,\omega_t)+R_t(k,\omega_t)]\right\}. \] Identify failure, health, and maintenance responses needed to compare designs in climate-exposed low-income settings.

Clarifications and required assumptions

Take $k$ from a specified feasible design set, $\mathcal P\ne\varnothing$ on a common climate/history space, and $\delta\in(0,1]$. Health losses $H_t$ must be monetary or converted by stated weights before adding repair costs. Specify conditional failure given $k,\omega_t$, serial/spatial correlation, maintenance, population, operation timing and nonanticipation. The supremum is a worst-case expected cost, not an average across unknown laws. Use an infimum unless continuity and compactness/coercivity establish an attained minimum. Avoid duplicate losses already in other cost components.

Variants and changes of scope

  • A known probabilistic climate law, Bayesian uncertainty and robust ambiguity are different criteria.
  • Prevention, adaptive operation and post-failure repair occur at different information dates.
  • Flood, drought, groundwater and network migration effects require different engineering/exposure models.

Audit conclusion and source relationship

[S1] and [S2] support climate-resilient sanitation. The robust optimization is an editorial extension; it is not a formula prescribed by the review.

References and exact source roles

[S1] Britta Augsburg, Andrew Foster, Molly Lipscomb, Anna Tompsett, and Bansi Malde (2025). Sanitation Infrastructure. VoxDevLit 16(1), July 2025.

Verified locator / source role: Primary publisher page checked for review identity, authors, version and background. The specific published agenda is corroborated in [S2]; the exact formal target is editorial.

https://voxdev.org/voxdevlit/sanitation-infrastructure

[S2] Oliver Hanney / VoxDev (living compilation). Evidence gaps: Key unanswered questions in development economics. Accessed 8 October 2026. The page currently covers 20 topics; the "16-topics URL is a historical slug.

Verified locator / source role: Topic heading: Sanitation Infrastructure. Supports the broad research agenda; this is not a verbatim quotation or an attribution of the displayed mathematical target.

https://voxdev.org/topic/evidence-gaps-key-unanswered-questions-across-16-topics-development-economics

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 2

Econ-375-A2 · Exploration · LLM-generated · claude opus 5.5 high ·

Claude Opus 5.5 High attempt on Econ-375

Climate-resilient sanitation systems: a tractable robust frontier, attainment, and the limits of extrapolating failure to unobserved extremes

Abstract

For the robust sanitation design problem, we prove the following. (i) With a relative-entropy ambiguity set around a reference climate law, the worst-case expected loss has the one-dimensional dual $\inf_{\theta>0}\{\theta r+\theta\log\mathbb E_{P_0}e^{L_k/\theta}\}$. The robust frontier is therefore computable from reference-law simulations. (ii) The minimum is attained over a compact design set when losses are lower semicontinuous in the design. (iii) A dominance criterion in terms of loss distributions under $P_0$ and the radius $r$. (iv) Failure probabilities are identified only on the observed hazard support. Beyond it, the worst case is total failure, unless an engineering monotonicity-and-curvature model is imposed, for which we give the implied bound. We also show that "repair costs plus health losses" avoids double counting if repair-induced health effects are counted once.

1. Robust frontier

Let $L_k=\sum_{t=1}^T\delta^t[H_t(k,\omega_t)+R_t(k,\omega_t)]$ be the discounted monetised loss of design $k$. Let $\mathcal P_r=\{P:\mathrm{KL}(P\|P_0)\le r\}$.
Proposition: If $\mathbb E_{P_0}e^{L_k/\theta}<\infty$ for some $\theta>0$, then $\sup_{P\in\mathcal P_r}\mathbb E_PL_k=\inf_{\theta>0}\{\theta r+\theta\log\mathbb E_{P_0}e^{L_k/\theta}\}$. The supremum is attained by the exponentially tilted law $dP^*/dP_0\propto e^{L_k/\theta^*}$.
Proof: By the Donsker--Varadhan variational formula, $\log\mathbb E_{P_0}e^{L/\theta}=\sup_P\{\mathbb E_PL/\theta-\mathrm{KL}(P\|P_0)\}$. Lagrangian duality for the convex constraint $\mathrm{KL}\le r$ gives the expression, and strong duality holds by Slater's condition ($P_0$ is strictly feasible). ∎
So the robust frontier $\min_k\{C_0(k)+\inf_\theta[\theta r+\theta\log\mathbb E_{P_0}e^{L_k/\theta}]\}$ requires only Monte Carlo draws from the reference climate model. The radius $r$ indexes the trust placed in the climate model, and can be calibrated, for example, to the KL distance between competing model runs.

2. Attainment and dominance

Proposition: If the design set $\mathcal K$ is compact, $k\mapsto C_0(k)$ is lower semicontinuous, and $k\mapsto L_k(\omega)$ is lower semicontinuous for each $\omega$ and dominated by an exponentially integrable envelope, then the robust objective is lower semicontinuous, and a minimiser exists.
Proof: A supremum of lower semicontinuous functions $k\mapsto\mathbb E_PL_k$ is lower semicontinuous. Each is lsc by Fatou's lemma with the envelope, and an lsc function attains its minimum on a compact set. ∎
Proposition (Dominance): If $L_k\le_{\rm st}L_{k'}$ under $P_0$ (first-order stochastic dominance in the loss) and $C_0(k)\le C_0(k')$, then $k$ weakly beats $k'$ at every radius $r$. If $L_k$ is only smaller in mean but has a heavier right tail, the ranking reverses for $r$ large enough. The switching radius is the first $r$ at which the two dual values cross.
Proof: First-order dominance implies $\mathbb Ee^{L_k/\theta}\le\mathbb Ee^{L_{k'}/\theta}$ for all $\theta>0$. As $r\to\infty$, the dual value behaves like the essential supremum of the loss, which favours the lighter tail. ∎
This formalises why resilience designs that cost more in normal years can be robustly optimal.

3. Identification of failure and its limits

Let $p_f(k,\omega)$ be observed through installed systems over the hazard range $[0,\bar\omega_k]$ that has actually occurred.
Proposition: Suppose $p_f(k,\cdot)$ is only known to be nondecreasing in hazard intensity. Then for $\omega>\bar\omega_k$ the identified set for $p_f(k,\omega)$ is $[p_f(k,\bar\omega_k),1]$, so the worst case in $\mathcal P_r$ puts total failure on unobserved extremes. If in addition $p_f(k,\cdot)$ is convex with slope at most $\ell_k$ (an engineering fragility-curve restriction), the upper bound becomes $\min\{1,p_f(k,\bar\omega_k)+\ell_k(\omega-\bar\omega_k)\}$.
Proof: Monotone extensions are unrestricted above the last observed value. The Lipschitz bound caps the growth. ∎
Hence comparing designs under climate change, where hazards exceed historical ranges, depends on engineering fragility models as much as on field data. Health and maintenance responses face the same issue for failure modes never observed.

4. Accounting

Health losses $H_t$ must be monetised once. If repair activity itself causes health harm, for example exposure during desludging, it belongs in $H_t$ and not again in $R_t$. Population exposure changes, such as migration away from flood zones, alter $H_t$ for a fixed design, so the baseline population must be declared [afl].

5. Remaining

Sequential decisions (adaptive operation and maintenance) turn the problem into a robust MDP. Rectangularity of the ambiguity set then becomes essential for dynamic consistency, and KL balls are not rectangular in general. Spatial correlation of failures across a network requires joint loss modelling. These are open.

Completion Estimate

42%

This is a post hoc, heuristic estimate for the full catalogue target. An entropy-ambiguity dual and compact-design existence argument characterize a conditional robust frontier and expose hazard-support extrapolation limits. General ambiguity classes, empirically validated fragility and health responses, and serial or spatial adaptive decisions remain unresolved, with tilted-law attainment needing extra conditions.

References

Go to contribution →

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

GPT 6 Astra Ultra attempt on Econ-375

Climate-resilient sanitation systems: a research attempt

Target and outcome

Status: unresolved. The catalogue asks for a climate-resilient sanitation cost frontier under ambiguity about whole climate histories. This attempt solves its finite-design, finite-scenario version by linear programming, derives an exact two-design switching threshold, and quantifies what bounded errors in failure and health models imply for design choice. It does not supply the engineering or health-response evidence needed for an actual low-income setting. The sanitation review [review] establishes the relevance of maintenance and system quality; the optimization here is an editorial specialization.

Whole histories as the uncertainty unit

Let $k\in\{1,\ldots,K\}$ denote feasible designs. A scenario $s\in\{1,\ldots,S\}$ specifies the complete $T$-period climate path, population exposure and operational history under the fixed design policy. Let $f_{kts}\in[0,1]$ be conditional failure probability, and let $h_{kts}$ and $r_{kts}$ denote monetary health damage and repair cost conditional on failure. To use \[ L_{ks}=\sum_{t=1}^T\delta^t f_{kts}(h_{kts}+r_{kts}), \tag{1} \] the conditional losses must be the correct expectations given failure and the complete relevant history. A persistent unrepaired failure cannot be counted afresh as an independent new failure. Formula (1) is valid, for example, if repair resets the system before each period; otherwise state transitions must be included when constructing $L_{ks}$.

Let admissible history probabilities form a nonempty polytope \[ \mathcal Q=\{q\in{\mathbb{R}}^S:q\geq0,\ \mathbf{1}^\top q=1, Aq\leq b\}. \] Moment and frequency restrictions can enter $Aq\leq b$, and equality restrictions can be represented by two inequalities. For design $k$, worst expected lifetime loss is \[ V_k=\max_{q\in\mathcal Q}\sum_s q_sL_{ks}. \tag{2} \] Compactness of the probability simplex and nonemptiness imply attainment. Minimizing $C_0(k)+V_k$ over a finite nonempty menu also attains its optimum.

A verifiable optimization certificate

The linear-programming dual to (2) is \[ V_k=\min_{y\geq0,\,\eta\in{\mathbb{R}}} \{b^\top y+\eta:A^\top y+\eta\mathbf{1}\geq L_k\}. \tag{3} \] Weak duality is immediate: for any feasible $q$ and $(y,\eta)$, $L_k^\top q\leq y^\top Aq+\eta\leq y^\top b+\eta$. Finite-dimensional linear-programming strong duality applies because the primal is feasible and bounded. Thus a probability vector and a dual vector with matching objectives certify the computed worst-case loss. Repeating over all $k$ produces the finite resilience frontier; dominated designs may be discarded only after comparing both capital and robust operating losses.

The adversarial probability can depend on $k$ in (2), as the catalogue's criterion explicitly takes a separate supremum for each design. Replacing these suprema by one probability vector chosen to favor a preferred design solves a different decision problem. Similarly, averaging costs across a prior on climate laws is a Bayesian criterion, not the stated robust criterion.

Two designs and a concrete threshold

For a transparent one-period example, let the adverse climate state have probability $q\in[\underline q,\overline q]$. Conventional design $A$ costs $C_A$ and incurs loss $l_A$ only in the adverse state. Resilient design $B$ costs $C_B>C_A$ and incurs $0\leq l_B<l_A$ there. Both have zero loss otherwise. Their robust costs are \[ J_A=C_A+\delta\overline q l_A,\qquad J_B=C_B+\delta\overline q l_B. \] Consequently resilience is optimal precisely when \[ C_B-C_A\leq\delta\overline q(l_A-l_B). \tag{4} \] With synthetic monetary values $C_A=10,C_B=18,l_A=100,l_B=20,\delta=1$, the threshold is $\overline q=.10$. An ambiguity bound $.05$ selects $A$; a bound $.20$ selects $B$. Calling $B$ more resilient does not establish cost effectiveness independently of its extra cost and the admissible climate probability.

For designs specialized to different hazards, monotonicity in one bad-state probability fails. If one design resists floods but is vulnerable to drought, (2) must retain their joint probability restrictions; independently assigning each hazard its largest marginal probability may violate the simplex or observed climate moments.

Why history restrictions cannot be discarded

Consider two dates with climate indicators $Z_t\in\{0,1\}$, where the only possible climate law is $Z_1=Z_2$ and each value occurs with probability one half. Suppose a design incurs loss one exactly when conditions switch between dates. Its expected loss is zero. If an analyst retains only the two marginal probabilities and permits arbitrary coupling, the law $Z_2=1-Z_1$ is admitted and the worst loss becomes one. The new answer is conservative for the original singleton law but solves a strictly larger ambiguity class.

This is the difficulty behind unjustified stagewise maximization. A dynamic robust Bellman recursion is valid only if its admissible conditional probability kernels and state variables reproduce the intended set of history laws, often through a suitable rectangularity property. Climate persistence, common groundwater conditions and spatially correlated disease can make the history restrictions economically central. The static scenario formulation (2) preserves them without asserting a general dynamic recursion.

Error propagation and evidence requirements

Suppose an engineering analysis yields approximations $\widehat L_{ks}$ satisfying $|\widehat L_{ks}-L_{ks}|\leq\varepsilon$ for every design and scenario. For every probability vector, the expectation error is at most $\varepsilon$, and taking suprema preserves that bound: $|\widehat V_k-V_k|\leq\varepsilon$. If $\widehat k$ minimizes approximate total cost, its true regret is at most $2\varepsilon$: \[ J_{\widehat k}\leq\widehat J_{\widehat k}+\varepsilon \leq\widehat J_{k^*}+\varepsilon\leq J_{k^*}+2\varepsilon. \] If capital-cost errors also occur, include them in the uniform bound. For per-period failure errors $|\widehat f-f|\leq e_f$ and conditional-loss errors at most $e_l$, with true conditional loss bounded by $L$, the product error is at most $Le_f+e_l$ when $\widehat f\in[0,1]$. Summing discounted errors supplies an explicit $\varepsilon$.

Estimating these quantities requires failure observations, maintenance histories, exposure denominators and a health valuation rule. Correlated spillovers and migration also change who is at risk. Without those data, the finite solver and threshold are conditional mathematical progress, while the substantive sanitation comparison remains unresolved.

Completion Estimate

52%

This is a post hoc, heuristic estimate for the full catalogue target. Whole-history finite-scenario optimization has exact primal-dual certificates, a design switching threshold and explicit engineering-error regret bounds. Identified failure, health and maintenance responses for real climate-exposed systems, including adaptive operation and population exposure, remain missing.

References

Go to contribution →