{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:P3IHHB6VMEDDNDAPZKQ3UXCKGC","short_pith_number":"pith:P3IHHB6V","canonical_record":{"source":{"id":"2111.11777","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2021-11-23T10:45:25Z","cross_cats_sorted":["math.GT"],"title_canon_sha256":"6d240f940583234643609f8f064a6ef92edd6ceac1185a990c9c0056bbd2f613","abstract_canon_sha256":"56acf50dbb341db85770501f329057a3e2f32ba644d2c10164cef1b5cbed5d20"},"schema_version":"1.0"},"canonical_sha256":"7ed07387d56106368c0fcaa1ba5c4a30a0a856aa1a16d90ee50df204407fd96e","source":{"kind":"arxiv","id":"2111.11777","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.11777","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"arxiv_version","alias_value":"2111.11777v3","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.11777","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_12","alias_value":"P3IHHB6VMEDD","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_16","alias_value":"P3IHHB6VMEDDNDAP","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_8","alias_value":"P3IHHB6V","created_at":"2026-06-23T02:12:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:P3IHHB6VMEDDNDAPZKQ3UXCKGC","target":"record","payload":{"canonical_record":{"source":{"id":"2111.11777","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2021-11-23T10:45:25Z","cross_cats_sorted":["math.GT"],"title_canon_sha256":"6d240f940583234643609f8f064a6ef92edd6ceac1185a990c9c0056bbd2f613","abstract_canon_sha256":"56acf50dbb341db85770501f329057a3e2f32ba644d2c10164cef1b5cbed5d20"},"schema_version":"1.0"},"canonical_sha256":"7ed07387d56106368c0fcaa1ba5c4a30a0a856aa1a16d90ee50df204407fd96e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T02:12:29.565914Z","signature_b64":"VY4kD7VwsqQX7fqOKV3qmR8TKhaQIBtlPdfh7pTHEifzjoJ7kIzBnxfh/B7AzMG4iYCJXGWhyYqlZMyI1Gj1AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ed07387d56106368c0fcaa1ba5c4a30a0a856aa1a16d90ee50df204407fd96e","last_reissued_at":"2026-06-23T02:12:29.565441Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T02:12:29.565441Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.11777","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-06-23T02:12:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GD8ruKOb/LZ0NxVDFPGNKoQ4HZO1OQ3YMOkOxl75CyzF0C+nia6QD2hzJfYNWNJtU1z8NXG3PmLdzPNKs1uoCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:48:20.931704Z"},"content_sha256":"ba2d5f6709d5b2a344e5a98c6918ef47081c2b8899de34e90faf0d67a397413b","schema_version":"1.0","event_id":"sha256:ba2d5f6709d5b2a344e5a98c6918ef47081c2b8899de34e90faf0d67a397413b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:P3IHHB6VMEDDNDAPZKQ3UXCKGC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ascending chains of free subgroups in closed hyperbolic and graph 3-manifold groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GT"],"primary_cat":"math.GR","authors_text":"Edgar A. Bering IV, Nir Lazarovich","submitted_at":"2021-11-23T10:45:25Z","abstract_excerpt":"Takahasi and Higman independently proved that any ascending chain of subgroups of constant rank in a free group must stabilize. Kapovich and Myasnikov gave a proof of this fact in the language of graphs and Stallings folds. Using profinite techniques, Shusterman extended this constant-rank ascending chain condition to limit groups, which include closed surface groups. Motivated by Kapovich and Myasnikov's proof we provide two new proofs of this ascending chain condition for closed surface groups, and establish the ascending chain condition for free subgroups of constant rank in fundamental gro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.11777","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2111.11777/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-23T02:12:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+J93cYHsca9yEdThnI8SZSk4T5YzHri+Sybubr4cIjEV+ex5wW17mnzoAdwgRyUE69XJnwnHC0q7XIYR/GZxDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:48:20.932328Z"},"content_sha256":"17b8b55b6f8e37df1e844010e02b327ac3103ffeb940fad16e4b01126daf45b1","schema_version":"1.0","event_id":"sha256:17b8b55b6f8e37df1e844010e02b327ac3103ffeb940fad16e4b01126daf45b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/bundle.json","state_url":"https://pith.science/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/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-25T18:48:20Z","links":{"resolver":"https://pith.science/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC","bundle":"https://pith.science/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/bundle.json","state":"https://pith.science/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3IHHB6VMEDDNDAPZKQ3UXCKGC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:P3IHHB6VMEDDNDAPZKQ3UXCKGC","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":"56acf50dbb341db85770501f329057a3e2f32ba644d2c10164cef1b5cbed5d20","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2021-11-23T10:45:25Z","title_canon_sha256":"6d240f940583234643609f8f064a6ef92edd6ceac1185a990c9c0056bbd2f613"},"schema_version":"1.0","source":{"id":"2111.11777","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.11777","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"arxiv_version","alias_value":"2111.11777v3","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.11777","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_12","alias_value":"P3IHHB6VMEDD","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_16","alias_value":"P3IHHB6VMEDDNDAP","created_at":"2026-06-23T02:12:29Z"},{"alias_kind":"pith_short_8","alias_value":"P3IHHB6V","created_at":"2026-06-23T02:12:29Z"}],"graph_snapshots":[{"event_id":"sha256:17b8b55b6f8e37df1e844010e02b327ac3103ffeb940fad16e4b01126daf45b1","target":"graph","created_at":"2026-06-23T02:12:29Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2111.11777/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Takahasi and Higman independently proved that any ascending chain of subgroups of constant rank in a free group must stabilize. Kapovich and Myasnikov gave a proof of this fact in the language of graphs and Stallings folds. Using profinite techniques, Shusterman extended this constant-rank ascending chain condition to limit groups, which include closed surface groups. Motivated by Kapovich and Myasnikov's proof we provide two new proofs of this ascending chain condition for closed surface groups, and establish the ascending chain condition for free subgroups of constant rank in fundamental gro","authors_text":"Edgar A. Bering IV, Nir Lazarovich","cross_cats":["math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2021-11-23T10:45:25Z","title":"Ascending chains of free subgroups in closed hyperbolic and graph 3-manifold groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.11777","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:ba2d5f6709d5b2a344e5a98c6918ef47081c2b8899de34e90faf0d67a397413b","target":"record","created_at":"2026-06-23T02:12:29Z","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":"56acf50dbb341db85770501f329057a3e2f32ba644d2c10164cef1b5cbed5d20","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2021-11-23T10:45:25Z","title_canon_sha256":"6d240f940583234643609f8f064a6ef92edd6ceac1185a990c9c0056bbd2f613"},"schema_version":"1.0","source":{"id":"2111.11777","kind":"arxiv","version":3}},"canonical_sha256":"7ed07387d56106368c0fcaa1ba5c4a30a0a856aa1a16d90ee50df204407fd96e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ed07387d56106368c0fcaa1ba5c4a30a0a856aa1a16d90ee50df204407fd96e","first_computed_at":"2026-06-23T02:12:29.565441Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T02:12:29.565441Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VY4kD7VwsqQX7fqOKV3qmR8TKhaQIBtlPdfh7pTHEifzjoJ7kIzBnxfh/B7AzMG4iYCJXGWhyYqlZMyI1Gj1AA==","signature_status":"signed_v1","signed_at":"2026-06-23T02:12:29.565914Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.11777","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba2d5f6709d5b2a344e5a98c6918ef47081c2b8899de34e90faf0d67a397413b","sha256:17b8b55b6f8e37df1e844010e02b327ac3103ffeb940fad16e4b01126daf45b1"],"state_sha256":"82440790f6f0d6ceb2ae331dfcc0740e527770cfc95fae869a9c9b6499a8b812"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9pP7ILgOx1agk7II2XZEfFVs/zicaMSL0rmIAeh3lzhhqvqEOlETAQPQkm4EU4xj5/K9PoNlkK1vX5NOPyMJDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:48:20.935140Z","bundle_sha256":"06bde31100f3b1bfe591eb6d576a5b7fd748c75d378b22c721ec6071c17e2a5d"}}