{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PKAR6THWY47HVT53JQXWQ7JIUM","short_pith_number":"pith:PKAR6THW","canonical_record":{"source":{"id":"1812.05989","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-12-14T15:44:13Z","cross_cats_sorted":[],"title_canon_sha256":"cbb76baa9b57370f85ca99dd5e68c5c40aa4682b7e1e8bc18414660c9807c3f5","abstract_canon_sha256":"9a03352390082d34f490ae0c82b4d18b9bd793d143789809f93a0a0a5395c1f7"},"schema_version":"1.0"},"canonical_sha256":"7a811f4cf6c73e7acfbb4c2f687d28a30555c78a7411790742a3023198dac582","source":{"kind":"arxiv","id":"1812.05989","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05989","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05989v1","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05989","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"pith_short_12","alias_value":"PKAR6THWY47H","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PKAR6THWY47HVT53","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PKAR6THW","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PKAR6THWY47HVT53JQXWQ7JIUM","target":"record","payload":{"canonical_record":{"source":{"id":"1812.05989","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-12-14T15:44:13Z","cross_cats_sorted":[],"title_canon_sha256":"cbb76baa9b57370f85ca99dd5e68c5c40aa4682b7e1e8bc18414660c9807c3f5","abstract_canon_sha256":"9a03352390082d34f490ae0c82b4d18b9bd793d143789809f93a0a0a5395c1f7"},"schema_version":"1.0"},"canonical_sha256":"7a811f4cf6c73e7acfbb4c2f687d28a30555c78a7411790742a3023198dac582","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:15.832251Z","signature_b64":"ih7f0+gH2BIjVvoGuE69pqaHMwOVMGkFI455hVpvScJ89g+fyWaFnINeVebWUhB2ZidrtjvTV+hLzETKV3kLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a811f4cf6c73e7acfbb4c2f687d28a30555c78a7411790742a3023198dac582","last_reissued_at":"2026-05-17T23:58:15.831814Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:15.831814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.05989","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-17T23:58:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c0j9rGiAHC6kqQER9wrpiOhFPzvzAOytJmzZ4PjHTGT32EV8py2P7k/pWLmo8LLusKAHC/HvakJGxbkSrH08Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T19:39:14.665593Z"},"content_sha256":"6dceedce57a8944d2a947055287a153ad9b21b052a5c80942dd6072fcf64dba2","schema_version":"1.0","event_id":"sha256:6dceedce57a8944d2a947055287a153ad9b21b052a5c80942dd6072fcf64dba2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PKAR6THWY47HVT53JQXWQ7JIUM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On subsets of the hypercube with prescribed Hamming distances","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Cosmin Pohoata, Hao Huang, Oleksiy Klurman","submitted_at":"2018-12-14T15:44:13Z","abstract_excerpt":"A celebrated theorem of Kleitman in extremal combinatorics states that a collection of binary vectors in $\\{0, 1\\}^n$ with diameter $d$ has cardinality at most that of a Hamming ball of radius $d/2$. In this paper, we give an algebraic proof of Kleitman's Theorem, by carefully choosing a pseudo-adjacency matrix for certain Hamming graphs, and applying the Cvetkovi\\'c bound on independence numbers. This method also allows us to prove several extensions and generalizations of Kleitman's Theorem to other allowed distance sets, in particular blocks of consecutive integers that do not necessarily g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05989","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-17T23:58:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"La2Esmv9HtWWNuGHRsX93Vj14jjUYFi/277oOa0XUeropohl2hlQoX7OxLfjV8LDcYRZgayKi0SKv27EKv1tCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T19:39:14.665967Z"},"content_sha256":"851b00c88783056ec4c99013455017868f76b4e204cd4b5b5c30df2122d4ff63","schema_version":"1.0","event_id":"sha256:851b00c88783056ec4c99013455017868f76b4e204cd4b5b5c30df2122d4ff63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKAR6THWY47HVT53JQXWQ7JIUM/bundle.json","state_url":"https://pith.science/pith/PKAR6THWY47HVT53JQXWQ7JIUM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKAR6THWY47HVT53JQXWQ7JIUM/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-05-22T19:39:14Z","links":{"resolver":"https://pith.science/pith/PKAR6THWY47HVT53JQXWQ7JIUM","bundle":"https://pith.science/pith/PKAR6THWY47HVT53JQXWQ7JIUM/bundle.json","state":"https://pith.science/pith/PKAR6THWY47HVT53JQXWQ7JIUM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKAR6THWY47HVT53JQXWQ7JIUM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PKAR6THWY47HVT53JQXWQ7JIUM","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":"9a03352390082d34f490ae0c82b4d18b9bd793d143789809f93a0a0a5395c1f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-12-14T15:44:13Z","title_canon_sha256":"cbb76baa9b57370f85ca99dd5e68c5c40aa4682b7e1e8bc18414660c9807c3f5"},"schema_version":"1.0","source":{"id":"1812.05989","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05989","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05989v1","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05989","created_at":"2026-05-17T23:58:15Z"},{"alias_kind":"pith_short_12","alias_value":"PKAR6THWY47H","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PKAR6THWY47HVT53","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PKAR6THW","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:851b00c88783056ec4c99013455017868f76b4e204cd4b5b5c30df2122d4ff63","target":"graph","created_at":"2026-05-17T23:58:15Z","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":"A celebrated theorem of Kleitman in extremal combinatorics states that a collection of binary vectors in $\\{0, 1\\}^n$ with diameter $d$ has cardinality at most that of a Hamming ball of radius $d/2$. In this paper, we give an algebraic proof of Kleitman's Theorem, by carefully choosing a pseudo-adjacency matrix for certain Hamming graphs, and applying the Cvetkovi\\'c bound on independence numbers. This method also allows us to prove several extensions and generalizations of Kleitman's Theorem to other allowed distance sets, in particular blocks of consecutive integers that do not necessarily g","authors_text":"Cosmin Pohoata, Hao Huang, Oleksiy Klurman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-12-14T15:44:13Z","title":"On subsets of the hypercube with prescribed Hamming distances"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05989","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:6dceedce57a8944d2a947055287a153ad9b21b052a5c80942dd6072fcf64dba2","target":"record","created_at":"2026-05-17T23:58:15Z","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":"9a03352390082d34f490ae0c82b4d18b9bd793d143789809f93a0a0a5395c1f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-12-14T15:44:13Z","title_canon_sha256":"cbb76baa9b57370f85ca99dd5e68c5c40aa4682b7e1e8bc18414660c9807c3f5"},"schema_version":"1.0","source":{"id":"1812.05989","kind":"arxiv","version":1}},"canonical_sha256":"7a811f4cf6c73e7acfbb4c2f687d28a30555c78a7411790742a3023198dac582","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a811f4cf6c73e7acfbb4c2f687d28a30555c78a7411790742a3023198dac582","first_computed_at":"2026-05-17T23:58:15.831814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:15.831814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ih7f0+gH2BIjVvoGuE69pqaHMwOVMGkFI455hVpvScJ89g+fyWaFnINeVebWUhB2ZidrtjvTV+hLzETKV3kLDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:15.832251Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.05989","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6dceedce57a8944d2a947055287a153ad9b21b052a5c80942dd6072fcf64dba2","sha256:851b00c88783056ec4c99013455017868f76b4e204cd4b5b5c30df2122d4ff63"],"state_sha256":"4b997c7371865208b6bca29a06d08e97a830165b00473bc14d32532629ecbe71"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EEoxCQQbXVmRUn43NIf/mcn8IS7FJTbpxlrL5LcXLHNv1d+UD+GcNNkSWRMigMlBCX8Y1/71JGubEaKZGdrQBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T19:39:14.667861Z","bundle_sha256":"789fc243396d6859a1e2813b2776ed3ce6f63dd498d24635236f6ecab7a1f463"}}