{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ZDTMVH7WJB4GON36DG4YQTXK3M","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":"9f2a51738fd27eb17070ac8a90978f0805fbde9060f60672b140e0b01a388814","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-03-16T11:03:44Z","title_canon_sha256":"643c4cdba072cc220898ef1eae8d5e2757cafddebc88a3ac05a506522e6fabe3"},"schema_version":"1.0","source":{"id":"1203.3665","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.3665","created_at":"2026-05-18T03:59:50Z"},{"alias_kind":"arxiv_version","alias_value":"1203.3665v1","created_at":"2026-05-18T03:59:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.3665","created_at":"2026-05-18T03:59:50Z"},{"alias_kind":"pith_short_12","alias_value":"ZDTMVH7WJB4G","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"ZDTMVH7WJB4GON36","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"ZDTMVH7W","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:ea8be8884dd2a9965c787eba32075b207a238e218ae1c80166536f93eade8b81","target":"graph","created_at":"2026-05-18T03:59:50Z","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":"Recently, van den Berg and Jonasson gave the first substantial extension of the BK inequality for non-product measures: they proved that, for k-out-of-n measures, the probability that two increasing events occur disjointly is at most the product of the two individual probabilities.\n  We show several other extensions and modifications of the BK inequality.In particular, we prove that the antiferromagnetic Ising Curie-Weiss model satisfies the BK inequality for all increasing events. We prove that this also holds for the Curie-Weiss model with three-body interactions under the so-called Negative","authors_text":"A. Gandolfi, J. van den Berg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-03-16T11:03:44Z","title":"BK-type inequalities and generalized random-cluster representations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.3665","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:de835db9a04a8f54ff18412598e7912e28683032850347044ce93fc50635b852","target":"record","created_at":"2026-05-18T03:59:50Z","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":"9f2a51738fd27eb17070ac8a90978f0805fbde9060f60672b140e0b01a388814","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-03-16T11:03:44Z","title_canon_sha256":"643c4cdba072cc220898ef1eae8d5e2757cafddebc88a3ac05a506522e6fabe3"},"schema_version":"1.0","source":{"id":"1203.3665","kind":"arxiv","version":1}},"canonical_sha256":"c8e6ca9ff6487867377e19b9884eeadb3a03efb17d5a3292439f46caf5397123","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8e6ca9ff6487867377e19b9884eeadb3a03efb17d5a3292439f46caf5397123","first_computed_at":"2026-05-18T03:59:50.241283Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:59:50.241283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JSgJlVEyfwgdK2+00HkedG9XMzkhT2sI93nR/Et0YeC3v9GnGj8jSE2aIBVwjLkYW1otHpQ0v3o4+8+nn7E/DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:59:50.241981Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.3665","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de835db9a04a8f54ff18412598e7912e28683032850347044ce93fc50635b852","sha256:ea8be8884dd2a9965c787eba32075b207a238e218ae1c80166536f93eade8b81"],"state_sha256":"1e8a12a025bd81c3064aea894a2bbddebf661828f1ad4cd780168f78695bca9d"}