{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EE2PKAVQI74ACGL76HEKREM3DF","short_pith_number":"pith:EE2PKAVQ","canonical_record":{"source":{"id":"1202.1166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-02-06T15:13:07Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"6f321a54cc944be4800897e38f6a9cea03a22829eed0fc562c852adec2af7a86","abstract_canon_sha256":"63f892b67e921282d71da5b06d1d6d0d37c23b018377215ba10ef9b06fbcb40d"},"schema_version":"1.0"},"canonical_sha256":"2134f502b047f801197ff1c8a8919b194580d43bce191b5590bbf13bcb4d97f3","source":{"kind":"arxiv","id":"1202.1166","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.1166","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"arxiv_version","alias_value":"1202.1166v1","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.1166","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"pith_short_12","alias_value":"EE2PKAVQI74A","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EE2PKAVQI74ACGL7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EE2PKAVQ","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EE2PKAVQI74ACGL76HEKREM3DF","target":"record","payload":{"canonical_record":{"source":{"id":"1202.1166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-02-06T15:13:07Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"6f321a54cc944be4800897e38f6a9cea03a22829eed0fc562c852adec2af7a86","abstract_canon_sha256":"63f892b67e921282d71da5b06d1d6d0d37c23b018377215ba10ef9b06fbcb40d"},"schema_version":"1.0"},"canonical_sha256":"2134f502b047f801197ff1c8a8919b194580d43bce191b5590bbf13bcb4d97f3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:54.967983Z","signature_b64":"ji4k30FT+BrO4i36X/eWRjSCU1XVlrgDKWCKuxFceSMBx5AZ9RMYmuP+qAbsO7iQOEf9aijv3gc6cqYL6+eACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2134f502b047f801197ff1c8a8919b194580d43bce191b5590bbf13bcb4d97f3","last_reissued_at":"2026-05-18T04:02:54.967474Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:54.967474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.1166","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-18T04:02:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Jt0MjPO6lDOyQt+boAua9Sz4SMU1uvVLCtXKkngbUSHi6rHDDDp8QIAkbmKtadwmHUKMD59hbC/YHJxq9/SDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T04:42:29.254651Z"},"content_sha256":"de589a868866ebdef7929f757d2617b1d1c376ad223f1ec4adc25c34ef1f0a83","schema_version":"1.0","event_id":"sha256:de589a868866ebdef7929f757d2617b1d1c376ad223f1ec4adc25c34ef1f0a83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EE2PKAVQI74ACGL76HEKREM3DF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implicit-Explicit Runge-Kutta schemes for numerical discretization of optimal control problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.NA","authors_text":"Lorenzo Pareschi, Michael Herty, Sonja Steffensen","submitted_at":"2012-02-06T15:13:07Z","abstract_excerpt":"Implicit-explicit (IMEX) Runge-Kutta methods play a major rule in the numerical treatment of differential systems governed by stiff and non-stiff terms. This paper discusses order conditions and symplecticity properties of a class of IMEX Runge-Kutta methods in the context of optimal control problems. The analysis of the schemes is based on the continuous optimality system. Using suitable transformations of the adjoint equation, order conditions up to order three are proven as well as the relation between adjoint schemes obtained through different transformations is investigated. Conditions fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.1166","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-18T04:02:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BPuMql6piRPwoFdfeQLIKeh3nulf2AcFzrI+Pc8OIkNMH+V5724jA7SEeYYG6cOMatS48iQi/C6c2TXunFaDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T04:42:29.255024Z"},"content_sha256":"8f7e3957af9b1f966947e2bb0f333aa59908788f28d1b50aafcb9957a5746b6a","schema_version":"1.0","event_id":"sha256:8f7e3957af9b1f966947e2bb0f333aa59908788f28d1b50aafcb9957a5746b6a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EE2PKAVQI74ACGL76HEKREM3DF/bundle.json","state_url":"https://pith.science/pith/EE2PKAVQI74ACGL76HEKREM3DF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EE2PKAVQI74ACGL76HEKREM3DF/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-10T04:42:29Z","links":{"resolver":"https://pith.science/pith/EE2PKAVQI74ACGL76HEKREM3DF","bundle":"https://pith.science/pith/EE2PKAVQI74ACGL76HEKREM3DF/bundle.json","state":"https://pith.science/pith/EE2PKAVQI74ACGL76HEKREM3DF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EE2PKAVQI74ACGL76HEKREM3DF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EE2PKAVQI74ACGL76HEKREM3DF","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":"63f892b67e921282d71da5b06d1d6d0d37c23b018377215ba10ef9b06fbcb40d","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-02-06T15:13:07Z","title_canon_sha256":"6f321a54cc944be4800897e38f6a9cea03a22829eed0fc562c852adec2af7a86"},"schema_version":"1.0","source":{"id":"1202.1166","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.1166","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"arxiv_version","alias_value":"1202.1166v1","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.1166","created_at":"2026-05-18T04:02:54Z"},{"alias_kind":"pith_short_12","alias_value":"EE2PKAVQI74A","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EE2PKAVQI74ACGL7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EE2PKAVQ","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:8f7e3957af9b1f966947e2bb0f333aa59908788f28d1b50aafcb9957a5746b6a","target":"graph","created_at":"2026-05-18T04:02:54Z","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":"Implicit-explicit (IMEX) Runge-Kutta methods play a major rule in the numerical treatment of differential systems governed by stiff and non-stiff terms. This paper discusses order conditions and symplecticity properties of a class of IMEX Runge-Kutta methods in the context of optimal control problems. The analysis of the schemes is based on the continuous optimality system. Using suitable transformations of the adjoint equation, order conditions up to order three are proven as well as the relation between adjoint schemes obtained through different transformations is investigated. Conditions fo","authors_text":"Lorenzo Pareschi, Michael Herty, Sonja Steffensen","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-02-06T15:13:07Z","title":"Implicit-Explicit Runge-Kutta schemes for numerical discretization of optimal control problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.1166","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:de589a868866ebdef7929f757d2617b1d1c376ad223f1ec4adc25c34ef1f0a83","target":"record","created_at":"2026-05-18T04:02:54Z","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":"63f892b67e921282d71da5b06d1d6d0d37c23b018377215ba10ef9b06fbcb40d","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-02-06T15:13:07Z","title_canon_sha256":"6f321a54cc944be4800897e38f6a9cea03a22829eed0fc562c852adec2af7a86"},"schema_version":"1.0","source":{"id":"1202.1166","kind":"arxiv","version":1}},"canonical_sha256":"2134f502b047f801197ff1c8a8919b194580d43bce191b5590bbf13bcb4d97f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2134f502b047f801197ff1c8a8919b194580d43bce191b5590bbf13bcb4d97f3","first_computed_at":"2026-05-18T04:02:54.967474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:54.967474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ji4k30FT+BrO4i36X/eWRjSCU1XVlrgDKWCKuxFceSMBx5AZ9RMYmuP+qAbsO7iQOEf9aijv3gc6cqYL6+eACA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:54.967983Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.1166","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de589a868866ebdef7929f757d2617b1d1c376ad223f1ec4adc25c34ef1f0a83","sha256:8f7e3957af9b1f966947e2bb0f333aa59908788f28d1b50aafcb9957a5746b6a"],"state_sha256":"4760b7acf463b9ba06a88e752f8dda99451a1adfbee44f7086ee583e98c97f28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uOZXhL1Tnm/6lNNI+8/x3tzsSOCqqCwKbXVW18h5HQKT4+d2PadTjN+XA57fnfZKP+SnxFlx1pP4AjpP2f44Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T04:42:29.257124Z","bundle_sha256":"72ce758dca79c6e358d20f77296efdb2aef0b2dd3531cc198f15284ab49a627c"}}