{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:ZM4LVG6XED5WVUYZ6D5IP7ZMYT","short_pith_number":"pith:ZM4LVG6X","canonical_record":{"source":{"id":"0809.2713","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2008-09-16T14:13:28Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"b560f44bca309def454b876b34e7b6ec50f95f73af1ce548b4213cc20b4f84b5","abstract_canon_sha256":"ebcfde79e3291d0f65c82f07b71466d802ae5d3e9a785825a101e3b839c9050a"},"schema_version":"1.0"},"canonical_sha256":"cb38ba9bd720fb6ad319f0fa87ff2cc4d0ec7276de1b436604f7db9986d1aa73","source":{"kind":"arxiv","id":"0809.2713","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2713","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2713v2","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2713","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZM4LVG6XED5W","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"ZM4LVG6XED5WVUYZ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"ZM4LVG6X","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:ZM4LVG6XED5WVUYZ6D5IP7ZMYT","target":"record","payload":{"canonical_record":{"source":{"id":"0809.2713","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2008-09-16T14:13:28Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"b560f44bca309def454b876b34e7b6ec50f95f73af1ce548b4213cc20b4f84b5","abstract_canon_sha256":"ebcfde79e3291d0f65c82f07b71466d802ae5d3e9a785825a101e3b839c9050a"},"schema_version":"1.0"},"canonical_sha256":"cb38ba9bd720fb6ad319f0fa87ff2cc4d0ec7276de1b436604f7db9986d1aa73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:35.437176Z","signature_b64":"AGv1hkIvSSJt9R2A8bA0Lv30xMx3dPy16sj4i8kAkDUnBQ8WAi6g3QuwabAjWpUM42lPAEUQS6Ynd4756uI7Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb38ba9bd720fb6ad319f0fa87ff2cc4d0ec7276de1b436604f7db9986d1aa73","last_reissued_at":"2026-05-18T04:24:35.436756Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:35.436756Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.2713","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-18T04:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qriRFauOs1Ks87q/yT1i2voeLlHVbb7nkfUNu37kevvh0zQ6QT01dC5poxhGfa2ujmOrlGVYEeOKDdTZFp8XAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:35:08.548077Z"},"content_sha256":"e4b1de1c5b9e61a113059ca2837f4425b843d1ba679548dc15f3cf8de4593dc7","schema_version":"1.0","event_id":"sha256:e4b1de1c5b9e61a113059ca2837f4425b843d1ba679548dc15f3cf8de4593dc7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:ZM4LVG6XED5WVUYZ6D5IP7ZMYT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On some new invariants for strong shift equivalence for shifts of finite type","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.DS","authors_text":"Ian Kiming, Soren Eilers","submitted_at":"2008-09-16T14:13:28Z","abstract_excerpt":"We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable.\n  We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\\times 2$-matrices with entry sum less than 25, and give examples illustrating to power of the new invariant, i.e., examples where the new invariant can disprove strong shift equivalence whereas the other invariants that we us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2713","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-18T04:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yCCeHnW1dztUb+1GMzXuvcoIp2CHYjfws5tVGH4B3ZkNorPgAzIjOUba0HH+KlFaU2Nhvxie3QEJhWXWRuB4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:35:08.548420Z"},"content_sha256":"0574b3723633b60188b1197e4a0ec09f95cb5cb5d329cdb13affa59501256127","schema_version":"1.0","event_id":"sha256:0574b3723633b60188b1197e4a0ec09f95cb5cb5d329cdb13affa59501256127"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/bundle.json","state_url":"https://pith.science/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/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-06-01T16:35:08Z","links":{"resolver":"https://pith.science/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT","bundle":"https://pith.science/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/bundle.json","state":"https://pith.science/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZM4LVG6XED5WVUYZ6D5IP7ZMYT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:ZM4LVG6XED5WVUYZ6D5IP7ZMYT","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":"ebcfde79e3291d0f65c82f07b71466d802ae5d3e9a785825a101e3b839c9050a","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2008-09-16T14:13:28Z","title_canon_sha256":"b560f44bca309def454b876b34e7b6ec50f95f73af1ce548b4213cc20b4f84b5"},"schema_version":"1.0","source":{"id":"0809.2713","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2713","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2713v2","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2713","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZM4LVG6XED5W","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"ZM4LVG6XED5WVUYZ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"ZM4LVG6X","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:0574b3723633b60188b1197e4a0ec09f95cb5cb5d329cdb13affa59501256127","target":"graph","created_at":"2026-05-18T04:24:35Z","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 introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable.\n  We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\\times 2$-matrices with entry sum less than 25, and give examples illustrating to power of the new invariant, i.e., examples where the new invariant can disprove strong shift equivalence whereas the other invariants that we us","authors_text":"Ian Kiming, Soren Eilers","cross_cats":["math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2008-09-16T14:13:28Z","title":"On some new invariants for strong shift equivalence for shifts of finite type"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2713","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:e4b1de1c5b9e61a113059ca2837f4425b843d1ba679548dc15f3cf8de4593dc7","target":"record","created_at":"2026-05-18T04:24:35Z","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":"ebcfde79e3291d0f65c82f07b71466d802ae5d3e9a785825a101e3b839c9050a","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2008-09-16T14:13:28Z","title_canon_sha256":"b560f44bca309def454b876b34e7b6ec50f95f73af1ce548b4213cc20b4f84b5"},"schema_version":"1.0","source":{"id":"0809.2713","kind":"arxiv","version":2}},"canonical_sha256":"cb38ba9bd720fb6ad319f0fa87ff2cc4d0ec7276de1b436604f7db9986d1aa73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb38ba9bd720fb6ad319f0fa87ff2cc4d0ec7276de1b436604f7db9986d1aa73","first_computed_at":"2026-05-18T04:24:35.436756Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:35.436756Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AGv1hkIvSSJt9R2A8bA0Lv30xMx3dPy16sj4i8kAkDUnBQ8WAi6g3QuwabAjWpUM42lPAEUQS6Ynd4756uI7Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:35.437176Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.2713","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4b1de1c5b9e61a113059ca2837f4425b843d1ba679548dc15f3cf8de4593dc7","sha256:0574b3723633b60188b1197e4a0ec09f95cb5cb5d329cdb13affa59501256127"],"state_sha256":"d24fb76d816ce42f1d62f5f6346bafa1cb910ffdc82a3decb4c99340c0e157d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fAByau+jkoAwTt0uRaSIaxpMkG7GISrFXFyEJ1U3uFaYN9iu5Md1HJNRTDnStGH3k2QPRu9S4JeJ0FRD9cNKCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:35:08.550265Z","bundle_sha256":"2f8bcc4f283d5ddca1f8583f828e023fa457acb8384c9dbe4472ace4f104bc99"}}