{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:Y7I7TWEU623X2KEEESSFRFMIO6","short_pith_number":"pith:Y7I7TWEU","canonical_record":{"source":{"id":"2601.11253","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.GR","submitted_at":"2026-01-16T13:01:49Z","cross_cats_sorted":[],"title_canon_sha256":"78d900b982eb33598205cf3749a7765ab6a86fb91852deddc312b01a6a995fd2","abstract_canon_sha256":"0f4b861e9de2b0c2cd4e4ba8b20dc6523109479377a3612581c7ffc22b9dd023"},"schema_version":"1.0"},"canonical_sha256":"c7d1f9d894f6b77d288424a4589588778cd4f4b4800eb4d0493b3d580ac84622","source":{"kind":"arxiv","id":"2601.11253","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:Y7I7TWEU623X2KEEESSFRFMIO6","target":"record","payload":{"canonical_record":{"source":{"id":"2601.11253","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.GR","submitted_at":"2026-01-16T13:01:49Z","cross_cats_sorted":[],"title_canon_sha256":"78d900b982eb33598205cf3749a7765ab6a86fb91852deddc312b01a6a995fd2","abstract_canon_sha256":"0f4b861e9de2b0c2cd4e4ba8b20dc6523109479377a3612581c7ffc22b9dd023"},"schema_version":"1.0"},"canonical_sha256":"c7d1f9d894f6b77d288424a4589588778cd4f4b4800eb4d0493b3d580ac84622","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:31.942511Z","signature_b64":"nEHkdfmLSH8VIuRv3e8p2HolwwOSbYvUewuFtADJaxWBjCcM67yHnxxczpx+8dgjA0zZwdRieHnDHM1MmmTSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7d1f9d894f6b77d288424a4589588778cd4f4b4800eb4d0493b3d580ac84622","last_reissued_at":"2026-05-18T02:44:31.941994Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:31.941994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2601.11253","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-18T02:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b0upRpqa3n2Q0rVsEe/P4GbXIGDrnbpeSUdDNTC7J9RZwSMtuvgFguhLNHi4BBj8Asp4uUQmy9+s0frirLm6Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:57:01.761051Z"},"content_sha256":"ad79fc61e89ae2ca87ded3d8e0e1b3dbaa05383c94e443a414f551100bdc888e","schema_version":"1.0","event_id":"sha256:ad79fc61e89ae2ca87ded3d8e0e1b3dbaa05383c94e443a414f551100bdc888e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:Y7I7TWEU623X2KEEESSFRFMIO6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite groups with a large normalized sum of element orders","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","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.","cross_cats":[],"primary_cat":"math.GR","authors_text":"Luigi Iorio, Marco Trombetti","submitted_at":"2026-01-16T13:01:49Z","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"},"claims":{"count":4,"items":[{"kind":"strongest_claim","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","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","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.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Finite groups with ψ'(G) > 19/43 have modular subgroup lattices; all groups with ψ'(G) > 31/77 are classified, completing the supersolubility criterion.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","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.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5130e7e6d96d8f34c9dfc68164de3b982d851f3296a3d305f901c8de3af974cf"},"source":{"id":"2601.11253","kind":"arxiv","version":2},"verdict":{"id":"063f679e-4281-42c1-af78-691f701123d2","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T13:57:24.133761Z","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","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","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.","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."},"references":{"count":13,"sample":[{"doi":"","year":2009,"title":"Sums of element orders in finite groups","work_id":"83c5e964-c3e4-49d7-a3f0-06a67b4250f4","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2018,"title":"A criterion for solvability of a finite group by the sum of element orders","work_id":"ad4d6d96-86c4-48bf-a267-28f04a688360","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"On two conjectures about the sum of element orders","work_id":"b00ba08f-fdce-4d46-8c27-6cec432d2bd2","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2020,"title":"A result on the sum of element orders of a finite group","work_id":"13c2cb74-12ed-4ba6-96c9-a0471b97ca6a","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"GAP – Groups, Algorithms, and Programming","work_id":"f5ac4121-fdcb-4330-8b22-0519f5eb31fc","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":13,"snapshot_sha256":"ddb6ca392b1e47d38a922f009c1c9b03ead7526f339c3aa818499fc028d9c025","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":"063f679e-4281-42c1-af78-691f701123d2"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p4PJWApya2ynNcTliM0QcSuMW29XYB4/NtwI00pXyh4GoWVZgZO1AAAniaNetwUBTt+vMZHwjT0gGRPh7VL3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:57:01.761714Z"},"content_sha256":"c6ccac8d03bfef7f19db7c32550bf2b966083cf4688ce1d3501f7f60b2eec519","schema_version":"1.0","event_id":"sha256:c6ccac8d03bfef7f19db7c32550bf2b966083cf4688ce1d3501f7f60b2eec519"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y7I7TWEU623X2KEEESSFRFMIO6/bundle.json","state_url":"https://pith.science/pith/Y7I7TWEU623X2KEEESSFRFMIO6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y7I7TWEU623X2KEEESSFRFMIO6/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-10T19:57:01Z","links":{"resolver":"https://pith.science/pith/Y7I7TWEU623X2KEEESSFRFMIO6","bundle":"https://pith.science/pith/Y7I7TWEU623X2KEEESSFRFMIO6/bundle.json","state":"https://pith.science/pith/Y7I7TWEU623X2KEEESSFRFMIO6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y7I7TWEU623X2KEEESSFRFMIO6/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tNST5vsJqQw+hS1Zlax4/ZcZWWV0LHKWHSt8/qrYNkfQQIsQZGcar8mRg2gFRoGUj88EFuz4eMKk9CTg6kgjBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:57:01.764585Z","bundle_sha256":"2ae2229a4a2866846fe07c27b3b4479bb78b7a9eddcec20881e29eaf12a901c5"}}