{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3IJ5YYYMX3JFEFFVBBJQW6ZZMV","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":"72808ac71bde4083650f9721d9aaa1cebb286274eab2e96069edd19cbe313e5e","cross_cats_sorted":["math.CA","math.GT","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-07-06T13:51:30Z","title_canon_sha256":"c1def00f479511ca7973d1a02093b3e2292368255008813c747d7089070b980e"},"schema_version":"1.0","source":{"id":"1507.01462","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01462","created_at":"2026-05-18T01:21:04Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01462v2","created_at":"2026-05-18T01:21:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01462","created_at":"2026-05-18T01:21:04Z"},{"alias_kind":"pith_short_12","alias_value":"3IJ5YYYMX3JF","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3IJ5YYYMX3JFEFFV","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3IJ5YYYM","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:89c9fb7fa7c344e76f09c00840fb20bd034eddfe9fb51331f2f290ee5accdd41","target":"graph","created_at":"2026-05-18T01:21:04Z","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 provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x' = f(x,y,\\epsilon), y' = \\epsilon g(x,y,\\epsilon)$ with one-dimensional slow variable $y$. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and $m$-cones are also ","authors_text":"Kaname Matsue","cross_cats":["math.CA","math.GT","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-07-06T13:51:30Z","title":"Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01462","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:8d1817323ee93dc3e971e759ef3049957bc3dc740b59c355f4f84dd96fbfa176","target":"record","created_at":"2026-05-18T01:21:04Z","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":"72808ac71bde4083650f9721d9aaa1cebb286274eab2e96069edd19cbe313e5e","cross_cats_sorted":["math.CA","math.GT","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-07-06T13:51:30Z","title_canon_sha256":"c1def00f479511ca7973d1a02093b3e2292368255008813c747d7089070b980e"},"schema_version":"1.0","source":{"id":"1507.01462","kind":"arxiv","version":2}},"canonical_sha256":"da13dc630cbed25214b508530b7b39654c1bdd1c2c41193f9b0e18dc64fd1bb6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da13dc630cbed25214b508530b7b39654c1bdd1c2c41193f9b0e18dc64fd1bb6","first_computed_at":"2026-05-18T01:21:04.929268Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:04.929268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MrEDCw0JUhPnBGWyARk+ZMZesXn0RY0xv0VOekiVtoxMiJTFqWqEPs0Fg76NPGqNhw5RXOqVUhPjnb6Wn5IMBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:04.930042Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.01462","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d1817323ee93dc3e971e759ef3049957bc3dc740b59c355f4f84dd96fbfa176","sha256:89c9fb7fa7c344e76f09c00840fb20bd034eddfe9fb51331f2f290ee5accdd41"],"state_sha256":"d4680e7c4982b5240c5efa848ef82aad5f5b2545bc6059bf0e954b9a2a016d0f"}