{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:5PLDI2I6APIV3ESYCTEFLO5POW","short_pith_number":"pith:5PLDI2I6","canonical_record":{"source":{"id":"1302.5949","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-02-24T20:38:28Z","cross_cats_sorted":[],"title_canon_sha256":"dde484052f9441809409aa88356b2c6e03e73452ad54d15c705013eb00f6af41","abstract_canon_sha256":"dd44f611602051408419cbe5d1e10b28b34d339aee0a178dd8255bc30e48dde3"},"schema_version":"1.0"},"canonical_sha256":"ebd634691e03d15d925814c855bbaf75a0350d313cde0dbc982b1ac65664946e","source":{"kind":"arxiv","id":"1302.5949","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5949","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5949v1","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5949","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"5PLDI2I6APIV","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5PLDI2I6APIV3ESY","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5PLDI2I6","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:5PLDI2I6APIV3ESYCTEFLO5POW","target":"record","payload":{"canonical_record":{"source":{"id":"1302.5949","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-02-24T20:38:28Z","cross_cats_sorted":[],"title_canon_sha256":"dde484052f9441809409aa88356b2c6e03e73452ad54d15c705013eb00f6af41","abstract_canon_sha256":"dd44f611602051408419cbe5d1e10b28b34d339aee0a178dd8255bc30e48dde3"},"schema_version":"1.0"},"canonical_sha256":"ebd634691e03d15d925814c855bbaf75a0350d313cde0dbc982b1ac65664946e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:33.146233Z","signature_b64":"C2u76rXX7R4TKyDYXKtTBdSyXKagurie3g1xIVyAMETYsn2PsEB61HtFP59/2JHmCOAZicbGQ18lGMkfTy6YBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebd634691e03d15d925814c855bbaf75a0350d313cde0dbc982b1ac65664946e","last_reissued_at":"2026-05-18T03:32:33.145542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:33.145542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.5949","source_version":1,"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:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7DGhw3y0TUaCJ7A7QxiYPRwB1V1+NG2f6LI0TLvadvD41+8PHqNFrBRKa35B5ysgGsjmTXVXmvdY1gT20JGXAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:27:20.499551Z"},"content_sha256":"306938d30f3a9debad1162985c2ada250a58dfbfb9e31e81b58ef0608c26c761","schema_version":"1.0","event_id":"sha256:306938d30f3a9debad1162985c2ada250a58dfbfb9e31e81b58ef0608c26c761"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:5PLDI2I6APIV3ESYCTEFLO5POW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Minimal complete Shidoku symmetry groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Elizabeth Arnold, Laura Taalman, Rebecca Field, Stephen Lucas","submitted_at":"2013-02-24T20:38:28Z","abstract_excerpt":"Calculations of the number of equivalence classes of Sudoku boards has to this point been done only with the aid of a computer, in part because of the unnecessarily large symmetry group used to form the classes. In particular, the relationship between relabeling symmetries and positional symmetries such as row/column swaps is complicated. In this paper we focus first on the smaller Shidoku case and show first by computation and then by using connectivity properties of simple graphs that the usual symmetry group can in fact be reduced to various minimal subgroups that induce the same action. Th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5949","kind":"arxiv","version":1},"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:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NZfhWvFrF42D/7U+7On4Z5NMTL10B8PQ6q5iN5XgZdqY+zzjTAgqlJiZ7HkNtAQZjDkyK6hDDJ8GtZUiS03uCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:27:20.499894Z"},"content_sha256":"f87dab412ac086bcf48a85965f494f5dbc2356545572c5b78dae2750d6aca9d7","schema_version":"1.0","event_id":"sha256:f87dab412ac086bcf48a85965f494f5dbc2356545572c5b78dae2750d6aca9d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PLDI2I6APIV3ESYCTEFLO5POW/bundle.json","state_url":"https://pith.science/pith/5PLDI2I6APIV3ESYCTEFLO5POW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PLDI2I6APIV3ESYCTEFLO5POW/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-03T19:27:20Z","links":{"resolver":"https://pith.science/pith/5PLDI2I6APIV3ESYCTEFLO5POW","bundle":"https://pith.science/pith/5PLDI2I6APIV3ESYCTEFLO5POW/bundle.json","state":"https://pith.science/pith/5PLDI2I6APIV3ESYCTEFLO5POW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PLDI2I6APIV3ESYCTEFLO5POW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:5PLDI2I6APIV3ESYCTEFLO5POW","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":"dd44f611602051408419cbe5d1e10b28b34d339aee0a178dd8255bc30e48dde3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-02-24T20:38:28Z","title_canon_sha256":"dde484052f9441809409aa88356b2c6e03e73452ad54d15c705013eb00f6af41"},"schema_version":"1.0","source":{"id":"1302.5949","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5949","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5949v1","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5949","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"5PLDI2I6APIV","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5PLDI2I6APIV3ESY","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5PLDI2I6","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:f87dab412ac086bcf48a85965f494f5dbc2356545572c5b78dae2750d6aca9d7","target":"graph","created_at":"2026-05-18T03:32:33Z","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":"Calculations of the number of equivalence classes of Sudoku boards has to this point been done only with the aid of a computer, in part because of the unnecessarily large symmetry group used to form the classes. In particular, the relationship between relabeling symmetries and positional symmetries such as row/column swaps is complicated. In this paper we focus first on the smaller Shidoku case and show first by computation and then by using connectivity properties of simple graphs that the usual symmetry group can in fact be reduced to various minimal subgroups that induce the same action. Th","authors_text":"Elizabeth Arnold, Laura Taalman, Rebecca Field, Stephen Lucas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-02-24T20:38:28Z","title":"Minimal complete Shidoku symmetry groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5949","kind":"arxiv","version":1},"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:306938d30f3a9debad1162985c2ada250a58dfbfb9e31e81b58ef0608c26c761","target":"record","created_at":"2026-05-18T03:32:33Z","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":"dd44f611602051408419cbe5d1e10b28b34d339aee0a178dd8255bc30e48dde3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-02-24T20:38:28Z","title_canon_sha256":"dde484052f9441809409aa88356b2c6e03e73452ad54d15c705013eb00f6af41"},"schema_version":"1.0","source":{"id":"1302.5949","kind":"arxiv","version":1}},"canonical_sha256":"ebd634691e03d15d925814c855bbaf75a0350d313cde0dbc982b1ac65664946e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebd634691e03d15d925814c855bbaf75a0350d313cde0dbc982b1ac65664946e","first_computed_at":"2026-05-18T03:32:33.145542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:33.145542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C2u76rXX7R4TKyDYXKtTBdSyXKagurie3g1xIVyAMETYsn2PsEB61HtFP59/2JHmCOAZicbGQ18lGMkfTy6YBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:33.146233Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.5949","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:306938d30f3a9debad1162985c2ada250a58dfbfb9e31e81b58ef0608c26c761","sha256:f87dab412ac086bcf48a85965f494f5dbc2356545572c5b78dae2750d6aca9d7"],"state_sha256":"7940d5f339025641aff4213b2c9dc730bee36094cfd8446d7310d8d721f4ac50"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vXOG4xCY/nNe+aj3UtLSYEIY/xPAvJ7gbUpZrSgh2lZb1Q1JTzBe2ZS2Hta6RskhOVQqpJKUMEUV1pVgO0JmBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T19:27:20.501758Z","bundle_sha256":"3c71229c78a96dbe2c0cf6629720b495cbb809cb5e3710bfd12bfbccb5f25cfb"}}