{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:UWXOYYPKG4YIFUCNK537VYEQR4","short_pith_number":"pith:UWXOYYPK","canonical_record":{"source":{"id":"2604.25290","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T06:54:02Z","cross_cats_sorted":[],"title_canon_sha256":"611025988060a21730fde05fd7dc57317f156d37477c5795851e82d40c6fb440","abstract_canon_sha256":"1603fa765ebfbb0430c982636930060f675ef0e56a878f6d1cc08547b1b1b1d9"},"schema_version":"1.0"},"canonical_sha256":"a5aeec61ea373082d04d5777fae0908f2c19f62a48f67796327a0ed2c5ffb309","source":{"kind":"arxiv","id":"2604.25290","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25290","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25290v2","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25290","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_12","alias_value":"UWXOYYPKG4YI","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_16","alias_value":"UWXOYYPKG4YIFUCN","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_8","alias_value":"UWXOYYPK","created_at":"2026-05-29T01:05:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:UWXOYYPKG4YIFUCNK537VYEQR4","target":"record","payload":{"canonical_record":{"source":{"id":"2604.25290","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T06:54:02Z","cross_cats_sorted":[],"title_canon_sha256":"611025988060a21730fde05fd7dc57317f156d37477c5795851e82d40c6fb440","abstract_canon_sha256":"1603fa765ebfbb0430c982636930060f675ef0e56a878f6d1cc08547b1b1b1d9"},"schema_version":"1.0"},"canonical_sha256":"a5aeec61ea373082d04d5777fae0908f2c19f62a48f67796327a0ed2c5ffb309","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-29T01:05:10.616670Z","signature_b64":"eigKquu+mY6TU5Jy64wkgHdfLyv9NZexhmfR0LHMxJSbId94yB1733N7V5A7d9/zfbnHIUovABgkWDToQSR5Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5aeec61ea373082d04d5777fae0908f2c19f62a48f67796327a0ed2c5ffb309","last_reissued_at":"2026-05-29T01:05:10.616032Z","signature_status":"signed_v1","first_computed_at":"2026-05-29T01:05:10.616032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.25290","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-29T01:05:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uy3X+ePrIx7LZYp46Qpg8AuNbM1w6kF9DceuoQv+Vw1hWpPeUZ+8tWfCsQMWh/8eRKqYXrlWLW8Uv89fL/IJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:09:06.280076Z"},"content_sha256":"e075f40ea90aeb40ff98a6c9bbebc8ec09503f6017364c582b2de528ab2efaf0","schema_version":"1.0","event_id":"sha256:e075f40ea90aeb40ff98a6c9bbebc8ec09503f6017364c582b2de528ab2efaf0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:UWXOYYPKG4YIFUCNK537VYEQR4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Limitations of LTI Koopman Modeling for Nonlinear Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables.","cross_cats":[],"primary_cat":"math.OC","authors_text":"Johannes Heeg, Karl Worthmann","submitted_at":"2026-04-28T06:54:02Z","abstract_excerpt":"Koopman operator theory yields powerful tools for modeling, analysis, and control of nonlinear dynamical systems. Prominently, linear time-invariant (LTI) Koopman representations have been proposed to enable the application of linear control techniques, such as LQR and convex MPC. In this work, we investigate the implications of exact LTI Koopman representations for continuous-time nonlinear control systems. In particular, we show that, assuming a mild controllability condition and the inclusion of the coordinate maps, the dynamics of the underlying control system must be affine linear. Furthe"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"assuming a mild controllability condition and full-state observables, the dynamics of the underlying control system must be affine linear","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The mild controllability condition together with the choice of full-state observables","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Exact LTI Koopman models for controllable nonlinear systems with full-state observables must have affine-linear dynamics.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"ee2a1426fd49c55251b3a3f8194de82e1379bf027423c854531e460c3e723983"},"source":{"id":"2604.25290","kind":"arxiv","version":2},"verdict":{"id":"4996e73f-e99b-49b3-af2d-fe919d277116","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T15:51:27.999167Z","strongest_claim":"assuming a mild controllability condition and full-state observables, the dynamics of the underlying control system must be affine linear","one_line_summary":"Exact LTI Koopman models for controllable nonlinear systems with full-state observables must have affine-linear dynamics.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The mild controllability condition together with the choice of full-state observables","pith_extraction_headline":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.25290/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-21T05:34:02.405230Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T21:14:10.321693Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"7e3ff49f1de583d68062a7b8ceee4f2f6ba9faa201b5a788817b48b5b969085d"},"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":"4996e73f-e99b-49b3-af2d-fe919d277116"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-29T01:05:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zrBeVd2XxZP1xVf3Zig7TF9mZDa7ptexPKWW81X1Tx6lKMCFYRet3yjCBVGAQso10EIKfXQoJnkzJVZ9/AIkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:09:06.280619Z"},"content_sha256":"1549a931904c7c95648a3752eb52147c88fe6b06644ba1f76fadea787ed10241","schema_version":"1.0","event_id":"sha256:1549a931904c7c95648a3752eb52147c88fe6b06644ba1f76fadea787ed10241"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UWXOYYPKG4YIFUCNK537VYEQR4/bundle.json","state_url":"https://pith.science/pith/UWXOYYPKG4YIFUCNK537VYEQR4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UWXOYYPKG4YIFUCNK537VYEQR4/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-11T11:09:06Z","links":{"resolver":"https://pith.science/pith/UWXOYYPKG4YIFUCNK537VYEQR4","bundle":"https://pith.science/pith/UWXOYYPKG4YIFUCNK537VYEQR4/bundle.json","state":"https://pith.science/pith/UWXOYYPKG4YIFUCNK537VYEQR4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UWXOYYPKG4YIFUCNK537VYEQR4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:UWXOYYPKG4YIFUCNK537VYEQR4","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":"1603fa765ebfbb0430c982636930060f675ef0e56a878f6d1cc08547b1b1b1d9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T06:54:02Z","title_canon_sha256":"611025988060a21730fde05fd7dc57317f156d37477c5795851e82d40c6fb440"},"schema_version":"1.0","source":{"id":"2604.25290","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25290","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25290v2","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25290","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_12","alias_value":"UWXOYYPKG4YI","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_16","alias_value":"UWXOYYPKG4YIFUCN","created_at":"2026-05-29T01:05:10Z"},{"alias_kind":"pith_short_8","alias_value":"UWXOYYPK","created_at":"2026-05-29T01:05:10Z"}],"graph_snapshots":[{"event_id":"sha256:1549a931904c7c95648a3752eb52147c88fe6b06644ba1f76fadea787ed10241","target":"graph","created_at":"2026-05-29T01:05:10Z","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":"assuming a mild controllability condition and full-state observables, the dynamics of the underlying control system must be affine linear"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The mild controllability condition together with the choice of full-state observables"},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Exact LTI Koopman models for controllable nonlinear systems with full-state observables must have affine-linear dynamics."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables."}],"snapshot_sha256":"ee2a1426fd49c55251b3a3f8194de82e1379bf027423c854531e460c3e723983"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-21T05:34:02.405230Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T21:14:10.321693Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.25290/integrity.json","findings":[],"snapshot_sha256":"7e3ff49f1de583d68062a7b8ceee4f2f6ba9faa201b5a788817b48b5b969085d","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Koopman operator theory yields powerful tools for modeling, analysis, and control of nonlinear dynamical systems. Prominently, linear time-invariant (LTI) Koopman representations have been proposed to enable the application of linear control techniques, such as LQR and convex MPC. In this work, we investigate the implications of exact LTI Koopman representations for continuous-time nonlinear control systems. In particular, we show that, assuming a mild controllability condition and the inclusion of the coordinate maps, the dynamics of the underlying control system must be affine linear. Furthe","authors_text":"Johannes Heeg, Karl Worthmann","cross_cats":[],"headline":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T06:54:02Z","title":"Limitations of LTI Koopman Modeling for Nonlinear Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.25290","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T15:51:27.999167Z","id":"4996e73f-e99b-49b3-af2d-fe919d277116","model_set":{"reader":"grok-4.3"},"one_line_summary":"Exact LTI Koopman models for controllable nonlinear systems with full-state observables must have affine-linear dynamics.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Nonlinear control systems admit exact LTI Koopman models only if they are affine linear, under mild controllability and full-state observables.","strongest_claim":"assuming a mild controllability condition and full-state observables, the dynamics of the underlying control system must be affine linear","weakest_assumption":"The mild controllability condition together with the choice of full-state observables"}},"verdict_id":"4996e73f-e99b-49b3-af2d-fe919d277116"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e075f40ea90aeb40ff98a6c9bbebc8ec09503f6017364c582b2de528ab2efaf0","target":"record","created_at":"2026-05-29T01:05:10Z","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":"1603fa765ebfbb0430c982636930060f675ef0e56a878f6d1cc08547b1b1b1d9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T06:54:02Z","title_canon_sha256":"611025988060a21730fde05fd7dc57317f156d37477c5795851e82d40c6fb440"},"schema_version":"1.0","source":{"id":"2604.25290","kind":"arxiv","version":2}},"canonical_sha256":"a5aeec61ea373082d04d5777fae0908f2c19f62a48f67796327a0ed2c5ffb309","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5aeec61ea373082d04d5777fae0908f2c19f62a48f67796327a0ed2c5ffb309","first_computed_at":"2026-05-29T01:05:10.616032Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T01:05:10.616032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eigKquu+mY6TU5Jy64wkgHdfLyv9NZexhmfR0LHMxJSbId94yB1733N7V5A7d9/zfbnHIUovABgkWDToQSR5Cg==","signature_status":"signed_v1","signed_at":"2026-05-29T01:05:10.616670Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.25290","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e075f40ea90aeb40ff98a6c9bbebc8ec09503f6017364c582b2de528ab2efaf0","sha256:1549a931904c7c95648a3752eb52147c88fe6b06644ba1f76fadea787ed10241"],"state_sha256":"8a0f6572aa95d69365bb1101854ef631dab23541424b1ab26b5c23c20f8f2798"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F3EYsyJP2xtxF1R4p9JbBb2Ea/EqA150aXiydHLXl8/3tZxc2WmxhR+Xz3WZBqWsz4fe6wvTWN9bhC6nOX9+AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T11:09:06.283042Z","bundle_sha256":"af3678b72fc3e0c341c79ee7daee044420d9aadad5d14be53e5b823f892203d6"}}