{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:WGJONUOO24MH2QV2NCSPLIJXZ7","short_pith_number":"pith:WGJONUOO","canonical_record":{"source":{"id":"1706.10107","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","cross_cats_sorted":[],"title_canon_sha256":"e101498d2d8d984ff31078c78a9e9cf8cc2f414463cbaef84ec9f95ba5f8192e","abstract_canon_sha256":"a3c6cd9f32030b4775ac1c10bb59b913b8552a2660d294c4d47bccf38830fe5f"},"schema_version":"1.0"},"canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","source":{"kind":"arxiv","id":"1706.10107","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.10107","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"arxiv_version","alias_value":"1706.10107v2","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.10107","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"pith_short_12","alias_value":"WGJONUOO24MH","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WGJONUOO24MH2QV2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WGJONUOO","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:WGJONUOO24MH2QV2NCSPLIJXZ7","target":"record","payload":{"canonical_record":{"source":{"id":"1706.10107","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","cross_cats_sorted":[],"title_canon_sha256":"e101498d2d8d984ff31078c78a9e9cf8cc2f414463cbaef84ec9f95ba5f8192e","abstract_canon_sha256":"a3c6cd9f32030b4775ac1c10bb59b913b8552a2660d294c4d47bccf38830fe5f"},"schema_version":"1.0"},"canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:16.653130Z","signature_b64":"8kdhxo9C7C6MXx/2E6NrFSWHpesr3VBIl+hiBDZEI/nioXJwUt1QHsPxe2kcwr64iVgfhaC7r9uiqofAZxptAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","last_reissued_at":"2026-05-18T00:30:16.652385Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:16.652385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.10107","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-18T00:30:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PBmF+g9/r+lInLmTBtQ2GZkX7zrqsvTtomeKnMU+DVPBi7OAdTEQVWgwly+vVjkJowpZYscyIvfmyBUAcfbrDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:08:18.311345Z"},"content_sha256":"a7752da1815e45944f31103c663d91ddbdcf9745b0d9199eedf0be70165842ca","schema_version":"1.0","event_id":"sha256:a7752da1815e45944f31103c663d91ddbdcf9745b0d9199eedf0be70165842ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:WGJONUOO24MH2QV2NCSPLIJXZ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"J.D. Mireles James, Shane Kepley, William D. Kalies","submitted_at":"2017-06-30T10:34:15Z","abstract_excerpt":"We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order Taylor expansion of the local invariant manifold. This expansion is valid in some neighborhood of the equilibrium. An important component of our method is that we obtain mathematically rigorous lower bounds on the size of this neighborhood, as well as validated a-posteriori error bounds for the polynomial approximation. In the second step we use a rigorous "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.10107","kind":"arxiv","version":2},"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:30:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"70y+IyTZgBLL82qp9xQGzelbish51kTC0x1tRHgqXcgHe+LCiEQz7yTle7bQz7xguvegkFyRKkYTDoJQ9Y+vDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:08:18.311717Z"},"content_sha256":"54ef8de65890772ac13b3ad3570d4f84b107aff7290dcbf9fd300e5eb1c57253","schema_version":"1.0","event_id":"sha256:54ef8de65890772ac13b3ad3570d4f84b107aff7290dcbf9fd300e5eb1c57253"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/bundle.json","state_url":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/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-26T07:08:18Z","links":{"resolver":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7","bundle":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/bundle.json","state":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:WGJONUOO24MH2QV2NCSPLIJXZ7","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":"a3c6cd9f32030b4775ac1c10bb59b913b8552a2660d294c4d47bccf38830fe5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","title_canon_sha256":"e101498d2d8d984ff31078c78a9e9cf8cc2f414463cbaef84ec9f95ba5f8192e"},"schema_version":"1.0","source":{"id":"1706.10107","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.10107","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"arxiv_version","alias_value":"1706.10107v2","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.10107","created_at":"2026-05-18T00:30:16Z"},{"alias_kind":"pith_short_12","alias_value":"WGJONUOO24MH","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WGJONUOO24MH2QV2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WGJONUOO","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:54ef8de65890772ac13b3ad3570d4f84b107aff7290dcbf9fd300e5eb1c57253","target":"graph","created_at":"2026-05-18T00:30:16Z","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":"We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order Taylor expansion of the local invariant manifold. This expansion is valid in some neighborhood of the equilibrium. An important component of our method is that we obtain mathematically rigorous lower bounds on the size of this neighborhood, as well as validated a-posteriori error bounds for the polynomial approximation. In the second step we use a rigorous ","authors_text":"J.D. Mireles James, Shane Kepley, William D. Kalies","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","title":"Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.10107","kind":"arxiv","version":2},"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:a7752da1815e45944f31103c663d91ddbdcf9745b0d9199eedf0be70165842ca","target":"record","created_at":"2026-05-18T00:30:16Z","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":"a3c6cd9f32030b4775ac1c10bb59b913b8552a2660d294c4d47bccf38830fe5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","title_canon_sha256":"e101498d2d8d984ff31078c78a9e9cf8cc2f414463cbaef84ec9f95ba5f8192e"},"schema_version":"1.0","source":{"id":"1706.10107","kind":"arxiv","version":2}},"canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","first_computed_at":"2026-05-18T00:30:16.652385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:16.652385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8kdhxo9C7C6MXx/2E6NrFSWHpesr3VBIl+hiBDZEI/nioXJwUt1QHsPxe2kcwr64iVgfhaC7r9uiqofAZxptAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:16.653130Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.10107","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7752da1815e45944f31103c663d91ddbdcf9745b0d9199eedf0be70165842ca","sha256:54ef8de65890772ac13b3ad3570d4f84b107aff7290dcbf9fd300e5eb1c57253"],"state_sha256":"e993888b31ab6e2f9c6fb6baeb9090e123969dd82fa2b7031210d3288f61c96e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VBFUcIq1YAgLfiOGnLAxdxCZp1R5zQ+J1ubEoEvHPIsB0TUtEPKCXuDLMZ9LqIguAdawvMgC5fO1y7mbZrfSCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T07:08:18.314293Z","bundle_sha256":"03991597d9918a8f858e1f7f1370f937fe24ca80306cfbdbebb024ff7c73be19"}}