{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:YSXUOPCSGV54D6QR2POB6OD5LG","short_pith_number":"pith:YSXUOPCS","canonical_record":{"source":{"id":"1107.3645","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-07-19T08:06:47Z","cross_cats_sorted":["cs.FL","math.LO"],"title_canon_sha256":"3b18c7178cd41316c303c33a4c3dea3bdcd9a0bd7bcb5c80921dd5d52516d6f1","abstract_canon_sha256":"a4bc62a852eb1103c1bc7582ba3731cc3ee103b896931f439ac6e6011c8804dc"},"schema_version":"1.0"},"canonical_sha256":"c4af473c52357bc1fa11d3dc1f387d59ae4baf8f6791585f00b70ec0488b2939","source":{"kind":"arxiv","id":"1107.3645","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3645","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3645v2","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3645","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"YSXUOPCSGV54","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"YSXUOPCSGV54D6QR","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"YSXUOPCS","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:YSXUOPCSGV54D6QR2POB6OD5LG","target":"record","payload":{"canonical_record":{"source":{"id":"1107.3645","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-07-19T08:06:47Z","cross_cats_sorted":["cs.FL","math.LO"],"title_canon_sha256":"3b18c7178cd41316c303c33a4c3dea3bdcd9a0bd7bcb5c80921dd5d52516d6f1","abstract_canon_sha256":"a4bc62a852eb1103c1bc7582ba3731cc3ee103b896931f439ac6e6011c8804dc"},"schema_version":"1.0"},"canonical_sha256":"c4af473c52357bc1fa11d3dc1f387d59ae4baf8f6791585f00b70ec0488b2939","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:15:38.333586Z","signature_b64":"UjRLyb+a7IdC/cET51YQo7pwEACy8QKmZalmEAUzAoVNK/ZVk+aovplMYfVJUJZAaMRdrl/ONZpvCFj+jgEpDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4af473c52357bc1fa11d3dc1f387d59ae4baf8f6791585f00b70ec0488b2939","last_reissued_at":"2026-05-18T04:15:38.332758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:15:38.332758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.3645","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-18T04:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N2QfYqKsXxSkleBuMy45Uh/uzOcrkW7zitulg+tKG06mzZocs+R48JZ67dAHC3qop1eiVOOoPDN1wYwBdxNdCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:02:52.759119Z"},"content_sha256":"fb42fca988ca3c103b247bb7a3d8592fbdf380a190cb046eb0b234416eb02896","schema_version":"1.0","event_id":"sha256:fb42fca988ca3c103b247bb7a3d8592fbdf380a190cb046eb0b234416eb02896"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:YSXUOPCSGV54D6QR2POB6OD5LG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From automatic structures to automatic groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.LO"],"primary_cat":"math.GR","authors_text":"Alexei Miasnikov, Bakhadyr Khoussainov, Olga Kharlampovich","submitted_at":"2011-07-19T08:06:47Z","abstract_excerpt":"In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these group are invariant under the change of generators, they are closed under direct and free products, certain types of amalgamated products, and finite extensions. Furthermore, the Word Problem in graph automatic groups is decidable in quadratic time. However, the class of graph automatic groups is much wider then the class of auto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3645","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-18T04:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6rVbttTqewHqDyyKg3LhX5cCCG+O6smgKAeNPwDEyqh05uDB6uReltXFmA1Dk2xbkvWtSoSqWZdyFtj6ig1iBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:02:52.759469Z"},"content_sha256":"068a87750e50a66b65940bf4108f37ce8105e1d998b74e3f31a3a6599ab4ac33","schema_version":"1.0","event_id":"sha256:068a87750e50a66b65940bf4108f37ce8105e1d998b74e3f31a3a6599ab4ac33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YSXUOPCSGV54D6QR2POB6OD5LG/bundle.json","state_url":"https://pith.science/pith/YSXUOPCSGV54D6QR2POB6OD5LG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YSXUOPCSGV54D6QR2POB6OD5LG/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-01T19:02:52Z","links":{"resolver":"https://pith.science/pith/YSXUOPCSGV54D6QR2POB6OD5LG","bundle":"https://pith.science/pith/YSXUOPCSGV54D6QR2POB6OD5LG/bundle.json","state":"https://pith.science/pith/YSXUOPCSGV54D6QR2POB6OD5LG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YSXUOPCSGV54D6QR2POB6OD5LG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:YSXUOPCSGV54D6QR2POB6OD5LG","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":"a4bc62a852eb1103c1bc7582ba3731cc3ee103b896931f439ac6e6011c8804dc","cross_cats_sorted":["cs.FL","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-07-19T08:06:47Z","title_canon_sha256":"3b18c7178cd41316c303c33a4c3dea3bdcd9a0bd7bcb5c80921dd5d52516d6f1"},"schema_version":"1.0","source":{"id":"1107.3645","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3645","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3645v2","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3645","created_at":"2026-05-18T04:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"YSXUOPCSGV54","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"YSXUOPCSGV54D6QR","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"YSXUOPCS","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:068a87750e50a66b65940bf4108f37ce8105e1d998b74e3f31a3a6599ab4ac33","target":"graph","created_at":"2026-05-18T04:15:38Z","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":"In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these group are invariant under the change of generators, they are closed under direct and free products, certain types of amalgamated products, and finite extensions. Furthermore, the Word Problem in graph automatic groups is decidable in quadratic time. However, the class of graph automatic groups is much wider then the class of auto","authors_text":"Alexei Miasnikov, Bakhadyr Khoussainov, Olga Kharlampovich","cross_cats":["cs.FL","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-07-19T08:06:47Z","title":"From automatic structures to automatic groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3645","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:fb42fca988ca3c103b247bb7a3d8592fbdf380a190cb046eb0b234416eb02896","target":"record","created_at":"2026-05-18T04:15:38Z","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":"a4bc62a852eb1103c1bc7582ba3731cc3ee103b896931f439ac6e6011c8804dc","cross_cats_sorted":["cs.FL","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-07-19T08:06:47Z","title_canon_sha256":"3b18c7178cd41316c303c33a4c3dea3bdcd9a0bd7bcb5c80921dd5d52516d6f1"},"schema_version":"1.0","source":{"id":"1107.3645","kind":"arxiv","version":2}},"canonical_sha256":"c4af473c52357bc1fa11d3dc1f387d59ae4baf8f6791585f00b70ec0488b2939","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4af473c52357bc1fa11d3dc1f387d59ae4baf8f6791585f00b70ec0488b2939","first_computed_at":"2026-05-18T04:15:38.332758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:15:38.332758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UjRLyb+a7IdC/cET51YQo7pwEACy8QKmZalmEAUzAoVNK/ZVk+aovplMYfVJUJZAaMRdrl/ONZpvCFj+jgEpDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:15:38.333586Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.3645","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb42fca988ca3c103b247bb7a3d8592fbdf380a190cb046eb0b234416eb02896","sha256:068a87750e50a66b65940bf4108f37ce8105e1d998b74e3f31a3a6599ab4ac33"],"state_sha256":"c84d14a0e8c30c31f6110359ddc905f2361f32a499d1fa23220ed52b33525e75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nF96RYAPq85oDKqdMdEQ9ziXfBu00fci0+sct8eXjS9HrwMYBiFkdBhJrbllZ8A+k2T7NsuwBdmdIJwnSUE2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T19:02:52.761325Z","bundle_sha256":"1e577ff28ef2516337e98c3809a928a7087513c7f21e59421100b3630928f1fb"}}