{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:GPPUACJFQEXWT62SDPYI7OQXU2","short_pith_number":"pith:GPPUACJF","schema_version":"1.0","canonical_sha256":"33df400925812f69fb521bf08fba17a690fe236f83d6958ca73cc2c73963d119","source":{"kind":"arxiv","id":"2507.10603","version":1},"attestation_state":"computed","paper":{"title":"A Tax-Efficient Model Predictive Control Policy for Retirement Funding","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE"],"primary_cat":"math.OC","authors_text":"Kasper Johansson, Stephen Boyd","submitted_at":"2025-07-12T17:26:00Z","abstract_excerpt":"The retirement funding problem addresses the question of how to manage a retiree's savings to provide her with a constant post-tax inflation adjusted consumption throughout her lifetime. This consists of choosing withdrawals and transfers from and between several accounts with different tax treatments, taking into account basic rules such as required minimum distributions and limits on Roth conversions, additional income, liabilities, taxes, and the bequest when the retiree dies. We develop a retirement funding policy in two steps. In the first step, we consider a simplified planning problem i"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2507.10603","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-12T17:26:00Z","cross_cats_sorted":["cs.CE"],"title_canon_sha256":"fb16f07745c71efb6b9ce1e048346cc2c4b02c67524a047ad567c626bef0e329","abstract_canon_sha256":"6909aa91c8e4a860582a96ad2dad05e66bc9e13e1a5944e3d871333c89f89294"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:36:57.326113Z","signature_b64":"DNHz00sSuKVb+p8yGwZI0ruvIGVzUSuHn7domM5RQzPGV+m4qHbcXkw1rhGPrs6fs69FPQhgOeysPDWlTW43BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33df400925812f69fb521bf08fba17a690fe236f83d6958ca73cc2c73963d119","last_reissued_at":"2026-07-05T11:36:57.325617Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:36:57.325617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Tax-Efficient Model Predictive Control Policy for Retirement Funding","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE"],"primary_cat":"math.OC","authors_text":"Kasper Johansson, Stephen Boyd","submitted_at":"2025-07-12T17:26:00Z","abstract_excerpt":"The retirement funding problem addresses the question of how to manage a retiree's savings to provide her with a constant post-tax inflation adjusted consumption throughout her lifetime. This consists of choosing withdrawals and transfers from and between several accounts with different tax treatments, taking into account basic rules such as required minimum distributions and limits on Roth conversions, additional income, liabilities, taxes, and the bequest when the retiree dies. We develop a retirement funding policy in two steps. In the first step, we consider a simplified planning problem i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10603","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.10603/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2507.10603","created_at":"2026-07-05T11:36:57.325684+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.10603v1","created_at":"2026-07-05T11:36:57.325684+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10603","created_at":"2026-07-05T11:36:57.325684+00:00"},{"alias_kind":"pith_short_12","alias_value":"GPPUACJFQEXW","created_at":"2026-07-05T11:36:57.325684+00:00"},{"alias_kind":"pith_short_16","alias_value":"GPPUACJFQEXWT62S","created_at":"2026-07-05T11:36:57.325684+00:00"},{"alias_kind":"pith_short_8","alias_value":"GPPUACJF","created_at":"2026-07-05T11:36:57.325684+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2","json":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2.json","graph_json":"https://pith.science/api/pith-number/GPPUACJFQEXWT62SDPYI7OQXU2/graph.json","events_json":"https://pith.science/api/pith-number/GPPUACJFQEXWT62SDPYI7OQXU2/events.json","paper":"https://pith.science/paper/GPPUACJF"},"agent_actions":{"view_html":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2","download_json":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2.json","view_paper":"https://pith.science/paper/GPPUACJF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.10603&json=true","fetch_graph":"https://pith.science/api/pith-number/GPPUACJFQEXWT62SDPYI7OQXU2/graph.json","fetch_events":"https://pith.science/api/pith-number/GPPUACJFQEXWT62SDPYI7OQXU2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2/action/storage_attestation","attest_author":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2/action/author_attestation","sign_citation":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2/action/citation_signature","submit_replication":"https://pith.science/pith/GPPUACJFQEXWT62SDPYI7OQXU2/action/replication_record"}},"created_at":"2026-07-05T11:36:57.325684+00:00","updated_at":"2026-07-05T11:36:57.325684+00:00"}