{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4C4L75FDWZNHKNSQXOVI3QPSUP","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":"a5254072c956d2e3f71edf03998e341433aeef6785253ea0b1ed7c8cb8fdd403","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2017-07-05T14:17:18Z","title_canon_sha256":"f9fc82090def1205dedc7f12d0c7b570ca9aebbbf45361e48d7d3c6d843c5d4e"},"schema_version":"1.0","source":{"id":"1707.01410","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01410","created_at":"2026-05-18T00:04:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01410v1","created_at":"2026-05-18T00:04:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01410","created_at":"2026-05-18T00:04:17Z"},{"alias_kind":"pith_short_12","alias_value":"4C4L75FDWZNH","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4C4L75FDWZNHKNSQ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4C4L75FD","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:607579d0dc9fd55fae92b25a6b9f724589606459d40f1d4d43c875916930040c","target":"graph","created_at":"2026-05-18T00:04:17Z","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"},"paper":{"abstract_excerpt":"Assume $\\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\\mathsf{S}_n$, and let $\\mathsf{M}_n^{\\otimes k}$ be its $k$-fold tensor power. The partition algebra $\\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\\mathsf{End}_{\\mathsf{S}_n}(\\mathsf{M}_n^{\\otimes k})$ for all $k, n \\in \\mathbb{Z}_{\\ge 1}$ and isomorphically when $n \\ge 2k$. We describe the image of the surjection $\\Phi_{k,n}:\\mathsf{P}_k(n) \\to \\mathsf{End}_{\\mathsf{S}_n}(\\mathsf{M}_n^{\\otimes k})$ explicitly in terms of the orbit basis of $\\mathsf{P}_k(n)$ and show that when $2k > n$","authors_text":"Georgia Benkart, Tom Halverson","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2017-07-05T14:17:18Z","title":"Partition algebras $\\mathsf{P}_k(n)$ with $2k>n$ and the fundamental theorems of invariant theory for the symmetric group $\\mathsf{S}_n$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01410","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:0e3a17a081326f337bc9a9482988ad176a3a122e5b538c1e2c8363a8e22dd89d","target":"record","created_at":"2026-05-18T00:04:17Z","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":"a5254072c956d2e3f71edf03998e341433aeef6785253ea0b1ed7c8cb8fdd403","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2017-07-05T14:17:18Z","title_canon_sha256":"f9fc82090def1205dedc7f12d0c7b570ca9aebbbf45361e48d7d3c6d843c5d4e"},"schema_version":"1.0","source":{"id":"1707.01410","kind":"arxiv","version":1}},"canonical_sha256":"e0b8bff4a3b65a753650bbaa8dc1f2a3fec964c6e551e89f3f932ff8cadb9629","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e0b8bff4a3b65a753650bbaa8dc1f2a3fec964c6e551e89f3f932ff8cadb9629","first_computed_at":"2026-05-18T00:04:17.843119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:17.843119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hQyf2t4fmDYXSrHhLsdYbV0Pn5xlwaSP9R9ytnw2NidcMxp39sr+vIVsTGPMUxjvCU9EXyT023KIXKsjk0uIAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:17.843832Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.01410","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e3a17a081326f337bc9a9482988ad176a3a122e5b538c1e2c8363a8e22dd89d","sha256:607579d0dc9fd55fae92b25a6b9f724589606459d40f1d4d43c875916930040c"],"state_sha256":"38e27f81dcc757207c51f1e6aa4d02f7ae0ac27420c80d2d9ea9111abb788987"}