{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:H5RERZ5HEA7TOEOHW4R2NE3YIG","short_pith_number":"pith:H5RERZ5H","canonical_record":{"source":{"id":"1405.3538","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2014-05-14T15:29:35Z","cross_cats_sorted":[],"title_canon_sha256":"4bd7e12ae11989cea8ba71f1024196f37afa5fb541013385e3665318ccd240f3","abstract_canon_sha256":"49c25d349620f36d11ebf35bc57d930bc3e94aa90cd65e4e941cd834a36c587f"},"schema_version":"1.0"},"canonical_sha256":"3f6248e7a7203f3711c7b723a693784185fc10faeb99939835f3f4ea610929b5","source":{"kind":"arxiv","id":"1405.3538","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3538","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3538v4","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3538","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"pith_short_12","alias_value":"H5RERZ5HEA7T","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"H5RERZ5HEA7TOEOH","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"H5RERZ5H","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:H5RERZ5HEA7TOEOHW4R2NE3YIG","target":"record","payload":{"canonical_record":{"source":{"id":"1405.3538","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2014-05-14T15:29:35Z","cross_cats_sorted":[],"title_canon_sha256":"4bd7e12ae11989cea8ba71f1024196f37afa5fb541013385e3665318ccd240f3","abstract_canon_sha256":"49c25d349620f36d11ebf35bc57d930bc3e94aa90cd65e4e941cd834a36c587f"},"schema_version":"1.0"},"canonical_sha256":"3f6248e7a7203f3711c7b723a693784185fc10faeb99939835f3f4ea610929b5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:43.593436Z","signature_b64":"foexZo5tZfuYrms8Jr3dxUWzs12N/hj2MBtsQtrrIyDopzTc88ZFR83k27kEBKWLVO1UFenogOtjjnEZ5/tpAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f6248e7a7203f3711c7b723a693784185fc10faeb99939835f3f4ea610929b5","last_reissued_at":"2026-05-18T01:12:43.593081Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:43.593081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.3538","source_version":4,"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:12:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K4+oaApiFjyMasMsnEB3p1MJ466PFlYdvmIv+h0XtARV4Jn6FzNI0ZGNSoq96r2hmGVmGXcdXUo9+ShfZIn8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T19:21:09.600521Z"},"content_sha256":"64a18661a3f4a069a2d3032dfdec7cd391fd120ce3b448f7415eeeab588fa403","schema_version":"1.0","event_id":"sha256:64a18661a3f4a069a2d3032dfdec7cd391fd120ce3b448f7415eeeab588fa403"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:H5RERZ5HEA7TOEOHW4R2NE3YIG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Switching in Finite Horizon under State Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"CREST), Idris Kharroubi (CEREMADE","submitted_at":"2014-05-14T15:29:35Z","abstract_excerpt":"We study an optimal switching problem with a state constraint: the controller is only allowed to choose strategies that keep the controlled diffusion in a closed domain. We prove that the value function associated with this problem is the limit of value functions associated with unconstrained switching problems with penalized coefficients, as the penalization parameter goes to infinity. This convergence allows to set a dynamic programming principle for the constrained switching problem. We then prove that the value function is a solution to a system of variational inequalities (SVI for short) "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3538","kind":"arxiv","version":4},"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:12:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CZIFEmpWlO+H+5SbjnfVXSfoE/LsiKw7nVFrO14MbeYulSZyo3tUKSPcy2C9FBRNnp2IrquZz4Emv4pCtuvWDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T19:21:09.601213Z"},"content_sha256":"335add9ef4fa78fd73331de9ad676fe8f761a4c237e213b3d4e1c48244dff321","schema_version":"1.0","event_id":"sha256:335add9ef4fa78fd73331de9ad676fe8f761a4c237e213b3d4e1c48244dff321"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/bundle.json","state_url":"https://pith.science/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/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-28T19:21:09Z","links":{"resolver":"https://pith.science/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG","bundle":"https://pith.science/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/bundle.json","state":"https://pith.science/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H5RERZ5HEA7TOEOHW4R2NE3YIG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:H5RERZ5HEA7TOEOHW4R2NE3YIG","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":"49c25d349620f36d11ebf35bc57d930bc3e94aa90cd65e4e941cd834a36c587f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2014-05-14T15:29:35Z","title_canon_sha256":"4bd7e12ae11989cea8ba71f1024196f37afa5fb541013385e3665318ccd240f3"},"schema_version":"1.0","source":{"id":"1405.3538","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3538","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3538v4","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3538","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"pith_short_12","alias_value":"H5RERZ5HEA7T","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"H5RERZ5HEA7TOEOH","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"H5RERZ5H","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:335add9ef4fa78fd73331de9ad676fe8f761a4c237e213b3d4e1c48244dff321","target":"graph","created_at":"2026-05-18T01:12:43Z","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 study an optimal switching problem with a state constraint: the controller is only allowed to choose strategies that keep the controlled diffusion in a closed domain. We prove that the value function associated with this problem is the limit of value functions associated with unconstrained switching problems with penalized coefficients, as the penalization parameter goes to infinity. This convergence allows to set a dynamic programming principle for the constrained switching problem. We then prove that the value function is a solution to a system of variational inequalities (SVI for short) ","authors_text":"CREST), Idris Kharroubi (CEREMADE","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2014-05-14T15:29:35Z","title":"Optimal Switching in Finite Horizon under State Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3538","kind":"arxiv","version":4},"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:64a18661a3f4a069a2d3032dfdec7cd391fd120ce3b448f7415eeeab588fa403","target":"record","created_at":"2026-05-18T01:12:43Z","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":"49c25d349620f36d11ebf35bc57d930bc3e94aa90cd65e4e941cd834a36c587f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2014-05-14T15:29:35Z","title_canon_sha256":"4bd7e12ae11989cea8ba71f1024196f37afa5fb541013385e3665318ccd240f3"},"schema_version":"1.0","source":{"id":"1405.3538","kind":"arxiv","version":4}},"canonical_sha256":"3f6248e7a7203f3711c7b723a693784185fc10faeb99939835f3f4ea610929b5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f6248e7a7203f3711c7b723a693784185fc10faeb99939835f3f4ea610929b5","first_computed_at":"2026-05-18T01:12:43.593081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:43.593081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"foexZo5tZfuYrms8Jr3dxUWzs12N/hj2MBtsQtrrIyDopzTc88ZFR83k27kEBKWLVO1UFenogOtjjnEZ5/tpAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:43.593436Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.3538","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:64a18661a3f4a069a2d3032dfdec7cd391fd120ce3b448f7415eeeab588fa403","sha256:335add9ef4fa78fd73331de9ad676fe8f761a4c237e213b3d4e1c48244dff321"],"state_sha256":"3f9c0deef1a77cf50971e0af34e8af981885cc0d600061a8ce106695ebac55a8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AOxRad+ChJtZuPi/MA4M+HhjdwhKiBh7BE6Ki5SKX1hQXmY+LS/c8RWx/Qsm5uhBaFnttkyMaFGX2sWBf7DbDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T19:21:09.604722Z","bundle_sha256":"ee9e4e0b36df573d6975496f52e55b24a312a20ef78d1e3283daf68ae825c8fb"}}