{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VLGDSMC5V64L5XFIBAZTUFVJHZ","short_pith_number":"pith:VLGDSMC5","canonical_record":{"source":{"id":"1403.1722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-03-07T11:24:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3c2f7d21ab24b123d78e9a4cbaffc68c3e77c37430098b8625ceea216b94b803","abstract_canon_sha256":"747c19b1f227e25e75110e66e51f10fdfc63457199674e0ac8dba57e0931fee5"},"schema_version":"1.0"},"canonical_sha256":"aacc39305dafb8bedca808333a16a93e63ac67ae243726e5349fdd7e0cc3470f","source":{"kind":"arxiv","id":"1403.1722","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1722","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1722v1","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1722","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"pith_short_12","alias_value":"VLGDSMC5V64L","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VLGDSMC5V64L5XFI","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VLGDSMC5","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VLGDSMC5V64L5XFIBAZTUFVJHZ","target":"record","payload":{"canonical_record":{"source":{"id":"1403.1722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-03-07T11:24:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3c2f7d21ab24b123d78e9a4cbaffc68c3e77c37430098b8625ceea216b94b803","abstract_canon_sha256":"747c19b1f227e25e75110e66e51f10fdfc63457199674e0ac8dba57e0931fee5"},"schema_version":"1.0"},"canonical_sha256":"aacc39305dafb8bedca808333a16a93e63ac67ae243726e5349fdd7e0cc3470f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:28.733839Z","signature_b64":"ea1u0jpr7lPxZH+pcRTuTGxz2Dte16XEhp/VTPxczS99YmKj+D6MPuAfJmGPypx6NokB0oH9eyBElVUi7LHlBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aacc39305dafb8bedca808333a16a93e63ac67ae243726e5349fdd7e0cc3470f","last_reissued_at":"2026-05-18T02:24:28.733201Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:28.733201Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.1722","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:24:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JDEjcz6AqDvGtCpUAvCKXSTe8BtBibcgSbTTpXrcuQOXFCKH3jG+54ARQNi/QZXVtRCWg9JwFe9McWO6dL7TDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T21:14:32.417635Z"},"content_sha256":"af83232a1f14e19a302e8a156a6d13a61bae4abb2597cf54fcd407650598b1dc","schema_version":"1.0","event_id":"sha256:af83232a1f14e19a302e8a156a6d13a61bae4abb2597cf54fcd407650598b1dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VLGDSMC5V64L5XFIBAZTUFVJHZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A geometric approach to (semi)-groups defined by automata via dual transducers","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-03-07T11:24:55Z","abstract_excerpt":"We give a geometric approach to groups defined by automata via the notion of enriched dual of an inverse transducer. Using this geometric correspondence we first provide some finiteness results, then we consider groups generated by the dual of Cayley type of machines. Lastly, we address the problem of the study of the action of these groups in the boundary. We show that examples of groups having essentially free actions without critical points lie in the class of groups defined by the transducers whose enriched dual generate a torsion-free semigroup. Finally, we provide necessary and sufficien"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1722","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:24:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THx0mRG89uSVXgxmVJgrkCPQ48+59N/iUnLO1KHiCbcSOXiEtW1Xrfy4gFpaFRBgtJpjmrJpeRg+SOy3NbLtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T21:14:32.417978Z"},"content_sha256":"fd6acf8612e232b87bf57bfcf1231b4ab2596af2676623ae422bc701b8e80253","schema_version":"1.0","event_id":"sha256:fd6acf8612e232b87bf57bfcf1231b4ab2596af2676623ae422bc701b8e80253"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/bundle.json","state_url":"https://pith.science/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/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-21T21:14:32Z","links":{"resolver":"https://pith.science/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ","bundle":"https://pith.science/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/bundle.json","state":"https://pith.science/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VLGDSMC5V64L5XFIBAZTUFVJHZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VLGDSMC5V64L5XFIBAZTUFVJHZ","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":"747c19b1f227e25e75110e66e51f10fdfc63457199674e0ac8dba57e0931fee5","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-03-07T11:24:55Z","title_canon_sha256":"3c2f7d21ab24b123d78e9a4cbaffc68c3e77c37430098b8625ceea216b94b803"},"schema_version":"1.0","source":{"id":"1403.1722","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1722","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1722v1","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1722","created_at":"2026-05-18T02:24:28Z"},{"alias_kind":"pith_short_12","alias_value":"VLGDSMC5V64L","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VLGDSMC5V64L5XFI","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VLGDSMC5","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:fd6acf8612e232b87bf57bfcf1231b4ab2596af2676623ae422bc701b8e80253","target":"graph","created_at":"2026-05-18T02:24:28Z","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 give a geometric approach to groups defined by automata via the notion of enriched dual of an inverse transducer. Using this geometric correspondence we first provide some finiteness results, then we consider groups generated by the dual of Cayley type of machines. Lastly, we address the problem of the study of the action of these groups in the boundary. We show that examples of groups having essentially free actions without critical points lie in the class of groups defined by the transducers whose enriched dual generate a torsion-free semigroup. Finally, we provide necessary and sufficien","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-03-07T11:24:55Z","title":"A geometric approach to (semi)-groups defined by automata via dual transducers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1722","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:af83232a1f14e19a302e8a156a6d13a61bae4abb2597cf54fcd407650598b1dc","target":"record","created_at":"2026-05-18T02:24:28Z","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":"747c19b1f227e25e75110e66e51f10fdfc63457199674e0ac8dba57e0931fee5","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-03-07T11:24:55Z","title_canon_sha256":"3c2f7d21ab24b123d78e9a4cbaffc68c3e77c37430098b8625ceea216b94b803"},"schema_version":"1.0","source":{"id":"1403.1722","kind":"arxiv","version":1}},"canonical_sha256":"aacc39305dafb8bedca808333a16a93e63ac67ae243726e5349fdd7e0cc3470f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aacc39305dafb8bedca808333a16a93e63ac67ae243726e5349fdd7e0cc3470f","first_computed_at":"2026-05-18T02:24:28.733201Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:24:28.733201Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ea1u0jpr7lPxZH+pcRTuTGxz2Dte16XEhp/VTPxczS99YmKj+D6MPuAfJmGPypx6NokB0oH9eyBElVUi7LHlBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:24:28.733839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.1722","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af83232a1f14e19a302e8a156a6d13a61bae4abb2597cf54fcd407650598b1dc","sha256:fd6acf8612e232b87bf57bfcf1231b4ab2596af2676623ae422bc701b8e80253"],"state_sha256":"35fa67a646fe2d6eee4b9f911fadd91641595afad9a455b02dbaa414b6184f4b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Twul4pHLehGMc+ifznvuoHW7fzYTHOPgkjt1KO/+luMYdGHk77BqKvlZUeTEuHXMmBmPZJ8no81m47g8xBlBAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T21:14:32.419923Z","bundle_sha256":"ecd4b32bcf43693bc2c32c9cffb402ebadbb79635be2086a10f60d4d4ce1d80f"}}