{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:P7V65UQA3EF4NVD4JCDPEP7Z2T","short_pith_number":"pith:P7V65UQA","schema_version":"1.0","canonical_sha256":"7febeed200d90bc6d47c4886f23ff9d4cff0784fa8f2d479d9ecc6f81e26b4aa","source":{"kind":"arxiv","id":"2507.23498","version":1},"attestation_state":"computed","paper":{"title":"On the lattice property of the Koopman operator spectrum","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.FA","nlin.CD"],"primary_cat":"math.DS","authors_text":"Jason J. Bramburger","submitted_at":"2025-07-31T12:38:39Z","abstract_excerpt":"The Koopman operator has become a celebrated tool in modern dynamical systems theory for analyzing and interpreting both models and datasets. The linearity of the Koopman operator means that important characteristics about it, and in turn its associated nonlinear system, are captured by its eigenpairs and more generally its spectrum. Many studies point out that the spectrum of the Koopman operator has a multiplicative lattice structure by which eigenvalues and eigenfunctions can be multiplied to produce new eigenpairs. However, these observations fail to resolve whether the new eigenfunction r"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2507.23498","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2025-07-31T12:38:39Z","cross_cats_sorted":["math.FA","nlin.CD"],"title_canon_sha256":"542708b6c5f4539394ff13d250b4bb8edaa02a46fa73c316a75a637ee3dc4da4","abstract_canon_sha256":"3ed32b2222eb431d5de916925b8c281f46a7d283e2afb4df8f01181d37ddf041"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:25.374485Z","signature_b64":"4LinsR1tOUJ8hOGHM+vWzyFJ0T14Qe10d7CP3P1r0bW4nEbxXqLj/qFG8W+Qa/MpTlR3QA5vI58VjwO3fFqQCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7febeed200d90bc6d47c4886f23ff9d4cff0784fa8f2d479d9ecc6f81e26b4aa","last_reissued_at":"2026-07-05T11:46:25.374011Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:25.374011Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the lattice property of the Koopman operator spectrum","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.FA","nlin.CD"],"primary_cat":"math.DS","authors_text":"Jason J. Bramburger","submitted_at":"2025-07-31T12:38:39Z","abstract_excerpt":"The Koopman operator has become a celebrated tool in modern dynamical systems theory for analyzing and interpreting both models and datasets. The linearity of the Koopman operator means that important characteristics about it, and in turn its associated nonlinear system, are captured by its eigenpairs and more generally its spectrum. Many studies point out that the spectrum of the Koopman operator has a multiplicative lattice structure by which eigenvalues and eigenfunctions can be multiplied to produce new eigenpairs. However, these observations fail to resolve whether the new eigenfunction r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.23498","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.23498/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2507.23498","created_at":"2026-07-05T11:46:25.374067+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.23498v1","created_at":"2026-07-05T11:46:25.374067+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.23498","created_at":"2026-07-05T11:46:25.374067+00:00"},{"alias_kind":"pith_short_12","alias_value":"P7V65UQA3EF4","created_at":"2026-07-05T11:46:25.374067+00:00"},{"alias_kind":"pith_short_16","alias_value":"P7V65UQA3EF4NVD4","created_at":"2026-07-05T11:46:25.374067+00:00"},{"alias_kind":"pith_short_8","alias_value":"P7V65UQA","created_at":"2026-07-05T11:46:25.374067+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T","json":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T.json","graph_json":"https://pith.science/api/pith-number/P7V65UQA3EF4NVD4JCDPEP7Z2T/graph.json","events_json":"https://pith.science/api/pith-number/P7V65UQA3EF4NVD4JCDPEP7Z2T/events.json","paper":"https://pith.science/paper/P7V65UQA"},"agent_actions":{"view_html":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T","download_json":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T.json","view_paper":"https://pith.science/paper/P7V65UQA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.23498&json=true","fetch_graph":"https://pith.science/api/pith-number/P7V65UQA3EF4NVD4JCDPEP7Z2T/graph.json","fetch_events":"https://pith.science/api/pith-number/P7V65UQA3EF4NVD4JCDPEP7Z2T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T/action/storage_attestation","attest_author":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T/action/author_attestation","sign_citation":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T/action/citation_signature","submit_replication":"https://pith.science/pith/P7V65UQA3EF4NVD4JCDPEP7Z2T/action/replication_record"}},"created_at":"2026-07-05T11:46:25.374067+00:00","updated_at":"2026-07-05T11:46:25.374067+00:00"}