{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:2HRQSGEESQZXHHAF5662MR4H5H","short_pith_number":"pith:2HRQSGEE","canonical_record":{"source":{"id":"1406.5205","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2014-06-19T20:26:16Z","cross_cats_sorted":[],"title_canon_sha256":"7694bd11177785bb225cfa5320ed4895b3741b34a3e75a4d97b126de136b81e9","abstract_canon_sha256":"c4870550d0d69d5970afb345132f9859a4c6046dbb4c6c8feb5fdabe26dd43c0"},"schema_version":"1.0"},"canonical_sha256":"d1e30918849433739c05efbda64787e9dc265724e493fc1521fb757c8def2cc7","source":{"kind":"arxiv","id":"1406.5205","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.5205","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"arxiv_version","alias_value":"1406.5205v1","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.5205","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"pith_short_12","alias_value":"2HRQSGEESQZX","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2HRQSGEESQZXHHAF","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2HRQSGEE","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:2HRQSGEESQZXHHAF5662MR4H5H","target":"record","payload":{"canonical_record":{"source":{"id":"1406.5205","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2014-06-19T20:26:16Z","cross_cats_sorted":[],"title_canon_sha256":"7694bd11177785bb225cfa5320ed4895b3741b34a3e75a4d97b126de136b81e9","abstract_canon_sha256":"c4870550d0d69d5970afb345132f9859a4c6046dbb4c6c8feb5fdabe26dd43c0"},"schema_version":"1.0"},"canonical_sha256":"d1e30918849433739c05efbda64787e9dc265724e493fc1521fb757c8def2cc7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:19.698226Z","signature_b64":"InhSSxb/3Hh+lWc/z2iZBTIjTFwvhiVNXKOs60dHuRk+LDeoknYmY/oQYF5RwK7S8MM+Ca/W5c3N8Gw3JiszDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1e30918849433739c05efbda64787e9dc265724e493fc1521fb757c8def2cc7","last_reissued_at":"2026-05-18T02:49:19.697517Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:19.697517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.5205","source_version":1,"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-18T02:49:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lo7mjWN7WTKSkicloqDaRlFePXzc8yq5OOHoJWp9VBvmPKoKkvHVt3kIMtQ26lXh/9I2j7/yjdm3f9nlqw4EAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T08:23:11.018411Z"},"content_sha256":"eb42c0ae1e169cc34174d99b6f3a94c89b5680107ed588bcfc5c71e341df74be","schema_version":"1.0","event_id":"sha256:eb42c0ae1e169cc34174d99b6f3a94c89b5680107ed588bcfc5c71e341df74be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:2HRQSGEESQZXHHAF5662MR4H5H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Recursive projections of symmetric tensors and Marcus's proof of the Schur inequality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RT","authors_text":"S. Gill Williamson","submitted_at":"2014-06-19T20:26:16Z","abstract_excerpt":"In a 1918 paper Schur proved a remarkable inequality that related group representations, Hermitian forms and determinants. He also gave concise necessary and sufficient conditions for equality. In 1964, Marcus gave a beautiful short proof of Schur's inequality by applying the Cauchy-Schwarz inequality to symmetric tensors, but he did not discuss the case of equality. In 1969, Williamson gave an inductive proof of Schur's equality conditions by contracting Marcus's symmetric tensors onto lower dimensional subspaces where they remained symmetric tensors. Here we unify these results notationally "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.5205","kind":"arxiv","version":1},"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-18T02:49:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mrxa2vRb4bWirRcyJkx5RAA51Gyo6OmM9CCzs6hdRRtHeCTGynNdIoWyeVT3e9EzH6GF1HLzKtpKIlGVKhIiBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T08:23:11.018756Z"},"content_sha256":"c546508e2f5118f7265a409a6a74e2f017ef2d895fc16a9277dff705443be54d","schema_version":"1.0","event_id":"sha256:c546508e2f5118f7265a409a6a74e2f017ef2d895fc16a9277dff705443be54d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2HRQSGEESQZXHHAF5662MR4H5H/bundle.json","state_url":"https://pith.science/pith/2HRQSGEESQZXHHAF5662MR4H5H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2HRQSGEESQZXHHAF5662MR4H5H/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-26T08:23:11Z","links":{"resolver":"https://pith.science/pith/2HRQSGEESQZXHHAF5662MR4H5H","bundle":"https://pith.science/pith/2HRQSGEESQZXHHAF5662MR4H5H/bundle.json","state":"https://pith.science/pith/2HRQSGEESQZXHHAF5662MR4H5H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2HRQSGEESQZXHHAF5662MR4H5H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:2HRQSGEESQZXHHAF5662MR4H5H","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":"c4870550d0d69d5970afb345132f9859a4c6046dbb4c6c8feb5fdabe26dd43c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2014-06-19T20:26:16Z","title_canon_sha256":"7694bd11177785bb225cfa5320ed4895b3741b34a3e75a4d97b126de136b81e9"},"schema_version":"1.0","source":{"id":"1406.5205","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.5205","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"arxiv_version","alias_value":"1406.5205v1","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.5205","created_at":"2026-05-18T02:49:19Z"},{"alias_kind":"pith_short_12","alias_value":"2HRQSGEESQZX","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2HRQSGEESQZXHHAF","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2HRQSGEE","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:c546508e2f5118f7265a409a6a74e2f017ef2d895fc16a9277dff705443be54d","target":"graph","created_at":"2026-05-18T02:49:19Z","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":"In a 1918 paper Schur proved a remarkable inequality that related group representations, Hermitian forms and determinants. He also gave concise necessary and sufficient conditions for equality. In 1964, Marcus gave a beautiful short proof of Schur's inequality by applying the Cauchy-Schwarz inequality to symmetric tensors, but he did not discuss the case of equality. In 1969, Williamson gave an inductive proof of Schur's equality conditions by contracting Marcus's symmetric tensors onto lower dimensional subspaces where they remained symmetric tensors. Here we unify these results notationally ","authors_text":"S. Gill Williamson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2014-06-19T20:26:16Z","title":"Recursive projections of symmetric tensors and Marcus's proof of the Schur inequality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.5205","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:eb42c0ae1e169cc34174d99b6f3a94c89b5680107ed588bcfc5c71e341df74be","target":"record","created_at":"2026-05-18T02:49:19Z","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":"c4870550d0d69d5970afb345132f9859a4c6046dbb4c6c8feb5fdabe26dd43c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2014-06-19T20:26:16Z","title_canon_sha256":"7694bd11177785bb225cfa5320ed4895b3741b34a3e75a4d97b126de136b81e9"},"schema_version":"1.0","source":{"id":"1406.5205","kind":"arxiv","version":1}},"canonical_sha256":"d1e30918849433739c05efbda64787e9dc265724e493fc1521fb757c8def2cc7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1e30918849433739c05efbda64787e9dc265724e493fc1521fb757c8def2cc7","first_computed_at":"2026-05-18T02:49:19.697517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:19.697517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"InhSSxb/3Hh+lWc/z2iZBTIjTFwvhiVNXKOs60dHuRk+LDeoknYmY/oQYF5RwK7S8MM+Ca/W5c3N8Gw3JiszDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:19.698226Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.5205","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eb42c0ae1e169cc34174d99b6f3a94c89b5680107ed588bcfc5c71e341df74be","sha256:c546508e2f5118f7265a409a6a74e2f017ef2d895fc16a9277dff705443be54d"],"state_sha256":"8a9b32aa60720e5d6fcd4132c3fa548f946229449dc88f488dd9ef8859dd4ff0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yh1X2M/BMIjpirpoRf2LdgTR8PTjes6nmuzrrvQnWRXV+HLVfJVbjZeS8ZqXrS6Eytmt8Hj5cFI7wRNUgcy3Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T08:23:11.020701Z","bundle_sha256":"bb792593f213f22ed4af3015f35c1cfe6a85411b6ee1b7303dd261bba7820062"}}