{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:MX5WSPY3ZO5NQBANBZ7A4RJCJ6","short_pith_number":"pith:MX5WSPY3","canonical_record":{"source":{"id":"1011.1273","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-11-04T21:30:56Z","cross_cats_sorted":["cond-mat.dis-nn","cond-mat.stat-mech"],"title_canon_sha256":"f19c272d439899066e8d45c6bca72350a2c2c24f314ef6e89e770b1f5b390e61","abstract_canon_sha256":"b92dc01b2f9833477a3ec26abdf36390e7a3f388d9e451db611fa6c3f811b6d0"},"schema_version":"1.0"},"canonical_sha256":"65fb693f1bcbbad8040d0e7e0e45224fa3a4b46985a31a83f63961c42e4aeeb5","source":{"kind":"arxiv","id":"1011.1273","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.1273","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1011.1273v1","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.1273","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"MX5WSPY3ZO5N","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"MX5WSPY3ZO5NQBAN","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"MX5WSPY3","created_at":"2026-05-18T12:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:MX5WSPY3ZO5NQBANBZ7A4RJCJ6","target":"record","payload":{"canonical_record":{"source":{"id":"1011.1273","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-11-04T21:30:56Z","cross_cats_sorted":["cond-mat.dis-nn","cond-mat.stat-mech"],"title_canon_sha256":"f19c272d439899066e8d45c6bca72350a2c2c24f314ef6e89e770b1f5b390e61","abstract_canon_sha256":"b92dc01b2f9833477a3ec26abdf36390e7a3f388d9e451db611fa6c3f811b6d0"},"schema_version":"1.0"},"canonical_sha256":"65fb693f1bcbbad8040d0e7e0e45224fa3a4b46985a31a83f63961c42e4aeeb5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:20:50.223447Z","signature_b64":"wl/Suo0s1b+NowIUjRkBBCGjrEdwkIGquFvmJJ8zIz8VNMeq0GYkqkdabd39K+3RX0NARAE/aJ45IC0vG61LCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65fb693f1bcbbad8040d0e7e0e45224fa3a4b46985a31a83f63961c42e4aeeb5","last_reissued_at":"2026-05-18T02:20:50.222673Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:20:50.222673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.1273","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-18T02:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q7GT/9eMX4l+0sF/z7usCw7B8u+cnkJ/cQdGLz14ZBPOMBO5ivarg1WpvYorHbf/Ez5+xKjqGHoEShajNRaSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T01:20:24.902879Z"},"content_sha256":"0de76e6406bc28731315fa8b50843f6680cfcdbd5445e9c53f5731270edff59f","schema_version":"1.0","event_id":"sha256:0de76e6406bc28731315fa8b50843f6680cfcdbd5445e9c53f5731270edff59f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:MX5WSPY3ZO5NQBANBZ7A4RJCJ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adversarial Satisfiability Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.dis-nn","cond-mat.stat-mech"],"primary_cat":"cs.CC","authors_text":"Lenka Zdeborov\\'a, Michele Castellana","submitted_at":"2010-11-04T21:30:56Z","abstract_excerpt":"We study the adversarial satisfiability problem, where the adversary can choose whether variables are negated in clauses or not in order to make the resulting formula unsatisfiable. This is one case of a general class of adversarial optimization problems that often arise in practice and are algorithmically much harder than the standard optimization problems. We use the cavity method to compute large deviations of the entropy in the random satisfiability problem with respect to the negation-configurations. We conclude that in the thermodynamic limit the best strategy the adversary can adopt is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.1273","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-18T02:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2dDU6dcJzuF06S9N8N4Uni7tfE02sNNvpeML88D57bnjwxYTW+8aprv+/KOxkqA3ssOIU8Pb/rRMr8xxGD4yAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T01:20:24.903236Z"},"content_sha256":"d55b2e425c096a9cf5c8d2a6e75ed40174e4ef0396e86cafde3fa60493bed857","schema_version":"1.0","event_id":"sha256:d55b2e425c096a9cf5c8d2a6e75ed40174e4ef0396e86cafde3fa60493bed857"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/bundle.json","state_url":"https://pith.science/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/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-28T01:20:24Z","links":{"resolver":"https://pith.science/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6","bundle":"https://pith.science/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/bundle.json","state":"https://pith.science/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MX5WSPY3ZO5NQBANBZ7A4RJCJ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:MX5WSPY3ZO5NQBANBZ7A4RJCJ6","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":"b92dc01b2f9833477a3ec26abdf36390e7a3f388d9e451db611fa6c3f811b6d0","cross_cats_sorted":["cond-mat.dis-nn","cond-mat.stat-mech"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-11-04T21:30:56Z","title_canon_sha256":"f19c272d439899066e8d45c6bca72350a2c2c24f314ef6e89e770b1f5b390e61"},"schema_version":"1.0","source":{"id":"1011.1273","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.1273","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1011.1273v1","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.1273","created_at":"2026-05-18T02:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"MX5WSPY3ZO5N","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"MX5WSPY3ZO5NQBAN","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"MX5WSPY3","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:d55b2e425c096a9cf5c8d2a6e75ed40174e4ef0396e86cafde3fa60493bed857","target":"graph","created_at":"2026-05-18T02:20: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":"We study the adversarial satisfiability problem, where the adversary can choose whether variables are negated in clauses or not in order to make the resulting formula unsatisfiable. This is one case of a general class of adversarial optimization problems that often arise in practice and are algorithmically much harder than the standard optimization problems. We use the cavity method to compute large deviations of the entropy in the random satisfiability problem with respect to the negation-configurations. We conclude that in the thermodynamic limit the best strategy the adversary can adopt is ","authors_text":"Lenka Zdeborov\\'a, Michele Castellana","cross_cats":["cond-mat.dis-nn","cond-mat.stat-mech"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-11-04T21:30:56Z","title":"Adversarial Satisfiability Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.1273","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:0de76e6406bc28731315fa8b50843f6680cfcdbd5445e9c53f5731270edff59f","target":"record","created_at":"2026-05-18T02:20: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":"b92dc01b2f9833477a3ec26abdf36390e7a3f388d9e451db611fa6c3f811b6d0","cross_cats_sorted":["cond-mat.dis-nn","cond-mat.stat-mech"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-11-04T21:30:56Z","title_canon_sha256":"f19c272d439899066e8d45c6bca72350a2c2c24f314ef6e89e770b1f5b390e61"},"schema_version":"1.0","source":{"id":"1011.1273","kind":"arxiv","version":1}},"canonical_sha256":"65fb693f1bcbbad8040d0e7e0e45224fa3a4b46985a31a83f63961c42e4aeeb5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65fb693f1bcbbad8040d0e7e0e45224fa3a4b46985a31a83f63961c42e4aeeb5","first_computed_at":"2026-05-18T02:20:50.222673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:20:50.222673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wl/Suo0s1b+NowIUjRkBBCGjrEdwkIGquFvmJJ8zIz8VNMeq0GYkqkdabd39K+3RX0NARAE/aJ45IC0vG61LCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:20:50.223447Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.1273","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0de76e6406bc28731315fa8b50843f6680cfcdbd5445e9c53f5731270edff59f","sha256:d55b2e425c096a9cf5c8d2a6e75ed40174e4ef0396e86cafde3fa60493bed857"],"state_sha256":"0a42677a3d3aa8aa685794de395bea59649a25e4b9e231cf06f8c7b7eb5df62b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"teaeJmee78FcITFZc0WNwQ76oFOwl0R7U8U3lq2PpephrMQZjHNiGFUDUR3FIXiWycZj4Klo5Ka/O9yvt0NHCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T01:20:24.905281Z","bundle_sha256":"e2c127e23753519cbc03e517f81e43b70eb0a2b74166e876329958834ac8f0a0"}}