{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:VMNZPKRNVSRXSFQPLYJV2LTIWU","short_pith_number":"pith:VMNZPKRN","canonical_record":{"source":{"id":"0906.2223","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-06-11T22:36:05Z","cross_cats_sorted":[],"title_canon_sha256":"6e598994e3bb2aa529b435b51e36b3eb321a9f5947cb0541d924c2522793b13d","abstract_canon_sha256":"cd9635ea11697db2554c88b28a132fc305d02d5ac818e5d79dbf441190428cfa"},"schema_version":"1.0"},"canonical_sha256":"ab1b97aa2daca379160f5e135d2e68b53d52a3fc2b5ec3507f215c855b47beb0","source":{"kind":"arxiv","id":"0906.2223","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.2223","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"arxiv_version","alias_value":"0906.2223v1","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.2223","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"pith_short_12","alias_value":"VMNZPKRNVSRX","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"VMNZPKRNVSRXSFQP","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"VMNZPKRN","created_at":"2026-05-18T12:26:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:VMNZPKRNVSRXSFQPLYJV2LTIWU","target":"record","payload":{"canonical_record":{"source":{"id":"0906.2223","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-06-11T22:36:05Z","cross_cats_sorted":[],"title_canon_sha256":"6e598994e3bb2aa529b435b51e36b3eb321a9f5947cb0541d924c2522793b13d","abstract_canon_sha256":"cd9635ea11697db2554c88b28a132fc305d02d5ac818e5d79dbf441190428cfa"},"schema_version":"1.0"},"canonical_sha256":"ab1b97aa2daca379160f5e135d2e68b53d52a3fc2b5ec3507f215c855b47beb0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:41:01.686048Z","signature_b64":"kA033tg+WN6fcvQ0D5hmMw3AhglUw/6wSTiBquRDxqGQ0F/rW1KGkcDauzAJjJLZrAadFT5AmZ57pMrxuGCdCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab1b97aa2daca379160f5e135d2e68b53d52a3fc2b5ec3507f215c855b47beb0","last_reissued_at":"2026-05-18T03:41:01.685370Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:41:01.685370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0906.2223","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-18T03:41:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i376uF9slPAsfzfeaH0btBUJ8qNhe+5OMdvFWbqUNcA9NLseVKT/hZUi/X+JRkNiy3lkj15BMLEooF14eDbMAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:42:10.305666Z"},"content_sha256":"81bf6819001bb947417abfe12e40ba5e8d82f1d8cdd991829b5cdbfb36859bae","schema_version":"1.0","event_id":"sha256:81bf6819001bb947417abfe12e40ba5e8d82f1d8cdd991829b5cdbfb36859bae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:VMNZPKRNVSRXSFQPLYJV2LTIWU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Geodesic rewriting systems and pregroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alexei Miasnikov, Andrew J. Duncan, Volker Diekert","submitted_at":"2009-06-11T22:36:05Z","abstract_excerpt":"In this paper we study rewriting systems for groups and monoids, focusing on situations where finite convergent systems may be difficult to find or do not exist. We consider systems which have no length increasing rules and are confluent and then systems in which the length reducing rules lead to geodesics. Combining these properties we arrive at our main object of study which we call geodesically perfect rewriting systems. We show that these are well-behaved and convenient to use, and give several examples of classes of groups for which they can be constructed from natural presentations. We d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.2223","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-18T03:41:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"51aKDaxVT69OS8OcP8gPFQ6p9qZsv3H7FdPCQ2gN0eVh0Qg0KhaifU7rdcexmPWBGBsH6G06iMliiqo89Pp0Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:42:10.306442Z"},"content_sha256":"b855b2e48a1fd0e53f376f0d2639c1f209550edf3377e620e88fa86ac255ab11","schema_version":"1.0","event_id":"sha256:b855b2e48a1fd0e53f376f0d2639c1f209550edf3377e620e88fa86ac255ab11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/bundle.json","state_url":"https://pith.science/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/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-01T01:42:10Z","links":{"resolver":"https://pith.science/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU","bundle":"https://pith.science/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/bundle.json","state":"https://pith.science/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VMNZPKRNVSRXSFQPLYJV2LTIWU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:VMNZPKRNVSRXSFQPLYJV2LTIWU","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":"cd9635ea11697db2554c88b28a132fc305d02d5ac818e5d79dbf441190428cfa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-06-11T22:36:05Z","title_canon_sha256":"6e598994e3bb2aa529b435b51e36b3eb321a9f5947cb0541d924c2522793b13d"},"schema_version":"1.0","source":{"id":"0906.2223","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.2223","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"arxiv_version","alias_value":"0906.2223v1","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.2223","created_at":"2026-05-18T03:41:01Z"},{"alias_kind":"pith_short_12","alias_value":"VMNZPKRNVSRX","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"VMNZPKRNVSRXSFQP","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"VMNZPKRN","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:b855b2e48a1fd0e53f376f0d2639c1f209550edf3377e620e88fa86ac255ab11","target":"graph","created_at":"2026-05-18T03:41:01Z","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 study rewriting systems for groups and monoids, focusing on situations where finite convergent systems may be difficult to find or do not exist. We consider systems which have no length increasing rules and are confluent and then systems in which the length reducing rules lead to geodesics. Combining these properties we arrive at our main object of study which we call geodesically perfect rewriting systems. We show that these are well-behaved and convenient to use, and give several examples of classes of groups for which they can be constructed from natural presentations. We d","authors_text":"Alexei Miasnikov, Andrew J. Duncan, Volker Diekert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-06-11T22:36:05Z","title":"Geodesic rewriting systems and pregroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.2223","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:81bf6819001bb947417abfe12e40ba5e8d82f1d8cdd991829b5cdbfb36859bae","target":"record","created_at":"2026-05-18T03:41:01Z","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":"cd9635ea11697db2554c88b28a132fc305d02d5ac818e5d79dbf441190428cfa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-06-11T22:36:05Z","title_canon_sha256":"6e598994e3bb2aa529b435b51e36b3eb321a9f5947cb0541d924c2522793b13d"},"schema_version":"1.0","source":{"id":"0906.2223","kind":"arxiv","version":1}},"canonical_sha256":"ab1b97aa2daca379160f5e135d2e68b53d52a3fc2b5ec3507f215c855b47beb0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab1b97aa2daca379160f5e135d2e68b53d52a3fc2b5ec3507f215c855b47beb0","first_computed_at":"2026-05-18T03:41:01.685370Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:41:01.685370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kA033tg+WN6fcvQ0D5hmMw3AhglUw/6wSTiBquRDxqGQ0F/rW1KGkcDauzAJjJLZrAadFT5AmZ57pMrxuGCdCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:41:01.686048Z","signed_message":"canonical_sha256_bytes"},"source_id":"0906.2223","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81bf6819001bb947417abfe12e40ba5e8d82f1d8cdd991829b5cdbfb36859bae","sha256:b855b2e48a1fd0e53f376f0d2639c1f209550edf3377e620e88fa86ac255ab11"],"state_sha256":"a50a16d661f8355155f360975fdf76cf0b1aae325a6635b4ccfd5f8ad8e2fac3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qooZcUgasLn+6BbxzpBQU77NFksrAuIGYjX7fQSaIsOMkUbsCwUXM9KMVheVbIOSwiuenoq7Mg5CNqOSESdkAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T01:42:10.310662Z","bundle_sha256":"c61fb792906d57ee1d59d05f25263d45a182ac1670bfba03326b2bfa64ca625e"}}