{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:62LQVNC7MCZEPNFXQFAF6CZW6P","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":"3b4a358f8fe23f4cd4cc508ad792f8350872e190a7b9f6a43a8284d0c140d763","cross_cats_sorted":["cs.DM","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-01-11T15:27:27Z","title_canon_sha256":"f7553392c23af5221ac8040d08ccda17998bc244725c06529d1e57ee551e315d"},"schema_version":"1.0","source":{"id":"1901.03613","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03613","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03613v2","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03613","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"pith_short_12","alias_value":"62LQVNC7MCZE","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"62LQVNC7MCZEPNFX","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"62LQVNC7","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:f31826528b6f79f82ce40c490eb2a8b36ef201edb061ab4ba697d3bddd745cce","target":"graph","created_at":"2026-05-17T23:56:09Z","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 prove that every permutation of a Cartesian product of two finite sets can be written as a composition of three permutations, the first of which only modifies the left projection, the second only the right projection, and the third again only the left projection, and three alternations is indeed the optimal number. We show that for two countably infinite sets, the corresponding optimal number of alternations, called the alternation diameter, is four. The notion of alternation diameter can be defined in any category. In the category of finite-dimensional vector spaces, the diameter is also t","authors_text":"Ville Salo","cross_cats":["cs.DM","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-01-11T15:27:27Z","title":"Alternation diameter of a product object"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03613","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:66991020c8d2c3ee52bac12ff02647a37acde1794b2129a00481f7f7c66bf950","target":"record","created_at":"2026-05-17T23:56:09Z","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":"3b4a358f8fe23f4cd4cc508ad792f8350872e190a7b9f6a43a8284d0c140d763","cross_cats_sorted":["cs.DM","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-01-11T15:27:27Z","title_canon_sha256":"f7553392c23af5221ac8040d08ccda17998bc244725c06529d1e57ee551e315d"},"schema_version":"1.0","source":{"id":"1901.03613","kind":"arxiv","version":2}},"canonical_sha256":"f6970ab45f60b247b4b781405f0b36f3c27056686bd32817f7863cc8a9df064c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f6970ab45f60b247b4b781405f0b36f3c27056686bd32817f7863cc8a9df064c","first_computed_at":"2026-05-17T23:56:09.187511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:09.187511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/6F3FJitagF6snWhwlGxNqM9YNEtzioAodGO5ryY0N5qDMHbuDzWiilU2VYc/3tmjh9oCdJ/qGAtCnvXQh8pDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:09.188174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.03613","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66991020c8d2c3ee52bac12ff02647a37acde1794b2129a00481f7f7c66bf950","sha256:f31826528b6f79f82ce40c490eb2a8b36ef201edb061ab4ba697d3bddd745cce"],"state_sha256":"c5afe8576d53725f08bbff250ed0db855c0de62e9814a3158f4e1d070d615e6d"}