{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5SA7OQAR54UBLY5RKBULQ4YFJ6","short_pith_number":"pith:5SA7OQAR","canonical_record":{"source":{"id":"2412.20310","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-12-29T01:09:06Z","cross_cats_sorted":[],"title_canon_sha256":"fa1a6dacce05eb0b7a92d000fe2d5de4d5a8409cae4d65ba1d0f97837b78e4d3","abstract_canon_sha256":"210129824452a5d05131733c4a738ce2c6b2008892fab08c5bbc75c9aa94b36f"},"schema_version":"1.0"},"canonical_sha256":"ec81f74011ef2815e3b15068b873054fbd966d278c81347874fd977502ce5869","source":{"kind":"arxiv","id":"2412.20310","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.20310","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"arxiv_version","alias_value":"2412.20310v3","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.20310","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_12","alias_value":"5SA7OQAR54UB","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_16","alias_value":"5SA7OQAR54UBLY5R","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_8","alias_value":"5SA7OQAR","created_at":"2026-07-07T02:19:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5SA7OQAR54UBLY5RKBULQ4YFJ6","target":"record","payload":{"canonical_record":{"source":{"id":"2412.20310","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-12-29T01:09:06Z","cross_cats_sorted":[],"title_canon_sha256":"fa1a6dacce05eb0b7a92d000fe2d5de4d5a8409cae4d65ba1d0f97837b78e4d3","abstract_canon_sha256":"210129824452a5d05131733c4a738ce2c6b2008892fab08c5bbc75c9aa94b36f"},"schema_version":"1.0"},"canonical_sha256":"ec81f74011ef2815e3b15068b873054fbd966d278c81347874fd977502ce5869","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:19:37.019892Z","signature_b64":"58rO+SWs55dA/z/F0eSN164HaDXUXKaJXpB/hyYNxcLg8XNWsV/xXh57l6Fb4uu2ambAE8xN0F2XMUDutBbBAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec81f74011ef2815e3b15068b873054fbd966d278c81347874fd977502ce5869","last_reissued_at":"2026-07-07T02:19:37.018877Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:19:37.018877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.20310","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-07-07T02:19:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fJHkzghzocXW+3mfsrI+a+wP/hcFtSN9Go5kaaX61xhTBUOByH2UDzF7HilCZDBMiqPkJDadaVftbMudN5u3Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T16:46:42.855730Z"},"content_sha256":"9ff70080c5be9576a23d17fa4022d61170674cdda6cb30f090737b189a912306","schema_version":"1.0","event_id":"sha256:9ff70080c5be9576a23d17fa4022d61170674cdda6cb30f090737b189a912306"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5SA7OQAR54UBLY5RKBULQ4YFJ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differentiability of the value function in control-constrained parabolic problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alberto Dom\\'inguez Corella, Nicolai Jork, Stefan Volkwein","submitted_at":"2024-12-29T01:09:06Z","abstract_excerpt":"Along the optimal trajectory of an optimal control problem constrained by a semilinear parabolic partial differential equation, we prove the differentiability of the value function with respect to the initial condition and, under additional assumptions on the solution of the state equation, the differentiability of the value function with respect to the time variable. In our proof, we rely on local growth assumptions commonly associated with the study of second-order sufficient conditions. These assumptions are generally applicable to a wide range of problems, including, for instance, certain "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.20310","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/2412.20310/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-07T02:19:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GgtcDAjMGX3CdHL8mgpM5zZFG/+Kcn9OZ7C2/1fgIk1tPC2yTxavB/V0OOp50IdGGZr3ey4r7I8Dc5y83f8/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T16:46:42.856506Z"},"content_sha256":"472eff1fb1895db73665e3f6a34a0bcd825bb033764498f670f857422e885301","schema_version":"1.0","event_id":"sha256:472eff1fb1895db73665e3f6a34a0bcd825bb033764498f670f857422e885301"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/bundle.json","state_url":"https://pith.science/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/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-14T16:46:42Z","links":{"resolver":"https://pith.science/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6","bundle":"https://pith.science/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/bundle.json","state":"https://pith.science/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5SA7OQAR54UBLY5RKBULQ4YFJ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5SA7OQAR54UBLY5RKBULQ4YFJ6","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":"210129824452a5d05131733c4a738ce2c6b2008892fab08c5bbc75c9aa94b36f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-12-29T01:09:06Z","title_canon_sha256":"fa1a6dacce05eb0b7a92d000fe2d5de4d5a8409cae4d65ba1d0f97837b78e4d3"},"schema_version":"1.0","source":{"id":"2412.20310","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.20310","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"arxiv_version","alias_value":"2412.20310v3","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.20310","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_12","alias_value":"5SA7OQAR54UB","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_16","alias_value":"5SA7OQAR54UBLY5R","created_at":"2026-07-07T02:19:37Z"},{"alias_kind":"pith_short_8","alias_value":"5SA7OQAR","created_at":"2026-07-07T02:19:37Z"}],"graph_snapshots":[{"event_id":"sha256:472eff1fb1895db73665e3f6a34a0bcd825bb033764498f670f857422e885301","target":"graph","created_at":"2026-07-07T02:19:37Z","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/2412.20310/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Along the optimal trajectory of an optimal control problem constrained by a semilinear parabolic partial differential equation, we prove the differentiability of the value function with respect to the initial condition and, under additional assumptions on the solution of the state equation, the differentiability of the value function with respect to the time variable. In our proof, we rely on local growth assumptions commonly associated with the study of second-order sufficient conditions. These assumptions are generally applicable to a wide range of problems, including, for instance, certain ","authors_text":"Alberto Dom\\'inguez Corella, Nicolai Jork, Stefan Volkwein","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-12-29T01:09:06Z","title":"Differentiability of the value function in control-constrained parabolic problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.20310","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:9ff70080c5be9576a23d17fa4022d61170674cdda6cb30f090737b189a912306","target":"record","created_at":"2026-07-07T02:19:37Z","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":"210129824452a5d05131733c4a738ce2c6b2008892fab08c5bbc75c9aa94b36f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-12-29T01:09:06Z","title_canon_sha256":"fa1a6dacce05eb0b7a92d000fe2d5de4d5a8409cae4d65ba1d0f97837b78e4d3"},"schema_version":"1.0","source":{"id":"2412.20310","kind":"arxiv","version":3}},"canonical_sha256":"ec81f74011ef2815e3b15068b873054fbd966d278c81347874fd977502ce5869","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec81f74011ef2815e3b15068b873054fbd966d278c81347874fd977502ce5869","first_computed_at":"2026-07-07T02:19:37.018877Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:19:37.018877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"58rO+SWs55dA/z/F0eSN164HaDXUXKaJXpB/hyYNxcLg8XNWsV/xXh57l6Fb4uu2ambAE8xN0F2XMUDutBbBAA==","signature_status":"signed_v1","signed_at":"2026-07-07T02:19:37.019892Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.20310","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ff70080c5be9576a23d17fa4022d61170674cdda6cb30f090737b189a912306","sha256:472eff1fb1895db73665e3f6a34a0bcd825bb033764498f670f857422e885301"],"state_sha256":"09f3feff91fd075df02c9ee8f37426eb30fad1cf7fdb54e210586c3a9fb132d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lCSCG2ZwlYyzFfKvlVNB19I4jHemXoVg04XNMI2emaKGYEDqbutb/sGWAZ6uqvaEeu5ih2/sDhZRWOQTXeGuBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T16:46:42.864139Z","bundle_sha256":"c79cb93ae01962b1776bc840097ff691d84e8a2973c3f05759c4da27a9511386"}}