{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TVXR7OXBOUXAZPFWPMD76FXDVK","short_pith_number":"pith:TVXR7OXB","canonical_record":{"source":{"id":"1502.00931","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-02-03T17:10:49Z","cross_cats_sorted":[],"title_canon_sha256":"695aad91adc5dd33cbec653b0ed3c61839c0d5a04ac636ffc1ee7be061044d59","abstract_canon_sha256":"fc159d89da75255072992d51e7bd1275e75c571fe5583f58cece0a1b78a362c0"},"schema_version":"1.0"},"canonical_sha256":"9d6f1fbae1752e0cbcb67b07ff16e3aa9dce2a8bf33908aebbada8e98302dcb5","source":{"kind":"arxiv","id":"1502.00931","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.00931","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"arxiv_version","alias_value":"1502.00931v4","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.00931","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"pith_short_12","alias_value":"TVXR7OXBOUXA","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TVXR7OXBOUXAZPFW","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TVXR7OXB","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TVXR7OXBOUXAZPFWPMD76FXDVK","target":"record","payload":{"canonical_record":{"source":{"id":"1502.00931","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-02-03T17:10:49Z","cross_cats_sorted":[],"title_canon_sha256":"695aad91adc5dd33cbec653b0ed3c61839c0d5a04ac636ffc1ee7be061044d59","abstract_canon_sha256":"fc159d89da75255072992d51e7bd1275e75c571fe5583f58cece0a1b78a362c0"},"schema_version":"1.0"},"canonical_sha256":"9d6f1fbae1752e0cbcb67b07ff16e3aa9dce2a8bf33908aebbada8e98302dcb5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:51.708658Z","signature_b64":"hQOZQ2Pyd5oLAdZ7MgRT0RKFK0aXBBhJ7FvYWFKWk2Pl5e87A9OyzRWhJ6b8nI5XuUjVck5oiDiwA4lL59PtCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d6f1fbae1752e0cbcb67b07ff16e3aa9dce2a8bf33908aebbada8e98302dcb5","last_reissued_at":"2026-05-18T00:05:51.707901Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:51.707901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.00931","source_version":4,"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:05:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lIDL5J7nZUOB38ez2JSRy/MN12MMjraQY5K5KAZMtF3Ttq0rnv4Ghr0GRTHz1EAEsxMYmMY9oFbQvgH55pimDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:57:04.185555Z"},"content_sha256":"dd2385ccb65c1439160d5f5fd4ac6fd178c797921f5b931c99685001c390e8d0","schema_version":"1.0","event_id":"sha256:dd2385ccb65c1439160d5f5fd4ac6fd178c797921f5b931c99685001c390e8d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TVXR7OXBOUXAZPFWPMD76FXDVK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specification and towers in shift spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Vaughn Climenhaga","submitted_at":"2015-02-03T17:10:49Z","abstract_excerpt":"We show that a shift space on a finite alphabet with a non-uniform specification property can be modeled by a strongly positive recurrent countable-state Markov shift to which every equilibrium state lifts. In addition to uniqueness of the equilibrium state, this gives strong statistical properties including the Bernoulli property, exponential decay of correlations, central limit theorem, and analyticity of pressure, which are new even for uniform specification. We give applications to shifts of quasi-finite type, synchronised and coded shifts, and factors of beta-shifts and S-gap shifts."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.00931","kind":"arxiv","version":4},"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:05:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wEK4Vf/2vxDpFZKkapo0x5VyuK6PPpWsQA59Yfb8q3syFekBrRWOv0XBQ2t+FW8Pet1Yk9i5cF7BSZkDsKgmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:57:04.185897Z"},"content_sha256":"1e1ff34651235b8a8a5ad390d670383d8cee111d28b209204d262f7394a69efb","schema_version":"1.0","event_id":"sha256:1e1ff34651235b8a8a5ad390d670383d8cee111d28b209204d262f7394a69efb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/bundle.json","state_url":"https://pith.science/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/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-10T19:57:04Z","links":{"resolver":"https://pith.science/pith/TVXR7OXBOUXAZPFWPMD76FXDVK","bundle":"https://pith.science/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/bundle.json","state":"https://pith.science/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TVXR7OXBOUXAZPFWPMD76FXDVK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TVXR7OXBOUXAZPFWPMD76FXDVK","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":"fc159d89da75255072992d51e7bd1275e75c571fe5583f58cece0a1b78a362c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-02-03T17:10:49Z","title_canon_sha256":"695aad91adc5dd33cbec653b0ed3c61839c0d5a04ac636ffc1ee7be061044d59"},"schema_version":"1.0","source":{"id":"1502.00931","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.00931","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"arxiv_version","alias_value":"1502.00931v4","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.00931","created_at":"2026-05-18T00:05:51Z"},{"alias_kind":"pith_short_12","alias_value":"TVXR7OXBOUXA","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TVXR7OXBOUXAZPFW","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TVXR7OXB","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:1e1ff34651235b8a8a5ad390d670383d8cee111d28b209204d262f7394a69efb","target":"graph","created_at":"2026-05-18T00:05:51Z","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 show that a shift space on a finite alphabet with a non-uniform specification property can be modeled by a strongly positive recurrent countable-state Markov shift to which every equilibrium state lifts. In addition to uniqueness of the equilibrium state, this gives strong statistical properties including the Bernoulli property, exponential decay of correlations, central limit theorem, and analyticity of pressure, which are new even for uniform specification. We give applications to shifts of quasi-finite type, synchronised and coded shifts, and factors of beta-shifts and S-gap shifts.","authors_text":"Vaughn Climenhaga","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-02-03T17:10:49Z","title":"Specification and towers in shift spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.00931","kind":"arxiv","version":4},"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:dd2385ccb65c1439160d5f5fd4ac6fd178c797921f5b931c99685001c390e8d0","target":"record","created_at":"2026-05-18T00:05:51Z","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":"fc159d89da75255072992d51e7bd1275e75c571fe5583f58cece0a1b78a362c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-02-03T17:10:49Z","title_canon_sha256":"695aad91adc5dd33cbec653b0ed3c61839c0d5a04ac636ffc1ee7be061044d59"},"schema_version":"1.0","source":{"id":"1502.00931","kind":"arxiv","version":4}},"canonical_sha256":"9d6f1fbae1752e0cbcb67b07ff16e3aa9dce2a8bf33908aebbada8e98302dcb5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d6f1fbae1752e0cbcb67b07ff16e3aa9dce2a8bf33908aebbada8e98302dcb5","first_computed_at":"2026-05-18T00:05:51.707901Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:51.707901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hQOZQ2Pyd5oLAdZ7MgRT0RKFK0aXBBhJ7FvYWFKWk2Pl5e87A9OyzRWhJ6b8nI5XuUjVck5oiDiwA4lL59PtCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:51.708658Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.00931","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd2385ccb65c1439160d5f5fd4ac6fd178c797921f5b931c99685001c390e8d0","sha256:1e1ff34651235b8a8a5ad390d670383d8cee111d28b209204d262f7394a69efb"],"state_sha256":"0c500c9f0565ebe903672668dc7921ec5835c5e1e6bd737937e44fd3ec106a87"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hTLgbAmZ8HE1tiH2rX3SxYMwVUaaPpKEkvUyinbNuC4HNXOaS4RaqG0YkhKWrKEaqIlinc15YRfSRebycn6hCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:57:04.187743Z","bundle_sha256":"197b052e3a0d32639a4103e9c5fb920ef29ae60472040991185695a79701394b"}}