{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HAI5CWMWL3Q7SOYONITQT4ULLM","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":"eca4f3d0987648eeb3d85dbb22170409f1e892035e716433dca830703c2a8de7","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-12T11:09:14Z","title_canon_sha256":"a4c90c525813719b84befd1e6f2b8c06cac073fb2a5827693bc7f3a7d9e20558"},"schema_version":"1.0","source":{"id":"1510.03227","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.03227","created_at":"2026-05-18T01:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"1510.03227v2","created_at":"2026-05-18T01:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.03227","created_at":"2026-05-18T01:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"HAI5CWMWL3Q7","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HAI5CWMWL3Q7SOYO","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HAI5CWMW","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:109d28a5b31aef8b148d27f3ee8010c531eec328f3d97f03b11bf07af91fa3a3","target":"graph","created_at":"2026-05-18T01:16:09Z","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 decision problems on matrices were intensively studied for many decades as matrix products play an essential role in the representation of various computational processes. However, many computational problems for matrix semigroups are inherently difficult to solve even for problems in low dimensions and most matrix semigroup problems become undecidable in general starting from dimension three or four.\n  This paper solves two open problems about the decidability of the vector reachability problem over a finitely generated semigroup of matrices from $\\mathrm{SL}(2,\\mathbb{Z})$ and the point ","authors_text":"Igor Potapov, Pavel Semukhin","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-12T11:09:14Z","title":"Vector Reachability Problem in $\\mathrm{SL}(2,\\mathbb{Z})$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.03227","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:bdcc4c647d4f6fb5020f90aad5b80fb35b3a7fd8fc6306ef91cb0cf58dec0cf9","target":"record","created_at":"2026-05-18T01:16:09Z","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":"eca4f3d0987648eeb3d85dbb22170409f1e892035e716433dca830703c2a8de7","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-10-12T11:09:14Z","title_canon_sha256":"a4c90c525813719b84befd1e6f2b8c06cac073fb2a5827693bc7f3a7d9e20558"},"schema_version":"1.0","source":{"id":"1510.03227","kind":"arxiv","version":2}},"canonical_sha256":"3811d159965ee1f93b0e6a2709f28b5b0eda49e931ee27b8222565a7d8ba4d22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3811d159965ee1f93b0e6a2709f28b5b0eda49e931ee27b8222565a7d8ba4d22","first_computed_at":"2026-05-18T01:16:09.608025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:09.608025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lzbKrH+nUTKne4Bm6p28wxJFfCragBvFvI39Lgn4zi/IRucDdYQ/z1KPCjnyrgn9qWrRipDt2J6VbgiqJwmZBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:09.608740Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.03227","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bdcc4c647d4f6fb5020f90aad5b80fb35b3a7fd8fc6306ef91cb0cf58dec0cf9","sha256:109d28a5b31aef8b148d27f3ee8010c531eec328f3d97f03b11bf07af91fa3a3"],"state_sha256":"73a1e3c4b855dceaea750b616f9a3ceecccbdf69e9d6eeec66eb29c71e0a3b9a"}