{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GAOF5V7X4JGJ64LNOP6Y2UZM7E","short_pith_number":"pith:GAOF5V7X","canonical_record":{"source":{"id":"1708.03980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-08-14T01:12:37Z","cross_cats_sorted":[],"title_canon_sha256":"a719e8a5242d20c2b7a9844bb5be24772d7afeb7d9ab94ad7a0836ac58dc3d47","abstract_canon_sha256":"31e144cccb429c0f94fc7b0dd8c9685a08ab14731d3ab4875284fffb23786169"},"schema_version":"1.0"},"canonical_sha256":"301c5ed7f7e24c9f716d73fd8d532cf92318bff54b061f0d08149c2c13e2a3c5","source":{"kind":"arxiv","id":"1708.03980","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.03980","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"arxiv_version","alias_value":"1708.03980v1","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.03980","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"pith_short_12","alias_value":"GAOF5V7X4JGJ","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GAOF5V7X4JGJ64LN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GAOF5V7X","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GAOF5V7X4JGJ64LNOP6Y2UZM7E","target":"record","payload":{"canonical_record":{"source":{"id":"1708.03980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-08-14T01:12:37Z","cross_cats_sorted":[],"title_canon_sha256":"a719e8a5242d20c2b7a9844bb5be24772d7afeb7d9ab94ad7a0836ac58dc3d47","abstract_canon_sha256":"31e144cccb429c0f94fc7b0dd8c9685a08ab14731d3ab4875284fffb23786169"},"schema_version":"1.0"},"canonical_sha256":"301c5ed7f7e24c9f716d73fd8d532cf92318bff54b061f0d08149c2c13e2a3c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:07.366352Z","signature_b64":"HuHRuhuil8WEjIVgVH8p1mpDpAtTwSReiT/1xMyorQlyvLTiuJm1zEtI6YOJ56Bi1YA3EXWjhLqWJeuUrbWeDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"301c5ed7f7e24c9f716d73fd8d532cf92318bff54b061f0d08149c2c13e2a3c5","last_reissued_at":"2026-05-18T00:38:07.365873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:07.365873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.03980","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:38:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gHDBlUTQ8EYWo7vAq5O3GN157tsB2Bv1TKVaelFdbCBMiuoodLlkPmptQ79yaZsie+CS8SA49ATs/QQ14Mi3CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:24:37.447508Z"},"content_sha256":"228d5fd7e1a1f02b7e5da493d2fa73d4b5e823c78e748414ebe99a0e634ddb64","schema_version":"1.0","event_id":"sha256:228d5fd7e1a1f02b7e5da493d2fa73d4b5e823c78e748414ebe99a0e634ddb64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GAOF5V7X4JGJ64LNOP6Y2UZM7E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Provably convergent implementations of the subdivision algorithm for the computation of invariant objects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Janosch Rieger","submitted_at":"2017-08-14T01:12:37Z","abstract_excerpt":"The subdivision algorithm by Dellnitz and Hohmann for the computation of invariant sets of dynamical systems decomposes the relevant region of the state space into boxes and analyzes the induced box dynamics. Its convergence is proved in an idealized setting, assuming that the exact time evolution of these boxes can be computed.\n  In the present article, we show that slightly modified, directly implementable versions of the original algorithm are convergent under very mild assumptions on the dynamical system. In particular, we demonastrate that neither a fine net of sample points nor very accu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.03980","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:38:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4znbB5ApouviOnVI1kWMpD1tAYXCBNmMT1rM6ZWPXicLdW424RWTHe7Xj+YDPcA1EfuR7kPWdCaOnJtBxR/cBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:24:37.448113Z"},"content_sha256":"299202e5c3ebea32f59034b488ac5790a4be09a34df974c10a3967fb73f968c8","schema_version":"1.0","event_id":"sha256:299202e5c3ebea32f59034b488ac5790a4be09a34df974c10a3967fb73f968c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/bundle.json","state_url":"https://pith.science/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/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-26T14:24:37Z","links":{"resolver":"https://pith.science/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E","bundle":"https://pith.science/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/bundle.json","state":"https://pith.science/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GAOF5V7X4JGJ64LNOP6Y2UZM7E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GAOF5V7X4JGJ64LNOP6Y2UZM7E","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":"31e144cccb429c0f94fc7b0dd8c9685a08ab14731d3ab4875284fffb23786169","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-08-14T01:12:37Z","title_canon_sha256":"a719e8a5242d20c2b7a9844bb5be24772d7afeb7d9ab94ad7a0836ac58dc3d47"},"schema_version":"1.0","source":{"id":"1708.03980","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.03980","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"arxiv_version","alias_value":"1708.03980v1","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.03980","created_at":"2026-05-18T00:38:07Z"},{"alias_kind":"pith_short_12","alias_value":"GAOF5V7X4JGJ","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GAOF5V7X4JGJ64LN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GAOF5V7X","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:299202e5c3ebea32f59034b488ac5790a4be09a34df974c10a3967fb73f968c8","target":"graph","created_at":"2026-05-18T00:38:07Z","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":"The subdivision algorithm by Dellnitz and Hohmann for the computation of invariant sets of dynamical systems decomposes the relevant region of the state space into boxes and analyzes the induced box dynamics. Its convergence is proved in an idealized setting, assuming that the exact time evolution of these boxes can be computed.\n  In the present article, we show that slightly modified, directly implementable versions of the original algorithm are convergent under very mild assumptions on the dynamical system. In particular, we demonastrate that neither a fine net of sample points nor very accu","authors_text":"Janosch Rieger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-08-14T01:12:37Z","title":"Provably convergent implementations of the subdivision algorithm for the computation of invariant objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.03980","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:228d5fd7e1a1f02b7e5da493d2fa73d4b5e823c78e748414ebe99a0e634ddb64","target":"record","created_at":"2026-05-18T00:38:07Z","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":"31e144cccb429c0f94fc7b0dd8c9685a08ab14731d3ab4875284fffb23786169","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-08-14T01:12:37Z","title_canon_sha256":"a719e8a5242d20c2b7a9844bb5be24772d7afeb7d9ab94ad7a0836ac58dc3d47"},"schema_version":"1.0","source":{"id":"1708.03980","kind":"arxiv","version":1}},"canonical_sha256":"301c5ed7f7e24c9f716d73fd8d532cf92318bff54b061f0d08149c2c13e2a3c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"301c5ed7f7e24c9f716d73fd8d532cf92318bff54b061f0d08149c2c13e2a3c5","first_computed_at":"2026-05-18T00:38:07.365873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:07.365873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HuHRuhuil8WEjIVgVH8p1mpDpAtTwSReiT/1xMyorQlyvLTiuJm1zEtI6YOJ56Bi1YA3EXWjhLqWJeuUrbWeDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:07.366352Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.03980","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:228d5fd7e1a1f02b7e5da493d2fa73d4b5e823c78e748414ebe99a0e634ddb64","sha256:299202e5c3ebea32f59034b488ac5790a4be09a34df974c10a3967fb73f968c8"],"state_sha256":"c8ce368aaaf15b54eb928a4d9d212aeb8159f3ccda12f3675bbe54ec8fc9d0a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RzbaudQhZsAwmo53EJPQVRVI1WQxE7PQy/NPkldguB3ZzodXPF+9rAKWDKwOlABKmUX52OTYkgJufVrXC41CCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T14:24:37.451300Z","bundle_sha256":"e5707c1abbe2befdbea3e298d076945bc378d5a9d14f2c1339f6c024d9a9fc19"}}