{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:73Z2VAC4B5634ZJWKDDSOB7UZJ","short_pith_number":"pith:73Z2VAC4","canonical_record":{"source":{"id":"math/0504530","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.PR","submitted_at":"2005-04-26T11:28:54Z","cross_cats_sorted":[],"title_canon_sha256":"c4f10ec5bd5ca7e3fe1c81c1307e6f1090330562830898e00ffd561054a62dc0","abstract_canon_sha256":"127daf6266c97c41854c58769c1f8065e9006162a3de8c52cf7f8b334adbead0"},"schema_version":"1.0"},"canonical_sha256":"fef3aa805c0f7dbe653650c72707f4ca756134f1a2df22efb89ad17fa96d0e41","source":{"kind":"arxiv","id":"math/0504530","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0504530","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"arxiv_version","alias_value":"math/0504530v1","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0504530","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"pith_short_12","alias_value":"73Z2VAC4B563","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"73Z2VAC4B5634ZJW","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"73Z2VAC4","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:73Z2VAC4B5634ZJWKDDSOB7UZJ","target":"record","payload":{"canonical_record":{"source":{"id":"math/0504530","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.PR","submitted_at":"2005-04-26T11:28:54Z","cross_cats_sorted":[],"title_canon_sha256":"c4f10ec5bd5ca7e3fe1c81c1307e6f1090330562830898e00ffd561054a62dc0","abstract_canon_sha256":"127daf6266c97c41854c58769c1f8065e9006162a3de8c52cf7f8b334adbead0"},"schema_version":"1.0"},"canonical_sha256":"fef3aa805c0f7dbe653650c72707f4ca756134f1a2df22efb89ad17fa96d0e41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:38:25.036963Z","signature_b64":"DOyZqY2QegifWkSuyOKpDSeDT3RzA93ItyjMC6VdiXowftkLTCiiSA/iMD6V8gWukz9BkRqyectHmOO1XkdUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fef3aa805c0f7dbe653650c72707f4ca756134f1a2df22efb89ad17fa96d0e41","last_reissued_at":"2026-05-18T01:38:25.036225Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:38:25.036225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0504530","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-18T01:38:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y0BpZgXdyuVJbPE6McZJ3X0vK/BUggbfY+VohlR/r1I5nBQGyY81cFlQA9INkge3u9CiN//lPQ6Gl/aXc+EdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:09:36.576084Z"},"content_sha256":"043712afbfb3956edbdd5299ee24252b224496d98b4042b0a3679680f30480f4","schema_version":"1.0","event_id":"sha256:043712afbfb3956edbdd5299ee24252b224496d98b4042b0a3679680f30480f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:73Z2VAC4B5634ZJWKDDSOB7UZJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic domination: the contact process, Ising models and FKG measures","license":"","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"Jeffrey E. Steif, Thomas Liggett","submitted_at":"2005-04-26T11:28:54Z","abstract_excerpt":"We prove for the contact process on $Z^d$, and many other graphs, that the upper invariant measure dominates a homogeneous product measure with large density if the infection rate $\\lambda$ is sufficiently large. As a consequence, this measure percolates if the corresponding product measure percolates. We raise the question of whether domination holds in the symmetric case for all infinite graphs of bounded degree. We study some asymmetric examples which we feel shed some light on this question. We next obtain necessary and sufficient conditions for domination of a product measure for ``downwa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0504530","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-18T01:38:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HexhfNP+Mx19wUmN+iiYUSRn2XU4l6euY84HqlR/Aom+RGaBPPRZmyJ5yZ0NCLjzKwTKhOeQxu+zNvWw4CieBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:09:36.576445Z"},"content_sha256":"b3de2e6f14a2715703bd4ffdb826a268846fed68bfeedaa83136d8976a3d453a","schema_version":"1.0","event_id":"sha256:b3de2e6f14a2715703bd4ffdb826a268846fed68bfeedaa83136d8976a3d453a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/bundle.json","state_url":"https://pith.science/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/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-28T11:09:36Z","links":{"resolver":"https://pith.science/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ","bundle":"https://pith.science/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/bundle.json","state":"https://pith.science/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/73Z2VAC4B5634ZJWKDDSOB7UZJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:73Z2VAC4B5634ZJWKDDSOB7UZJ","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":"127daf6266c97c41854c58769c1f8065e9006162a3de8c52cf7f8b334adbead0","cross_cats_sorted":[],"license":"","primary_cat":"math.PR","submitted_at":"2005-04-26T11:28:54Z","title_canon_sha256":"c4f10ec5bd5ca7e3fe1c81c1307e6f1090330562830898e00ffd561054a62dc0"},"schema_version":"1.0","source":{"id":"math/0504530","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0504530","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"arxiv_version","alias_value":"math/0504530v1","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0504530","created_at":"2026-05-18T01:38:25Z"},{"alias_kind":"pith_short_12","alias_value":"73Z2VAC4B563","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"73Z2VAC4B5634ZJW","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"73Z2VAC4","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:b3de2e6f14a2715703bd4ffdb826a268846fed68bfeedaa83136d8976a3d453a","target":"graph","created_at":"2026-05-18T01:38:25Z","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 prove for the contact process on $Z^d$, and many other graphs, that the upper invariant measure dominates a homogeneous product measure with large density if the infection rate $\\lambda$ is sufficiently large. As a consequence, this measure percolates if the corresponding product measure percolates. We raise the question of whether domination holds in the symmetric case for all infinite graphs of bounded degree. We study some asymmetric examples which we feel shed some light on this question. We next obtain necessary and sufficient conditions for domination of a product measure for ``downwa","authors_text":"Jeffrey E. Steif, Thomas Liggett","cross_cats":[],"headline":"","license":"","primary_cat":"math.PR","submitted_at":"2005-04-26T11:28:54Z","title":"Stochastic domination: the contact process, Ising models and FKG measures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0504530","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:043712afbfb3956edbdd5299ee24252b224496d98b4042b0a3679680f30480f4","target":"record","created_at":"2026-05-18T01:38:25Z","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":"127daf6266c97c41854c58769c1f8065e9006162a3de8c52cf7f8b334adbead0","cross_cats_sorted":[],"license":"","primary_cat":"math.PR","submitted_at":"2005-04-26T11:28:54Z","title_canon_sha256":"c4f10ec5bd5ca7e3fe1c81c1307e6f1090330562830898e00ffd561054a62dc0"},"schema_version":"1.0","source":{"id":"math/0504530","kind":"arxiv","version":1}},"canonical_sha256":"fef3aa805c0f7dbe653650c72707f4ca756134f1a2df22efb89ad17fa96d0e41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fef3aa805c0f7dbe653650c72707f4ca756134f1a2df22efb89ad17fa96d0e41","first_computed_at":"2026-05-18T01:38:25.036225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:38:25.036225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DOyZqY2QegifWkSuyOKpDSeDT3RzA93ItyjMC6VdiXowftkLTCiiSA/iMD6V8gWukz9BkRqyectHmOO1XkdUCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:38:25.036963Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0504530","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:043712afbfb3956edbdd5299ee24252b224496d98b4042b0a3679680f30480f4","sha256:b3de2e6f14a2715703bd4ffdb826a268846fed68bfeedaa83136d8976a3d453a"],"state_sha256":"20a4a98304f90626ca55aed433087859fc9968fecca4ed42a3342e7af204915c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"siiFYXZAaCsUAd5mNPCGXAk5dyI5C90/8AnXRYxUwVSNVHbNRRu4MstJBQ9+w8S50u2wr/+E/fyENNXg/VEPBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T11:09:36.578416Z","bundle_sha256":"9e5ec87e76ad46f3effb11b9c717d6b59e98f37097fa9ddce077c5febd7c6295"}}