{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3QICGMT3EKENO5I3UU5M5LKX62","short_pith_number":"pith:3QICGMT3","canonical_record":{"source":{"id":"1801.03237","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-01-10T04:45:17Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"7d623cb28b1759a7b07094dd62c38519cdf9f158993bf172e0731de56b8ac9ab","abstract_canon_sha256":"062c0eca7ce8c1b37d3719bcc60411692797209fd0afc6df293678012135148b"},"schema_version":"1.0"},"canonical_sha256":"dc1023327b2288d7751ba53acead57f695e2bff738118c2e485fb7a07a9d67eb","source":{"kind":"arxiv","id":"1801.03237","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03237","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03237v2","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03237","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"pith_short_12","alias_value":"3QICGMT3EKEN","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3QICGMT3EKENO5I3","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3QICGMT3","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3QICGMT3EKENO5I3UU5M5LKX62","target":"record","payload":{"canonical_record":{"source":{"id":"1801.03237","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-01-10T04:45:17Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"7d623cb28b1759a7b07094dd62c38519cdf9f158993bf172e0731de56b8ac9ab","abstract_canon_sha256":"062c0eca7ce8c1b37d3719bcc60411692797209fd0afc6df293678012135148b"},"schema_version":"1.0"},"canonical_sha256":"dc1023327b2288d7751ba53acead57f695e2bff738118c2e485fb7a07a9d67eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:56.298947Z","signature_b64":"Qvtm6AcJSYyQoe1P0zSzf4nxYHzlrWRARPeZ4mjCgF8wDhmECleJ1L7sw62ttqQmbUUKsNw3xnkSaM7Mjv4SDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc1023327b2288d7751ba53acead57f695e2bff738118c2e485fb7a07a9d67eb","last_reissued_at":"2026-05-18T00:06:56.298229Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:56.298229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.03237","source_version":2,"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:06:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LRi8etpL/2nV8gmRZsyx+wYgrO3EmoutFZwyl9FdEg08Exmvd/6LPrjr7/y9TnuqfT3YGL5YLxcDaApYZVgHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:17:31.113881Z"},"content_sha256":"5944fa98563b883ca7e29bf32d859aef24100a6fe412fead34c07cd63d5cbfc1","schema_version":"1.0","event_id":"sha256:5944fa98563b883ca7e29bf32d859aef24100a6fe412fead34c07cd63d5cbfc1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3QICGMT3EKENO5I3UU5M5LKX62","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symmetry reduction for dynamic programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Axel Barrau, John Maidens, Murat Arcak, Silvere Bonnabel","submitted_at":"2018-01-10T04:45:17Z","abstract_excerpt":"We present a method of exploiting symmetries of discrete-time optimal control problems to reduce the dimensionality of dynamic programming iterations. The results are derived for systems with continuous state variables, and can be applied to systems with continuous or discrete symmetry groups. We prove that symmetries of the state update equation and stage costs induce corresponding symmetries of the optimal cost function and the optimal policies. We then provide a general framework for computing the optimal cost function based on gridding a space of lower dimension than the original state spa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03237","kind":"arxiv","version":2},"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:06:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5+RGkzgORMruJGdU89aSnRiRe8tDr7JydPNWVRpPF1w9GgF/vsijKdRPhPASEJsGfGQrFHP3UChI/nk3M0q+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:17:31.114261Z"},"content_sha256":"5900b2dc3f1bacf0dc111994fb9f16f936ef1e25b9eec00ddbb111d1faa303ab","schema_version":"1.0","event_id":"sha256:5900b2dc3f1bacf0dc111994fb9f16f936ef1e25b9eec00ddbb111d1faa303ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3QICGMT3EKENO5I3UU5M5LKX62/bundle.json","state_url":"https://pith.science/pith/3QICGMT3EKENO5I3UU5M5LKX62/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3QICGMT3EKENO5I3UU5M5LKX62/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-05-25T20:17:31Z","links":{"resolver":"https://pith.science/pith/3QICGMT3EKENO5I3UU5M5LKX62","bundle":"https://pith.science/pith/3QICGMT3EKENO5I3UU5M5LKX62/bundle.json","state":"https://pith.science/pith/3QICGMT3EKENO5I3UU5M5LKX62/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3QICGMT3EKENO5I3UU5M5LKX62/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3QICGMT3EKENO5I3UU5M5LKX62","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":"062c0eca7ce8c1b37d3719bcc60411692797209fd0afc6df293678012135148b","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-01-10T04:45:17Z","title_canon_sha256":"7d623cb28b1759a7b07094dd62c38519cdf9f158993bf172e0731de56b8ac9ab"},"schema_version":"1.0","source":{"id":"1801.03237","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03237","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03237v2","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03237","created_at":"2026-05-18T00:06:56Z"},{"alias_kind":"pith_short_12","alias_value":"3QICGMT3EKEN","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3QICGMT3EKENO5I3","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3QICGMT3","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:5900b2dc3f1bacf0dc111994fb9f16f936ef1e25b9eec00ddbb111d1faa303ab","target":"graph","created_at":"2026-05-18T00:06:56Z","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 present a method of exploiting symmetries of discrete-time optimal control problems to reduce the dimensionality of dynamic programming iterations. The results are derived for systems with continuous state variables, and can be applied to systems with continuous or discrete symmetry groups. We prove that symmetries of the state update equation and stage costs induce corresponding symmetries of the optimal cost function and the optimal policies. We then provide a general framework for computing the optimal cost function based on gridding a space of lower dimension than the original state spa","authors_text":"Axel Barrau, John Maidens, Murat Arcak, Silvere Bonnabel","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-01-10T04:45:17Z","title":"Symmetry reduction for dynamic programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03237","kind":"arxiv","version":2},"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:5944fa98563b883ca7e29bf32d859aef24100a6fe412fead34c07cd63d5cbfc1","target":"record","created_at":"2026-05-18T00:06:56Z","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":"062c0eca7ce8c1b37d3719bcc60411692797209fd0afc6df293678012135148b","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-01-10T04:45:17Z","title_canon_sha256":"7d623cb28b1759a7b07094dd62c38519cdf9f158993bf172e0731de56b8ac9ab"},"schema_version":"1.0","source":{"id":"1801.03237","kind":"arxiv","version":2}},"canonical_sha256":"dc1023327b2288d7751ba53acead57f695e2bff738118c2e485fb7a07a9d67eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc1023327b2288d7751ba53acead57f695e2bff738118c2e485fb7a07a9d67eb","first_computed_at":"2026-05-18T00:06:56.298229Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:56.298229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qvtm6AcJSYyQoe1P0zSzf4nxYHzlrWRARPeZ4mjCgF8wDhmECleJ1L7sw62ttqQmbUUKsNw3xnkSaM7Mjv4SDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:56.298947Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.03237","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5944fa98563b883ca7e29bf32d859aef24100a6fe412fead34c07cd63d5cbfc1","sha256:5900b2dc3f1bacf0dc111994fb9f16f936ef1e25b9eec00ddbb111d1faa303ab"],"state_sha256":"92eb85a39f2d92c50da49034f1a4094fafc3fddab3287be181b8041cf16f3d8b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cALDJ0hgrI6jWYliErrYTicJVfAJBSkbeyhladaDHPmDpIABpK5m0Dy3o5BAqxfd61me0Tb96x9ArowDsrwtBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:17:31.116527Z","bundle_sha256":"3ac340f155a5d81f3d59d7844e99caf5ff8d522a37a0996846f82ea8bece926b"}}