{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XXUVQ73ZJFDKHE4HLGDSJX4NTU","short_pith_number":"pith:XXUVQ73Z","canonical_record":{"source":{"id":"1810.12167","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-29T14:56:02Z","cross_cats_sorted":["math.AP"],"title_canon_sha256":"738ebbf8a8dbfafa85c8b63d363658b3b2520a5654618a8c6d80138a78398b01","abstract_canon_sha256":"c93986913b271c761882a44625c8db9f4fd28b772599fca5faaeddd352587e80"},"schema_version":"1.0"},"canonical_sha256":"bde9587f794946a39387598724df8d9d23ca45690691cf190c212267acf7a384","source":{"kind":"arxiv","id":"1810.12167","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.12167","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"arxiv_version","alias_value":"1810.12167v2","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.12167","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"pith_short_12","alias_value":"XXUVQ73ZJFDK","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XXUVQ73ZJFDKHE4H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XXUVQ73Z","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XXUVQ73ZJFDKHE4HLGDSJX4NTU","target":"record","payload":{"canonical_record":{"source":{"id":"1810.12167","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-29T14:56:02Z","cross_cats_sorted":["math.AP"],"title_canon_sha256":"738ebbf8a8dbfafa85c8b63d363658b3b2520a5654618a8c6d80138a78398b01","abstract_canon_sha256":"c93986913b271c761882a44625c8db9f4fd28b772599fca5faaeddd352587e80"},"schema_version":"1.0"},"canonical_sha256":"bde9587f794946a39387598724df8d9d23ca45690691cf190c212267acf7a384","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:37.383421Z","signature_b64":"0wxAGE16NOiJlSfH+SLYd6DTihwzxSn2L+R82QmgSLaXyzM7dxQNvXehMxRVugl7NoVOfRJ+H6jC4PIs4YVaBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bde9587f794946a39387598724df8d9d23ca45690691cf190c212267acf7a384","last_reissued_at":"2026-05-18T00:01:37.382867Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:37.382867Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.12167","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-18T00:01:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CmTX0a1e/FH+2qmWiB1l0DEgEd51kHOGGWbwsv5kdMzhfNrZL6BmCqSdlTGQ8hnTX+59D7eWHBzdg9eM1h6xDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T23:41:46.329210Z"},"content_sha256":"b0c9a6d9fa96c5455290a6c7a2d00b5ec722faaa82a9f6e7f0e4d7a7b1b51769","schema_version":"1.0","event_id":"sha256:b0c9a6d9fa96c5455290a6c7a2d00b5ec722faaa82a9f6e7f0e4d7a7b1b51769"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XXUVQ73ZJFDKHE4HLGDSJX4NTU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exhaustion approximation for the control problem of the heat or Schr\\\"odinger semigroup on unbounded domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AP"],"primary_cat":"math.OC","authors_text":"Albrecht Seelmann, Ivan Veselic","submitted_at":"2018-10-29T14:56:02Z","abstract_excerpt":"We consider the control problem of the heat equation on bounded and unbounded domains, and more generally the corresponding inhomogeneous equation for the Schr\\\"odinger semigroup. We show that if the sequence of null-controls associated to an exhaustion of an unbounded domain converges, then the solutions do in the same way, and that the control cost estimate carries over to the limiting problem on the unbounded domain. This allows to infer the controllability on unbounded domains by studying the control problem on a sequence of bounded domains."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.12167","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":""},"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:01:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RJwBztvwnoSogZUXWkHe+DeWHpSU7MAhWSEDxOF4A2Z4ZcotIv5FGL9SBPZlvN6Re1+OIKwr9Pj+z9l+MTihBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T23:41:46.329568Z"},"content_sha256":"501076dc037568608651116ef139d97d724bb63ebd2683aae1f0212906fde131","schema_version":"1.0","event_id":"sha256:501076dc037568608651116ef139d97d724bb63ebd2683aae1f0212906fde131"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/bundle.json","state_url":"https://pith.science/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/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-19T23:41:46Z","links":{"resolver":"https://pith.science/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU","bundle":"https://pith.science/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/bundle.json","state":"https://pith.science/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XXUVQ73ZJFDKHE4HLGDSJX4NTU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XXUVQ73ZJFDKHE4HLGDSJX4NTU","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":"c93986913b271c761882a44625c8db9f4fd28b772599fca5faaeddd352587e80","cross_cats_sorted":["math.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-29T14:56:02Z","title_canon_sha256":"738ebbf8a8dbfafa85c8b63d363658b3b2520a5654618a8c6d80138a78398b01"},"schema_version":"1.0","source":{"id":"1810.12167","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.12167","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"arxiv_version","alias_value":"1810.12167v2","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.12167","created_at":"2026-05-18T00:01:37Z"},{"alias_kind":"pith_short_12","alias_value":"XXUVQ73ZJFDK","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XXUVQ73ZJFDKHE4H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XXUVQ73Z","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:501076dc037568608651116ef139d97d724bb63ebd2683aae1f0212906fde131","target":"graph","created_at":"2026-05-18T00:01:37Z","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 the control problem of the heat equation on bounded and unbounded domains, and more generally the corresponding inhomogeneous equation for the Schr\\\"odinger semigroup. We show that if the sequence of null-controls associated to an exhaustion of an unbounded domain converges, then the solutions do in the same way, and that the control cost estimate carries over to the limiting problem on the unbounded domain. This allows to infer the controllability on unbounded domains by studying the control problem on a sequence of bounded domains.","authors_text":"Albrecht Seelmann, Ivan Veselic","cross_cats":["math.AP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-29T14:56:02Z","title":"Exhaustion approximation for the control problem of the heat or Schr\\\"odinger semigroup on unbounded domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.12167","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:b0c9a6d9fa96c5455290a6c7a2d00b5ec722faaa82a9f6e7f0e4d7a7b1b51769","target":"record","created_at":"2026-05-18T00:01:37Z","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":"c93986913b271c761882a44625c8db9f4fd28b772599fca5faaeddd352587e80","cross_cats_sorted":["math.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-29T14:56:02Z","title_canon_sha256":"738ebbf8a8dbfafa85c8b63d363658b3b2520a5654618a8c6d80138a78398b01"},"schema_version":"1.0","source":{"id":"1810.12167","kind":"arxiv","version":2}},"canonical_sha256":"bde9587f794946a39387598724df8d9d23ca45690691cf190c212267acf7a384","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bde9587f794946a39387598724df8d9d23ca45690691cf190c212267acf7a384","first_computed_at":"2026-05-18T00:01:37.382867Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:37.382867Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0wxAGE16NOiJlSfH+SLYd6DTihwzxSn2L+R82QmgSLaXyzM7dxQNvXehMxRVugl7NoVOfRJ+H6jC4PIs4YVaBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:37.383421Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.12167","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0c9a6d9fa96c5455290a6c7a2d00b5ec722faaa82a9f6e7f0e4d7a7b1b51769","sha256:501076dc037568608651116ef139d97d724bb63ebd2683aae1f0212906fde131"],"state_sha256":"ef95fb18b1c101252d7dc4ead0db804fcfde7220e578d99fb2969e83fdde4e44"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h0TX0PDukmGJVcQSMT/DW0qqF57L+tC+6rKwjQfP+jPuvY1EKu8GKyXTkGPmYHvH3VeGLIsOl0mSIVN56yiXCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-19T23:41:46.331499Z","bundle_sha256":"31ccb7d79982e1113002665db1d3884bd70330ef9bbfb102e363e2c2ca63860b"}}