{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HJFAQUEHK5CYLJKEVCLCUY7TAJ","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":"9860965f8424a2b642aec37eb2aa21aa5698a9024749a941af2f4d777a341e7c","cross_cats_sorted":["math.GR","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-13T02:55:56Z","title_canon_sha256":"180043918c26fb309429689e8a6f83b09c1387acea6f1c590508a23ed6dc0889"},"schema_version":"1.0","source":{"id":"1708.03842","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.03842","created_at":"2026-05-17T23:54:16Z"},{"alias_kind":"arxiv_version","alias_value":"1708.03842v4","created_at":"2026-05-17T23:54:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.03842","created_at":"2026-05-17T23:54:16Z"},{"alias_kind":"pith_short_12","alias_value":"HJFAQUEHK5CY","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HJFAQUEHK5CYLJKE","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HJFAQUEH","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:438c9337e609ad4d1a2854432a64663ca977eb1a168410c7061acd176f6740e7","target":"graph","created_at":"2026-05-17T23:54:16Z","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 derive a generating series for the number of free subgroups of finite index in $\\Delta^+ = \\mathbb{Z}_p*\\mathbb{Z}_q$ by using a connection between free subgroups of $\\Delta^+$ and certain hypermaps (also known as ribbon graphs or \"fat\" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $\\Delta^+$, which correspond to isomorphism classes of hypermap","authors_text":"Alexander Kolpakov, Laura Ciobanu","cross_cats":["math.GR","math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-13T02:55:56Z","title":"Free subgroups of free products and combinatorial hypermaps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.03842","kind":"arxiv","version":4},"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:1755247d6304eac80d4693714444c28036a3d710c85c8d7e44bacd9e49484ef9","target":"record","created_at":"2026-05-17T23:54:16Z","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":"9860965f8424a2b642aec37eb2aa21aa5698a9024749a941af2f4d777a341e7c","cross_cats_sorted":["math.GR","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-13T02:55:56Z","title_canon_sha256":"180043918c26fb309429689e8a6f83b09c1387acea6f1c590508a23ed6dc0889"},"schema_version":"1.0","source":{"id":"1708.03842","kind":"arxiv","version":4}},"canonical_sha256":"3a4a085087574585a544a8962a63f30263298969d869016f780da0e13bbcf4cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a4a085087574585a544a8962a63f30263298969d869016f780da0e13bbcf4cd","first_computed_at":"2026-05-17T23:54:16.917945Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:16.917945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5qxJDEMQimBiVuh74ZM2jDl+Yj6rsXC14wANYOYIUCFMVzNWORp2uQ6R6L7jeiST1nHuFy52ZttG9GceUcA6CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:16.918429Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.03842","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1755247d6304eac80d4693714444c28036a3d710c85c8d7e44bacd9e49484ef9","sha256:438c9337e609ad4d1a2854432a64663ca977eb1a168410c7061acd176f6740e7"],"state_sha256":"2e3cc74a202471b948be0e3f45406cbaf6e5b3a7ee2ea74a27c80d9dfb39d11a"}