Safe commuting and women’s access to jobs
LLM status Partially solved unverified
J22 — Time Allocation and Labor Supply Economics catalogue openaigpt 6 astra ultra 45% cataloguednot recordedPartially solvedStatement
ECON-051 | R | Source-backed agenda; exact formalization is editorial
Definitions and formal target
For woman $i$ and job $j$, commuting has time cost $t_{ij}$, money cost $p_{ij}$, and safety risk $r_{ij}$. A transport policy $z$ changes these attributes. Let $E_i(z)$ indicate employment and $U_i(z)$ denote welfare including earnings, time, and exposure to harm.
Identify \[ \tau_E=\mathbb E[E_i(1)-E_i(0)],\qquad \tau_U=\mathbb E[U_i(1)-U_i(0)], \] and the contribution of changed safety risk relative to travel time and fare changes. Job availability and equilibrium wages may respond to expanded labor supply.
Clarifications and required assumptions
Specify commute origin, job menu, travel period, monetary fare and the probability/severity of harm. Time and harm enter welfare through stated utility or monetary valuations. A safety contribution requires a feasible intervention varying risk while holding other attributes fixed, or a declared decomposition of the bundle; regressing on realized commute time/risk is not enough. Eligibility and baseline job access must be fixed before policy. Include displacement, wage, transport and job-location responses when claiming equilibrium effects.
Variants and changes of scope
- Safer transport, changed routes, street safety and employer-provided travel are distinct bundles.
- Total employment effects differ from a controlled safety-channel effect.
- Individual access improvements can shift congestion, household decisions and job queues.
Audit conclusion and source relationship
[S1] and [S2] support safety in public space and women's employment. The specific commute-attribute decomposition is an editorial extension of that broader agenda.
References and exact source roles
[S1] Rachel Heath, Arielle Bernhardt, Girija Borker, Anne Fitzpatrick, Anthony Keats, Madeline McKelway, Andreas Menzel, Teresa Molina, and Garima Sharma (2025). Female Labour Force Participation. VoxDevLit 11(2), October 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/female-labour-force-participation
[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: Female Labour Force Participation. Supports the broad research agenda; this is not a verbatim quotation or an attribution of the displayed mathematical target.
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
GPT 6 Astra Ultra attempt on Econ-548
Safe commuting: fixed-menu gains and equilibrium incidence
Status: Partial; the full catalogue target remains unresolved.Abstract
With fixed jobs, wages, and preferences, a pure reduction in commuting risk weakly expands employment and raises individual option value. A labor-market equilibrium shows how wages absorb part or all of that benefit, so employment need not rise. A feasible factorial decomposition separates safety from travel cost only when its component interventions are well defined. An exposure example distinguishes lower risk per trip from fewer expected harms.A declared money-metric choice model
Fix a baseline population of women, their home locations, travel period, and finite job menus $J_i$. Job $j$ has wage $w_j$, fare $p_{ij}$, time $t_{ij}$, and harm probability $r_{ij}$. Let $v_i\ge0$ value an hour and let $h_i\ge0$ be the expected monetary-equivalent harm conditional on an incident. Assume the expected disutility is $h_ir_{ij}$; nonlinear risk preferences would require a different utility function.Normalize the nonemployment option to zero and write \[ U_i(z)=\max\left\{0,\max_{j\in J_i} [w_j-p_{ij}(z)-v_it_{ij}(z)-h_ir_{ij}(z)]\right\}. \tag{1} \] The same money metric is used across policies for the same individual. A distributional welfare sum additionally needs interpersonal weights. Employment occurs when a job strictly beats zero, with a fixed tie rule assigning nonemployment at equality.
A pure safety intervention on a fixed menu
Suppose policy one weakly reduces every feasible job's risk and leaves all other attributes unchanged. Let $\Delta_i=\max_{j\in J_i}h_i[r_{ij}(0)-r_{ij}(1)]$, with zero when the menu is empty.For example, a job paying ten with fare one, valued travel time two, and risk loss three has net value four. Halving the risk loss raises value to $5.5$ without changing employment. A second woman with the same attributes but wage five moves from net value minus one to $0.5$ and enters employment. Both comparisons use fixed illustrative units.
Wage adjustment changes the incidence
For an equilibrium benchmark, consider a unit mass of workers with outside opportunity cost $\theta$ uniform on $[0,1]$. Every job has the same generalized commuting cost $c$, including valued safety risk, time, and fare under a stated accounting convention. Labor supply is $N=w-c$ in the interior $0<w-c<1$. Employers demand $N=a-bw$ with $b>0$. Market clearing gives \[ w(c)=\frac{a+c}{1+b},\qquad N(c)=\frac{a-bc}{1+b}. \tag{3} \] These formulas assume parameters keep supply and demand interior.A pure safety improvement lowering generalized cost by $\varepsilon>0$ reduces wages by $\varepsilon/(1+b)$ and raises employment by $b\varepsilon/(1+b)$. The net wage available to compensate outside opportunities, $w-c$, rises by the latter amount. Thus the fixed-wage welfare gain overstates the increase in workers' net job surplus.
The equations follow by solving $w-c=a-bw$. Differentiating them establishes the comparative statics. They are a partial-equilibrium labor-market model, not a theorem for all commuting programs. Different labor demand, employer location choices, or bargaining can give other incidence patterns.
For a limiting fixed-job-capacity benchmark, let demand be exactly $N=a\in(0,1)$ regardless of wage. Clearing requires $w=c+a$. Lower commuting cost then lowers wages one for one, while employment and workers' net surplus remain unchanged. Employers gain the wage reduction. If the lower cost is a genuine reduction in expected harm rather than a transfer, aggregate welfare can still rise: the incidence has shifted to employers through equilibrium wages.
For $a=0.4$ and a risk-cost reduction $0.1$, this limiting model keeps employment at $0.4$, lowers wages by $0.1$, and increases employer surplus by $0.04$. Tracking only employment or workers' net wages misses that total gain under equal welfare weights.
A safety contribution needs component interventions
Let $s\in\{0,1\}$ index a feasible safety-only component and $c\in\{0,1\}$ a feasible time/fare component. Define population outcome $W(s,c)$ under the same equilibrium-selection convention. The combined effect decomposes along one path as \[ W(1,1)-W(0,0) =[W(1,0)-W(0,0)]+[W(1,1)-W(1,0)]. \] Reversing the order changes the assigned safety contribution by \[ I=W(1,1)-W(1,0)-W(0,1)+W(0,0). \tag{4} \] Both identities follow by addition and subtraction. If the safety component interacts with fares or time, there is no unique path-free attribution without an additional convention.A randomized two-by-two market design can identify all four cell means if the interventions are feasible, assignment is positive in every cell, and cross-market spillovers are negligible. If adding security personnel necessarily changes travel time or capacity, the hypothetical safety-only cell may not exist. A regression controlling for realized commuting time does not create it; time is then itself a post-policy choice or mediator.
Average effect estimates should use the same baseline eligible population, including nonworkers and people who move. Conditioning on observed commuters selects a policy-dependent subgroup. The same concern applies to an analysis restricted to women who retain their original jobs.
Risk per trip and total exposure
Suppose a woman initially makes one relevant trip with incident probability $0.2$. After a safer and more attractive service is introduced she makes three trips, each with probability $0.1$. Expected incident counts rise from $0.2$ to $0.3$ by linearity, even though every trip is safer. Independence is unnecessary for expected counts; it would matter for the probability of at least one incident.This is not evidence that the safer policy lowers welfare. Additional trips may provide employment or other benefits exceeding their residual risks. It shows why a safety outcome must specify probability per trip, cumulative incident probability, expected severity, and exposure. A lower per-trip rate cannot be substituted for a lower total harm burden without measuring travel behavior.
Remaining research question
The fixed-menu monotonicity theorem and the wage-incidence model solve separate restricted problems. They do not identify actual risk valuations, labor demand, household constraints, displacement, or the causal safety component of a bundled transport policy. The welfare accounting also needs fares treated as transfers or resource payments consistently with the operator boundary.The broad catalogue agenda remains unresolved. A credible application must follow baseline women, compare implemented bundles, measure both safety and exposure, and distinguish individual access effects from equilibrium job and wage responses. No clinical, legal, or transport recommendation is inferred from these illustrative models.
Completion Estimate
45%This is a post hoc, heuristic estimate for the full catalogue target. The attempt proves fixed-menu safety monotonicity, derives wage-incidence and capacity examples, and specifies feasible safety-cost decompositions and cumulative exposure accounting. Full commuting policy effects still require measured harm valuations, baseline-woman follow-up, credible component interventions, and endogenous job, wage, household, and transport responses.
References
- [flfp] R. Heath and coauthors (2025). Female Labour Force Participation, VoxDevLit 11(2). https://voxdev.org/voxdevlit/female-labour-force-participation. The primary review motivates safety and employment research; the particular commuting and labor-demand formulas are explicit assumptions.