{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BO5WLVDDNN3M22AZVE2AIJOU3J","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":"8fcca7da7d8f3969e08e34d3c4646daec9ed7f2c3f3573a8b241a82289efd7c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2026-05-13T11:51:05Z","title_canon_sha256":"1a6c2bb849a18c64563c1f7f94b538e066692eedacac3694f18db8410f874283"},"schema_version":"1.0","source":{"id":"2605.13393","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13393","created_at":"2026-05-18T02:44:47Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13393v1","created_at":"2026-05-18T02:44:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13393","created_at":"2026-05-18T02:44:47Z"},{"alias_kind":"pith_short_12","alias_value":"BO5WLVDDNN3M","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"BO5WLVDDNN3M22AZ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"BO5WLVDD","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:229fdff74504bf9880927dafbcf0a8d0ac0674dac381ac1a5b012e60b47c0007","target":"graph","created_at":"2026-05-18T02:44:47Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We prove that MRS_Γ(m,n;k) exists for every dihedral group Γ of order mnk, provided that m and n are even. As a consequence, we obtain broad existence results for magic rectangles and magic squares over dihedral groups."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The construction requires m and n even so that elements can be paired and ordered to produce constant products despite the non-commutative relations in the dihedral group."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Magic rectangle sets exist over dihedral groups of order mnk whenever m and n are even."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Magic rectangle sets exist for every dihedral group of order mnk when m and n are even."}],"snapshot_sha256":"0423f9742731d591ef84be00acaac4ec4ea138bf3b2447a49caa64cbf8fe74aa"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Let $\\Gamma$ be a group of order $mnk$ and $MRS_{\\Gamma}(m,n;k)=(a_{i,j}^s)_{m\\times n}$ be a collection of $k$ arrays $m\\times n$ whose entries are all distinct elements of $\\Gamma$. If there exist elements $\\rho,\\sigma\\in\\Gamma$ such that for every row $i$, there exists an ordering of elements such that\n  $$\n  a_{i,j_1}^s a_{i,j_2}^s \\dots a_{i,j_{n-1}}^s a_{i,j_n}^s= \\rho\n  $$\n  and for every column $j$ there exists an ordering of elements such that\n  $$\n  a_{i_1,j}^s a_{i_2,j}^s \\dots a_{i_{m-1},j}^s a_{i_m,j}^s = \\sigma,\n  $$\n  then $MRS_{\\Gamma}(m,n;k)$ is called a \\emph{$\\Gamma$-magic r","authors_text":"Sylwia Cichacz","cross_cats":[],"headline":"Magic rectangle sets exist for every dihedral group of order mnk when m and n are even.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2026-05-13T11:51:05Z","title":"Note on a magic rectangle set on dihedral group"},"references":{"count":11,"internal_anchors":0,"resolved_work":11,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Cichacz, Partition of Abelian groups into zero-sum sets by complete mappings and its application to the existence of a magic rectangle set,J","work_id":"d7a8cdf1-3b63-4d32-bf3b-1d3fc7bb9c8a","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"S. Cichacz, D. Froncek, Magic squares on Abelian groups,Discrete Math. 349(7)(2026), 115033","work_id":"a84a69d4-527f-4436-b15e-3117767405a6","year":2026},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"S. Cichacz, D. Froncek, Semi-magic dihedral squares, Preprint arXiv:2602.20774 [math.CO] (2026)","work_id":"38fe732b-30ca-4621-86b7-3c2014033926","year":2026},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"S. Cichacz, T. Hinc, A magic rectangle set on Abelian groups and its application,Discrete Appl. Math.288(2021), 201–210. 10","work_id":"28e07f94-5437-4615-bcd2-b754ac8da8dc","year":2021},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"C. J. Colbourn, J. H. Dinitz, eds.,Handbook of combinatorial designs, second edn.,Discrete Mathematics and its Applications (Boca Raton), Chapman & Hill/CRC Press, Boca Raton, FL 2007","work_id":"6fa7eae8-42d7-44a6-9b65-b2809a468a1e","year":2007}],"snapshot_sha256":"a4a7d44c48d3ebe059acba9d6fb8372a7d47f5f24fcd10b85b8e8726bf659d9e"},"source":{"id":"2605.13393","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T18:18:01.541852Z","id":"1bfe141c-52c4-498a-b322-30aaf89c946d","model_set":{"reader":"grok-4.3"},"one_line_summary":"Magic rectangle sets exist over dihedral groups of order mnk whenever m and n are even.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Magic rectangle sets exist for every dihedral group of order mnk when m and n are even.","strongest_claim":"We prove that MRS_Γ(m,n;k) exists for every dihedral group Γ of order mnk, provided that m and n are even. As a consequence, we obtain broad existence results for magic rectangles and magic squares over dihedral groups.","weakest_assumption":"The construction requires m and n even so that elements can be paired and ordered to produce constant products despite the non-commutative relations in the dihedral group."}},"verdict_id":"1bfe141c-52c4-498a-b322-30aaf89c946d"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ee8a48bb245d594abb159bf8d01a884756eae55ea093087341856ba45c7ead2b","target":"record","created_at":"2026-05-18T02:44:47Z","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":"8fcca7da7d8f3969e08e34d3c4646daec9ed7f2c3f3573a8b241a82289efd7c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2026-05-13T11:51:05Z","title_canon_sha256":"1a6c2bb849a18c64563c1f7f94b538e066692eedacac3694f18db8410f874283"},"schema_version":"1.0","source":{"id":"2605.13393","kind":"arxiv","version":1}},"canonical_sha256":"0bbb65d4636b76cd6819a9340425d4da7973ae26d38e9ffe1b83c839ecd0bdb5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bbb65d4636b76cd6819a9340425d4da7973ae26d38e9ffe1b83c839ecd0bdb5","first_computed_at":"2026-05-18T02:44:47.691454Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:47.691454Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+p4oJ8PJ7194ytbn6J2iT1tcUJqQkjXW9W2S4BfqGBNmbi6gDy3+mlv4eUQyNmuAQToRSRYd2Ejh7PH3h4xdBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:47.691877Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13393","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee8a48bb245d594abb159bf8d01a884756eae55ea093087341856ba45c7ead2b","sha256:229fdff74504bf9880927dafbcf0a8d0ac0674dac381ac1a5b012e60b47c0007"],"state_sha256":"2a584b28f8c9048e94b44e363a05ef75fdf5d7ba7a7aa936b03079960c2ce71a"}