{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:W3WGM6INABEQ6C3ZQV5ZQCHSOU","short_pith_number":"pith:W3WGM6IN","canonical_record":{"source":{"id":"1404.5086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-21T00:44:33Z","cross_cats_sorted":[],"title_canon_sha256":"707099da2b6516c7a0c4d7f1caacbff710976abfb83dd40e42666958add74139","abstract_canon_sha256":"383037312435f90854937a2bccb523c683da00b87b3faf80caa2cbd742c5ee8f"},"schema_version":"1.0"},"canonical_sha256":"b6ec66790d00490f0b79857b9808f2750b5dcc2c85e4bb72cb305ab115cb2e98","source":{"kind":"arxiv","id":"1404.5086","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5086","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5086v1","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5086","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"pith_short_12","alias_value":"W3WGM6INABEQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"W3WGM6INABEQ6C3Z","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"W3WGM6IN","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:W3WGM6INABEQ6C3ZQV5ZQCHSOU","target":"record","payload":{"canonical_record":{"source":{"id":"1404.5086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-21T00:44:33Z","cross_cats_sorted":[],"title_canon_sha256":"707099da2b6516c7a0c4d7f1caacbff710976abfb83dd40e42666958add74139","abstract_canon_sha256":"383037312435f90854937a2bccb523c683da00b87b3faf80caa2cbd742c5ee8f"},"schema_version":"1.0"},"canonical_sha256":"b6ec66790d00490f0b79857b9808f2750b5dcc2c85e4bb72cb305ab115cb2e98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:15.611370Z","signature_b64":"yg/AFSPCJ25Otel83e5cu6tMVkkpWjAlRUwxuqtAISHMVT60M/9K35UUDqJw6kjCQT64ZlNBEN0F6Dil+HDBBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6ec66790d00490f0b79857b9808f2750b5dcc2c85e4bb72cb305ab115cb2e98","last_reissued_at":"2026-05-18T01:30:15.610850Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:15.610850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.5086","source_version":1,"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-18T01:30:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZGB5Syi8atYcEl43THa5iqBANZ/ouIZGCtCqnackDYo2NpA/D7oi7wZpvjf3fHWS864gobt/vnU3GjJTU9gCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:01:41.899071Z"},"content_sha256":"6f1b20ebe0b38aad1b5d181695e58d16c0410d73d843f9813ac0b660389c3c85","schema_version":"1.0","event_id":"sha256:6f1b20ebe0b38aad1b5d181695e58d16c0410d73d843f9813ac0b660389c3c85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:W3WGM6INABEQ6C3ZQV5ZQCHSOU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic Decompositions of DP Problems with Linear Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Danielle C. Tarraf, Manolis C. Tsakiris","submitted_at":"2014-04-21T00:44:33Z","abstract_excerpt":"Inspired by rational canonical forms, we introduce and analyze two decompositions of dynamic programming (DP) problems for systems with linear dynamics. Specifically, we consider both finite and infinite horizon DP problems in which the dynamics are linear, the cost function depends only on the state, and the state-space is finite dimensional but defined over an arbitrary algebraic field. Starting from the natural decomposition of the state-space into the direct sum of subspaces that are invariant under the system's linear transformation, and assuming that the cost functions exhibit an additiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5086","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":""},"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-18T01:30:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ofqWvfJl8oJIiE/16t6De21cY4wskjm6KPTU+Vm4THa0bGGShuF3hnDe2sA5kc6PEGBxM1wTzsaSthSqrfboDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:01:41.899422Z"},"content_sha256":"d2e84c20e977bc539f363bdcf767ca39db07bdfa4b3677e97fb929a8cf567853","schema_version":"1.0","event_id":"sha256:d2e84c20e977bc539f363bdcf767ca39db07bdfa4b3677e97fb929a8cf567853"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/bundle.json","state_url":"https://pith.science/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/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-23T06:01:41Z","links":{"resolver":"https://pith.science/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU","bundle":"https://pith.science/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/bundle.json","state":"https://pith.science/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W3WGM6INABEQ6C3ZQV5ZQCHSOU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:W3WGM6INABEQ6C3ZQV5ZQCHSOU","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":"383037312435f90854937a2bccb523c683da00b87b3faf80caa2cbd742c5ee8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-21T00:44:33Z","title_canon_sha256":"707099da2b6516c7a0c4d7f1caacbff710976abfb83dd40e42666958add74139"},"schema_version":"1.0","source":{"id":"1404.5086","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5086","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5086v1","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5086","created_at":"2026-05-18T01:30:15Z"},{"alias_kind":"pith_short_12","alias_value":"W3WGM6INABEQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"W3WGM6INABEQ6C3Z","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"W3WGM6IN","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:d2e84c20e977bc539f363bdcf767ca39db07bdfa4b3677e97fb929a8cf567853","target":"graph","created_at":"2026-05-18T01:30:15Z","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":"Inspired by rational canonical forms, we introduce and analyze two decompositions of dynamic programming (DP) problems for systems with linear dynamics. Specifically, we consider both finite and infinite horizon DP problems in which the dynamics are linear, the cost function depends only on the state, and the state-space is finite dimensional but defined over an arbitrary algebraic field. Starting from the natural decomposition of the state-space into the direct sum of subspaces that are invariant under the system's linear transformation, and assuming that the cost functions exhibit an additiv","authors_text":"Danielle C. Tarraf, Manolis C. Tsakiris","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-21T00:44:33Z","title":"Algebraic Decompositions of DP Problems with Linear Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5086","kind":"arxiv","version":1},"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:6f1b20ebe0b38aad1b5d181695e58d16c0410d73d843f9813ac0b660389c3c85","target":"record","created_at":"2026-05-18T01:30:15Z","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":"383037312435f90854937a2bccb523c683da00b87b3faf80caa2cbd742c5ee8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-21T00:44:33Z","title_canon_sha256":"707099da2b6516c7a0c4d7f1caacbff710976abfb83dd40e42666958add74139"},"schema_version":"1.0","source":{"id":"1404.5086","kind":"arxiv","version":1}},"canonical_sha256":"b6ec66790d00490f0b79857b9808f2750b5dcc2c85e4bb72cb305ab115cb2e98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6ec66790d00490f0b79857b9808f2750b5dcc2c85e4bb72cb305ab115cb2e98","first_computed_at":"2026-05-18T01:30:15.610850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:15.610850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yg/AFSPCJ25Otel83e5cu6tMVkkpWjAlRUwxuqtAISHMVT60M/9K35UUDqJw6kjCQT64ZlNBEN0F6Dil+HDBBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:15.611370Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.5086","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6f1b20ebe0b38aad1b5d181695e58d16c0410d73d843f9813ac0b660389c3c85","sha256:d2e84c20e977bc539f363bdcf767ca39db07bdfa4b3677e97fb929a8cf567853"],"state_sha256":"0904cd01b0d679e47f58f34aa73211b9f66417498353b50780c00aceeef80294"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eUr9WI9M2bmsq+2WqEEFl+WXb4whera/aUP4IHpDgz+DyOuFaBQyvyM1+8QDF6GaOlH67x81YFYABhwBQWyWCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T06:01:41.901232Z","bundle_sha256":"dc35500b7a6ef19ed6cd67f80858ff9adb1602e609e0a1d2ff49139a82617400"}}