{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FDCX3IT3XPENTZV6UGL322DWLU","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":"51d1870bdd9c0e93e3800f60aedc0ad009b4dc8aa3301c4f1cc9c31f4c951639","cross_cats_sorted":["math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2026-05-14T07:29:32Z","title_canon_sha256":"ee8194bf1f8d015224f13d37181f178baae0bfb67f6e1fdb33080c7300f9df38"},"schema_version":"1.0","source":{"id":"2605.14490","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14490","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14490v1","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14490","created_at":"2026-05-17T23:39:06Z"},{"alias_kind":"pith_short_12","alias_value":"FDCX3IT3XPEN","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"FDCX3IT3XPENTZV6","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"FDCX3IT3","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:c41f506fe71c108ad68d89e7fadc8d7f67dc6f573aa23b5935b6e60884ba2a48","target":"graph","created_at":"2026-05-17T23:39:06Z","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":"For a maximal torus T subset G, we prove that the inclusions S(g)^G subset S(g)^T subset S(g) determine a superintegrable chain and identify the associated quotient maps g to g//T to g//G."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The construction begins from a chain of reductive subgroups of the semisimple Lie group G, with the invariant Poisson subalgebras and their centers behaving as expected under the Poisson structure."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Inclusions of invariant subalgebras S(g)^G subset S(g)^T subset S(g) for a maximal torus T in a semisimple Lie group G form a superintegrable Poisson projection chain with matching dimension splits between Hamiltonians and integrals."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The inclusions of Poisson invariants under a maximal torus and the full group form a superintegrable projection chain on semisimple Lie algebras."}],"snapshot_sha256":"a4cb6408c77a0f9c43a45bdfa7c226afd3909f650b3e51535a9d0132092f5e3c"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"2d95746ae9da9b017ce1f0043993b4c77c23c834153b566d38b1b8ae58d59c51"},"paper":{"abstract_excerpt":"We introduce a geometric framework for constructing superintegrable systems from Poisson centralizers (commutants) in the Lie-Poisson algebra $S(\\mathfrak{g})$ of a complex semisimple Lie algebra. Starting from a chain of reductive subgroups, we study the corresponding invariant Poisson subalgebras and their Poisson centers, and formulate superintegrability in terms of a \\emph{Poisson projection chain} of affine Poisson varieties. For a maximal torus $T\\subset G$, we prove that the inclusions $S(\\mathfrak{g})^G\\subset S(\\mathfrak{g})^T\\subset S(\\mathfrak{g})$ determine a superintegrable chain ","authors_text":"Guorui Ma, Ian Marquette, Junze Zhang, Kai Jiang, Yao-Zhong Zhang","cross_cats":["math.MP"],"headline":"The inclusions of Poisson invariants under a maximal torus and the full group form a superintegrable projection chain on semisimple Lie algebras.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2026-05-14T07:29:32Z","title":"Geometric construction of superintegrable Poisson projection chains via Poisson centralizers"},"references":{"count":41,"internal_anchors":1,"resolved_work":41,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"W. Miller Jr, S. Post, and P. Winternitz. Classical and quantum superintegrability with applications.J. Phys. A: Math. Theor., 46(42):423001, 97, 2013","work_id":"a6a5522e-2097-400e-9e22-e9137a4f4a64","year":2013},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"N. Reshetikhin. Degenerately integrable systems.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 433(Voprosy Kvantovo˘ ı Teorii Polya i Statistichesko˘ ı Fiziki. 23):224–245, 2015","work_id":"3c1bab89-d9a2-4644-b368-7a7e866faa88","year":2015},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"J. Friˇ s, V. Mandrosov, Ya. A. Smorodinsky, M. Uhl´ ıˇ r, and P. Winternitz. On higher symmetries in quantum mechanics.Phys. Lett., 16:354–356, 1965","work_id":"40834b6e-408c-4920-bf10-4602a34dee49","year":1965},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Action-angle variables and their generalizations.Trans","work_id":"11659639-2aa5-4b47-b1d2-8c2fc6948174","year":1968},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"E. G. Kalnins, J. M. Kress, and W. Miller, Jr.Separation of variables and superintegrability. IOP Expanding Physics. IOP Publishing, Bristol, 2018. The symmetry of solvable systems","work_id":"4038fbf4-774b-428d-8ad8-f0c97f4af1f8","year":2018}],"snapshot_sha256":"0abee11ddd19dfd9046d04f892b4acd1893a591a41b84670a739382f53bddbfa"},"source":{"id":"2605.14490","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T01:47:09.984239Z","id":"8cd83901-a6dc-426c-ae33-9e2edd4e9cc9","model_set":{"reader":"grok-4.3"},"one_line_summary":"Inclusions of invariant subalgebras S(g)^G subset S(g)^T subset S(g) for a maximal torus T in a semisimple Lie group G form a superintegrable Poisson projection chain with matching dimension splits between Hamiltonians and integrals.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The inclusions of Poisson invariants under a maximal torus and the full group form a superintegrable projection chain on semisimple Lie algebras.","strongest_claim":"For a maximal torus T subset G, we prove that the inclusions S(g)^G subset S(g)^T subset S(g) determine a superintegrable chain and identify the associated quotient maps g to g//T to g//G.","weakest_assumption":"The construction begins from a chain of reductive subgroups of the semisimple Lie group G, with the invariant Poisson subalgebras and their centers behaving as expected under the Poisson structure."}},"verdict_id":"8cd83901-a6dc-426c-ae33-9e2edd4e9cc9"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6437f2bfacce645aca78603e8d87dc22014a4e65b440509bff8c6f34e169ad69","target":"record","created_at":"2026-05-17T23:39:06Z","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":"51d1870bdd9c0e93e3800f60aedc0ad009b4dc8aa3301c4f1cc9c31f4c951639","cross_cats_sorted":["math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2026-05-14T07:29:32Z","title_canon_sha256":"ee8194bf1f8d015224f13d37181f178baae0bfb67f6e1fdb33080c7300f9df38"},"schema_version":"1.0","source":{"id":"2605.14490","kind":"arxiv","version":1}},"canonical_sha256":"28c57da27bbbc8d9e6bea197bd68765d0e2ef70fb9ccdc860d1a5af9d72385ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28c57da27bbbc8d9e6bea197bd68765d0e2ef70fb9ccdc860d1a5af9d72385ce","first_computed_at":"2026-05-17T23:39:06.440279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:06.440279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Aj64G8x5FDaEG2GgpI0lZuTP1AkscGV8mg6d+nQ2uDoOzlpkQchLSD5CSZYH5qAJNdajfwtfuBwwBVJcVHPDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:06.440945Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14490","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6437f2bfacce645aca78603e8d87dc22014a4e65b440509bff8c6f34e169ad69","sha256:c41f506fe71c108ad68d89e7fadc8d7f67dc6f573aa23b5935b6e60884ba2a48"],"state_sha256":"80b8c99ea094363cca3f89d1d956f0505bbd24b38eb1d93fbd5486b62a273b0c"}