pith. machine review for the scientific record. sign in

arxiv: 2604.12125 · v1 · submitted 2026-04-13 · 💰 econ.TH · econ.GN· q-fin.EC

Recognition: unknown

The Design of Optimally Balanced Pay-as-you-go Social Security Systems

Leandro Lyra Braga Dognini
Authors on Pith no claims yet

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

classification 💰 econ.TH econ.GNq-fin.EC
keywords pay-as-you-gosocial securitygeneral equilibriumoverlapping generationsnotional accountsdemographic transitionsoptimal equilibria
0
0 comments X

The pith

Optimally balanced pay-as-you-go social security systems can be designed using general equilibrium theory to resemble notional accounts.

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

This paper develops a method to design pay-as-you-go social security systems that achieve optimal balance by drawing on general equilibrium theory. It applies a backward calculation algorithm to identify optimal monetary equilibria in economies with overlapping generations of heterogeneous households that are prone to saving. The approach is particularly suited for countries experiencing demographic shifts, as demonstrated with data from Brazil, China, India, Italy, and the United States spanning 1950 to 2070. Because households maintain balanced budgets under equilibrium prices, these systems naturally resemble notional defined contribution accounts.

Core claim

The central discovery is that optimally balanced pay-as-you-go systems can be conceived by using the backward calculation algorithm to find optimal monetary equilibria in prone-to-savings non-stationary overlapping generations economies with heterogeneous households. Due to Walras' law ensuring balanced household budgets under equilibrium prices, these systems resemble well-known notional accounts systems. The design is illustrated in a simplified framework with the demographic and productivity dynamics of five countries from 1950 to 2070.

What carries the argument

The backward calculation algorithm from Dognini (2025) that identifies optimal monetary equilibria in non-stationary OLG economies.

Load-bearing premise

The backward calculation algorithm correctly identifies optimal monetary equilibria in prone-to-savings non-stationary overlapping generations economies with heterogeneous households, and this optimality transfers to real-world PAYG reform without additional frictions.

What would settle it

Applying the algorithm to demographic data for one of the five countries and finding that the resulting system fails to balance budgets or optimize household welfare under equilibrium prices would falsify the central claim.

Figures

Figures reproduced from arXiv: 2604.12125 by Leandro Lyra Braga Dognini.

Figure 1
Figure 1. Figure 1: Time evolution of the dependence ratio calculated as population with age [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Optimal return rates given by Corollary 6 in the tail economy of Brazil (i.e., θτ = 2.82 and ατ = γ4 = 1.14) for different values of a3 ∈ (−1, 1/ατ |λ3|) = (−1, 2.43). Every value of a3 ∈ (−1, 1/ατ |λ3|) ≈ (−1, 2.43) furnishes a possible optimal return rate sequence in [PITH_FULL_IMAGE:figures/full_fig_p023_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Optimal return rates in the “complete” economy of Brazil for different values [PITH_FULL_IMAGE:figures/full_fig_p024_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Optimal return rates with minimum variance in the “complete” economy of [PITH_FULL_IMAGE:figures/full_fig_p025_4.png] view at source ↗
read the original abstract

This paper bridges social security design and general equilibrium theory to conceive optimally balanced pay-as-you-go systems. The design is based on the backward calculation algorithm from Dognini (2025), which is used to find optimal monetary equilibria of prone-to-savings non-stationary overlapping generations economies with heterogeneous households. In particular, this algorithm makes the design applicable for reforming pay-as-you-go systems in countries undergoing demographic transitions. Due to households balanced budgets under equilibrium prices (i.e., Walras' law), these optimally balanced pay-as-you-go systems resemble the well-known notional accounts systems. The design is illustrated in a simplified framework using the past and forecast demographic and productivity dynamics of Brazil, China, India, Italy, and the United States from 1950 to 2070.

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

3 major / 3 minor

Summary. The paper proposes a design for optimally balanced pay-as-you-go (PAYG) social security systems by applying the backward calculation algorithm from Dognini (2025) to identify optimal monetary equilibria in non-stationary OLG economies with heterogeneous households. It claims that, due to Walras' law and balanced household budgets at equilibrium prices, the resulting PAYG parameters produce systems that resemble notional accounts. The method is illustrated in a simplified framework using 1950-2070 demographic and productivity data for Brazil, China, India, Italy, and the United States to support PAYG reforms during demographic transitions.

Significance. If the algorithm correctly identifies optimal equilibria and the Walras' law implication holds rigorously, the paper would provide a general-equilibrium foundation for PAYG design that links theoretical optimality to practical notional-account-like reforms in aging economies. The multi-country numerical illustration offers a concrete demonstration, though the absence of self-contained verification or robustness tests limits its immediate applicability.

major comments (3)
  1. [Introduction and §3 (algorithm application)] The central optimality claim for the designed PAYG systems rests on the backward calculation algorithm from Dognini (2025) without any self-contained derivation, equilibrium conditions, or numerical verification in this manuscript. No section provides independent proof that the algorithm solves the general-equilibrium problem for non-stationary heterogeneous OLG economies or confirms optimality transfers to the PAYG parameters.
  2. [§2 (theoretical framework)] The resemblance to notional accounts is asserted via Walras' law and household budget balance, but the manuscript contains no explicit derivation or equilibrium equations showing how the computed PAYG contribution and benefit schedules satisfy notional account properties. This step is load-bearing for the bridging claim between GE theory and social security design.
  3. [§4 (numerical illustration)] Table or figure presenting the 1950-2070 country results (likely §4): the illustration uses a simplified framework but reports no robustness checks, such as perturbing demographic or productivity forecasts, to verify that the equilibria remain optimal. This undermines the applicability to real-world PAYG reforms under forecast uncertainty.
minor comments (3)
  1. [Abstract and Introduction] The abstract and introduction should more explicitly distinguish the novel contribution of this paper from the application of the Dognini (2025) algorithm.
  2. [§2] Notation for OLG model variables (e.g., heterogeneous household types, non-stationary demographics) should be defined in a self-contained manner or with clearer cross-references to the prior paper.
  3. [§4] The numerical results section would benefit from additional tables or figures showing sensitivity of the optimal PAYG parameters to small changes in the underlying forecasts.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the constructive comments on our manuscript. We address each major comment in turn and indicate the revisions we will make to strengthen the paper.

read point-by-point responses

  1. Referee: [Introduction and §3 (algorithm application)] The central optimality claim for the designed PAYG systems rests on the backward calculation algorithm from Dognini (2025) without any self-contained derivation, equilibrium conditions, or numerical verification in this manuscript. No section provides independent proof that the algorithm solves the general-equilibrium problem for non-stationary heterogeneous OLG economies or confirms optimality transfers to the PAYG parameters.

    Authors: The paper applies the algorithm developed in Dognini (2025) to the design of PAYG systems rather than re-deriving the full general-equilibrium solution method. To improve accessibility, we will add a concise summary subsection in §3 outlining the algorithm's key steps, the equilibrium conditions it enforces for non-stationary OLG economies with heterogeneous households, and the sense in which it identifies optimal monetary equilibria. This will clarify how optimality carries over to the resulting PAYG parameters without duplicating the complete proof from the cited work. revision: yes

  2. Referee: [§2 (theoretical framework)] The resemblance to notional accounts is asserted via Walras' law and household budget balance, but the manuscript contains no explicit derivation or equilibrium equations showing how the computed PAYG contribution and benefit schedules satisfy notional account properties. This step is load-bearing for the bridging claim between GE theory and social security design.

    Authors: We agree that the link via Walras' law requires an explicit derivation. In the revised manuscript we will insert a new subsection in §2 that starts from the household budget constraints at equilibrium prices and shows, step by step, how the computed PAYG contribution and benefit schedules inherit the notional-account structure. This will make the theoretical bridge between general-equilibrium optimality and notional-account-like PAYG design fully transparent. revision: yes

  3. Referee: [§4 (numerical illustration)] Table or figure presenting the 1950-2070 country results (likely §4): the illustration uses a simplified framework but reports no robustness checks, such as perturbing demographic or productivity forecasts, to verify that the equilibria remain optimal. This undermines the applicability to real-world PAYG reforms under forecast uncertainty.

    Authors: The absence of robustness checks is a valid concern for practical applicability. We will add a sensitivity subsection to §4 that perturbs key demographic and productivity forecasts (e.g., fertility and productivity growth rates) for each of the five countries and reports the resulting changes in the optimal PAYG schedules. This will illustrate the stability of the designed systems under forecast uncertainty while remaining within the computational scope of the backward algorithm. revision: yes

Circularity Check

1 steps flagged

Optimality claim for PAYG systems rests on self-cited Dognini (2025) backward algorithm

specific steps
  1. self citation load bearing [Abstract]
    "The design is based on the backward calculation algorithm from Dognini (2025), which is used to find optimal monetary equilibria of prone-to-savings non-stationary overlapping generations economies with heterogeneous households. In particular, this algorithm makes the design applicable for reforming pay-as-you-go systems in countries undergoing demographic transitions. Due to households balanced budgets under equilibrium prices (i.e., Walras' law), these optimally balanced pay-as-you-go systems resemble the well-known notional accounts systems."

    The paper defines its 'optimally balanced' PAYG systems as those produced by the Dognini (2025) algorithm applied to the OLG model; the resemblance to notional accounts is then asserted via Walras' law on the resulting equilibria. No new proof or verification of optimality appears in the manuscript, so the central claim reduces directly to the correctness of the self-cited prior algorithm.

full rationale

The paper's core contribution is the design of 'optimally balanced' PAYG systems obtained by applying the backward calculation algorithm from the author's own 2025 paper to non-stationary heterogeneous OLG economies. This makes the optimality label and the Walras'-law resemblance to notional accounts dependent on the prior work's correctness, with no independent derivation, proof, or robustness verification supplied here. The numerical illustration uses the algorithm's outputs directly, so the central result reduces to the self-citation chain rather than a self-contained argument.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the paper appears to rely on standard OLG assumptions plus the 2025 algorithm without stating new free parameters or invented entities.

axioms (1)
  • standard math Walras' law holds under the equilibrium prices generated by the backward algorithm
    Invoked in the abstract to conclude that the systems resemble notional accounts.

pith-pipeline@v0.9.0 · 5429 in / 1306 out tokens · 60522 ms · 2026-05-10T15:47:28.867181+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

3 extracted references

  1. [1]

    Borrowing constraints and two-sided altruism with an application to social security

    Altig, David and Steven J. Davis (1993). “Borrowing constraints and two-sided altruism with an application to social security”. In:Journal of Economic Dynamics and Control 17.3, pp. 467–494. Arrow, Kenneth J. and Frank Hahn (1971).General Competitive Analysis. New York: North-Holland. Auerbach, Alan J. and Laurence J. Kotlikoff (1987).Dynamic Fiscal Polic...

    1993

  2. [2]

    Pure exchange equilibrium of dynamic economic models

    Handbook of Public Economics. Elsevier, pp. 2245–2324. Gale, David (1973). “Pure exchange equilibrium of dynamic economic models”. In:Journal of Economic Theory6.1, pp. 12–36. Gottardi, Piero and Felix Kubler (2011). “Social security and risk sharing”. In:Journal of Economic Theory146.3, pp. 1078–1106. Hahn, Frank (1965). “On Some Problems of Proving the ...

    1973

  3. [3]

    On the efficiency of a competitive equilibrium in infinite horizon monetary economies

    Okuno, Masahiro and Itzhak Zilcha (1980). “On the efficiency of a competitive equilibrium in infinite horizon monetary economies”. In:The Review of Economic Studies47.4, pp. 797–807. — (1981).“Aproofoftheexistenceofcompetitiveequilibriuminageneration-overlapping exchange economy with money”. In:International Economic Review22.1, pp. 239–252. Samuelson, Pa...

    1980