{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DUZXDF6J4FBVH3HIH5E5AEUAUA","short_pith_number":"pith:DUZXDF6J","canonical_record":{"source":{"id":"2311.13033","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-21T22:45:07Z","cross_cats_sorted":["cs.SY","eess.SY","math.DS"],"title_canon_sha256":"ad7b38d370c6b67b45c129055740400e0e14e2cccf8cfde1273e4c0d90cdda9a","abstract_canon_sha256":"5a4988ae8c653c227b6dfc0e86a7da12e22fa9c4117b7faa93604c63097db29e"},"schema_version":"1.0"},"canonical_sha256":"1d337197c9e14353ece83f49d01280a02ddd03b0224cd41c976c497423731056","source":{"kind":"arxiv","id":"2311.13033","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.13033","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"arxiv_version","alias_value":"2311.13033v4","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.13033","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_12","alias_value":"DUZXDF6J4FBV","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_16","alias_value":"DUZXDF6J4FBVH3HI","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_8","alias_value":"DUZXDF6J","created_at":"2026-07-05T10:00:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DUZXDF6J4FBVH3HIH5E5AEUAUA","target":"record","payload":{"canonical_record":{"source":{"id":"2311.13033","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-21T22:45:07Z","cross_cats_sorted":["cs.SY","eess.SY","math.DS"],"title_canon_sha256":"ad7b38d370c6b67b45c129055740400e0e14e2cccf8cfde1273e4c0d90cdda9a","abstract_canon_sha256":"5a4988ae8c653c227b6dfc0e86a7da12e22fa9c4117b7faa93604c63097db29e"},"schema_version":"1.0"},"canonical_sha256":"1d337197c9e14353ece83f49d01280a02ddd03b0224cd41c976c497423731056","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:00:33.846287Z","signature_b64":"390jCr1X4iQPPgOGaWX0Ah/nqkvd5ahDd+552ko7rve6ChYgaes32cJKRkBep/MEUmsS6aBu8GJjtI5tPf0sCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d337197c9e14353ece83f49d01280a02ddd03b0224cd41c976c497423731056","last_reissued_at":"2026-07-05T10:00:33.845796Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:00:33.845796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.13033","source_version":4,"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-07-05T10:00:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kVTa7Cj0haF/r1igALy2uwKYpn3JaqWJeJ91kWJO6oQVYKTRCQwNPe5GolCIW2pYR0Z241oTBIp7LdxgrEA6Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T08:43:34.269159Z"},"content_sha256":"b3800617cf7b0c06c9c6ca7e4181d9798de8b56338b314c6fba3366239d0bd2a","schema_version":"1.0","event_id":"sha256:b3800617cf7b0c06c9c6ca7e4181d9798de8b56338b314c6fba3366239d0bd2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DUZXDF6J4FBVH3HIH5E5AEUAUA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY","math.DS"],"primary_cat":"math.OC","authors_text":"Jorge Cort\\'es, Masih Haseli","submitted_at":"2023-11-21T22:45:07Z","abstract_excerpt":"A popular way to approximate the Koopman operator's action on a finite-dimensional subspace of functions is via orthogonal projections. The quality of the projected model directly depends on the selected subspace, specifically on how close it is to being invariant under the Koopman operator. The notion of invariance proximity provides a tight upper bound on the worst-case relative prediction error of the finite-dimensional model. However, its direct calculation is computationally challenging. This paper leverages the geometric structure behind the definition of invariance proximity to provide "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.13033","kind":"arxiv","version":4},"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/2311.13033/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-07-05T10:00:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i8tmfuRLh6ARhjjzYXpWfRH5//aISoGj/v0aaxW11351cIo9cQKFUdEj0Wq8osDIOXjM+Khk7VaC8E/jVeJpBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T08:43:34.270045Z"},"content_sha256":"5ca84fe7fee35eb48ba873eb216f8f1ee934f1c9acea2367443475247d288641","schema_version":"1.0","event_id":"sha256:5ca84fe7fee35eb48ba873eb216f8f1ee934f1c9acea2367443475247d288641"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/bundle.json","state_url":"https://pith.science/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/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-08-15T08:43:34Z","links":{"resolver":"https://pith.science/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA","bundle":"https://pith.science/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/bundle.json","state":"https://pith.science/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DUZXDF6J4FBVH3HIH5E5AEUAUA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DUZXDF6J4FBVH3HIH5E5AEUAUA","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":"5a4988ae8c653c227b6dfc0e86a7da12e22fa9c4117b7faa93604c63097db29e","cross_cats_sorted":["cs.SY","eess.SY","math.DS"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-21T22:45:07Z","title_canon_sha256":"ad7b38d370c6b67b45c129055740400e0e14e2cccf8cfde1273e4c0d90cdda9a"},"schema_version":"1.0","source":{"id":"2311.13033","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.13033","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"arxiv_version","alias_value":"2311.13033v4","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.13033","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_12","alias_value":"DUZXDF6J4FBV","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_16","alias_value":"DUZXDF6J4FBVH3HI","created_at":"2026-07-05T10:00:33Z"},{"alias_kind":"pith_short_8","alias_value":"DUZXDF6J","created_at":"2026-07-05T10:00:33Z"}],"graph_snapshots":[{"event_id":"sha256:5ca84fe7fee35eb48ba873eb216f8f1ee934f1c9acea2367443475247d288641","target":"graph","created_at":"2026-07-05T10:00:33Z","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/2311.13033/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A popular way to approximate the Koopman operator's action on a finite-dimensional subspace of functions is via orthogonal projections. The quality of the projected model directly depends on the selected subspace, specifically on how close it is to being invariant under the Koopman operator. The notion of invariance proximity provides a tight upper bound on the worst-case relative prediction error of the finite-dimensional model. However, its direct calculation is computationally challenging. This paper leverages the geometric structure behind the definition of invariance proximity to provide ","authors_text":"Jorge Cort\\'es, Masih Haseli","cross_cats":["cs.SY","eess.SY","math.DS"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-21T22:45:07Z","title":"Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.13033","kind":"arxiv","version":4},"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:b3800617cf7b0c06c9c6ca7e4181d9798de8b56338b314c6fba3366239d0bd2a","target":"record","created_at":"2026-07-05T10:00:33Z","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":"5a4988ae8c653c227b6dfc0e86a7da12e22fa9c4117b7faa93604c63097db29e","cross_cats_sorted":["cs.SY","eess.SY","math.DS"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-21T22:45:07Z","title_canon_sha256":"ad7b38d370c6b67b45c129055740400e0e14e2cccf8cfde1273e4c0d90cdda9a"},"schema_version":"1.0","source":{"id":"2311.13033","kind":"arxiv","version":4}},"canonical_sha256":"1d337197c9e14353ece83f49d01280a02ddd03b0224cd41c976c497423731056","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d337197c9e14353ece83f49d01280a02ddd03b0224cd41c976c497423731056","first_computed_at":"2026-07-05T10:00:33.845796Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:00:33.845796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"390jCr1X4iQPPgOGaWX0Ah/nqkvd5ahDd+552ko7rve6ChYgaes32cJKRkBep/MEUmsS6aBu8GJjtI5tPf0sCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:00:33.846287Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.13033","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3800617cf7b0c06c9c6ca7e4181d9798de8b56338b314c6fba3366239d0bd2a","sha256:5ca84fe7fee35eb48ba873eb216f8f1ee934f1c9acea2367443475247d288641"],"state_sha256":"568a8e2c1b65fb14fc41d1f0ef2c803e7e49faf019280c1dacc1a2f331cc0ba2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iQDe0l456RirGLC9w2uZWQOf+1EtJyUNBxsCxmj3cwlgnZhWBZcDdaX2MFA9l/9uj1K98eQXMBZDhxcjCZ6iCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T08:43:34.276651Z","bundle_sha256":"fade45543317455211a9ae61aa628cb0328f898e1537b7a64726e1b0b4e2c1cc"}}