arxiv: 2605.12698 · v2 · submitted 2026-05-12 · 💱 q-fin.MF · math.OC· math.PR

Recognition: 2 theorem links

· Lean Theorem

Optimal investment and Pension policy in Pay-As-You-Go systems under forward utility and ageing population

Jennifer Alonso-Garcia , Caroline Hillairet , Sarah Kaakai , Mohamed Mrad

Authors on Pith no claims yet

Pith reviewed 2026-05-15 05:52 UTC · model grok-4.3

classification 💱 q-fin.MF math.OCmath.PR

keywords Pay-As-You-Gopension policyoptimal investmentforward utilityCRRAbuffer fundsustainabilityageing population

0 comments

The pith

Optimal investment and pension policies in Pay-As-You-Go systems with buffer funds are derived in closed form using forward CRRA utilities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper models a Pay-As-You-Go pension system augmented with a buffer fund to share risks across generations under demographic pressures. It represents the social planner's goals with non-zero volatility forward Constant Relative Risk Aversion utilities that incorporate explicit constraints for long-term sustainability and benefit adequacy. Closed-form expressions for the optimal investment allocations and contribution policies are obtained directly from the model parameters. Numerical experiments then evaluate how these policies respond to shifts in demographics, financial markets, and macroeconomic conditions, highlighting effects on the scheme's viability.

Core claim

The central claim is that optimal investment and pension benefit policies in a hybrid Pay-As-You-Go system with a buffer fund can be characterized explicitly in closed form via non-zero volatility forward CRRA utilities that jointly enforce sustainability and adequacy constraints, enabling direct analysis of how preference parameters shape intergenerational risk sharing.

What carries the argument

Non-zero volatility forward Constant Relative Risk Aversion utilities incorporating sustainability and adequacy constraints.

If this is right

Optimal asset allocations and contribution rates can be computed directly from model parameters without requiring numerical optimization routines.
Adjustments in risk aversion and other preference parameters produce explicit shifts in pension benefits and buffer fund usage.
The buffer fund mechanism supports higher adequacy levels while preserving sustainability compared with pure Pay-As-You-Go arrangements.
Numerical evaluations confirm that the hybrid system maintains viability across wide ranges of ageing rates and investment return volatility.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Policymakers could plug observed market and demographic data into the closed-form expressions to set dynamic contribution schedules.
The results suggest comparing the model's predicted buffer fund drawdowns against historical data from existing PAYG systems with reserves.
Further calibration of the volatility parameter in the forward utilities might improve fit to observed planner behavior under uncertainty.

Load-bearing premise

The social planner's preferences are accurately captured by non-zero volatility forward CRRA utilities that enforce sustainability and adequacy constraints.

What would settle it

Empirical observation that actual pension contribution rates and benefit levels in countries using buffer funds deviate systematically from the closed-form predictions under comparable demographic and market conditions.

Figures

Figures reproduced from arXiv: 2605.12698 by Caroline Hillairet, Jennifer Alonso-Garcia, Mohamed Mrad, Sarah Kaakai.

**Figure 2.** Figure 2: Comparison Between Steady State (black) and Baby Boom ( [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗

**Figure 3.** Figure 3: Comparison Between δ = t (0, 0, 0, 0) (black) and δ = t (0, −0.2, −0.2, −0.2) (red) – Monte Carlo Sensitivity to Non-Hedgeable Risk Preferences δ We now investigate how the buffer fund sensitivity δ to financial and economic processes shapes the distribution of the buffer depletion time and the pension surplus. First, [PITH_FULL_IMAGE:figures/full_fig_p022_3.png] view at source ↗

**Figure 4.** Figure 4: Empirical distribution of unconditional p j (gray) and conditional p j |F ∗ > 0 (green) and p j |F ∗ = 0 (red) for j = min (top) and j = ∗ (bottom) at time t = 20 - comparison δ = t (0, 0, 0, 0) (Scenario 1, left) and δ = t (0, −0.2, −0.2, −0.2) (Scenario 2, right) Hence, when δ = t (0, 0, 0, 0) Z u is a finite variation (zero volatility) decreasing process with stochastic drift, while non-zero δ increases… view at source ↗

**Figure 5.** Figure 5: Values (top) and empirical distribution of unconditional [PITH_FULL_IMAGE:figures/full_fig_p024_5.png] view at source ↗

**Figure 6.** Figure 6: Buffer depletion time and average pension for varying [PITH_FULL_IMAGE:figures/full_fig_p026_6.png] view at source ↗

**Figure 7.** Figure 7: Comparison Between ω = 1 and ω = DRs/DR0 (red) – Monte Carlo 5 Conclusion This paper studies the design of an optimal public PAYG pension system complemented by a buffer fund in a context of persistent demographic ageing and economic uncertainty. Motivated by the projected rise in old-age dependency ratios documented by [OEC25] and by the widespread adoption of Public Pension Reserve Funds, we develop a t… view at source ↗

read the original abstract

This paper investigates optimal investment and pension policies in a Pay-As-You-Go (PAYG) system supplemented by a buffer fund used as an intergenerational risk-sharing mechanism. The social planner's preference criterion is represented by non-zero volatility forward Constant Relative Risk Aversion (CRRA) utilities, and explicitly accounts for both sustainability and adequacy constraints. The optimal policies are characterized in closed form, and an in-depth analysis of the impact of preference sensitivities on the pension scheme is conducted. A detailed numerical analysis is performed to evaluate the sustainability and benefit adequacy of this hybrid PAYG buffer fund arrangement under a range of demographic, financial, and macroeconomic scenarios.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper investigates optimal investment and pension policies in a hybrid Pay-As-You-Go (PAYG) system with a buffer fund for intergenerational risk-sharing. The social planner employs non-zero volatility forward CRRA utilities that explicitly incorporate sustainability and adequacy constraints. It claims closed-form characterizations of the optimal policies, analyzes the impact of preference sensitivities, and performs numerical evaluations of sustainability and benefit adequacy across demographic, financial, and macroeconomic scenarios.

Significance. If the closed-form results hold after rigorous verification of the HJB separation and constraint satisfaction under stochastic ageing, the work would advance forward-utility methods in pension mathematics by delivering explicit policies that embed real constraints, offering a useful benchmark for buffer-fund design in ageing populations.

major comments (2)

[Abstract / derivation] Abstract and presumed derivation (likely §3–4): the claim that optimal policies admit closed-form expressions under non-zero-volatility forward CRRA utilities requires explicit demonstration that the HJB equation separates when the population process (birth/death rates, ageing) is stochastic; without this step the headline characterization is unsupported.
[Abstract] Abstract: the statement that the utilities “explicitly account for” the sustainability and adequacy constraints does not substitute for a verification step showing that the candidate policies satisfy the two inequality constraints after substitution into the buffer-fund dynamics; this verification is load-bearing for the central claim.

minor comments (1)

[Numerical analysis] Numerical section: tabulate all demographic and financial parameters (including volatility values and scenario ranges) so that the reported sustainability and adequacy metrics can be reproduced.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed comments, which help clarify the presentation of our results. We address each major comment below and will incorporate the suggested clarifications and verifications into the revised manuscript.

read point-by-point responses

Referee: [Abstract / derivation] Abstract and presumed derivation (likely §3–4): the claim that optimal policies admit closed-form expressions under non-zero-volatility forward CRRA utilities requires explicit demonstration that the HJB equation separates when the population process (birth/death rates, ageing) is stochastic; without this step the headline characterization is unsupported.

Authors: We agree that an explicit separation argument is required for rigor when the demographic process is stochastic. In the current derivation the assumed affine structure of the forward value function is chosen precisely so that the stochastic terms arising from birth/death rates and ageing enter only through the forward-utility adjustment and do not destroy separability; however, this cancellation is shown only implicitly. In the revision we will insert a dedicated lemma in Section 3 that substitutes the candidate value function into the HJB, verifies that all cross-derivative terms involving the stochastic population process are absorbed into the forward drift, and confirms that the resulting ODE system remains solvable in closed form. This step will be added without altering the stated policies. revision: yes
Referee: [Abstract] Abstract: the statement that the utilities “explicitly account for” the sustainability and adequacy constraints does not substitute for a verification step showing that the candidate policies satisfy the two inequality constraints after substitution into the buffer-fund dynamics; this verification is load-bearing for the central claim.

Authors: We concur that an analytical verification step is necessary to support the claim. While Section 5 already reports numerical satisfaction of both constraints across the simulated scenarios, we will add a short proposition immediately after the policy characterization that substitutes the closed-form investment and pension controls back into the buffer-fund SDE. Using the non-negativity of the forward-CRRA wealth process and the chosen drift adjustment, we will show that the sustainability (buffer-fund non-negativity) and adequacy (benefit floor) inequalities hold either pathwise or in expectation under the maintained parameter restrictions. This verification will be included in the revised version. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard stochastic control

full rationale

The paper sets up a stochastic control problem for optimal investment and pension policies under forward CRRA utilities with explicit sustainability/adequacy constraints. The abstract states that policies are characterized in closed form after solving the associated HJB equation, followed by independent numerical evaluation across scenarios. No quoted equations or steps reduce the claimed closed-form solutions to fitted inputs, self-definitions, or load-bearing self-citations by construction. The forward-utility transformation and constraint embedding are presented as modeling choices whose verification is external to the derivation itself. This is the normal non-circular outcome for a control-theoretic paper whose central result is the explicit solution of a well-posed HJB rather than a tautological renaming or fit.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies insufficient detail to enumerate free parameters, axioms, or invented entities; the work presumably relies on standard assumptions from mathematical finance and demographic modeling that are not listed here.

pith-pipeline@v0.9.0 · 5416 in / 1101 out tokens · 50249 ms · 2026-05-15T05:52:28.297986+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The dynamic CRRA buffer fund utility takes into account the sustainability constraint K as follows: U(t,x):=Z_u^t (x-K_t)^{1-θ}/(1-θ) ... dZ_u^t = Z_u^t (b_t dt + δ_t · dB_t)
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean J_uniquely_calibrated_via_higher_derivative unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

optimal policy (π^*,p^*) ... π^*_t = π^K_t + (F^*_t - K_t)/θ ((t L δ_t)_S + η_t) ... p^*_t = p^min_t + (F^*_t - K_t)(Z_u_t)^{-1/θ}(Z_t ω_t)^{1/θ}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages

[1]

The journal of finance , volume=

Dynamic asset allocation under inflation , author=. The journal of finance , volume=. 2002 , publisher=

work page 2002
[2]

2013 , publisher=

Discounting and intergenerational equity , author=. 2013 , publisher=

work page 2013
[3]

Annals of Applied Probability , pages=

The asymptotic elasticity of utility functions and optimal investment in incomplete markets , author=. Annals of Applied Probability , pages=. 1999 , publisher=

work page 1999
[4]

SIAM Journal on Financial Mathematics , volume=

Maturity-independent risk measures , author=. SIAM Journal on Financial Mathematics , volume=. 2010 , publisher=

work page 2010
[5]

Econometrica: Journal of the Econometric Society , pages=

Stationary ordinal utility and impatience , author=. Econometrica: Journal of the Econometric Society , pages=. 1960 , publisher=

work page 1960
[6]

Discounting and Intergenerational Equity , editor=

Discounting, Morality, and Gaming , author=. Discounting and Intergenerational Equity , editor=. 1999 , publisher=

work page 1999
[7]

Le taux d’actualisation contre le principe de pr

Lecocq, Franck and Hourcade, Charles , journal=. Le taux d’actualisation contre le principe de pr. 2004 , publisher=

work page 2004
[8]

Journal of Financial economics , volume=

Dynamic asset allocation with stochastic income and interest rates , author=. Journal of Financial economics , volume=. 2010 , publisher=

work page 2010
[9]

The Review of Financial Studies , volume=

Implied stochastic volatility models , author=. The Review of Financial Studies , volume=. 2021 , publisher=

work page 2021
[10]

SIAM Journal on Financial Mathematics , volume=

On the Heston model with stochastic interest rates , author=. SIAM Journal on Financial Mathematics , volume=. 2011 , publisher=

work page 2011
[11]

Available at SSRN 4109217 , year=

Can estimated risk and time preferences explain real-life financial choices? , author=. Available at SSRN 4109217 , year=

work page
[12]

2023 , howpublished =

work page 2023
[13]

Structure of earnings survey 2018 (earn\_ses18\_an) - Annual earnings , year =

work page 2018
[14]

Econometrica , volume=

Eliciting risk and time preferences , author=. Econometrica , volume=. 2008 , publisher=

work page 2008
[15]

Probability, Uncertainty and Quantitative Risk , volume=

Time-consistent pension policy with minimum guarantee and sustainability constraint , author=. Probability, Uncertainty and Quantitative Risk , volume=. 2024 , publisher=

work page 2024
[16]

Insurance: Mathematics and Economics , volume=

Optimal investment in defined contribution pension schemes with forward utility preferences , author=. Insurance: Mathematics and Economics , volume=. 2024 , publisher=

work page 2024
[17]

Consistent utility of investment and consumption: a forward/backward

El Karoui, Nicole and Hillairet, Caroline and Mrad, Mohamed , journal=. Consistent utility of investment and consumption: a forward/backward. 2018 , publisher=

work page 2018
[18]

Markov Processes and Related Topics: A Festschrift for Thomas G

Optimal Asset Allocation under Forward Exponential Performance Criteria , author=. Markov Processes and Related Topics: A Festschrift for Thomas G. Kurtz , volume=. 2008 , publisher=

work page 2008
[19]

An Exact Connection between Two Solvable

El Karoui, Nicole and Mrad, Mohamed , year=. An Exact Connection between Two Solvable. SIAM Journal on Financial Mathematics , volume=

work page
[20]

The European Journal of Finance , volume=

Adequacy, fairness and sustainability of pay-as-you-go-pension-systems: defined benefit versus defined contribution , author=. The European Journal of Finance , volume=. 2018 , publisher=

work page 2018
[21]

Scandinavian Actuarial Journal , volume=

Intergenerational risk sharing in pay-as-you-go pension schemes , author=. Scandinavian Actuarial Journal , volume=. 2025 , publisher=

work page 2025
[22]

Scandinavian Actuarial Journal , pages=

Assessing public pensions using risk measures: pay-as-you-go versus mixed schemes , author=. Scandinavian Actuarial Journal , pages=. 2025 , publisher=

work page 2025
[23]

Mathematical Finance , volume=

Optimal investment with intermediate consumption and random endowment , author=. Mathematical Finance , volume=. 2017 , publisher=

work page 2017
[24]

Pensions at a Glance 2025: OECD and G20 Indicators,

OECD. Pensions at a Glance 2025: OECD and G20 Indicators,. 2025. doi:https://doi.org/10.1787/e40274c1-en

work page doi:10.1787/e40274c1-en 2025
[25]

Insurance: Mathematics and Economics , volume=

Optimal strategies for pay-as-you-go pension finance: A sustainability framework , author=. Insurance: Mathematics and Economics , volume=. 2016 , publisher=

work page 2016
[26]

Insurance: Mathematics and Economics , volume=

Continuous time model for notional defined contribution pension schemes: Liquidity and solvency , author=. Insurance: Mathematics and Economics , volume=. 2019 , publisher=

work page 2019
[27]

Insurance: Mathematics and Economics , volume=

Optimal mix between pay-as-you-go and funding for DC pension schemes in an overlapping generations model , author=. Insurance: Mathematics and Economics , volume=. 2016 , publisher=

work page 2016
[28]

The European Journal of Finance , volume =

Adequacy, fairness and sustainability of pay-as-you-go-pension-systems: defined benefit versus defined contribution , author=. The European Journal of Finance , volume =. 2018 , publisher =

work page 2018
[29]

Mathematical Finance , volume=

Stability of the utility maximization problem with random endowment in incomplete markets , author=. Mathematical Finance , volume=. 2011 , publisher=

work page 2011
[30]

Mathematical Finance , volume=

Optimal investment with undiversifiable income risk , author=. Mathematical Finance , volume=. 1993 , publisher=

work page 1993
[31]

Mathematical Finance , volume=

Consumption and Portfolio Policies With Incomplete Markets and Short-Sale Constraints: the Finite-Dimensional Case 1 , author=. Mathematical Finance , volume=. 1991 , publisher=

work page 1991
[32]

The Annals of Probability , volume=

Optimal consumption from investment and random endowment in incomplete semimartingale markets , author=. The Annals of Probability , volume=. 2003 , publisher=

work page 2003
[33]

Finance and Stochastics , volume=

Optimization of consumption with labor income , author=. Finance and Stochastics , volume=. 1998 , publisher=

work page 1998
[34]

The Annals of Applied Probability , volume=

Optimal investment and consumption with labor income in incomplete markets , author=. The Annals of Applied Probability , volume=. 2020 , publisher=

work page 2020
[35]

2008 , booktitle =

Musiela, Marek and Zariphopoulou, Thaleia , TITLE =. 2008 , booktitle =

work page 2008
[36]

International Journal of Theoretical and Applied Finance , volume=

Initial investment choice and optimal future allocations under time-monotone performance criteria , author=. International Journal of Theoretical and Applied Finance , volume=. 2011 , publisher=

work page 2011
[37]

An ergodic

Chong, Wing Fung and Hu, Ying and Liang, Gechun and Zariphopoulou, Thaleia , journal=. An ergodic. 2019 , publisher=

work page 2019
[38]

Mathematical Finance , volume=

Predictable forward performance processes: Infrequent evaluation and applications to human-machine interactions , author=. Mathematical Finance , volume=. 2023 , publisher=

work page 2023
[39]

Management Science , volume=

Personalized robo-advising: Enhancing investment through client interaction , author=. Management Science , volume=. 2022 , publisher=

work page 2022
[40]

Insurance: Mathematics and Economics , volume=

Pricing and hedging equity-linked life insurance contracts beyond the classical paradigm: The principle of equivalent forward preferences , author=. Insurance: Mathematics and Economics , volume=. 2019 , publisher=

work page 2019
[41]

Scandinavian Actuarial Journal , volume=

Dynamic preferences for popular investment strategies in pension funds , author=. Scandinavian Actuarial Journal , volume=. 2016 , publisher=

work page 2016
[42]

SIAM Journal on Financial Mathematics , volume=

Competition in fund management and forward relative performance criteria , author=. SIAM Journal on Financial Mathematics , volume=. 2022 , publisher=

work page 2022
[43]

Preprint , year=

Time-consistent pension fund management in stochastically changing markets and evolving horizons , author=. Preprint , year=

work page
[44]

Preprint, hal-05523263 , year=

Learning Dynamic Utility , author=. Preprint, hal-05523263 , year=

work page
[45]

Stochastics An International Journal of Probability and Stochastic Processes , volume=

Forward indifference valuation of American options , author=. Stochastics An International Journal of Probability and Stochastic Processes , volume=. 2012 , publisher=

work page 2012
[46]

Decisions in Economics and Finance , volume=

Ramsey rule with forward/backward utility for long-term yield curves modeling , author=. Decisions in Economics and Finance , volume=. 2022 , publisher=

work page 2022