{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NMNULTSFWFJVCTGUNP4PDSZXFL","short_pith_number":"pith:NMNULTSF","canonical_record":{"source":{"id":"2505.18379","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-05-23T21:13:13Z","cross_cats_sorted":[],"title_canon_sha256":"3341fb327a7b40ffb1afdea79789f9c274231f0561f34490ed18d7859d29f817","abstract_canon_sha256":"95ba6890d0873f379d6303b712ed165a92843418f1d085707cf5288ee479f76f"},"schema_version":"1.0"},"canonical_sha256":"6b1b45ce45b153514cd46bf8f1cb372ad2651c31d29ec89abea833297d2f9b1d","source":{"kind":"arxiv","id":"2505.18379","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.18379","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.18379v1","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.18379","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"NMNULTSFWFJV","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"NMNULTSFWFJVCTGU","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"NMNULTSF","created_at":"2026-07-05T11:08:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NMNULTSFWFJVCTGUNP4PDSZXFL","target":"record","payload":{"canonical_record":{"source":{"id":"2505.18379","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-05-23T21:13:13Z","cross_cats_sorted":[],"title_canon_sha256":"3341fb327a7b40ffb1afdea79789f9c274231f0561f34490ed18d7859d29f817","abstract_canon_sha256":"95ba6890d0873f379d6303b712ed165a92843418f1d085707cf5288ee479f76f"},"schema_version":"1.0"},"canonical_sha256":"6b1b45ce45b153514cd46bf8f1cb372ad2651c31d29ec89abea833297d2f9b1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:08:45.535455Z","signature_b64":"B30MHZdkZFaylnan6guYoVZXqKXDbPBQ8SCLXjb8cIOu/486JamXBRUYewT/SeXpKwf79B/vBxuSjvfb2wIqCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b1b45ce45b153514cd46bf8f1cb372ad2651c31d29ec89abea833297d2f9b1d","last_reissued_at":"2026-07-05T11:08:45.534952Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:08:45.534952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.18379","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-07-05T11:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Oyb0bB02lyCV1PT04uPj62hGRgFN/SKV1MWqbhucnvR4DxDFKwCBCW70Wx1tQNO/DlyvwEu5lZcJYf4S6TW+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T07:58:06.254097Z"},"content_sha256":"7501d31167e87ee9bb63a5d62d428f2426406dee94c9600c9b1d813a3b6a4616","schema_version":"1.0","event_id":"sha256:7501d31167e87ee9bb63a5d62d428f2426406dee94c9600c9b1d813a3b6a4616"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NMNULTSFWFJVCTGUNP4PDSZXFL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convergence of Proximal Policy Gradient Method for Problems with Control Dependent Diffusion Coefficients","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ashley Davey, Harry Zheng","submitted_at":"2025-05-23T21:13:13Z","abstract_excerpt":"We prove convergence of the proximal policy gradient method for a class of constrained stochastic control problems with control in both the drift and diffusion of the state process. The problem requires either the running or terminal cost to be strongly convex, but other terms may be non-convex. The inclusion of control-dependent diffusion introduces additional complexity in regularity analysis of the associated backward stochastic differential equation. We provide sufficient conditions under which the control iterates converge linearly to the optimal control, by deriving representations and e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.18379","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.18379/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-07-05T11:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aMfyNE7SvPHmKWY5H7JITmJpFS3o669DbGqcDKV8R06c71Fg4uE6LHFiMA9ugIldeLjq2r7OEBbfLZSNfoyFBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T07:58:06.254605Z"},"content_sha256":"d271bef4d7c5b57191b5a7c2013e78d74a156f1f597de6728d38654e9915c091","schema_version":"1.0","event_id":"sha256:d271bef4d7c5b57191b5a7c2013e78d74a156f1f597de6728d38654e9915c091"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/bundle.json","state_url":"https://pith.science/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/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-08-08T07:58:06Z","links":{"resolver":"https://pith.science/pith/NMNULTSFWFJVCTGUNP4PDSZXFL","bundle":"https://pith.science/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/bundle.json","state":"https://pith.science/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NMNULTSFWFJVCTGUNP4PDSZXFL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NMNULTSFWFJVCTGUNP4PDSZXFL","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":"95ba6890d0873f379d6303b712ed165a92843418f1d085707cf5288ee479f76f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-05-23T21:13:13Z","title_canon_sha256":"3341fb327a7b40ffb1afdea79789f9c274231f0561f34490ed18d7859d29f817"},"schema_version":"1.0","source":{"id":"2505.18379","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.18379","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.18379v1","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.18379","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"NMNULTSFWFJV","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"NMNULTSFWFJVCTGU","created_at":"2026-07-05T11:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"NMNULTSF","created_at":"2026-07-05T11:08:45Z"}],"graph_snapshots":[{"event_id":"sha256:d271bef4d7c5b57191b5a7c2013e78d74a156f1f597de6728d38654e9915c091","target":"graph","created_at":"2026-07-05T11:08:45Z","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/2505.18379/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove convergence of the proximal policy gradient method for a class of constrained stochastic control problems with control in both the drift and diffusion of the state process. The problem requires either the running or terminal cost to be strongly convex, but other terms may be non-convex. The inclusion of control-dependent diffusion introduces additional complexity in regularity analysis of the associated backward stochastic differential equation. We provide sufficient conditions under which the control iterates converge linearly to the optimal control, by deriving representations and e","authors_text":"Ashley Davey, Harry Zheng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-05-23T21:13:13Z","title":"Convergence of Proximal Policy Gradient Method for Problems with Control Dependent Diffusion Coefficients"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.18379","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:7501d31167e87ee9bb63a5d62d428f2426406dee94c9600c9b1d813a3b6a4616","target":"record","created_at":"2026-07-05T11:08:45Z","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":"95ba6890d0873f379d6303b712ed165a92843418f1d085707cf5288ee479f76f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-05-23T21:13:13Z","title_canon_sha256":"3341fb327a7b40ffb1afdea79789f9c274231f0561f34490ed18d7859d29f817"},"schema_version":"1.0","source":{"id":"2505.18379","kind":"arxiv","version":1}},"canonical_sha256":"6b1b45ce45b153514cd46bf8f1cb372ad2651c31d29ec89abea833297d2f9b1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b1b45ce45b153514cd46bf8f1cb372ad2651c31d29ec89abea833297d2f9b1d","first_computed_at":"2026-07-05T11:08:45.534952Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:45.534952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B30MHZdkZFaylnan6guYoVZXqKXDbPBQ8SCLXjb8cIOu/486JamXBRUYewT/SeXpKwf79B/vBxuSjvfb2wIqCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:45.535455Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.18379","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7501d31167e87ee9bb63a5d62d428f2426406dee94c9600c9b1d813a3b6a4616","sha256:d271bef4d7c5b57191b5a7c2013e78d74a156f1f597de6728d38654e9915c091"],"state_sha256":"6c5148bab5480412e65ea16fdfbb1f9bda971e872d912475ca42ff566bac6caa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4mh8MicAvqrDavHzWgK5shfE740Bwyyh0VzOvV8sKsb0VxNSyU23HC7x9YQPmMv8iW8H10OrIo5d6n+wf2mIDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T07:58:06.260317Z","bundle_sha256":"b7acbe99ce5832710fd26764bfc48c319871f8a06ca951bbb814bd31e0493089"}}