{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:MQZS6MMCUARYTWTMRQROPDN43Y","short_pith_number":"pith:MQZS6MMC","schema_version":"1.0","canonical_sha256":"64332f3182a02389da6c8c22e78dbcde05f579f4a2bce6623567057413c7bc0d","source":{"kind":"arxiv","id":"2605.13615","version":1},"attestation_state":"computed","paper":{"title":"ARE Method: Orbital Decompositions and Dihedral Cancellations for Determinants","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Cyclic group actions on the symmetric group reorganize the full Leibniz expansion of the determinant into (n-1)! orbits of size n that preserve every term and expose explicit sign laws and geometric patterns.","cross_cats":["math.CO","math.GR"],"primary_cat":"math.RA","authors_text":"Ramon Moya","submitted_at":"2026-05-13T14:45:21Z","abstract_excerpt":"We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions.\n  The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation.\n  We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.13615","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RA","submitted_at":"2026-05-13T14:45:21Z","cross_cats_sorted":["math.CO","math.GR"],"title_canon_sha256":"7fe15dabb9efdf52d6a201cc500c4470e73674109cafc0c092a45826c0c967dc","abstract_canon_sha256":"b3f000f50b5e502a47a7e3d8fde866aaf6daf063e479ce832e8c1855efa58ad2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:17.983748Z","signature_b64":"CAy/G+18NfwrDHFweYIRMJ3vHFsFYXwYArPTBEv5aR78/m/vUMK3S98zEflZ1QSeKCgar3jgqArjY0eGWikHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64332f3182a02389da6c8c22e78dbcde05f579f4a2bce6623567057413c7bc0d","last_reissued_at":"2026-05-18T02:44:17.983234Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:17.983234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ARE Method: Orbital Decompositions and Dihedral Cancellations for Determinants","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Cyclic group actions on the symmetric group reorganize the full Leibniz expansion of the determinant into (n-1)! orbits of size n that preserve every term and expose explicit sign laws and geometric patterns.","cross_cats":["math.CO","math.GR"],"primary_cat":"math.RA","authors_text":"Ramon Moya","submitted_at":"2026-05-13T14:45:21Z","abstract_excerpt":"We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions.\n  The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation.\n  We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the chosen right action by the cyclic group C_n on S_n produces orbits whose sign behavior and term coverage exactly match the Leibniz formula without omissions or overcounting once the rectification permutation is applied.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A cyclic-orbit decomposition of the Leibniz formula yields sign laws, a rectification theorem, and a proof that no fixed-width Sarrus-style rule exists for n greater than or equal to 4.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Cyclic group actions on the symmetric group reorganize the full Leibniz expansion of the determinant into (n-1)! orbits of size n that preserve every term and expose explicit sign laws and geometric patterns.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"9239b8332b97b0fa0965fd1a340219a5819fcdae954572b11f8861787d075393"},"source":{"id":"2605.13615","kind":"arxiv","version":1},"verdict":{"id":"c95d72bc-d161-40bc-a788-f82730ccbcce","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T17:58:42.501799Z","strongest_claim":"The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4.","one_line_summary":"A cyclic-orbit decomposition of the Leibniz formula yields sign laws, a rectification theorem, and a proof that no fixed-width Sarrus-style rule exists for n greater than or equal to 4.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the chosen right action by the cyclic group C_n on S_n produces orbits whose sign behavior and term coverage exactly match the Leibniz formula without omissions or overcounting once the rectification permutation is applied.","pith_extraction_headline":"Cyclic group actions on the symmetric group reorganize the full Leibniz expansion of the determinant into (n-1)! orbits of size n that preserve every term and expose explicit sign laws and geometric patterns."},"references":{"count":21,"sample":[{"doi":"","year":1935,"title":"Verallgemeinerte Sarrussche Regel [Generalized Sarrus rule]","work_id":"b1eea6b4-918d-416e-8cdb-ba490fb19d14","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1991,"title":"Artin, Michael. Algebra. Englewood Cliffs, NJ: Prentice Hall, 1991","work_id":"4796758d-b5e2-4246-9633-2cb59e5b76f3","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2012,"title":"Combinatorics of Permutations (2nd ed.)","work_id":"2fce0a51-5a40-4f95-8adf-b59223db0608","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1976,"title":"Eigenvalues and eigenvectors of symmetric centrosymmetric matrices","work_id":"e1c627f7-2a19-4da5-a349-557b6ca48b18","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2004,"title":"Abstract Algebra (3rd ed.)","work_id":"0957bdb6-8687-448d-884f-fe71393d19cb","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":21,"snapshot_sha256":"469ab3ea73d3e3ceae34dceca3fa505fecfd39abb95f6f1420f78aa7e09bc45b","internal_anchors":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.13615","created_at":"2026-05-18T02:44:17.983332+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.13615v1","created_at":"2026-05-18T02:44:17.983332+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13615","created_at":"2026-05-18T02:44:17.983332+00:00"},{"alias_kind":"pith_short_12","alias_value":"MQZS6MMCUARY","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"MQZS6MMCUARYTWTM","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"MQZS6MMC","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y","json":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y.json","graph_json":"https://pith.science/api/pith-number/MQZS6MMCUARYTWTMRQROPDN43Y/graph.json","events_json":"https://pith.science/api/pith-number/MQZS6MMCUARYTWTMRQROPDN43Y/events.json","paper":"https://pith.science/paper/MQZS6MMC"},"agent_actions":{"view_html":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y","download_json":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y.json","view_paper":"https://pith.science/paper/MQZS6MMC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.13615&json=true","fetch_graph":"https://pith.science/api/pith-number/MQZS6MMCUARYTWTMRQROPDN43Y/graph.json","fetch_events":"https://pith.science/api/pith-number/MQZS6MMCUARYTWTMRQROPDN43Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y/action/storage_attestation","attest_author":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y/action/author_attestation","sign_citation":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y/action/citation_signature","submit_replication":"https://pith.science/pith/MQZS6MMCUARYTWTMRQROPDN43Y/action/replication_record"}},"created_at":"2026-05-18T02:44:17.983332+00:00","updated_at":"2026-05-18T02:44:17.983332+00:00"}