{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5S3XC4WPYMXHCFSOREJXPPL3J3","short_pith_number":"pith:5S3XC4WP","canonical_record":{"source":{"id":"1902.09583","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-02-25T19:41:06Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a2a8802e1b1a0e737cef82ce01c08fd633f4022ac0a5f8958ed8d684cfe88e33","abstract_canon_sha256":"a980b96660e332aa2f245d0aed14e466d63f95f9e70c72c6dd20bbc23ff12f30"},"schema_version":"1.0"},"canonical_sha256":"ecb77172cfc32e71164e891377bd7b4ec1027851a960b36ba748b43009a3ddcf","source":{"kind":"arxiv","id":"1902.09583","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09583","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09583v3","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09583","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_12","alias_value":"5S3XC4WPYMXH","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_16","alias_value":"5S3XC4WPYMXHCFSO","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_8","alias_value":"5S3XC4WP","created_at":"2026-06-04T20:13:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5S3XC4WPYMXHCFSOREJXPPL3J3","target":"record","payload":{"canonical_record":{"source":{"id":"1902.09583","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-02-25T19:41:06Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a2a8802e1b1a0e737cef82ce01c08fd633f4022ac0a5f8958ed8d684cfe88e33","abstract_canon_sha256":"a980b96660e332aa2f245d0aed14e466d63f95f9e70c72c6dd20bbc23ff12f30"},"schema_version":"1.0"},"canonical_sha256":"ecb77172cfc32e71164e891377bd7b4ec1027851a960b36ba748b43009a3ddcf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T20:13:56.195549Z","signature_b64":"T6++0mK04F+cNYdYzxQEftsN+BAl3jPaOOolz3wQ49/24gM651YxI0j9u+YP5WoH+fZshhuJaLX77lHMriBvCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ecb77172cfc32e71164e891377bd7b4ec1027851a960b36ba748b43009a3ddcf","last_reissued_at":"2026-06-04T20:13:56.195029Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T20:13:56.195029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.09583","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-06-04T20:13:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I/B7DCjLiCikFeYO1TmpXz2EbjPHlbbDCdns+eyvxaYqou5feb1A/yrWBDM5llWSZR7LM2TzvTd2A19vuDNHCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:52:12.111277Z"},"content_sha256":"f750727341be5e48f8ee91b27b96d990bf13bd1de9b46491ee46894e06630ad2","schema_version":"1.0","event_id":"sha256:f750727341be5e48f8ee91b27b96d990bf13bd1de9b46491ee46894e06630ad2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5S3XC4WPYMXHCFSOREJXPPL3J3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Duality between density function and value function with applications in constrained optimal control and Markov Decision Process","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Yuxiao Chen","submitted_at":"2019-02-25T19:41:06Z","abstract_excerpt":"Density function describes the density of states in the state space of a dynamic system or a Markov Decision Process (MDP). Its evolution follows the Liouville equation. We show that the density function is the dual of the value function in the optimal control problems. By utilizing the duality, constraints that are hard to enforce in the primal value function optimization such as safety constraints in robot navigation, traffic capacity constraints in traffic flow control can be posed on the density function, and the constrained optimal control problem can be solved with a primal-dual algorith"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09583","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1902.09583/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"},"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-06-04T20:13:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gdp0vvMnMrQPfc9Udr33qp3pYEguuC2yOZqOEKoJde2+xBNFmqCNd+eTOj+7/EwHLNp5f/2RFIP10efn7nzcBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:52:12.111672Z"},"content_sha256":"e730257a5be4b093aba294b569b7e54fb9255f48bd35e69b6ea7b57002989c60","schema_version":"1.0","event_id":"sha256:e730257a5be4b093aba294b569b7e54fb9255f48bd35e69b6ea7b57002989c60"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/bundle.json","state_url":"https://pith.science/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/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-07-14T23:52:12Z","links":{"resolver":"https://pith.science/pith/5S3XC4WPYMXHCFSOREJXPPL3J3","bundle":"https://pith.science/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/bundle.json","state":"https://pith.science/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5S3XC4WPYMXHCFSOREJXPPL3J3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5S3XC4WPYMXHCFSOREJXPPL3J3","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":"a980b96660e332aa2f245d0aed14e466d63f95f9e70c72c6dd20bbc23ff12f30","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-02-25T19:41:06Z","title_canon_sha256":"a2a8802e1b1a0e737cef82ce01c08fd633f4022ac0a5f8958ed8d684cfe88e33"},"schema_version":"1.0","source":{"id":"1902.09583","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09583","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09583v3","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09583","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_12","alias_value":"5S3XC4WPYMXH","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_16","alias_value":"5S3XC4WPYMXHCFSO","created_at":"2026-06-04T20:13:56Z"},{"alias_kind":"pith_short_8","alias_value":"5S3XC4WP","created_at":"2026-06-04T20:13:56Z"}],"graph_snapshots":[{"event_id":"sha256:e730257a5be4b093aba294b569b7e54fb9255f48bd35e69b6ea7b57002989c60","target":"graph","created_at":"2026-06-04T20:13: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1902.09583/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Density function describes the density of states in the state space of a dynamic system or a Markov Decision Process (MDP). Its evolution follows the Liouville equation. We show that the density function is the dual of the value function in the optimal control problems. By utilizing the duality, constraints that are hard to enforce in the primal value function optimization such as safety constraints in robot navigation, traffic capacity constraints in traffic flow control can be posed on the density function, and the constrained optimal control problem can be solved with a primal-dual algorith","authors_text":"Aaron D. Ames, Yuxiao Chen","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-02-25T19:41:06Z","title":"Duality between density function and value function with applications in constrained optimal control and Markov Decision Process"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09583","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:f750727341be5e48f8ee91b27b96d990bf13bd1de9b46491ee46894e06630ad2","target":"record","created_at":"2026-06-04T20:13: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":"a980b96660e332aa2f245d0aed14e466d63f95f9e70c72c6dd20bbc23ff12f30","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-02-25T19:41:06Z","title_canon_sha256":"a2a8802e1b1a0e737cef82ce01c08fd633f4022ac0a5f8958ed8d684cfe88e33"},"schema_version":"1.0","source":{"id":"1902.09583","kind":"arxiv","version":3}},"canonical_sha256":"ecb77172cfc32e71164e891377bd7b4ec1027851a960b36ba748b43009a3ddcf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ecb77172cfc32e71164e891377bd7b4ec1027851a960b36ba748b43009a3ddcf","first_computed_at":"2026-06-04T20:13:56.195029Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T20:13:56.195029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T6++0mK04F+cNYdYzxQEftsN+BAl3jPaOOolz3wQ49/24gM651YxI0j9u+YP5WoH+fZshhuJaLX77lHMriBvCQ==","signature_status":"signed_v1","signed_at":"2026-06-04T20:13:56.195549Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.09583","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f750727341be5e48f8ee91b27b96d990bf13bd1de9b46491ee46894e06630ad2","sha256:e730257a5be4b093aba294b569b7e54fb9255f48bd35e69b6ea7b57002989c60"],"state_sha256":"81cada5f0e6f84bc2abc2dd9dceaa16a5fed387519fcba308ae5475fe2602e89"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4ZxRauQQGUN9gOIlBXY3EH4TGm/ZJtSZ0P7puE3Hj94AfPYw9aFuJwJV0TS0BzRkIcFBNdn9E6Od7/2POm6ZAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-14T23:52:12.113775Z","bundle_sha256":"773701459303d5eb2312dec9c4fa23cce00878b0c245c6ba7b0514d5416f4893"}}