{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:2NPZ4BXFEWXFSWFUAWVRPN2KM3","short_pith_number":"pith:2NPZ4BXF","canonical_record":{"source":{"id":"1509.09072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2015-09-30T08:40:41Z","cross_cats_sorted":[],"title_canon_sha256":"8d4624bfdc2501c06998710c1dea3fb3dfb65b1fe8dc3d7a5a12e661aa813857","abstract_canon_sha256":"a533540a045c2b7c7192c453c14fed8ea87bb653370b5028149b606687f3b5e2"},"schema_version":"1.0"},"canonical_sha256":"d35f9e06e525ae5958b405ab17b74a66f1b64cd3e164902b0454cb38c895f545","source":{"kind":"arxiv","id":"1509.09072","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.09072","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"arxiv_version","alias_value":"1509.09072v1","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.09072","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"pith_short_12","alias_value":"2NPZ4BXFEWXF","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2NPZ4BXFEWXFSWFU","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2NPZ4BXF","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:2NPZ4BXFEWXFSWFUAWVRPN2KM3","target":"record","payload":{"canonical_record":{"source":{"id":"1509.09072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2015-09-30T08:40:41Z","cross_cats_sorted":[],"title_canon_sha256":"8d4624bfdc2501c06998710c1dea3fb3dfb65b1fe8dc3d7a5a12e661aa813857","abstract_canon_sha256":"a533540a045c2b7c7192c453c14fed8ea87bb653370b5028149b606687f3b5e2"},"schema_version":"1.0"},"canonical_sha256":"d35f9e06e525ae5958b405ab17b74a66f1b64cd3e164902b0454cb38c895f545","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:31:29.172005Z","signature_b64":"p2hkEpUVXb/ENuPOmAmuqIOnP9k9ULkVdCrBzx9QlHvPMJfO+QjtXXzjH0QTrgxAtChblcQOJ4GoeeWrS4RGDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d35f9e06e525ae5958b405ab17b74a66f1b64cd3e164902b0454cb38c895f545","last_reissued_at":"2026-05-18T01:31:29.171544Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:31:29.171544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.09072","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-18T01:31:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"naB4WH2pjPLCVH0ik2GwiI2yZzMIXa2f3EvkZnW0a/bCybu54JXhuAK9rGa1HbQBwj6vQ9KCHo6a8L8ugUtVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:32:29.842304Z"},"content_sha256":"632977942a068ec86b5b0760e69fb8c0c6fcbec4a81111ac2ca051ebafeee0e5","schema_version":"1.0","event_id":"sha256:632977942a068ec86b5b0760e69fb8c0c6fcbec4a81111ac2ca051ebafeee0e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:2NPZ4BXFEWXFSWFUAWVRPN2KM3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the reachable states for the boundary control of the heat equation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AP","authors_text":"Lionel Rosier (CAS), Philippe Martin (CAS), Pierre Rouchon (CAS)","submitted_at":"2015-09-30T08:40:41Z","abstract_excerpt":"We are interested in the determination of the reachable states for the boundary control of the one-dimensional heat equation. We consider either one or two boundary controls. We show that reachable states associated with square integrable controls can be extended to analytic functions onsome square of C, and conversely, that analytic functions defined on a certain disk can be reached by using boundary controlsthat are Gevrey functions of order 2.   The method of proof combines the flatness approach with some new Borel interpolation theorem in some Gevrey class witha specified value of the loss"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.09072","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-18T01:31:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZaInOqZnUUQ87M43pGs6CqiDQoK2VeJQ8b+fmnSiAHjDjCddsS7vgmIztrAWmN4D+cjPfJfLS9CqW+x+LRf7Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:32:29.842670Z"},"content_sha256":"ab5d5f86589ab81d36cef4fa2e1168499396f06155f9d83f7dd8f5d9249f850f","schema_version":"1.0","event_id":"sha256:ab5d5f86589ab81d36cef4fa2e1168499396f06155f9d83f7dd8f5d9249f850f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/bundle.json","state_url":"https://pith.science/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/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-03T08:32:29Z","links":{"resolver":"https://pith.science/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3","bundle":"https://pith.science/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/bundle.json","state":"https://pith.science/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2NPZ4BXFEWXFSWFUAWVRPN2KM3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2NPZ4BXFEWXFSWFUAWVRPN2KM3","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":"a533540a045c2b7c7192c453c14fed8ea87bb653370b5028149b606687f3b5e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2015-09-30T08:40:41Z","title_canon_sha256":"8d4624bfdc2501c06998710c1dea3fb3dfb65b1fe8dc3d7a5a12e661aa813857"},"schema_version":"1.0","source":{"id":"1509.09072","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.09072","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"arxiv_version","alias_value":"1509.09072v1","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.09072","created_at":"2026-05-18T01:31:29Z"},{"alias_kind":"pith_short_12","alias_value":"2NPZ4BXFEWXF","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2NPZ4BXFEWXFSWFU","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2NPZ4BXF","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:ab5d5f86589ab81d36cef4fa2e1168499396f06155f9d83f7dd8f5d9249f850f","target":"graph","created_at":"2026-05-18T01:31:29Z","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 are interested in the determination of the reachable states for the boundary control of the one-dimensional heat equation. We consider either one or two boundary controls. We show that reachable states associated with square integrable controls can be extended to analytic functions onsome square of C, and conversely, that analytic functions defined on a certain disk can be reached by using boundary controlsthat are Gevrey functions of order 2.   The method of proof combines the flatness approach with some new Borel interpolation theorem in some Gevrey class witha specified value of the loss","authors_text":"Lionel Rosier (CAS), Philippe Martin (CAS), Pierre Rouchon (CAS)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2015-09-30T08:40:41Z","title":"On the reachable states for the boundary control of the heat equation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.09072","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:632977942a068ec86b5b0760e69fb8c0c6fcbec4a81111ac2ca051ebafeee0e5","target":"record","created_at":"2026-05-18T01:31:29Z","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":"a533540a045c2b7c7192c453c14fed8ea87bb653370b5028149b606687f3b5e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2015-09-30T08:40:41Z","title_canon_sha256":"8d4624bfdc2501c06998710c1dea3fb3dfb65b1fe8dc3d7a5a12e661aa813857"},"schema_version":"1.0","source":{"id":"1509.09072","kind":"arxiv","version":1}},"canonical_sha256":"d35f9e06e525ae5958b405ab17b74a66f1b64cd3e164902b0454cb38c895f545","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d35f9e06e525ae5958b405ab17b74a66f1b64cd3e164902b0454cb38c895f545","first_computed_at":"2026-05-18T01:31:29.171544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:31:29.171544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p2hkEpUVXb/ENuPOmAmuqIOnP9k9ULkVdCrBzx9QlHvPMJfO+QjtXXzjH0QTrgxAtChblcQOJ4GoeeWrS4RGDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:31:29.172005Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.09072","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:632977942a068ec86b5b0760e69fb8c0c6fcbec4a81111ac2ca051ebafeee0e5","sha256:ab5d5f86589ab81d36cef4fa2e1168499396f06155f9d83f7dd8f5d9249f850f"],"state_sha256":"114534b7b374095b77d5818c075974315f131eacdd91bc4b3b3b9fad32c6eae5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7aw4MA8Tsexj9jGZPj0hbTC1C2dj5ncbcgqb+vfSJczy2uDfLewkzE0z5mwl6iH8fWxLjx6NPm+iNbwnT7nKAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T08:32:29.849806Z","bundle_sha256":"746fc0b3ae7ff9b5062cf4a66b128e0b2ad3be3594ecefa7cc2287f5fa0899cb"}}