{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SQYZZIEXMXV2HHWCBIZ5SHM4JE","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":"0eb70acc61a7bf04f65fefdcfabecf112bf4f86095c504968bb3813af234b9c7","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2024-10-18T23:15:30Z","title_canon_sha256":"390f2122b6628ee07ed3d0f674710394bb08e0c435530f0d1b7777d9967e25f1"},"schema_version":"1.0","source":{"id":"2410.14905","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.14905","created_at":"2026-07-05T11:55:36Z"},{"alias_kind":"arxiv_version","alias_value":"2410.14905v2","created_at":"2026-07-05T11:55:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.14905","created_at":"2026-07-05T11:55:36Z"},{"alias_kind":"pith_short_12","alias_value":"SQYZZIEXMXV2","created_at":"2026-07-05T11:55:36Z"},{"alias_kind":"pith_short_16","alias_value":"SQYZZIEXMXV2HHWC","created_at":"2026-07-05T11:55:36Z"},{"alias_kind":"pith_short_8","alias_value":"SQYZZIEX","created_at":"2026-07-05T11:55:36Z"}],"graph_snapshots":[{"event_id":"sha256:91ae63f041f94e68ba1bfbc36be99cbf23dcacd5d891f39c109773833eb10e96","target":"graph","created_at":"2026-07-05T11:55:36Z","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/2410.14905/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Cohn-Umans (FOCS '03) group-theoretic framework for matrix multiplication produces fast matrix multiplication algorithms from three subsets of a finite group $G$ satisfying a simple combinatorial condition (the Triple Product Property). The complexity of such an algorithm then depends on the representation theory of $G$. In this paper we extend the group-theoretic framework to the setting of infinite groups. In particular, this allows us to obtain constructions in Lie groups, with favorable parameters, that are provably impossible in finite groups of Lie type (Blasiak, Cohn, Grochow, Pratt","authors_text":"Chris Umans, Henry Cohn, Jonah Blasiak, Joshua A. Grochow, Kevin Pratt","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2024-10-18T23:15:30Z","title":"Finite matrix multiplication algorithms from infinite groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.14905","kind":"arxiv","version":2},"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:1f0f918e0e1456db9f8185e3689c0cfd4f14a80e36c112965eb9f6477507f3bc","target":"record","created_at":"2026-07-05T11:55:36Z","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":"0eb70acc61a7bf04f65fefdcfabecf112bf4f86095c504968bb3813af234b9c7","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2024-10-18T23:15:30Z","title_canon_sha256":"390f2122b6628ee07ed3d0f674710394bb08e0c435530f0d1b7777d9967e25f1"},"schema_version":"1.0","source":{"id":"2410.14905","kind":"arxiv","version":2}},"canonical_sha256":"94319ca09765eba39ec20a33d91d9c4932921b78cf8d4ed156ad90ecfe0a8071","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94319ca09765eba39ec20a33d91d9c4932921b78cf8d4ed156ad90ecfe0a8071","first_computed_at":"2026-07-05T11:55:36.615633Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:36.615633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aAO2U5KSIuz8gHNKHcK4fb4qc/QZKWoaut6k6f+IV/xvuY4sr98DWVndMvtyIPERp19Pq+0CeJq6GaspufELCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:36.616118Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.14905","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1f0f918e0e1456db9f8185e3689c0cfd4f14a80e36c112965eb9f6477507f3bc","sha256:91ae63f041f94e68ba1bfbc36be99cbf23dcacd5d891f39c109773833eb10e96"],"state_sha256":"a69365ec313755f62cd47cf11ae4dd91b12bd2266bd3de4188d18dcf9eae540a"}