{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JT365REXH46QTAESWNHD5U7CCE","short_pith_number":"pith:JT365REX","canonical_record":{"source":{"id":"2605.14060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-13T19:34:37Z","cross_cats_sorted":[],"title_canon_sha256":"91a6c76278cde93d7210d0d1a0aec1a933ca4b7a0aa3b8d08399246bb92b470b","abstract_canon_sha256":"bb8afc2bc1276c53b43f70aa4509eb0a1c8e7360b61f1f37e5e68bedd86f2207"},"schema_version":"1.0"},"canonical_sha256":"4cf7eec4973f3d098092b34e3ed3e21118e50a2573825fcf7fd61ad21817fdd6","source":{"kind":"arxiv","id":"2605.14060","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14060","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14060v1","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14060","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"pith_short_12","alias_value":"JT365REXH46Q","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JT365REXH46QTAES","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JT365REX","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JT365REXH46QTAESWNHD5U7CCE","target":"record","payload":{"canonical_record":{"source":{"id":"2605.14060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-13T19:34:37Z","cross_cats_sorted":[],"title_canon_sha256":"91a6c76278cde93d7210d0d1a0aec1a933ca4b7a0aa3b8d08399246bb92b470b","abstract_canon_sha256":"bb8afc2bc1276c53b43f70aa4509eb0a1c8e7360b61f1f37e5e68bedd86f2207"},"schema_version":"1.0"},"canonical_sha256":"4cf7eec4973f3d098092b34e3ed3e21118e50a2573825fcf7fd61ad21817fdd6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:12.536672Z","signature_b64":"s7CNLJHMcHZUIsll5pzFx5yrLEtzfJkhDzkRdnj9KG+06tgrkKbfJcXhdFO+5fHUQ+PJpk5aq/wlQXxe1+UuDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4cf7eec4973f3d098092b34e3ed3e21118e50a2573825fcf7fd61ad21817fdd6","last_reissued_at":"2026-05-17T23:39:12.536052Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:12.536052Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.14060","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-17T23:39:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pOooCgmLj3LaOhL9ZjPtS7Zi2aMnKTAJFZDWpax9C1yPouE5OiayllXZqw7bW1BKpQVX0jIU3n6pdx0m0xtsDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:51:38.018409Z"},"content_sha256":"484ef97f2537a7c66285fd6ebffba309025fd8eacd8df4659b342fc95e8b70ff","schema_version":"1.0","event_id":"sha256:484ef97f2537a7c66285fd6ebffba309025fd8eacd8df4659b342fc95e8b70ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JT365REXH46QTAESWNHD5U7CCE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Soft-to-Hard Terminal Constraint Convergence for the Heat Equation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta).","cross_cats":[],"primary_cat":"math.OC","authors_text":"Sung-Sik Kwon","submitted_at":"2026-05-13T19:34:37Z","abstract_excerpt":"We study an optimal control problem for the heat equation with a prescribed terminal state. To circumvent the difficulty of enforcing a hard terminal constraint, we analyze a penalized formulation and prove that the corresponding optimal controls and terminal states converge to the exact constrained solution as the penalty parameter \\(\\alpha \\to \\infty\\). We establish explicit quantitative convergence estimates of order \\(O(\\alpha^{-\\theta})\\), including the sharp \\(O(1/\\alpha)\\) rate under stronger modal summability assumptions on the terminal mismatch. A finite-dimensional prototype is used "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We establish explicit quantitative convergence estimates of order O(α^{-θ}), including the sharp O(1/α) rate under stronger modal summability assumptions on the terminal mismatch.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"Stronger modal summability assumptions on the terminal mismatch are required to obtain the sharp O(1/α) rate; without them the rate is slower.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Penalized optimal controls for the heat equation converge to the hard-constrained solution at explicit rates O(alpha to the minus theta), with sharp O(1/alpha) under stronger assumptions on the terminal mismatch.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta).","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"ef9c3cd6eff9b87ba5d5833a8e47a34a3dad2711990755fe1d9235edca3e52eb"},"source":{"id":"2605.14060","kind":"arxiv","version":1},"verdict":{"id":"8d6e4d54-55ae-44d6-9750-9d9c4662be4c","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:38:05.466416Z","strongest_claim":"We establish explicit quantitative convergence estimates of order O(α^{-θ}), including the sharp O(1/α) rate under stronger modal summability assumptions on the terminal mismatch.","one_line_summary":"Penalized optimal controls for the heat equation converge to the hard-constrained solution at explicit rates O(alpha to the minus theta), with sharp O(1/alpha) under stronger assumptions on the terminal mismatch.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"Stronger modal summability assumptions on the terminal mismatch are required to obtain the sharp O(1/α) rate; without them the rate is slower.","pith_extraction_headline":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta)."},"references":{"count":17,"sample":[{"doi":"","year":1982,"title":"Bertsekas.Constrained Optimization and Lagrange Multiplier Meth- ods","work_id":"dfcfd543-e197-4aa2-9cb5-b80b2a70a7ab","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1993,"title":"Boundary control of semilinear elliptic equations with pointwise state constraints.SIAM Journal on Control and Optimization, 31(4):993–1006, 1993","work_id":"d8a46e08-1fa2-4ac0-b25e-ff623a285161","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Reachable states for the distributed control of the heat equation.Comptes Rendus","work_id":"b879ceeb-22f0-43c8-84b9-c0e471135601","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2010,"title":"Evans.Partial Differential Equations, volume 19 ofGraduate Stud- ies in Mathematics","work_id":"258fe37c-5361-4d52-9de2-09b69b6f3f9d","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1994,"title":"R. Glowinski and J.-L. Lions. Exact and approximate controllability for dis- tributed parameter systems.Acta Numerica, 3:269–378, 1994","work_id":"e3fa969d-e3b0-4d72-bacd-31279d96c405","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":17,"snapshot_sha256":"b7127ad053f06d37dfcd7f031bdaa113b30b5e6b0f5d144225cdcdd10526e0ea","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"4d6c181efc1e1bd1f64749744791db00dc09808b90a98db2d3bb2e93ac112c0a"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"8d6e4d54-55ae-44d6-9750-9d9c4662be4c"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vcWkaklNrPg7/I6e2Y2Kq0g/z5bTBE2trM7TylkgklfTiAd7/IXPSVcE/RIW9sQH8GPvW5x5o4AvA4dpVi4IDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:51:38.019565Z"},"content_sha256":"ffbfe2869267eec24752e853fbf1106cd7addebf713f0206b914e34abb5039c7","schema_version":"1.0","event_id":"sha256:ffbfe2869267eec24752e853fbf1106cd7addebf713f0206b914e34abb5039c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JT365REXH46QTAESWNHD5U7CCE/bundle.json","state_url":"https://pith.science/pith/JT365REXH46QTAESWNHD5U7CCE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JT365REXH46QTAESWNHD5U7CCE/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-29T16:51:38Z","links":{"resolver":"https://pith.science/pith/JT365REXH46QTAESWNHD5U7CCE","bundle":"https://pith.science/pith/JT365REXH46QTAESWNHD5U7CCE/bundle.json","state":"https://pith.science/pith/JT365REXH46QTAESWNHD5U7CCE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JT365REXH46QTAESWNHD5U7CCE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JT365REXH46QTAESWNHD5U7CCE","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":"bb8afc2bc1276c53b43f70aa4509eb0a1c8e7360b61f1f37e5e68bedd86f2207","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-13T19:34:37Z","title_canon_sha256":"91a6c76278cde93d7210d0d1a0aec1a933ca4b7a0aa3b8d08399246bb92b470b"},"schema_version":"1.0","source":{"id":"2605.14060","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14060","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14060v1","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14060","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"pith_short_12","alias_value":"JT365REXH46Q","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JT365REXH46QTAES","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JT365REX","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:ffbfe2869267eec24752e853fbf1106cd7addebf713f0206b914e34abb5039c7","target":"graph","created_at":"2026-05-17T23:39:12Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We establish explicit quantitative convergence estimates of order O(α^{-θ}), including the sharp O(1/α) rate under stronger modal summability assumptions on the terminal mismatch."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"Stronger modal summability assumptions on the terminal mismatch are required to obtain the sharp O(1/α) rate; without them the rate is slower."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Penalized optimal controls for the heat equation converge to the hard-constrained solution at explicit rates O(alpha to the minus theta), with sharp O(1/alpha) under stronger assumptions on the terminal mismatch."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta)."}],"snapshot_sha256":"ef9c3cd6eff9b87ba5d5833a8e47a34a3dad2711990755fe1d9235edca3e52eb"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"4d6c181efc1e1bd1f64749744791db00dc09808b90a98db2d3bb2e93ac112c0a"},"paper":{"abstract_excerpt":"We study an optimal control problem for the heat equation with a prescribed terminal state. To circumvent the difficulty of enforcing a hard terminal constraint, we analyze a penalized formulation and prove that the corresponding optimal controls and terminal states converge to the exact constrained solution as the penalty parameter \\(\\alpha \\to \\infty\\). We establish explicit quantitative convergence estimates of order \\(O(\\alpha^{-\\theta})\\), including the sharp \\(O(1/\\alpha)\\) rate under stronger modal summability assumptions on the terminal mismatch. A finite-dimensional prototype is used ","authors_text":"Sung-Sik Kwon","cross_cats":[],"headline":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta).","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-13T19:34:37Z","title":"Quantitative Soft-to-Hard Terminal Constraint Convergence for the Heat Equation"},"references":{"count":17,"internal_anchors":0,"resolved_work":17,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Bertsekas.Constrained Optimization and Lagrange Multiplier Meth- ods","work_id":"dfcfd543-e197-4aa2-9cb5-b80b2a70a7ab","year":1982},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Boundary control of semilinear elliptic equations with pointwise state constraints.SIAM Journal on Control and Optimization, 31(4):993–1006, 1993","work_id":"d8a46e08-1fa2-4ac0-b25e-ff623a285161","year":1993},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Reachable states for the distributed control of the heat equation.Comptes Rendus","work_id":"b879ceeb-22f0-43c8-84b9-c0e471135601","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Evans.Partial Differential Equations, volume 19 ofGraduate Stud- ies in Mathematics","work_id":"258fe37c-5361-4d52-9de2-09b69b6f3f9d","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"R. Glowinski and J.-L. Lions. Exact and approximate controllability for dis- tributed parameter systems.Acta Numerica, 3:269–378, 1994","work_id":"e3fa969d-e3b0-4d72-bacd-31279d96c405","year":1994}],"snapshot_sha256":"b7127ad053f06d37dfcd7f031bdaa113b30b5e6b0f5d144225cdcdd10526e0ea"},"source":{"id":"2605.14060","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:38:05.466416Z","id":"8d6e4d54-55ae-44d6-9750-9d9c4662be4c","model_set":{"reader":"grok-4.3"},"one_line_summary":"Penalized optimal controls for the heat equation converge to the hard-constrained solution at explicit rates O(alpha to the minus theta), with sharp O(1/alpha) under stronger assumptions on the terminal mismatch.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Penalized formulations of the heat-equation control problem converge to the exact hard terminal constraint at explicit rates O(alpha to the power minus theta).","strongest_claim":"We establish explicit quantitative convergence estimates of order O(α^{-θ}), including the sharp O(1/α) rate under stronger modal summability assumptions on the terminal mismatch.","weakest_assumption":"Stronger modal summability assumptions on the terminal mismatch are required to obtain the sharp O(1/α) rate; without them the rate is slower."}},"verdict_id":"8d6e4d54-55ae-44d6-9750-9d9c4662be4c"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:484ef97f2537a7c66285fd6ebffba309025fd8eacd8df4659b342fc95e8b70ff","target":"record","created_at":"2026-05-17T23:39:12Z","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":"bb8afc2bc1276c53b43f70aa4509eb0a1c8e7360b61f1f37e5e68bedd86f2207","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-13T19:34:37Z","title_canon_sha256":"91a6c76278cde93d7210d0d1a0aec1a933ca4b7a0aa3b8d08399246bb92b470b"},"schema_version":"1.0","source":{"id":"2605.14060","kind":"arxiv","version":1}},"canonical_sha256":"4cf7eec4973f3d098092b34e3ed3e21118e50a2573825fcf7fd61ad21817fdd6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4cf7eec4973f3d098092b34e3ed3e21118e50a2573825fcf7fd61ad21817fdd6","first_computed_at":"2026-05-17T23:39:12.536052Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:12.536052Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s7CNLJHMcHZUIsll5pzFx5yrLEtzfJkhDzkRdnj9KG+06tgrkKbfJcXhdFO+5fHUQ+PJpk5aq/wlQXxe1+UuDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:12.536672Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14060","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:484ef97f2537a7c66285fd6ebffba309025fd8eacd8df4659b342fc95e8b70ff","sha256:ffbfe2869267eec24752e853fbf1106cd7addebf713f0206b914e34abb5039c7"],"state_sha256":"a8fbde78e518319092cc39279dd28bcc63834773d96625a4c2ffc273ef94df0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1UomD0Ge4Jxs0uSJvz1tMDzVC5hMDMR/fhQbaESH5XO8KnGjSM86pcVN6egydB4ahiD1kCcyChC+N9aSo0+4DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T16:51:38.024379Z","bundle_sha256":"3b2241f0ca9ef9a11fa486e119e2d5515ad6054db543fb241d27cdc46afce5a8"}}