{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TBFJBBZK3PITRS3KH5WCGVBQ26","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":"7ee2bc7a671dcd83f5310fcc8d517beac568398d8fbb4471885c0037c8ed900d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-02T23:20:08Z","title_canon_sha256":"78fc6914ac74eb422968f4b82536d24c0f8ebc8e797ec3304e19d6edebdb9ff7"},"schema_version":"1.0","source":{"id":"1705.01201","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01201","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01201v1","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01201","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"pith_short_12","alias_value":"TBFJBBZK3PIT","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"TBFJBBZK3PITRS3K","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"TBFJBBZK","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:bb3b1d641fe73abd1c9871c5c34c5d5afafd8ced146e03b037debf5c109a1512","target":"graph","created_at":"2026-05-18T00:45:05Z","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":"In [1] we consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization, where we provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. With the present work we complement our investigations of [1","authors_text":"Ahmad Ahmad Ali, Klaus Deckelnick, Michael Hinze","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-02T23:20:08Z","title":"Error analysis for global minima of semilinear optimal control problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01201","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:11e8be42d17b3702f0827acf3797e40287d11d028b164751988931463744b367","target":"record","created_at":"2026-05-18T00:45:05Z","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":"7ee2bc7a671dcd83f5310fcc8d517beac568398d8fbb4471885c0037c8ed900d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-02T23:20:08Z","title_canon_sha256":"78fc6914ac74eb422968f4b82536d24c0f8ebc8e797ec3304e19d6edebdb9ff7"},"schema_version":"1.0","source":{"id":"1705.01201","kind":"arxiv","version":1}},"canonical_sha256":"984a90872adbd138cb6a3f6c235430d7ba445cde8686aa014286a5a854618352","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"984a90872adbd138cb6a3f6c235430d7ba445cde8686aa014286a5a854618352","first_computed_at":"2026-05-18T00:45:05.690214Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:05.690214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N0qSPHhaHip6NTS2dukUkoSOkUahqzYyHp0mZ1sKDKyiO1lpHVxwnnd6Ik1xZyqtPPMInCVL9HH518J22nncCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:05.690656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.01201","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11e8be42d17b3702f0827acf3797e40287d11d028b164751988931463744b367","sha256:bb3b1d641fe73abd1c9871c5c34c5d5afafd8ced146e03b037debf5c109a1512"],"state_sha256":"85bcff798e4235822e0de9a0e8fd729d879a1fa8154862fd1dfc624b12284e3d"}