{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:2VWMZQVPOVRVDRLGJF2O6GN44B","short_pith_number":"pith:2VWMZQVP","schema_version":"1.0","canonical_sha256":"d56cccc2af756351c5664974ef19bce04e8c84c698b2dd26bc9d193a77902e38","source":{"kind":"arxiv","id":"2506.21481","version":1},"attestation_state":"computed","paper":{"title":"Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Eike Neumann","submitted_at":"2025-06-26T17:10:46Z","abstract_excerpt":"We study the problem of deciding whether a point escapes a closed subset of $\\mathbb{R}^d$ under the iteration of a continuous map $f \\colon \\mathbb{R}^d \\to \\mathbb{R}^d$ in the bit-model of real computation. We give a sound partial decision method for this problem which is complete in the sense that its halting set contains the halting set of all sound partial decision methods for the problem. Equivalently, our decision method terminates on all problem instances whose answer is robust under all sufficiently small perturbations of the function. We further show that the halting set of our algo"},"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":"2506.21481","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-26T17:10:46Z","cross_cats_sorted":[],"title_canon_sha256":"277ed067dc076bc17c2c0ae16e40b7867e9a2851b6ba5a96383f7f27a5ea7ca4","abstract_canon_sha256":"0de63d46371b3a21b810a871f3a1dfbaf553942f5fb5ff3172f283e55130efb9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:27:46.672593Z","signature_b64":"euL8Yxxhwn+XzYgnUMJGbhnutIUrtHzYXwJrEtfeLFl4c6OADeeJCZyTqbHiTmwY0QG2f55c3765Fp9erooeBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d56cccc2af756351c5664974ef19bce04e8c84c698b2dd26bc9d193a77902e38","last_reissued_at":"2026-07-05T11:27:46.672089Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:27:46.672089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Eike Neumann","submitted_at":"2025-06-26T17:10:46Z","abstract_excerpt":"We study the problem of deciding whether a point escapes a closed subset of $\\mathbb{R}^d$ under the iteration of a continuous map $f \\colon \\mathbb{R}^d \\to \\mathbb{R}^d$ in the bit-model of real computation. We give a sound partial decision method for this problem which is complete in the sense that its halting set contains the halting set of all sound partial decision methods for the problem. Equivalently, our decision method terminates on all problem instances whose answer is robust under all sufficiently small perturbations of the function. We further show that the halting set of our algo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.21481","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/2506.21481/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":"2506.21481","created_at":"2026-07-05T11:27:46.672146+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.21481v1","created_at":"2026-07-05T11:27:46.672146+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.21481","created_at":"2026-07-05T11:27:46.672146+00:00"},{"alias_kind":"pith_short_12","alias_value":"2VWMZQVPOVRV","created_at":"2026-07-05T11:27:46.672146+00:00"},{"alias_kind":"pith_short_16","alias_value":"2VWMZQVPOVRVDRLG","created_at":"2026-07-05T11:27:46.672146+00:00"},{"alias_kind":"pith_short_8","alias_value":"2VWMZQVP","created_at":"2026-07-05T11:27:46.672146+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/2VWMZQVPOVRVDRLGJF2O6GN44B","json":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B.json","graph_json":"https://pith.science/api/pith-number/2VWMZQVPOVRVDRLGJF2O6GN44B/graph.json","events_json":"https://pith.science/api/pith-number/2VWMZQVPOVRVDRLGJF2O6GN44B/events.json","paper":"https://pith.science/paper/2VWMZQVP"},"agent_actions":{"view_html":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B","download_json":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B.json","view_paper":"https://pith.science/paper/2VWMZQVP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.21481&json=true","fetch_graph":"https://pith.science/api/pith-number/2VWMZQVPOVRVDRLGJF2O6GN44B/graph.json","fetch_events":"https://pith.science/api/pith-number/2VWMZQVPOVRVDRLGJF2O6GN44B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B/action/storage_attestation","attest_author":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B/action/author_attestation","sign_citation":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B/action/citation_signature","submit_replication":"https://pith.science/pith/2VWMZQVPOVRVDRLGJF2O6GN44B/action/replication_record"}},"created_at":"2026-07-05T11:27:46.672146+00:00","updated_at":"2026-07-05T11:27:46.672146+00:00"}