{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YQA5J6JTKPI5WVKC7SWCZVRBCP","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":"19fef2a70683753b794292c23ed16237b97c4f2073e0563e2ef11975956e27af","cross_cats_sorted":["cs.NA","math.NA","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2024-11-11T15:29:01Z","title_canon_sha256":"e2c35b595205ad43b79eb4585dc70d981a747ee0a87c0c66cc41ca1e6e099846"},"schema_version":"1.0","source":{"id":"2411.07064","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.07064","created_at":"2026-07-05T11:12:22Z"},{"alias_kind":"arxiv_version","alias_value":"2411.07064v3","created_at":"2026-07-05T11:12:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.07064","created_at":"2026-07-05T11:12:22Z"},{"alias_kind":"pith_short_12","alias_value":"YQA5J6JTKPI5","created_at":"2026-07-05T11:12:22Z"},{"alias_kind":"pith_short_16","alias_value":"YQA5J6JTKPI5WVKC","created_at":"2026-07-05T11:12:22Z"},{"alias_kind":"pith_short_8","alias_value":"YQA5J6JT","created_at":"2026-07-05T11:12:22Z"}],"graph_snapshots":[{"event_id":"sha256:687e3c46815cd8ed0b45c97e2ef13b151e3a04db5e4e6706b3637497fb5123f4","target":"graph","created_at":"2026-07-05T11:12:22Z","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/2411.07064/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop a powerful and general method to provide rigorous and accurate upper and lower bounds for Lyapunov exponents of stochastic flows. Our approach is based on computer-assisted tools, the adjoint method and established results on the ergodicity of diffusion processes. We do not require any structural assumptions on the stochastic system and work under mild hypoellipticity conditions and outside of perturbative regimes. Therefore, our method allows for the treatment of systems that were so far out of reach from existing mathematical tools. We demonstrate our method to exhibit the chaotic","authors_text":"Hugo Chu, Jeroen S.W. Lamb, Martin Rasmussen, Maxime Breden","cross_cats":["cs.NA","math.NA","math.PR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2024-11-11T15:29:01Z","title":"Rigorous enclosure of Lyapunov exponents of stochastic flows"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.07064","kind":"arxiv","version":3},"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:dfed96a51d81bdd5b8afa6bf5afe01965edc2b5d0a251895f747ed5279ada099","target":"record","created_at":"2026-07-05T11:12:22Z","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":"19fef2a70683753b794292c23ed16237b97c4f2073e0563e2ef11975956e27af","cross_cats_sorted":["cs.NA","math.NA","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2024-11-11T15:29:01Z","title_canon_sha256":"e2c35b595205ad43b79eb4585dc70d981a747ee0a87c0c66cc41ca1e6e099846"},"schema_version":"1.0","source":{"id":"2411.07064","kind":"arxiv","version":3}},"canonical_sha256":"c401d4f93353d1db5542fcac2cd62113cb144d932473a27f91bc23d0af06e566","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c401d4f93353d1db5542fcac2cd62113cb144d932473a27f91bc23d0af06e566","first_computed_at":"2026-07-05T11:12:22.140059Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:22.140059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jo+B6KvVhkfU6AqF5NjpgJpRu1ZbvgrEfZ7idcibInGgO8LT97Jh+xPmHDyP/cPZPm/RuVr/PGYfG+UcxL+zAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:22.143708Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.07064","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfed96a51d81bdd5b8afa6bf5afe01965edc2b5d0a251895f747ed5279ada099","sha256:687e3c46815cd8ed0b45c97e2ef13b151e3a04db5e4e6706b3637497fb5123f4"],"state_sha256":"69d45872bc072decd154239248b1f1d22ca331443ec83026e717f3b97e2c6f1b"}