{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:PEX2F72CG27AGNDB7O35QEVE6Q","short_pith_number":"pith:PEX2F72C","canonical_record":{"source":{"id":"1212.5966","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2012-12-24T21:15:34Z","cross_cats_sorted":[],"title_canon_sha256":"7e5a1a2e18bf9d893e57974eb20c056d0ad168b0c605ee3d737e0e0f11f3671c","abstract_canon_sha256":"4a330f67039503e78b95fc5cef249b8a7533e86ae4f136a01ba32d1cdb6f8e9d"},"schema_version":"1.0"},"canonical_sha256":"792fa2ff4236be033461fbb7d812a4f41b83f0b81df2e6bacdf000bbbc68952e","source":{"kind":"arxiv","id":"1212.5966","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.5966","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"arxiv_version","alias_value":"1212.5966v2","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.5966","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"pith_short_12","alias_value":"PEX2F72CG27A","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PEX2F72CG27AGNDB","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PEX2F72C","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:PEX2F72CG27AGNDB7O35QEVE6Q","target":"record","payload":{"canonical_record":{"source":{"id":"1212.5966","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2012-12-24T21:15:34Z","cross_cats_sorted":[],"title_canon_sha256":"7e5a1a2e18bf9d893e57974eb20c056d0ad168b0c605ee3d737e0e0f11f3671c","abstract_canon_sha256":"4a330f67039503e78b95fc5cef249b8a7533e86ae4f136a01ba32d1cdb6f8e9d"},"schema_version":"1.0"},"canonical_sha256":"792fa2ff4236be033461fbb7d812a4f41b83f0b81df2e6bacdf000bbbc68952e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:32.510538Z","signature_b64":"bodroI/UpFc6edPlS4RzMjnr0p87DAh95bBugBIRBAAtpe7+QcDSp/htHCKDv2yRn0CPdwmDgJGDWIFGZO9ADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"792fa2ff4236be033461fbb7d812a4f41b83f0b81df2e6bacdf000bbbc68952e","last_reissued_at":"2026-05-18T02:29:32.509975Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:32.509975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.5966","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-18T02:29:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RmiHn6ZXnn1T08njWJsCF2eqwwwm+rXxDuEAegqDlQ84ROHoMv/wEjwtRUYtPGCqUMy9ynwXK1TXgb0m5Hm1BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T02:51:55.662598Z"},"content_sha256":"8162d765f5b15ae03ad4c10bae272371d406f7216d60a326664a9273fb9f6c07","schema_version":"1.0","event_id":"sha256:8162d765f5b15ae03ad4c10bae272371d406f7216d60a326664a9273fb9f6c07"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:PEX2F72CG27AGNDB7O35QEVE6Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sphere packing bounds via spherical codes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.MG","authors_text":"Henry Cohn, Yufei Zhao","submitted_at":"2012-12-24T21:15:34Z","abstract_excerpt":"The sphere packing problem asks for the greatest density of a packing of congruent balls in Euclidean space. The current best upper bound in all sufficiently high dimensions is due to Kabatiansky and Levenshtein in 1978. We revisit their argument and improve their bound by a constant factor using a simple geometric argument, and we extend the argument to packings in hyperbolic space, for which it gives an exponential improvement over the previously known bounds. Additionally, we show that the Cohn-Elkies linear programming bound is always at least as strong as the Kabatiansky-Levenshtein bound"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.5966","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-18T02:29:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jwsjuCTC7c4HowsoF5ybs3odUsoOtHOPrUQNyxxy6dYlkca/Fvb2n+aKIe4ik/Qiu8R3uUafGIURNFdnaip6DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T02:51:55.663175Z"},"content_sha256":"49cdc66c763b0b5a21e6d37db146a9629d8b6c7e47764eb13e559677720cf1aa","schema_version":"1.0","event_id":"sha256:49cdc66c763b0b5a21e6d37db146a9629d8b6c7e47764eb13e559677720cf1aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PEX2F72CG27AGNDB7O35QEVE6Q/bundle.json","state_url":"https://pith.science/pith/PEX2F72CG27AGNDB7O35QEVE6Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PEX2F72CG27AGNDB7O35QEVE6Q/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-12T02:51:55Z","links":{"resolver":"https://pith.science/pith/PEX2F72CG27AGNDB7O35QEVE6Q","bundle":"https://pith.science/pith/PEX2F72CG27AGNDB7O35QEVE6Q/bundle.json","state":"https://pith.science/pith/PEX2F72CG27AGNDB7O35QEVE6Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PEX2F72CG27AGNDB7O35QEVE6Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:PEX2F72CG27AGNDB7O35QEVE6Q","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":"4a330f67039503e78b95fc5cef249b8a7533e86ae4f136a01ba32d1cdb6f8e9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2012-12-24T21:15:34Z","title_canon_sha256":"7e5a1a2e18bf9d893e57974eb20c056d0ad168b0c605ee3d737e0e0f11f3671c"},"schema_version":"1.0","source":{"id":"1212.5966","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.5966","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"arxiv_version","alias_value":"1212.5966v2","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.5966","created_at":"2026-05-18T02:29:32Z"},{"alias_kind":"pith_short_12","alias_value":"PEX2F72CG27A","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PEX2F72CG27AGNDB","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PEX2F72C","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:49cdc66c763b0b5a21e6d37db146a9629d8b6c7e47764eb13e559677720cf1aa","target":"graph","created_at":"2026-05-18T02:29:32Z","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":"The sphere packing problem asks for the greatest density of a packing of congruent balls in Euclidean space. The current best upper bound in all sufficiently high dimensions is due to Kabatiansky and Levenshtein in 1978. We revisit their argument and improve their bound by a constant factor using a simple geometric argument, and we extend the argument to packings in hyperbolic space, for which it gives an exponential improvement over the previously known bounds. Additionally, we show that the Cohn-Elkies linear programming bound is always at least as strong as the Kabatiansky-Levenshtein bound","authors_text":"Henry Cohn, Yufei Zhao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2012-12-24T21:15:34Z","title":"Sphere packing bounds via spherical codes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.5966","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:8162d765f5b15ae03ad4c10bae272371d406f7216d60a326664a9273fb9f6c07","target":"record","created_at":"2026-05-18T02:29:32Z","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":"4a330f67039503e78b95fc5cef249b8a7533e86ae4f136a01ba32d1cdb6f8e9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2012-12-24T21:15:34Z","title_canon_sha256":"7e5a1a2e18bf9d893e57974eb20c056d0ad168b0c605ee3d737e0e0f11f3671c"},"schema_version":"1.0","source":{"id":"1212.5966","kind":"arxiv","version":2}},"canonical_sha256":"792fa2ff4236be033461fbb7d812a4f41b83f0b81df2e6bacdf000bbbc68952e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"792fa2ff4236be033461fbb7d812a4f41b83f0b81df2e6bacdf000bbbc68952e","first_computed_at":"2026-05-18T02:29:32.509975Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:32.509975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bodroI/UpFc6edPlS4RzMjnr0p87DAh95bBugBIRBAAtpe7+QcDSp/htHCKDv2yRn0CPdwmDgJGDWIFGZO9ADg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:32.510538Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.5966","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8162d765f5b15ae03ad4c10bae272371d406f7216d60a326664a9273fb9f6c07","sha256:49cdc66c763b0b5a21e6d37db146a9629d8b6c7e47764eb13e559677720cf1aa"],"state_sha256":"d74df132149fb591d7156e0c80b58d987a5914ffb9a190bccf2309c90fc3218d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ei4pEfTk1ek3zWGdWPRcQvMv/M24k3xjh1Y11TRhNHD4VoRrEvu80KwYD34FxyE0ID/+Z8TsGxvM8AeLgLUBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T02:51:55.666599Z","bundle_sha256":"23c688cdae7c26e3a45272cf7e2170abb3c9f03fa58d16aab01ffdfa32bfa105"}}