{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:HUL7YZGPJP3IPJMUNPGMFFABHV","short_pith_number":"pith:HUL7YZGP","canonical_record":{"source":{"id":"1201.4363","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-01-20T18:38:44Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"a8fdb547ce2fd9a0be9a3eba5fa2b235e12eca345dc4bd7591c11a660dcd603b","abstract_canon_sha256":"4758cb285f76fbb1a44ff33d0ac48e0dac317e96b54dc8ed7ad80231d016c8df"},"schema_version":"1.0"},"canonical_sha256":"3d17fc64cf4bf687a5946bccc294013d60a576d3d7753b785470e6189f82b4dc","source":{"kind":"arxiv","id":"1201.4363","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4363","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4363v3","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4363","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"pith_short_12","alias_value":"HUL7YZGPJP3I","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HUL7YZGPJP3IPJMU","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HUL7YZGP","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:HUL7YZGPJP3IPJMUNPGMFFABHV","target":"record","payload":{"canonical_record":{"source":{"id":"1201.4363","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-01-20T18:38:44Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"a8fdb547ce2fd9a0be9a3eba5fa2b235e12eca345dc4bd7591c11a660dcd603b","abstract_canon_sha256":"4758cb285f76fbb1a44ff33d0ac48e0dac317e96b54dc8ed7ad80231d016c8df"},"schema_version":"1.0"},"canonical_sha256":"3d17fc64cf4bf687a5946bccc294013d60a576d3d7753b785470e6189f82b4dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:11.345840Z","signature_b64":"HaSRLzgv1fQ7Nf5PW/geKa6LLKjjRTdF3JrXZ2ndpKo1q8mU25lqAPDps+sM70oOyv1wowvIbaurDqYm4EVhDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d17fc64cf4bf687a5946bccc294013d60a576d3d7753b785470e6189f82b4dc","last_reissued_at":"2026-05-18T03:01:11.345016Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:11.345016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.4363","source_version":3,"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:01:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xifdHNXfGObcmx2MSGl0DlZh/ep0UyhAm3m8wCIAsOSnqp/gLDXfpQlAc8DEh7onKDx0IWTko5gYwAupxQxAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T17:15:47.364982Z"},"content_sha256":"8f25454726fec8b8f22bd3ae97a9f8d17591daab12f3752b76109e99b452a86f","schema_version":"1.0","event_id":"sha256:8f25454726fec8b8f22bd3ae97a9f8d17591daab12f3752b76109e99b452a86f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:HUL7YZGPJP3IPJMUNPGMFFABHV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On groups that have normal forms computable in logspace","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.GR","authors_text":"Gillian Elston, Gretchen Ostheimer, Murray Elder","submitted_at":"2012-01-20T18:38:44Z","abstract_excerpt":"We consider the class of finitely generated groups which have a normal form computable in logspace. We prove that the class of such groups is closed under finite extensions, finite index subgroups, direct products, wreath products, and also certain free products, and includes the solvable Baumslag-Solitar groups, as well as non-residually finite (and hence non-linear) examples. We define a group to be logspace embeddable if it embeds in a group with normal forms computable in logspace. We prove that finitely generated nilpotent groups are logspace embeddable. It follows that all groups of poly"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4363","kind":"arxiv","version":3},"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:01:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lkOtygX7E39hGgzq9pmERHlvA8nFjvy0JWOGqN2mC4EFVY/nnNCj6jvlEbM5+kRDeiBV4DmrgXLhZkHr/193Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T17:15:47.365634Z"},"content_sha256":"2264da6266fb7c1b0a04e4b84fd77d88e51cd95e89f872909b261843bf1dbe33","schema_version":"1.0","event_id":"sha256:2264da6266fb7c1b0a04e4b84fd77d88e51cd95e89f872909b261843bf1dbe33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/bundle.json","state_url":"https://pith.science/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/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-06T17:15:47Z","links":{"resolver":"https://pith.science/pith/HUL7YZGPJP3IPJMUNPGMFFABHV","bundle":"https://pith.science/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/bundle.json","state":"https://pith.science/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HUL7YZGPJP3IPJMUNPGMFFABHV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:HUL7YZGPJP3IPJMUNPGMFFABHV","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":"4758cb285f76fbb1a44ff33d0ac48e0dac317e96b54dc8ed7ad80231d016c8df","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-01-20T18:38:44Z","title_canon_sha256":"a8fdb547ce2fd9a0be9a3eba5fa2b235e12eca345dc4bd7591c11a660dcd603b"},"schema_version":"1.0","source":{"id":"1201.4363","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4363","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4363v3","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4363","created_at":"2026-05-18T03:01:11Z"},{"alias_kind":"pith_short_12","alias_value":"HUL7YZGPJP3I","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HUL7YZGPJP3IPJMU","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HUL7YZGP","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:2264da6266fb7c1b0a04e4b84fd77d88e51cd95e89f872909b261843bf1dbe33","target":"graph","created_at":"2026-05-18T03:01:11Z","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 consider the class of finitely generated groups which have a normal form computable in logspace. We prove that the class of such groups is closed under finite extensions, finite index subgroups, direct products, wreath products, and also certain free products, and includes the solvable Baumslag-Solitar groups, as well as non-residually finite (and hence non-linear) examples. We define a group to be logspace embeddable if it embeds in a group with normal forms computable in logspace. We prove that finitely generated nilpotent groups are logspace embeddable. It follows that all groups of poly","authors_text":"Gillian Elston, Gretchen Ostheimer, Murray Elder","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-01-20T18:38:44Z","title":"On groups that have normal forms computable in logspace"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4363","kind":"arxiv","version":3},"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:8f25454726fec8b8f22bd3ae97a9f8d17591daab12f3752b76109e99b452a86f","target":"record","created_at":"2026-05-18T03:01:11Z","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":"4758cb285f76fbb1a44ff33d0ac48e0dac317e96b54dc8ed7ad80231d016c8df","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-01-20T18:38:44Z","title_canon_sha256":"a8fdb547ce2fd9a0be9a3eba5fa2b235e12eca345dc4bd7591c11a660dcd603b"},"schema_version":"1.0","source":{"id":"1201.4363","kind":"arxiv","version":3}},"canonical_sha256":"3d17fc64cf4bf687a5946bccc294013d60a576d3d7753b785470e6189f82b4dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3d17fc64cf4bf687a5946bccc294013d60a576d3d7753b785470e6189f82b4dc","first_computed_at":"2026-05-18T03:01:11.345016Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:11.345016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HaSRLzgv1fQ7Nf5PW/geKa6LLKjjRTdF3JrXZ2ndpKo1q8mU25lqAPDps+sM70oOyv1wowvIbaurDqYm4EVhDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:11.345840Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.4363","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f25454726fec8b8f22bd3ae97a9f8d17591daab12f3752b76109e99b452a86f","sha256:2264da6266fb7c1b0a04e4b84fd77d88e51cd95e89f872909b261843bf1dbe33"],"state_sha256":"565aad6501087ab4c6df19a707f44254324752fca147df15ab2022a88928e5c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XIQJzuDJhwK3dD3mWx7kJ1QNOQzqe5DQVGmE9xbZJQ1IQMU2I9eYTvuGWMp+gfy2GmXeN15NIoTlBwa8f+vRAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T17:15:47.368716Z","bundle_sha256":"a697ca22822b31369b3a073f0a50dec5b900ab7ae95be8c74aec71e41cb10094"}}