{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:WEXRUMJFEW4MZFYBNJVQ4KSDVY","short_pith_number":"pith:WEXRUMJF","canonical_record":{"source":{"id":"1104.2301","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-04-12T18:45:36Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"e8ac025d3271bb3f267bc06df7306adc7164330c57dff9315229dc07f061ad8e","abstract_canon_sha256":"0b0ab7daf2b152cc356f2aa4c1482f8ea18e223def516d3c60f811ee5fac393d"},"schema_version":"1.0"},"canonical_sha256":"b12f1a312525b8cc97016a6b0e2a43ae1d419ae3cea8401ed3b8851944a52387","source":{"kind":"arxiv","id":"1104.2301","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.2301","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"1104.2301v1","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.2301","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"WEXRUMJFEW4M","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WEXRUMJFEW4MZFYB","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WEXRUMJF","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:WEXRUMJFEW4MZFYBNJVQ4KSDVY","target":"record","payload":{"canonical_record":{"source":{"id":"1104.2301","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-04-12T18:45:36Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"e8ac025d3271bb3f267bc06df7306adc7164330c57dff9315229dc07f061ad8e","abstract_canon_sha256":"0b0ab7daf2b152cc356f2aa4c1482f8ea18e223def516d3c60f811ee5fac393d"},"schema_version":"1.0"},"canonical_sha256":"b12f1a312525b8cc97016a6b0e2a43ae1d419ae3cea8401ed3b8851944a52387","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:35.504425Z","signature_b64":"ZsAr8NjC5mQML700U80dyZ5sxpUvbYF/TcE/vn9/KlyrK6Cm9hIDvKh6SajDD3JPL9889mLWtdPFiuB3LqNaAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b12f1a312525b8cc97016a6b0e2a43ae1d419ae3cea8401ed3b8851944a52387","last_reissued_at":"2026-05-18T04:24:35.503883Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:35.503883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.2301","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-18T04:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QfHvO4pOJsC+BA7dLMAF3wMsR/GDrrblyAKC7g55kUElO18uPN23StVN1etmwxQt+Oh3+g3+BCtJi3sFNuf5Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:38:08.898783Z"},"content_sha256":"3d73b349948eee450b9ad8f281fe4833a78dd606f588ab56670b4b166b744383","schema_version":"1.0","event_id":"sha256:3d73b349948eee450b9ad8f281fe4833a78dd606f588ab56670b4b166b744383"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:WEXRUMJFEW4MZFYBNJVQ4KSDVY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Geometric Semigroup Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Benjamin Steinberg, John Rhodes, Jon McCammond","submitted_at":"2011-04-12T18:45:36Z","abstract_excerpt":"Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups and automata lead to simplifications of the graphs on which the corresponding finite semigroups act. We show in particular that every finite semigroup can be finitely expanded so that the expansion acts on a labeled directed graph which resembles the right Cayley graph of a free Burnside semigroup in many respects."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.2301","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-18T04:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wC+UiQvuba20KN3M5oXAlb0QHwaCpgNVm5OIYHAviHd+96eo2D5y/7IpyqAyq0OjOQrD3lVQH1aSBKQV5vY8Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:38:08.899523Z"},"content_sha256":"a0189c5dad9cc44986c30e0eea873ed24dff6a58b2c6eb442ad3245e97517a36","schema_version":"1.0","event_id":"sha256:a0189c5dad9cc44986c30e0eea873ed24dff6a58b2c6eb442ad3245e97517a36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/bundle.json","state_url":"https://pith.science/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/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-05-27T03:38:08Z","links":{"resolver":"https://pith.science/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY","bundle":"https://pith.science/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/bundle.json","state":"https://pith.science/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WEXRUMJFEW4MZFYBNJVQ4KSDVY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:WEXRUMJFEW4MZFYBNJVQ4KSDVY","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":"0b0ab7daf2b152cc356f2aa4c1482f8ea18e223def516d3c60f811ee5fac393d","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-04-12T18:45:36Z","title_canon_sha256":"e8ac025d3271bb3f267bc06df7306adc7164330c57dff9315229dc07f061ad8e"},"schema_version":"1.0","source":{"id":"1104.2301","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.2301","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"1104.2301v1","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.2301","created_at":"2026-05-18T04:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"WEXRUMJFEW4M","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WEXRUMJFEW4MZFYB","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WEXRUMJF","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:a0189c5dad9cc44986c30e0eea873ed24dff6a58b2c6eb442ad3245e97517a36","target":"graph","created_at":"2026-05-18T04:24:35Z","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":"Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups and automata lead to simplifications of the graphs on which the corresponding finite semigroups act. We show in particular that every finite semigroup can be finitely expanded so that the expansion acts on a labeled directed graph which resembles the right Cayley graph of a free Burnside semigroup in many respects.","authors_text":"Benjamin Steinberg, John Rhodes, Jon McCammond","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-04-12T18:45:36Z","title":"Geometric Semigroup Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.2301","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:3d73b349948eee450b9ad8f281fe4833a78dd606f588ab56670b4b166b744383","target":"record","created_at":"2026-05-18T04:24:35Z","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":"0b0ab7daf2b152cc356f2aa4c1482f8ea18e223def516d3c60f811ee5fac393d","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-04-12T18:45:36Z","title_canon_sha256":"e8ac025d3271bb3f267bc06df7306adc7164330c57dff9315229dc07f061ad8e"},"schema_version":"1.0","source":{"id":"1104.2301","kind":"arxiv","version":1}},"canonical_sha256":"b12f1a312525b8cc97016a6b0e2a43ae1d419ae3cea8401ed3b8851944a52387","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b12f1a312525b8cc97016a6b0e2a43ae1d419ae3cea8401ed3b8851944a52387","first_computed_at":"2026-05-18T04:24:35.503883Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:35.503883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZsAr8NjC5mQML700U80dyZ5sxpUvbYF/TcE/vn9/KlyrK6Cm9hIDvKh6SajDD3JPL9889mLWtdPFiuB3LqNaAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:35.504425Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.2301","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d73b349948eee450b9ad8f281fe4833a78dd606f588ab56670b4b166b744383","sha256:a0189c5dad9cc44986c30e0eea873ed24dff6a58b2c6eb442ad3245e97517a36"],"state_sha256":"579ae5b31c3a03055a2cffa46d71a21d263aa528ecb5b6f659facfa725bc8221"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c3CPBxhBw4QJww5LJEGa3Q6dzVXoproL781tKED9qMoBSWBuor7arcocFx/7EfCIRQQDbNP/fNyyWp9obOFoBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T03:38:08.903221Z","bundle_sha256":"876f3242b1df2e392dc0008d2beddba300c84ccc06c805a3d58ea50874eb3444"}}