{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:OOCLZWZKTCEIRXG6N36AMWMNEC","short_pith_number":"pith:OOCLZWZK","canonical_record":{"source":{"id":"1810.01334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-02T15:51:15Z","cross_cats_sorted":[],"title_canon_sha256":"e189475f36a4c9c9928eaa35be2d0cfeba32104f1dd2ce70c9ca16dcc8c61f7f","abstract_canon_sha256":"9f8cd4cf9b736212f89fd43b79e89a507551cb9661ee8b29184e24ad9f797ce0"},"schema_version":"1.0"},"canonical_sha256":"7384bcdb2a988888dcde6efc06598d209290133a0d42e2a95312aba3ea694dec","source":{"kind":"arxiv","id":"1810.01334","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.01334","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"arxiv_version","alias_value":"1810.01334v1","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.01334","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"pith_short_12","alias_value":"OOCLZWZKTCEI","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OOCLZWZKTCEIRXG6","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OOCLZWZK","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:OOCLZWZKTCEIRXG6N36AMWMNEC","target":"record","payload":{"canonical_record":{"source":{"id":"1810.01334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-02T15:51:15Z","cross_cats_sorted":[],"title_canon_sha256":"e189475f36a4c9c9928eaa35be2d0cfeba32104f1dd2ce70c9ca16dcc8c61f7f","abstract_canon_sha256":"9f8cd4cf9b736212f89fd43b79e89a507551cb9661ee8b29184e24ad9f797ce0"},"schema_version":"1.0"},"canonical_sha256":"7384bcdb2a988888dcde6efc06598d209290133a0d42e2a95312aba3ea694dec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:18.217069Z","signature_b64":"uIccR9S19IaDcWSlLVvklD56Pj1NhXDr6K7eUTKQzxOhTvU3hLF7xRU63eEBt4j16r/dWUUQYfIXiqvL63JGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7384bcdb2a988888dcde6efc06598d209290133a0d42e2a95312aba3ea694dec","last_reissued_at":"2026-05-18T00:04:18.216349Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:18.216349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.01334","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-18T00:04:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"osJQV8IEGBZhsPPlVIqmUEL1E5RQDoZx3xodYd+Y0OchwgXbwqBBShjUWiwGS3+kjyFdyiwUpYnX+LVaUfBgDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T09:44:40.145071Z"},"content_sha256":"aaaca7a4447218bb7754db6a29628dc648e4a0b450e2a0800a846b98fe932ed5","schema_version":"1.0","event_id":"sha256:aaaca7a4447218bb7754db6a29628dc648e4a0b450e2a0800a846b98fe932ed5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:OOCLZWZKTCEIRXG6N36AMWMNEC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Codimensional Controllability, and Optimal Control Problems with Endpoint State Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Qi L\\\"u, Xu Liu, Xu Zhang","submitted_at":"2018-10-02T15:51:15Z","abstract_excerpt":"In this paper, motivated by the study of optimal control problems for infinite dimensional systems with endpoint state constraints, we introduce the notion of finite codimensional (exact/approximate) controllability. Some equivalent criteria on the finite codimensional controllability are presented. In particular, the finite codimensional exact controllability is reduced to deriving a G{\\aa}rding type inequality for the adjoint system, which is new for many evolution equations. This inequality can be verified for some concrete problems (and hence applied to the corresponding optimal control pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.01334","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-18T00:04:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D41U56JaMkaUW0QFvLeH/P9+Q0ZBPT5QX9POEy3v/HfYJeeJz/M2mEIgKG5RTS7E9WxGiSd2wtpeV8IDPH/nBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T09:44:40.145813Z"},"content_sha256":"5166eb7c7ff00badfc07de448f383b17c8b90eb9e3efa54fe18d1081173f66a8","schema_version":"1.0","event_id":"sha256:5166eb7c7ff00badfc07de448f383b17c8b90eb9e3efa54fe18d1081173f66a8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/bundle.json","state_url":"https://pith.science/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/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-25T09:44:40Z","links":{"resolver":"https://pith.science/pith/OOCLZWZKTCEIRXG6N36AMWMNEC","bundle":"https://pith.science/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/bundle.json","state":"https://pith.science/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OOCLZWZKTCEIRXG6N36AMWMNEC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OOCLZWZKTCEIRXG6N36AMWMNEC","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":"9f8cd4cf9b736212f89fd43b79e89a507551cb9661ee8b29184e24ad9f797ce0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-02T15:51:15Z","title_canon_sha256":"e189475f36a4c9c9928eaa35be2d0cfeba32104f1dd2ce70c9ca16dcc8c61f7f"},"schema_version":"1.0","source":{"id":"1810.01334","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.01334","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"arxiv_version","alias_value":"1810.01334v1","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.01334","created_at":"2026-05-18T00:04:18Z"},{"alias_kind":"pith_short_12","alias_value":"OOCLZWZKTCEI","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OOCLZWZKTCEIRXG6","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OOCLZWZK","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:5166eb7c7ff00badfc07de448f383b17c8b90eb9e3efa54fe18d1081173f66a8","target":"graph","created_at":"2026-05-18T00:04:18Z","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":"In this paper, motivated by the study of optimal control problems for infinite dimensional systems with endpoint state constraints, we introduce the notion of finite codimensional (exact/approximate) controllability. Some equivalent criteria on the finite codimensional controllability are presented. In particular, the finite codimensional exact controllability is reduced to deriving a G{\\aa}rding type inequality for the adjoint system, which is new for many evolution equations. This inequality can be verified for some concrete problems (and hence applied to the corresponding optimal control pr","authors_text":"Qi L\\\"u, Xu Liu, Xu Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-02T15:51:15Z","title":"Finite Codimensional Controllability, and Optimal Control Problems with Endpoint State Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.01334","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:aaaca7a4447218bb7754db6a29628dc648e4a0b450e2a0800a846b98fe932ed5","target":"record","created_at":"2026-05-18T00:04:18Z","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":"9f8cd4cf9b736212f89fd43b79e89a507551cb9661ee8b29184e24ad9f797ce0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-10-02T15:51:15Z","title_canon_sha256":"e189475f36a4c9c9928eaa35be2d0cfeba32104f1dd2ce70c9ca16dcc8c61f7f"},"schema_version":"1.0","source":{"id":"1810.01334","kind":"arxiv","version":1}},"canonical_sha256":"7384bcdb2a988888dcde6efc06598d209290133a0d42e2a95312aba3ea694dec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7384bcdb2a988888dcde6efc06598d209290133a0d42e2a95312aba3ea694dec","first_computed_at":"2026-05-18T00:04:18.216349Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:18.216349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uIccR9S19IaDcWSlLVvklD56Pj1NhXDr6K7eUTKQzxOhTvU3hLF7xRU63eEBt4j16r/dWUUQYfIXiqvL63JGAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:18.217069Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.01334","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aaaca7a4447218bb7754db6a29628dc648e4a0b450e2a0800a846b98fe932ed5","sha256:5166eb7c7ff00badfc07de448f383b17c8b90eb9e3efa54fe18d1081173f66a8"],"state_sha256":"59bff1434b20d232db6b042d27a6e0d16a7463e0ce2fffec66e0bd32c0b6b220"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AgTBba21u5fZnPO8pMUDqbGoLQIQWxHt1BGDlCEJP9yHkj3rmEVOk3sTppt+KSN2BNC2n3dv8Rrtz2cVG+4ABw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T09:44:40.149647Z","bundle_sha256":"bb2c558d519804c15cace05b34584a2392d733c6d6efbd54196216442c56fc76"}}