{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:ZLMCMLPKWAXPWCD3IZT5OQ5WUW","short_pith_number":"pith:ZLMCMLPK","canonical_record":{"source":{"id":"1512.08539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-12-28T21:54:30Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"406b3babbeadfb1335febab2723f1d160d7523747285088d2d0a57bdc2033559","abstract_canon_sha256":"c3962350fa5fc2ea79c124a060ab3f1061d2f7338e48f30e2263e11965a43a84"},"schema_version":"1.0"},"canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","source":{"kind":"arxiv","id":"1512.08539","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08539","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08539v1","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08539","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZLMCMLPKWAXP","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZLMCMLPKWAXPWCD3","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZLMCMLPK","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:ZLMCMLPKWAXPWCD3IZT5OQ5WUW","target":"record","payload":{"canonical_record":{"source":{"id":"1512.08539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-12-28T21:54:30Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"406b3babbeadfb1335febab2723f1d160d7523747285088d2d0a57bdc2033559","abstract_canon_sha256":"c3962350fa5fc2ea79c124a060ab3f1061d2f7338e48f30e2263e11965a43a84"},"schema_version":"1.0"},"canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:37.476665Z","signature_b64":"IJkaK3kwYTq3bMBfOWepZVMkRm2ASk/9lHfQVKJwrZOVaENT1v5EIUTiAAD95twRTC2+p9UFCnfm89ag+84WCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","last_reissued_at":"2026-05-18T01:23:37.476056Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:37.476056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.08539","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-18T01:23:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IIK9oSaLAsVMTfogOhp7bWNO8rH8ZNEz1/uJLmJuQlR+Dr0X3keriST8HDq5ekdVfqZSYNDLn8eSyxim2B/ADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:49:38.804525Z"},"content_sha256":"7cd400e0e0f3099819edfe731102c0b20e0ec620257a8f183d64482fcbea484c","schema_version":"1.0","event_id":"sha256:7cd400e0e0f3099819edfe731102c0b20e0ec620257a8f183d64482fcbea484c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:ZLMCMLPKWAXPWCD3IZT5OQ5WUW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic aspects of branched coverings I. Van Kampen's Theorem for bisets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.GR","authors_text":"Dzmitry Dudko, Laurent Bartholdi","submitted_at":"2015-12-28T21:54:30Z","abstract_excerpt":"We develop a general theory of \"bisets\": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a cover, we prove analogously that the biset of a correspondence decomposes into a \"graph of bisets\": a graph with bisets at its vertices, given with some natural maps. The \"fundamental biset\" of the graph of bisets recovers the original biset. We apply these results to decompose the biset of a Thurston map (a branched self-covering of the sphere whose critica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08539","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-18T01:23:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uHTirZpqzgS+6thdjF7fXVUxPw1RBnF5x0vK/5nLohGgQ+owXD4HwH4p/2mID4dLKh9kzR0wHj3MDcmkv8sxDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:49:38.804880Z"},"content_sha256":"1bb2fe0b8be888d853da2c13d2c84bf8994287bc85eb61d8b61d9abe0f520377","schema_version":"1.0","event_id":"sha256:1bb2fe0b8be888d853da2c13d2c84bf8994287bc85eb61d8b61d9abe0f520377"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/bundle.json","state_url":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/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-02T08:49:38Z","links":{"resolver":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW","bundle":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/bundle.json","state":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZLMCMLPKWAXPWCD3IZT5OQ5WUW","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":"c3962350fa5fc2ea79c124a060ab3f1061d2f7338e48f30e2263e11965a43a84","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-12-28T21:54:30Z","title_canon_sha256":"406b3babbeadfb1335febab2723f1d160d7523747285088d2d0a57bdc2033559"},"schema_version":"1.0","source":{"id":"1512.08539","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08539","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08539v1","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08539","created_at":"2026-05-18T01:23:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZLMCMLPKWAXP","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZLMCMLPKWAXPWCD3","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZLMCMLPK","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:1bb2fe0b8be888d853da2c13d2c84bf8994287bc85eb61d8b61d9abe0f520377","target":"graph","created_at":"2026-05-18T01:23:37Z","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 develop a general theory of \"bisets\": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a cover, we prove analogously that the biset of a correspondence decomposes into a \"graph of bisets\": a graph with bisets at its vertices, given with some natural maps. The \"fundamental biset\" of the graph of bisets recovers the original biset. We apply these results to decompose the biset of a Thurston map (a branched self-covering of the sphere whose critica","authors_text":"Dzmitry Dudko, Laurent Bartholdi","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-12-28T21:54:30Z","title":"Algorithmic aspects of branched coverings I. Van Kampen's Theorem for bisets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08539","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:7cd400e0e0f3099819edfe731102c0b20e0ec620257a8f183d64482fcbea484c","target":"record","created_at":"2026-05-18T01:23:37Z","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":"c3962350fa5fc2ea79c124a060ab3f1061d2f7338e48f30e2263e11965a43a84","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-12-28T21:54:30Z","title_canon_sha256":"406b3babbeadfb1335febab2723f1d160d7523747285088d2d0a57bdc2033559"},"schema_version":"1.0","source":{"id":"1512.08539","kind":"arxiv","version":1}},"canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","first_computed_at":"2026-05-18T01:23:37.476056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:37.476056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IJkaK3kwYTq3bMBfOWepZVMkRm2ASk/9lHfQVKJwrZOVaENT1v5EIUTiAAD95twRTC2+p9UFCnfm89ag+84WCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:37.476665Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.08539","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7cd400e0e0f3099819edfe731102c0b20e0ec620257a8f183d64482fcbea484c","sha256:1bb2fe0b8be888d853da2c13d2c84bf8994287bc85eb61d8b61d9abe0f520377"],"state_sha256":"6aeb28e5511c5903065ae9630dff463145075686a69f6e654177a64c034d47c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3dYEb26RU1qjKGT3eXrIG+fTHY9NR7P0/UBoFSUtv6FKwy+pCmG9zugbm/WCqdThMiSmK2ZCeE/bKTrFLFdCAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:49:38.806883Z","bundle_sha256":"cd6d191af408682b65090f73c5bbf4d174173f7ae699b76bd233014e03deeeb3"}}