{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:C6UDGKKHQ6OOQZNKUD2Y2TNA4L","short_pith_number":"pith:C6UDGKKH","canonical_record":{"source":{"id":"1604.07066","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2016-04-24T18:12:52Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"75d6933540b451d5e64101e6635de9a7536cac66713c7b4496e3c7fe1fb858ae","abstract_canon_sha256":"098100056ef6adb1b5c5f0c561f06c696bb9a240bd7d2509f020d3bf92763f40"},"schema_version":"1.0"},"canonical_sha256":"17a8332947879ce865aaa0f58d4da0e2f314cb33726abc1163880803ecd62a26","source":{"kind":"arxiv","id":"1604.07066","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07066","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07066v2","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07066","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"pith_short_12","alias_value":"C6UDGKKHQ6OO","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"C6UDGKKHQ6OOQZNK","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"C6UDGKKH","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:C6UDGKKHQ6OOQZNKUD2Y2TNA4L","target":"record","payload":{"canonical_record":{"source":{"id":"1604.07066","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2016-04-24T18:12:52Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"75d6933540b451d5e64101e6635de9a7536cac66713c7b4496e3c7fe1fb858ae","abstract_canon_sha256":"098100056ef6adb1b5c5f0c561f06c696bb9a240bd7d2509f020d3bf92763f40"},"schema_version":"1.0"},"canonical_sha256":"17a8332947879ce865aaa0f58d4da0e2f314cb33726abc1163880803ecd62a26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:04.565895Z","signature_b64":"FXAmrPc5lilGhd46CY2NXHrXy8YSZ3BZPw33ONNlnlGpUFY3Zlw1qbWXfGy1uY/CTuwOnuK0H7MvlZVr5zeVAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17a8332947879ce865aaa0f58d4da0e2f314cb33726abc1163880803ecd62a26","last_reissued_at":"2026-05-18T00:57:04.565277Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:04.565277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.07066","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-18T00:57:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zh3lncBodlu8ZLxGp1muCVg2lWaabEmTEkIILfSOrv2d3JK8HEeLNtMhM+ci7RRU5bn8KjYq/EG/JAYsQOhRBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:50:42.136075Z"},"content_sha256":"e2d3364309356adf7644f791aa4c0ce012a1ea323d497323b4dbd247860a23ad","schema_version":"1.0","event_id":"sha256:e2d3364309356adf7644f791aa4c0ce012a1ea323d497323b4dbd247860a23ad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:C6UDGKKHQ6OOQZNKUD2Y2TNA4L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Realizations of abstract regular polytopes from a representation theoretic view","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.MG","authors_text":"Frieder Ladisch","submitted_at":"2016-04-24T18:12:52Z","abstract_excerpt":"Peter McMullen has developed a theory of realizations of abstract regular polytopes, and has shown that the realizations up to congruence form a pointed convex cone which is the direct product of certain irreducible subcones. We show that each of these subcones is isomorphic to a set of positive semi-definite hermitian matrices of dimension $m$ over either the real numbers, the complex numbers or the quaternions. In particular, we correct an erroneous computation of the dimension of these subcones by McMullen and Monson. We show that the automorphism group of an abstract regular polytope can h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07066","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:57:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kYE+v5C+LSZ31eq1a+SyTds49Fo8VqjJWcbaCOuq0JaJpkWvrOK20hlHUMOKicghzU2N8cpLpQfX+mKnq0ZhDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:50:42.136441Z"},"content_sha256":"aeeece018800a400e2f4e03dc0a39de218938aa356039d02c314c8c7bcf6ed5c","schema_version":"1.0","event_id":"sha256:aeeece018800a400e2f4e03dc0a39de218938aa356039d02c314c8c7bcf6ed5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/bundle.json","state_url":"https://pith.science/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/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-02T17:50:42Z","links":{"resolver":"https://pith.science/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L","bundle":"https://pith.science/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/bundle.json","state":"https://pith.science/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C6UDGKKHQ6OOQZNKUD2Y2TNA4L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:C6UDGKKHQ6OOQZNKUD2Y2TNA4L","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":"098100056ef6adb1b5c5f0c561f06c696bb9a240bd7d2509f020d3bf92763f40","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2016-04-24T18:12:52Z","title_canon_sha256":"75d6933540b451d5e64101e6635de9a7536cac66713c7b4496e3c7fe1fb858ae"},"schema_version":"1.0","source":{"id":"1604.07066","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07066","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07066v2","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07066","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"pith_short_12","alias_value":"C6UDGKKHQ6OO","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"C6UDGKKHQ6OOQZNK","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"C6UDGKKH","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:aeeece018800a400e2f4e03dc0a39de218938aa356039d02c314c8c7bcf6ed5c","target":"graph","created_at":"2026-05-18T00:57:04Z","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":"Peter McMullen has developed a theory of realizations of abstract regular polytopes, and has shown that the realizations up to congruence form a pointed convex cone which is the direct product of certain irreducible subcones. We show that each of these subcones is isomorphic to a set of positive semi-definite hermitian matrices of dimension $m$ over either the real numbers, the complex numbers or the quaternions. In particular, we correct an erroneous computation of the dimension of these subcones by McMullen and Monson. We show that the automorphism group of an abstract regular polytope can h","authors_text":"Frieder Ladisch","cross_cats":["math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2016-04-24T18:12:52Z","title":"Realizations of abstract regular polytopes from a representation theoretic view"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07066","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:e2d3364309356adf7644f791aa4c0ce012a1ea323d497323b4dbd247860a23ad","target":"record","created_at":"2026-05-18T00:57:04Z","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":"098100056ef6adb1b5c5f0c561f06c696bb9a240bd7d2509f020d3bf92763f40","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2016-04-24T18:12:52Z","title_canon_sha256":"75d6933540b451d5e64101e6635de9a7536cac66713c7b4496e3c7fe1fb858ae"},"schema_version":"1.0","source":{"id":"1604.07066","kind":"arxiv","version":2}},"canonical_sha256":"17a8332947879ce865aaa0f58d4da0e2f314cb33726abc1163880803ecd62a26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17a8332947879ce865aaa0f58d4da0e2f314cb33726abc1163880803ecd62a26","first_computed_at":"2026-05-18T00:57:04.565277Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:04.565277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FXAmrPc5lilGhd46CY2NXHrXy8YSZ3BZPw33ONNlnlGpUFY3Zlw1qbWXfGy1uY/CTuwOnuK0H7MvlZVr5zeVAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:04.565895Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.07066","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2d3364309356adf7644f791aa4c0ce012a1ea323d497323b4dbd247860a23ad","sha256:aeeece018800a400e2f4e03dc0a39de218938aa356039d02c314c8c7bcf6ed5c"],"state_sha256":"0e8739de43d52d81426f2528cf457a370a86bfe0cfb8a0d5d54f949e10db7bff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UhTgqbqtXtni/Aiv32yMKcM6p9Zk2PAA5IKAngGwu6T2A9JGriiBO64ZqUc/i2/3pMfO7huEq99GvtTfTeTYAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:50:42.138435Z","bundle_sha256":"58e837bd766b664962177bd8e6057bab33b862369f92e331ca953c8bca612d2f"}}