{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5FPYCCOTO4YXLMFAJWLKQ3LRGD","short_pith_number":"pith:5FPYCCOT","canonical_record":{"source":{"id":"2407.20702","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2024-07-30T09:57:22Z","cross_cats_sorted":["cs.NA","math.OC"],"title_canon_sha256":"2599db3e4970ed43b0a4fc33115be65404294597c05a5a765d12783ee4a62482","abstract_canon_sha256":"a807f79d082b0f376c9a675be14391c69c463daf03d7de9f55e4003e6330555a"},"schema_version":"1.0"},"canonical_sha256":"e95f8109d3773175b0a04d96a86d7130e8601859d649eb64aea53b6ded7fa386","source":{"kind":"arxiv","id":"2407.20702","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.20702","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"2407.20702v2","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.20702","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"5FPYCCOTO4YX","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_16","alias_value":"5FPYCCOTO4YXLMFA","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_8","alias_value":"5FPYCCOT","created_at":"2026-05-20T01:04:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5FPYCCOTO4YXLMFAJWLKQ3LRGD","target":"record","payload":{"canonical_record":{"source":{"id":"2407.20702","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2024-07-30T09:57:22Z","cross_cats_sorted":["cs.NA","math.OC"],"title_canon_sha256":"2599db3e4970ed43b0a4fc33115be65404294597c05a5a765d12783ee4a62482","abstract_canon_sha256":"a807f79d082b0f376c9a675be14391c69c463daf03d7de9f55e4003e6330555a"},"schema_version":"1.0"},"canonical_sha256":"e95f8109d3773175b0a04d96a86d7130e8601859d649eb64aea53b6ded7fa386","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:04:49.861382Z","signature_b64":"ODcbcn02ruOZlTi3xK+YjPMDlYLkyXpULJsqhP0RvCO9SAmZECJOratsz01LMoPZn228JzQitcBdNBUkjkXDCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e95f8109d3773175b0a04d96a86d7130e8601859d649eb64aea53b6ded7fa386","last_reissued_at":"2026-05-20T01:04:49.860292Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:04:49.860292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.20702","source_version":2,"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-20T01:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uCiGh2J1N/+ZAKeKPdgKN49cj2L68NQruUQfNBZ3LAnZB/24JhXP5w5zuvSQA/hRhE42RqzcqOrYU0bFiDydAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:22:44.381925Z"},"content_sha256":"5e969669d43c1af508c565876fa21393fe97803a6d2b0833dbb0850c721b954a","schema_version":"1.0","event_id":"sha256:5e969669d43c1af508c565876fa21393fe97803a6d2b0833dbb0850c721b954a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5FPYCCOTO4YXLMFAJWLKQ3LRGD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A priori error estimates for optimal control problems governed by the transient Stokes equations and subject to state constraints pointwise in time","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.OC"],"primary_cat":"math.NA","authors_text":"Boris Vexler, Dmitriy Leykekhman, Jakob Wagner","submitted_at":"2024-07-30T09:57:22Z","abstract_excerpt":"In this paper, we consider a state constrained optimal control problem governed by the transient Stokes equations. The state constraint is given by an L2 functional in space, which is required to fulfill a pointwise bound in time. The discretization scheme for the Stokes equations consists of inf-sup stable finite elements in space and a discontinuous Galerkin method in time, for which we have recently established best approximation type error estimates. Using these error estimates, for the discrete control problem we establish error estimates and as a by-product we show an improved regularity"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.20702","kind":"arxiv","version":2},"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/2407.20702/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-05-20T01:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"12hBzbhBiTjQU2VULwn7NIUoa6V10rpq3EF3Lt13CA25lym37VUhpXMP9w32z2WlcxZfW1yybtoRMFSkgAnXDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:22:44.382338Z"},"content_sha256":"f94485fca30498722e1a805ea47b29577734d4f5b9f32451b7ed29d6679529a6","schema_version":"1.0","event_id":"sha256:f94485fca30498722e1a805ea47b29577734d4f5b9f32451b7ed29d6679529a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/bundle.json","state_url":"https://pith.science/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/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-05-28T15:22:44Z","links":{"resolver":"https://pith.science/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD","bundle":"https://pith.science/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/bundle.json","state":"https://pith.science/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5FPYCCOTO4YXLMFAJWLKQ3LRGD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5FPYCCOTO4YXLMFAJWLKQ3LRGD","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":"a807f79d082b0f376c9a675be14391c69c463daf03d7de9f55e4003e6330555a","cross_cats_sorted":["cs.NA","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2024-07-30T09:57:22Z","title_canon_sha256":"2599db3e4970ed43b0a4fc33115be65404294597c05a5a765d12783ee4a62482"},"schema_version":"1.0","source":{"id":"2407.20702","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.20702","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"2407.20702v2","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.20702","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"5FPYCCOTO4YX","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_16","alias_value":"5FPYCCOTO4YXLMFA","created_at":"2026-05-20T01:04:49Z"},{"alias_kind":"pith_short_8","alias_value":"5FPYCCOT","created_at":"2026-05-20T01:04:49Z"}],"graph_snapshots":[{"event_id":"sha256:f94485fca30498722e1a805ea47b29577734d4f5b9f32451b7ed29d6679529a6","target":"graph","created_at":"2026-05-20T01:04:49Z","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/2407.20702/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we consider a state constrained optimal control problem governed by the transient Stokes equations. The state constraint is given by an L2 functional in space, which is required to fulfill a pointwise bound in time. The discretization scheme for the Stokes equations consists of inf-sup stable finite elements in space and a discontinuous Galerkin method in time, for which we have recently established best approximation type error estimates. Using these error estimates, for the discrete control problem we establish error estimates and as a by-product we show an improved regularity","authors_text":"Boris Vexler, Dmitriy Leykekhman, Jakob Wagner","cross_cats":["cs.NA","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2024-07-30T09:57:22Z","title":"A priori error estimates for optimal control problems governed by the transient Stokes equations and subject to state constraints pointwise in time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.20702","kind":"arxiv","version":2},"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:5e969669d43c1af508c565876fa21393fe97803a6d2b0833dbb0850c721b954a","target":"record","created_at":"2026-05-20T01:04:49Z","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":"a807f79d082b0f376c9a675be14391c69c463daf03d7de9f55e4003e6330555a","cross_cats_sorted":["cs.NA","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2024-07-30T09:57:22Z","title_canon_sha256":"2599db3e4970ed43b0a4fc33115be65404294597c05a5a765d12783ee4a62482"},"schema_version":"1.0","source":{"id":"2407.20702","kind":"arxiv","version":2}},"canonical_sha256":"e95f8109d3773175b0a04d96a86d7130e8601859d649eb64aea53b6ded7fa386","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e95f8109d3773175b0a04d96a86d7130e8601859d649eb64aea53b6ded7fa386","first_computed_at":"2026-05-20T01:04:49.860292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:04:49.860292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ODcbcn02ruOZlTi3xK+YjPMDlYLkyXpULJsqhP0RvCO9SAmZECJOratsz01LMoPZn228JzQitcBdNBUkjkXDCQ==","signature_status":"signed_v1","signed_at":"2026-05-20T01:04:49.861382Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.20702","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e969669d43c1af508c565876fa21393fe97803a6d2b0833dbb0850c721b954a","sha256:f94485fca30498722e1a805ea47b29577734d4f5b9f32451b7ed29d6679529a6"],"state_sha256":"7c64396ad74a66540cfe9255be5aef010f0294707bf826655577c08a49f20fc3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9wZdBBO9iCCdcelkBODhnfo8CqZPTx+aCikvrUqMmyz4jcA1T0f818zpUJj/K0fxEoH4mHS9vtguqPGrXGEYDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T15:22:44.384512Z","bundle_sha256":"ac718cefbefb87b445bc357a75a5dd56d571f4ce76659d9ef33ad52349414c8f"}}