{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5PYOC67M7QHXIJ232OVY5YBWBW","short_pith_number":"pith:5PYOC67M","canonical_record":{"source":{"id":"1409.6142","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.FL","submitted_at":"2014-09-22T11:15:35Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"270d109bfc2332635480b38e627c047a0f21fdd1b1853f3f79202c9490b877f6","abstract_canon_sha256":"b9960a3db81513118899b7fcfd5851a3edc5d3079109af8872c2c3cb1ec4f844"},"schema_version":"1.0"},"canonical_sha256":"ebf0e17becfc0f74275bd3ab8ee0360db44c8d3491b90df2d9c65bcd23e31427","source":{"kind":"arxiv","id":"1409.6142","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6142","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6142v1","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6142","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"pith_short_12","alias_value":"5PYOC67M7QHX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5PYOC67M7QHXIJ23","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5PYOC67M","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5PYOC67M7QHXIJ232OVY5YBWBW","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6142","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.FL","submitted_at":"2014-09-22T11:15:35Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"270d109bfc2332635480b38e627c047a0f21fdd1b1853f3f79202c9490b877f6","abstract_canon_sha256":"b9960a3db81513118899b7fcfd5851a3edc5d3079109af8872c2c3cb1ec4f844"},"schema_version":"1.0"},"canonical_sha256":"ebf0e17becfc0f74275bd3ab8ee0360db44c8d3491b90df2d9c65bcd23e31427","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:13.731214Z","signature_b64":"1rTwXzpZEUNO7gPwtE10i8T1tsqlANeMzNgkLmDZq3299dlRRW/t12iPi7ihLu++Mn7b6ZQE0lAPuKqikCqWBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebf0e17becfc0f74275bd3ab8ee0360db44c8d3491b90df2d9c65bcd23e31427","last_reissued_at":"2026-05-18T02:42:13.730797Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:13.730797Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6142","source_version":1,"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-18T02:42:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"czl1EKL4iYqW3KaK16gZ4+Ems0QVXsFwPAD6Rlstv6uRynu8o535qTgMQt+r06bBX6ORYlErJ9ziDu1JZSHQBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:20:39.540602Z"},"content_sha256":"9d61416efdc38c3ac29195263f97338d0e83f4c9aac23ed68d618c14b21aa3f2","schema_version":"1.0","event_id":"sha256:9d61416efdc38c3ac29195263f97338d0e83f4c9aac23ed68d618c14b21aa3f2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5PYOC67M7QHXIJ232OVY5YBWBW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group","license":"http://creativecommons.org/licenses/publicdomain/","headline":"","cross_cats":["math.GR"],"primary_cat":"cs.FL","authors_text":"Dmytro Savchuk, Ines Klimann, Matthieu Picantin","submitted_at":"2014-09-22T11:15:35Z","abstract_excerpt":"The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite Burnside groups. Here we extend this result to connected 3-state invertible-reversible Mealy automata, using new original techniques. The results provide the first uniform method to construct elements "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6142","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":""},"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-18T02:42:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GONSI4ZHYujBeLJ8ejyDwEkLUL4pGftqH3QZ3nbcMfoBobOm9jIhqACLqtydt8SfHinAfmeHqZdiGtQsKUoaCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:20:39.541425Z"},"content_sha256":"dbade86a2737d3239679ce770a43dcc7d24db407b6d6cf1f8c67f78c17c4d39a","schema_version":"1.0","event_id":"sha256:dbade86a2737d3239679ce770a43dcc7d24db407b6d6cf1f8c67f78c17c4d39a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PYOC67M7QHXIJ232OVY5YBWBW/bundle.json","state_url":"https://pith.science/pith/5PYOC67M7QHXIJ232OVY5YBWBW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PYOC67M7QHXIJ232OVY5YBWBW/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-09T19:20:39Z","links":{"resolver":"https://pith.science/pith/5PYOC67M7QHXIJ232OVY5YBWBW","bundle":"https://pith.science/pith/5PYOC67M7QHXIJ232OVY5YBWBW/bundle.json","state":"https://pith.science/pith/5PYOC67M7QHXIJ232OVY5YBWBW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PYOC67M7QHXIJ232OVY5YBWBW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5PYOC67M7QHXIJ232OVY5YBWBW","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":"b9960a3db81513118899b7fcfd5851a3edc5d3079109af8872c2c3cb1ec4f844","cross_cats_sorted":["math.GR"],"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.FL","submitted_at":"2014-09-22T11:15:35Z","title_canon_sha256":"270d109bfc2332635480b38e627c047a0f21fdd1b1853f3f79202c9490b877f6"},"schema_version":"1.0","source":{"id":"1409.6142","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6142","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6142v1","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6142","created_at":"2026-05-18T02:42:13Z"},{"alias_kind":"pith_short_12","alias_value":"5PYOC67M7QHX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5PYOC67M7QHXIJ23","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5PYOC67M","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:dbade86a2737d3239679ce770a43dcc7d24db407b6d6cf1f8c67f78c17c4d39a","target":"graph","created_at":"2026-05-18T02:42:13Z","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 class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite Burnside groups. Here we extend this result to connected 3-state invertible-reversible Mealy automata, using new original techniques. The results provide the first uniform method to construct elements ","authors_text":"Dmytro Savchuk, Ines Klimann, Matthieu Picantin","cross_cats":["math.GR"],"headline":"","license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.FL","submitted_at":"2014-09-22T11:15:35Z","title":"A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6142","kind":"arxiv","version":1},"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:9d61416efdc38c3ac29195263f97338d0e83f4c9aac23ed68d618c14b21aa3f2","target":"record","created_at":"2026-05-18T02:42:13Z","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":"b9960a3db81513118899b7fcfd5851a3edc5d3079109af8872c2c3cb1ec4f844","cross_cats_sorted":["math.GR"],"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.FL","submitted_at":"2014-09-22T11:15:35Z","title_canon_sha256":"270d109bfc2332635480b38e627c047a0f21fdd1b1853f3f79202c9490b877f6"},"schema_version":"1.0","source":{"id":"1409.6142","kind":"arxiv","version":1}},"canonical_sha256":"ebf0e17becfc0f74275bd3ab8ee0360db44c8d3491b90df2d9c65bcd23e31427","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebf0e17becfc0f74275bd3ab8ee0360db44c8d3491b90df2d9c65bcd23e31427","first_computed_at":"2026-05-18T02:42:13.730797Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:13.730797Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1rTwXzpZEUNO7gPwtE10i8T1tsqlANeMzNgkLmDZq3299dlRRW/t12iPi7ihLu++Mn7b6ZQE0lAPuKqikCqWBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:13.731214Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6142","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d61416efdc38c3ac29195263f97338d0e83f4c9aac23ed68d618c14b21aa3f2","sha256:dbade86a2737d3239679ce770a43dcc7d24db407b6d6cf1f8c67f78c17c4d39a"],"state_sha256":"2f8a81491d9591a85a1154b8e4fb6b1f13908b253910a3984acf3d9dc02ba007"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qfn1FS/t4qXjLsYnTQjeDYVWPYrvIpGKAj9X4LvpIRKrzqZ0LZ6VECPL7fLrvJKLxUO6ZwWmui3MqX17KUbxDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T19:20:39.545206Z","bundle_sha256":"b54b9bd8fe8f72c02d806564c7ffa7e79914cb2e8147014be2e2f7dd25594b13"}}