{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:O62IVY76XVDHJDD6NEB7XDAQGG","short_pith_number":"pith:O62IVY76","canonical_record":{"source":{"id":"2606.17971","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2026-06-16T14:27:47Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"86ca6b91ffac47a503fd1da42e0d128c2454cfa3430fcc2eb1966869ad2301ad","abstract_canon_sha256":"657d36dc0e5047f0bb008458a124200c9a263c3e87927ce35c74965eda5e0b7b"},"schema_version":"1.0"},"canonical_sha256":"77b48ae3febd46748c7e6903fb8c1031bfb64d1938632acf0da284a70105aa8d","source":{"kind":"arxiv","id":"2606.17971","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.17971","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.17971v1","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.17971","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_12","alias_value":"O62IVY76XVDH","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_16","alias_value":"O62IVY76XVDHJDD6","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_8","alias_value":"O62IVY76","created_at":"2026-06-19T16:10:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:O62IVY76XVDHJDD6NEB7XDAQGG","target":"record","payload":{"canonical_record":{"source":{"id":"2606.17971","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2026-06-16T14:27:47Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"86ca6b91ffac47a503fd1da42e0d128c2454cfa3430fcc2eb1966869ad2301ad","abstract_canon_sha256":"657d36dc0e5047f0bb008458a124200c9a263c3e87927ce35c74965eda5e0b7b"},"schema_version":"1.0"},"canonical_sha256":"77b48ae3febd46748c7e6903fb8c1031bfb64d1938632acf0da284a70105aa8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:44.837911Z","signature_b64":"sxKPXRX8CF6sNvy3f+5iGQHF4u7rlDbvm1I5Sdho9zsjGvRQ44I5Wq2RVEgW1DD3Dsm/GEgtgDl8IM2PNDcxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77b48ae3febd46748c7e6903fb8c1031bfb64d1938632acf0da284a70105aa8d","last_reissued_at":"2026-06-19T16:10:44.837571Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:44.837571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.17971","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-06-19T16:10:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VRXFr5WcSDtFKMeXiz1UlXlcbU1yGJncsTKIa5+NMLcwIdBiOUCnwCy8aBnXRoEU6fKdpuFkn30YqyjgvAOlBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:20:02.773280Z"},"content_sha256":"38196200d01c5493ee314281c649a3a0d6d98ba9818ba60a10499311a6c68d92","schema_version":"1.0","event_id":"sha256:38196200d01c5493ee314281c649a3a0d6d98ba9818ba60a10499311a6c68d92"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:O62IVY76XVDHJDD6NEB7XDAQGG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Online Spectral Deflation for State Constrained Optimal Control Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"cs.CE","authors_text":"Francesco Ballarin, Sanghyun Lee, Teeratorn Kadeethum, Youngsoo Choi","submitted_at":"2026-06-16T14:27:47Z","abstract_excerpt":"Parametric PDE-constrained optimal control with pointwise state constraints requires repeated solution of restricted Schur-complement systems on parameter-dependent inactive sets. In a primal active-set method, each inactive-set system is symmetric positive definite, but the active set can change nonsmoothly with the parameter. The resulting operator may vary in dimension, sparsity pattern, and spectrum, limiting reuse of sparse factorizations, multigrid hierarchies, and Krylov information. We propose a reusable spectral-deflation strategy anchored to one full-domain reference Schur complement"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.17971","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.17971/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-06-19T16:10:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"invJdn53sEerRQCTDN93/ZgBvWOG10GSVw4WY2lbz0OkvAooodGla05Xdm7qAIixrUlgqSn4+RKvKJD+s0NpBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:20:02.773684Z"},"content_sha256":"16946961afc4f3dfba8782d3b77485241a8f7d55ec9e528e21a0bb3d89a4b53a","schema_version":"1.0","event_id":"sha256:16946961afc4f3dfba8782d3b77485241a8f7d55ec9e528e21a0bb3d89a4b53a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O62IVY76XVDHJDD6NEB7XDAQGG/bundle.json","state_url":"https://pith.science/pith/O62IVY76XVDHJDD6NEB7XDAQGG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O62IVY76XVDHJDD6NEB7XDAQGG/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-20T18:20:02Z","links":{"resolver":"https://pith.science/pith/O62IVY76XVDHJDD6NEB7XDAQGG","bundle":"https://pith.science/pith/O62IVY76XVDHJDD6NEB7XDAQGG/bundle.json","state":"https://pith.science/pith/O62IVY76XVDHJDD6NEB7XDAQGG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O62IVY76XVDHJDD6NEB7XDAQGG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:O62IVY76XVDHJDD6NEB7XDAQGG","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":"657d36dc0e5047f0bb008458a124200c9a263c3e87927ce35c74965eda5e0b7b","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2026-06-16T14:27:47Z","title_canon_sha256":"86ca6b91ffac47a503fd1da42e0d128c2454cfa3430fcc2eb1966869ad2301ad"},"schema_version":"1.0","source":{"id":"2606.17971","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.17971","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.17971v1","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.17971","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_12","alias_value":"O62IVY76XVDH","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_16","alias_value":"O62IVY76XVDHJDD6","created_at":"2026-06-19T16:10:44Z"},{"alias_kind":"pith_short_8","alias_value":"O62IVY76","created_at":"2026-06-19T16:10:44Z"}],"graph_snapshots":[{"event_id":"sha256:16946961afc4f3dfba8782d3b77485241a8f7d55ec9e528e21a0bb3d89a4b53a","target":"graph","created_at":"2026-06-19T16:10:44Z","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/2606.17971/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Parametric PDE-constrained optimal control with pointwise state constraints requires repeated solution of restricted Schur-complement systems on parameter-dependent inactive sets. In a primal active-set method, each inactive-set system is symmetric positive definite, but the active set can change nonsmoothly with the parameter. The resulting operator may vary in dimension, sparsity pattern, and spectrum, limiting reuse of sparse factorizations, multigrid hierarchies, and Krylov information. We propose a reusable spectral-deflation strategy anchored to one full-domain reference Schur complement","authors_text":"Francesco Ballarin, Sanghyun Lee, Teeratorn Kadeethum, Youngsoo Choi","cross_cats":["math-ph","math.MP"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2026-06-16T14:27:47Z","title":"Online Spectral Deflation for State Constrained Optimal Control Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.17971","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:38196200d01c5493ee314281c649a3a0d6d98ba9818ba60a10499311a6c68d92","target":"record","created_at":"2026-06-19T16:10:44Z","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":"657d36dc0e5047f0bb008458a124200c9a263c3e87927ce35c74965eda5e0b7b","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2026-06-16T14:27:47Z","title_canon_sha256":"86ca6b91ffac47a503fd1da42e0d128c2454cfa3430fcc2eb1966869ad2301ad"},"schema_version":"1.0","source":{"id":"2606.17971","kind":"arxiv","version":1}},"canonical_sha256":"77b48ae3febd46748c7e6903fb8c1031bfb64d1938632acf0da284a70105aa8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77b48ae3febd46748c7e6903fb8c1031bfb64d1938632acf0da284a70105aa8d","first_computed_at":"2026-06-19T16:10:44.837571Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:10:44.837571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sxKPXRX8CF6sNvy3f+5iGQHF4u7rlDbvm1I5Sdho9zsjGvRQ44I5Wq2RVEgW1DD3Dsm/GEgtgDl8IM2PNDcxBg==","signature_status":"signed_v1","signed_at":"2026-06-19T16:10:44.837911Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.17971","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38196200d01c5493ee314281c649a3a0d6d98ba9818ba60a10499311a6c68d92","sha256:16946961afc4f3dfba8782d3b77485241a8f7d55ec9e528e21a0bb3d89a4b53a"],"state_sha256":"ffc5c297df6fd98bccf3f1d5c02bf64a6bcdfe2127c45f6ec03663ef36bc1624"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"epPkrTNaJo8Soq5d7f+6zk3Xt9VxNx0JwzZcZAHFY2iAUp7ywzX3+CJJX5xQLBTf6Cv0I8RGJeyuPfDFXmHOAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T18:20:02.775633Z","bundle_sha256":"49a9f35260fdaf5d791a50148f27b95c2ebbe1a694b1b885633265bb26749716"}}