{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HONIHDQRKW5U5JUIS3ZTK6JZPV","short_pith_number":"pith:HONIHDQR","canonical_record":{"source":{"id":"1802.03965","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-12T10:39:28Z","cross_cats_sorted":[],"title_canon_sha256":"a5c3a92bd37ed89ca450810a0bd817b3c635f4a16b77c8d74d33edb20bcda26e","abstract_canon_sha256":"cdabf1f45e6d1395e90aa0301b8d4b7c5b31830d187b95f3de36d54b536c9e1b"},"schema_version":"1.0"},"canonical_sha256":"3b9a838e1155bb4ea68896f33579397d55bab8fef4b7a493c92cbaefcdb8d5e6","source":{"kind":"arxiv","id":"1802.03965","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.03965","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"arxiv_version","alias_value":"1802.03965v1","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.03965","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"pith_short_12","alias_value":"HONIHDQRKW5U","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HONIHDQRKW5U5JUI","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HONIHDQR","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HONIHDQRKW5U5JUIS3ZTK6JZPV","target":"record","payload":{"canonical_record":{"source":{"id":"1802.03965","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-12T10:39:28Z","cross_cats_sorted":[],"title_canon_sha256":"a5c3a92bd37ed89ca450810a0bd817b3c635f4a16b77c8d74d33edb20bcda26e","abstract_canon_sha256":"cdabf1f45e6d1395e90aa0301b8d4b7c5b31830d187b95f3de36d54b536c9e1b"},"schema_version":"1.0"},"canonical_sha256":"3b9a838e1155bb4ea68896f33579397d55bab8fef4b7a493c92cbaefcdb8d5e6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:49.862002Z","signature_b64":"0lsoc67sUxW8er+luSyCL9LeL9YRc+bilXB0aorM7FVu4BEGFLk/wKyYvZ/DDEYiF0KdJ8YfEEtfhp4uKJd4AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b9a838e1155bb4ea68896f33579397d55bab8fef4b7a493c92cbaefcdb8d5e6","last_reissued_at":"2026-05-18T00:23:49.861302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:49.861302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.03965","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-18T00:23:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6IJZY3TztdAWk2AMS5G1K3dENUFcaADWMr/8PLcsTeHK4wHWQ7qpPRCN8IHfykc+jWM3/niXCdiXHoDJK5oaCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T04:18:18.266824Z"},"content_sha256":"efb937566e8dac7cd04ecd11cfd99fa4238d60f4e9023785eefdac0ed8ca474e","schema_version":"1.0","event_id":"sha256:efb937566e8dac7cd04ecd11cfd99fa4238d60f4e9023785eefdac0ed8ca474e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HONIHDQRKW5U5JUIS3ZTK6JZPV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimality Conditions in Variational Form for Non-Linear Constrained Stochastic Control Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Laurent Pfeiffer","submitted_at":"2018-02-12T10:39:28Z","abstract_excerpt":"Optimality conditions in the form of a variational inequality are proved for a class of constrained optimal control problems of stochastic differential equations. The cost function and the inequality constraints are functions of the probability distribution of the state variable at the final time. The analysis uses in an essential manner a convexity property of the set of reachable probability distributions. An augmented Lagrangian method based on the obtained optimality conditions is proposed and analyzed for solving iteratively the problem. At each iteration of the method, a standard stochas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.03965","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-18T00:23:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U56KnLe3JqnrBnRdlpzGpQWyX9ZEoEQtirNFaBS1DFA3o3vopW0C7lquZ8HLu+1dxX+f4j15y7hNEi5veCMfAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T04:18:18.267521Z"},"content_sha256":"0d830b8d4c12144fc2ab33cb3c73c320770768d955f93d95b1d636183117ccdc","schema_version":"1.0","event_id":"sha256:0d830b8d4c12144fc2ab33cb3c73c320770768d955f93d95b1d636183117ccdc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/bundle.json","state_url":"https://pith.science/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/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-11T04:18:18Z","links":{"resolver":"https://pith.science/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV","bundle":"https://pith.science/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/bundle.json","state":"https://pith.science/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HONIHDQRKW5U5JUIS3ZTK6JZPV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HONIHDQRKW5U5JUIS3ZTK6JZPV","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":"cdabf1f45e6d1395e90aa0301b8d4b7c5b31830d187b95f3de36d54b536c9e1b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-12T10:39:28Z","title_canon_sha256":"a5c3a92bd37ed89ca450810a0bd817b3c635f4a16b77c8d74d33edb20bcda26e"},"schema_version":"1.0","source":{"id":"1802.03965","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.03965","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"arxiv_version","alias_value":"1802.03965v1","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.03965","created_at":"2026-05-18T00:23:49Z"},{"alias_kind":"pith_short_12","alias_value":"HONIHDQRKW5U","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HONIHDQRKW5U5JUI","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HONIHDQR","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:0d830b8d4c12144fc2ab33cb3c73c320770768d955f93d95b1d636183117ccdc","target":"graph","created_at":"2026-05-18T00:23:49Z","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":"Optimality conditions in the form of a variational inequality are proved for a class of constrained optimal control problems of stochastic differential equations. The cost function and the inequality constraints are functions of the probability distribution of the state variable at the final time. The analysis uses in an essential manner a convexity property of the set of reachable probability distributions. An augmented Lagrangian method based on the obtained optimality conditions is proposed and analyzed for solving iteratively the problem. At each iteration of the method, a standard stochas","authors_text":"Laurent Pfeiffer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-12T10:39:28Z","title":"Optimality Conditions in Variational Form for Non-Linear Constrained Stochastic Control Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.03965","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:efb937566e8dac7cd04ecd11cfd99fa4238d60f4e9023785eefdac0ed8ca474e","target":"record","created_at":"2026-05-18T00:23:49Z","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":"cdabf1f45e6d1395e90aa0301b8d4b7c5b31830d187b95f3de36d54b536c9e1b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-12T10:39:28Z","title_canon_sha256":"a5c3a92bd37ed89ca450810a0bd817b3c635f4a16b77c8d74d33edb20bcda26e"},"schema_version":"1.0","source":{"id":"1802.03965","kind":"arxiv","version":1}},"canonical_sha256":"3b9a838e1155bb4ea68896f33579397d55bab8fef4b7a493c92cbaefcdb8d5e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b9a838e1155bb4ea68896f33579397d55bab8fef4b7a493c92cbaefcdb8d5e6","first_computed_at":"2026-05-18T00:23:49.861302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:49.861302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0lsoc67sUxW8er+luSyCL9LeL9YRc+bilXB0aorM7FVu4BEGFLk/wKyYvZ/DDEYiF0KdJ8YfEEtfhp4uKJd4AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:49.862002Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.03965","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efb937566e8dac7cd04ecd11cfd99fa4238d60f4e9023785eefdac0ed8ca474e","sha256:0d830b8d4c12144fc2ab33cb3c73c320770768d955f93d95b1d636183117ccdc"],"state_sha256":"33772b693502a32f381a2191f37d945faa091d1aefc5d9ccaecfca6affb6814a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/bYg1ClyMtLP6swhQfuUxrMKieJE0WgsBaA1rH18A+IRUbUaUSKn+os3ha+gJoYyZThfc8gpaszfPvalcpTIDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T04:18:18.271440Z","bundle_sha256":"50aca9a654209b97d6da8412fcd338f754e47aa4571f0c596e26e3028e146a7d"}}