{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:ZLMCMLPKWAXPWCD3IZT5OQ5WUW","short_pith_number":"pith:ZLMCMLPK","schema_version":"1.0","canonical_sha256":"cad8262deab02efb087b4667d743b6a599fbe5186d2de449a02c8ac5a9b9982c","source":{"kind":"arxiv","id":"1512.08539","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1512.08539","created_at":"2026-05-18T01:23:37.476156+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.08539v1","created_at":"2026-05-18T01:23:37.476156+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08539","created_at":"2026-05-18T01:23:37.476156+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZLMCMLPKWAXP","created_at":"2026-05-18T12:29:52.810259+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZLMCMLPKWAXPWCD3","created_at":"2026-05-18T12:29:52.810259+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZLMCMLPK","created_at":"2026-05-18T12:29:52.810259+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW","json":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW.json","graph_json":"https://pith.science/api/pith-number/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/graph.json","events_json":"https://pith.science/api/pith-number/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/events.json","paper":"https://pith.science/paper/ZLMCMLPK"},"agent_actions":{"view_html":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW","download_json":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW.json","view_paper":"https://pith.science/paper/ZLMCMLPK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.08539&json=true","fetch_graph":"https://pith.science/api/pith-number/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/graph.json","fetch_events":"https://pith.science/api/pith-number/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/action/storage_attestation","attest_author":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/action/author_attestation","sign_citation":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/action/citation_signature","submit_replication":"https://pith.science/pith/ZLMCMLPKWAXPWCD3IZT5OQ5WUW/action/replication_record"}},"created_at":"2026-05-18T01:23:37.476156+00:00","updated_at":"2026-05-18T01:23:37.476156+00:00"}