{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:IAYAZ7T5E5THYQ5WDJRLRPQPSO","short_pith_number":"pith:IAYAZ7T5","canonical_record":{"source":{"id":"1306.0767","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-06-04T13:01:27Z","cross_cats_sorted":[],"title_canon_sha256":"be906fb8080ba0ba291f4a0fd841164113713c1959d4a65d63070f1cced8f17f","abstract_canon_sha256":"f254268c7d3803e291afb2a42a66400950adc2f171796d667f7d31ff0f96043f"},"schema_version":"1.0"},"canonical_sha256":"40300cfe7d27667c43b61a62b8be0f938d91ff180129622f01783c564bc58d77","source":{"kind":"arxiv","id":"1306.0767","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.0767","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"1306.0767v2","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.0767","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"IAYAZ7T5E5TH","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IAYAZ7T5E5THYQ5W","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IAYAZ7T5","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:IAYAZ7T5E5THYQ5WDJRLRPQPSO","target":"record","payload":{"canonical_record":{"source":{"id":"1306.0767","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-06-04T13:01:27Z","cross_cats_sorted":[],"title_canon_sha256":"be906fb8080ba0ba291f4a0fd841164113713c1959d4a65d63070f1cced8f17f","abstract_canon_sha256":"f254268c7d3803e291afb2a42a66400950adc2f171796d667f7d31ff0f96043f"},"schema_version":"1.0"},"canonical_sha256":"40300cfe7d27667c43b61a62b8be0f938d91ff180129622f01783c564bc58d77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:18:19.871565Z","signature_b64":"/ugnUgzw6A7xTqihNHBVn3sjZ0AO71iF2U8k0+IcMq7OXVp0zW98x1f2GLxKqI4j/yJ2xysH+eMheZXJIyHwCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40300cfe7d27667c43b61a62b8be0f938d91ff180129622f01783c564bc58d77","last_reissued_at":"2026-05-18T03:18:19.871051Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:18:19.871051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.0767","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-18T03:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rGGr6qJBuzsVBal7hntiKNwMPJXVjIxJis2LFCwwECKluT0F0xBdH/1jSgCPKz33+hDl/wdQ8y3hCF2II4epCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T07:46:54.859514Z"},"content_sha256":"d469465e4154e51418664d106e906445b88dfa2ff458d71d663eded12f0f680a","schema_version":"1.0","event_id":"sha256:d469465e4154e51418664d106e906445b88dfa2ff458d71d663eded12f0f680a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:IAYAZ7T5E5THYQ5WDJRLRPQPSO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast recognition of alternating groups of unknown degree","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alice C. Niemeyer, Martin Leuner, Sebastian Jambor, Wilhelm Plesken","submitted_at":"2013-06-04T13:01:27Z","abstract_excerpt":"We present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input.\n  Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternating and symmetric groups. These results are of independent interest; for instance, we establish a lower bound for the proportion of involutions with small support."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.0767","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-18T03:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e5AhHk71P3A0pylyyr1qrspRiAzZg7yMajE+WX6dh2LmeZI+2XLIJv+/DOZ/zLzsiHrRQ01AcSW6gDTPCitmDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T07:46:54.860167Z"},"content_sha256":"53141fd4297f7bc46b4b733b1eec62a39b00174caa12ad3928149509b6596e6a","schema_version":"1.0","event_id":"sha256:53141fd4297f7bc46b4b733b1eec62a39b00174caa12ad3928149509b6596e6a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/bundle.json","state_url":"https://pith.science/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/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-05-22T07:46:54Z","links":{"resolver":"https://pith.science/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO","bundle":"https://pith.science/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/bundle.json","state":"https://pith.science/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IAYAZ7T5E5THYQ5WDJRLRPQPSO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:IAYAZ7T5E5THYQ5WDJRLRPQPSO","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":"f254268c7d3803e291afb2a42a66400950adc2f171796d667f7d31ff0f96043f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-06-04T13:01:27Z","title_canon_sha256":"be906fb8080ba0ba291f4a0fd841164113713c1959d4a65d63070f1cced8f17f"},"schema_version":"1.0","source":{"id":"1306.0767","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.0767","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"1306.0767v2","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.0767","created_at":"2026-05-18T03:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"IAYAZ7T5E5TH","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IAYAZ7T5E5THYQ5W","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IAYAZ7T5","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:53141fd4297f7bc46b4b733b1eec62a39b00174caa12ad3928149509b6596e6a","target":"graph","created_at":"2026-05-18T03:18:19Z","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 present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input.\n  Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternating and symmetric groups. These results are of independent interest; for instance, we establish a lower bound for the proportion of involutions with small support.","authors_text":"Alice C. Niemeyer, Martin Leuner, Sebastian Jambor, Wilhelm Plesken","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-06-04T13:01:27Z","title":"Fast recognition of alternating groups of unknown degree"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.0767","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:d469465e4154e51418664d106e906445b88dfa2ff458d71d663eded12f0f680a","target":"record","created_at":"2026-05-18T03:18:19Z","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":"f254268c7d3803e291afb2a42a66400950adc2f171796d667f7d31ff0f96043f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-06-04T13:01:27Z","title_canon_sha256":"be906fb8080ba0ba291f4a0fd841164113713c1959d4a65d63070f1cced8f17f"},"schema_version":"1.0","source":{"id":"1306.0767","kind":"arxiv","version":2}},"canonical_sha256":"40300cfe7d27667c43b61a62b8be0f938d91ff180129622f01783c564bc58d77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"40300cfe7d27667c43b61a62b8be0f938d91ff180129622f01783c564bc58d77","first_computed_at":"2026-05-18T03:18:19.871051Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:18:19.871051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/ugnUgzw6A7xTqihNHBVn3sjZ0AO71iF2U8k0+IcMq7OXVp0zW98x1f2GLxKqI4j/yJ2xysH+eMheZXJIyHwCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:18:19.871565Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.0767","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d469465e4154e51418664d106e906445b88dfa2ff458d71d663eded12f0f680a","sha256:53141fd4297f7bc46b4b733b1eec62a39b00174caa12ad3928149509b6596e6a"],"state_sha256":"2871ae5a09fd3b9484651d3f23383c15c09b26ae2e5ae11cf901add10a29ffce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wWqyQy2GdpvK2T2pBd3qg2FUBLwRnJvL0yiuSKC/IK6G+Y7ExNazU/pl8shzYy/jpUPySVMDXAeodrq+8WU0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T07:46:54.863701Z","bundle_sha256":"f529122dcdb3f8c633cc4308f858c1963ba94b8ac22c23c955994eca2853b100"}}