{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Y7I7TWEU623X2KEEESSFRFMIO6","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":"0f4b861e9de2b0c2cd4e4ba8b20dc6523109479377a3612581c7ffc22b9dd023","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.GR","submitted_at":"2026-01-16T13:01:49Z","title_canon_sha256":"78d900b982eb33598205cf3749a7765ab6a86fb91852deddc312b01a6a995fd2"},"schema_version":"1.0","source":{"id":"2601.11253","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2601.11253","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"arxiv_version","alias_value":"2601.11253v2","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2601.11253","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"pith_short_12","alias_value":"Y7I7TWEU623X","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"Y7I7TWEU623X2KEE","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"Y7I7TWEU","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:c6ccac8d03bfef7f19db7c32550bf2b966083cf4688ce1d3501f7f60b2eec519","target":"graph","created_at":"2026-05-18T02:44:31Z","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":"if ψ'(G)>ψ'(D_8) = 19/43, then G belongs to the well-understood class of groups with a modular subgroup lattice, whose structure theory allows us to readily identify all groups satisfying this bound"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The critical threshold is exactly ψ'(D8), which is assumed to be the largest value attained by groups outside the modular-lattice class; this relies on exhaustive case analysis or classification results for small-order groups that are not detailed in the abstract."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Finite groups with ψ'(G) > 19/43 have modular subgroup lattices; all groups with ψ'(G) > 31/77 are classified, completing the supersolubility criterion."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"If the normalized sum of element orders in a finite group exceeds 19/43, the value for the dihedral group of order 8, then the group has a modular subgroup lattice."}],"snapshot_sha256":"5130e7e6d96d8f34c9dfc68164de3b982d851f3296a3d305f901c8de3af974cf"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"For a finite group $G$, let $\\psi(G)$ be the sum of the orders of its elements, and define the corresponding normalized sum as $\\psi'(G) := \\psi(G)/\\psi(\\mathcal{C}_{|G|})$, where $\\mathcal{C}_{|G|}$ is the cyclic group of the same order as $G$. Inspired by analogous criteria for the classes of soluble, supersoluble, and nilpotent groups, our main result establishes that if $\\psi'(G)>\\psi'(D_8) = \\frac{19}{43}$, then $G$ belongs to the well-understood class of groups with a modular subgroup lattice, whose structure theory allows us to readily identify all groups satisfying this bound. Moreover","authors_text":"Luigi Iorio, Marco Trombetti","cross_cats":[],"headline":"If the normalized sum of element orders in a finite group exceeds 19/43, the value for the dihedral group of order 8, then the group has a modular subgroup lattice.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.GR","submitted_at":"2026-01-16T13:01:49Z","title":"Finite groups with a large normalized sum of element orders"},"references":{"count":13,"internal_anchors":0,"resolved_work":13,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Sums of element orders in finite groups","work_id":"83c5e964-c3e4-49d7-a3f0-06a67b4250f4","year":2009},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"A criterion for solvability of a finite group by the sum of element orders","work_id":"ad4d6d96-86c4-48bf-a267-28f04a688360","year":2018},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"On two conjectures about the sum of element orders","work_id":"b00ba08f-fdce-4d46-8c27-6cec432d2bd2","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"A result on the sum of element orders of a finite group","work_id":"13c2cb74-12ed-4ba6-96c9-a0471b97ca6a","year":2020},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"GAP – Groups, Algorithms, and Programming","work_id":"f5ac4121-fdcb-4330-8b22-0519f5eb31fc","year":2024}],"snapshot_sha256":"ddb6ca392b1e47d38a922f009c1c9b03ead7526f339c3aa818499fc028d9c025"},"source":{"id":"2601.11253","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-16T13:57:24.133761Z","id":"063f679e-4281-42c1-af78-691f701123d2","model_set":{"reader":"grok-4.3"},"one_line_summary":"Finite groups with ψ'(G) > 19/43 have modular subgroup lattices; all groups with ψ'(G) > 31/77 are classified, completing the supersolubility criterion.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"If the normalized sum of element orders in a finite group exceeds 19/43, the value for the dihedral group of order 8, then the group has a modular subgroup lattice.","strongest_claim":"if ψ'(G)>ψ'(D_8) = 19/43, then G belongs to the well-understood class of groups with a modular subgroup lattice, whose structure theory allows us to readily identify all groups satisfying this bound","weakest_assumption":"The critical threshold is exactly ψ'(D8), which is assumed to be the largest value attained by groups outside the modular-lattice class; this relies on exhaustive case analysis or classification results for small-order groups that are not detailed in the abstract."}},"verdict_id":"063f679e-4281-42c1-af78-691f701123d2"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ad79fc61e89ae2ca87ded3d8e0e1b3dbaa05383c94e443a414f551100bdc888e","target":"record","created_at":"2026-05-18T02:44:31Z","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":"0f4b861e9de2b0c2cd4e4ba8b20dc6523109479377a3612581c7ffc22b9dd023","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.GR","submitted_at":"2026-01-16T13:01:49Z","title_canon_sha256":"78d900b982eb33598205cf3749a7765ab6a86fb91852deddc312b01a6a995fd2"},"schema_version":"1.0","source":{"id":"2601.11253","kind":"arxiv","version":2}},"canonical_sha256":"c7d1f9d894f6b77d288424a4589588778cd4f4b4800eb4d0493b3d580ac84622","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7d1f9d894f6b77d288424a4589588778cd4f4b4800eb4d0493b3d580ac84622","first_computed_at":"2026-05-18T02:44:31.941994Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:31.941994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nEHkdfmLSH8VIuRv3e8p2HolwwOSbYvUewuFtADJaxWBjCcM67yHnxxczpx+8dgjA0zZwdRieHnDHM1MmmTSBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:31.942511Z","signed_message":"canonical_sha256_bytes"},"source_id":"2601.11253","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad79fc61e89ae2ca87ded3d8e0e1b3dbaa05383c94e443a414f551100bdc888e","sha256:c6ccac8d03bfef7f19db7c32550bf2b966083cf4688ce1d3501f7f60b2eec519"],"state_sha256":"04e5808207a51f28fcd2cea0c99defe73b14b90484eef13bae5c40ed48f87631"}