{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:YQTHBSR4KVZ4UIOTYLRORB7ITA","short_pith_number":"pith:YQTHBSR4","canonical_record":{"source":{"id":"1503.07086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-24T15:50:38Z","cross_cats_sorted":[],"title_canon_sha256":"c7f286bdafb0fe035f2af8bfa3b9361efc147c35023f3dff7e8e0623e2afa466","abstract_canon_sha256":"b71f2403c151e1c88d3b501250480591af2089388b5e2d9e943a07a81633b9a3"},"schema_version":"1.0"},"canonical_sha256":"c42670ca3c5573ca21d3c2e2e887e8980ce6f015e5f0b676ee9b6006968ea149","source":{"kind":"arxiv","id":"1503.07086","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07086","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07086v1","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07086","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"pith_short_12","alias_value":"YQTHBSR4KVZ4","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YQTHBSR4KVZ4UIOT","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YQTHBSR4","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:YQTHBSR4KVZ4UIOTYLRORB7ITA","target":"record","payload":{"canonical_record":{"source":{"id":"1503.07086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-24T15:50:38Z","cross_cats_sorted":[],"title_canon_sha256":"c7f286bdafb0fe035f2af8bfa3b9361efc147c35023f3dff7e8e0623e2afa466","abstract_canon_sha256":"b71f2403c151e1c88d3b501250480591af2089388b5e2d9e943a07a81633b9a3"},"schema_version":"1.0"},"canonical_sha256":"c42670ca3c5573ca21d3c2e2e887e8980ce6f015e5f0b676ee9b6006968ea149","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:20:29.423363Z","signature_b64":"VTR0gjGRJCk6EVMxSfaHEFqsPDrSkCRAuubn+s3P9N4HcqNjGpqyQm7J//Y2rPiWoEq0qtQ7EWeTrScNm6XoBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c42670ca3c5573ca21d3c2e2e887e8980ce6f015e5f0b676ee9b6006968ea149","last_reissued_at":"2026-05-18T02:20:29.422929Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:20:29.422929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.07086","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-18T02:20:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y/Y1Drz4V2gEfa+fB5vRNJWc4myzNCfnhANI6VERNpEac8EUGU0StIH7+U01LXycA1bRXtT6YKW9vLlLQXGQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:56:02.022400Z"},"content_sha256":"6fefa69b61f000f6dcb4b5af8675d059eb00215a818beffa4092187b116f013d","schema_version":"1.0","event_id":"sha256:6fefa69b61f000f6dcb4b5af8675d059eb00215a818beffa4092187b116f013d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:YQTHBSR4KVZ4UIOTYLRORB7ITA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global minima for semilinear optimal control problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ahmad Ahmad Ali, Klaus Deckelnick, Michael Hinze","submitted_at":"2015-03-24T15:50:38Z","abstract_excerpt":"We consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. 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. Numerical examples with unique global solutions are presented."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07086","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-18T02:20:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fPv7HTgsOMTCPAAB9+NTMMoR158wZAWEtkKJx75F+SAPhr/ASwRpMPLZUG8rke7KleyAUTunK0P7Mi/tW6UIAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:56:02.022751Z"},"content_sha256":"a9b21ff7aeb50043eac5ba7416fe15f0b6fa887ce35fa3f434429569132018af","schema_version":"1.0","event_id":"sha256:a9b21ff7aeb50043eac5ba7416fe15f0b6fa887ce35fa3f434429569132018af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/bundle.json","state_url":"https://pith.science/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/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-06-03T13:56:02Z","links":{"resolver":"https://pith.science/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA","bundle":"https://pith.science/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/bundle.json","state":"https://pith.science/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YQTHBSR4KVZ4UIOTYLRORB7ITA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YQTHBSR4KVZ4UIOTYLRORB7ITA","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":"b71f2403c151e1c88d3b501250480591af2089388b5e2d9e943a07a81633b9a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-24T15:50:38Z","title_canon_sha256":"c7f286bdafb0fe035f2af8bfa3b9361efc147c35023f3dff7e8e0623e2afa466"},"schema_version":"1.0","source":{"id":"1503.07086","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07086","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07086v1","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07086","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"pith_short_12","alias_value":"YQTHBSR4KVZ4","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YQTHBSR4KVZ4UIOT","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YQTHBSR4","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:a9b21ff7aeb50043eac5ba7416fe15f0b6fa887ce35fa3f434429569132018af","target":"graph","created_at":"2026-05-18T02:20:29Z","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 consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. 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. Numerical examples with unique global solutions are presented.","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":"2015-03-24T15:50:38Z","title":"Global minima for semilinear optimal control problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07086","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:6fefa69b61f000f6dcb4b5af8675d059eb00215a818beffa4092187b116f013d","target":"record","created_at":"2026-05-18T02:20:29Z","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":"b71f2403c151e1c88d3b501250480591af2089388b5e2d9e943a07a81633b9a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-24T15:50:38Z","title_canon_sha256":"c7f286bdafb0fe035f2af8bfa3b9361efc147c35023f3dff7e8e0623e2afa466"},"schema_version":"1.0","source":{"id":"1503.07086","kind":"arxiv","version":1}},"canonical_sha256":"c42670ca3c5573ca21d3c2e2e887e8980ce6f015e5f0b676ee9b6006968ea149","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c42670ca3c5573ca21d3c2e2e887e8980ce6f015e5f0b676ee9b6006968ea149","first_computed_at":"2026-05-18T02:20:29.422929Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:20:29.422929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VTR0gjGRJCk6EVMxSfaHEFqsPDrSkCRAuubn+s3P9N4HcqNjGpqyQm7J//Y2rPiWoEq0qtQ7EWeTrScNm6XoBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:20:29.423363Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.07086","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fefa69b61f000f6dcb4b5af8675d059eb00215a818beffa4092187b116f013d","sha256:a9b21ff7aeb50043eac5ba7416fe15f0b6fa887ce35fa3f434429569132018af"],"state_sha256":"7c0bdd7edf043d359911e5f8d24f42ba7fa232ba49d43daaceeb3d47ea8e3e96"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s0Nd1uxHdHJ1ihwD/+rMNcda7pkqjR7nX7mz9wdZ0kT4NDuPF2FS7eszURZ93501suPGYqkT8vAo44iVjAgpDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T13:56:02.024683Z","bundle_sha256":"4abba8a1d5c83e74986fc8473783172f1ab67cdd7fde354928b65ed5c4c002e0"}}