{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:MKAASL5AUHXWIK64TNGZY5XX4T","short_pith_number":"pith:MKAASL5A","canonical_record":{"source":{"id":"1304.6436","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-23T22:39:49Z","cross_cats_sorted":[],"title_canon_sha256":"1dd18d5ac27097d30267fe01d184739214d30d5ce0e4775ab39e45e99945ffb1","abstract_canon_sha256":"5cb8fcb41566015333f26b06c2dcbfa785517477085710f2e4de4bce8064397c"},"schema_version":"1.0"},"canonical_sha256":"6280092fa0a1ef642bdc9b4d9c76f7e4d196cb6dd40d7ca3e7aca76becdd3af3","source":{"kind":"arxiv","id":"1304.6436","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.6436","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"arxiv_version","alias_value":"1304.6436v2","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.6436","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"pith_short_12","alias_value":"MKAASL5AUHXW","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MKAASL5AUHXWIK64","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MKAASL5A","created_at":"2026-05-18T12:27:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:MKAASL5AUHXWIK64TNGZY5XX4T","target":"record","payload":{"canonical_record":{"source":{"id":"1304.6436","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-23T22:39:49Z","cross_cats_sorted":[],"title_canon_sha256":"1dd18d5ac27097d30267fe01d184739214d30d5ce0e4775ab39e45e99945ffb1","abstract_canon_sha256":"5cb8fcb41566015333f26b06c2dcbfa785517477085710f2e4de4bce8064397c"},"schema_version":"1.0"},"canonical_sha256":"6280092fa0a1ef642bdc9b4d9c76f7e4d196cb6dd40d7ca3e7aca76becdd3af3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:26:11.904369Z","signature_b64":"gn4PqHto7jZfl+u+PP6PX/MaIIDVxJ3ZGUIHFpRV0+ZuYqHphh07iyhelB76COJ8PKKDTzQ6sKNQio/v1ZKXAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6280092fa0a1ef642bdc9b4d9c76f7e4d196cb6dd40d7ca3e7aca76becdd3af3","last_reissued_at":"2026-05-18T03:26:11.903839Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:26:11.903839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.6436","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:26:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eWGa5n4RHPrnQN1nQZ3uYQqozPfjwRXEpy/rO0cZQ3GXjjPQyfQOhxiDGJENWO5lMes5yVp+UNywm/4i79t4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:06:08.372177Z"},"content_sha256":"09a6e47775faab7bad7bedc3a14dcebddfe6347c047000b3c0257a618f2b9f75","schema_version":"1.0","event_id":"sha256:09a6e47775faab7bad7bedc3a14dcebddfe6347c047000b3c0257a618f2b9f75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:MKAASL5AUHXWIK64TNGZY5XX4T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Infinite Motion and 2-Distinguishability of Graphs and Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Mark E. Watkins, Simon M. Smith, Thomas W. Tucker, Wilfried Imrich","submitted_at":"2013-04-23T22:39:49Z","abstract_excerpt":"A group A acting faithfully on a set X is 2-distinguishable if there is a 2-coloring of X that is not preserved by any nonidentity element of A, equivalently, if there is a proper subset of X with trivial setwise stabilizer. The motion of an element a in A is the number of points of X that are moved by a, and the motion of the group A is the minimal motion of its nonidentity elements. For finite A, the Motion Lemma says that if the motion of A is large enough (specifically at least 2 log_2 |A|), then the action is 2-distinguishable. For many situations where X has a combinatorial or algebraic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.6436","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:26:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DBUw6fr+pUvXLwD/hBGtsg1h6dDlTQ4UsalkuOcWu0G8zMfJOTXQn49Jfh1TbBqre+AyB0PbZs7YBVd2g7+TDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:06:08.372537Z"},"content_sha256":"978c59edcd774f20a642e56a722bf47b04c4454eacb45f040d10f0dcaeeb6511","schema_version":"1.0","event_id":"sha256:978c59edcd774f20a642e56a722bf47b04c4454eacb45f040d10f0dcaeeb6511"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MKAASL5AUHXWIK64TNGZY5XX4T/bundle.json","state_url":"https://pith.science/pith/MKAASL5AUHXWIK64TNGZY5XX4T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MKAASL5AUHXWIK64TNGZY5XX4T/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-01T22:06:08Z","links":{"resolver":"https://pith.science/pith/MKAASL5AUHXWIK64TNGZY5XX4T","bundle":"https://pith.science/pith/MKAASL5AUHXWIK64TNGZY5XX4T/bundle.json","state":"https://pith.science/pith/MKAASL5AUHXWIK64TNGZY5XX4T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MKAASL5AUHXWIK64TNGZY5XX4T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:MKAASL5AUHXWIK64TNGZY5XX4T","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":"5cb8fcb41566015333f26b06c2dcbfa785517477085710f2e4de4bce8064397c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-23T22:39:49Z","title_canon_sha256":"1dd18d5ac27097d30267fe01d184739214d30d5ce0e4775ab39e45e99945ffb1"},"schema_version":"1.0","source":{"id":"1304.6436","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.6436","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"arxiv_version","alias_value":"1304.6436v2","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.6436","created_at":"2026-05-18T03:26:11Z"},{"alias_kind":"pith_short_12","alias_value":"MKAASL5AUHXW","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MKAASL5AUHXWIK64","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MKAASL5A","created_at":"2026-05-18T12:27:52Z"}],"graph_snapshots":[{"event_id":"sha256:978c59edcd774f20a642e56a722bf47b04c4454eacb45f040d10f0dcaeeb6511","target":"graph","created_at":"2026-05-18T03:26:11Z","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":"A group A acting faithfully on a set X is 2-distinguishable if there is a 2-coloring of X that is not preserved by any nonidentity element of A, equivalently, if there is a proper subset of X with trivial setwise stabilizer. The motion of an element a in A is the number of points of X that are moved by a, and the motion of the group A is the minimal motion of its nonidentity elements. For finite A, the Motion Lemma says that if the motion of A is large enough (specifically at least 2 log_2 |A|), then the action is 2-distinguishable. For many situations where X has a combinatorial or algebraic ","authors_text":"Mark E. Watkins, Simon M. Smith, Thomas W. Tucker, Wilfried Imrich","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-23T22:39:49Z","title":"Infinite Motion and 2-Distinguishability of Graphs and Groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.6436","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:09a6e47775faab7bad7bedc3a14dcebddfe6347c047000b3c0257a618f2b9f75","target":"record","created_at":"2026-05-18T03:26:11Z","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":"5cb8fcb41566015333f26b06c2dcbfa785517477085710f2e4de4bce8064397c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-23T22:39:49Z","title_canon_sha256":"1dd18d5ac27097d30267fe01d184739214d30d5ce0e4775ab39e45e99945ffb1"},"schema_version":"1.0","source":{"id":"1304.6436","kind":"arxiv","version":2}},"canonical_sha256":"6280092fa0a1ef642bdc9b4d9c76f7e4d196cb6dd40d7ca3e7aca76becdd3af3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6280092fa0a1ef642bdc9b4d9c76f7e4d196cb6dd40d7ca3e7aca76becdd3af3","first_computed_at":"2026-05-18T03:26:11.903839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:26:11.903839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gn4PqHto7jZfl+u+PP6PX/MaIIDVxJ3ZGUIHFpRV0+ZuYqHphh07iyhelB76COJ8PKKDTzQ6sKNQio/v1ZKXAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:26:11.904369Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.6436","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09a6e47775faab7bad7bedc3a14dcebddfe6347c047000b3c0257a618f2b9f75","sha256:978c59edcd774f20a642e56a722bf47b04c4454eacb45f040d10f0dcaeeb6511"],"state_sha256":"498fa626c168bb191de9b7a17fbb26818a7a4c6d6283c59ed2ea8c0b8c9024b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OxrDTSjjDXU02/8g2kNnktyimf/zTy58Tk4G/SSqz9CypSQJLwjiBfI49NmKEzV29EUXFOA71AKZIOZxbh3GBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T22:06:08.374944Z","bundle_sha256":"32063f1a06db8fbf6a4e36bf7709938993012aa267da12d92b498330d29c58bd"}}