{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:Z52LRDPV2S5Z6CISOYX7JUHM53","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":"cd0fe9ce7e7c31c3806eb3d241f1968d42099ee89a4583dd79d39c0869e7e0cc","cross_cats_sorted":["math-ph","math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2015-06-03T18:37:47Z","title_canon_sha256":"2f792528d9325453d21386d158fcc605b87eca1bad2990eee82b1ed916792ee2"},"schema_version":"1.0","source":{"id":"1506.02700","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.02700","created_at":"2026-05-18T01:25:55Z"},{"alias_kind":"arxiv_version","alias_value":"1506.02700v2","created_at":"2026-05-18T01:25:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.02700","created_at":"2026-05-18T01:25:55Z"},{"alias_kind":"pith_short_12","alias_value":"Z52LRDPV2S5Z","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"Z52LRDPV2S5Z6CIS","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"Z52LRDPV","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:91eb7a97cbdfc6a42f84816903be6065d922ece0f2c23984adb4cba9688e0ff0","target":"graph","created_at":"2026-05-18T01:25:55Z","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":"We study a birthday inequality in random geometric graphs: the probability of the empty graph is upper bounded by the product of the probabilities that each edge is absent. We show the birthday inequality holds at low densities, but does not hold in general. We give three different applications of the birthday inequality in statistical physics and combinatorics: we prove lower bounds on the free energy of the hard sphere model and upper bounds on the number of independent sets and matchings of a given size in d-regular graphs.\n  The birthday inequality is implied by a repulsion inequality: the","authors_text":"Will Perkins","cross_cats":["math-ph","math.CO","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2015-06-03T18:37:47Z","title":"Birthday Inequalities, Repulsion, and Hard Spheres"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.02700","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:6917b108fe813ad1f24cf59b30887bbb183f12b39059dfb3c1f9c3283bb397ad","target":"record","created_at":"2026-05-18T01:25:55Z","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":"cd0fe9ce7e7c31c3806eb3d241f1968d42099ee89a4583dd79d39c0869e7e0cc","cross_cats_sorted":["math-ph","math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2015-06-03T18:37:47Z","title_canon_sha256":"2f792528d9325453d21386d158fcc605b87eca1bad2990eee82b1ed916792ee2"},"schema_version":"1.0","source":{"id":"1506.02700","kind":"arxiv","version":2}},"canonical_sha256":"cf74b88df5d4bb9f0912762ff4d0eceeed7c9a97b865381ed97c0daa75e09675","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf74b88df5d4bb9f0912762ff4d0eceeed7c9a97b865381ed97c0daa75e09675","first_computed_at":"2026-05-18T01:25:55.239866Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:55.239866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rXt7YxLRYh9vbQxKNY4iI4u3iTOzqQ2a3znXNP0JkU4rrZLd5UGOzpm51QeAA6WBU89j/xNX1GQQQdyi0Aj6Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:55.240424Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.02700","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6917b108fe813ad1f24cf59b30887bbb183f12b39059dfb3c1f9c3283bb397ad","sha256:91eb7a97cbdfc6a42f84816903be6065d922ece0f2c23984adb4cba9688e0ff0"],"state_sha256":"5ee9bb337ea1cd82acecc34e33af16a5b280085ccd1b91cfe8a107760c35123e"}