{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:E6NOT3S6XW7LR7PLXJKSWF2CCY","short_pith_number":"pith:E6NOT3S6","canonical_record":{"source":{"id":"1810.08556","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-19T15:47:27Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"83d9401cee2c8f949829b1d558f440b7d61afa669d1813cea92797732a34dd75","abstract_canon_sha256":"8251359fa942742358f4336620f03ac4bd8794cdf22f73733fd298e67d1c2c39"},"schema_version":"1.0"},"canonical_sha256":"279ae9ee5ebdbeb8fdebba552b1742162874a6b93ff8872c72ea52a72fd0b6df","source":{"kind":"arxiv","id":"1810.08556","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.08556","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"arxiv_version","alias_value":"1810.08556v1","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.08556","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"pith_short_12","alias_value":"E6NOT3S6XW7L","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"E6NOT3S6XW7LR7PL","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"E6NOT3S6","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:E6NOT3S6XW7LR7PLXJKSWF2CCY","target":"record","payload":{"canonical_record":{"source":{"id":"1810.08556","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-19T15:47:27Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"83d9401cee2c8f949829b1d558f440b7d61afa669d1813cea92797732a34dd75","abstract_canon_sha256":"8251359fa942742358f4336620f03ac4bd8794cdf22f73733fd298e67d1c2c39"},"schema_version":"1.0"},"canonical_sha256":"279ae9ee5ebdbeb8fdebba552b1742162874a6b93ff8872c72ea52a72fd0b6df","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:47.794683Z","signature_b64":"BoftTITpoAolUWbHWpGgnPQIWIOxIhVK5qkn7e8MKmSXdn1kFgwGAhhYkm/Jji+9xsMLXWZM9e2oRgWmLGIPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"279ae9ee5ebdbeb8fdebba552b1742162874a6b93ff8872c72ea52a72fd0b6df","last_reissued_at":"2026-05-18T00:02:47.794257Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:47.794257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.08556","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-18T00:02:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hPOkBsMIxVFkzkDPDziZQF5ze9zD9uXLBK/oR68HNvcO4OF1n9Acz1xgUPp8ofwv2FaKP9iJN8OsQ0kcv2lkBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:43:39.867440Z"},"content_sha256":"68393b433496bb58873aa2973502e5a2c5293a88219a84ea0d2ed7cd191a5929","schema_version":"1.0","event_id":"sha256:68393b433496bb58873aa2973502e5a2c5293a88219a84ea0d2ed7cd191a5929"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:E6NOT3S6XW7LR7PLXJKSWF2CCY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global minima for optimal control of the obstacle problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"math.OC","authors_text":"Ahmad Ahmad Ali, Klaus Deckelnick, Michael Hinze","submitted_at":"2018-10-19T15:47:27Z","abstract_excerpt":"An optimal control problem subject to an elliptic obstacle problem is studied. We obtain a numerical approximation of this problem by discretising the PDE obtained via a Moreau--Yosida type penalisation. For the resulting discrete control problem we provide a condition that allows to decide whether a solution of the necessary first order conditions is a global minimum. In addition we show that the corresponding result can be transferred to the limit problem provided that the above condition holds uniformly in the penalisation and discretisation parameters. Numerical examples with unique global"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.08556","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-18T00:02:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m3yB+qLKYr2D51+JOClslq7oeuZvUpvALS4x8+fJWsX4SalMBZG4vt/bY7Y9HqzULBU67UGRn9rfrQopI6REAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:43:39.867785Z"},"content_sha256":"2b292684805454d079d1eef435970717492806d6723acd24660b7fb40b8b42dd","schema_version":"1.0","event_id":"sha256:2b292684805454d079d1eef435970717492806d6723acd24660b7fb40b8b42dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/bundle.json","state_url":"https://pith.science/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/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-03T21:43:39Z","links":{"resolver":"https://pith.science/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY","bundle":"https://pith.science/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/bundle.json","state":"https://pith.science/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E6NOT3S6XW7LR7PLXJKSWF2CCY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:E6NOT3S6XW7LR7PLXJKSWF2CCY","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":"8251359fa942742358f4336620f03ac4bd8794cdf22f73733fd298e67d1c2c39","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-19T15:47:27Z","title_canon_sha256":"83d9401cee2c8f949829b1d558f440b7d61afa669d1813cea92797732a34dd75"},"schema_version":"1.0","source":{"id":"1810.08556","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.08556","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"arxiv_version","alias_value":"1810.08556v1","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.08556","created_at":"2026-05-18T00:02:47Z"},{"alias_kind":"pith_short_12","alias_value":"E6NOT3S6XW7L","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"E6NOT3S6XW7LR7PL","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"E6NOT3S6","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:2b292684805454d079d1eef435970717492806d6723acd24660b7fb40b8b42dd","target":"graph","created_at":"2026-05-18T00:02:47Z","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":"An optimal control problem subject to an elliptic obstacle problem is studied. We obtain a numerical approximation of this problem by discretising the PDE obtained via a Moreau--Yosida type penalisation. For the resulting discrete control problem we provide a condition that allows to decide whether a solution of the necessary first order conditions is a global minimum. In addition we show that the corresponding result can be transferred to the limit problem provided that the above condition holds uniformly in the penalisation and discretisation parameters. Numerical examples with unique global","authors_text":"Ahmad Ahmad Ali, Klaus Deckelnick, Michael Hinze","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-19T15:47:27Z","title":"Global minima for optimal control of the obstacle problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.08556","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:68393b433496bb58873aa2973502e5a2c5293a88219a84ea0d2ed7cd191a5929","target":"record","created_at":"2026-05-18T00:02:47Z","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":"8251359fa942742358f4336620f03ac4bd8794cdf22f73733fd298e67d1c2c39","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-19T15:47:27Z","title_canon_sha256":"83d9401cee2c8f949829b1d558f440b7d61afa669d1813cea92797732a34dd75"},"schema_version":"1.0","source":{"id":"1810.08556","kind":"arxiv","version":1}},"canonical_sha256":"279ae9ee5ebdbeb8fdebba552b1742162874a6b93ff8872c72ea52a72fd0b6df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"279ae9ee5ebdbeb8fdebba552b1742162874a6b93ff8872c72ea52a72fd0b6df","first_computed_at":"2026-05-18T00:02:47.794257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:47.794257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BoftTITpoAolUWbHWpGgnPQIWIOxIhVK5qkn7e8MKmSXdn1kFgwGAhhYkm/Jji+9xsMLXWZM9e2oRgWmLGIPBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:47.794683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.08556","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:68393b433496bb58873aa2973502e5a2c5293a88219a84ea0d2ed7cd191a5929","sha256:2b292684805454d079d1eef435970717492806d6723acd24660b7fb40b8b42dd"],"state_sha256":"461268cded9ffac523f4caebc2a48bdd4bc4f9c229867a37564700f4d8e50d4f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tq4KwQW7Dg5AfOKPxkg8dY90EmQHHxfqAmo3BbXW9Hz0cZPcb5xFVH+XGYfE22yN4YEVjixybQa1otruzzUeCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T21:43:39.869734Z","bundle_sha256":"1d5156e0c32cad4a8a276058abdf04088282509d59ce7ea6d64c7371faa7eb5a"}}