{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:QGJV3AWZGTEK6NQJJHFDK5AB7W","short_pith_number":"pith:QGJV3AWZ","canonical_record":{"source":{"id":"1711.07222","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-11-20T09:35:03Z","cross_cats_sorted":[],"title_canon_sha256":"b4a9c139cc772e23a9e556cbe8a5c128a36d3c2f1d1cc911f0f3334228f9fb8f","abstract_canon_sha256":"0bd8606fc027ced5e3fd1cb6c1885e54fcff1368ebf28d3c7f76da96fe11d164"},"schema_version":"1.0"},"canonical_sha256":"81935d82d934c8af360949ca357401fd98c703e5ff10dfdb631660d464e2fabb","source":{"kind":"arxiv","id":"1711.07222","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.07222","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"1711.07222v3","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07222","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"QGJV3AWZGTEK","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QGJV3AWZGTEK6NQJ","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QGJV3AWZ","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:QGJV3AWZGTEK6NQJJHFDK5AB7W","target":"record","payload":{"canonical_record":{"source":{"id":"1711.07222","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-11-20T09:35:03Z","cross_cats_sorted":[],"title_canon_sha256":"b4a9c139cc772e23a9e556cbe8a5c128a36d3c2f1d1cc911f0f3334228f9fb8f","abstract_canon_sha256":"0bd8606fc027ced5e3fd1cb6c1885e54fcff1368ebf28d3c7f76da96fe11d164"},"schema_version":"1.0"},"canonical_sha256":"81935d82d934c8af360949ca357401fd98c703e5ff10dfdb631660d464e2fabb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:08.111644Z","signature_b64":"PCjxT7jbJa0QcDxNRIhi11rBmq6b5M4PfMq1AYNpwf0EBVMFo2GM7nsWffVYjY22ByZDI4odXIrmRSdG93HqBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81935d82d934c8af360949ca357401fd98c703e5ff10dfdb631660d464e2fabb","last_reissued_at":"2026-05-18T00:04:08.110907Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:08.110907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.07222","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:04:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ARpicrqj3Qqo0h1moZxOF10yZsSpFDq7vdTyXjilg6MPRouNDVgKQIPeJl+oSzOJB0CaIaLB6qHs/L79KygHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:39:55.213020Z"},"content_sha256":"b617445af3121b67d5b5523d2dc11a401281ea55a6391dd41302153ce8dfbf57","schema_version":"1.0","event_id":"sha256:b617445af3121b67d5b5523d2dc11a401281ea55a6391dd41302153ce8dfbf57"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:QGJV3AWZGTEK6NQJJHFDK5AB7W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generalized Dual Dynamic Programming for Infinite Horizon Problems in Continuous State and Action Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"John Lygeros, Joseph Warrington, Paul N. Beuchat","submitted_at":"2017-11-20T09:35:03Z","abstract_excerpt":"We describe a nonlinear generalization of dual dynamic programming theory and its application to value function estimation for deterministic control problems over continuous state and action spaces, in a discrete-time infinite horizon setting. We prove, using a Benders-type argument leveraging the monotonicity of the Bellman operator, that the result of a one-stage policy evaluation can be used to produce nonlinear lower bounds on the optimal value function that are valid over the entire state space. These bounds contain terms reflecting the functional form of the system's costs, dynamics, and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07222","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:04:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dEkzy1OtaZhv3yWfeo/ZMdiVrN+095/hSs7JIuBwe16IjNJT//RHfhw4JbwTk1LZuTlFjgxM9MFQVYYMdFxdBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:39:55.213384Z"},"content_sha256":"74712767768bb935bdd0aa4208804f45afb91c610d1ad28edd34714bfbc2d172","schema_version":"1.0","event_id":"sha256:74712767768bb935bdd0aa4208804f45afb91c610d1ad28edd34714bfbc2d172"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/bundle.json","state_url":"https://pith.science/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T22:39:55Z","links":{"resolver":"https://pith.science/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W","bundle":"https://pith.science/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/bundle.json","state":"https://pith.science/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGJV3AWZGTEK6NQJJHFDK5AB7W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QGJV3AWZGTEK6NQJJHFDK5AB7W","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0bd8606fc027ced5e3fd1cb6c1885e54fcff1368ebf28d3c7f76da96fe11d164","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-11-20T09:35:03Z","title_canon_sha256":"b4a9c139cc772e23a9e556cbe8a5c128a36d3c2f1d1cc911f0f3334228f9fb8f"},"schema_version":"1.0","source":{"id":"1711.07222","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.07222","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"1711.07222v3","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07222","created_at":"2026-05-18T00:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"QGJV3AWZGTEK","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QGJV3AWZGTEK6NQJ","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QGJV3AWZ","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:74712767768bb935bdd0aa4208804f45afb91c610d1ad28edd34714bfbc2d172","target":"graph","created_at":"2026-05-18T00:04:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We describe a nonlinear generalization of dual dynamic programming theory and its application to value function estimation for deterministic control problems over continuous state and action spaces, in a discrete-time infinite horizon setting. We prove, using a Benders-type argument leveraging the monotonicity of the Bellman operator, that the result of a one-stage policy evaluation can be used to produce nonlinear lower bounds on the optimal value function that are valid over the entire state space. These bounds contain terms reflecting the functional form of the system's costs, dynamics, and","authors_text":"John Lygeros, Joseph Warrington, Paul N. Beuchat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-11-20T09:35:03Z","title":"Generalized Dual Dynamic Programming for Infinite Horizon Problems in Continuous State and Action Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07222","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b617445af3121b67d5b5523d2dc11a401281ea55a6391dd41302153ce8dfbf57","target":"record","created_at":"2026-05-18T00:04:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0bd8606fc027ced5e3fd1cb6c1885e54fcff1368ebf28d3c7f76da96fe11d164","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-11-20T09:35:03Z","title_canon_sha256":"b4a9c139cc772e23a9e556cbe8a5c128a36d3c2f1d1cc911f0f3334228f9fb8f"},"schema_version":"1.0","source":{"id":"1711.07222","kind":"arxiv","version":3}},"canonical_sha256":"81935d82d934c8af360949ca357401fd98c703e5ff10dfdb631660d464e2fabb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81935d82d934c8af360949ca357401fd98c703e5ff10dfdb631660d464e2fabb","first_computed_at":"2026-05-18T00:04:08.110907Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:08.110907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PCjxT7jbJa0QcDxNRIhi11rBmq6b5M4PfMq1AYNpwf0EBVMFo2GM7nsWffVYjY22ByZDI4odXIrmRSdG93HqBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:08.111644Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.07222","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b617445af3121b67d5b5523d2dc11a401281ea55a6391dd41302153ce8dfbf57","sha256:74712767768bb935bdd0aa4208804f45afb91c610d1ad28edd34714bfbc2d172"],"state_sha256":"4f4e75ebd2bc94d5e314cfb018b87d3a5b7d95a1eb07637746dc105e70938a94"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Io4RWFwwQFns2H54SsktAJxI3IZvWqLdhccTM6xaNCyA5tnCLZEOrUrcaMZB/lGNFhgEidG4/0gKsFBKpK7SAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:39:55.215586Z","bundle_sha256":"4b7b6d21b8b5c961223837ff473a1d458995b27a7397f6492ed66a8bc99c9537"}}