{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:GGQP6JWCKVJMBINMOO3UGGRKQU","short_pith_number":"pith:GGQP6JWC","canonical_record":{"source":{"id":"1309.1290","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-09-05T09:30:51Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1aa91591dc1922dbbbac884fea4ab5b725f1fd05fc860bdb80ae179b8c9b2a9c","abstract_canon_sha256":"72f2a3d0ded4c0d9fa6df223155d18079c73bacbe63a5f3a9149c4bc43dc37b3"},"schema_version":"1.0"},"canonical_sha256":"31a0ff26c25552c0a1ac73b7431a2a850dda86f8105eb215b9a78c14a70c40c0","source":{"kind":"arxiv","id":"1309.1290","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.1290","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"arxiv_version","alias_value":"1309.1290v3","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1290","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"pith_short_12","alias_value":"GGQP6JWCKVJM","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GGQP6JWCKVJMBINM","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GGQP6JWC","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:GGQP6JWCKVJMBINMOO3UGGRKQU","target":"record","payload":{"canonical_record":{"source":{"id":"1309.1290","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-09-05T09:30:51Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1aa91591dc1922dbbbac884fea4ab5b725f1fd05fc860bdb80ae179b8c9b2a9c","abstract_canon_sha256":"72f2a3d0ded4c0d9fa6df223155d18079c73bacbe63a5f3a9149c4bc43dc37b3"},"schema_version":"1.0"},"canonical_sha256":"31a0ff26c25552c0a1ac73b7431a2a850dda86f8105eb215b9a78c14a70c40c0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:48.590308Z","signature_b64":"dnsqM7Gt9kXTzKrtwt/ReRPszp97TblKgWIVVQVnZlB10GUIliJ+/nq1Jqz31MWxQfS5MUU9bhvLI7HHbO44Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31a0ff26c25552c0a1ac73b7431a2a850dda86f8105eb215b9a78c14a70c40c0","last_reissued_at":"2026-05-18T02:51:48.589817Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:48.589817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.1290","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-18T02:51:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W5TlMDb57jnSD8gkzILKp11g/f10BBs93BZ2fIrpFcdQv6UjbLk4Vi/mw/OcVtN7a7Co+WktDV4wwPzxR1HxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:45:02.972410Z"},"content_sha256":"698ab5cb7fd61e57409c8ef6e09f522c3a5f08945040cab9850dc2be3cbae84b","schema_version":"1.0","event_id":"sha256:698ab5cb7fd61e57409c8ef6e09f522c3a5f08945040cab9850dc2be3cbae84b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:GGQP6JWCKVJMBINMOO3UGGRKQU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logspace computations in graph products","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DM","authors_text":"Jonathan Kausch, Volker Diekert","submitted_at":"2013-09-05T09:30:51Z","abstract_excerpt":"We consider three important and well-studied algorithmic problems in group theory: the word, geodesic, and conjugacy problem. We show transfer results from individual groups to graph products. We concentrate on logspace complexity because the challenge is actually in small complexity classes, only. The most difficult transfer result is for the conjugacy problem. We have a general result for graph products, but even in the special case of a graph group the result is new. Graph groups are closely linked to the theory of Mazurkiewicz traces which form an algebraic model for concurrent processes. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1290","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-18T02:51:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ENsuoGSJIErft94xqcsgFNa1XIi/Frf++aUCLMn8Qtk3E3goTaF9cqvoJWGcBOEc+1XGjwLY33lRgyIbe4fUAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:45:02.972759Z"},"content_sha256":"96254b6405015b5c5bac609b737fa9ac54c2056504597947f6342550c6d562a5","schema_version":"1.0","event_id":"sha256:96254b6405015b5c5bac609b737fa9ac54c2056504597947f6342550c6d562a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/bundle.json","state_url":"https://pith.science/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/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-01T14:45:02Z","links":{"resolver":"https://pith.science/pith/GGQP6JWCKVJMBINMOO3UGGRKQU","bundle":"https://pith.science/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/bundle.json","state":"https://pith.science/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GGQP6JWCKVJMBINMOO3UGGRKQU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:GGQP6JWCKVJMBINMOO3UGGRKQU","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":"72f2a3d0ded4c0d9fa6df223155d18079c73bacbe63a5f3a9149c4bc43dc37b3","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-09-05T09:30:51Z","title_canon_sha256":"1aa91591dc1922dbbbac884fea4ab5b725f1fd05fc860bdb80ae179b8c9b2a9c"},"schema_version":"1.0","source":{"id":"1309.1290","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.1290","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"arxiv_version","alias_value":"1309.1290v3","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1290","created_at":"2026-05-18T02:51:48Z"},{"alias_kind":"pith_short_12","alias_value":"GGQP6JWCKVJM","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GGQP6JWCKVJMBINM","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GGQP6JWC","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:96254b6405015b5c5bac609b737fa9ac54c2056504597947f6342550c6d562a5","target":"graph","created_at":"2026-05-18T02:51:48Z","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 three important and well-studied algorithmic problems in group theory: the word, geodesic, and conjugacy problem. We show transfer results from individual groups to graph products. We concentrate on logspace complexity because the challenge is actually in small complexity classes, only. The most difficult transfer result is for the conjugacy problem. We have a general result for graph products, but even in the special case of a graph group the result is new. Graph groups are closely linked to the theory of Mazurkiewicz traces which form an algebraic model for concurrent processes. ","authors_text":"Jonathan Kausch, Volker Diekert","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-09-05T09:30:51Z","title":"Logspace computations in graph products"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1290","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:698ab5cb7fd61e57409c8ef6e09f522c3a5f08945040cab9850dc2be3cbae84b","target":"record","created_at":"2026-05-18T02:51:48Z","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":"72f2a3d0ded4c0d9fa6df223155d18079c73bacbe63a5f3a9149c4bc43dc37b3","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-09-05T09:30:51Z","title_canon_sha256":"1aa91591dc1922dbbbac884fea4ab5b725f1fd05fc860bdb80ae179b8c9b2a9c"},"schema_version":"1.0","source":{"id":"1309.1290","kind":"arxiv","version":3}},"canonical_sha256":"31a0ff26c25552c0a1ac73b7431a2a850dda86f8105eb215b9a78c14a70c40c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31a0ff26c25552c0a1ac73b7431a2a850dda86f8105eb215b9a78c14a70c40c0","first_computed_at":"2026-05-18T02:51:48.589817Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:48.589817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dnsqM7Gt9kXTzKrtwt/ReRPszp97TblKgWIVVQVnZlB10GUIliJ+/nq1Jqz31MWxQfS5MUU9bhvLI7HHbO44Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:48.590308Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.1290","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:698ab5cb7fd61e57409c8ef6e09f522c3a5f08945040cab9850dc2be3cbae84b","sha256:96254b6405015b5c5bac609b737fa9ac54c2056504597947f6342550c6d562a5"],"state_sha256":"6f6d0bacff9b47d86bad7640606be0d61edc222c8d7dc310fdae25e6679eb51f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u8grvEeagtjIVcP9/AXFXa7SE/575dMBq7BaNFR0UszFG9eQQhpiRY7ZTFTySwX/bjNN4S+ynV4DghraIUqBBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T14:45:02.974788Z","bundle_sha256":"e5c4d44a60ee7a28e9e9bde3fc018a15cea506d60a9a88326c6b1634916d72aa"}}