{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:SSFGIRZZTPXVRM2YCWKYORWC44","short_pith_number":"pith:SSFGIRZZ","canonical_record":{"source":{"id":"1901.01457","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-05T18:42:27Z","cross_cats_sorted":[],"title_canon_sha256":"9cc0bdfd8d9037e3c4e882a519f7452ac8cb1b72247fec8bfc906838bed0a8c2","abstract_canon_sha256":"29a9dbad20d8914fbcb60f7a3cc59195ae961ec625a22e204654d102e6f94a02"},"schema_version":"1.0"},"canonical_sha256":"948a6447399bef58b35815958746c2e70e51c8511f1b3e800283e13e54f94287","source":{"kind":"arxiv","id":"1901.01457","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01457","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01457v2","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01457","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"pith_short_12","alias_value":"SSFGIRZZTPXV","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SSFGIRZZTPXVRM2Y","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SSFGIRZZ","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:SSFGIRZZTPXVRM2YCWKYORWC44","target":"record","payload":{"canonical_record":{"source":{"id":"1901.01457","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-05T18:42:27Z","cross_cats_sorted":[],"title_canon_sha256":"9cc0bdfd8d9037e3c4e882a519f7452ac8cb1b72247fec8bfc906838bed0a8c2","abstract_canon_sha256":"29a9dbad20d8914fbcb60f7a3cc59195ae961ec625a22e204654d102e6f94a02"},"schema_version":"1.0"},"canonical_sha256":"948a6447399bef58b35815958746c2e70e51c8511f1b3e800283e13e54f94287","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:39.030859Z","signature_b64":"n/6E/cUpbkqnyK61jFzb3oSshcSAwz856mqC9c3s3KcotjgPIefwHKki6VBTLrUPLQiLOEC+UoRdby4NlyfXDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"948a6447399bef58b35815958746c2e70e51c8511f1b3e800283e13e54f94287","last_reissued_at":"2026-05-17T23:51:39.030267Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:39.030267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.01457","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-17T23:51:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xOKBzC2uyV68Ck1+qfWRjc6FmTNLMhURC/X1mGQhrVi61Fy6H2uBAdZeRht7Qvcw9Ya0A5om76GYfvAt6wcUDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:39:35.198645Z"},"content_sha256":"f1ef75b167ec3f66d074d267c037cb1f7c13ba59d7afbf53ffd0bc633a45b1f7","schema_version":"1.0","event_id":"sha256:f1ef75b167ec3f66d074d267c037cb1f7c13ba59d7afbf53ffd0bc633a45b1f7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:SSFGIRZZTPXVRM2YCWKYORWC44","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic extensions of amenable group actions and the comparison property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Guohua Zhang, Tomasz Downarowicz","submitted_at":"2019-01-05T18:42:27Z","abstract_excerpt":"Symbolic Extension Entropy Theorem (SEET) describes the possibility of a lossless digitalization of a dynamical system by extending it to a subshift. It gives an estimate on the entropy of symbolic extensions (and the necessary number of symbols). Unlike in the measure-theoretic case, where Kolmogorov--Sinai entropy is the estimate, in the topological setup the task reaches beyond the classical theory of entropy. Tools from an extended theory of entropy structures are needed. The main goal of this paper is to prove the SEET for actions of countable amenable groups: Let a countable amenable gro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01457","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-17T23:51:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V/j01A+fHWYKWY2XlSMy9vIqsjRcjvhK5sR2isbn+HM2jVb3rd9Y5lfibIjwcYZ1kDT/nGDDApuXfg9zQxS6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:39:35.199283Z"},"content_sha256":"0b8b7d39144d54cc589ab7558bbca51317f51f437ce52bbbbeb39661f1aa0ea1","schema_version":"1.0","event_id":"sha256:0b8b7d39144d54cc589ab7558bbca51317f51f437ce52bbbbeb39661f1aa0ea1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SSFGIRZZTPXVRM2YCWKYORWC44/bundle.json","state_url":"https://pith.science/pith/SSFGIRZZTPXVRM2YCWKYORWC44/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SSFGIRZZTPXVRM2YCWKYORWC44/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-05-25T21:39:35Z","links":{"resolver":"https://pith.science/pith/SSFGIRZZTPXVRM2YCWKYORWC44","bundle":"https://pith.science/pith/SSFGIRZZTPXVRM2YCWKYORWC44/bundle.json","state":"https://pith.science/pith/SSFGIRZZTPXVRM2YCWKYORWC44/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SSFGIRZZTPXVRM2YCWKYORWC44/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:SSFGIRZZTPXVRM2YCWKYORWC44","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":"29a9dbad20d8914fbcb60f7a3cc59195ae961ec625a22e204654d102e6f94a02","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-05T18:42:27Z","title_canon_sha256":"9cc0bdfd8d9037e3c4e882a519f7452ac8cb1b72247fec8bfc906838bed0a8c2"},"schema_version":"1.0","source":{"id":"1901.01457","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01457","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01457v2","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01457","created_at":"2026-05-17T23:51:39Z"},{"alias_kind":"pith_short_12","alias_value":"SSFGIRZZTPXV","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SSFGIRZZTPXVRM2Y","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SSFGIRZZ","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:0b8b7d39144d54cc589ab7558bbca51317f51f437ce52bbbbeb39661f1aa0ea1","target":"graph","created_at":"2026-05-17T23:51:39Z","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":"Symbolic Extension Entropy Theorem (SEET) describes the possibility of a lossless digitalization of a dynamical system by extending it to a subshift. It gives an estimate on the entropy of symbolic extensions (and the necessary number of symbols). Unlike in the measure-theoretic case, where Kolmogorov--Sinai entropy is the estimate, in the topological setup the task reaches beyond the classical theory of entropy. Tools from an extended theory of entropy structures are needed. The main goal of this paper is to prove the SEET for actions of countable amenable groups: Let a countable amenable gro","authors_text":"Guohua Zhang, Tomasz Downarowicz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-05T18:42:27Z","title":"Symbolic extensions of amenable group actions and the comparison property"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01457","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:f1ef75b167ec3f66d074d267c037cb1f7c13ba59d7afbf53ffd0bc633a45b1f7","target":"record","created_at":"2026-05-17T23:51:39Z","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":"29a9dbad20d8914fbcb60f7a3cc59195ae961ec625a22e204654d102e6f94a02","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-05T18:42:27Z","title_canon_sha256":"9cc0bdfd8d9037e3c4e882a519f7452ac8cb1b72247fec8bfc906838bed0a8c2"},"schema_version":"1.0","source":{"id":"1901.01457","kind":"arxiv","version":2}},"canonical_sha256":"948a6447399bef58b35815958746c2e70e51c8511f1b3e800283e13e54f94287","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"948a6447399bef58b35815958746c2e70e51c8511f1b3e800283e13e54f94287","first_computed_at":"2026-05-17T23:51:39.030267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:39.030267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n/6E/cUpbkqnyK61jFzb3oSshcSAwz856mqC9c3s3KcotjgPIefwHKki6VBTLrUPLQiLOEC+UoRdby4NlyfXDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:39.030859Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.01457","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1ef75b167ec3f66d074d267c037cb1f7c13ba59d7afbf53ffd0bc633a45b1f7","sha256:0b8b7d39144d54cc589ab7558bbca51317f51f437ce52bbbbeb39661f1aa0ea1"],"state_sha256":"fdd14b23e4895e296234e58f2f778ca77d06ef8561595d7b410eadb6923fd0bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EgE7xuwTdBmbWQ4iXSrY6MKZXxQRKnqRJ9Ac/MaSF7wnGFA1/FKECQOalWi+cU/4Lg8S3PQbDTbsTsO266N+CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:39:35.202640Z","bundle_sha256":"2c16925041a1d1f9a0e3af75107ac620e8d19e8b5d16445dea53be6a6b5e5a05"}}