{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NXX3UEQWLWY2TLZKGA5TGAR3BZ","short_pith_number":"pith:NXX3UEQW","canonical_record":{"source":{"id":"1811.12671","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-11-30T08:50:11Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"673f1f01c221faae0bf9189a5c88734f29ec664638bb29a85d129d1226884ad3","abstract_canon_sha256":"87f58b59592ef832405b18e05fc2af515434345c3501c99a0393fc23017d43a9"},"schema_version":"1.0"},"canonical_sha256":"6defba12165db1a9af2a303b33023b0e5b65049d1f8b5ef9bf8a7588a21a76fa","source":{"kind":"arxiv","id":"1811.12671","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12671","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12671v2","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12671","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"pith_short_12","alias_value":"NXX3UEQWLWY2","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NXX3UEQWLWY2TLZK","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NXX3UEQW","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NXX3UEQWLWY2TLZKGA5TGAR3BZ","target":"record","payload":{"canonical_record":{"source":{"id":"1811.12671","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-11-30T08:50:11Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"673f1f01c221faae0bf9189a5c88734f29ec664638bb29a85d129d1226884ad3","abstract_canon_sha256":"87f58b59592ef832405b18e05fc2af515434345c3501c99a0393fc23017d43a9"},"schema_version":"1.0"},"canonical_sha256":"6defba12165db1a9af2a303b33023b0e5b65049d1f8b5ef9bf8a7588a21a76fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:42.803915Z","signature_b64":"vUjH2UxVQXzv13bTeWUEcvbEnyxXdXEM9N7ZLZr7Oj4jcSpqcFIY9AUPcdVWXJIXEJLsHnizhQLCJ5xAy0asCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6defba12165db1a9af2a303b33023b0e5b65049d1f8b5ef9bf8a7588a21a76fa","last_reissued_at":"2026-05-17T23:44:42.803326Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:42.803326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.12671","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-17T23:44:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ycO8iC27/1NGR2QAhRMwQMxd6IICMWDMRr+VtwE/xPRJaJevOPKmVvQILQyA5J3uMVjbRExXzkthoKEhYNJGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:48:33.749499Z"},"content_sha256":"6df257c3ca6514b80a1f1ba6d9190308c85be0381f72ad032f34a57b4e4fca9e","schema_version":"1.0","event_id":"sha256:6df257c3ca6514b80a1f1ba6d9190308c85be0381f72ad032f34a57b4e4fca9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NXX3UEQWLWY2TLZKGA5TGAR3BZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Hall--Paige conjecture, and synchronization for affine and diagonal groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.GR","authors_text":"Hua Zhang, John N. Bray, Pablo Spiga, Peter J. Cameron, Qi Cai","submitted_at":"2018-11-30T08:50:11Z","abstract_excerpt":"The Hall--Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group $\\mathrm{J}_4$).\n  We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent.\n  Syn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12671","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-17T23:44:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"waoaKPrTlTYw7zkl8F4mbdtABUifbJS97yXZWOiEgRmulp9ATdq2sWhR1DrL7F9d/iCpmJji8m0pGKo/0Zi6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:48:33.750052Z"},"content_sha256":"d6ef91ceb7a0bf90c7e2b3772dc2e0171834b4c69f90361f3da3630d13cd4ba3","schema_version":"1.0","event_id":"sha256:d6ef91ceb7a0bf90c7e2b3772dc2e0171834b4c69f90361f3da3630d13cd4ba3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/bundle.json","state_url":"https://pith.science/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/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-25T21:48:33Z","links":{"resolver":"https://pith.science/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ","bundle":"https://pith.science/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/bundle.json","state":"https://pith.science/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NXX3UEQWLWY2TLZKGA5TGAR3BZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NXX3UEQWLWY2TLZKGA5TGAR3BZ","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":"87f58b59592ef832405b18e05fc2af515434345c3501c99a0393fc23017d43a9","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-11-30T08:50:11Z","title_canon_sha256":"673f1f01c221faae0bf9189a5c88734f29ec664638bb29a85d129d1226884ad3"},"schema_version":"1.0","source":{"id":"1811.12671","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12671","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12671v2","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12671","created_at":"2026-05-17T23:44:42Z"},{"alias_kind":"pith_short_12","alias_value":"NXX3UEQWLWY2","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NXX3UEQWLWY2TLZK","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NXX3UEQW","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:d6ef91ceb7a0bf90c7e2b3772dc2e0171834b4c69f90361f3da3630d13cd4ba3","target":"graph","created_at":"2026-05-17T23:44:42Z","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":"The Hall--Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group $\\mathrm{J}_4$).\n  We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent.\n  Syn","authors_text":"Hua Zhang, John N. Bray, Pablo Spiga, Peter J. Cameron, Qi Cai","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-11-30T08:50:11Z","title":"The Hall--Paige conjecture, and synchronization for affine and diagonal groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12671","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:6df257c3ca6514b80a1f1ba6d9190308c85be0381f72ad032f34a57b4e4fca9e","target":"record","created_at":"2026-05-17T23:44:42Z","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":"87f58b59592ef832405b18e05fc2af515434345c3501c99a0393fc23017d43a9","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-11-30T08:50:11Z","title_canon_sha256":"673f1f01c221faae0bf9189a5c88734f29ec664638bb29a85d129d1226884ad3"},"schema_version":"1.0","source":{"id":"1811.12671","kind":"arxiv","version":2}},"canonical_sha256":"6defba12165db1a9af2a303b33023b0e5b65049d1f8b5ef9bf8a7588a21a76fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6defba12165db1a9af2a303b33023b0e5b65049d1f8b5ef9bf8a7588a21a76fa","first_computed_at":"2026-05-17T23:44:42.803326Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:42.803326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vUjH2UxVQXzv13bTeWUEcvbEnyxXdXEM9N7ZLZr7Oj4jcSpqcFIY9AUPcdVWXJIXEJLsHnizhQLCJ5xAy0asCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:42.803915Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.12671","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6df257c3ca6514b80a1f1ba6d9190308c85be0381f72ad032f34a57b4e4fca9e","sha256:d6ef91ceb7a0bf90c7e2b3772dc2e0171834b4c69f90361f3da3630d13cd4ba3"],"state_sha256":"1c759fc36c1d5d0ed4786498b451403f6458bc836c0c51d229a6fc970e3b9c81"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SUKJrhDZhcG5on7hilV3wke2eUehr5aI+nX0LbJrumA6VBfZpJ56p1E/yFAGg3jPT+K7/Lr9wlzK3bAf3mO6Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:48:33.753285Z","bundle_sha256":"90ec7f72148df414faff0d13453aff07a4c85dd08c16adf2ffa91560062d9231"}}