{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VR3I6F3PGNK33CDRM22A4TFCMY","short_pith_number":"pith:VR3I6F3P","canonical_record":{"source":{"id":"1410.6097","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-10-22T16:19:14Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3a9f1031d82f5d15bd1426bd0c7b56a07b254b4906ad0fb59fb6627899de66f2","abstract_canon_sha256":"e37c30a4e88601f541edede2c2123ffe3d6c0feecea5ebb7d61f8dd959f0693e"},"schema_version":"1.0"},"canonical_sha256":"ac768f176f3355bd887166b40e4ca2663d11d7b1f420e0f8550dc2af14ea72a4","source":{"kind":"arxiv","id":"1410.6097","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6097","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6097v2","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6097","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"VR3I6F3PGNK3","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VR3I6F3PGNK33CDR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VR3I6F3P","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VR3I6F3PGNK33CDRM22A4TFCMY","target":"record","payload":{"canonical_record":{"source":{"id":"1410.6097","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-10-22T16:19:14Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3a9f1031d82f5d15bd1426bd0c7b56a07b254b4906ad0fb59fb6627899de66f2","abstract_canon_sha256":"e37c30a4e88601f541edede2c2123ffe3d6c0feecea5ebb7d61f8dd959f0693e"},"schema_version":"1.0"},"canonical_sha256":"ac768f176f3355bd887166b40e4ca2663d11d7b1f420e0f8550dc2af14ea72a4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:44.506788Z","signature_b64":"eAWgJ2YW/9oIR6Wpp9uOlBa97h7UMa8GavNDgU/ppmMS8Kg5DqA5Uzm+hH660NN7RxF+i1sQMACESyjzH6qCAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac768f176f3355bd887166b40e4ca2663d11d7b1f420e0f8550dc2af14ea72a4","last_reissued_at":"2026-05-18T00:57:44.506213Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:44.506213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.6097","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-18T00:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zvA3eKdh52mxnl6QIzBf54urT5odpL/8YSBu6Ak4JUbQShWi95efRBaRz6tzWLJI0H95XaEvSbiYPE3wrMhICA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T16:05:53.180561Z"},"content_sha256":"85422c83d2d36a222e4ab99053f4e88550bc664b37bfc998595413c2658d6780","schema_version":"1.0","event_id":"sha256:85422c83d2d36a222e4ab99053f4e88550bc664b37bfc998595413c2658d6780"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VR3I6F3PGNK33CDRM22A4TFCMY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Freeness of automata groups vs boundary dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Daniele D'Angeli, Emanuele Rodaro","submitted_at":"2014-10-22T16:19:14Z","abstract_excerpt":"We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6097","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-18T00:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bx/5f9S9zBTXiI5AjewTPY71L/VFeJ+NhcAM2K9Ha46o/OSs0bu4hu/rSLX1FP8JRkSPD5IRP/O4bOH2gxdKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T16:05:53.180897Z"},"content_sha256":"54d4b4de769064bcdeb2c842488e410cf39be167dcca9be21681a7882d0e31e9","schema_version":"1.0","event_id":"sha256:54d4b4de769064bcdeb2c842488e410cf39be167dcca9be21681a7882d0e31e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VR3I6F3PGNK33CDRM22A4TFCMY/bundle.json","state_url":"https://pith.science/pith/VR3I6F3PGNK33CDRM22A4TFCMY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VR3I6F3PGNK33CDRM22A4TFCMY/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-21T16:05:53Z","links":{"resolver":"https://pith.science/pith/VR3I6F3PGNK33CDRM22A4TFCMY","bundle":"https://pith.science/pith/VR3I6F3PGNK33CDRM22A4TFCMY/bundle.json","state":"https://pith.science/pith/VR3I6F3PGNK33CDRM22A4TFCMY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VR3I6F3PGNK33CDRM22A4TFCMY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VR3I6F3PGNK33CDRM22A4TFCMY","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":"e37c30a4e88601f541edede2c2123ffe3d6c0feecea5ebb7d61f8dd959f0693e","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-10-22T16:19:14Z","title_canon_sha256":"3a9f1031d82f5d15bd1426bd0c7b56a07b254b4906ad0fb59fb6627899de66f2"},"schema_version":"1.0","source":{"id":"1410.6097","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6097","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6097v2","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6097","created_at":"2026-05-18T00:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"VR3I6F3PGNK3","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VR3I6F3PGNK33CDR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VR3I6F3P","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:54d4b4de769064bcdeb2c842488e410cf39be167dcca9be21681a7882d0e31e9","target":"graph","created_at":"2026-05-18T00:57:44Z","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 prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of","authors_text":"Daniele D'Angeli, Emanuele Rodaro","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-10-22T16:19:14Z","title":"Freeness of automata groups vs boundary dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6097","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:85422c83d2d36a222e4ab99053f4e88550bc664b37bfc998595413c2658d6780","target":"record","created_at":"2026-05-18T00:57:44Z","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":"e37c30a4e88601f541edede2c2123ffe3d6c0feecea5ebb7d61f8dd959f0693e","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-10-22T16:19:14Z","title_canon_sha256":"3a9f1031d82f5d15bd1426bd0c7b56a07b254b4906ad0fb59fb6627899de66f2"},"schema_version":"1.0","source":{"id":"1410.6097","kind":"arxiv","version":2}},"canonical_sha256":"ac768f176f3355bd887166b40e4ca2663d11d7b1f420e0f8550dc2af14ea72a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac768f176f3355bd887166b40e4ca2663d11d7b1f420e0f8550dc2af14ea72a4","first_computed_at":"2026-05-18T00:57:44.506213Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:44.506213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eAWgJ2YW/9oIR6Wpp9uOlBa97h7UMa8GavNDgU/ppmMS8Kg5DqA5Uzm+hH660NN7RxF+i1sQMACESyjzH6qCAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:44.506788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.6097","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85422c83d2d36a222e4ab99053f4e88550bc664b37bfc998595413c2658d6780","sha256:54d4b4de769064bcdeb2c842488e410cf39be167dcca9be21681a7882d0e31e9"],"state_sha256":"cf389b7f5132c043bd396306b537deca73dd0f8763132ec1eb95e73bc16a16ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qSWSG6ot14Sp7RU3GYNP51kP2O9AU/Q2NbUBWCJX4+q2sxGVg/k4DrXtLkx74l0qCGbSsu3mGjMZXd9Gzg1wCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T16:05:53.182720Z","bundle_sha256":"807911cde790aeab40cb10022d1e8438b05620cc3aac32a2a94623c0452c05ed"}}