{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VWHXBOSXNDHDSKOGFV3ASXYLXF","short_pith_number":"pith:VWHXBOSX","canonical_record":{"source":{"id":"1711.08091","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-11-22T00:45:15Z","cross_cats_sorted":[],"title_canon_sha256":"56e32468216d4e9b7a4a2f13a3edb4c0d580a2cc63701c9b52c00436c9b9a37b","abstract_canon_sha256":"8f9594b31a3aabde9994aeaf0ffce3ca90e6f8a5b8e8b68078a4077ac9df7f75"},"schema_version":"1.0"},"canonical_sha256":"ad8f70ba5768ce3929c62d76095f0bb97b2cd78fce54bfba2bc2aeeacfa68b2a","source":{"kind":"arxiv","id":"1711.08091","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.08091","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"1711.08091v2","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.08091","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"VWHXBOSXNDHD","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VWHXBOSXNDHDSKOG","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VWHXBOSX","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VWHXBOSXNDHDSKOGFV3ASXYLXF","target":"record","payload":{"canonical_record":{"source":{"id":"1711.08091","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-11-22T00:45:15Z","cross_cats_sorted":[],"title_canon_sha256":"56e32468216d4e9b7a4a2f13a3edb4c0d580a2cc63701c9b52c00436c9b9a37b","abstract_canon_sha256":"8f9594b31a3aabde9994aeaf0ffce3ca90e6f8a5b8e8b68078a4077ac9df7f75"},"schema_version":"1.0"},"canonical_sha256":"ad8f70ba5768ce3929c62d76095f0bb97b2cd78fce54bfba2bc2aeeacfa68b2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:30.507118Z","signature_b64":"zUr9HMrVUrgDzfLUJ26A3emg6DG7uCRbm9wRtic93qXseN9CuF+Tbf5y3SNhJX36CEBydFyTgv8iFZkDHw5EAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad8f70ba5768ce3929c62d76095f0bb97b2cd78fce54bfba2bc2aeeacfa68b2a","last_reissued_at":"2026-05-18T00:04:30.506697Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:30.506697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.08091","source_version":2,"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-18T00:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V2sHQz95pBx5LKY6Tq4S/jOur+EBi/nYIeDJlfhvqn6t1EluArxgit70DizKZpFwlwJT/YDbpNJ/WcTMR57UAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T16:56:26.629464Z"},"content_sha256":"9b80c0c192eba499dd0e40fe097d5ade62bfd1c5d7c53439dc1578d250a6c69d","schema_version":"1.0","event_id":"sha256:9b80c0c192eba499dd0e40fe097d5ade62bfd1c5d7c53439dc1578d250a6c69d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VWHXBOSXNDHDSKOGFV3ASXYLXF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effective Subgroup Separability of Finitely Generated Nilpotent Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Jonas Der\\'e, Mark Pengitore","submitted_at":"2017-11-22T00:45:15Z","abstract_excerpt":"This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.08091","kind":"arxiv","version":2},"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-18T00:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7jy9CPIaYkOX1puUKyeg1jpI2SsEkLS4iv8qWh6B6B8mMhwNl/LGmilNEUgqJ5Vc+wq4FOauyDmtAiDJAfiKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T16:56:26.629821Z"},"content_sha256":"e391fd19e0067d1f473fea8b0e97cb9ad2002e5428590acc82dbd3df96bf90ac","schema_version":"1.0","event_id":"sha256:e391fd19e0067d1f473fea8b0e97cb9ad2002e5428590acc82dbd3df96bf90ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/bundle.json","state_url":"https://pith.science/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/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-26T16:56:26Z","links":{"resolver":"https://pith.science/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF","bundle":"https://pith.science/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/bundle.json","state":"https://pith.science/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VWHXBOSXNDHDSKOGFV3ASXYLXF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VWHXBOSXNDHDSKOGFV3ASXYLXF","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":"8f9594b31a3aabde9994aeaf0ffce3ca90e6f8a5b8e8b68078a4077ac9df7f75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-11-22T00:45:15Z","title_canon_sha256":"56e32468216d4e9b7a4a2f13a3edb4c0d580a2cc63701c9b52c00436c9b9a37b"},"schema_version":"1.0","source":{"id":"1711.08091","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.08091","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"1711.08091v2","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.08091","created_at":"2026-05-18T00:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"VWHXBOSXNDHD","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VWHXBOSXNDHDSKOG","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VWHXBOSX","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:e391fd19e0067d1f473fea8b0e97cb9ad2002e5428590acc82dbd3df96bf90ac","target":"graph","created_at":"2026-05-18T00:04:30Z","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":"This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results e","authors_text":"Jonas Der\\'e, Mark Pengitore","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-11-22T00:45:15Z","title":"Effective Subgroup Separability of Finitely Generated Nilpotent Groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.08091","kind":"arxiv","version":2},"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:9b80c0c192eba499dd0e40fe097d5ade62bfd1c5d7c53439dc1578d250a6c69d","target":"record","created_at":"2026-05-18T00:04:30Z","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":"8f9594b31a3aabde9994aeaf0ffce3ca90e6f8a5b8e8b68078a4077ac9df7f75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-11-22T00:45:15Z","title_canon_sha256":"56e32468216d4e9b7a4a2f13a3edb4c0d580a2cc63701c9b52c00436c9b9a37b"},"schema_version":"1.0","source":{"id":"1711.08091","kind":"arxiv","version":2}},"canonical_sha256":"ad8f70ba5768ce3929c62d76095f0bb97b2cd78fce54bfba2bc2aeeacfa68b2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad8f70ba5768ce3929c62d76095f0bb97b2cd78fce54bfba2bc2aeeacfa68b2a","first_computed_at":"2026-05-18T00:04:30.506697Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:30.506697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zUr9HMrVUrgDzfLUJ26A3emg6DG7uCRbm9wRtic93qXseN9CuF+Tbf5y3SNhJX36CEBydFyTgv8iFZkDHw5EAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:30.507118Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.08091","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b80c0c192eba499dd0e40fe097d5ade62bfd1c5d7c53439dc1578d250a6c69d","sha256:e391fd19e0067d1f473fea8b0e97cb9ad2002e5428590acc82dbd3df96bf90ac"],"state_sha256":"413271d4a229985fdce752cdefe7fa4c91f378fc667853e75c7d5b261681b1aa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ih7I5OqiIE0wtPtiQ9YxjTIYlZdl8AncW1F4gLH/weAKJ3/KYSdxq7Ynytf4o4iQAfKX+/VNTsRamlfY9msgCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T16:56:26.631796Z","bundle_sha256":"331315ab2691e6ec9db104a56b6db0b83f69e509d52ee7602e2926cf1d6ca28b"}}