{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:EAMP57M655TMNR5ZIXDWDRR2XL","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":"0e2fc56bd89d0a6ffa46cc8483965a0e35dbf1924fa28e443a64d8c1643413e3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2023-03-28T12:31:27Z","title_canon_sha256":"6cd2a19222beb8c8d82e89da60ace37f662f37eee6b285343bcce4c62d92c72b"},"schema_version":"1.0","source":{"id":"2303.15927","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.15927","created_at":"2026-07-05T05:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"2303.15927v1","created_at":"2026-07-05T05:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.15927","created_at":"2026-07-05T05:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"EAMP57M655TM","created_at":"2026-07-05T05:55:29Z"},{"alias_kind":"pith_short_16","alias_value":"EAMP57M655TMNR5Z","created_at":"2026-07-05T05:55:29Z"},{"alias_kind":"pith_short_8","alias_value":"EAMP57M6","created_at":"2026-07-05T05:55:29Z"}],"graph_snapshots":[{"event_id":"sha256:897b63d5c3f9b491aa516c8e2ce429edf1f40322ed44452d5c43ac80ac66c636","target":"graph","created_at":"2026-07-05T05:55:29Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2303.15927/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We illustrate the Lie theoretic capabilities of the computational algebra system GAP4 by reporting on results on nilpotent orbits of simple Lie algebras that have been obtained using computations in that system. Concerning reachable elements in simple Lie algebras we show by computational means that the simple Lie algebras of exceptional type have the Panyushev property. We computationally prove two propositions on the dimension of the abelianization of the centralizer of a nilpotent element in simple Lie algebras of exceptional type. Finally we obtain the closure ordering of the orbits in the","authors_text":"Willem A. de Graaf","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2023-03-28T12:31:27Z","title":"Exploring Lie theory with GAP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.15927","kind":"arxiv","version":1},"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:5e9d2092f00d701c1e100f791dfb67423245e306a575cd0baad77e7a402a9009","target":"record","created_at":"2026-07-05T05:55:29Z","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":"0e2fc56bd89d0a6ffa46cc8483965a0e35dbf1924fa28e443a64d8c1643413e3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.RT","submitted_at":"2023-03-28T12:31:27Z","title_canon_sha256":"6cd2a19222beb8c8d82e89da60ace37f662f37eee6b285343bcce4c62d92c72b"},"schema_version":"1.0","source":{"id":"2303.15927","kind":"arxiv","version":1}},"canonical_sha256":"2018fefd9eef66c6c7b945c761c63abaed50fd3095d2210d281195492044ca72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2018fefd9eef66c6c7b945c761c63abaed50fd3095d2210d281195492044ca72","first_computed_at":"2026-07-05T05:55:29.989778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:55:29.989778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2mUQK6fvfakQgQve6L1JLawVSTzhipWVosH7Ha8/M/f8fui6EpAP4E7WExo42gYM+yCwk4Adk7aFOyp4Ac2EAA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:55:29.990197Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.15927","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e9d2092f00d701c1e100f791dfb67423245e306a575cd0baad77e7a402a9009","sha256:897b63d5c3f9b491aa516c8e2ce429edf1f40322ed44452d5c43ac80ac66c636"],"state_sha256":"6cd34468b96cd193731dffedccecd951323a8d37d6a22bf3ef9be4f0507086b6"}